Results 31 to 40 of about 1,008,187 (306)
Synchrotron Radiation for Quantum Technology
Advanced Functional Materials, EarlyView.Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader +10 more
wiley +1 more source
"Boring formal methods" or "Sherlock Holmes deduction methods"?
, 2016 This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody ...
BF Sherman +11 more
core +1 more source
Proof equivalence in MLL is PSPACE-complete [PDF]
, 2016 MLL proof equivalence is the problem of deciding whether two proofs in multiplicative linear logic are related by a series of inference permutations. It is also known as the word problem for star-autonomous categories. Previous work has shown the problem
Heijltjes, Willem, Houston, Robin
core +1 more source
Engineering Strategies for 2D Layered Tin Halide Perovskite Field‐Effect Transistors
Advanced Functional Materials, EarlyView.2D halide perovskites are promising candidates for field‐effect transistor (FET) applications due to their high stability and suppressed ion migration in the presence of bulky organic spacers. This review systematically summarizes the optimization engineering strategies of 2D perovskite FETs and future challenges, which provide guidance for developing ...
Shuanglong Wang +4 more
wiley +1 more source
The Ackermann Award 2016 [PDF]
, 2016 The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL\u27xx).
Coquand, Thierry, Dawar, Anuj
core +1 more source
Advanced Functional Materials, EarlyView.A unique 2D bionanozyme, engineered from a single amino acid and copper ions, demonstrates peroxidase‐mimicking catalytic activity. This efficient and simple bionanozyme allows for ultrasensitive, equipment‐free visual detection of key biomarkers in both test and real samples, meeting the WHO‐REASSURE standards for practical diagnostic applications ...
Subrat Vishwakarma +5 more
wiley +1 more source
Bisimulation, Logic and Reachability Analysis for Markovian Systems [PDF]
, 2008 In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verification is called stochastic reachability analysis, while in computer science ...
Bujorianu, L.M., Bujorianu, M.C.
core +2 more sources
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
Dynamic-Epistemic reasoning on distributed systems [PDF]
, 2007 We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located (but potentially mobile), interconnected agents witnessing a distributed computation.
Mardare, Radu
core
Advanced Functional Materials, EarlyView.Electric control of magnetic tunnel junctions offers a path to drastically reduce the energy requirements of the device. Electric field control of magnetization can be realized in a multitude of ways. These mechanisms can be integrated into existing spintronic devices to further reduce the operational energy.
Will Echtenkamp +7 more
wiley +1 more source