Results 61 to 70 of about 30,687 (265)
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
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. +19 more
core +1 more source
Advanced Robotics Research, EarlyView.This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao +6 more
wiley +1 more source
Advanced Science, EarlyView.An on‐demand ultra‐reconfigurable intelligent vision system with hierarchical reconfigurability from device to system levels is demonstrated. Through co‐design of a multi‐paradigm device, reconfigurable circuits, and adaptive system architecture/algorithms, the system enables seamless switching among spiking, non‐spiking, neuromorphic imaging (NI), and
Biyi Jiang +7 more
wiley +1 more source
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Advanced Science, EarlyView.Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley +1 more source
Dual processes in mathematics: reasoning about conditionals [PDF]
This thesis studies the reasoning behaviour of successful mathematicians. It is based on the philosophy that, if the goal of an advanced education in mathematics is to develop talented mathematicians, it is important to have a thorough understanding of ...
Inglis, Matthew, Ph.D.
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
Using puzzles to teach deductive reasoning and proof in high school geometry [PDF]
, 2012 Plan B Paper. 2012. Master of Science in Education-Mathematics--University of Wisconsin-River Falls. Mathematics Department. 66 leaves. Includes bibliographical references (leaves 21-22).This study examined the effects of incorporating logic puzzles into
Stevens, Paula
core +1 more source
Generation of Probabilistic Bits by Exploiting Orthogonal Spin Currents in Magnetic Trilayers
Advanced Science, EarlyView.Fe/Ti/CoFeB trilayers generate orthogonal spin currents that drive stochastic spin–orbit‐torque switching for probabilistic‐bit operation. The switching probability is continuously controlled by the in‐plane magnetic field and drive current, enabling tunable random bit generation.
Donghyeon Han +17 more
wiley +1 more source
Only up to isomorphism? Category Theory and the Foundations of Mathematics [PDF]
, 2010 Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three types of autonomy: logical, conceptual, and justificatory.
Pettigrew, Richard, Linnebo, Øystein
core