Results 1 to 10 of about 493,809 (298)

Tarski's influence on computer science [PDF]

open access: yesLogical Methods in Computer Science, 2006
The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of ...
Prakash Panangaden, Solomon Feferman
core   +3 more sources

Bisimulation, Logic and Reachability Analysis for Markovian Systems [PDF]

open access: yes, 2008
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verification is called stochastic reachability analysis, while in computer science ...
Bujorianu, L.M., Bujorianu, M.C.
core   +11 more sources

Immersive learning research [PDF]

open access: yes, 2018
Editorial. Material for the special issue "Immersive Learning Research" of the Journal of Universal Computer Science.Welcome to the Journal of Universal Computer Science (J.UCS) special issue organized by the Immersive Learning Research Network (iLRN ...
Allison, Colin   +3 more
core   +2 more sources

Full abstraction for fair testing in CCS [PDF]

open access: yes, 2013
In previous work with Pous, we defined a semantics for CCS which may both be viewed as an innocent presheaf semantics and as a concurrent game semantics. It is here proved that a behavioural equivalence induced by this semantics on CCS processes is fully
B. Ahrens   +10 more
core   +4 more sources

Modal logics are coalgebraic [PDF]

open access: yes, 2008
Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Cirstea, Corina   +4 more
core   +5 more sources

Metadata Augmentation for Semantic- and Context- Based Retrieval of Digital Cultural Objects [PDF]

open access: yes, 2007
Cultural objects are increasingly stored and generated in digital form, yet effective methods for their indexing and retrieval still remain an open area of research.
Pham, Binh, Smith, Robert
core   +2 more sources

A Hierarchy of Quantum Semantics [PDF]

open access: yes, 2007
Several domains [S. Abramsky. A Cook's tour of a simple quantum programming language. 3rd International Symposium on Domain Theory, Xi'an, China, May 2004; B. Coecke and K. Martin. A partial order on classical and quantum states. Technical report, PRG-RR-
Perdrix, Simon
core   +3 more sources

TOR: modular search with hookable disjunction [PDF]

open access: yes, 2014
Horn Clause Programs have a natural exhaustive depth-first procedural semantics. However, for many programs this semantics is ineffective. In order to compute useful solutions, one needs the ability to modify the search method that explores the ...
Demoen, Bart   +3 more
core   +1 more source

Semantics out of context: nominal absolute denotations for first-order logic and computation

open access: yes, 2016
Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core   +1 more source

A functional quantum programming language

open access: yes, 2004
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations, which provides
Altenkirch, Thorsten, Grattage, Jonathan
core   +8 more sources

Home - About - Disclaimer - Privacy