Sciweavers

5608 search results - page 162 / 1122
» On the Theory of Matchgate Computations
Sort
View
CORR
2010
Springer
156views Education» more  CORR 2010»
15 years 1 months ago
On CSP and the Algebraic Theory of Effects
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
Rob J. van Glabbeek, Gordon D. Plotkin
APN
2007
Springer
15 years 8 months ago
Petri Nets, Discrete Physics, and Distributed Quantum Computation
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
Samson Abramsky
GECCO
2003
Springer
15 years 7 months ago
Effective Use of Directional Information in Multi-objective Evolutionary Computation
While genetically inspired approaches to multi-objective optimization have many advantages over conventional approaches, they do not explicitly exploit directional/gradient informa...
Martin Brown, Robert E. Smith
KR
1991
Springer
15 years 5 months ago
Modal Nonmonotonic Logics: Ranges, Characterization, Computation
In the paper, we investigate the way in which nonmonotonic modal logics depend on their underlying monotonic modal logics. Most notably, we study when different monotonic modal l...
V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Trus...
92
Voted
BEHAVIOURIT
2007
91views more  BEHAVIOURIT 2007»
15 years 1 months ago
Reality is our laboratory: communities of practice in applied computer science
This paper presents a longitudinal study of the course ‘High-tech Entrepreneurship and New Media’. The course design is based on socio-cultural theories of learning and consid...
Markus Rohde, Ralf Klamma, Matthias Jarke, Volker ...