Sciweavers

4622 search results - page 132 / 925
» Foundations of Information Theory
Sort
View
MFCS
2010
Springer
15 years 5 months ago
Resource Combinatory Algebras
Abstract. We initiate a purely algebraic study of Ehrhard and Regnier’s resource λ-calculus, by introducing three equational classes of algebras: resource combinatory algebras, ...
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
SYNTHESE
2010
70views more  SYNTHESE 2010»
15 years 1 months ago
Models and fiction
Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In...
Roman Frigg
MKM
2009
Springer
16 years 1 months ago
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...
Aleks Kissinger
ICEIS
2005
IEEE
16 years 4 days ago
Narrative Support for Technical Documents: Formalising Rhetorical Structure Theory
: Business Process Re-engineering (BPR) is an area that requires a lot of technical documents and an important feature of a well-written document is a coherent narrative. Even thou...
Nishadi De Silva, Peter Henderson
ISIPTA
1999
IEEE
117views Mathematics» more  ISIPTA 1999»
15 years 10 months ago
Towards a Unified Theory of Imprecise Probability
Belief functions, possibility measures and Choquet capacities of order 2, which are special kinds of coherent upper or lower probability, are amongst the most popular mathematical...
Peter Walley