Sciweavers

1922 search results - page 34 / 385
» Systems biology, models, and concurrency
Sort
View
TCS
2008
15 years 1 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires
BMCBI
2008
166views more  BMCBI 2008»
15 years 2 months ago
Biclustering via optimal re-ordering of data matrices in systems biology: rigorous methods and comparative studies
Background: The analysis of large-scale data sets via clustering techniques is utilized in a number of applications. Biclustering in particular has emerged as an important problem...
Peter A. DiMaggio Jr., Scott R. McAllister, Christ...
CONSTRAINTS
2008
121views more  CONSTRAINTS 2008»
15 years 2 months ago
Modeling Biological Networks by Action Languages via Answer Set Programming
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...
Steve Dworschak, Susanne Grell, Victoria J. Nikifo...
121
Voted
TCS
2011
14 years 8 months ago
Parameter estimation for Boolean models of biological networks
Boolean networks have long been used as models of molecular networks and play an increasingly important role in systems biology. This paper describes a software package, offered ...
Elena S. Dimitrova, Luis David García-Puent...
CAV
2012
Springer
241views Hardware» more  CAV 2012»
13 years 4 months ago
Bma: Visual Tool for Modeling and Analyzing Biological Networks
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
David Benque, Sam Bourton, Caitlin Cockerton, Byro...