328 citations
- University of LisbonPT13 papers
- University of ViennaAT10 papers
- Centro de Geofísica de Évora9 papers
- Institute of Astrophysics and Space SciencesPT8 papers
- European Southern ObservatoryCL7 papers
- Institut d'Astrophysique de ParisFR6 papers
- Observatoire Cantonal de NeuchâtelCH6 papers
- Max Planck Institute for Extraterrestrial PhysicsDE5 papers
- Thomas Jefferson National Accelerator FacilityUS5 papers
- William & MaryUS5 papers
- Instituto de Astrofísica de CanariasES4 papers
- Instituto Superior TécnicoPT4 papers
6 papers · 1 filter
On the Implementation of GNU Prolog
Daniel Diaz, Salvador Abreu, Philippe Codognet
GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which pro…
The Evolution of the Large-scale ISM: Bubbles, Superbubbles and Non-Equilibrium Ionization
Miguel A. de Avillez, Dieter Breitschwerdt
The ISM, powered by SNe, is turbulent and permeated by a magnetic field (with a mean and a turbulent component). It constitutes a frothy medium that is mostly out of equilibrium an…
Probing the Existence of a Dark Matter Isothermal Core Using Gravity Modes
Ilídio Lopes, Joseph Silk
Although helioseismology has been used as an effective tool for studying the physical mechanisms acting in most of the solar interior, the microscopic and dynamics of the deep core…
Distributed Work Stealing for Constraint Solving
Vasco Pedro, Salvador Abreu
With the dissemination of affordable parallel and distributed hardware, parallel and distributed constraint solving has lately been the focus of some attention. To effectually appl…
Towards the use of asteroseismology to investigate the nature of dark matter
Jordi Casanellas, Ilídio Lopes
The annihilation of huge quantities of captured dark matter (DM) particles inside low-mass stars has been shown to change some of the stellar properties, such as the star's effecti…
Splitting criteria for vector bundles on the symplectic isotropic Grassmannian
Pedro Macias Marques, Luke Oeding
We extend a theorem of Ottaviani on cohomological splitting criterion for vector bundles over the Grassmannian to the case of the symplectic isotropic Grassmanian. We find necessar…