Alain Hui-Bon-Hoa

Learn More
Abst rac t . A direct support for scopes appears to be essential for logic programming languages, in those applications, like meta-programming, needing to distinguish between various levels of reasoning. However, dealing with scoping constructs in a logic programming language notably causes the set of constants to evolve dynamically during the computation,(More)
We present the work undertaken by the Evolution and Seismic Tools Activity (ESTA) team of the CoRoT Seis-mology Working Group. We have focused on two main tasks: Task 1 – now finished – has aimed at testing, comparing and optimising seven stellar evolution codes which will be used to model the internal structure and evolution of the CoRoT target stars. Task(More)
Context. We present an analysis of the observations of HD 51106 and HD 50747 by the satellite CoRoT, obtained during its initial run, and of the spectroscopic preparatory observations. Aims. We complete an analysis of the light curve, extract the main frequencies observed, and discuss some preliminary interpretations about the stars. Methods. We used(More)
Some recent works rely on the intuitionistic theory of Hereditary Harrop formulas to provide extensions for Horn clauses while preserving the logic paradigm. In particular, an intuitionistic implication is used to provide some form of scoping. However the lack of appropriate evaluation strategies, notably a strategy relying on a forward-chaining search, has(More)
We complete our study (Hui-Bon-Hoa et al. 1997) of the abundances of Mg, Ca, Sc, Cr, Fe, and Ni in α Per cluster stars using new spectra of two stars of the previous sample and also adding two more objects. The new spectra of BD +48 • 894 and HD 21527 show that the former has an almost solar composition whereas the latter is an Am star with the iron peak(More)
  • 1