Modena, Silvia. 2018. Pour et Contre l’Euro (Canterano : Aracne)

Stratégies Dynamiques pour la Génération de Contre - exemples ∗

Checking safety properties is mandatory in the validation process of critical software. When formal verification tools fail to prove some properties, testing is necessary. Generation of counterexamples violating some properties is therefore an important issue, especially for tricky programs the test cases of which are very difficult to compute. We propose in this paper different constraint ∗Ce ...

Production et contrôle de vaccins inactivés contre la Peste équine

Stabilisation des antigenes claveleux et preparation d'un vaccin mixte contre la clavelee et la fievre charbonneuse

L’ascenseur et l’escalier — la lutte contre le SIDA au Cameroun

HIV/AIDS infection has spread like wildfire in the countries of sub-saharan Africa. In order to fight that pandemic, Cameroon has organised itself by setting up, with the assistance of bilateral and multilateral partners, a national structure with the aim to reduce the spread of the disease.Two years after the launch of the National Plan for the Fight Against HIV/AIDS, an advocacy campaign targ...

Correction to Bratt et al. (2018)

Reports an error in "Perceived age discrimination across age in Europe: From an ageing society to a society for all ages" by Christopher Bratt, Dominic Abrams, Hannah J. Swift, Christin-Melanie Vauclair and Sibila Marques (Developmental Psychology, 2018[Jan], Vol 54[1], 167-180). In the article, the copyright license has been changed to the Creative Commons CC-BY Attribution License. The online...