Results 111 to 120 of about 92,710 (270)
Anomaly Detection Based on Temporal Behavior Monitoring in Programmable Logic Controllers [PDF]
, 2021 Seung-Jae Han +3 more
openalex +1 more source
Advanced Materials Technologies, EarlyView.Soft multimaterial optical fibers integrate multiple functionalities—such as waveguiding, side emission, sensing, drug delivery or actuation—into a single filament for wearable, implantable, and tissue‐integrated devices for diagnostics and phototherapy.
Zahra Kafrashian +2 more
wiley +1 more source
An interval logic for higher-level temporal reasoning [PDF]
Prior work explored temporal logics, based on classical modal logics, as a framework for specifying and reasoning about concurrent programs, distributed systems, and communications protocols, and reported on efforts using temporal reasoning primitives to
Melliar-Smith, P. M. +3 more
core +1 more source
Advances in Solid‐Phase Processing Techniques: Innovations, Applications, and Future Perspectives
Advanced Materials Technologies, EarlyView.Based on practical manufacturing challenges, this review examines advanced solid‐phase processing techniques that overcome the inherent limitations of conventional melting‐based and traditional solid‐phase manufacturing, enabling the production of higher‐performance components at reduced cost through process innovation and improved supply‐chain ...
Tianhao Wang
wiley +1 more source
Robustness-driven Exploration with Probabilistic Metric Temporal Logic
, 2021 Xiaotian Liu +5 more
openalex +1 more source
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
Advanced Robotics Research, EarlyView.This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang +5 more
wiley +1 more source
The Influence of Jerzy Łoś on Early Developments in Temporal Logic
, 2021 Aleksander Parol
openalex +2 more sources
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
Azafea: Revista de Filosofía, 2009 RESUMEN: En este artículo se sintetiza una visión moderna de las lógicas modales y temporales. En vez de dar una motivación histórica, el paper presenta estas lógicas en relación con ciertos fragmentos de la lógica de primer orden que poseen propiedades ...
Carlos ARECES
doaj
Advanced Sustainable Systems, EarlyView.Nanosafety data provide a guiding example for establishing best practices in data management, aligning with FAIR principles and quality criteria. This review explores existing quality assessment approaches for reliability, relevance, and completeness, emphasizing the need for harmonization and adaptation to nanomaterials and advanced materials. The aim
Verónica I. Dumit +43 more
wiley +1 more source