Results 51 to 60 of about 481 (199)
Towards a Unified Theory of Operational and Axiomatic Semantics [PDF]
, 2012 This paper presents a nine-rule language-independent proof system that takes an operational semantics as axioms and derives program reachability properties, including ones corresponding to Hoare triples. This eliminates the need for language-specific Hoare-style proof rules to verify programs, and, implicitly, the tedious step of proving such proof ...
Rosu, Grigore, Stefanescu, Andrei
openaire +1 more source
Non‐Rigid 3D Shape Correspondences: From Foundations to Open Challenges and Opportunities
Computer Graphics Forum, EarlyView.Abstract Estimating correspondences between deformed shape instances is a long‐standing problem in computer graphics; numerous applications, from texture transfer to statistical modelling, rely on recovering an accurate correspondence map. Many methods have thus been proposed to tackle this challenging problem from varying perspectives, depending on ...
A. Zhuravlev +14 more
wiley +1 more source
Establishing Shape Correspondences: A Survey
Computer Graphics Forum, EarlyView.Abstract Shape correspondence between surfaces in 3D is a central problem in geometry processing, concerned with establishing meaningful relations between surfaces. While all correspondence problems share this goal, specific formulations can differ significantly: Downstream applications require certain properties that correspondences must satisfy ...
A. Heuschling, H. Meinhold, L. Kobbelt
wiley +1 more source
Axiomatizing weak simulation semantics over BCCSP
Theoretical Computer Science, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Luca Aceto +3 more
openaire +2 more sources
Quiver Gauge Theories: Finitude and Trichotomoty
Mathematics, 2018 D-brane probes, Hanany-Witten setups and geometrical engineering stand as a trichotomy of standard techniques of constructing gauge theories from string theory.
Yang-Hui He
doaj +1 more source
Journal of Evidence-Based Medicine, EarlyView.ABSTRACT Despite the centrality of syndrome differentiation in guiding personalized traditional Chinese medicine (TCM) interventions for coronary heart disease (CHD), existing studies of TCM syndrome distribution are constrained by fragmented methodologies and limited spatiotemporal resolution. In this study, we employed an artificial intelligence (AI)‐
Qianzi Che +15 more
wiley +1 more source
Typical Examples of Atoment Language Using
Моделирование и анализ информационных систем, 2011 Atoment is a domain-specific language of executable specifications, used to describe methods and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment language, covering topics such as program models,
I. S. Anureev
doaj
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic [PDF]
, 2019 We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic topological systems. Our topological semantics features a new interpretation for the `henceforth' modality that is a natural intuitionistic variant of the classical
Joseph Boudou +3 more
openaire +3 more sources
Why Are All the Sets All the Sets?
Noûs, EarlyView.ABSTRACT Necessitists about set theory think that the pure sets exists, and are the way they are, as a matter of necessity. They cannot explain why the sets (de rebus) are all the sets. This constitutes the Ur‐Objection against necessitism; it is the primary motivation cited by potentialists about set theory.
Tim Button
wiley +1 more source
The Abductivist Interpretation of Frege's Conception of Logic
Analytic Philosophy, EarlyView.ABSTRACT Frege is an abductivist about logic. For him, an acceptable logic must be sufficient—that is, it must be able to explain the relevant data, such as the fact that arithmetical laws are logical truths. Thus, Frege's logicism is an abductive project aimed at establishing the acceptability of his logic, Begriffsschrift.
Junyeol Kim
wiley +1 more source