Results 91 to 100 of about 1,125,186 (250)

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source

A Hybrid Intuitionistic Logic: Semantics and Decidability

, 2005
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Damiano Macedonio, Rohit Chadha, Chadha, R., Vladimiro Sassone, Macedonio, D., Sassone, V.   +5 more
core  

Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities

Advanced Materials, EarlyView.
This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen, Zhanxi Fan, Jingjie Ge, Qiyuan He, Zhuangchai Lai, Jiawei Liu, Chaoliang Tan, Hua Zhang   +7 more
wiley   +1 more source

MINIMAL MODAL LOGICS, CONSTRUCTIVE MODAL LOGICS AND THEIR RELATIONS

The Review of Symbolic Logic
AbstractWe present a family of minimal modal logics (namely, modal logics based on minimal propositional logic) corresponding each to a different classical modal logic. The minimal modal logics are defined based on their classical counterparts in two distinct ways: (1) via embedding into fusions of classical modal logics through a natural extension of ...
openaire   +4 more sources

Cylindric Modal Logic

Journal of Symbolic Logic, 1995
AbstractTreating the existential quantification ∃νi as a diamond ♢i and the identity νi = νj as a constant δij, we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full ...
openaire   +5 more sources

General Dynamic Dynamic Logic

, 2012
Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding dynamic operators that change the model structure. Propositional dynamic logic (PDL) extends basic modal logic with programs that allow the definition of complex modalities.
Liu, F, Seligman, JM, Girard, P
core   +1 more source

Sabotage modal logic: Some model and proof theoretic aspects

, 2015
We investigate some model and proof theoretic aspects of sabotage modal logic. The first contribution is to prove a characterization theorem for sabotage modal logic as the fragment of first-order logic which is invariant with respect to a suitably ...
van Benthem, J., Grossi, D., Holliday, W.H., Aucher, G., van der Hoek, W., Wang, W.-F.   +5 more
core   +1 more source

Axiomatizations for Propositional and Modal Team Logic [PDF]

, 2016
A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic K.
Lück, Martin
core   +1 more source

Epitaxially Integrated Electro‐Optic KNbO3 Thin Films on Silicon

Advanced Materials, EarlyView.
We demonstrate the first epitaxial integration of electro‐optic KNbO3 thin films on silicon using suboxide molecular‐beam epitaxy. Combining adsorption‐controlled molecular‐beam epitaxy, advanced characterization, and phase‐field modeling, we demonstrate phase‐pure crystalline films mirroring bulk crystals with robust Pockels response, enabling future ...
Sankalpa Hazra, Tobias Schwaigert, Yingxin Zhu, Aiden Ross, Muhammad Aminul Haque Chowdhury, Shun‐Li Shang, Sameer Singh, Zhiyu Zhang, Zhe Wang, Brynn Brower, Saugata Sarker, Suchismita Sarker, Zi‐Kui Liu, Rama K. Vasudevan, Long‐Qing Chen, Yang Yang, Darrell G. Schlom, Venkatraman Gopalan   +17 more
wiley   +1 more source

First Order Modal Logic

, 2006
This chapter is constituted by two parts. The ̄rst part comprising Sections 1-5 was written by Torben Brauner and the second part comprising Sections 6-11 was written by Silvio Ghilardi.
Ghilardi, Silvio, Silvio Ghilardi, Braüner, Torben, Torben Brauner   +3 more
core   +1 more source