Sciweavers

11561 search results - page 19 / 2313
» A Language for Biochemical Systems
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
13 years 10 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
CDC
2010
IEEE
106views Control Systems» more  CDC 2010»
13 years 3 months ago
Constructive synchronization of networked feedback systems
This paper is concerned with global asymptotic output synchronization in networks of identical feedback systems. Using an operator theoretic approach based on an incremental small ...
Abdullah Omar Hamadeh, Guy-Bart Stan, Jorge M. Gon...
TIT
2010
88views Education» more  TIT 2010»
13 years 3 months ago
Limits of performance of quantitative polymerase chain reaction systems
Abstract--Estimation of the DNA copy number in a given biological sample is an important problem in genomics. Quantitative polymerase chain reaction (qPCR) systems detect the targe...
Haris Vikalo, Babak Hassibi, Arjang Hassibi
JCB
2006
91views more  JCB 2006»
13 years 8 months ago
Reverse Engineering Discrete Dynamical Systems from Data Sets with Random Input Vectors
Recently a new algorithm for reverse engineering of biochemical networks was developed by Laubenbacher and Stigler. It is based on methods from computational algebra and finds mos...
Winfried Just
ACL
2012
11 years 11 months ago
FLOW: A First-Language-Oriented Writing Assistant System
Writing in English might be one of the most difficult tasks for EFL (English as a Foreign Language) learners. This paper presents FLOW, a writing assistance system. It is built ba...
Mei-hua Chen, Shih-Ting Huang, Hung-ting Hsieh, Ti...