Results 121 to 130 of about 2,329,578 (354)
The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N
Известия Иркутского государственного университета: Серия "Математика"In this paper we explore the linear logic of multi-agent knowledge using multivalued models. The logic of the language contains the unary operators $K_{j}$ --- $j$ --- the agent knows, $ULK_{G}$ --- unstable local knowledge, $E_{G}$ --- stable local ...
N.A. Protsenko, V.V. Rybakov
doaj +1 more source
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
Advanced Materials Interfaces, EarlyView.Halide perovskite quantum dots, with their flexible ABX3 lattice enabling collaborative electronic and ionic transport, offer scalable, low‐cost routes to resistive memories, opto‐electronic control, neuromorphic devices, and field‐effect transistors.
Hyojung Kim
wiley +1 more source
Halide Perovskite Memristor Crossbar Arrays for Low Voltage in Memory Computing
Advanced Materials Interfaces, EarlyView.From early devices to centimeter‐scale crossbars, halide‐perovskite memristors now deliver ultra‐low‐energy, multilevel switching. Yet ion migration, device variability, and sneak currents hinder scaling. Advances in self‐rectifying junctions, nonlinear interfaces, bias maps, and hybrid oxides enhance array stability.
Hyojung Kim
wiley +1 more source
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]
Sensors (Basel), 2022 Zbrzezny AM, Zbrzezny A.
europepmc +1 more source
Soft Electromagnetic Actuator and Oscillator
Advanced Materials Technologies, Volume 10, Issue 6, March 18, 2025.This work presents a groundbreaking soft electromagnetic system capable of bistable actuation and self‐regulated oscillation. Using liquid metal and silicone as a compliant conductor, the actuator enables force generation, sensing, and feedback with minimal power.
Noah D. Kohls, Yi Chen Mazumdar
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
Mapping Temporally Ordered Inputs to Binary Message Outputs with a DNA Temporal Logic Circuit. [PDF]
Nanomaterials (Basel), 2023 Zhao S +5 more
europepmc +1 more source
Advanced Materials Technologies, EarlyView.The feasibility of 3D‐printed optical antennas using commercial, non‐optical materials for Optical Wireless Communications (OWC) is demonstrated. This study combines spectral analysis, anisotropy effects, and telecom‐relevant optical measurements, revealing promising performance and novel insights for low‐cost, customizable photonic components in ...
Mauro Aresti +6 more
wiley +1 more source
Temporal logic circuits implementation using a dual cross-inhibition mechanism based on DNA strand displacement. [PDF]
RSC Adv, 2023 Liu Y +6 more
europepmc +1 more source