Results 111 to 120 of about 1,171,405 (263)

Existentially Restricted Quantified Constraint Satisfaction

, 2005
The quantified constraint satisfaction problem (QCSP) is a powerful framework for modelling computational problems. The general intractability of the QCSP has motivated the pursuit of restricted cases that avoid its maximal complexity.
Chen, Hubie
core  

Understanding and Optimizing Li Substitution in P2‐Type Sodium Layered Oxides for Sodium‐Ion Batteries

Advanced Functional Materials, EarlyView.
This work explores Li‐substituted P2 layered oxides for Na‐ion batteries by crystallographic and electrochemical studies. The effect of lithium on superstructure orderings, on phase transitions during synthesis and electrochemical cycling and on the interplay of O‐ versus TM‐redox is revealed via various advanced techniques, including semi‐simultaneous 
Mingfeng Xu, Giovanni Gammaitoni, Michael Häfner, Eduardo Villalobos‐Portillo, Carlo Marini, Matteo Bianchini   +5 more
wiley   +1 more source

High Thermoelectric Performance in Low‐Cost Cu8SiSxSe6‐x Argyrodite

Advanced Functional Materials, EarlyView.
This study discovers the great potential of Cu8SiSxSe6‐x argyrodites as new, low‐cost, Te‐free thermoelectric materials. The proposed defect scheme suppresses the phase transition, enhances the weighted mobility and optimizes the grain boundary contacts.
Taras Parashchuk, Oleksandr Cherniushok, Bartlomiej Wiendlocha, Janusz Tobola, Raúl Cardoso‐Gil, G. Jeffrey Snyder, Yuri Grin, Krzysztof T. Wojciechowski   +7 more
wiley   +1 more source

“Writing” Crystal Phases in Amorphous Calcium Carbonate via Laser‐Induced Patterned Transformations

Advanced Functional Materials, EarlyView.
Laser‐induced crystallization enabling the patterning of amorphous calcium carbonate into various distinct phases is introduced. This approach provides spatial control over polymorph selection, both crystalline and amorphous, inspired by biomineralization pathways.
Hadar Shaked, Iryna Polishchuk, Niv Ben‐Arie, Daniela Dobrynin, Javier Gainza, Alexander Katsman, Boaz Pokroy   +6 more
wiley   +1 more source

Regulating the Interphase Strain in High‐Entropy Oxide Thin Films – An Approach to Attaining Giant Energy Storage Capability under Moderate Electric Fields

Advanced Functional Materials, EarlyView.
This work demonstrates an interphase strain engineering strategy to regulate capacitive energy storage performance in high‐entropy oxide thin films. Through introducing pyrochlore nanocolumns, the polarization response of perovskite unit cells is strengthened, yielding recoverable energy densities up to 93 J cm−3 with an efficiency of 83% under ...
Hao Luo, Yunlong Sun, Haotian Wen, Richard Webster, Yasuhiro Sakamoto, Zizheng Song, Yating Ran, Chenlu Jiang, Siyuan Zhang, Zibin Chen, Shery L. Y. Chang, Danyang Wang   +11 more
wiley   +1 more source

Phase Engineering of a 1D van der Waals Thin Film

Advanced Functional Materials, EarlyView.
Explores the transformative potential of 1D van der Waals materials, focusing on the monoclinic‐to‐tetragonal phase transition in NbTe4, its atomic‐scale mechanisms, and significant metal‐insulator transition (MIT) behavior. Highlights advanced imaging insights and the applications of reversible phase transitions in memory devices, sensors, and ...
Yi Shuang, Daisuke Ando, Yuji Sutou
wiley   +1 more source

Leveraging Organ‐on‐Chip Models to Investigate Host–Microbiota Dynamics and Targeted Therapies for Inflammatory Bowel Disease

Advanced Healthcare Materials, Volume 14, Issue 10, April 15, 2025.
The challenges of studying inflammatory bowel disease (IBD), highlighting limitations of traditional 2D cell cultures and animal models are discussed here. It introduces human intestine organ‐on‐chip (OoC) models as a promising alternative, capable of more accurately mimicking the intestinal microenvironment.
Tim Kaden, Raquel Alonso‐Román, Johannes Stallhofer, Mark S. Gresnigt, Bernhard Hube, Alexander S. Mosig   +5 more
wiley   +1 more source

Longer Acting Injectable: Continuous, Linear Release of a Progestin Contraceptive From an Oxidized Porous Silicon Host

Advanced Healthcare Materials, EarlyView.
Progestin drugs are loaded into a mesoporous silicon dioxide host by melt‐infiltration. Drugs that decompose at or close to their melting point can be loaded by the addition of cholesterol, which acts as a melting point suppressor. High mass loading of the drug is achieved, and dissolution of the composite is controlled by the nanoscale properties of ...
Geoffrey Hollett, Ruhan Fan, Tushar Kumeria, Heidi Leonard, Byungji Kim, Taylor R. Martin, Irmak Ipekci, Joanna Wang, Jiuk Byun, Nicole A. Chan, Amber Pierron, Curtis E. Moore, Jennifer Ayres, Michael J. Sailor   +13 more
wiley   +1 more source

3D Microtumors Representing Ovarian Cancer Minimal Residual Disease Respond to the Fatty Acid Oxidation Inhibitor Perhexiline

Advanced Healthcare Materials, EarlyView.
Minimal residual disease (MRD) leads to cancer relapse and poor survival in ovarian cancer. The lack of representative 3D models limits therapy development. The microfluidics‐based high throughput 3D microtumor platform described here generates clinically‐relevant MRD models. The 3D microtumors recapitulate the molecular signatures of MRD from patients.
Xingyun Yang, Mara Artibani, Yongcheng Jin, Aneesh Aggarwal, Yujia Zhang, Sandra Muñoz‐Galvan, Ellina Mikhailova, Lena Rai, Nobina Mukherjee, Ravinash Krishna Kumar, Ashwag Albukhari, Shaohua Ma, Linna Zhou, Ahmed Ashour Ahmed, Hagan Bayley   +14 more
wiley   +1 more source

Continuations and Polymorphic Lambek Calculus (Logic, Language, Algebraic system and Related Areas in Computer Science)

Continuations and Polymorphic Lambek Calculus (Logic, Language, Algebraic system and Related Areas in Computer Science)
We introduced the notion of continuation in lambda calculus for Lambek calculus and showed that the continuation-passing style transformation could be naturally derived from the rules of Lambek calculus. Furthermore, since the answer category of a continuation is given when the whole sentence is determined, we introduced a polymorphic category and ...
openaire