Results 51 to 60 of about 188,814 (295)
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
Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows
Advanced Engineering Materials, EarlyView.A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba +5 more
wiley +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
Images of Person-Organization Fit: Elements Affecting Employee Organizational Behavior [PDF]
, 2017 The purpose of the paper is to build upon the existing literature a new approach to personorganization fit, in particular, employees’ perception of the P-O fit, taking into consideration two main criteria: 1) the level of formalization as a company’s ...
Światek Barylska, Ilona
core +2 more sources
, 2009 PUBLISHED Formalism is a philosophical theory of the foundations of mathematics that had a spectacular but brief heyday in the 1920s. After a long preparation in the work of several mathematicians and philosophers, it was brought to its mature form and prominence by David Hilbert and co-workers as an answer to both the uncertainties created by ...
openaire +2 more sources
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source
Semantic Criteria of Correct Formalization [PDF]
, 2010 This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas ...
Lampert, Timm
core
Machine-Checked Proofs For Realizability Checking Algorithms
, 2015 Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quality of complex embedded systems.
A Bohy +10 more
core +1 more source
A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science
Advanced Engineering Materials, EarlyView.We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann +8 more
wiley +1 more source
Diagnosing Institutional Fit: a Formal Perspective
Ecology and Society, 2012 I attempt to demonstrate that the concept of institutional fit and the closely related approach of institutional diagnosis can be improved with the process of formalization.
Michael Cox
doaj +1 more source