131 citations
- Helsinki Institute of PhysicsFI4 papers
- University of Southern DenmarkDK3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Paul Scherrer InstituteCH2 papers
- Swiss Light Source2 papers
- University of AmsterdamNL2 papers
- University of LiverpoolGB2 papers
- Western UniversityCA2 papers
- Aix-Marseille UniversitéFR1 paper
- Amsterdam University of Applied SciencesNL1 paper
- Brown UniversityUS1 paper
- Ceska Astronomicka SpolecnostCZ1 paper
Showing 2011Show all
3 papers · 1 filter
math.CO2011★ 1 cited
Some formulas for numbers of line segments and lines in a rectangular grid
Pentti Haukkanen, Jorma K. Merikoski
We present a formula for the number of line segments connecting q+1 points of an n_1 x...x n_k rectangular grid. As corollaries, we obtain formulas for the number of lines through…
astro-ph.EP2011★ 127 cited
Combining asteroid models derived by lightcurve inversion with asteroidal occultation silhouettes
Josef Durech, Mikko Kaasalainen, David Herald +9
Asteroid sizes can be directly measured by observing occultations of stars by asteroids. When there are enough observations across the path of the shadow, the asteroid's projected…
cs.LO2011★ 1 cited
Complexity of two-variable Dependence Logic and IF-Logic
Juha Kontinen, Antti Kuusisto, Peter Lohmann +1
We study the two-variable fragments D^2 and IF^2 of dependence logic and independence-friendly logic. We consider the satisfiability and finite satisfiability problems of these log…