Results 71 to 80 of about 25,852,401 (225)
Inverse Design of Nanoparticulate Materials
Advanced Materials, EarlyView.Inverse design shifts nanomaterial development from empirical trial‐and‐error to predictive model‐driven strategies. It can rely on knowledge‐based, data‐based, or hybrid process and property functions. This perspective article provides a practical framework for applying inverse design based on instructive examples. It discusses which modeling approach
Nabi Etienne Traoré +5 more
wiley +1 more source
Conservativity of Type Theory over Higher-order Arithmetic
, 2023 We investigate how much type theory is able to prove about the natural numbers. A classical result in this area shows that dependent type theory without any universes is conservative over Heyting Arithmetic (HA).
Berg, Benno van den, Otten, Daniël
core
Task‐Oriented Path Planning Towards Autonomous Sensor Network Deployment in Rainforest Canopies
Advanced Robotics Research, EarlyView.An informative path planner for drone‐based deployment of wireless sensor networks in rainforest canopies is presented, addressing key challenges in large‐scale biodiversity monitoring. By integrating canopy surface detection with connectivity‐aware sampling under strict flight constraints, the approach enables efficient and reliable aerial sensor ...
Rita Santos Raminhos, Salua Hamaza
wiley +1 more source
Type−Directed Weaving of Aspects for Higher−order Functional Languages [PDF]
, 2006 Aspect-oriented programming (AOP) has been shown to be a useful model for software development. Special care must be taken when we try to adapt AOP to strongly typed functional languages which come with features like a type inference mechanism ...
Chen, Kung +9 more
core +1 more source
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
, 2019 peer reviewedChurch’s type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but is more expressive in a practical sense.
BENZMÜLLER, Christoph, Andrews, Peter
core +1 more source
Advanced Robotics Research, EarlyView.Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings +6 more
wiley +1 more source
Topological Completeness for Higher-Order Logic [PDF]
, 1997 Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''.
Butz, Carsten, Awodey, Steve
core +3 more sources
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
Investigations on Higher-Order Infinitary Logic [PDF]
Higher-order logic and infinitary logic are two extensions of first-order logic that allow greater expressivity. Both features have not been investigated together yet.
Hermant, Olivier +2 more
core +1 more source