Sciweavers

377 search results - page 12 / 76
» Advanced Microeconomic Theory
Sort
View
QEST
2007
IEEE
14 years 1 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
DBPL
2007
Springer
115views Database» more  DBPL 2007»
14 years 1 months ago
XML Publishing: Bridging Theory and Practice
Transforming relational data into XML, as known as XML publishing, is often necessary when one wants to exchange data residing in databases or to create an XML interface of a tradi...
Wenfei Fan
ECOOP
2003
Springer
14 years 21 days ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
IADIS
2004
13 years 9 months ago
Implementing Cognitive Modellig in CS Education: Aligning Theory and Practice of Learning to Program
It can be argued that although computer science may seem one of the best researched areas, it could also be one of the worst taught. In this research we examine the residual probl...
Des Traynor, J. Gibson
BC
2005
64views more  BC 2005»
13 years 7 months ago
Waves, bumps, and patterns in neural field theories
Neural field models of firing rate activity have had a major impact in helping to develop an understanding of the dynamics seen in brain slice preparations. These models typically...
Stephen Coombes