Results 131 to 140 of about 56,783 (314)
Advanced Science, EarlyView.By leveraging strong antiferromagnetic coupling, radiation‐tolerant synthetic antiferromagnetic synaptic devices are developed. Their intrinsic nonlinearity emulates neuronal activation, while linear and symmetric conductance modulation mimics synaptic plasticity.
Mingxu Song +5 more
wiley +1 more source
Logic from Russell to Church. [PDF]
, 2009 This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period ...
Gabbay, Dov M., Woods, John(John Hayden)
core
A Multimodal Haptic Feedback Interface with Thin‐Film Compliant Mechanism
Advanced Science, EarlyView.Multimodal haptic devices can trigger different mechanoreceptors, enabling richer haptic information. This study presents an electromagnetic multimodal haptic device capable of delivering indentation, stretch, and vibration stimuli. The device is enabled by a novel polymer thin‐film compliant mechanism that provides high translational compliance along ...
Jingjing Wan +15 more
wiley +1 more source
Features and Fluents for Logic Programming: Non-simulative Algebraic Semantics [PDF]
, 2013 A Non-simulative Algebraic Semantics is defined and its range of applicability is proven to be the K-RACi class of the Features and Fluents framework.
Brandano, Sergio
core
Advanced Science, EarlyView.This perspective contrasts the historical, linear progression of early AI with the dynamic, iterative nature of AI 4.0; and it describes the real‐world medical applications and the necessary evolution of laboratory infrastructure brought about by AI 4.0.
Weida Liu, Gary Peltz
wiley +1 more source
Time Resolved DNA Barcodes for Information Encoding and Dynamic Encryption
Advanced Science, EarlyView.This study establishes a molecular information platform based on DNA Temporal Barcodes. Information is encoded through combinations of DNA tags with distinct retention times, while dynamic encryption is achieved through a key‐triggered DNA ligation.
Likang Chu +7 more
wiley +1 more source
HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ
Felsefe Dünyası, 2014 Bu yazıda, Hilbert’in biçimselleştirme programına kadar giden matematikfelsefesindeki önemli krizlerden bahsedilmiştir. Hilbert’in programınıngerçekleşemeyeceğini gösteren Gödel’in eksiklik teoremi gibi programınsonuçları ve nedenleri tartışılmıştır ...
Ahmet Çevik
doaj
Jurnal Pendidikan Matematika dan IPAThe Qur'an is a spiritual guide that contains profound logical insights and mathematical regularities that are essential for humanity to understand. However, empirically, the integration of logic and the regularity of rational numbers present in the ...
Rijal Fauzi +4 more
doaj +1 more source
Mathematical logic in the human brain: semantics. [PDF]
PLoS One, 2013 Friedrich RM, Friederici AD.
europepmc +1 more source
A logic road from special to general relativity [PDF]
, 2010 We present a streamlined axiom system of special relativity in firs-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps.
Andréka, Hajnal +3 more
core