Results 81 to 90 of about 30,687 (265)
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
Second-order logic and set theory [PDF]
, 2015 Both second-order logic and set theory can be used as a foundation for mathematics, that is, as a formal language in which propositions of mathematics can be expressed and proved.
Väänänen, J.
core +1 more source
Femtosecond‐Laser‐Induced Physical Unclonable Random Maze Structure for Storage‐Free Encryption
Advanced Science, EarlyView.Femtosecond‐laser‐induced gold random maze structures serve as multimodal physical unclonable functions for storage‐free encryption. Their stochastic optical, electrical, and Raman responses are generated by plasmon‐assisted Marangoni formation and converted into AES‐compatible keys without permanent secret‐key storage, offering a portable route toward
Shiru Jiang +6 more
wiley +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
A logic for schema-based program development [PDF]
, 2003 We show how a theory of specification refinement and program development can be constructed as a conservative extension of our existing logic for Z. The resulting system can be set up as a development method for a Z-like specification language, or as a ...
Reeves, Steve, Henson, Martin C.
core +1 more source
Advanced Science, EarlyView.This paper illustrates a knowledge‐augmented dual‐track AI framework for advanced superalloy design. First, Large Language Models translate metallurgical heuristics into explicit rules to rapidly prune a vast compositional search space. Subsequently, LLM‐distilled priors safely guide a reinforcement learning agent during autonomous process optimization,
Jian Yao +9 more
wiley +1 more source
Five Departures in Logic, Mathematics, and thus either we like it, or not, in Physics as well ... [PDF]
, 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
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
ON THE MATHEMATICS OF LOGIC AND THE LOGIC OF MATHEMATICS
, 2016 In this paper we deal with two different approaches to logic, the Boolean and the Fregean. In particular, we give some reasons to explain certain ignorance of the Boolean approach at some Philosophy Departments, particularly in the teaching of logic. After giving some reasons for the convenience of combining both approaches, we recommend material on ...
openaire +1 more source