Sciweavers

4029 search results - page 427 / 806
» Reconfigurable Systems in Education
Sort
View
179
Voted
ERCIMDL
2010
Springer
140views Education» more  ERCIMDL 2010»
15 years 5 months ago
Academic Publication Management with PUMA - Collect, Organize and Share Publications
The PUMA project fosters the Open Access movement und aims at a better support of the researcher's publication work. PUMA stands for an integrated solution, where the upload o...
Dominik Benz, Andreas Hotho, Robert Jäschke, ...
CORR
2009
Springer
67views Education» more  CORR 2009»
15 years 5 months ago
On Measuring Non-Recursive Trade-Offs
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g...
Hermann Gruber, Markus Holzer, Martin Kutrib
CORR
2010
Springer
103views Education» more  CORR 2010»
15 years 5 months ago
On the Queueing Behavior of Random Codes over a Gilbert-Elliot Erasure Channel
This paper considers the queueing performance of a system that transmits coded data over a time-varying erasure channel. In our model, the queue length and channel state together f...
Parimal Parag, Jean-François Chamberland, H...
CORR
2010
Springer
115views Education» more  CORR 2010»
15 years 4 months ago
Argudas: arguing with gene expression information
Abstract. In situ hybridisation gene expression information helps biologists identify where a gene is expressed. However, the databases that republish the experimental information ...
Kenneth McLeod, Gus Ferguson, Albert Burger
CORR
2011
Springer
216views Education» more  CORR 2011»
15 years 2 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot