Results 101 to 110 of about 2,329,578 (354)
On temporal logic versus datalog
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Guessarian, Irene +3 more
openaire +4 more sources
Advanced Healthcare Materials, EarlyView.Membrane fusion‐inspired nanomaterials offer transformative potential in diagnostics by mimicking natural fusion processes to achieve highly sensitive and specific detection of disease biomarkers. This review highlights recent advancements in nanomaterial functionalization strategies, signal amplification systems, and stimuli‐responsive fusion designs,
Sojeong Lee +9 more
wiley +1 more source
Prompt Interval Temporal Logic [PDF]
, 2016 Interval temporal logics are expressive formalisms for temporal representation and reasoning, which use time intervals as primitive temporal entities. They have been extensively studied for the past two decades and successfully applied in AI and computer science.
Della Monica, Dario +3 more
openaire +3 more sources
Logic of temporal attribute implications [PDF]
Annals of Mathematics and Artificial Intelligence, 2016 We study logic for reasoning with if-then formulas describing dependencies between attributes of objects which are observed in consecutive points in time. We introduce semantic entailment of the formulas, show its fixed-point characterization, investigate closure properties of model classes, present an axiomatization and prove its completeness, and ...
Jan Triska, Vilem Vychodil
openaire +4 more sources
Seeing inside the Body Using Wearable Sensing and Imaging Technologies
Advanced Healthcare Materials, EarlyView.This review explores wearable technologies for noninvasive internal health monitoring. It categorizes approaches into indirect sensing (e.g., bioelectrical and biochemical signals) and direct imaging (e.g., wearable ultrasound and EIT), highlighting multimodal integration and system‐level innovation toward personalized, continuous healthcare.
Sumin Kim +3 more
wiley +1 more source
Simulation under Arbitrary Temporal Logic Constraints [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next.
Julien Brunel +3 more
doaj +1 more source
Progressive Insights into 3D Bioprinting for Corneal Tissue Restoration
Advanced Healthcare Materials, EarlyView.This review explores the potential of 3D bioprinting to replicate the complex structure and function of the human cornea. It highlights key advances in bioink development, printing modalities, and in vivo performance, while addressing current challenges and emerging strategies. The review emphasizes bioprinting's promise to overcome donor shortages and
Ilayda Namli +6 more
wiley +1 more source
Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications
LogicsWe 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
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
International Joint Conference on Artificial Intelligence, 2020 We review PLTLf and PLDLf, the pure-past versions of the well-known logics on finite traces LTLf and LDLf, respectively. PLTLf and PLDLf are logics about the past, and so scan the trace backwards from the end towards the beginning.
L. Lamb +5 more
semanticscholar +1 more source
Biodegradable Implantable Electronics with Wireless Technology for Real‐Time Clinical Applications
Advanced Healthcare Materials, EarlyView.The article explores how bioresorbable implantable electronics merge wireless communication and power delivery with biodegradable materials to enable real‐time clinical applications. It highlights advances in materials, system design, and medical uses across neural, cardiovascular, digestive, immune, and drug‐delivery systems.
Myeongki Cho +4 more
wiley +1 more source