Canton d’Asnières-sur-Vègre

Les travaux du groupe de prospection-inventaire de l’association Patrimoine d’Asnières pour l’année 2009 ont abouti à six déclarations de découverte archéologique. La commune de Poillé-sur-Vègre a ainsi livré deux parcelles témoignant pour l’une d’une occupation préhistorique datant du moustérien et pour la seconde d’une occupation gallo-romaine. Sur la commune de Fontenay-sur-Vègre, des traces d’une occupation médiévale ont été mises au jour au lieu-dit Bel Air mais également celles d’une oc..

A Proof Theoretic Analysis of Intruder Theories

We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages Gamma under the theory of blind signatures and arbitrary convergent equational theories modulo associativity and commutativity (AC) of certain binary operators. The traditional formulations of intruder deduction are usually given in natural-deduction-like systems and proving decidability requires significant effort in showing that the rules are "local" in some sense. By using the well-known translation between natural deduction and sequent calculus, we recast the intruder deduction problem as proof search in sequent calculus, in which locality is immediate. Using standard proof theoretic methods, such as permutability of rules and cut elimination, we show that the intruder deduction problem can be reduced, in polynomial time, to the elementary deduction problem, which amounts to solving certain equations in the underlying individual equational theories. We show that this result extends to combinations of disjoint AC-convergent theories whereby the decidability of intruder deduction under the combined theory reduces to the decidability of elementary deduction in each constituent theory. To further demonstrate the utility of the sequent-based approach, we show that, for Dolev-Yao intruders, our sequent-based techniques can be used to solve the more difficult problem of solving deducibility constraints, where the sequents to be deduced may contain gaps (or variables) representing possible messages the intruder may produce.Comment: Extended version of RTA 2009 pape

The French national prospective cohort of patients co-infected with HIV and HCV (ANRS CO13 HEPAVIH): Early findings, 2006-2010

<p>Abstract</p> <p>Background</p> <p>In France, it is estimated that 24% of HIV-infected patients are also infected with HCV. Longitudinal studies addressing clinical and public health questions related to HIV-HCV co-infection (HIV-HCV clinical progression and its determinants including genetic dimension, patients' experience with these two diseases and their treatments) are limited. The ANRS CO 13 HEPAVIH cohort was set up to explore these critical questions.</p> <p>To describe the cohort aims and organization, monitoring and data collection procedures, baseline characteristics, as well as follow-up findings to date.</p> <p>Methods</p> <p>Inclusion criteria in the cohort were: age > 18 years, HIV-1 infection, chronic hepatitis C virus (HCV) infection or sustained response to HCV treatment. A standardized medical questionnaire collecting socio-demographic, clinical, biological, therapeutic, histological, ultrasound and endoscopic data is administered at enrolment, then every six months for cirrhotic patients or yearly for non-cirrhotic patients. Also, a self-administered questionnaire documenting socio-behavioral data and adherence to HIV and/or HCV treatments is administered at enrolment and yearly thereafter.</p> <p>Results</p> <p>A total of 1,175 patients were included from January 2006 to December 2008. Their median age at enrolment was 45 years and 70.2% were male. The median CD4 cell count was 442 (IQR: 304-633) cells/μl and HIV RNA plasma viral load was undetectable in 68.8%. Most participants (71.6%) were on HAART. Among the 1,048 HIV-HCV chronically co-infected patients, HCV genotype 1 was predominant (56%) and cirrhosis was present in 25%. As of January, 2010, after a median follow-up of 16.7 months (IQR: 11.3-25.3), 13 new cases of decompensated cirrhosis, nine hepatocellular carcinomas and 20 HCV-related deaths were reported, resulting in a cumulative HCV-related severe event rate of 1.9/100 person-years (95% CI: 1.3-2.5). The rate of HCV-related severe events was higher in cirrhotic patients and those with a low CD4 cells count, but did not differ according to sex, age, alcohol consumption, CDC clinical stage or HCV status.</p> <p>Conclusion</p> <p>The ANRS CO 13 HEPAVIH is a nation-wide cohort using a large network of HIV treatment, infectious diseases and internal medicine clinics in France, and thus is highly representative of the French population living with these two viruses and in care.</p

Atlanpole, une vision de l'avenir de Nantes

The city of Nantes has undertaken the creation of a technopole. Several factors contribute favorably to this creation : a remarkable site on the banks of the Erdre River, easy, rapid transit into the center of the city, a long past that can be felt even today in the economic options made by the city and above all, a university campus where highly diversified research is actively carried out, achieving the most advanced level in certain areas.Nantes s'est engagée dans la mise en place d'une technopole. Plusieurs facteurs sont favorables à cette mise en œuvre : un site remarquable sur les bords de l'Erdre, bien relié au centre-ville, un passé ancien qui se lit encore dans les orientations technologiques et économiques de la ville et surtout l'existence d'un pôle universitaire et de recherche dynamique, diversifié et ayant quelques spécialités de haut niveau. L'aménagement de ce site qui pourrait faire de Nantes un des pôles essentiels du littoral atlantique devra s'appuyer sur un réseau de communication conçu à l'échelle européenne.Delaune Jean-Yves. Atlanpole, une vision de l'avenir de Nantes. In: Cahiers du Centre nantais de recherche pour l'aménagement régional, n°33-34, 1990. Nantes et son agglomération. pp. 229-246