Results 91 to 100 of about 71,357 (311)

Second‐Harmonic Hyper‐Mie Optical Activity Enables Closed‐Loop Chiral Photochemistry

Advanced Materials, EarlyView.
Nonlinear chiral photochemistry is demonstrated in CdTe/CdO nanohelices, where circularly polarized infrared light both drives and tracks photo‐oxidation via second‐harmonic scattering. This closed‐loop process reveals real‐time structural evolution, including shell fracturing and core exposure, accompanied by a transition from hyper‐Mie to hyper ...
Hoyeon Choi, Kody Whisnant, Ben J. Olohan, E. Petronijevic, G. Dan Pantoș, Nicholas A. Kotov, Ventsislav K. Valev   +6 more
wiley   +1 more source

Soft Hardware, Flowing Software: Reconfigurable Microfluidics for Adaptable Chemical Computation

Advanced Materials, EarlyView.
A reconfigurable microfluidic platform based on soft, photo‐printable, and chemically erasable hydrogel structures printed and erased in situ is used to control flow routing, mixing, chemical patterning, and even chemical computing. Using hardware to control chemical computations decouples logic function from molecular composition, demonstrated via ...
Piet J. M. Swinkels, Brigitta Dúzs, Oliver Skarsetz, Kohei Nishiyama, Andreas Walther   +4 more
wiley   +1 more source

Bisimulations for temporal logic [PDF]

We define bisimulations for temporal logic with Since and Until. We compare our notion to existing notions of bisimulations, and we use it to develop the basic model theory of temporal logic with Since and Until, which includes preservation and ...
Kurtonina, Natasha, Rijke, Maarten de
core  

Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications

Logics
We present Stratified Metric Temporal Logic (SMTL), a novel formalism for specifying and verifying the properties of complex cyber–physical systems that exhibit behaviors across multiple temporal and abstraction scales.
Ali Baheri, Peng Wei
doaj   +1 more source

A Dual‐Bioresponsive and Programmable Microneedle Matrix as a Bioinspired Coupler for Orchestrating Diabetic Bone Regeneration

Advanced Materials, EarlyView.
This project developed a smart bandage‐like patch (a microneedle array) for repairing diabetic bone damage. It intelligently senses signals from infection and inflammation, then releases its medicines in a specific, timed sequence: first an antibacterial agent, then an anti‐inflammatory agent, and finally growth factors.
Yu Wang, Rui Chen, Yu Chen, Haowen Lu, Yuchen Qian, Zhiheng Gao, Zheming Shen, Xiaofei Zheng, Huilin Yang, Jun Zou, Yusen Qiao   +10 more
wiley   +1 more source

Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects

, 2005
We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms of Java that results in a complete decoupling of the 'business' and the 'synchronization' code of classes.
Giuseppe Milicia, Milicia, G., Vladimiro Sassone, Sassone, V.   +3 more
core   +1 more source

A Decidable Intuitionistic Temporal Logic [PDF]

, 2017
We introduce the logic ITL^e, an intuitionistic temporal logic based on structures (W,R,S), where R is used to interpret intuitionistic implication and S is an R-monotone function used to interpret temporal modalities.
Diéguez, Martín, Boudou, Joseph, Fernández-Duque, David, Duque, David Fernández   +3 more
core   +1 more source

Interface‐Engineered Binary Framework Composites: Advancing Porous Materials for Precision Medicine

Advanced Materials Interfaces, EarlyView.
Binary framework composites integrate two complementary porous architectures into a unified platform, enabling multifunctional design, enhanced structural tunability, and improved physicochemical performance. By combining high surface area, ordered porosity, interfacial synergy, and versatile functionalization, these hybrid materials offer new ...
Navid Rabiee, Mohammad Rabiee, Mohammad Akrami‐Hasan‐Kohal, Sidi A. Bencherif   +3 more
wiley   +1 more source

Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL) [PDF]

, 2009
We present a natural deduction calculus for the quantified propositional linear-time temporal logic (QPTL) and prove its correctness. The system extends previous natural deduction constructions for the propositional linear-time temporal logic.
Bolotov, A., Grigoriev, O.
core  

Teaching Formal Models of Concurrency Specification and Analysis

Моделирование и анализ информационных систем, 2015
There is a widespread and rapidly growing interest to the parallel programming nowadays. This interest is based on availability of supercomputers, computer clusters and powerful graphic processors for computational mathematics and simulation. MPI, OpenMP,
N. V. Shilov
doaj   +1 more source