8874 search results - page 1565 / 1775 » A New Implementation of Automath |
226
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
Networks continue to change to support new applications, improve reliability and performance and reduce the operational cost. The changes are made to the network in the form of up...
234
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
Abstract— We consider dynamic output feedback practical stabilization of uniformly observable nonlinear systems, based on high-gain observers with saturation. We assume that unce...
249
click to vote
BIOINFORMATICS
2008
15 years 7 months ago
2008
Background: A common approach to understanding the genetic basis of complex traits is through identification of associated quantitative trait loci (QTL). Fine mapping QTLs require...
218
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Overlapping genes (OGs) are defined as adjacent genes whose coding sequences overlap partially or entirely. In fact, they are ubiquitous in microbial genomes and more ...
219
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...