Results 91 to 100 of about 547,797 (285)

Enhanced Self‐Phase Modulation in Silicon Nitride Waveguides Integrated With 2D MoS2 Films

Advanced Materials Technologies, EarlyView.
ABSTRACT On‐chip integration of 2D materials provides a promising route toward next‐generation integrated optical devices with performance beyond existing limits. Here, significantly enhanced spectral broadening induced by self‐phase modulation (SPM) is experimentally demonstrated in silicon nitride (Si3N4) waveguides integrated with 2D monolayer ...
Shahaz S. Hameed, Di Jin, Aihao Zhao, Jiayang Wu, Junkai Hu, Irfan H. Abidi, Sebastien Cueff, Christian Grillet, Yuning Zhang, Houssein El Dirani, Corrado Sciancalepore, Sebastien Kerdiles, Quentin Wilmart, Sumeet Walia, Christelle Monat, David J. Moss   +15 more
wiley   +1 more source

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 Knowledge
We 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, Käfer, Tobias, Rula, Anisa, Calbimonte, Jean-Paul, Kamburjan, Eduard, Giese, Martin   +5 more
doaj   +1 more source

Efficient First-Order Temporal Logic for Infinite-State Systems [PDF]

, 2007
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variety of first-order temporal logic that is both powerful enough for this form of ...
Dixon, Clare, Fisher, Michael, Konev, Boris, Lisitsa, Alexei   +3 more
core   +2 more sources

Alternating-time temporal logic

Proceedings 38th Annual Symposium on Foundations of Computer Science, 1998
Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by the execution of a system; branching-time temporal logic allows explicit existential and universal quantification over all paths.
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman   +2 more
openaire   +2 more sources

Quantales and Temporal Logics [PDF]

, 2006
We propose an algebraic semantics for the temporal logic CTL* and simplify it for its sublogics CTL and LTL. We abstractly represent state and path formulas over transition systems in Boolean left quantales. These are complete lattices with a multiplication that preserves arbitrary joins in its left argument and is isotone in its right argument.
Möller, Bernhard (Prof.), Höfner, Peter, Struth, Georg   +2 more
openaire   +1 more source

Skin‐Like Tri‐Modal Sensors Based on Soft Piezoelectric and Ionic Composites

Advanced Materials Technologies, EarlyView.
Inspired by the multimodal perception of human skin, a soft, skin‐like tri‐modal sensor is presented. The device incorporates an ionically conductive, piezoelectric, elastic composite as its active layer, enabling independent detection of temperature, static strain, and dynamic strain within a single two‐terminal architecture.
Liren Wang, Peter Zalar, Vishva Bhate, Takeo Furukawa, Hidekazu Kodama, Yijun Liu, Yuanyuan Zhou, Chuang Hou, Siyuan Liu, Naoji Matsuhisa   +9 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

DNA Strand-Displacement Temporal Logic Circuits. [PDF]

J Am Chem Soc, 2022
Lapteva AP, Sarraf N, Qian L.
europepmc   +1 more source

Multilevel Optical Programming of Intrinsic Vacancies in Solution‐Processed MoS2 Films for Retinomorphic Color Differentiation

Advanced Optical Materials, EarlyView.
Solution‐processed MoS2 films with intrinsic sulfur‐vacancy traps are used to integrate light sensing and memory in a simple two‐terminal pixel. Successive optical pulses program persistent, multilevel conductance states, while oxygen exposure enables rapid erasure.
Jihyun Kim, Jiyong Yoon, Gwang Ya Kim, Kijeong Nam, Jaewon Heo, In Soo Kim, Dongjoon Rhee, Donghee Son, Joohoon Kang   +8 more
wiley   +1 more source