Results 131 to 140 of about 5,267,635 (285)

Generating formally certified bounds on values and round-off errors

, 2004
We present a new tool that generates bounds on the values and the round-off errors of programs using floating point operations. The tool is based on forward error analysis and interval arithmetic. The novelty of our tool is that it produces a formal proof of the bounds that can be checked independently using an automatic proof checker such as Coq and a
Daumas, Marc, Melquiond, Guillaume
openaire   +2 more sources

Defect‐Driven Charge Separation in Ba‐Doped SrTiO3: Correlating Photoelectrochemical Performance With Dye‐Selective Photocatalysis

Advanced Materials Interfaces, EarlyView.
Ba‐doped SrTiO3 perovskites establish a direct correlation between photoelectrochemical activity and photocatalytic performance. Optimized Ba0.5Sr0.5TiO3 exhibits enhanced charge separation, photocurrent generation, and visible‐light‐driven dye degradation through defect‐induced oxygen vacancies and lattice distortion.
Sagar A. Nikam, Somnath Ladhane, Vikas P. Mhaske, Gotan H. Jain, Sandesh R. Jadkar, Shashikant P. Patole, Ganesh E. Patil   +6 more
wiley   +1 more source

Soft Robotic Excretory Care Simulator for Nursing Education: Functional and Perceptual Biomimetics Approach

Advanced Robotics Research, EarlyView.
A soft robotic simulator is developed to replicate the digital removal of feces (DRF), a sensitive yet essential nursing procedure. Integrating soft actuators, sensors, and a realistic rectal model, the simulator balances functional fidelity with perceptual realism. Engineering evaluations and nurse feedback confirm its potential to enhance training in
Shoko Miyagawa, Sota Suzuki, Shizuka Watanabe, Zebing Mao, Young Ah Seong, Toshinori Fujie, Tatsuhiro Horii, Kenjiro Tadakuma, Koichi Suzumori, Hiroyuki Nabae, Shingo Maeda   +10 more
wiley   +1 more source

Balancing tree and crop biodiversity and yield in coffee plantations of the Peruvian Amazon: The role of shade and certification as indicators of sustainable management

Environmental Challenges
Intensive coffee cultivation in full-sun monocultures is often associated with biodiversity loss. In this context, agroforestry systems are increasingly valued for their ability to reconcile agricultural productivity with environmental conservation ...
Erick Arellanos, Gerlin Milquito López, Grobert Guadalupe, Ligia García   +3 more
doaj   +1 more source

Gait Analysis of Pak Biawak: A Necrobot Lizard Built using the Skeleton of an Asian Water Monitor (Varanus Salvator)

Advanced Robotics Research, EarlyView.
Pak Biawak, a necrobot, embodies an unusual fusion of biology and robotics. Designed to repurpose natural structures after death, it challenges conventional boundaries between nature and engineering. Its movements are precise yet unsettling, raising questions about sustainability, ethics, and the untapped potential of biointegrated machines.
Leo Foulds, Donan Satria Yudha, Parvez Alam   +2 more
wiley   +1 more source

A Review of Research Progress on the Development of Global Gold Ore Reference Materials and the Nugget Effect

Yankuang ceshi
Reference materials serve as the benchmark for evaluating the accuracy of test results. Continuous efforts are being made globally to develop various types of reference materials, supporting quality control in sample testing, metrological traceability ...
Jiufen LIU, Liqin YANG, Ying XIONG, Zhihui LI, Jia LIU, Xiaofeng ZHAO, Ying WANG, Liyuan XING, Feiran WANG, Ziqi LI, Jialu SUN, Huanyu SHI, Shuliang LIU   +12 more
doaj   +1 more source

LLM‐Integrated Human–Robot Interaction System for Microrobots

Advanced Robotics Research, EarlyView.
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley   +1 more source

Creation of certified reference material based on glycine

Стандартные образцы, 2017
The approaches for creating reference materials of glycine with certified values of nitrogen and base material mass fractions GSO 10272-2013 have been presented.
M. P. Krasheninina, L. K. Neudachina, F. S. Sergeeva, E. P. Sobina   +3 more
doaj  

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

Technical Feasibility Study of Autonomous Field Robot‐Based on‐the‐go Assessment of Soil Nutrients Using Ion‐Sensitive Field‐Effect Transistors

Advanced Robotics Research, EarlyView.
Autonomous field robots equipped with ISFET‐based sensors enable rapid, spatially resolved soil nutrient analysis directly in the field. An automated system based on the BoniRob platform is presented for standardized on‐site extraction and measurement of key macronutrients and soil pH.
Vadim Riedel, Stefan Hinck, Edgar Peiter, Arno Ruckelshausen   +3 more
wiley   +1 more source