Results 11 to 20 of about 1,092,525 (253)
Risk analysis with a fuzzy-logic approach of a complex installation [PDF]
Advances in Radio Science, 2016 This paper introduces a procedural method based on fuzzy logic to analyze systematic the risk of an electronic system in an intentional electromagnetic environment (IEME).
T. Peikert, H. Garbe, S. Potthast
doaj +1 more source
A First-Order Complete Temporal Logic for Structured Context-Free Languages [PDF]
Logical Methods in Computer Science, 2022 The problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of such results are temporal logics on Nested Words, such as CaRet and NWTL.
Michele Chiari +2 more
doaj +1 more source
CYBERPUNK – GAME – POETRY: Rostislav Amelin’s “SimStab”
Internationale Zeitschrift für KulturkomparatistikThe article discusses “SimStab” [Simulator of Stability], a poetic performance by a young Russian poet, Rostislav Amelin, as an effective hybrid of the innovative poetry, video game, and the cyberpunk genre models.
Daniil Leiderman, Mark Lipovetsky
doaj +5 more sources
Brésil(s), 2023 This article aims to analyze the production of documentary evidence in rural minimum retirement age cases, in the Federal Small-Claims Courts, in Sobral, Brazil. With the research, we concluded that judges occupy a central
Jordi Othon Angelo +1 more
doaj +1 more source
Procedural Semantics and its Relevance to Paradox
Logic and Logical Philosophy, 2023 Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its ...
E. Booij
semanticscholar +1 more source
Alogisms in criminal procedural legislation
Проблеми Законності, 2017 The article is devoted to the definition of the characteristic signs of legislative defects, which are caused by violations of the rules of logic, and find a negative reflection on the conceptual-categorical apparatus of the criminal procedural ...
Олена Анатоліївна Лейба
doaj +1 more source
First-Order and Temporal Logics for Nested Words [PDF]
Logical Methods in Computer Science, 2008 Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure of parse trees and other tree-structured data, such as XML.
Rajeev Alur +5 more
doaj +1 more source
Virtual Reality, 2022 One key aspect for the safety and success of first responders’ operations is the compliance, during the intervention, with all the safety procedures and prescribed behaviors.
D. Calandra +3 more
semanticscholar +1 more source
Applied intelligence (Boston), 2023 Natural language annotations and manuals can provide useful procedural information and relations for the highly specialized scenario of autonomous robotic task planning.
Marco Bombieri +4 more
semanticscholar +1 more source
SoftwareX, 2021 Executable HTML is a collection of custom HTML elements that offer document authors the ability to write and execute procedural logic in HTML5. We discuss the motivation of this approach, which lies in the composition of formal Ambulatory Assessment ...
Nikolaos Batalas +2 more
doaj +1 more source