Sciweavers

6409 search results - page 905 / 1282
» A Computational Algorithm for Origami Design
Sort
View
152
Voted
AVI
2006
15 years 5 months ago
NAVRNA: visualization - exploration - editing of RNA
In this paper we describe NAVRNA, an interactive system that enables biologists or researchers in bioinformatics to visualize, explore and edit RNA molecules. The key characterist...
Gilles Bailly, Laurence Nigay, David Auber
DIMACS
1996
15 years 5 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
GECCO
2008
Springer
179views Optimization» more  GECCO 2008»
15 years 5 months ago
Evolution of discrete gene regulatory models
Gene regulatory networks (GRNs) are complex control systems that govern the interaction of genes, which ultimately control cellular processes at the protein level. GRNs can be ted...
Afshin Esmaeili, Christian Jacob
GECON
2008
Springer
152views Business» more  GECON 2008»
15 years 5 months ago
The Power of Preemption in Economic Online Markets
Abstract. In distributed computer networks where resources are under decentralized control, selfish users will generally not work towards one common goal, such as maximizing the o...
Lior Amar, Ahuva Mu'alem, Jochen Stößer
GIS
2008
ACM
15 years 5 months ago
Snapshot location-based query processing on moving objects in road networks
Location-based services are increasingly popular and it is a key challenge to efficiently support query processing. We present a novel design to process large numbers of location...
Haojun Wang, Roger Zimmermann