Results 141 to 150 of about 1,200,969 (291)
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
An Integrated GIS-Expert System Framework for Live Hazard Monitoring and Detection
Sensors, 2008 In the context of hazard monitoring, using sensor web technology to monitor anddetect hazardous conditions in near-real-time can result in large amounts of spatial data thatcan be used to drive analysis at an instrumented site. These data can be used for
Steven M. Rozic +2 more
doaj
Advanced Materials Interfaces, EarlyView.Volume changes of a solid‐state battery cell are separated into the individual contributions of anode and cathode. Simultaneously determining the “reaction volumes” of both electrodes requires a reference electrode with a pressure‐independent potential.
Mervyn Soans +5 more
wiley +1 more source
CASC-J3 The 3rd IJCAR ATP System Competition
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems – the world championship for such systems. CASC-J3 was held on 18th August 2006, as part of the 3rd International Joint
Sutcliffe, Geoff
core +1 more source
Recent Advances of Slip Sensors for Smart Robotics
Advanced Materials Technologies, EarlyView.This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang +8 more
wiley +1 more source
On‐Chip Photonic Neural Network Architectures
Advanced Optical Materials, EarlyView.This review presents a comprehensive overview of on‐chip photonic neural network architectures, covering key photonic building blocks, representative network types, and emerging applications. Recent advances, implementation challenges, and future directions are examined, highlighting the potential of integrated photonics to enable ultrafast, energy ...
Seokjin Hong +7 more
wiley +1 more source
Advanced Optical Materials, EarlyView.This work augments two‐photon polymerization with point‐wise dose control, enabling structures with heterogeneous material properties such as refractive index. An open source toolbox and superior calibration methodology for the refractive index pave the way for bio‐mimicking or numerically optimized structure designs, and enhance the synergy between 3D
Michał Ziemczonok, Koen Vanmol
wiley +1 more source
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source
Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software
, 2004 We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP)
Schumann, Johann +2 more
core +1 more source
From Rigid to Soft Robotic Approaches for Neuroendoscopy
Advanced Robotics Research, EarlyView.Robotic assistance has had minimal impact on deep intraventricular surgeries, where small‐scale, precision, and reduced invasiveness can contribute to improved patient outcomes. Emerging technologies in rigid, soft, and hybrid robotics are reviewed to identify the most promising mechanisms for deep brain navigation in addition to an attempt to identify
Kieran Gilday +3 more
wiley +1 more source