Sciweavers

212 search results - page 15 / 43
» Automating function point analysis with model driven develop...
Sort
View
LICS
1999
IEEE
15 years 4 months ago
Towards a Theory of Bisimulation for Local Names
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
Alan Jeffrey, Julian Rathke
IPPS
2009
IEEE
15 years 6 months ago
Exploring FPGAs for accelerating the phylogenetic likelihood function
Driven by novel biological wet lab techniques such as pyrosequencing there has been an unprecedented molecular data explosion over the last 2-3 years. The growth of biological seq...
Nikolaos Alachiotis, Euripides Sotiriades, Apostol...
LICS
2005
IEEE
15 years 5 months ago
Inverse and Implicit Functions in Domain Theory
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
Abbas Edalat, Dirk Pattinson
BMCBI
2006
182views more  BMCBI 2006»
14 years 11 months ago
AceTree: a tool for visual analysis of Caenorhabditis elegans embryogenesis
Background: The invariant lineage of the nematode Caenorhabditis elegans has potential as a powerful tool for the description of mutant phenotypes and gene expression patterns. We...
Thomas J. Boyle, Zhirong Bao, John I. Murray, Carl...
ENVSOFT
2007
94views more  ENVSOFT 2007»
14 years 11 months ago
Automated estimation and analyses of meteorological drought characteristics from monthly rainfall data
The paper describes a new software package for automated estimation, display and analyses of various drought indices – continuous functions of precipitation that allow quantitat...
V. U. Smakhtin, D. A. Hughes