382 search results - page 35 / 77 » Reasoning about the Elementary Functions of Complex Analysis |
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
Recent advances in bio-molecular imaging have afforded biologists a more thorough understanding of cellular functions in complex tissue structures. For example, high resolution fl...
SDMW
2004
Springer
14 years 22 days ago
2004
Springer
The recent investigation of privacy-preserving data mining and other kinds of privacy-preserving distributed computation has been motivated by the growing concern about the privacy...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption o...
CASCON
2006
13 years 8 months ago
2006
Coupling measures have important applications in software development and maintenance. They are used to reason about the structural complexity of software and have been shown to p...
HASKELL
2005
ACM
14 years 29 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...