Results 11 to 20 of about 2,143,165 (258)
Mathematical Logic: Proof Theory, Constructive Mathematics [PDF]
, 2017 The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects of computational ...
core +2 more sources
Feferman on Foundations: Logic, Mathematics, Philosophy [PDF]
, 2020 Book reviewed: Gerhard Jäger and Wilfried Sieg (editors): Feferman on Foundations: Logic, Mathematics, Philosophy. Contributions to Logic, vol.
Kahle, Reinhard
core +1 more source
A nationwide student survey on biochemistry learning resources in Italy
FEBS Open Bio, EarlyView.We conducted a survey among Italian university students to investigate their preferred study materials for biochemistry. We then analyzed the collected data to identify these materials. This information may be valuable to the Biochemistry educational community. The graphical abstract was created with Claude (Opus 5.5; Anthropic, 2026).
Anna Marabotti +4 more
wiley +1 more source
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
Bulletin of Symbolic Logic, 2008 AbstractThe last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics.The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them.
openaire +2 more sources
Advanced Engineering Materials, EarlyView.Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic +2 more
wiley +1 more source
Advanced Functional Materials, EarlyView.The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan +4 more
wiley +1 more source
Advanced Materials, EarlyView.The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj +8 more
wiley +1 more source
Literature, Logic and Mathematics in the Fourteenth Century [PDF]
, 2013 This thesis assesses the extent to which fourteenth-century Middle English poets were interested in, and influenced by, traditions of thinking about logic and mathematics.
BAKER, DAVID,PHILIP
core
Hilary Putnam on logic and mathematics
, 2018 This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist. It features the work of distinguished scholars in the field as well as a selection of young academics ...
Cook, Roy, Hellman, Geoffrey
core +1 more source