Search Results - "Thery, L"

Emergence of new recombinant noroviruses GII.p16-GII.4 and GII.p16-GII.2, France, winter 2016 to 2017 by Bidalot, Maxime, Théry, Lucie, Kaplon, Jérôme, De Rougemont, Alexis, Ambert-Balay, Katia

“…An early increase in outbreaks of norovirus gastroenteritis characterised at the French National Reference Centre occurred this winter season. They were…”
Get full text

Palliative care integration and end-of-life care intensity for patients with NSCLC by Martin, A., Carton, M., Thery, L., Burnod, A., Daniel, C., Du Rusquec, P., Girard, N., Bouleuc, C.

“…•Early palliative care is recommended for advanced cancer patients according to the ASCO guidelines, but various models of PC integration have been described…”
Get full text

Inhibitory effect of four novel synthetic peptides on food spoilage yeasts by Shwaiki, Laila N., Arendt, Elke K., Lynch, Kieran M., Thery, Thibaut L.C.

“…The spoilage of foods caused by the growth of undesirable yeast species is a problem in the food industry. Yeast species such as Zygosaccharomyces bailii,…”
Get full text

Evaluation of immunochromatographic tests for the rapid detection of the emerging GII.17 norovirus in stool samples, January 2016 by Théry, Lucie, Bidalot, Maxime, Pothier, Pierre, Ambert-Balay, Katia

“…A novel GII.17 norovirus emerged in Asia in the winter of 2014/15. A worldwide spread is conceivable and norovirus diagnostic assays need to be evaluated to…”
Get full text

1591 Functional iron deficiency during the first-line chemotherapy in cancer patients: Results of a prospective study by Gauthier, H, Thery, L, Le Maignan, C, Hennequin, V, Culine, L, Pouessel, D, Serrate, C, Teixeira, L, Terrisse, S, Doucet, L, Chevret, S, Culine, S

Get full text

Isolation and characterisation of the antifungal activity of the cowpea defensin Cp-thionin II by Schmidt, Marcus, Arendt, Elke K., Thery, Thibaut L.C.

“…As a result of the rapidly growing human population, reducing post-harvest crop losses of cereals due to microbial pests has major importance. Plant defensins…”
Get full text

EP-2388: Use of helical tomotherapy for local treatment in metastatic breast cancer: single center experience by Thery, L., Amessis, M., Adrien, C., Fourquet, A., Kirova, Y.M.

Get full text

A Skeptic's Approach to Combining HOL and Maple by Harrison, J, Théry, L

“…We contrast theorem provers and computer algebra systems, pointing out the advantages and disadvantages of each, and suggest a simple way to achieve a…”
Get full text

A Generic Approach to Building User Interfaces for Theorem Provers by Bertot, Y., Théry, L.

“…In this paper, we present the results of an ongoing effort in building user interfaces for proof systems. Our approach is generic: we are not constructing a…”
Get full text

Comparison of risk factors in vasospastic angina without significant fixed coronary narrowing to significant fixed coronary narrowing and no vasospastic angina by Scholl, Jean-Marie, Benacerraf, Armand, Ducimetiere, Pierre, Chabas, Daniel, Brau, Jacques, Chapelle, Jocelyne, Thery, Jean-Loup

“…To determine the importance of usual risk factors of coronary artery disease (CAD) In patients with coronary artery spasm, 40 patients with vasospastic angina…”
Get full text

A Machine-Checked Implementation of Buchberger's Algorithm by Thery, Laurent

“…We present an implementation of Buchberger's algorithm that has been proved correct within the proof assistant Coq. The implementation contains the basic…”
Get full text

Interactive Theorem Proving with Temporal Logic by Felty, Amy, Théry, Laurent

“…In this paper, we present a theorem prover for linear temporal logic. Our goal is to extend the capabilities of existing interactive and automatic systems for…”
Get full text

Atrio-ventricular block in rheumatoid polyarthritis. Histological study of the His-Tawara system. Apropos of 2 cases by Thery, C l, Lekieffre, J, Gosselin, B, Warembourg, H

“…A histological study of the conduction pathways was performed by serial sections in two patients who died with atrio-ventricular block in the course of…”
Get more information

Atrioventricular blocks of bacterial endocarditis. 8 cases comprising histological study of the conduction system by Théry, C L, Folliot, J P, Gosselin, B, Lekiefre, J, Warembourg, H

“…The authors report 8 cases of complete atrio-ventricular block (AVB) which came on during bacterial endocarditis. The aortic valve was more frequently affected…”
Get more information