Results 81 to 90 of about 45,458 (300)
The MegaM@Rt2 Approach and Tool Set: Scalable Model-based Tools and Architecture for Continuous Development and Runtime Validation of Complex Systems [PDF]
, 2017 International audienceA major challenge for the European industry is to enhance the productivity of software-intensive systems as well as to reduce their costs and increase their overall quality.
Sadovykh, Andrey +2 more
core +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
Computational and Structural Biotechnology Journal, 2019 The evolutionary analysis of genetic data is an important subject of modern bioscience, with practical applications in diverse fields. Parameters of interest in this context include effective population sizes, mutation rates, population growth rates and ...
Sven Gundlach +4 more
doaj +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
Runtime safety assurance methods for cyber physical systems based on simplex architecture
Shenzhen Daxue xuebao. Ligong banRuntime safety assurance is a method that can ensure security attributes being satisfied during system operation. The simplex architecture-based runtime safety assurance methods are able to provide the safety guarantees even in the presence of unverified
WANG Qiang +3 more
doaj +1 more source
Runtime visualisation of object-oriented software [PDF]
, 2003 Software is a complex and invisible entity, yet one which is core to modem life. The development and maintenance of such software includes one staple task, the need to understand the software at the implementation level.
Smith, Michael Philip
core
Profile driven dataflow optimisation of mean shift visual tracking [PDF]
, 2014 Profile guided optimisation is a common technique used by compilers and runtime systems to shorten execution runtimes and to optimise locality aware scheduling and memory access on heterogeneous hardware platforms.
Deepayan Bhowmik +11 more
core +1 more source
Advanced Robotics Research, EarlyView.We proposed a Mixed Reality Sensorized Laryngoscope Training System to provide real‐time holographic torque feedback during pediatric endotracheal intubation simulation. Visualization formats are evaluated to reduce tracking error and visual demand.
Jiaqi Li +5 more
wiley +1 more source
Runtime Analysis and Instrumentation for Securing Software [PDF]
, 2010 The past decade has witnessed an explosive increase in the scale, intensity and sophistication of cyber attacks. While software vendors have significantly increased their efforts on security, they are almost always playing "catch up." As a result, security-conscious organizations and individuals have come to expect their system administrators to deploy
openaire +1 more source
Neural Fields for Highly Accelerated 2D Cine Phase Contrast MRI
Advanced Science, EarlyView.ABSTRACT 2D cine phase contrast (CPC) MRI provides quantitative information on blood velocity and flow within the human vasculature. However, data acquisition is time‐consuming, motivating the reconstruction of the velocity field from undersampled measurements to reduce scan times. In this work, neural fields are proposed as a continuous spatiotemporal
Pablo Arratia +7 more
wiley +1 more source