Results 61 to 70 of about 37,638 (267)
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
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
Urbanization and (In)Formalization
, 2013 Inexorable urbanization and formalization have been the expectations in development discourse. Indeed, measures of urbanization and formalization have been provided and used as indicators of development.
Ghani, Ejaz, Kanbur, Ravi
core +1 more source
About the Forms of Existence of the Legal Interest of Taxpayer
Сибирское юридическое обозрение, 2018 On the basis of doctrinal provisions the article deals with the problem of legal existence of the taxpayer's legal interest. The author analyzes the normative and non-normative (natural-legal) points of view and concludes that these two legal approaches ...
S. A. Yadrikhinskii
doaj +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
A Formal Logic for Formal Category Theory
, 2023 AbstractWe present a domain-specific type theory for constructions and proofs in category theory. The type theory axiomatizes notions of category, functor, profunctor and a generalized form of natural transformations. The type theory imposes an ordered linear restriction on standard predicate logic, which guarantees that all functions between ...
Max S. New, Daniel R. Licata
openaire +1 more source
Advanced Engineering Materials, EarlyView.Knowledge‐based atomistic workflows are presented for mechanical and thermodynamic properties. By coupling modular simulations with ontology‐aligned metadata and provenance, Fe case studies on elastic behavior, defects, thermal properties, and Hall–Petch strengthening reveal how FAIR, queryable, and reusable simulation data can be generated. Mechanical
Abril Azócar Guzmán +5 more
wiley +1 more source
Re-formalization of Individual Fairness
, 2023 The notion of individual fairness is a formalization of an ethical principle, "Treating like cases alike," which has been argued such as by Aristotle. In a fairness-aware machine learning context, Dwork et al. firstly formalized the notion.
Kamishima, Toshihiro
core
JSkel: Towards a Formalization of JavaScript's Semantics [PDF]
, 2021 National audienceWe present JSkel, a formalization of the semantics of JavaScript in Skel, the concrete language used to write skeletal semantics.
Khayam, Adam +2 more
core