Sciweavers

10910 search results - page 176 / 2182
» Input modeling using a computer algebra system
Sort
View
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
14 years 10 months ago
A mathematical framework for the control of piecewise-affine models of gene networks
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
Etienne Farcot, Jean-Luc Gouzé
109
Voted
BMCBI
2007
159views more  BMCBI 2007»
14 years 10 months ago
Computational genes: a tool for molecular diagnosis and therapy of aberrant mutational phenotype
Background: A finite state machine manipulating information-carrying DNA strands can be used to perform autonomous molecular-scale computations at the cellular level. Results: We ...
Israel Mark Martínez-Pérez, Gong Zha...
ENTCS
2010
133views more  ENTCS 2010»
14 years 10 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
86
Voted
WISE
2009
Springer
15 years 7 months ago
Finding Comparative Facts and Aspects for Judging the Credibility of Uncertain Facts
Users often encounter unreliable information on the Web, but there is no system to check the credibility easily and efficiently. In this paper, we propose a system to search useful...
Yusuke Yamamoto, Katsumi Tanaka
SIGCSE
1992
ACM
178views Education» more  SIGCSE 1992»
15 years 2 months ago
A graphical computer simulator for systems programming courses
on through abstract instructions which approximate, but do not duplicate, the behavior of actual machines. Because they are designed for use in a variety of educational settings, C...
Mark Newsome, Cherri M. Pancake