Progress in Development Studies

Géneau de Lamarlière Isabelle. Progress in Development Studies. In: Annales de Géographie, t. 112, n°630, 2003. p. 222

Dupuy C., Burmeister A. (dir.), Entreprises et territoires. Les nouveaux enjeux de la proximité

Géneau de Lamarlière Isabelle. Dupuy C., Burmeister A. (dir.), Entreprises et territoires. Les nouveaux enjeux de la proximité. In: Annales de Géographie, t. 113, n°640, 2004. p. 654

Vandermotlen C. el Marissal P, La production des espaces économiques

Géneau de Lamarlière Isabelle. Vandermotlen C. el Marissal P, La production des espaces économiques . In: Annales de Géographie, t. 114, n°642, 2005. p. 224

Dupuy C., Burmeister A. (dir.), Entreprises et territoires. Les nouveaux enjeux de la proximité

Géneau de Lamarlière Isabelle. Dupuy C., Burmeister A. (dir.), Entreprises et territoires. Les nouveaux enjeux de la proximité. In: Annales de Géographie, t. 113, n°640, 2004. p. 654

Vandermotlen C. el Marissal P, La production des espaces économiques

Géneau de Lamarlière Isabelle. Vandermotlen C. el Marissal P, La production des espaces économiques . In: Annales de Géographie, t. 114, n°642, 2005. p. 224

Progress in Development Studies

Géneau de Lamarlière Isabelle. Progress in Development Studies. In: Annales de Géographie, t. 112, n°630, 2003. p. 222

Slimmer Formal Proofs for Mathematical Libraries

Short of being able to exhaustively test all the inputs, writing a formal proof offers the highest possible confidence in the correctness of a mathematical library. This comes at a large cost though, since formal proofs require taking into account all the details, even the seemingly insignificant ones, which makes them tedious to write. This issue is compounded by the fact that the objects whose properties we need to verify (floating-point numbers) are not the ones we would like to reason about (real numbers and integers). This short paper explores some ways of reducing the overhead of formal proofs in the setting of mathematical libraries, so as to let the user focus on the details that really matter

Slimmer Formal Proofs for Mathematical Libraries

International audienceShort of being able to exhaustively test all the inputs, writing a formal proof offers the highest possible confidence in the correctness of a mathematical library. This comes at a large cost though, since formal proofs require taking into account all the details, even the seemingly insignificant ones, which makes them tedious to write. This issue is compounded by the fact that the objects whose properties we need to verify (floating-point numbers) are not the ones we would like to reason about (real numbers and integers). This short paper explores some ways of reducing the overhead of formal proofs in the setting of mathematical libraries, so as to let the user focus on the details that really matter

No barrier to care, yet disparities in the HIV care continuum in France: a nationwide population study

International audienceAbstract Objectives Even in an ‘optimal’ health system, patients’ characteristics may have an impact on their care. We investigated whether age, gender and place of birth have an impact in the HIV care continuum in France, a country with a universal free healthcare system. Methods We estimated differences in the 5 year restricted mean percentage of person-time spent (i) in care, (ii) receiving ART and (iii) on ART and virally suppressed among 2432 (30.2%) women, 3925 MSM (48.7%) and 1709 men who have sex with women (MSW; 21.2%) entering care in the Dat’AIDS French prospective cohort between 1 January 2013 and 31 December 2017. Trial registration: Clinicaltrials.gov reference NCT02898987. Results Men and women spent 85.6% and 82.8% of person-time on ART and 69.9% and 65% suppressed, respectively. MSM, MSW and women spent 86.9%, 82.6% and 82.8% of person-time on ART and 72.5%, 63.7% and 65% suppressed, respectively. Patients born in France (47%) and patients born abroad spent 87.9% and 81.9% of person-time on ART and 74.6% and 62.9% suppressed, respectively. Young men born abroad were found to spend the smallest person-time with non-detectable viral load (53% for MSW and 58.1% for MSM). Conclusions Despite free access to care and universal ART in France, disparities remain in the HIV continuum care across age, country of birth and way of HIV acquisition. Clinical and public health interventions targeting specific patients’ conditions are needed