Results 31 to 40 of about 5,812 (235)
Axioms, 2016 This paper deals with several problems concerning notion of existential dependence and ontological notions of existence, necessity and fusion. Following some ideas of Eugenia Ginsberg-Blaustein, the notions are treated in reference to objects, in ...
Marek Magdziak
doaj +1 more source
Lem: reusable engineering of real-world semantics [PDF]
, 2014 Recent years have seen remarkable successes in rigorous engineering: using mathematically rigorous semantic models (not just idealised calculi) of real-world processors, programming languages, protocols, and security mechanisms, for testing, proof ...
Kathryn E. Gray (7672313) +14 more
core +1 more source
Fuzzy vs. Traditional Reliability Model for Inverse Weibull Distribution
Axioms, 2023 In this paper, fuzzy stress strengths RF=P(Y≺X) and traditional stress strengths R=P ...
Eslam Hussam +3 more
doaj +1 more source
Is there an axiomatic semantics for standard pure prolog?
Theoretical Computer Science, 1991 A well known problem with the semantics of pure prolog programs arises from the differences between the intended declarative meaning and the operational semantics which results from the use of a particular selection rule in the process of SLD resolution. Differences which would not arise if all SLD resolution trees would be finite.
François Denis, Jean-Paul Delahaye
openaire +1 more source
Axioms and Divisor Methods for a Generalized Apportionment Problem with Relative Equality
Mathematics, 2023 The allocation of seats in a legislative body to groups based on their size is a crucial issue in legal and political studies. However, recent findings suggest that an optimal allocation of seats may not be proportional to the size of the groups.
Wenruo Lyu, Liang Zhao
doaj +1 more source
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Bulletin of the Section of Logic, 2022 The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo +1 more
doaj +1 more source
Axiomatizing weak simulation semantics over BCCSP [PDF]
Theoretical Computer Science, 2014 This paper is devoted to the study of the (in)equational theory of the largest (pre)congruences over the language BCCSP induced by variations on the classic simulation preorder and equivalence that abstract from internal steps in process behaviours. In particular, the article focuses on the (pre)congruences associated with the weak simulation, the weak
Luca Aceto +3 more
openaire +3 more sources
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source
Unifying cubical and multimodal type theory [PDF]
Logical Methods in Computer ScienceIn this paper we combine the principled approach to modalities from multimodal type theory (MTT) with the computationally well-behaved realization of identity types from cubical type theory (CTT).
Frederik Lerbjerg Aagaard +3 more
doaj +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