Sciweavers

1539 search results - page 189 / 308
» Is it time for real-time functional programming
Sort
View
CCE
2007
15 years 4 months ago
Water networks security: A two-stage mixed-integer stochastic program for sensor placement under uncertainty
This work describes a stochastic approach for the optimal placement of sensors in municipal water networks to detect maliciously injected contaminants. The model minimizes the exp...
Vicente Rico-Ramírez, Sergio Frausto-Hern&a...
MBEC
2010
14 years 10 months ago
Cell sheet integrity and nanomechanical breakdown during programmed cell death
Apoptosis is a critical physiological pathway required for the normal functioning, homeostasis, and development of many organisms. This process is highly regulated at the biochemic...
Jiashan Wang, Andrew E. Pelling
128
Voted
PEPM
2010
ACM
16 years 27 days ago
Optimizing generics is easy!
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. Several generic programming libraries for Haskell...
José Pedro Magalhães, Stefan Holderm...
POPL
1995
ACM
15 years 7 months ago
Total Correctness by Local Improvement in Program Transformation
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
David Sands
BMCBI
2010
116views more  BMCBI 2010»
15 years 4 months ago
A hybrid approach to protein folding problem integrating constraint programming with local search
Background: The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy func...
Abu Zafer M. Dayem Ullah, Kathleen Steinhöfel