Results 41 to 50 of about 5,971 (185)

Interactions Between Active Matters and Endogenous Fields

Advanced Materials, EarlyView.
This review synthesizes endogenous field information and computational methods in contexts such as cancer, wounds, and biofilms. It organizes NAMs and AAMs by sensing, transmitting, and executing functions, compares their limitations, and from these contrasts proposes design strategies for next‐generation AAMs, offering perspectives to foster ...
Jinwei Lin, Qiaoxin Guan, Jiangqi Feng, Shuqin Chen, Leilei Xu, Jianguo Guan, Samuel Sánchez   +6 more
wiley   +1 more source

Theorem proving support in programming language semantics [PDF]

, 2007
We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core   +3 more sources

Bacteria‐Responsive Nanostructured Drug Delivery Systems for Targeted Antimicrobial Therapy

Advanced Materials, EarlyView.
Bacteria‐responsive nanocarriers are designed to release antimicrobials only in the presence of infection‐specific cues. This selective activation ensures drug release precisely at the site of infection, avoiding premature or indiscriminate release, and enhancing efficacy.
Guillermo Landa, Gracia Mendoza, Silvia Irusta, Manuel Arruebo   +3 more
wiley   +1 more source

Autonomous Implants

Advanced Materials, EarlyView.
An ideal implant should mimic native tissues such that it can integrate, sense, heal, and continue to function, i.e., be autonomous. Although early, there are good steps taken in this way, e.g., the development of stimuli‐responsive, self‐powering, self‐actuating, self‐healing, self‐regenerating, and self‐aware implants.
Jagan Mohan Dodda, Marcel F. Kunrath, Ling Zhou Zhao, Mahdi Bodaghi, Armin Yousefi, Nureddin Ashammakhi   +5 more
wiley   +1 more source

The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs [PDF]

The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of ...
Helder Coelho, Jaime Sim�o Sichman, Nuno David   +2 more
core  

The Use of Translator Implementation Methods for Writing Nonprocedural Interfaces to Application Software Systems [PDF]

, 1982
One of the results of advances in computer hardware technology is a wider use of computers in almost all areas of society. There is a need to make it possible for many people to use application software systems that are produced for different areas.
Melichar, B.
core  

Promoting Electrochemical Reactions with Dual‐Atom Catalysts for High‐Rate Lithium–Sulfur Batteries

Advanced Materials, EarlyView.
A scalable strategy for synthesizing transition metal–bismuth atomic pairs on carbon nitride to accelerate sulfur redox reactions in lithium–sulfur batteries is presented. Nickel‐bismuth and cobatl‐bismuth catalysts improve rate performance by promoting direct electrochemical transitions and rapid Li2S nucleation, minimizing sulfur loss, and enhancing ...
Jing Yu, Oleg Usoltsev, Irina Martynova, Chen Huang, Zhifu Liang, Ivan Pinto‐Huguet, Canhuang Li, Liqiang Lu, Chaoqi Zhang, Xuan Lu, Kapil Gupta, Marc Botifoll, Laura Simonelli, François Fauth, Jin Yuan Zhou, Jordi Llorca, Yan Lu, Chao Yue Zhang, Jordi Arbiol, Andreu Cabot   +19 more
wiley   +1 more source

Review of Thin Lithium Metal Battery Anode Fabrication – Microstructure – Electrochemistry Relations

Advanced Materials, EarlyView.
Thin, lightweight lithium‐metal anodes are pivotal for practical high‐energy batteries. This review surveys processing routes that convert diverse Li precursors, e.g., ingots, melts, solutions, and vapor, into Li‐rich foils with controlled thickness, areal density, and tailored functionality.
Yuhang Hu, Zidong Chen, Yixian Wang, Haorui Hou, Bingcheng Chen, David Mitlin, Wei Liu   +6 more
wiley   +1 more source

Offline Specialisation in Prolog Using a Hand-Written Compiler Generator

, 2004
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages.
Bruynooghe, Maurice, Jørgensen, Jesper, Leuschel, Michael, Vanhoof, Wim   +3 more
core   +1 more source

The Bionic Interface: Considering the Material Mediated Electrical Stimulation of Stem Cells

Advanced Materials, EarlyView.
Electrical stimulation directs stem cell fate in tissue engineering. Cellular responses are influenced by membrane properties, intrinsic cell state, material charge‐transport characteristics, and the applied electrical signal. Additionally, a material’s ability to inject, store, and redistribute charge further modulates these responses.
Kaiwen Zhang, Daniel De Maria, Mercyjayapriya Jebakumar, James Collins, Kate E. Fox, Peter C. Sherrell, Amy Gelmi   +6 more
wiley   +1 more source