Sciweavers

1648 search results - page 274 / 330
» Structuring namespace descriptions
Sort
View
BMCBI
2008
119views more  BMCBI 2008»
15 years 3 months ago
On deducing causality in metabolic networks
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
Chiara Bodei, Andrea Bracciali, Davide Chiarugi
124
Voted
CAGD
2008
292views more  CAGD 2008»
15 years 3 months ago
Rotations, translations and symmetry detection for complexified curves
A plane algebraic curve can be represented as the zero-set of a polynomial in two - or if one takes homogenous coordinates: three - variables. The coefficients of the polynomial de...
Peter Lebmeir, Jürgen Richter-Gebert
CII
2008
100views more  CII 2008»
15 years 3 months ago
Knowledge formalization in experience feedback processes: An ontology-based approach
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...
Bernard Kamsu Foguem, Thierry Coudert, C. Bé...
117
Voted
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 3 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 3 months ago
Silicon on Nothing Mems Electromechanical Resonator
The very significant growth of the wireless communication industry has spawned tremendous interest in the development of high performances radio frequencies (RF) components. Micro...
Cedric Durand, Fabrice Casset, Pacal Ancey, Fabien...