Results 31 to 40 of about 235,856 (255)

Optimization of the Composition of Participants in Criminal Pre-Trial Proceedings

Сибирское юридическое обозрение
Alongside establishing the procedure for criminal proceedings, a primary objective of criminal procedure legislation is to precisely define the legal status and procedural powers of participants in criminal procedure relations.
O. S. Morozova
doaj   +1 more source

QUANTITATIVE METHODS AND RESEARCH IN SOCIAL SCIENCE: LOGIC AND UTILITY OF THE USE OF QUANTIFICATION IN THE EXPLANATIONS OF SOCIAL PHENOMENA

Mediações: Revista de Ciências Sociais, 2013
The article presents a theoretical analysis on methodological foundations (not only procedural) of so-called "quantitative methods" in social science research, which are often – but mistakenly – reduced to the idea of "quantification techniques".
Marília Patta Ramos
doaj   +1 more source

Dynamic Difficulty Adjustment Berbasis Logika Fuzzy Untuk Procedural Content Generation Pada Permainan Roguelike

Teknika, 2022
Perkembangan industri video game sangatlah pesat hingga ada banyak sekali orang yang memainkan video game. Setiap orang memiliki tingkat keterampilan yang berbeda dan memiliki kurva belajar yang unik untuk setiap video game yang mereka mainkan ...
David Saputra Octadianto Soedargo, Hartarto Junaedi   +1 more
doaj   +1 more source

The Difficulties of Learning Logic Programs with Cut [PDF]

, 1993
As real logic programmers normally use cut (!), an effective learning procedure for logic programs should be able to deal with it. Because the cut predicate has only a procedural meaning, clauses containing cut cannot be learned using an extensional ...
Bergadano, F., Gunetti, D., Trinchero, U.   +2 more
core   +3 more sources

Logic Programming as Constructivism [PDF]

, 1989
The features of logic programming that seem unconventional from the viewpoint of classical logic can be explained in terms of constructivistic logic. We motivate and propose a constructivistic proof theory of non-Horn logic programming.
Bry, François
core   +1 more source

Innovating Aircraft Repair Processes: The Role of Digitalization in Sustainability

Advanced Engineering Materials, EarlyView.
This research explores how digitalization—by storing detailed non‐destructive testing data in structured DICONDE databases and creating a standard data model of the component—innovates aviation maintenance and repair processes. Coupled with a developed state‐based simulation model, it enables data‐driven, sustainable repair strategies that reduce waste,
Johanna Aigner, Geo Jacob, Florian Raddatz, Gerko Wende   +3 more
wiley   +1 more source

A Concept of a Digital and Traceable Manufacturing Documentation Based on Formalized Process Description Applied on Composite Aircraft Moveable

Advanced Engineering Materials, EarlyView.
The documentation of component manufacture has become an essential part of today's production processes, especially for the analysis and optimization of production or component design with regard to structural performance, economic efficiency, and sustainability.
Björn Denker, Dominik Delisle, Christian Krombholz, Martin Rädel, Frank Dressel   +4 more
wiley   +1 more source

THE ABSENCE OF A HASH SUM AS A PROCEDURAL ERROR ARISING IN A FORENSIC EXAMINATION WHEN ANALYSING OBJECTS IN A DIGITAL FORM

Правовое государство: теория и практика
An urgent task when working with digital objects is to comply with procedural rules and regulations in appointing a forensic examination and conducting research.
SHIKHALIYEVA Seldjan Zaur qizi
doaj   +1 more source

Executable First-Order Queries in the Logic of Information Flows [PDF]

Logical Methods in Computer Science
The logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of procedural nature can still be modeled in a declarative, logic-based fashion.
Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche   +4 more
doaj   +1 more source

Interaction between Molten Al‐Killed Mn–B Steel and Carbon‐Bonded MgO Refractories Based on Recyclates

Advanced Engineering Materials, EarlyView.
High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé, Lukas Neubert, Anton Yehorov, Till M. J. Stadtmüller, Christos G. Aneziris, Olena Volkova   +5 more
wiley   +1 more source