Results 201 to 210 of about 2,612,449 (235)

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

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, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

Behavioural and Noise-Level Differences Associated with Response-Independent Treat Delivery in Shelter Dogs. [PDF]

Animals (Basel)
Vokins P, Ellis JJ.
europepmc   +1 more source

Acute effect of hippotherapy applied on different sitting surfaces in children with special needs. [PDF]

J Pediatr Rehabil Med
Gulcelik GE, Sever E, Atalay B, Dursun E, Memisoglu I.   +4 more
europepmc   +1 more source

Information uncertainty influences learning strategy from sequentially delayed rewards. [PDF]

PLoS Comput Biol
Maulhardt SR, Solway A, Charpentier CJ.
europepmc   +1 more source

Modelling Mobility of Hunter-Gatherer Populations: A Dynamic Simulation Approach Based on Cellular Automata. [PDF]

J Archaeol Method Theory
Hewitt RJ, Alcaraz-Castaño M, Hernandez VC, Morley MW.   +3 more
europepmc   +1 more source

Advection, diffusion and linear transport in a single path-sampling Monte-Carlo algorithm: Getting insensitive to geometrical refinement. [PDF]

PLoS One
Ibarrart L, Blanco S, Caliot C, Dauchet J, Eibner S, El Hafi M, Farges O, Forest V, Fournier R, Gautrais J, Konduru R, Penazzi L, Trégan JM, Vourc'h T, Yaacoub D.   +14 more
europepmc   +1 more source

Walks with jumps: a neurobiologically motivated class of paths in the hyperbolic plane. [PDF]

J Math Biol
DeBlois J, Einstein E, Victor JD.
europepmc   +1 more source