Results 41 to 50 of about 185,172 (275)
Kajian Formalisasi PKL di Kawasan Pasar Waru Semarang
Jurnal Pembangunan Wilayah dan Kota, 2014 Formalization of street vendors in the city of Semarang such official site at Waru Market Area in Kaligawe to accommodate that activities. In 2007, the market is prepared to accommodate the relocated Waru merchants of Kartini, Progo and Citarum with ...
Nurani Nurul Hidayati, Nurini Nurini
doaj +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Judging by the Rules? The emergence of evaluation practices
Valuation StudiesHow does evaluation work differently, and how do evaluation practices emerge, in different contexts? Drawing on a mixed-methods study of evaluation in figure skating and classical music, I discuss the divergent evaluative cultures in these settings ...
Stacy Lom
doaj +1 more source
Formalizing Abstract Algebra in Constructive Set Theory [PDF]
, 2003 We present a machine-checked formalization of elementary abstract algebra in constructive set theory. Our formalization uses an approach where we start by specifying the group axioms as a collection of inference rules, defining a logic for groups.
Hickey, Jason, Yu, Xin
core
Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence
, 2017 G\"odel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof.
Benzmüller, Christoph +1 more
core +1 more source
A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data
Advanced Engineering Materials, EarlyView.Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour +5 more
wiley +1 more source
Implementation of the Composition-nominative Approach to Program Formalization in Mizar [PDF]
Computer Science Journal of Moldova, 2018 In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formalization in Mizar proof assistant based on the first-order logic and axiomatic set theory.
Ievgen Ivanov +2 more
doaj
An Epistemic Perspective on Consistency of Concurrent Computations
, 2013 Consistency properties of concurrent computations, e.g., sequential consistency, linearizability, or eventual consistency, are essential for devising correct concurrent algorithms.
A. Gotsman +11 more
core +1 more source
Formalized linear algebra over Elementary Divisor Rings in Coq [PDF]
, 2016 This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form.
Cano, Guillaume +4 more
core +5 more sources
Advanced Functional Materials, EarlyView.A Complexation‐Mediated Diffusion‐Limited Growth (CMDLG) framework is established to rationalize the anisotropic growth of lead‐free perovskites. Integrating coordination chemistry with mass transport kinetics, this study theoretically derives and experimentally validates that stable iodocuprate complexes induce a diffusion‐limited regime.
Hyunmin Lee +5 more
wiley +1 more source