Results 71 to 80 of about 283,349 (325)
Ontology-mediated query answering over temporal data: a survey [PDF]
, 2017 We discuss the use of various temporal knowledge representation formalisms for ontology-mediated query answering over temporal data. In particular, we analyse ontology and query languages based on the linear temporal logic LTL, the multi-dimensional ...
Artale, A. +5 more
core +1 more source
Advanced Functional Materials, EarlyView.Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam +14 more
wiley +1 more source
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL [PDF]
Logical Methods in Computer Science, 2018 In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city applications and Cyber-Physical Systems.
L. Nenzi +4 more
doaj +1 more source
Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications [PDF]
, 2015 We consider partially observable Markov decision processes (POMDPs), that are a standard framework for robotics applications to model uncertainties present in the real world, with temporal logic specifications. All temporal logic specifications in linear-
Chatterjee, Krishnendu +3 more
core +3 more sources
Linear temporal logic with until and next, logical consecutions
Annals of Pure and Applied Logic, 2008 AbstractWhile specifications and verifications of concurrent systems employ Linear Temporal Logic (LTL), it is increasingly likely that logical consequence in LTL will be used in the description of computations and parallel reasoning. Our paper considers logical consequence in the standard LTL with temporal operations U (until) and N (next).
Vladimir V. Rybakov, Vladimir V. Rybakov
openaire +3 more sources
Steep‐Switching Memory FET for Noise‐Resistant Reservoir Computing System
Advanced Functional Materials, EarlyView.We demonstrate the steep‐switching memory FET with CuInP2S6/h‐BN/α‐In2Se3 heterostructure for application in noise‐resistant reservoir computing systems. The proposed device achieves steep switching characteristics (SSPGM = 19 mV/dec and SSERS = 23 mV/dec) through stabilization between CuInP2S6 and h‐BN.
Seongkweon Kang +6 more
wiley +1 more source
On the complexity of linear temporal logic with team semantics [PDF]
Theoretical Computer Science, 2020 A specification given as a formula in linear temporal logic (LTL) defines a system by its set of traces. However, certain features such as information flow security constraints are rather modeled as so-called hyperproperties, which are sets of sets of traces. One logical approach to this is team logic, which is a logical framework for the specification
openaire +3 more sources
Complementary Logic Driven by Dielectrophoretic Assembly of 2D Semiconductors
Advanced Functional Materials, EarlyView.Scalable, parallel fabrication of complementary logic gates is demonstrated using electric‐field‐driven deterministic assembly of electrochemically exfoliated 2D n‐type MoS2 and p‐type WSe2 nanosheets. This strategy yields MoS2 and WSe2 transistors featuring average mobilities of 4.3 and 3.0 cm2 V−1 s−1, respectively, and on/off ratios of > 104 ...
Dongjoon Rhee +10 more
wiley +1 more source
On the Expressive Power of Some Extensions of Linear Temporal Logic
Моделирование и анализ информационных систем, 2018 One of the most simple models of computation which is suitable for representation of reactive systems behaviour is a finite state transducer which operates over an input alphabet of control signals and an output alphabet of basic actions.
Anton Gnatenko, Vladimir Zakharov
doaj +1 more source
Towards a Unified Framework for Declarative Structured Communications [PDF]
, 2009 We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis ...
López, Hugo A. +2 more
core +5 more sources