相关论文: TheoSea: Marching Theory to Light
Waves in excitable media can be treated by a simple geometric theory. The propagation velocity is assumed known and evolution of wave fronts is determined by elementary physical principles (Fermat's principle, Huygens' principle). Based on…
Bayesian probability theory is used as a framework to develop a formalism for the scientific method based on principles of inductive reasoning. The formalism allows for precise definitions of the key concepts in theories of physics and also…
Particle showers in dielectric media produce radio signals which are used for the detection of both ultra-high energy cosmic rays and neutrinos with energies above a few PeV. The amplitude, polarization, and spectrum of these short,…
In its all-sky survey, Gaia will monitor astrometrically hundreds of thousands of main-sequence stars within $\approx200$ pc, looking for the presence of giant planetary companions within a few AUs from their host stars. Indeed, Gaia…
One of the greatest data analysis challenges for the Laser Interferometer Space Antenna (LISA) is the need to account for a large number of gravitational wave signals from compact binary systems expected to be present in the data. We…
Physics increasingly uses Bayesian techniques for systematic data analysis and model-to-data comparison. This paper describes how these methods can be implemented to answer questions of relevance to teaching laboratories. It demonstrates…
Ray tracing is increasingly utilized in wireless system simulations to estimate channel paths. In large-scale simulations with complex environments, ray tracing at high resolution can be computationally demanding. To reduce the computation,…
We present Pandora, a new software to model, detect, and characterize transits of extrasolar planets with moons in stellar photometric time series. Pandora uses an analytical description of the transit light curve for both the planet and…
Recursive Bayesian inference, in which posterior beliefs are updated in light of accumulating data, is a tool for implementing Bayesian models in applications with streaming and/or very large data sets. As the posterior of one iteration…
Starting from well-known absolute instruments for perfect imaging, we introduce a type of rotational-symmetrical compact closed manifolds, namely geodesic lenses. We demonstrate that light rays confined on geodesic lenses are closed…
Gaia is a fully-approved all-sky astrometric and photometric survey due for launch in 2011. It will measure accurate parallaxes and proper motions for everything brighter than G=20 (ca. 10^9 stars). Its primary objective is to study the…
Vela is a package for performing Bayesian pulsar timing & noise analysis written in Julia and Python. In the wideband paradigm of pulsar timing, simultaneous time of arrival and dispersion measure measurements are derived from a radio…
Since July 2014, the ESA Gaia mission has been surveying the entire sky down to magnitude 20.7 in the visible. In addition to the millions of stars, thousands of Solar System Objects (SSOs) are observed daily. By comparing their positions…
An iterative method is derived for image reconstruction. Among other attributes, this method allows constraints unrelated to the radiation measurements to be incorporated into the reconstructed image. A comparison is made with the widely…
Research in extrasolar-planet science is data-driven. With the advent of radial-velocity instruments like HARPS and HARPS-N, and transit space missions like Kepler, our ability to discover and characterise extrasolar planets is no longer…
Form a pure mathematical point of view, common functional forms representing different physical phenomena can be defined. For example, rates of chemical reactions, diffusion and heat transfer are all governed by exponential-type…
MEDEA Program (Microlensing Experiment Data-Analysis Software for Event with Amplification) is here presented. It is developed to the pixel lensing analysis used by SLOTT-AGAPE (Systematic Lensing Observation at Toppo Telescope - Andromeda…
Time difference of arrival (TDOA) is a widely used technique for localizing a radio transmitter from the difference in signal arrival times at multiple receivers. For TDOA to work, the individual receivers must estimate the respective…
Low-noise phased arrays are essential for the next generation of microwave and submillimetre wave astronomy. We analyze their behaviour from a functional perspective, and show that their operation is intimately related to the mathematical…
The Friedmann-Lema\^{i}tre-Robertson-Walker model establishes the correlation between redshifts and distances. It has a metric expansion of space. As a result, the wavelength of photons propagating through the expanding space is stretched,…