1582 search results - page 179 / 317 » Mathematical Tools for Physics |
108
click to vote
MP
2008
15 years 5 months ago
2008
In this paper I describe a new and exciting application of optimization technology. The problem is to design a space telescope capable of imaging Earth-like planets around nearby s...
188
click to vote
SYNTHESE
2008
2008
How experimental algorithmics can benefit from Mayo's extensions to Neyman-Pearson theory of testing
15 years 5 months ago
Although theoretical results for several algorithms in many application domains were presented during the last decades, not all algorithms can be analyzed fully theoretically. Exp...
150
click to vote
IAT
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Since several years, great distribution firms implement more and more complex layout and shelf allocation strategies, so as to force empirical know-how to combine with Ar...
185
click to vote
TAP
2010
Springer
15 years 3 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
176
click to vote
CISS
2010
IEEE
14 years 9 months ago
2010
IEEE
—Sparse representations have emerged as a powerful tool in signal and information processing, culminated by the success of new acquisition and processing techniques such as Compr...