BIRTHDAY 2006 | Sciweavers

11

BIRTHDAY
2006
Springer

88views Applied Computing» more BIRTHDAY 2006»

13 years 8 months ago

The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...

Carlos Caleiro, Paulo Mateus, Amílcar Serna...

claim paper

Read More »

12

click to vote

BIRTHDAY
2006
Springer

106views Applied Computing» more BIRTHDAY 2006»

Completion Is an Instance of Abstract Canonical System Inference

13 years 8 months ago

Download www.loria.fr

Guillaume Burel, Claude Kirchner

claim paper

Read More »

14

click to vote

BIRTHDAY
2006
Springer

122views Applied Computing» more BIRTHDAY 2006»

Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity

13 years 8 months ago

Download musicweb.ucsd.edu

This essay draws on participant observation, ethnographic interviews, phenomenological inquiry, and recent insights from the study of swarm intelligence and complex networks to ill...

David Borgo

claim paper

Read More »

12

click to vote

BIRTHDAY
2006
Springer

73views Applied Computing» more BIRTHDAY 2006»

Proving Behavioral Refinements of COL-specifications

13 years 8 months ago

Download www.lsv.ens-cachan.fr

The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...

Michel Bidoit, Rolf Hennicker

claim paper

Read More »

9

click to vote

BIRTHDAY
2006
Springer

151views Applied Computing» more BIRTHDAY 2006»

Elementary Algebraic Specifications of the Rational Complex Numbers

13 years 8 months ago

Download www.cs.swan.ac.uk

Jan A. Bergstra, John V. Tucker

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers