Sciweavers

5722 search results - page 732 / 1145
» Security Function Interactions
Sort
View
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
GECCO
2007
Springer
151views Optimization» more  GECCO 2007»
16 years 1 months ago
Solving real-valued optimisation problems using cartesian genetic programming
Classical Evolutionary Programming (CEP) and Fast Evolutionary Programming (FEP) have been applied to realvalued function optimisation. Both of these techniques directly evolve th...
James Alfred Walker, Julian Francis Miller
BMCBI
2007
114views more  BMCBI 2007»
15 years 7 months ago
Mining and state-space modeling and verification of sub-networks from large-scale biomolecular networks
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
Xiaohua Hu, Fang-Xiang Wu
BMCBI
2008
101views more  BMCBI 2008»
15 years 7 months ago
Prediction of glycosylation sites using random forests
Background: Post translational modifications (PTMs) occur in the vast majority of proteins and are essential for function. Prediction of the sequence location of PTMs enhances the...
Stephen E. Hamby, Jonathan D. Hirst
BMCBI
2010
97views more  BMCBI 2010»
15 years 7 months ago
Dual-functioning transcription factors in the developmental gene network of Drosophila melanogaster
Background: Quantitative models for transcriptional regulation have shown great promise for advancing our understanding of the biological mechanisms underlying gene regulation. Ho...
Denis C. Bauer, Fabian A. Buske, Timothy L. Bailey