Results 51 to 60 of about 2,913,967 (326)
The 1900 Turn in Bertrand Russell’s Logic, the Emergence of his Paradox, and the Way Out [PDF]
, 2016 Russell’s initial project in philosophy (1898) was to make mathematics rigorous reducing it to logic. Before August 1900, however, Russell’s logic was nothing but mereology. First, his acquaintance with Peano’s ideas in August 1900 led him to discard the
Milkov, Nikolay
core
ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals
Advanced Science, EarlyView.The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray +3 more
wiley +1 more source
AI‐Assisted Bioelectronics for Personalized Health Management
Advanced Electronic Materials, EarlyView.Recent advances in artificial intelligence (AI)‐assisted bioelectronics, including materials, device fabrication, working mechanisms, AI‐hardware integration, and proof‐of‐concept applications in digital health management, are summarized. The emergence of AI‐assisted bioelectronic systems and potential solutions to existing challenges are discussed ...
Huiwen Xiong +6 more
wiley +1 more source
Category theory : definitions and examples [PDF]
, 1990 Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic.
Srinivas, Yellamraju V.
core
Designing Memristive Materials for Artificial Dynamic Intelligence
Advanced Intelligent Discovery, EarlyView.Key characteristics required of memristors for realizing next‐generation computing, along with modeling approaches employed to analyze their underlying mechanisms. These modeling techniques span from the atomic scale to the array scale and cover temporal scales ranging from picoseconds to microseconds. Hardware architectures inspired by neural networks
Youngmin Kim, Ho Won Jang
wiley +1 more source
Economic-mathematical model for complex risk assessment of the enterprise investment project using fuzzy logic [PDF]
, 2021 Inna Chaikovska +2 more
openalex +1 more source
Flexible Memory: Progress, Challenges, and Opportunities
Advanced Intelligent Discovery, EarlyView.Flexible memory technology is crucial for flexible electronics integration. This review covers its historical evolution, evaluates rigid systems, proposes a flexible memory framework based on multiple mechanisms, stresses material design's role, presents a coupling model for performance optimization, and points out future directions.
Ruizhi Yuan +5 more
wiley +1 more source
Linear logic for constructive mathematics
, 2018 We show that numerous distinctive concepts of constructive mathematics arise automatically from an interpretation of "linear higher-order logic" into intuitionistic higher-order logic via a Chu construction.
Shulman, Michael
core
What is a logical diagram? [PDF]
, 2011 Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g.
Legg, Catherine
core