-
1دورية أكاديمية
المؤلفون: Salem, Joe-Elie, Bretagne, Marie, Abbar, Baptiste, Leonard-Louis, Sarah, Ederhy, Stéphane, Redheuil, Alban, Boussouar, Samia, Nguyen, Lee S, Procureur, Adrien, Stein, Frederic, Fenioux, Charlotte, Devos, Perrine, Gougis, Paul, Dres, Martin, Demoule, Alexandre, Psimaras, Dimitri, Lenglet, Timothee, Maisonobe, Thierry, De Chambrun, Marc Pineton, Hekimian, Guillaume, Straus, Christian, Gonzalez-Bermejo, Jesus, Klatzmann, David, Rigolet, Aude, Guillaume-Jugnot, Perrine, Champtiaux, Nicolas, Benveniste, Olivier, Weiss, Nicolas, Saheb, Samir, Rouvier, Philippe, Plu, Isabelle, Gandjbakhch, Estelle, Kerneis, Mathieu, Hammoudi, Nadjib, Zahr, Noel, Llontop, Claudia, Morelot-Panzini, Capucine, Lehmann, Lorenz, Qin, Juan, Moslehi, Javid J, Rosenzwajg, Michelle, Similowski, Thomas, Allenbach, Yves
المصدر: Cancer Discovery. 13(5)
مصطلحات موضوعية: Lung, Clinical Research, Rare Diseases, Humans, Myocarditis, Immune Checkpoint Inhibitors, Abatacept, Antineoplastic Agents, Immunological, Myotoxicity, Myositis, Respiratory Muscles, Oncology and Carcinogenesis
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/8bn0090mTest
-
2دورية أكاديمية
المؤلفون: Chandrasekaran, Jayashree, Petit, Emilien, Park, Young, du Montcel, Sophie, Joers, James, Deelchand, Dinesh, Považan, Michal, Banan, Guita, Valabregue, Romain, Ehses, Philipp, Faber, Jennifer, Coupé, Pierrick, Onyike, Chiadi, Barker, Peter, Schmahmann, Jeremy, Ratai, Eva-Maria, Subramony, S, Mareci, Thomas, Bushara, Khalaf, Paulson, Henry, Durr, Alexandra, Klockgether, Thomas, Ashizawa, Tetsuo, Lenglet, Christophe, Öz, Gülin
المصدر: Annals of Neurology. 93(4)
مصطلحات موضوعية: Humans, Activities of Daily Living, Spinocerebellar Ataxias, Magnetic Resonance Imaging, Magnetic Resonance Spectroscopy, Ataxia, Cerebellar Ataxia
وصف الملف: application/pdf
الوصول الحر: https://escholarship.org/uc/item/0p42w04gTest
-
3تقرير
المؤلفون: Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
مصطلحات موضوعية: Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/2205.06665Test
-
4مؤتمر
المؤلفون: Lenglet, Sergueï, Schmitt, Alan
المساهمون: Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Analyse sémantique et compilation pour la sécurité des environnements d'exécution (EPICURE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)
المصدر: FORTE 2024, LNCS ; FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems ; https://inria.hal.science/hal-04571340Test ; FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2024, Groningen, Netherlands. ⟨10.1007/978-3-031-62645-6_7⟩
مصطلحات موضوعية: Process calculi, Abstract machines, Scope extrusion, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
جغرافية الموضوع: Groningen, Netherlands
العلاقة: hal-04571340; https://inria.hal.science/hal-04571340Test; https://inria.hal.science/hal-04571340/documentTest; https://inria.hal.science/hal-04571340/file/forte.pdfTest
الإتاحة: https://doi.org/10.1007/978-3-031-62645-6_7Test
https://inria.hal.science/hal-04571340Test
https://inria.hal.science/hal-04571340/documentTest
https://inria.hal.science/hal-04571340/file/forte.pdfTest -
5تقرير
المؤلفون: Huin, Vincent, Coarelli, Giulia, Guemy, Clément, Boluda, Susana, Debs, Rabab, Mochel, Fanny, Stojkovic, Tanya, Grabli, David, Maisonobe, Thierry, Gaymard, Bertrand, Lenglet, Timothée, Tard, Céline, Davion, Jean-Baptiste, Sablonnière, Bernard, Monin, Marie-Lorraine, Ewenczyk, Claire, Viala, Karine, Charles, Perrine, Ber, Isabelle Le, Reilly, Mary, Houlden, Henry, Cortese, Andrea, Seilhean, Danielle, Brice, Alexis, Durr, Alexandra
المصدر: Brain - A Journal of Neurology , Oxford University Press (OUP), 2021
مصطلحات موضوعية: Quantitative Biology - Neurons and Cognition
الوصول الحر: http://arxiv.org/abs/2201.10143Test
-
6تقرير
المؤلفون: Carneiro, Fábio, Saracino, Dario, Huin, Vincent, Clot, Fabienne, Delorme, Cécile, Méneret, Aurélie, Thobois, Stéphane, Cormier, Florence, Corvol, Jean Christophe, Lenglet, Timothée, Vidailhet, Marie, Habert, Marie-Odile, Gabelle, Audrey, Beaufils, Émilie, Mondon, Karl, Tir, Mélissa, Andriuta, Daniela, Brice, Alexis, Deramecourt, Vincent, Ber, Isabelle Le
المصدر: Parkinsonism and Related Disorders, Elsevier, 2020, 80, pp.73-81
مصطلحات موضوعية: Quantitative Biology - Neurons and Cognition
الوصول الحر: http://arxiv.org/abs/2201.09654Test
-
7دورية أكاديمية
المؤلفون: Schmitt, C, Lenglet, H, Yu, A, Delaby, C, Benecke, A, Lefebvre, T, Letteron, P, Paradis, V, Wahlin, S, Sandberg, S, Harper, P, Sardh, E, Sandvik, AK, Hov, JR, Aarsand, AK, Chiche, L, Bazille, C, Scoazec, JY, To-Figueras, J, Carrascal, M, Abian, J, Mirmiran, A, Karim, Z, Deybach, JC, Puy, H, Peoc'h, K, Manceau, H, Gouya, L
المصدر: Journal of internal medicine. 284(1):78-91
مصطلحات موضوعية: Medicin och hälsovetenskap
-
8تقرير
مصطلحات موضوعية: Statistics - Methodology, Quantitative Biology - Quantitative Methods, Statistics - Machine Learning
الوصول الحر: http://arxiv.org/abs/2110.05377Test
-
9دورية أكاديمية
المؤلفون: Annick Lenglet, Omar Contigiani, Cono Ariti, Estivern Evens, Kessianne Charles, Carl-Frédéric Casimir, Rodnie Senat Delva, Colette Badjo, Harriet Roggeveen, Barbara Pawulska, Kate Clezy, Melissa McRae, Heiman Wertheim, Joost Hopman
المصدر: PLoS ONE, Vol 19, Iss 2, p e0298987 (2024)
وصف الملف: electronic resource
العلاقة: https://journals.plos.org/plosone/article/file?id=10.1371/journal.pone.0298987&type=printableTest; https://doaj.org/toc/1932-6203Test
-
10دورية أكاديمية
المؤلفون: Anna Maisa, Abdulhakeem Mohammed Lawal, Tarikul Islam, Chijioke Nwankwo, Bukola Oluyide, Adolphe Fotso, Harriet Roggeveen, Saskia van der Kam, Cono Ariti, Karla Bil, Annick Lenglet
المصدر: PLoS ONE, Vol 19, Iss 2, p e0298879 (2024)
وصف الملف: electronic resource
العلاقة: https://journals.plos.org/plosone/article/file?id=10.1371/journal.pone.0298879&type=printableTest; https://doaj.org/toc/1932-6203Test
النص الكامل