Search

Your search keyword '"Leroy, Xavier"' showing total 72 results

Search Constraints

Start Over You searched for: Author "Leroy, Xavier" Remove constraint Author: "Leroy, Xavier" Database Supplemental Index Remove constraint Database: Supplemental Index
72 results on '"Leroy, Xavier"'

Search Results

1. Definitions of major bleeding for predicting mortality in critically ill adult patients who survived 24 hours while supported with peripheral veno-arterial extracorporeal membrane oxygenation for cardiogenic shock: a comparative historical cohort study

2. MRI accuracy for recurrence after partial gland ablation with HIFU for localized prostate cancer. A systematic review and meta-analysis

3. Incidence, initial management and survival of high-risk non-muscle invasive bladder cancer in Northern France

4. Expanding the clinicopathological spectrum of succinate dehydrogenase-deficient renal cell carcinoma with a focus on variant morphologies: a study of 62 new tumors in 59 patients

5. Asymmetric Synthesis and Biological Screening of Quinoxaline-Containing Synthetic Lipoxin A4Mimetics (QNX-sLXms)

6. Lack of resolution sensor drives age-related cardiometabolic and cardiorenal defects and impedes inflammation-resolution in heart failure.

7. Expanding the clinicopathological spectrum of succinate dehydrogenase-deficient renal cell carcinoma with a focus on variant morphologies: a study of 62 new tumors in 59 patients

8. Eosinophilic Solid and Cystic Renal Cell Carcinoma (ESC RCC)

12. Coinductive Big-Step Operational Semantics.

13. A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis.

14. Formal Verification of a Memory Model for C-Like Imperative Languages.

15. Le fibrome cardiaque : une cause rare de mort subite de l’enfant

16. Tuberous Sclerosis–associated Renal Cell Carcinoma

18. Security Properties of Typed Applets.

19. Small cell carcinoma of the upper urinary tract (UUT-SCC): Report of a rare entity and systematic review of the literature.

20. A type-based semantics for user-defined marshalling in polymorphic languages.

21. Determination of dynamic method dispatches using run-time code generation.

22. Strong normalization by type-directed partial evaluation and run-time code generation.

23. Garbage collection via dynamic type inference - A formal treatment -.

24. An approach to improve locality using sandwich types.

25. Formalizing resource allocation in a compiler.

26. Optimal type lifting.

27. Polymorphic equality — No tags required.

28. Type-directed continuation allocation.

29. Optimizing ML using a hierarchy of monadic types.

30. A toolkit for constructing type- and constraint-based program analyses.

31. How generic is a generic back end? using MLRISC as a back end for the TIL compiler.

32. Stack-based Typed Assembly Language.

34. Introduction.

35. Renal Vein Ostium Wall Invasion of Renal Cell Carcinoma With an Inferior Vena Cava Tumor Thrombus: Prediction by Renal and Vena Caval Vein Diameters and Prognostic Significance.

36. Dynamic Contrast Enhanced, Pelvic Phased Array Magnetic Resonance Imaging of Localized Prostate Cancer for Predicting Tumor Volume: Correlation With Radical Prostatectomy Findings.

37. Renal Cell Carcinoma Associated with Tumor Thrombus in the Inferior Vena Cava: Surgical Strategies.

38. Condylar Hyperplasia

39. Les cancers de l’ouraque

40. Assessment of Human Epidermal Growth Factor Receptor 2 Status in Urothelial Carcinoma of the Upper Urinary Tract

41. Les « fibrosarcomes » de l’enfant et de l’adolescent : un même nom pour différentes entités

42. Thérapie photodynamique et carcinomes urothéliaux

43. Galectin‐3 Upregulation During Tumor Progression in Head and Neck Cancer

44. A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract).

45. Long-Chain Polyunsaturated Fatty Acids Modulate Lung Inflammatory Response Induced by Pseudomonas aeruginosa in Mice

46. Long-Chain Polyunsaturated Fatty Acids Modulate Lung Inflammatory Response Induced by Pseudomonas aeruginosain Mice

47. MASSIVE ALVEOLAR THROMBIN ACTIVATION IN PSEUDOMONAS AERUGINOSA-INDUCED ACUTE LUNG INJURY

48. Expression of human mucin genes during normal and abnormal renal development.

49. Java Bytecode Verification: Algorithms and Formalizations

50. MUC1 expression is correlated with nuclear grade and tumor progression in pT1 renal clear cell carcinoma.

Catalog

Books, media, physical & digital resources