Results 21 to 30 of about 172,710 (318)
STL Robustness Risk over Discrete-Time Stochastic Processes [PDF]
IEEE Conference on Decision and Control, 2021 We present a framework to interpret signal temporal logic (STL) formulas over discrete-time stochastic processes in terms of the induced risk. Each realization of a stochastic process either satisfies or violates an STL formula.
Lars Lindemann, N. Matni, George Pappas
semanticscholar +1 more source
An Idiotypic Immune Network as a Short Term Learning Architecture for Mobile Robots [PDF]
, 2008 A combined Short-Term Learning (STL) and Long-Term Learning (LTL) approach to solving mobile robot navigation problems is presented and tested in both real and simulated environments.
Aickelin, Uwe +2 more
core +5 more sources
Selcuk Dental Journal, 2020 Background: Over the last years, different intraoral scanning systems for direct digitalization have been introduced to the dental market. However, the accuracy of these scanners is variable, and little information is available.
İmadettin Alsayed, Yılmaz Umut Aslan
doaj +1 more source
Critical Approaches to Discourse Analysis across Disciplines, 2023 In January 2021, the #MeTooInceste hashtag emerged on French-speaking Twitter, allowing victims of incest to recount their experiences and bring their narratives to light.
Oceane Foubert +3 more
doaj +1 more source
STL-free design and manufacturing paradigm for high-precision powder bed fusion
CIRP annals, 2021 High-precision powder bed fusion (PBF), together with highly complex geometries necessitate a much more scalable representation of the geometry and an efficient computational pipeline.
Junhao Ding +5 more
semanticscholar +1 more source
Engineering Proceedings, 2021 This paper aims at comparing different forecasting strategies combined with the STL decomposition method. STL is a versatile and robust time series decomposition method.
Zuokun Ouyang, P. Ravier, M. Jabloun
semanticscholar +1 more source
On Robustness Metrics for Learning STL Tasks [PDF]
American Control Conference, 2020 Signal temporal logic (STL) is a powerful tool for describing complex behaviors for dynamical systems. Among many approaches, the control problem for systems under STL task constraints is well suited for learning-based solutions, because STL is equipped ...
P. Várnai, Dimos V. Dimarogonas
semanticscholar +1 more source
Decomposition and modeling of signal shapes of single point cardiac monitoring
Current Directions in Biomedical Engineering, 2020 We introduce a novel method for electronic recording of cardiac signals from a single point at the skin in contrast to classical differential electrocardiography (ECG).
Eyvazi Hesar Milad +4 more
doaj +1 more source
An Improved STL-LSTM Model for Daily Bus Passenger Flow Prediction during the COVID-19 Pandemic
Italian National Conference on Sensors, 2021 The COVID-19 pandemic is a significant public health problem globally, which causes difficulty and trouble for both people’s travel and public transport companies’ management.
Feng Jiao +3 more
semanticscholar +1 more source
An overview of rapid prototyping technologies using subtractive, additive and formative processes [PDF]
FME Transactions, 2020 This paper describes methodology for application of a rapid prototyping using subtractive, additive and formative technology based on STL files. Rapid prototyping technology includes using of a digital information chain CAD/CAM/CNC to a level which ...
Živanović Saša T. +4 more
doaj