1582 search results - page 85 / 317 » Mathematical Tools for Physics |
DATE
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents a methodology towards synthesis of high performance analog circuits. Layout parasitics are estimated and compensated during circuit sizing. Physical layout con...
SIAMSC
2008
13 years 8 months ago
2008
The Radon transform is a fundamental tool in many areas. For example, in reconstruction of an image from its projections (CT scanning). Although it is situated in the core of many...
AC
2003
Springer
14 years 2 months ago
2003
Springer
Concentration inequalities deal with deviations of functions of independent random variables from their expectation. In the last decade new tools have been introduced making it pos...
CADE
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
SIGCSE
1991
ACM
14 years 9 days ago
1991
ACM
The development, specification, and use of a loop invariant are useful and underutilized tools in writing code to solve a problem or implement an algorithm. Invariants are especi...