Results 51 to 60 of about 2,143,165 (258)
Five Departures in Logic, Mathematics, and thus either we like it, or not, in Physics as well ...
, 2013 Physics depends on "physical intuition", much of which is formulated in terms of Mathematics. Mathematics itself depends on Logic. The paper presents three latest novelties in Logic which have major consequences in Mathematics.
Rosinger, Elemer Elad
core
Intuitionistic quantum logic of an n-level system [PDF]
, 2009 A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics.
Landsman, N.P. +14 more
core +1 more source
Flexoelectricity in Photoconversion: Fundamentals, Materials, and Outlooks
Advanced Science, EarlyView.Mechanical bending of a flexible cantilever induces a strain gradient in the photoactive material. The resulting flexoelectric field couples with photovoltaic and photoconductive effects, modulating charge generation, separation, and collection. A comparative analysis of oxide perovskites, halide perovskites, and two‐dimensional materials is presented,
Xiang Huang, Feng Li, Rongkun Zheng
wiley +1 more source
Logic, mathematics, and computer science: modern foundations with practical applications
, 2015 This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for
Nievergelt, Yves
core +1 more source
Photonic‐Enabled Energy‐Efficient Transparent Neuromorphic Computing Devices: A Review
Advanced Science, EarlyView.Transparent photonic neuromorphic computing devices merge optics and brain‐inspired computing to overcome von Neumann bottlenecks with ultrafast, low‐energy processing. By exploiting transparent oxides, 2D materials, phase‐change materials, and hybrid heterostructures, these platforms enable photonic synapses, memory, and logic for see‐through edge ...
Shuvaraj Ghosh +8 more
wiley +1 more source
Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design
Advanced Science, EarlyView.A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram +4 more
wiley +1 more source
Sliding Ferroelectricity Driven Spin‐Layertronics in Altermagnetic Multilayers
Advanced Science, EarlyView.Integrating sliding ferroelectricity with altermagnetism enables nonvolatile electrical control of spin and layer degrees of freedom. In bilayer CuF2, interlayer translation reverses layer‐locked spin‐split bands, establishing a multifunctional “spin‐layertronic” platform.
Rui Peng +5 more
wiley +1 more source
Advanced Science, EarlyView.Here, we present an optoelectronic synaptic memtransistor (OSMT) integrating photoresponsive IGZO with contact‐engineered HfO2, enabling electrically and optically tunable synaptic weights. The device demonstrates broad range of tunable conductance states and array‐level image processing, highlighting its potential for intelligent machine vision ...
Donghyun Kang +6 more
wiley +1 more source
Reverse Mathematics: The Playground of Logic
The Bulletin of Symbolic Logic, 2010 AbstractThis paper is essentially the author's Gödel Lecture at the ASL Logic Colloquium '09 in Sofia extended and supplemented by material from some other papers. After a brief description of traditional reverse mathematics, a computational approach to is presented.
openaire +3 more sources