Sciweavers

7529 search results - page 1422 / 1506
» The Modula-3 Type System
Sort
View
BMCBI
2005
134views more  BMCBI 2005»
15 years 4 months ago
Inherited disorder phenotypes: controlled annotation and statistical analysis for knowledge mining from gene lists
Background: Analysis of inherited diseases and their associated phenotypes is of great importance to gain knowledge of underlying genetic interactions and could ultimately give cl...
Marco Masseroli, Osvaldo Galati, Mauro Manzotti, K...
JCC
2007
88views more  JCC 2007»
15 years 4 months ago
Recent advances in planar tetracoordinate carbon chemistry
: We summarize our contributions on the quest of new planar tetracoordinate carbon entities (new carbon molecules with exotic chemical structures and strange bonding schemes). We g...
Gabriel Merino, Miguel A. Méndez-Rojas, Alb...
AI
2004
Springer
15 years 4 months ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa
BMCBI
2004
323views more  BMCBI 2004»
15 years 4 months ago
Biochemical Network Stochastic Simulator (BioNetS): software for stochastic modeling of biochemical networks
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
David Adalsteinsson, David McMillen, Timothy C. El...
CCR
2004
116views more  CCR 2004»
15 years 4 months ago
An empirical study of "bogon" route advertisements
An important factor in the robustness of the interdomain routing system is whether the routers in autonomous systems (ASes) filter routes for "bogon" address space--i.e....
Nick Feamster, Jaeyeon Jung, Hari Balakrishnan
« Prev « First page 1422 / 1506 Last » Next »