Results 31 to 40 of about 23,557 (297)
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
IEEE Access, 2020 We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochastic disturbances.
Fedor Shmarov +6 more
doaj +1 more source
The diagrammatic coaction and cuts of the double box
SciPost Physics Proceedings, 2022 The diagrammatic coaction encodes the analytic structure of Feynman integrals by mapping any given Feynman diagram into a tensor product of diagrams defined by contractions and cuts of the original diagram.
Einan Gardi, Aris Ioannou
doaj +1 more source
Loop checks for logic programs with functions
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
openaire +2 more sources
Applied Sciences, 2021 Manual assembly operations are sensitive to human errors that can diminish the quality of final products. The paper shows an application of human reliability analysis in a realistic manufacturing context to identify where and why manual assembly errors ...
Yaniel Torres +2 more
doaj +1 more source
Model checking in-the-loop: Finding counterexamples by systematic simulation [PDF]
2008 American Control Conference, 2008 Model checkers for program verification have enjoyed considerable success in recent years. In the control systems domain, however, they suffer from an inability to account for the physical environment. For control systems, simulation is the most widely used approach for validating system designs.
Flavio Lerda +4 more
openaire +1 more source
Modeling Operator Performance in Human-in-the-Loop Autonomous Systems
IEEE Access, 2021 With the increasing role of human-in-the-loop (HITL) based autonomous systems, researchers have made several attempts to understand how an operator’s performance is affected by various parameters.
Shahabuddin Muhammad
doaj +1 more source
Redundancy Elimination and Loop Checks for Logic Programs
Information and Computation, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
FERRUCCI, Filomena +2 more
openaire +3 more sources
Artificial Intelligence in Automated Detection of Disinformation: A Thematic Analysis
Journalism and Media, 2023 The increasing prevalence of disinformation has led to a growing interest in leveraging artificial intelligence (AI) for detecting and combating this phenomenon.
Fátima C. Carrilho Santos
doaj +1 more source
Verification of Flat FIFO Systems [PDF]
Logical Methods in Computer Science, 2020 The decidability and complexity of reachability problems and model-checking for flat counter machines have been explored in detail. However, only few results are known for flat (lossy) FIFO machines, only in some particular cases (a single loop or a ...
Alain Finkel, M. Praveen
doaj +1 more source
The most important physiological properties of short men's socks depending on the raw material composition and the stitch design [PDF]
Tekstilna industrija, 2023 The research is focused on checking the most important physiological properties of short men's socks depending on the raw material composition. Men's socks are mostly made of bamboo, cotton or a cotton/polyester blend, the composition includes filament ...
Tasić Predrag +2 more
doaj +1 more source