4460 search results - page 756 / 892 » Formal methods for interactive systems |
120
click to vote
IQ
2000
15 years 5 months ago
2000
Communication is an essential and necessary aspect of professional work in science and business. Besides the traditional face to face communication more and more face-file-face co...
133
Voted
BIB
2007
15 years 3 months ago
2007
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
144
Voted
BIODATAMINING
2008
15 years 3 months ago
2008
The analysis and interpretation of relationships between biological molecules, networks and concepts is becoming a major bottleneck in systems biology. Very often the pure amount ...
141
click to vote
IJVR
2008
15 years 3 months ago
2008
This paper presents an analysis of how and why a new generation of virtual reality peripherals affect virtual reality in general, and its uses for education in particular. We descr...
125
click to vote
IJBRA
2006
15 years 3 months ago
2006
: Many diseases, especially solid tumors, involve the disruption or deregulation of cellular processes. Most current work using gene expression and other high-throughput data, simp...