Sciweavers

1615 search results - page 98 / 323
» Computer science and decision theory
Sort
View
ENTCS
2006
101views more  ENTCS 2006»
15 years 4 months ago
Towards "Dynamic Domains": Totally Continuous Cocomplete Q-categories
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
Isar Stubbe
IJAC
2010
231views more  IJAC 2010»
15 years 1 months ago
Descriptive Complexity of Finite Abelian Groups
Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...
Walid Gomaa
JSW
2007
126views more  JSW 2007»
15 years 3 months ago
On Remote and Virtual Experiments in eLearning
— The science of physics is based on theories and models as well as experiments: the former structure relations and simplify reality to a degree such that predictions on physical...
Sabina Jeschke, Harald Scheel, Thomas Richter, Chr...
CALCO
2009
Springer
133views Mathematics» more  CALCO 2009»
15 years 10 months ago
Stone Duality and the Recognisable Languages over an Algebra
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
Mai Gehrke
IJVR
2008
130views more  IJVR 2008»
15 years 4 months ago
An Example of Virtual Environment and Web-based Application in Learning
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
Mohamed Hamada