Results 171 to 180 of about 34,311 (304)

Features and Fluents for Logic Programming: Non-simulative Algebraic Semantics

, 2013
A Non-simulative Algebraic Semantics is defined and its range of applicability is proven to be the K-RACi class of the Features and Fluents framework.
Brandano, Sergio
core  

Automated production cutting optimization for minimizing material waste of pipelines in prefabricated MEP systems based on integer programming. [PDF]

Sci Rep
Fan X, Yang L, Zhao X.
europepmc   +1 more source

Design and Modeling of a High‐Displacement, Skin‐Integrated Flexible Electromagnetic Actuator for Haptic Interfaces in Virtual Reality

Advanced Robotics Research, EarlyView.
A flexible, skin‐integrated electromagnetic actuator is developed for wearable virtual/augmented reality (VR/AR) haptic systems. A tunable design model enables control over displacement and resonance frequency. The system is validated through a custom VR application with a 6 × 4 actuator array, demonstrating real‐time, spatially targeted tactile ...
Naji Tarabay, Alexandra Zhang Jiang, Ziteng Liu, Rachel Villamor, Derek Cha, Ananya Renuka Balakrishna, Tianshu Liu, Priyanshu Agarwal, Rainer Dömer, Camilo Velez   +9 more
wiley   +1 more source

Modelling and solution methods for stochastic optimisation

, 2011
This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.In this thesis we consider two research problems, namely, (i) language constructs for modelling stochastic programming (SP) problems and (ii) solution ...
Zverovich, Victor
core  

Optimal radiotherapy dose scheduling with variable fraction sizes and breaks via sequential mixed-integer convex programming. [PDF]

Phys Imaging Radiat Oncol
Fu A, Gouw Z, Jeong J, Deasy JO.
europepmc   +1 more source

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

Systems biology of yeast metabolism. [PDF]

FEMS Yeast Res
Nielsen J.
europepmc   +1 more source

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

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, Hongbo Wang, Naipeng Li, Shuo Wang, Yaguo Lei, Tonghai Wu, Junyi Cao   +6 more
wiley   +1 more source

Approximation in stochastic integer programming

Approximation algorithms are the prevalent solution methods in the field of stochastic programming. Problems in this field are very hard to solve. Indeed, most of the research in this field has concentrated on designing solution methods that approximate ...
Vlerk, Maarten H. van der, Stougie, Leen
core  

An open-source optimization model for sustainable open-pit mine production scheduling. [PDF]

Front Artif Intell
Lotsu JS, Bimpong GY, Boakye K.
europepmc   +1 more source