Zobrazeno 1 - 10
of 745
pro vyhledávání: '"Gilot P"'
We present a mechanized embedding of higher-order logic (HOL) and algebraic data types (ADT) into first-order logic with ZFC axioms. We implement this in the Lisa proof assistant for schematic first-order logic and its library based on axiomatic set
Externí odkaz:
http://arxiv.org/abs/2403.13403
Autor:
Sambit Sahoo, MBBS, PhD, Kathleen A. Derwin, PhD, Yuxuan Jin, MS, Peter B. Imrey, PhD, Eric T. Ricchetti, MD, Vahid Entezari, MD, MMSc, Joseph P. Iannotti, MD, PhD, Kurt P. Spindler, MD, Jason C. Ho, MD, Peter J. Evans, Lutul D. Farrow, Gregory J. Gilot, Anthony A. Miniaci, Mark S. Schickendantz, William H. Seitz, Alfred Serna, Kim L. Stearns, Greg Strnad
Publikováno v:
JSES International, Vol 7, Iss 4, Pp 568-573 (2023)
Background: This study’s purpose was to investigate the extent to which differences among operating surgeons may influence 1-year patient-reported outcome measures (PROMs) in patients undergoing rotator cuff repair (RCR) surgery, after controlling
Externí odkaz:
https://doaj.org/article/17a4e00a4784446bbdc4bbe0e3c0d4ea
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Valentin Ollivier, Rémi Choquet, Amandine Gamble, Matthieu Bastien, Benoit Combes, Emmanuelle Gilot‐Fromont, Maryline Pellerin, Jean‐Michel Gaillard, Jean‐François Lemaître, Hélène Verheyden, Thierry Boulinier
Publikováno v:
Ecology and Evolution, Vol 13, Iss 8, Pp n/a-n/a (2023)
Abstract Changes in the risk of exposure to infectious disease agents can be tracked through variations in antibody prevalence in vertebrate host populations. However, information on the temporal dynamics of the immune status of individuals is critic
Externí odkaz:
https://doaj.org/article/d7f01b6766c941b499a425ef82c8c06f
Autor:
Kevin Bévant, Matthis Desoteux, Gaëlle Angenard, Raphaël Pineau, Stefano Caruso, Corentin Louis, Panagiotis Papoutsoglou, Laurent Sulpice, David Gilot, Jessica Zucman‐Rossi, Cédric Coulouarn
Publikováno v:
Hepatology Communications, Vol 6, Iss 5, Pp 1157-1171 (2022)
Transforming growth factor beta (TGF‐β) plays a key role in tumor progression, notably as a potent inducer of epithelial–mesenchymal transition (EMT). However, all of the molecular effectors driving TGFβ‐induced EMT are not fully characterize
Externí odkaz:
https://doaj.org/article/88f8ea927575427898d86aa5d00ead50
Autor:
Kerstel, Erik, Gardelein, Arnaud, Barthelemy, Mathieu, Gilot, Yves, LeCoarer, Etienne, Rodrigo, Juana, Sequies, Thierry, Borne, Vincent, Bourdarot, Guillaume, Christidis, Alexis, Segura, Jesus, Boulanger, Benoit, Boutou, Veronique, Bouzat, Mylene, Chabanol, Mathieu, Fesquet, Laurent, Fourati, Hassen, Moulin, Michel, Niot, Jean-Michel, Bastos, Rodrigo Possamai, Robu, Bogdan, Rolland, Etienne, Toru, Sylvain, Fink, Matthias, Joshi, Siddarth Koduru, Ursin, Rupert
We present a ground-to-space quantum key distribution (QKD) mission concept and the accompanying feasibility study for the development of the low earth orbit CubeSat payload. The quantum information is carried by single photons with the binary codes
Externí odkaz:
http://arxiv.org/abs/1711.01886
Autor:
Serena Diazzi, Alberto Baeri, Julien Fassy, Margaux Lecacheur, Oskar Marin‐Bejar, Christophe A Girard, Lauren Lefevre, Caroline Lacoux, Marie Irondelle, Carine Mounier, Marin Truchi, Marie Couralet, Mickael Ohanna, Alexandrine Carminati, Ilona Berestjuk, Frederic Larbret, David Gilot, Georges Vassaux, Jean‐Christophe Marine, Marcel Deckert, Bernard Mari, Sophie Tartare‐Deckert
Publikováno v:
EMBO Molecular Medicine, Vol 14, Iss 3, Pp 1-22 (2022)
Abstract Lineage dedifferentiation toward a mesenchymal‐like state displaying myofibroblast and fibrotic features is a common mechanism of adaptive and acquired resistance to targeted therapy in melanoma. Here, we show that the anti‐fibrotic drug
Externí odkaz:
https://doaj.org/article/671e1303a548439c811055b9bfe4b17f
Autor:
Lucie Lemière, Alexandra Thiel, Boris Fuchs, Emmanuelle Gilot-Fromont, Anne G. Hertel, Andrea Friebe, Jonas Kindberg, Ole-Gunnar Støen, Jon M. Arnemo, Alina L. Evans
Publikováno v:
Frontiers in Ecology and Evolution, Vol 10 (2022)
IntroductionClimate change is altering the reproductive phenology of many organisms, but the factors that influence the timing of gestation in ursids are still poorly understood. Higher temperatures in spring are already causing an earlier den exit i
Externí odkaz:
https://doaj.org/article/b883dd7c15af4238b0720c57629fbb97