Results 161 to 170 of about 20,713 (305)

Quantum modal logic

Logic Journal of the IGPL
Abstract A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and the completeness theorems connecting both notions are demonstrated.
openaire   +2 more sources

Toward Predictable Nanomedicine: Current Forecasting Frameworks for Nanoparticle–Biology Interactions

Advanced Intelligent Discovery, EarlyView.
Predictive models successfully screen nanoparticles for toxicity and cellular uptake. Yet, complex biological dynamics and sparse, nonstandardized data limit their accuracy. The field urgently needs integrated artificial intelligence/machine learning, systems biology, and open‐access data protocols to bridge the gap between materials science and safe ...
Mariya L. Ivanova, Michael Nicholls, Nicola Russo, Gueorgui Mihaylov, Konstantin Nikolic   +4 more
wiley   +1 more source

The Interoperability Challenge in DFT Workflows Across Implementations

Advanced Intelligent Discovery, EarlyView.
Interoperability and cross‐validation remain major challenges in the computational materials science. In this work, we introduce a common input/output standard that enables internal translation across multiple workflow managers—AiiDA, PerQueue, Pipeline Pilot, and SimStack—while producing results in a unified schema.
Simon K. Steensen, Tushar Singh Thakur, Manuel Dillenz, Johan M. Carlsson, Celso R. C. Rêgo, Eibar Flores, Hamidreza Hajiyani, Felix Hanke, Juan María García Lastra, Wolfgang Wenzel, Nicola Marzari, Tejs Vegge, Giovanni Pizzi, Ivano E. Castelli   +13 more
wiley   +1 more source

Formalism and Interpretation in Quantum Theory [PDF]

, 2008
Quantum Mechanics can be viewed as a linear dynamical theory having a familiar mathematical framework but a mysterious probabilistic interpretation, or as a probabilistic theory having a familiar interpretation but a mysterious formal framework.
Wilce, Alexander
core  

Parametric Analysis of Spiking Neurons in 16 nm Fin Field‐Effect Transistor Technology

Advanced Intelligent Discovery, EarlyView.
Energy efficient computing has driven a shift toward brain‐inspired neuromorphic hardware. This study explores the design of three distinct silicon neuron topologies implemented in 16 nm fin field‐Effect transistor technology. While the Axon‐Hillock design achieves gigahertz throughput, its functional fragility persists. The Morris–Lecar model captures
Logan Larsh, Raiyan Siddique, Sarah S. Sharif, Yaser Mike Banad   +3 more
wiley   +1 more source

Quantum Logic circuits for solid-state quantum information processing

, 2010
This thesis describes research on the design of quantum logic circuits suitable for the experimental demonstration of a three-qubit quantum computation prototype. The design is based on a proposal for optically controlled, solid-state quantum logic gates.
Del Duce, A.
core  

Design, Control, and Clinical Applications of Magnetic Actuation Systems: Challenges and Opportunities

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
This review aims to provide a broad understanding for interdisciplinary researchers in engineering and clinical applications. It addresses the development and control of magnetic actuation systems (MASs) in clinical surgeries and their revolutionary effects in multiple clinical applications.
Yingxin Huo, Lidong Yang, Tiantian Xu, Dong Sun   +3 more
wiley   +1 more source

Dipolar exchange quantum logic gate with polar molecules. [PDF]

Chem Sci, 2018
Ni KK, Rosenband T, Grimes DD.
europepmc   +1 more source

Extending Battery Usage Time of a Heavy‐Duty Mecanum‐Wheeled Autonomous Electric Vehicle Used in Iron–Steel Industry by Considering Wheel Slippage

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
It is a fact that slippage causes tracking errors in both longitudinal and lateral directions which results to have less travel distance in tracking a reference trajectory. Less travel distance means having energy loss of the battery and carrying loads less than planned.
Gokhan Bayar, Goktug Hambarci, Ali Sezai Demirel   +2 more
wiley   +1 more source

A High‐Precision Dynamic Movement Recognition Algorithm Using Multimodal Biological Signals for Human–Machine Interaction

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
This article describes a multimodal fusion data acquisition and processing system about electromyography for dynamic movement recognition and bioelectrical impedance for key posture recognition. In addition, a new dynamic–static fusion algorithm strategy is designed.
Chenhao Cao, Gang Ma, Zelin Chen, Yiming Ouyang, Hu Jin, Shiwu Zhang   +5 more
wiley   +1 more source