Sciweavers

3058 search results - page 267 / 612
» Reflections on
Sort
View
APAL
2010
111views more  APAL 2010»
15 years 4 months ago
Resource modalities in tensor logic
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
Paul-André Melliès, Nicolas Tabareau
BEHAVIOURIT
2007
91views more  BEHAVIOURIT 2007»
15 years 4 months ago
Reality is our laboratory: communities of practice in applied computer science
This paper presents a longitudinal study of the course ‘High-tech Entrepreneurship and New Media’. The course design is based on socio-cultural theories of learning and consid...
Markus Rohde, Ralf Klamma, Matthias Jarke, Volker ...
BIB
2007
99views more  BIB 2007»
15 years 4 months ago
Towards a calculus of biomolecular complexes at equilibrium
An overview is presented of the construction and use of algebraic partition functions to represent the equilibrium statistical mechanics of multimolecular complexes and their acti...
Eric Mjolsness
BIOSYSTEMS
2008
75views more  BIOSYSTEMS 2008»
15 years 4 months ago
Using matrix of thresholding partial correlation coefficients to infer regulatory network
DNA arrays measure the expression levels for thousands of genes simultaneously under different conditions. These measurements reflect many aspects of the underlying biological pro...
Lide Han, Jun Zhu
CGF
2008
89views more  CGF 2008»
15 years 4 months ago
Enhancement of Bright Video Features for HDR Displays
To utilize the full potential of new high dynamic range (HDR) displays, a system for the enhancement of bright luminous objects in video sequences is proposed. The system classifi...
Piotr Didyk, Rafal Mantiuk, Matthias Hein, Hans-Pe...