Results 71 to 80 of about 1,125,786 (343)
Integrative Approaches for DNA Sequence‐Controlled Functional Materials
DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo +4 more
wiley +1 more source
The multimodal concept of hemodynamic stabilization
Hemodynamic instability often leads to hypoperfusion, which has a significant impact on outcome in both medical and surgical patients. Measures to detect and treat tissue hypoperfusion early by correcting the imbalance between oxygen delivery and ...
Krisztián eTánczos +2 more
doaj +1 more source
Salience and pointing in multimodal reference [PDF]
Pointing combined with verbal referring is one of the most paradigmatic human multimodal behaviours. The aim of this paper is foundational: to uncover the central notions that are required for a computational model of human-generated multimodal referring
Piwek, Paul
core +2 more sources
Physical Intelligence in Small‐Scale Robots and Machines
“Physical intelligence” (PI) empowers biological organisms and artificial machines, especially at the small scales, to perceive, adapt, and even reshape their complex, dynamic, and unstructured operation environments. This review summarizes recent milestones and future directions of PI in small‐scale robots and machines.
Huyue Chen, Metin Sitti
wiley +1 more source
Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence
G\"odel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof.
Benzmüller, Christoph +1 more
core +1 more source
Organic Electrochemical Transistors for Neuromorphic Devices and Applications
Organic electrochemical transistors are emerging as promising platforms for neuromorphic devices that emulate neuronal and synaptic activities and can seamlessly integrate with biological systems. This review focuses on resultant organic artificial neurons, synapses, and integrated devices, with an emphasis on their ability to perform neuromorphic ...
Kexin Xiang +4 more
wiley +1 more source
An Evaluation of Score Level Fusion Approaches for Fingerprint and Finger-vein Biometrics [PDF]
Biometric systems have to address many requirements, such as large population coverage, demographic diversity, varied deployment environment, as well as practical aspects like performance and spoofing attacks.
Mavroeidis, Vasileios, Vishi, Kamer
core +2 more sources
Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension
In this thesis we work on normal multimodal logics, that are general modal systems with an arbitrary set of normal modal operators, focusing on the class of inclusion modal logics. This class of logics, first introduced by Farinas del Cerro and Penttonen, includes some well-known non-homogeneous multimodal systems characterized by interaction axioms of
Matteo Baldoni
openalex +3 more sources
The Hidden Structural Rules of the Discontinuous Lambek Calculus
The sequent calculus sL for the Lambek calculus L (lambek 58) has no structural rules. Interestingly, sL is equivalent to a multimodal calculus mL, which consists of the nonassociative Lambek calculus with the structural rule of associativity. This paper
A. Avron +3 more
core +1 more source
Materials and System Design for Self‐Decision Bioelectronic Systems
This review highlights how self‐decision bioelectronic systems integrate sensing, computation, and therapy into autonomous, closed‐loop platforms that continuously monitor and treat diseases, marking a major step toward intelligent, self‐regulating healthcare technologies.
Qiankun Zeng +9 more
wiley +1 more source

