Sciweavers

1411 search results - page 206 / 283
» Interactive Coding for Interactive Proofs
Sort
View
BMCBI
2010
167views more  BMCBI 2010»
14 years 10 months ago
BisoGenet: a new tool for gene network building, visualization and analysis
Background: The increasing availability and diversity of omics data in the post-genomic era offers new perspectives in most areas of biomedical research. Graph-based biological ne...
Alexander Martin, Maria Elena Ochagavia, Laya C. R...
DEBU
2008
100views more  DEBU 2008»
14 years 10 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
BMCBI
2007
215views more  BMCBI 2007»
14 years 9 months ago
Learning causal networks from systems biology time course data: an effective model selection procedure for the vector autoregres
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...
Rainer Opgen-Rhein, Korbinian Strimmer
TVCG
2011
144views more  TVCG 2011»
14 years 4 months ago
An Immersive Virtual Peer for Studying Social Influences on Child Cyclists' Road-Crossing Behavior
—The goal of our work is to develop a programmatically controlled peer to bicycle with a human subject for the purpose of studying how social interactions influence road-crossing...
Sabarish Babu, Timofey Grechkin, Benjamin Chihak, ...
WWW
2005
ACM
15 years 10 months ago
Using XForms to simplify Web programming
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
Richard Cardone, Danny Soroker, Alpana Tiwari