Results 41 to 50 of about 961,827 (257)

Semantic Modeling in Materials Science and Engineering With Platform MaterialDigital Core Ontology 3.0

Advanced Engineering Materials, EarlyView.
The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling, Philipp von Hartrott, Jörg Waitelonis, Thomas Hanke, Henk Birkholz, Hossein Beygi Nasrabadi, Khashayar Razghandi, Kamilla Zaripova, Felix Thonagel, Fabian Neuhaus, Martin Glauer, Lars Vogt, Harald Sack, Lutz Mädler, Bernd Bayerlein, Chris Eberl   +15 more
wiley   +1 more source

Advances in Proof-Theoretic Semantics

, 2016
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal ...

core   +1 more source

Choice of Administrative or Civil Procedures for Procuratorial Public Interest Litigation in the Field of Food Safety [PDF]

Shipin Kexue
When handling food safety cases that meet the applicable conditions for both administrative and civil public interest litigation, procuratorates possess significant discretion in procedural selection.
LIU Yi, ZHANG Weiqi
doaj   +1 more source

Relevance, Admissibility and Probative Value in a Rational System of Evidence: A South African Perspective

Potchefstroom Electronic Law Journal, 2022
In the South African legal system of fact finding and proof the relevance of an evidentiary fact is not governed by the rules of the law of evidence but by a set of extra-legal principles based on the logic of inferential reasoning and probability ...
Adrian Bellengere, Constantine Theophilopoulos   +1 more
doaj   +1 more source

Leveraging Symbolic Artificial Intelligence and Fuzzy Logic for Materials Science: A Review of Methods, Challenges, and Applications to Scarce and Imperfect Experimental Data

Advanced Engineering Materials, EarlyView.
This article explores the transformative potential of symbolic artificial intelligence (AI) in the field of materials science, particularly in leveraging experimental data. The article presents several symbolic AI models and discusses their applications in materials science.
Ahmed Amrani, Mohamed‐Ali Belloum, Laurence Boudet, Valentin Fouillard, Edwin Friedmann, Guillaume Lacharme, Ali Mahmoud, Jean‐Philippe Poli   +7 more
wiley   +1 more source

Exploiting parallelism in coalgebraic logic programming [PDF]

, 2014
We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both ...
Schmidt, Martin, Heras, Jonathan, Heras, J. [0000-0003-4775-1306], Komendantskaya, Ekaterina, Komendantskaya, E. [0000-0002-3240-0987], Schmidt, M.   +5 more
core   +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

Toward Full Interoperability in Materials Science: Integrating Workflows With Knowledge Graphs

Advanced Engineering Materials, EarlyView.
The connection of conceptual workflow design, portable execution, and ontology‐based semantics leading to provenance‐rich knowledge graphs are main contributors to interoperability in materials science and a prerequisite to AI‐assisted orchestration and for interoperable Materials Acceleration Platforms.
Jan Janssen, Osamu Waseda, Bernd Bayerlein, Simon Stier, Steffen Brinckmann, Abril Azócar Guzmán, Sarath Menon, Matthias A. Popp, Jesper R. Pedersen, Ivano E. Castelli, Jörg Waitelonis, Wolfgang Wenzel, Jörg Neugebauer, Jörg Schaarschmidt, Tilmann Hickel   +14 more
wiley   +1 more source

Age and trust as moderators in the relation between procedural justice and turnover: a large-scale longitudinal study [PDF]

, 2010
Item does not contain fulltextThe current study investigated the moderating roles of age and trust in the relation of procedural justice with turnover. It was expected that the relation between procedural justice and turnover was weaker for older workers
Bal, P. Matthijs, Bal, M., Ybema, J.F., Jansen, Paul G. W., Jansen, P.G.W., de Lange, Annet H., van der Velde, E.G., Paul G.W. Jansen, Mandy E.G. van der Velde, de Lange, A.H., Jansen, P.G., Ybema, Jan F., van der Velde, Mandy E. G., Bal, P.M., Jansen, P.G.W.; id_orcid, Velde, M.E. van der, P. Matthijs Bal, Velde, E.G. van der, Lange, A.H. de, Velde, M.E.G. van der, Annet H. de Lange, Jan F. Ybema   +21 more
core   +2 more sources

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