Sciweavers

1283 search results - page 30 / 257
» Science: the rules of the game
Sort
View
IIE
2008
97views more  IIE 2008»
14 years 9 months ago
Mathematical Logic and Deduction in Computer Science Education
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
Hashim Habiballa, Tibor Kmet

Lecture Notes
1759views
16 years 8 months ago
Single-Person and Multi-Person Decision Theory
These lecture notes cover several topics such as Abstract Preferences and Choices, A Choice Structure Approach to Consumer Demand, A Preference Based Approach to Consumer Demand P...
Max Stinchcombe
ERSHOV
2003
Springer
15 years 2 months ago
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
Henrik Björklund, Sven Sandberg, Sergei G. Vo...
RULEML
2005
Springer
15 years 3 months ago
Enabling Semantic Web Inferencing with Oracle Technology: Applications in Life Sciences
The Semantic Web has reached a level of maturity that allows RDF and OWL to be adopted by commercial software vendors. Products that incorporate these standards are being used to h...
Susie Stephens
CSCW
2007
ACM
14 years 9 months ago
Let's Get Physical! In, Out and Around the Gaming Circle of Physical Gaming at Home
Physical gaming is a genre of computer games that has recently been made available for the home. But what does it mean to bring games home that were originally designed for play in...
Allison Sall, Rebecca E. Grinter