Results 1 to 10 of about 235,765 (197)
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 +16 more sources
Contextualization, Procedural Logic, and Active Construction: A Cognitive Scaffolding Model for Topic Sentiment Analysis in Game-Based Learning [PDF]
Behavioral SciencesFollowing the significant disruption of traditional teaching by the COVID-19 pandemic, gamified education—an approach integrating technology and cognitive strategies—has gained widespread attention and use among educators and learners.
Liwei Ding +3 more
doaj +2 more sources
Procedural liability as a legal phenomenon [PDF]
Aktualʹnye Problemy Èkonomiki i Prava, 2015 Objective basing on the research of existing doctrinal developments current legislation and law enforcement practices to analyze the place and role of procedural liability in the system of legal liability to develop recommendations on improvement of ...
Nikolay Vladimirovich Makareyko
doaj +3 more sources
Applying binary logic to analysis of media function of serious games [PDF]
مطالعات رسانههای نوین, 2019 Relation between logic and computer games can be investigated in two fields: 1. applying logic in design and generating computer games. 2. Applying logic in perceiving and using computer games.
masoud kousari +3 more
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
Revista Brasileira de Direito Processual Penal, 2021 Military criminal law in 19th century Brazil was governed mostly by the Articles of War (1763), which retained many characteristics from Early Modern punitive practices.
Arthur Barrêtto de Almeida Costa
doaj +1 more source
Проблеми сучасної психології, 2020 The article highlights the functional aspect of the existential and systemic reorganizational action, with the definition of microgenetic (formation) and psychological and genetic (development) dynamics of the semantic architectonics of the personality’s
Svitlana Kalishchuk
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
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
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