L’Homme, « Espèces d’objets », n 170, avril-juin 2004, 250 p.

de Rogelio Lozano Juin 2004 2

On the differential approximation of MIN SET COVER (juin 2004)

Francis Klay N ̊ 3921 Avril 2000

On a case study, we present a new approach for verifying cryptographic protocols, based on rewriting and on tree automata techniques. Protocols are operationally described using Term Rewriting Systems and the initial set of communication requests is described by a tree automaton. Starting from these two representations, we automatically compute an over-approximation of the set of exchanged mess...

Appl Health Econ Health Policy 2004; 3 (3): 161-170

1 Swiss Centre for International Health, Swiss Tropical Institute, Basel, Switzerland 2 Health Economics Research Group, Brunel University, Uxbridge, Middlesex, UK 3 School of Medicine, Health Policy and Practice, University of East Anglia, Norwich, UK 4 Department of Obstetrics and Gynecology, Khon Kaen University, Khon Kaen, Thailand 5 Department of Biostatistics and Demography, Khon Kaen Uni...

Arterial Thromboembolism in 250 Cats in General Practice: 2004–2012

BACKGROUND Population characteristics and outcome of cats with arterial thromboembolism (ATE) managed in general practice (GP) have been poorly described. HYPOTHESIS Cats with ATE presenting to GP are usually euthanized at presentation, but survival times >1 year are possible. ANIMALS Cats with ATE managed by 3 GP clinics in the United Kingdom. METHODS Records of cases presenting to GP ov...