Results 121 to 130 of about 42,644,411 (279)

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

Learning‐Based Soft Robotic Grasping: Recent Progress and Remaining Challenges

Advanced Robotics Research, EarlyView.
This review analyzes learning‐based soft robotic grasping from a pipeline‐oriented perspective, encompassing soft gripper design, multimodal sensing, and learning‐based planning and control. It surveys key neural network architectures and benchmark datasets and identifies critical challenges such as sim‐to‐real transfer, generalization, and continual ...
Arnab Majumder, Jelizaveta Konstantinova, Graham Deacon, Kaspar Althoefer   +3 more
wiley   +1 more source

Structural Operational Semantics for True Concurrency

CoRR
It is natural that we can extend Structural Operational Semantics (SOS) to SOS for true concurrency. From SOS to SOS for true concurrency, it is in nature to give the related concepts in SOS a truly concurrent semantics foundation, i.e., a transition occurs by executing a Partially Ordered Multi Set (pomset) of actions replacing just one single action.
openaire   +3 more sources

Flexible Sensors for Robotics Tactile Perception: A Review

Advanced Robotics Research, EarlyView.
Flexible tactile sensing for robotics is reviewed through four interconnected dimensions. Physical mechanisms include piezoresistive, capacitive, piezoelectric, triboelectric, iontronic, and optical sensing. Structural design includes bioinspired, defect‐based, and MEMS‐based tactile systems.
Yu Song, Ying Chen, Yihao Chen, Xue Feng
wiley   +1 more source

An Integrated NLP‐ML Framework for Property Prediction and Design of Steels

Advanced Science, EarlyView.
This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju, Adithya Umanath Rai, Jose Thomson, Marzie Ghorbani, Shujing Zhao, Nick Birbilis   +5 more
wiley   +1 more source

Technology Readiness and System-Level Maturity of Aerospace Development in Peru: An Engineering-Based Systematic Review

Technologies
This paper presents a comprehensive technology-oriented review of aerospace development in Peru, integrating historical scientific infrastructure, suborbital experimentation, orbital satellite missions, and a systematic literature review of contemporary ...
Brayan Espinoza-Garcia, Oswaldo R. Banda-Sayco, Gerson Márquez, Stamber Alvaro Ramírez-Revilla   +3 more
doaj   +1 more source

Structural Operational Semantics for Weighted Transition Systems [PDF]

, 2009
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A general rule format for the SOS specification of weighted systems is obtained via the coalgebraic approach of Turi and Plotkin.
openaire   +1 more source

Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design

Advanced Science, EarlyView.
A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram, Mohit Chakraborty, Sai Mani Kumar Devathi, B. Pabitramohan Prusty, Rohit Batra   +4 more
wiley   +1 more source

Perspectives of semantic modeling in categories

Journal of King Saud University: Computer and Information Sciences
This paper explores the domain of semantic modeling, emphasizing the thoughtful influence of category theory on imperative programming. We aim to present a formal semantics model by seamlessly integrating categorical concepts.
William Steingartner
doaj   +1 more source

Holistic Competencies and Employability: Diagnosis and Improvements for Higher Education in Ecuador from a Labor Market Perspective

Societies
Soft skills are increasingly recognised as decisive factors for employability and career advancement in the global labour market. This study examines their role in the professional trajectories of university graduates in Ecuador, analysing both the ...
Diana Patricia Moya Loaiza, Juan Alcides Cárdenas Tapia, Cristian Leonardo García García   +2 more
doaj   +1 more source