1.3k citations
- Norwegian University of Science and TechnologyNO5 papers
- California Institute of TechnologyUS4 papers
- IIT@MITUS4 papers
- Leiden UniversityNL4 papers
- SKA ObservatoryGB4 papers
- Max Planck Institute for Dynamics and Self-OrganizationDE3 papers
- Max Planck SocietyDE3 papers
- University of California, BerkeleyUS3 papers
- University of California San DiegoUS3 papers
- University of ChicagoUS3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Harvard UniversityUS2 papers
39 papers · 1 filter
A shape theorem for the spread of an infection
Harry Kesten, Vladas Sidoravicius
We consider the following interacting particle system: There is a ``gas'' of particles, each of which performs a continuous time simple random walk on the d-dimensional lattice. Th…
Representation Dependence in Probabilistic Inference
Joseph Y. Halpern, Daphne Koller
Non-deductive reasoning systems are often {\em representation dependent}: representing the same situation in two different ways may cause such a system to return two different answ…
Neutron Star Kicks and Supernova Asymmetry
Dong Lai
Observations over the last decade have shown that neutron stars receive a large kick velocity (of order a hundred to a thousand km/s) at birth. The physical origin of the kicks and…
Responsibility and blame: a structural-model approach
Hana Chockler, Joseph Y. Halpern
Causality is typically treated an all-or-nothing concept; either A is a cause of B or it is not. We extend the definition of causality introduced by Halpern and Pearl [2001] to tak…
What Causes a System to Satisfy a Specification?
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
Even when a system is proven to be correct with respect to a specification, there is still a question of how complete the specification is, and whether it really covers all the beh…
Radiative Transfer Modeling of Passive Circumstellar Disks: Application to HR4796A
T. Currie, D. Semenov, Th. Henning +2
We present a radiative transfer model which computes the spectral energy distribution of a passive, irradiated, circumstellar disk, assuming the grains are in radiative equilibrium…