Sciweavers

840 search results - page 84 / 168
» Open multi-methods for c
Sort
View
116
Voted
MCSS
2008
Springer
15 years 3 months ago
Robust boundary control of systems of conservation laws
The stability problem of a system of conservation laws perturbed by non-homogeneous terms is investigated. These non-homogeneous terms are assumed to have a small C1 -norm. By a Ri...
Christophe Prieur, Joseph J. Winkin, Georges Basti...
BMCBI
2005
70views more  BMCBI 2005»
15 years 3 months ago
Integrating alternative splicing detection into gene prediction
Background: Alternative splicing (AS) is now considered as a major actor in transcriptome/ proteome diversity and it cannot be neglected in the annotation process of a new genome....
Sylvain Foissac, Thomas Schiex
JUCS
2007
108views more  JUCS 2007»
15 years 3 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
EC
1998
112views ECommerce» more  EC 1998»
15 years 3 months ago
DNA Computation: Theory, Practice, and Prospects
L. M. Adleman launched the field of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also...
Carlo C. Maley
NAR
2002
141views more  NAR 2002»
15 years 3 months ago
Co-expression pattern from DNA microarray experiments as a tool for operon prediction
The prediction of operons, the smallest unit of transcription in prokaryotes, is the first step towards reconstruction of a regulatory network at the whole genome level. Sequence ...
Chiara Sabatti, Lars Rohlin, Min-Kyu Oh, James C. ...