Result page:
1
2
3
4
5
6
7
8
9
10
>>
1
January 2008
POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 5, Downloads (12 Months): 11, Downloads (Overall): 352
Full text available:
PDF
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will likely differ from the all familiar styles deployed with great success in the physical sciences. Molecular systems at the basis of cellular decision processes ...
Keywords:
kappa, models, systems biology
Also published in:
January 2008
ACM SIGPLAN Notices - POPL '08: Volume 43 Issue 1, January 2008
CCS:
Systems biology
Keywords:
systems biology
Abstract:
... in the representation, storage, manipulation, and communication of knowledge in systems biology. . Models capable of fulfilling such a role will likely ...
Primary CCS:
Systems biology
Title:
Systems biology, models, and concurrency
Full Text:
Systems Biology, , Models, and Concurrency?Walter FontanaDepartment of Systems Biology, , Harvard Medical School, 200 Longwood Avenue, Boston MA 02115, ... [Life and medical sci-ences]: Biology and geneticsGeneral Terms Experimentation, LanguagesKeywords systems biology, , models, concurrency, KappaSummaryIn the past decades, molecular biology and ...
2
December 2010
ACM Transactions on Intelligent Systems and Technology (TIST): Volume 1 Issue 2, November 2010
Publisher: ACM
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 4, Downloads (12 Months): 18, Downloads (Overall): 286
Full text available:
PDF
Modeling the dynamics of biological processes has recently become an important research topic in computational biology and systems engineering. One of the most important reasons to model a biological process is to enable high-throughput in-silico experiments that attempt to predict or intervene in the process. These experiments can help accelerate ...
Keywords:
Planning, search, systems biology
CCS:
Systems biology
Keywords:
systems biology
Primary CCS:
Systems biology
References:
Furber, J. D. 2010. Systems biology of human aging: Network model of biochemical and physiological interactions in human senescence. http://www.legendarypharma.com/chartbg.html
Full Text:
... generationGeneral Terms: Algorithms, Experimentation, PerformanceAdditional Key Words and Phrases: Planning, systems biology, , searchACM Reference Format:Bryce, D., Verdicchio, M., and Kim, S. ... systems, especially gene regulatory systems, has been thecrux of computational systems biology and biomedical science in general. Oncea model is constructed, it ...
... for reaching any state in the destination basin.Aging networks. The systems biology of human aging is a complex, quanti-tative process. Many theories ...
... analyzeexpression data. J. Comput. Biol. 7, 601?620.FURBER, J. D. 2010. Systems biology of human aging: Network model of biochemical and physi-ological interactions ...
3
July 2006
GECCO '06: Proceedings of the 8th annual conference on Genetic and evolutionary computation
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 4, Downloads (12 Months): 7, Downloads (Overall): 15,479
Full text available:
PDF
In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different mathematical models on the inference problem. They are used to model the underlying dynamic system of artificial regulatory networks. The dynamics of the ...
Keywords:
systems biology, evolutionary computation, inference
CCS:
Systems biology
Keywords:
systems biology
4
July 2006
GECCO '06: Proceedings of the 8th annual conference on Genetic and evolutionary computation
Publisher: ACM
Bibliometrics:
Citation Count: 7
Downloads (6 Weeks): 4, Downloads (12 Months): 8, Downloads (Overall): 283
Full text available:
PDF
In this paper, we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different evolutionary algorithms on the inference problem. These algorithms are used to evolve an underlying quantitative mathematical model. The dynamics of the regulatory system ...
Keywords:
systems biology, evolutionary computation, inference
CCS:
Systems biology
Keywords:
systems biology
5
November 2006
TMBIO '06: Proceedings of the 1st international workshop on Text mining in bioinformatics
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 5, Downloads (12 Months): 6, Downloads (Overall): 298
Full text available:
PDF
As systems biology has begun to draw growing attention, bio-network inference and analysis have become more and more important. Though there have been many efforts for bio-network inference, they are still far from practical applications due to too many false inferences and lack of comprehensible interpretation in the biological viewpoints. ...
Keywords:
network inference, information fusion, systems biology
CCS:
Systems biology
Keywords:
systems biology
Abstract:
As systems biology has begun to draw growing attention, bio-network inference and analysis ...
Primary CCS:
Systems biology
References:
Hucka, M., Finney, A., Sauro, H., M., Bolouri, H., Doyle, J., and Kitano, H. The ERATO Systems Biology Workbench: Enabling Interaction and Exchange between Software Tools for Computational Biology. In Proceedings of the Pacific Biocomputing Symposium 2002
Full Text:
... Yuseong-Gu Daejeon, 305-701, Republic of Korea +82-42-869-4356 yhkim@biosoft.kaist.ac.kr ABSTRACT As systems biology has begun to draw growing attention, bio-network inference and analysis ... ? Biology and genetics General Terms Management, Design, Standardization. Keywords Systems Biology, , Information Fusion, Network Inference 1. INTRODUCTION Understanding internal networks ...
... enables one to assay microarray data and annotate inferred networks. Systems Biology Workbench (SBW) [20] also tries to connect various tools for ...
... M., Bolouri, H., Doyle, J., and Kitano, H. The ERATO Systems Biology Workbench: Enabling Interaction and Exchange between Software Tools for Computational ...
6
June 2005
GECCO '05: Proceedings of the 7th annual conference on Genetic and evolutionary computation
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 1, Downloads (12 Months): 1, Downloads (Overall): 121
Full text available:
PDF
In this paper, we address the problem of finding gene regulatory networks from experimental DNA microarray data. The problem often is multi-modal and therefore appropriate optimization strategies become necessary. We propose to use a clustering based niching evolutionary algorithm to maintain diversity in the optimization population to prevent premature convergence ...
Keywords:
evolutionary algorithm, systems biology, gene regulation, inference
CCS:
Systems biology
Keywords:
systems biology
Primary CCS:
Systems biology
Full Text:
... Descriptors: J.3 [LIFE ANDMEDICAL SCIENCES]: Biology and geneticsGeneral Terms: Algorithms.Keywords: Systems Biology, , Gene Regulation, Inference,Evolutionary Algorithm.1. INTRODUCTIONThe construction of a network ...
7
March 2011
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB): Volume 8 Issue 2, March 2011
Publisher: IEEE Computer Society Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1, Downloads (12 Months): 4, Downloads (Overall): 121
Full text available:
PDF
Computational systems biology is largely driven by mathematical modeling and simulation of biochemical networks, via continuous deterministic methods or discrete event stochastic methods. Although the deterministic methods are efficient in predicting the macroscopic behavior of a biochemical system, they are severely limited by their inability to represent the stochastic effects ...
Keywords:
Systems biology, stochastic simulation, deterministic, biochemical networks.
CCS:
Systems biology
Keywords:
Systems biology, stochastic simulation, deterministic, biochemical networks.
Abstract:
Computational systems biology is largely driven by mathematical modeling and simulation of biochemical ... to a concentration gradient makes this method particularly attractive for systems biology-
Primary CCS:
Systems biology
References:
H. Kitano, "Computational Systems Biology," Nature, vol. 420, pp. 206-210, Nov. 2002.
H. Kitano, "Systems Biology: A Brief Overview," Science, vol. 295, pp. 1662-1664, Mar. 2002.
D.J. Wilkinson, Stochastic Modelling for Systems Biology. Chapman and Hall/CRC Press, 2006.
Q. Zhang, S. Bhattacharya, D.E. Kline, R.B. Crawford, R.B. Conolly, R.S. Thomas, N.E. Kaminski, and M.E. Anderson, "Stochastic Modeling of B Lymphocyte Terminal Differentiation and Its Suppression by Dioxin," BMC Systems Biology, vol. 4:40, pp. 1-18, Apr. 2010.
Full Text:
... Simulating the Dynamicsof Biochemical SystemsAmit Sabnis and Robert W. HarrisonAbstract?Computational systems biology is largely driven by mathematical modeling and simulation of biochemical ... to a concentration gradient makes this method particularly attractive for systems biology- -based applications.Index Terms?Systems biology, , stochastic simulation, deterministic, biochemical networks. 1 INTRODUCTIONSYSTEMS-LEVEL investigation of biological ...
... is a Georgia Cancer CoalitionDistinguished Cancer Scholar).REFERENCES[1] H. Kitano, ?Computational Systems Biology, ,? Nature, vol. 420,pp. 206-210, Nov. 2002.[2] H. Kitano, ?Systems Biology: : A Brief Overview,? Science, vol. 295,pp. 1662-1664, Mar. 2002.[3] ...
... 122, pp. 54-103, Jan. 2005.[7] D.J. Wilkinson,, Stochastic Modelling for Systems Biology. . Chapmanand Hall/CRC Press, 2006.[8] S. Ramsey, D. Orrell, and ... of B Lymphocyte Terminal Differentiationand Its Suppression by Dioxin,? BMC Systems Biology, , vol. 4:40,pp. 1-18, Apr. 2010.[10] A. Sabnis and R.W. ...
8
July 2011
GECCO '11: Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 3, Downloads (12 Months): 13, Downloads (Overall): 151
Full text available:
PDF
The ultimate goal of systems biology is the development of executable in silico models of cells and organisms. Systems biology attempts to provide an integrative methodology, which while able to cope with -on the one hand- the data deluge that is being generated through high throughput experimental technologies -and on ...
Keywords:
p systems, algorithmic systems biology, infobiotics, systems biology, executable biology, synthetic biology
CCS:
Systems biology
Keywords:
algorithmic systems biology
systems biology
Abstract:
<p>The ultimate goal of systems biology is the development of executable in silico models of cells ... development of executable in silico models of cells and organisms. Systems biology attempts to provide an integrative methodology, which while able to ... and simulations novel biological knowledge.</p> <p>In its more modest instantiations, Systems Biology seeks to *clarify* current biological understandings by formalizing what the ...
Primary CCS:
Systems biology
Full Text:
... held by the author/owner(s).GECCO?11, July 12?16, 2011, Dublin, ACM 978-1-4503-0690-4/11/07.OutlineOutlineOutline?Essential Systems Biology? ?Synthetic Biology?Computational Modeling for Systems/Synthetic Biology?A Note on Ethical, Social ... Far FutureThe Far FutureThe Far FutureChells & The Cellularity ScaleOutlineOutlineOutline?Essential Systems Biology? ?Synthetic Biology?Computational Modeling for Synthetic Biology?A Note on Ethical, Social ... on Ethical, Social and Legal Issues?Conclusions1161Essential Systems BiologyEssential Systems BiologyEssential Systems Biology? ?The following slides are based on U. Alon?s papers & ... U. Alon?s papers & excellent introductory text book:?An Introduction to Systems Biology: : Design Principles of Biological Circuits??Also, you may want to ...
... in complex systems.?Provide a route to engineering & programming cells.OutlineOutlineOutline?Essential Systems Biology? ?Synthetic Biology ?Computational Modeling for Synthetic Biology?A Note on Ethical, ... to design, program, optimise & control (new) biological systemsSynthetic & Systems Biology: : Sisters DisciplinesSynthetic & Systems Biology: : Synthetic & Systems Biology: : Sisters DisciplinesSisters Disciplines20Top-Down Synthetic Biology: An Approach to Engineering ...
... novel genetic sequential logic circuit: a push-on push-off switch, Molecular Systems Biology 6; Article number 3501168Example III: Push-on/Push-off circuitExample III: PushExample III: ... novel genetic sequential logic circuit: a push-on push-off switch, Molecular Systems Biology 6; Article number 350? Two different bacterial strains carrying specific ... MIT Registry of Standard PartsThe MIT Registry of Standard Partshttp://partsregistry.org/Main_Page1169OutlineOutlineOutline?Essential Systems Biology? ?Synthetic Biology ?Computational Modeling for Synthetic Biology?A Note on Ethical, ... is potentially a distinction between modeling for Synthetic Biology vs Systems Biology: :?Systems Biology is concerned with Biology as it is?Synthetic Biology is concerned ... making bothmore reliableModel DevelopmentModel DevelopmentModel DevelopmentFrom [E. Klipp et al, Systems Biology in Practice, 2005]:1) Formulation of the problem2) Verification of available ...
... King, and N. Krasnogor. Stochastic and deterministic multiscale models for systems biology: : an auxin-transport case study. BMC Systems Biology, , 4(:34), March 2010InfoBiotics Workbench and DashboardSpecificationDistributed and parallel rewritting ...
... Bennett, M. Gheorghe, and N. Krasnogor. Modular assembly of cell systems biology models using p systems. International Journal of Foundations of Computer ...
... Bennett, M. Gheorghe, and N. Krasnogor. Modular assembly of cell systems biology models using p systems. International Journal of Foundations of Computer ... low)Range of possible cross talk /leakiness between the various modules1184Outline?Essential Systems Biology? ?Synthetic Biology?Computational Modeling for Synthetic Biology?A Note on Ethical, Social ...
... only smarter, safer and Biology only smarter, safer and clearerclearerOutlineOutline?Essential Systems Biology? ?Synthetic Biology?Computational Modeling for Synthetic Biology?A Note on Ethical, Social ... M. Bennett, M. Gheorghe, and N.Krasnogor. Modular assembly of cell systems biology models using p systems. International Journal of Foundations of Computer ...
... Camara, and N. Krasnogor. Structure and parameter estimation for cell systems biology models. In Maarten Keijzer et.al, editor, Proceedings of the Genetic ...
9
January 2008
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB): Volume 5 Issue 1, January 2008
Publisher: IEEE Computer Society Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1, Downloads (12 Months): 2, Downloads (Overall): 154
Full text available:
PDF
A translation of SBML (Systems Biology Markup Language) into a process algebra is proposed in order to allow the formal specification, the simulation and the formal analysis of biological models. Beta-binders, a language with a quantitative stochastic extension, is chosen for the translation. The proposed translation focuses on the main ...
Keywords:
Process algebras, biological systems, modeling, Systems Biology Markup Language (SBML), translation tool, systems biology
CCS:
Systems biology
Keywords:
Process algebras, biological systems, modeling, Systems Biology Markup Language (SBML), translation tool, systems biology
Abstract:
A translation of SBML (Systems Biology Markup Language) into a process algebra is proposed in order ...
Primary CCS:
Systems biology
References:
H. Kitano, "Systems Biology: A Brief Overview," Science, vol. 295, no. 5560, pp. 1662-1664, 2002.
M. Calder, S. Gilmore, and J. Hillston, "Modeling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA," Proc. Computational Methods in Systems Biology (CMSB '04), 2004.
M. Hucka, A. Finney, B.J. Bornstein, S.M. Keating, B.E. Shapiro, J. Matthews, B.L. Kovitz, M.J. Schilstra, A. Funahashi, J.C. Doyle, and H. Kitano, "Evolving a Lingua Franca and Associated Software Infrastructure for Computational Systems Biology: The Systems Biology Markup Language (SBML) Project," Systems Biology, vol. 1, no. 1, June 2004.
N. Chabrier, F. Fages, and S. Soliman, "The Biochemical Abstract Machine BIOCHAM," Proc. Workshop Computational Methods in Systems Biology (CMSB '04), 2004.
C. Priami and P. Quaglia, "Beta Binders for Biological Interactions," Proc. Computational Methods in Systems Biology (CMSB '04), 2004.
F. Ciocchetta, C. Priami, and P. Quaglia, "Modeling Kohn Interaction Maps with Beta-Binders: An Example," Trans. Computational Systems Biology, vol. 3, pp. 33-48, 2005.
A. Finney and M. Hucka, "Systems Biology Markup Language (SBML) Level 2: Structures and Facilities for Model Definitions," http://sbml.org/documents/, 2003.
F. Ciocchetta and C. Priami, "Beta-Binders with Biological Trans.," Technical Report TR-10-2006, The Microsoft Research--Univ. of Trento Centre for Computational and Systems Biology, 2006.
Full Text:
... SBMLinto Beta-BindersFederica Ciocchetta, Corrado Priami, and Paola QuagliaAbstract?A translation of Systems Biology Markup Language (SBML) into a process algebra is proposed in ... a simple model is reported.Index Terms?Process algebras, biological systems, modeling, Systems Biology Markup Language (SBML), translation tool, systemsbiology. 1 INTRODUCTIONSYSTEMS biology is a ... studies have been carried out [9], [10].Another major challenge in systems biology is thedefinition of a standard for the collection and the ... is with The Microsoft Research?University of Trento, Centrefor Computational and Systems Biology, , Piazza Manci 17, I-38050 Povo(TN), Italy. E-mail: priami@dit.unitn.it.. P. ...
... is shown (Section 8). Finally, Section 9reports some final observations.2 SYSTEMS BIOLOGY MARKUP LANGUAGE (SBML)SBML is an XML-based format for the representation ...
... toward her PhDdegree at the University of Trento.REFERENCES[1] H. Kitano, ?Systems Biology: : A Brief Overview,? Science, vol. 295,no. 5560, pp. 1662-1664, ... Pathway Using the Stochastic ProcessAlgebra PEPA,? Proc. Computational Methods in Systems Biology( (CMSB ?04), 2004.[7] BIOSPI Project, http://www.wisdom.weizmann.ac.il/biospi/,June 2006.[8] A. Phillips, ?SPIM, ... Kitano, ?Evolving a Lingua Franca and AssociatedSoftware Infrastructure for Computational Systems Biology: : TheSystems Biology Markup Language (SBML) Project,? SystemsBiology, vol. 1, ...
... Quaglia, ?Beta Binders for Biological Interac-tions,? Proc. Computational Methods in Systems Biology (CMSB ?04),2004.[21] F. Ciocchetta, C. Priami, and P. Quaglia, ?Modeling ... Quaglia, ?Modeling KohnInteraction Maps with Beta-Binders: An Example,? Trans. Compu-tational Systems Biology, , vol. 3, pp. 33-48, 2005.[22] SBML Homepage, http://www.sbml.org/, Dec. ... SBML Homepage, http://www.sbml.org/, Dec. 2005.[23] A. Finney and M. Hucka, ?Systems Biology Markup Language(SBML) Level 2: Structures and Facilities for Model Definitions,?http://sbml.org/documents/, ... Report TR-10-2006, The Microsoft Research?Univ. ofTrento Centre for Computational and Systems Biology, , 2006.[28] C.V. Rao and A.P. Arkin, ?Stochastic Chemical Kinetics ... University ofEdinburgh. Her current research interests are inprocess calculi and systems biology. . Specifi-cally, she is interested in the application ofprocess algebras ...
... andorganizing committees. He coordinates national and internationalprojects on computational and systems biology, , formal methods, andsemantics. He published more than 120 papers ...
10
April 2014
HSCC '14: Proceedings of the 17th international conference on Hybrid systems: computation and control
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 4, Downloads (12 Months): 15, Downloads (Overall): 78
Full text available:
PDF
Real-time control has been recently applied to drive actual intracellular processes with unprecedented accuracy. Here we introduce the motivations for the development of these approaches and then present a platform for the real-time control of gene expression in yeast cells. We conclude by surveying related works and discussing possible future ...
Keywords:
yeast, computational biology, gene expression, systems biology, synthetic biology
CCS:
Systems biology
Keywords:
systems biology
Primary CCS:
Systems biology
References:
D. Del Vecchio, A. Ninfa, and E. Sontag. Modular cell biology: retroactivity and insulation. Molecular Systems Biology, 4:161, 2008.
Full Text:
... DescriptorsJ.3 [Computer Applications]: Life and Medical SciencesKeywordsComputational Biology, Gene Expression, Systems Biology, ,Synthetic Biology, Yeast1. MOTIVATIONThe application of control theory to systems biology isnot novel. However, until recently, control theory has beenmostly employed ... so far. This problemis of importance not only for the systems biology communitybut also for the synthetic biology community.In the ?rst case, ...
11
July 2012
GECCO '12: Proceedings of the 14th annual conference on Genetic and evolutionary computation
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 2, Downloads (12 Months): 52, Downloads (Overall): 227
Full text available:
PDF
The integrated analysis of data of different types and with various interdependencies is one of the major challenges in computational biology. Recently, we developed KeyPathwayMiner, a method that combines biological networks modeled as graphs with disease-specific genetic expression data gained from a set of cases (patients, cell lines, tissues, etc.). ...
Keywords:
ant colony optimization, epigenetics, gene expression, systems biology
CCS:
Systems biology
Keywords:
systems biology
Primary CCS:
Systems biology
Full Text:
... 2012, Philadelphia, Pennsylvania, USA.Copyright 2012 ACM 978-1-4503-1177-9/12/07 ...$10.00.KeywordsAnt Colony Optimization, Systems Biology, , Gene Expres-sion, Epigenetics1. INTRODUCTIONSince the introduction of the so-called ... give only one of many possible examples.Recent advances in large-scale systems biology wet lab ma-chinery provided us with huge amounts of both ...
12
March 2008
ACM SIGMETRICS Performance Evaluation Review: Volume 35 Issue 4, March 2008
Publisher: ACM
Bibliometrics:
Citation Count: 11
Downloads (6 Weeks): 1, Downloads (12 Months): 5, Downloads (Overall): 354
Full text available:
Pdf
We introduce a scalable framework built upon the BlenX language and inspired by the Beta-binders process calculus to model, simulate and analyse biological systems. We show the features of the Beta Workbench framework on a running example based on the mitogen-activated kinase pathway. We also discuss an incremental modelling process ...
Keywords:
process calculi, computational biology, systems biology, modelling and simulation
CCS:
Systems biology
Keywords:
systems biology
Primary CCS:
Systems biology
References:
Dill, D. L., Knapp, M., Gage, P., Talcott, C. L., Laderoute, K., and Lincoln, P. 2005. The pathalyzer: A tool for analysis of signal transduction pathways. In Systems Biology and Regulatory Genomics (2007-09-20), E. Eskin, T. Ideker, B. J. Raphael, and C. T. Workman, Eds. Lecture Notes in Computer Science, vol. 4023. Springer, 11--22.
Hucka, M., Finney, A., Sauro, H., Bolouri, H., Doyle, J., and Kitano, H. 2002. The erato systems biology workbench: Enabling interaction and exchange between software tools for computational biology.
Kitano, H. 2001. Foundations of Systems Biology. MIT Press, Cambridge, MA, USA.
Priami, C. and Quaglia, P. 2005. Beta binders for biological interactions. In Proc. of Computational Methods in Systems Biology. LNCS, vol. 3082. Spinger, 20--33.
13
April 2010
HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 1, Downloads (12 Months): 7, Downloads (Overall): 133
Full text available:
Pdf
DNA replication is one of the most fundamental processes in the life of every cell. In earlier work a model to capture the mechanics of the DNA replication process was developed in the stochastic hybrid systems framework. Monte Carlo simulations of the model allowed us to make novel predictions regarding ...
Keywords:
hybrid input output automata, sthochastic hybrid systems, systems biology, verfication
CCS:
Systems biology
Keywords:
systems biology
References:
D. Wilkinson. Stochastic modelling for systems biology. Chapman & Hall/CRC, 2006.
Full Text:
... Sciences]: Biology and geneticsGeneral TermsVeri?cationKeywordsSthochastic hybrid systems, Hybrid Input Output Automata,Systems Biology, , Ver?cation1. INTRODUCTIONStochastic hybrid systems are widely used in areas ...
14
April 2011
TMS-DEVS '11: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Publisher: Society for Computer Simulation International
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 2, Downloads (12 Months): 5, Downloads (Overall): 90
Full text available:
PDF
A myriad of detailed pieces of knowledge regarding the structure and function of the living cell have been accumulating at an alarmingly increasing rate. Emphasis is shifting from the study of a single molecular process to cellular pathways, cycles, and the entire cell as a system. Object-Process Methodology (OPM) is ...
Keywords:
formal verification, finite-state transition systems, systems biology
CCS:
Systems biology
Keywords:
systems biology
References:
Breitling, R., Donaldson, R., Gilbert, D., & Heiner, M. (2010). Biomodel Engineering--From structure to behavior. Transactions on Computational Systems Biology XII, 1--12.
Dori D. and Choder M. (2007). Conceptual modeling in systems biology fosters empirical findings: the mRNA lifecycle. PLoS ONE. 2: e872.
Full Text:
... Massachusetts Institute of Technology Keywords: Finite-state Transition Systems, Formal Verification, Systems Biology Abstract A myriad of detailed pieces of knowledge regarding the ... system. This trend calls for adopting a holistic, integrating, model-based Systems Biology paradigm that would enable making system-level sense of the countless ... efforts, many of which are currently considered as contributions to Systems Biology, , are aimed at understanding the underlying structure and behavior ... propose a modeling and verification framework to support research in Systems Biology. . The framework includes OPM-based modeling of biological systems, presented ...
Computational Systems Biology XII, , 1-12. 6. Harel D., Setty Y., Efroni S., ... 9. Dori D. and Choder M. (2007). Conceptual modeling in systems biology fosters empirical findings: the mRNA lifecycle. PLoS ONE. 2: e872. ...
15
Paulo Maia, Isabel Rocha, Miguel Rocha
July 2017
GECCO '17: Proceedings of the Genetic and Evolutionary Computation Conference Companion
Publisher: ACM
The past two decades have witnessed great advances in the computational modeling and systems biology fields. Soon after the first models of metabolism were developed, methods for phenotype prediction were put forward, as well as strain optimization methods, within the field of Metabolic Engineering. Evolutionary computation has been on the ...
Keywords:
evolutionary algorithms, metabolic networks, multiobjective optimization, systems biology
CCS:
Systems biology
Keywords:
systems biology
Abstract:
... decades have witnessed great advances in the computational modeling and systems biology fields. Soon after the first models of metabolism were developed, ...
Primary CCS:
Systems biology
References:
Adam M Feist, Christopher S Henry, Jennifer L Reed, Markus Krummenacker, Andrew R Joyce, Peter D Karp, Linda J Broadbelt, Vassily Hatzimanikatis, and Bernhard Ø Palsson. 2007. A genome-scale metabolic reconstruction for Escherichia coli K-12 MG1655 that accounts for 1260 ORFs and thermodynamic information. Molecular systems biology 3, 1 (2007).
Nathan E Lewis, Kim K Hixson, Tom M Conrad, Joshua A Lerman, Pep Charusanti, Ashoka D Polpitiya, Joshua N Adkins, Gunnar Schramm, Samuel O Purvine, Daniel Lopez-Ferrer, and others. 2010. Omic data from evolved E. coli are consistent with computed optimal growth from genome-scale models. Molecular systems biology 6, 1 (2010).
Full Text:
... decades have witnessed great advances in the com-putational modeling and systems biology fields. Soon after thefirst models of metabolism were developed, methods ... Linear programming;Quadratic program-ming; ?Applied computing ? Computational biology; Bio-logical networks; Systems biology; ;KEYWORDSSystems Biology, Evolutionary Algorithms, Metabolic Networks,Multiobjective optimizationACM Reference format:Paulo Maia, ...
... K-12 MG1655 that accounts for 1260 ORFs and thermodynamicinformation. Molecular systems biology 3, 1 (2007).[5] Christopher S Henry, Matthew DeJongh, Aaron A ...
16
November 2014
SC '14: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis
Publisher: IEEE Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 2, Downloads (12 Months): 23, Downloads (Overall): 220
Full text available:
PDF
Learning Bayesian networks is NP-hard. Even with recent progress in heuristic and parallel algorithms, modeling capabilities still fall short of the scale of the problems encountered. In this paper, we present a massively parallel method for Bayesian network structure learning, and demonstrate its capability by constructing genome-scale gene networks of ...
Keywords:
systems biology, bayesian networks, gene networks, parallel machine learning
CCS:
Systems biology
Keywords:
systems biology
Primary CCS:
Systems biology
17
Kevin Doherty, Khulood Alyahya, Ozgur E. Akman, Jonathan E. Fieldsend
July 2017
GECCO '17: Proceedings of the Genetic and Evolutionary Computation Conference Companion
Publisher: ACM
The parameter explosion problem is a crucial bottleneck in modelling gene regulatory networks (GRNs), limiting the size of models that can be optimised to experimental data. By discretising state, but not time, Boolean delay equations (BDEs) provide a significant reduction in parameter numbers, whilst still providing dynamical complexity comparable to ...
Keywords:
boolean delay equations, optimisation, landscape analysis, systems biology
CCS:
Systems biology
Keywords:
systems biology
Primary CCS:
Systems biology
References:
S. Aitken and O. E. Akman. 2013. Nested sampling for parameter inference in systems biology: application to an exemplar circadian model. BMC Syst. Biol. 7, (2013), 72.
18
November 2013
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB): Volume 10 Issue 6, November 2013
Publisher: IEEE Computer Society Press
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1, Downloads (12 Months): 5, Downloads (Overall): 32
Full text available:
PDF
Probabilistic model checking (PMC) is a technique used for the specification and analysis of complex systems. It can be applied directly to biological systems which present these characteristics, including cell transport systems. These systems are structures responsible for exchanging ions through the plasma membrane. Their correct behavior is essential for ...
Keywords:
Probabilistic model checking, systems biology, sodium-potassium pump, palytoxin.
CCS:
Systems biology
Keywords:
Probabilistic model checking, systems biology, sodium-potassium pump, palytoxin.
Primary CCS:
Systems biology
References:
M. Kwiatkowska, G. Norman, and D. Parker, "Probabilistic Model Checking for Systems Biology," Symbolic Systems Biology, pp. 31- 59, Jones and Bartlett, 2010.
E.M. Clarke, J.R. Faeder, C.J. Langmead, L.A. Harris, S.K. Jha, and A. Legay, "Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway," Proc. Sixth Int'l Conf. Computational Methods in Systems Biology, pp. 231-250, 2008.
M. Kwiatkowska, G. Norman, and D. Parker, "Using Probabilistic Model Checking in Systems Biology," ACM SIGMETRICS Performance Evaluation Rev., vol. 35, no. 4, pp. 14-21, Mar. 2008.
Full Text:
... to treat diseasesassociated to their incorrect behavior.Index Terms?Probabilistic model checking, systems biology, , sodium-potassium pump, palytoxin. 1 INTRODUCTIONPROBABILISTIC model checking (PMC) is a ...
... M. Kwiatkowska, G. Norman, and D. Parker, ?Probabilistic ModelChecking for Systems Biology, ,? Symbolic Systems Biology, , pp. 31-59, Jones and Bartlett, 2010.[10] M. Kwiatkowska, G. ...
... T-Cell Receptor Signaling Pathway,?Proc. Sixth Int?l Conf. Computational Methods in Systems Biology, ,pp. 231-250, 2008.1540 IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, ... Kwiatkowska, G. Norman, and D. Parker, ?Using ProbabilisticModel Checking in Systems Biology, ,? ACM SIGMETRICSPerformance Evaluation Rev., vol. 35, no. 4, pp. ... Minas Gerais(scholarship by CAPES) on the topics of modelchecking and systems biology. . He also com-pleted a technical course on computer manage-ment ...
19
September 2011
CMSB '11: Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Publisher: ACM
Bibliometrics:
Citation Count: 4
Downloads (6 Weeks): 2, Downloads (12 Months): 11, Downloads (Overall): 212
Full text available:
PDF
The complexity of biological systems is enormous, even when considering a single cell where a multitude of highly parallel and intertwined processes take place on the molecular level. This paper focuses on the parallel simulation of signal transduction processes within a cell carried out solely on the graphics processing unit ...
Keywords:
GPU computing, GPU parallelization, agent-based simulation, MAPK, systems biology
CCS:
Systems biology
Keywords:
systems biology
References:
L. Dematté. Parallel Particle-Based reaction diffusion: A GPU implementation. In Workshop on High Performance Computational Systems Biology, pages 67--77, 2010.
L. Dematté and T. Mazza. On parallel stochastic simulation of diffusive systems. In Computational Methods in Systems Biology, volume 5307, pages 191--210, 2008.
L. Dematté and D. Prandi. GPU computing for systems biology. Briefings in Bioinformatics, 11(3):323--333, 2010.
M. Klann, A. Lapin, and M. Reuss. Agent-based simulation of reactions in the crowded and structured intracellular environment: Influence of mobility and location of the reactants. BMC Systems Biology, 5(1):71, 2011.
N. I. Markevich, M. A. Tsyganov, J. B. Hoek, and B. N. Kholodenko. Long-range signaling by phosphoprotein waves arising from bistability in protein kinase cascades. Molecular Systems Biology, 2, 2006.
K. Takahashi, S. N. V. Arjunan, and M. Tomita. Space in systems biology of signaling pathways -- towards intracellular molecular crowding in silico. FEBS Letters, 579(8):1783--1788, 2005.
Full Text:
... September 21-23, 2011 Paris, FRCopyright 2011 ACM 978-1-4503-0817-5/11/09 ...$10.00.1. INTRODUCTIONANDRELATEDWORKIn systems biology, , the characteristics and complex inter-actions of all elements in ... is well-suited for massively parallelized algo-rithms.Scientific aspects of simulations in systems biology
... Particle-Based reaction diffusion:A GPU implementation. In Workshop on HighPerformance Computational Systems Biology, , pages67?77, 2010.[8] L. Dematte and T. Mazza. On parallel ... Mazza. On parallel stochasticsimulation of diffusive systems. In ComputationalMethods in Systems Biology, , volume 5307, pages191?210, 2008.[9] L. Dematte and D. Prandi. ... structuredintracellular environment: Influence of mobility andlocation of the reactants. BMC Systems Biology, ,5(1):71, 2011.[18] M. T. Klann, A. Lapin, and M. Reuss. ... signaling byphosphoprotein waves arising from bistability in81protein kinase cascades. Molecular Systems Biology, , 2,2006.[23] G. Marsaglia. Xorshift rngs. Journal of StatisticalSoftware, 8(14):1?6, ...
... K. Takahashi, S. N. V. Arjunan, and M. Tomita.Space in systems biology of signaling pathways ?towards intracellular molecular crowding in silico.FEBS Letters, ...
20
August 2013
BioKDD '13: Proceedings of the 12th International Workshop on Data Mining in Bioinformatics
Publisher: ACM
Bibliometrics:
Citation Count: 3
Downloads (6 Weeks): 3, Downloads (12 Months): 29, Downloads (Overall): 183
Full text available:
PDF
The high development cost and low success rate of drug discovery from new compounds highlight the need for methods to discover alternate therapeutic effects for currently approved drugs. Computational methods can be effective in focusing efforts for such drug repurposing. In this paper, we propose a novel drug-target interaction prediction ...
Keywords:
drug repurposing, polypharmacology, drug discovery, machine learning, link prediction, statistical relational learning, system biology
CCS:
Systems biology
Keywords:
system biology
Primary CCS:
Systems biology
References:
A. Gottlieb, G. Y. Stein, E. Ruppin, and R. Sharan. PREDICT: a method for inferring novel drug indications with application to personalized medicine. Molecular Systems Biology, 7(1), June 2011.
M. Kuhn, M. Campillos, I. Letunic, L. J. Jensen, and P. Bork. A side effect resource to capture phenotypic effects of drugs. Molecular systems biology, 6(1), 2010.
Full Text:
... biology and geneticsGeneral TermsAlgorithmsKeywordsLink prediction, Drug repurposing, Drug discovery, Poly-pharmacology, System biology, , Statistical relational learning,Machine learningPermission to make digital or hard ...
... perspectives. Cockell et al. [8] describe how to buildan integrated systems biology network for drug repurposingwith elements such as drugs, targets, genes, ...
... inferring novel drug indicati-ons with application to personalized medicine. Molecu-lar Systems Biology, , 7(1), June 2011.[12] E. Jain, A. Bairoch, S. Duvaud, ... A side effect resource to capture phenotypiceffects of drugs. Molecular systems biology, , 6(1), 2010.[16] J. Lamb. The Connectivity Map: a new ...
Result page:
1
2
3
4
5
6
7
8
9
10
>>