Results 21 to 30 of about 1,229,738 (330)
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
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
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
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
Procedural Budgeting: A Normative Approach to the Role of the Public Budgeting in Construction the Future Reality [PDF]
حکمرانی و توسعه, 2021 Budgeting can be treated as the heart of public policy-making process, because it involves choosing the ends and tools for achieving them, dividing the financial and economic resources of the community between the public and private sectors, and ...
Miryaghob Seyed rezaei +1 more
doaj +1 more source
THE LEGAL NATURE OF THE PERIOD FOR APPLYING TO THE COURT FOR ADMINISTRATIVE PROCEEDINGS
Правовое государство: теория и практика, 2022 In cases of administrative proceedings in courts of general jurisdiction and in arbitration courts, a general period of three months is established for an application to the court to challenge unlawful acts of authorities.
YUDIN Andrey Vladimirovich
doaj +1 more source
Procedural problems in the consideration of climate protection cases [PDF]
E3S Web of Conferences, 2023 The number of disputes initiated by organisations, public associations and citizens trying to fight for climate justice and carbon neutrality is growing every year in the world.
Strugovets Liliya
doaj +1 more source
A Formal Executable Semantics of Verilog [PDF]
, 2010 This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of the official language standard, and ...
Katelman, Michael +3 more
core +1 more source
Complete synthesis of identity templates for quantum and reversible logic MCT circuits using SAT-solvers and proposal of suboptimality witness notion [PDF]
International Journal of Electronics and TelecommunicationsIn this study, we introduce a procedural generation technique for Identity Templates applicable to quantum and reversible logic circuits. These templates are recognized for their significant role in enhancing the efficiency of quantum and reversible ...
Adam Jagielski
doaj +1 more source
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae, 2002 Automata-theoretic decision procedures for solving model-checking and satisfiability problems for temporal, dynamic, and description logics have flourished during the past decades. In the paper we define an EXPTIME decision procedure based on the emptiness problem of Büchi automata on infinite trees for the very expressive information logic SIM ...
Demri, Stéphane, Sattler, Ulrike
openaire +2 more sources