Results 81 to 90 of about 2,243,371 (296)
CoRR, 2019 In this paper, we introduce a model of quantum concurrent program, which can be used to model the behaviour of reactive quantum systems and to design quantum compilers. We investigate quantum temporal logic, QTL, for the specification of quantum concurrent systems by suggesting the time-dependence of events.
openaire +2 more sources
Temporal Logics for Representing Agent Communication Protocols
, 2005 This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to specify the conventions of social interaction, rather than making reference to the ...
Ulle Endriss +2 more
core +1 more source
Covalent Functionalization of 2D Semiconductors: A Roadmap to Advanced Electronic Devices
Advanced Functional Materials, EarlyView.This Review presents recent advances in the covalent functionalization strategies for two‐dimensional semiconductors and their implementation in modern technologies. Layered materials are modified through diverse molecular chemistries (e.g., thiols, diazonium salts, alkyl halides, and electron‐deficient species) to tailor their surface properties ...
Ramiro Quirós‐Ovies +2 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.
Milicia, G., Sassone, V.
core +2 more sources
Towards Representing Processes and Reasoning with Process Descriptions on the Web [PDF]
Transactions on Graph Data and KnowledgeWe work towards a vocabulary to represent processes and temporal logic specifications as graph-structured data. Different fields use incompatible terminologies for describing essentially the same process-related concepts.
Harth, Andreas +5 more
doaj +1 more source
CoRR, 2013 A new logic for verification of security policies is proposed. The logic, HyperLTL, extends linear-time temporal logic (LTL) with connectives for explicit and simultaneous quantification over multiple execution paths, thereby enabling HyperLTL to express information-flow security policies that LTL cannot.
Masoud Koleini +2 more
openaire +3 more sources
Logics of temporal-epistemic actions [PDF]
Synthese, 2015 We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations are natural extensions of the well-known "action models" from Dynamic Epistemic Logic.
Bryan Renne, Joshua Sack, Audrey Yap
openaire +7 more sources
Encoding of Planning Problems and Their Optimizations in Linear Logic [PDF]
, 2009 Girard’s Linear Logic is a formalism which can be used to manage a lot of problems with consumable resources. Its expressiveness is quite good for an easily understandable encoding of many problems.
Chrpa, Lukáš +5 more
core +1 more source
Advanced Healthcare Materials, EarlyView.Magnetically responsive nanoparticles enable remote control over biomaterials, cells, and engineered tissues. This review summarizes material design, biological safety, fabrication and actuation strategies, computational validation, and translational pathways that support the development of magnetic tissue‐engineering platforms and future magnetically ...
Konstantinos Ioannidis +8 more
wiley +1 more source
Logic of Algorithmic Knowledge
Studies in Logic, Grammar and Rhetoric, 2015 In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.
Surowik Dariusz
doaj +1 more source