Results 41 to 50 of about 246,716 (195)
MATEC Web of Conferences, 2018 Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic.
Glivická Jana
doaj +1 more source
BMC Bioinformatics, 2007 The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology specialists, who hold knowledge about techniques and best practice on ...
Aranguren Mikel +4 more
doaj +1 more source
The use of Semantic Technologies in Computer Science Curriculum: A Systematic Review
, 2022 Semantic technologies are evolving and being applied in several research areas, including the education domain. This paper presents the outcomes of a systematic review carried out to provide an overview of the application of semantic technologies in the context of the Computer Science curriculum and discuss the limitations in this field whilst offering
Cheng, Yixin, Nunes, Bernardo Pereira
openaire +2 more sources
, 1958 In this thesis an operational semantics for a subset of the Java Virtual Machine (JVM) is developed and presented. The subset contains standard operations such as control flow, computation, and memory management.
Shimm, Melvin G.
core +1 more source
Refinement and verification of concurrent systems specified in Object-Z and CSP [PDF]
, 1997 The formal development of large or complex systems can often be facilitated by the use of more than one formal specification language. Such a combination of languages is particularly suited to the specification of concurrent or distributed systems, where
Derrick, John, Smith, Graeme
core +2 more sources
Brain Sciences, 2021 Graph theory in the last two decades penetrated sociology, molecular biology, genetics, chemistry, computer engineering, and numerous other fields of science.
Balázs Szalkai +2 more
doaj +1 more source
An adequate logic for full LOTOS [PDF]
, 2000 We present a novel result for a logic for symbolic transition systems based on LOTOS processes.
Calder, Muffy +2 more
core +6 more sources
Serret-Frenet Frame and Curvatures of Bézier Curves
Mathematics, 2018 The aim of this study is to view the role of Bézier curves in both the Euclidean plane E 2 and Euclidean space E 3 with the help of the fundamental algorithm which is commonly used in Computer Science and Applied Mathematics and without ...
Esra Erkan, Salim Yüce
doaj +1 more source
On the Relation of Interaction Semantics to Continuations and Defunctionalization [PDF]
, 2014 In game semantics and related approaches to programming language semantics, programs are modelled by interaction dialogues. Such models have recently been used in the design of new compilation methods, e.g.
Schöpp, Ulrich
core +2 more sources
Dynamic-Epistemic reasoning on distributed systems [PDF]
, 2007 We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located (but potentially mobile), interconnected agents witnessing a distributed computation.
Mardare, Radu
core