Results 61 to 70 of about 397,185 (250)
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 +2 more sources
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
Eksperimentasi Model Pembelajaran Kooperatif Tipe Group Investigation (Gi), Think Pair Share (Tps), Dan Pembelajaran Langsung Pada Materi Aljabar Ditinjau Dari Kecerdasan Majemuk Siswa SMP Negeri Se-kota Surakarta Tahun Pelajaran 2015/2016 [PDF]
, 2016 This research aimed to find out: 1) which one providing better mathematics learning achievement: Group Investigation (GI) model, Think Pair Share (TPS) model, or direct instructional model, 2) which one providing better mathematics learning achievement:
Budiyono, B. (Budiyono) +2 more
core
Advanced Science, EarlyView.This review explores the convergence of artificial intelligence technologies in modeling drug–drug and drug–target interactions. By evaluating advanced feature engineering, architectural innovations, and learning paradigms reveals shared evolutionary trends and critical challenges, such as cold‐start settings and shortcut learning.
Xin Sun, Tong Wang
wiley +1 more source
Advanced Science, EarlyView.PhosSight is a unified deep‐learning framework for phosphoproteome identification, featured by a phosphorylation‐aware detectability predictor. It improves identification sensitivity in DDA through deep re‐localization and rescoring, accelerates DIA searches by detectability‐guided spectral library pruning, and expands phosphoproteome coverage to ...
Ben Wang +10 more
wiley +1 more source
A new process foundation for the applied topos [PDF]
, 2009 The world is in turmoil for want of sound reasoning. Economics and the environment are but two of many areas of human endeavour badly betrayed through a failed combination of physical and information science and the rule of law.
Heather, Michael, Rossiter, Nick
core
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
Sraffa's Mathematical Economics - A Constructive Interpretation [PDF]
The claim in this paper is that Sraffa employed a rigorous logic of mathematical reasoning in his book, Production of Commodities by Means of Commodities (PCC), in such a way that the existence proofs were constructive.
K. Vela Velupillai
core
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