Results 71 to 80 of about 568,503 (297)

Hybrid automata dicretising agents for formal modelling of robots

, 2011
Some of the fundamental capabilities required by autonomous vehicles and systems for their intelligent decision making are: modelling of the environment and forming data abstractions for symbolic, logic based reasoning.
Molnar, Levente, Veres, S.M.
core   +1 more source

Photoswitching Conduction in Framework Materials

Advanced Functional Materials, EarlyView.
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez, Stefan Hecht, Wolfgang Wenzel, Lars Heinke, Mariana Kozlowska   +4 more
wiley   +1 more source

Second-Order Algebraic Theories [PDF]

, 2013
Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive ...
Fiore, Marcelo, Mahmoud, Ola
core  

Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips

Advanced Functional Materials, EarlyView.
This article presents the first monolithic integration of nanoscale MoS2‐based memristors into the back‐end‐of‐line of foundry‐fabricated CMOS microchips in a one‐transistor‐one‐resistor (1T1R) architecture. The MoS2‐based 1T1R cells exhibit forming‐free, nonvolatile resistive switching with ultra‐low operating voltages, low cycle‐to‐cycle variability ...
Jimin Lee, Sofía Cruces, Xiaohua Liu, Yang Chen, Vasilis A. Maroufidis, Janghyun Jo, Lukas Völkel, Dennis Braun, Michael Möller, Leon Brackmann, Holger Kalisch, Michael Heuken, Andrei Vescan, Rafal E. Dunin‐Borkowski, Joachim Mayer, Stefan Wiefels, Max C. Lemme   +16 more
wiley   +1 more source

Review of Sattler, Barbara M. (2020). The Concept of Motion in Ancient Greek Thought: Foundations in Logic, Method, and Mathematics. Cambridge, UK: Cambridge University Press. ISBN 978‑1108745215

Archai: Revista de Estudos sobre as Origens do Pensamento Ocidental
Review of Sattler, Barbara M. (2020). The Concept of Motion in Ancient Greek Thought: Foundations in Logic, Method, and Mathematics. Cambridge, UK: Cambridge University Press.
Filip Karfík, Barbara M. Sattler
doaj   +1 more source

Another Journal on Mathematical Logic and Mathematical Physics?

Axioms, 2011
It is my great pleasure to welcome you to Axioms: Mathematical Logic and Mathematical Physics, a new open access journal, which is dedicated to the foundations (structure and axiomatic basis, in particular) of mathematical and physical theories, not only
Angel Garrido
doaj   +1 more source

Process Realizability

, 2015
We develop a notion of realizability for Classical Linear Logic based on a concurrent process calculus.Comment: Appeared in Foundations of Secure Computation: Proceedings of the 1999 Marktoberdorf Summer School, F. L. Bauer and R.
Abramsky, Samson
core  

Seventeenth-century Scotland: the musical sources [PDF]

, 2007
Here I offer a concise but comprehensive survey of primary seventeenth-century Scots musical sources, both traced and untraced, citing significant secondary literature, summarizing knowledge to date, calling attention to errors of fact or logic, and ...
Edwards, W.
core  

A New Threshold Switching Device With Tunable Negative Differential Resistance Based on ErMnO3 Polymorphs

Advanced Functional Materials, EarlyView.
Polymorph engineering in ErMnO3 enables low‐voltage, forming‐free threshold switching with tunable negative differential resistance. Conducting orthorhombic regions embedded in an insulating hexagonal matrix provide controlled Joule‐heating‐enhanced Poole–Frenkel transport. The hexagonal phase prevents excessive heating and breakdown.
Rong Wu, Florian Maudet, Thanh Luan Phan, Wassim Hamouda, Richard Schroedter, Ahmet Samil Demirkol, Ronald Tetzlaff, Veeresh Deshpande, Catherine Dubourdieu   +8 more
wiley   +1 more source

Semantics out of context: nominal absolute denotations for first-order logic and computation

, 2016
Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core   +1 more source