Results 91 to 100 of about 2,243,371 (296)

Tailoring temporal description logics for reasoning over temporal conceptual models [PDF]

, 2011
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav, Alessandro Artale, Roman Kontchakov, Ryzhikov, V., Vladislav Ryzhikov, Michael Zakharyaschev, Artale, A., Zakharyaschev, Michael, Kontchakov, Roman   +8 more
core   +1 more source

Blood–Brain Barrier Regulation: Evolving From Classic Strategies to Electrochemical Ion and Reactive Oxygen Species Control

Advanced Healthcare Materials, EarlyView.
Conventional therapies suffer from poor blood–brain barrier (BBB) penetration and disordered ion/reactive oxygen species (ROS) homeostasis, hindering precise neurological treatment. Electrochemical strategies achieve accurate spatiotemporal regulation of neural homeostasis.
Xiaokang Hu, Caiyu Liu, Meijun Pang, Zhiyuan Shi, Dong Ming, Xiuyun Liu   +5 more
wiley   +1 more source

Intuitionistic Fuzzy Decision Tree Temporal Logic and Its Application in Engineering Decision-Making

Axioms
This paper investigates engineering decision optimization in uncertain environments. Subject to constraints on cost and expected returns, engineering decisions optimize material input, equipment selection and process arrangement to minimize costs and ...
Xianfeng Yu, Jianhua Zhao, Famin Ma, Lei Wang, Huirong Li   +4 more
doaj   +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  

Constructive interval temporal logic in Alf [PDF]

, 1997
This paper gives an implementation of an interval temporal logic in a constructive type theory, using the Alf proof system. After explaining the constructive approach, its relevance to interval temporal logic and potential applications of our work, we ...
Thompson, Simon
core  

Cut-free sequent systems for temporal logic [PDF]

, 2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary rule.
Brünnler, Kai, Lange, Martin
core   +2 more sources

Azobenzene's Cross‐Scale Optics and Photonics: Molecular Photoswitching, Mesoscopic Material Motions, and Adaptive Devices

Advanced Materials, EarlyView.
Azobenzene photoswitches translate molecular‐scale E/Z photoisomerization into macroscopic material responses and device‐level photonic functions. This Review highlights how azobenzene research has evolved from molecular photochemistry to photoalignment, mass migration, photomechanics, and heat release, ultimately enabling holography, reconfigurable ...
Heeju Son, Soyul Kwak, Heerin Noh, Minsang Kim, Doyeon Noh, Subhayan Chakraborty, Jaewon Lee, YongDeok Cho, Kyeongsoo Kim, Taewoong Eom, Moonyoung Kim, Jangwon Kim, Hoyoung Lee, Soyoung Lee, Jaehun Kim, Grace G. D. Han, Shin‐Tson Wu, Stefano Oscurato, Arri Priimagi, Marina Saphiannikova, Seungwoo Lee   +20 more
wiley   +1 more source

Optimal Control Drives Ultrafast and Energy‐Efficient Magnetization Switching in Van der Waals Magnets

Advanced Materials, EarlyView.
ABSTRACT The accelerating expansion of data‐centric technologies is sharply increasing the energy burden of information storage, placing unprecedented pressure on the efficiency of magnetic switching. Conventional field‐driven reversal, once the foundation of magnetic memory, has become impractical in modern architectures due to its high energy cost ...
Mohammad H. Badarneh, PeiYu Cai, Elton J. G. Santos   +2 more
wiley   +1 more source

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

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source