Results 131 to 140 of about 430,787 (365)
Foundations for using linear temporal logic in Event-B refinement
Formal Aspects of Computing, 2016 In this paper we present a new way of reconciling Event-B refinement with linear temporal logic (LTL) properties. In particular, the results presented in this paper allow properties to be established for abstract system models, and identify conditions to
Son Hoang +3 more
semanticscholar +1 more source
Logical consecutions in discrete linear temporal logic
Journal of Symbolic Logic, 2005 AbstractWe investigate logical consequence in temporal logics in terms of logical consecutions, i.e., inference rules. First, we discuss the question: what does it mean for a logical consecution to be ‘correct’ in a propositional logic. We consider both valid and admissible consecutions in linear temporal logics and discuss the distinction between ...
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
Advanced Healthcare Materials, EarlyView.Antimicrobial peptide (AMP)‐loaded nanocarriers provide a multifunctional strategy to combat drug‐resistant Mycobacterium tuberculosis. By enhancing intracellular delivery, bypassing efflux pumps, and disrupting bacterial membranes, this platform restores phagolysosome fusion and macrophage function.
Christian S. Carnero Canales +11 more
wiley +1 more source
A Temporal Logic for Hyperproperties
, 2013 Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths.
Finkbeiner, Bernd +2 more
core
Real‐Time 3D Ultrasound Imaging with an Ultra‐Sparse, Low Power Architecture
Advanced Healthcare Materials, EarlyView.This article presents a novel, ultra‐sparse ultrasound architecture that paves the way for wearable real‐time 3D imaging. By integrating a unique convolutional array with chirped data acquisition, the system achieves high‐resolution volumetric scans at a fraction of the power and hardware complexity.
Colin Marcus +9 more
wiley +1 more source
Advanced Materials, EarlyView.This study demonstrates a monolithic perovskite OELG device that performs all eight logic operations, including XOR and XNOR, without external bias. Enabled by trap‐engineered MAPbI3:PLL and dual photogates, it achieves reconfigurable logic and parallel decoding of amplitude–frequency signals, supporting scenario‐configured logic‐level separation for ...
Dante Ahn +13 more
wiley +1 more source
Partial cut elimination for combinations of propositional multi-modal logics with past time
Lietuvos Matematikos Rinkinys, 2011 We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition. [PDF]
PeerJ Comput Sci, 2022 Zhao W, Liu Z.
europepmc +1 more source
Advanced Materials, EarlyView.Screen gate‐based transistors are presented, enabling tunable analog sigmoid and Gaussian activations. The SA‐transistor improves MRI classification accuracy, while the GA‐transistor supports precise Gaussian kernel tuning for forecasting. Both functions are implemented in a single device, offering compact, energy‐efficient analog AI processing ...
Junhyung Cho +9 more
wiley +1 more source