Sciweavers

13977 search results - page 2344 / 2796
» Evolution in complex systems
Sort
View
CONCUR
2007
Springer
16 years 1 months ago
Causal Message Sequence Charts
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
Thomas Gazagnaire, Blaise Genest, Loïc H&eacu...
CSL
2007
Springer
16 years 1 months ago
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
Alexander Hertel, Alasdair Urquhart
DNA
2007
Springer
159views Bioinformatics» more  DNA 2007»
16 years 1 months ago
Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
Urmi Majumder, Thomas H. LaBean, John H. Reif
ECTEL
2007
Springer
16 years 1 months ago
LOCO-Analyst: A Tool for Raising Teachers' Awareness in Online Learning Environments
The paper presents LOCO-Analyst, an educational tool for providing teachers with feedback on the relevant aspects of the learning process taking place in a web-based learning envir...
Jelena Jovanovic, Dragan Gasevic, Christopher A. B...
ECTEL
2007
Springer
16 years 1 months ago
Smart Indicators on Learning Interactions
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
Christian Glahn, Marcus Specht, Rob Koper
« Prev « First page 2344 / 2796 Last » Next »