Results 131 to 140 of about 19,016 (311)

Modal Extensions of Abelian Logic

, 2018
This thesis studies the semantics and proof theory of modal extensions of abelian ...
Schnüriger, Laura Janina
core  

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

Energy Band Alignment and Electro‐Optical Behavior of Nearly Unstrained Monolayer MoS2 Heterostructures With GaN

Advanced Materials Interfaces, EarlyView.
Large size (∼100 µm) monolayer MoS2 grown by LPI‐CVD on n‐GaN exhibit a high n‐type doping, very low strain, and a type‐I band alignment at MoS2/GaN interface. Photocurrent measurements under illumination with photon energies from ∼2 to ∼5 eV show superior electro‐optical performances of these MoS2/n‐GaN heterojunctions as compared to Ni/n‐GaN devices ...
Salvatore Ethan Panasci, Emanuela Schilirò, Giuseppe Greco, Patrick Fiorenza, Fabrizio Roccaforte, Fiorenza Esposito, Igor Píš, Federica Bondino, Antonino Madonia, Marco Cannas, Simonpietro Agnello, Luca Seravalli, Filippo Giannazzo   +12 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  

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

EXPTIME Tableaux for the Coalgebraic Mu-Calculus

, 2009
The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk, Cirstea, Corina, Kupke, Clemens   +2 more
core  

Light Switchable Ionic Conductivity of Arylazopyrazole Modified Polysiloxanes

Advanced Materials Technologies, EarlyView.
We present a polysiloxane functionalized with a novel arylazopyrazole dye that undergoes reversible photoisomerization. Upon lithium bis(trifluoromethanesulfonyl)imide addition and UV irradiation, the polymer exhibits a shift in tan(d) toward higher frequencies and enhanced ionic conductivity.
Malte S. Beccard, Thulasinath Raman Venkatesan, Michael Bauer, Valentin Razvan Lupu, Philipp Scheidegger, Francesco Taddei, Frank A. Nüesch, Dorina M. Opris   +7 more
wiley   +1 more source

Conservative Extensions in Modal Logic

, 2006
Every normal modal logic L gives rise to the consequence relation \phi |=L \psi which holds if, and only if, \psi is true in a world of an L-model whenever \phi is true in that world. We consider the following algorithmic problem for L. Given two modal
S. Ghilardi, C. Lutz, M. Zakharyaschev, Zakharyaschev, Michael, F. Wolter, Ghilardi, S., Lutz, C., Wolter, F.   +7 more
core  

Transducers Across Scales and Frequencies: A System‐Level Framework for Multiphysics Integration and Co‐Design

Advanced Materials Technologies, EarlyView.
Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu, Mengyao Xiao, Zhouli Sui, Yinpeng Wang, Daoye Zheng, Yuxin Liu, Luwei Wang, Huajun Liu, Chengkuo Lee   +8 more
wiley   +1 more source

Recent Advances of Slip Sensors for Smart Robotics

Advanced Materials Technologies, EarlyView.
This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang, Liao Wu, Shuai He, Zhao Sha, Yuwan Huang, Shuying Wu, Dewei Chu, Chun H. Wang, Shuhua Peng   +8 more
wiley   +1 more source