Sciweavers

1435 search results - page 281 / 287
» CASE Support and Model-Based Development
Sort
View
BMCBI
2008
121views more  BMCBI 2008»
13 years 8 months ago
Modularization of biochemical networks based on classification of Petri net t-invariants
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
Eva Grafahrend-Belau, Falk Schreiber, Monika Heine...
BMCBI
2007
95views more  BMCBI 2007»
13 years 8 months ago
Phylogenetic tree information aids supervised learning for predicting protein-protein interaction based on distance matrices
Background: Protein-protein interactions are critical for cellular functions. Recently developed computational approaches for predicting protein-protein interactions utilize co-ev...
Roger A. Craig, Li Liao
CGF
2010
146views more  CGF 2010»
13 years 8 months ago
Pathline: A Tool For Comparative Functional Genomics
Biologists pioneering the new field of comparative functional genomics attempt to infer the mechanisms of gene regulation by looking for similarities and differences of gene activ...
Miriah D. Meyer, Bang Wong, Mark P. Styczynski, Ta...
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 8 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer
DA
2010
141views more  DA 2010»
13 years 8 months ago
Optimal Static Hedging of Volumetric Risk in a Competitive Wholesale Electricity Market
In competitive wholesale electricity markets, regulated load serving entities (LSEs) and marketers with default service contracts have obligations to serve fluctuating load at pre...
Yumi Oum, Shmuel S. Oren