Results 61 to 70 of about 105,441 (263)

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

open access: yesAdvanced 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

Intelligent Maintenance Review for Robots: Multimodal Information, Deep Diagnosis and Embodied Artificial Intelligence

open access: yesAdvanced 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

Consensus Formation and Change are Enhanced by Neutrality

open access: yesAdvanced Science, EarlyView.
Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag   +3 more
wiley   +1 more source

"Probability Distribution and Option Pricing for Drawdown in a Stochastic Volatility Environment" [PDF]

open access: yes
This paper studies the probability distribution and option pricing for drawdown in a stochastic volatility environment. Their analytical approximation formulas are derived by the application of a singular perturbation method (Fouque et al. [7]).
Kyo Yamamoto   +2 more
core  

A Subjective Approach to Quantum Probability [PDF]

open access: yes, 2005
A likelihood order is defined over linear subspaces of a finite dimensional Hilbert space. It is shown that such an order that satisfies some plausible axioms can be represented by a quantum probability in two cases: pure state and uniform ...
Ehud Lehrer   +3 more
core   +1 more source

From Pores to Pavement: Advanced Modeling of Aluminosilicates for Scalable Carbon Capture in Concrete

open access: yesAdvanced Science, EarlyView.
This study presents a transferable modeling framework for carbon capture using aluminosilicates, integrating Universal Isotherm Modeling with experimental data. It reveals how ultramicropores, alumina content, and amine functionalization influence CO2 adsorption energetics.
Pooja Anil Kumar Nair   +4 more
wiley   +1 more source

Singapore primary school TIMSS data: Data representation, analysis and probability and patterns, relations and functions

open access: yes, 2000
This is the final article on the performance of Singapore's population 1 students in the Third Inteinational Mathematics and Science Sttldy (TIMSS).
Pereira-Mendoza, Lionel   +1 more
core  

On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy

open access: yesAdvanced Science, EarlyView.
An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley   +1 more source

The calculator and the curriculum: the case of sequences and series

open access: yes, 2003
Graphics calculators have the potential to influence the curriculum in several ways, including affecting what is taught, how it is taught and learned and how it is assessed.
Kissane, B.
core   +1 more source

Large‐Scale Genomics Reveals Three‐Source Ancestry and Layered Adaptation to High Altitude in Tibetan Chickens

open access: yesAdvanced Science, EarlyView.
Whole‐genome analysis of 1,054 chickens reveals three ancestral sources (NWC, SYA, and SHF) with distinct temporal entry patterns into the Tibetan Plateau. Route‐specific selection scans, calibrated against a demographic null, suggest complementary functional enrichments—vascular homeostasis (NWC), calcium signaling and cardiac adaptation (SYA), and ...
Zongyi Zhao   +7 more
wiley   +1 more source

Home - About - Disclaimer - Privacy