Search

Your search keyword '"Xavier Leroy"' showing total 23 results

Search Constraints

Start Over You searched for: Author "Xavier Leroy" Remove constraint Author: "Xavier Leroy" Publication Type Academic Journals Remove constraint Publication Type: Academic Journals
23 results on '"Xavier Leroy"'

Search Results

1. EGFR signaling and pharmacology in oncology revealed with innovative BRET-based biosensors

2. Robot Partial Prostatectomy for Anterior Cancer: Long-term Functional and Oncological Outcomes at 7 Years

3. Risk Estimation of Metastatic Recurrence After Prostatectomy: A Model Using Preoperative Magnetic Resonance Imaging and Targeted Biopsy

4. Effector membrane translocation biosensors reveal G protein and βarrestin coupling profiles of 100 therapeutically relevant GPCRs

5. Papillary renal cell carcinoma in two young adults with glycogen storage disease type Ia

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

8. Integrated Multi-omic Analysis of Esthesioneuroblastomas Identifies Two Subgroups Linked to Cell Ontogeny

9. Targeting miR-21 decreases expression of multi-drug resistant genes and promotes chemosensitivity of renal carcinoma

10. Isolation and characterization of a primary proximal tubular epithelial cell model from human kidney by CD10/CD13 double labeling.

13. A Formally Verified Compiler Back-end.

14. Mechanized Semantics for the Clight Subset of the C Language.

15. Compilation of extended recursion in call-by-value functional languages.

16. Ezrin immunohistochemical expression in cartilaginous tumours: a useful tool for differential diagnosis between chondroblastic osteosarcoma and chondrosarcoma.

17. Helicase-like transcription factor exhibits increased expression and altered intracellular distribution during tumor progression in hypopharyngeal and laryngeal squamous cell carcinomas.

18. Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations.

19. Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves.

20. Prognostic value of combined p53 and survivin in pT1G3 urothelial carcinoma of the bladder.

23. Editorial.

Catalog

Books, media, physical & digital resources