Results 31 to 40 of about 10,419 (259)
Procedural Logic Gaps in Mitigation Mapping: Content Analysis of QGIS-Based Essay Responses
Prisma Sains: Jurnal Pengkajian Ilmu dan Pembelajaran Matematika dan IPA IKIP MataramTheoretical knowledge about disasters does not always correspond to technical ability in mapping risks. Lombok Island has high tectonic complexity because it is flanked by the Sunda Subduction Zone in the south and the Flores Back-Arc Thrust in the north,
Suci Handayani +4 more
doaj +1 more source
THE COMPOSITION OF PARTIES IN CLAIMS FOR UNJUST ENRICHMENT: STRUCTURE OF PARTICIPANTS AND PROCEDURAL CONSEQUENCES OF THEIR SUBSTITUTION [PDF]
Legal BulletinThe article examines the composition of parties in claims for the recovery of unjust enrichment, identifies criteria for determining the proper defendant, and analyzes the procedural consequences of replacing an improper party during judicial proceedings.
SHASHLOV D.S.
doaj +1 more source
Completeness for recursive procedures in separation logic
Theoretical Computer Science, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mahmudul Faisal Al Ameen, Makoto Tatsuta
openaire +1 more source
Advanced Engineering Materials, EarlyView.Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter +10 more
wiley +1 more source
Journal of Theoretical and Applied Electronic Commerce ResearchE-commerce platforms increasingly rely on recommendation systems whose internal logic is often opaque, making explanation design important for consumer evaluation.
Ru Guo, Bolu Wei, Xuemeng Guo
doaj +1 more source
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
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 +15 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.During creep of a single‐crystal Ni‐based superalloy, the overall crystal orientation is observed to remain constant while the microstructure evolves. Despite the lack of macroscopic rotation, small (<1°) rotations are observed on the submicron size scale and are accommodated by counteracting rotations over the scale of several micrometers.
E. J. Payton +3 more
wiley +1 more source
Executable First-Order Queries in the Logic of Information Flows [PDF]
Logical Methods in Computer ScienceThe 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 +4 more
doaj +1 more source
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 +1 more
doaj +1 more source