Results 41 to 50 of about 239,048,002 (311)
Functional Big-step Semantics [PDF]
, 2016 When doing an interactive proof about a piece of software, it is important that the underlying programming language’s semantics does not make the proof unnecessarily difficult or unwieldy.
Kumar, R., +14 more
core +1 more source
Measure Transformer Semantics for Bayesian Machine Learning [PDF]
Logical Methods in Computer Science, 2013 The Bayesian approach to machine learning amounts to computing posterior distributions of random variables from a probabilistic model of how the variables are related (that is, a prior distribution) and a set of observations of variables.
Johannes Borgström +4 more
doaj +1 more source
Molecules, 2023 Non-equilibrium work switching simulations and Jarzynski’s equation are a reliable method for computing free energy differences, ΔAlow→high, between two levels of theory, such as a pure molecular mechanical (MM) and a quantum mechanical/molecular ...
Andreas Schöller +2 more
doaj +1 more source
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 more
core +1 more source
Solutions of the Yang–Baxter Equation and Automaticity Related to Kronecker Modules
Computation, 2023 The Kronecker algebra K is the path algebra induced by the quiver with two parallel arrows, one source and one sink (i.e., a quiver with two vertices and two arrows going in the same direction). Modules over K are said to be Kronecker modules.
Agustín Moreno Cañadas +2 more
doaj +1 more source
Relational and Allegorical Semantics for Constraint Logic Programming [PDF]
, 2012 El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de
Gallego Arias, Emilio Jesús
core +1 more source
A Structural and Nominal Syntax for Diagrams [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The correspondence between monoidal categories and graphical languages of diagrams has been studied extensively, leading to applications in quantum computing and communication, systems theory, circuit design and more.
Dan R Ghica, Aliaume Lopez
doaj +1 more source
Data dependencies and program slicing: from syntax to abstract semantics [PDF]
, 2008 We discuss the relation between program slicing and data dependencies. We claim that slicing can be defined, and therefore calculated, parametrically on the chosen notion of dependency, which implies a different result when building the program ...
Damiano Zanardini +4 more
core +1 more source
Approximate Semantic Transference: A Computational Theory of Metaphors and Analogies [PDF]
Cognitive Science, 1987 In this paper we start from the assumption that in a metaphor, or an analogy, some terms belonging to one domain (source domain) are used to refer to objects other than their conventional referents belonging to a possibly different domain (target domain).
openaire +1 more source
A New Robust and Secure 3-Level Digital Image Watermarking Method Based on G-BAT Hybrid Optimization
Mathematics, 2022 This contribution applies tools from the information theory and soft computing (SC) paradigms to the embedding and extraction of watermarks in aerial remote sensing (RS) images to protect copyright.
Kilari Jyothsna Devi +6 more
doaj +1 more source