Results 81 to 90 of about 2,329,578 (354)
Temporal prepositions and their logic
Artificial Intelligence, 2005 AbstractA fragment of English featuring temporal prepositions and the order-denoting adjectives first and last is defined by means of a context-free grammar. The phrase-structures which this grammar assigns to the sentences it recognizes are viewed as formulas of an interval temporal logic, whose satisfaction-conditions faithfully represent the ...
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
HIERARCHICAL REPRESENTATION OF CAUSAL RELATIONSHIPS TO DETAIL EXPLANATIONS IN INTELLIGENT SYSTEMS
Сучасні інформаційні системи, 2021 The subject of research in the article is the processes of constructing explanations in intelligent systems based on the use of causal dependencies. The aim is to develop a hierarchical representation of causal relationships between the actions of an ...
Serhii Chalyi, Volodymyr Leshchynskyi
doaj +1 more source
On regular temporal logics with past [PDF]
Acta Informatica, 2009 Acta informatica, 47 (4)
Dax, Christian +2 more
openaire +5 more sources
Locking Metastable Topological Domains in Nematic Liquid Crystal Pi Cells
Advanced Functional Materials, EarlyView.Selective photopolymerization in the presence of a controlled voltage defines permanent director walls that lock‐in metastable bend and twist configurations within nematic liquid crystal Pi cells. Q‐tensor simulations corroborate the experiments, demonstrating the topological state stabilization.
Adithya Pradeep +7 more
wiley +1 more source
A system for deduction-based formal verification of workflow-oriented software models
International Journal of Applied Mathematics and Computer Science, 2014 The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered.
Klimek Radosław
doaj +1 more source
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 Model Checking Problem for Some Extension of CTL*
Моделирование и анализ информационных систем, 2020 Sequential reactive systems include programs and devices that work with two streams of data and convert input streams of data into output streams. Such information processing systems include controllers, device drivers, computer interpreters.
Anton Romanovich Gnatenko +1 more
doaj +1 more source
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.
Renne, B., Sack, J., Yap, A.
openaire +5 more sources
Advanced Functional Materials, EarlyView.Thermoelectric temperature sensors are developed that directly measure heat changes during optical‐based neural stimulation with millisecond precision. The sensors reveal the temperature windows for safe reversible neural modulation: 1.4–4.5 °C enables reversible neural inhibition, while temperatures above 6.1 °C cause permanent thermal damage.
Junhee Lee +9 more
wiley +1 more source