Zobrazeno 1 - 10
of 725
pro vyhledávání: '"Van Cleemput, P."'
Autor:
Larson, C. E., Van Cleemput, N.
We describe a "top down" approach for automated theorem proving (ATP). Researchers might usefully investigate the forms of the theorems mathematicians use in practice, carefully examine how they differ and are proved in practice, and code all relevan
Externí odkaz:
http://arxiv.org/abs/2308.02540
Autor:
Helena Van Haecke, Dimitri Roels, Fanny Nerinckx, Heidi Schaballie, Petra Schelstraete, Linos Vandekerckhove, Jolien Van Cleemput, Wim Van den Broeck, Liesbeth Couck, Hannelore Hamerlinck, Stien Vandendriessche, Jerina Boelens, Inge Joniau
Publikováno v:
BMC Ophthalmology, Vol 24, Iss 1, Pp 1-5 (2024)
Abstract Background Only seven cases of ocular Spiroplasma infection have been reported to date, all presenting as congenital cataracts with concomitant intraocular inflammation. We describe the first case of Spiroplasma infection initially presentin
Externí odkaz:
https://doaj.org/article/8561846eb7834d97b8e5fdb3eff5b9f0
Autor:
Nerea Mora-Ayestaran, MD, Angela Dispenzieri, MD, Arnt V. Kristen, MD, Mathew S. Maurer, MD, Igor Diemberger, MD, Brian M. Drachman, MD, Martha Grogan, MD, Pritam Gupta, PhD, Oliver Glass, PhD, Leslie Amass, PhD, Pablo Garcia-Pavia, MD, PhD, Michele Emdin, Mazen Hanna, Olga Azevedo, Calogero Lino Cirami, Jose Gonzalez Costello, David Slosky, Henning Moelgaard, Jose Nativi Nicolau, Scott Hummel, Eun-Seok Jeon, Nowell Fine, Srinivas Murali, Edward Miller, Sanjiv Shah, Ronald Witteles, Marcia Waddington-Cruz, Daniel Lenihan, Yoshiki Sekijima, Johan Van Cleemput, Edileide de Barros Correia, Eve Cariou, Dianna Quan, Miriam Freimer, David Steidley, Anna Hüsing-Kabar, Violaine Plante-Bordeneuve, Hans Nienhuis, Jonas Wixner, Jeffrey Ralph, Hector Ventura, Sasa Zivkovic, Diego Delgado, Roberto Fernandéz Torrón, Stephen Gottlieb, William Cotts, Jose Tallaj, Robert Brunkhorst, Michael Polydefkis, Christopher Mueller, Carsten Tschoepe, Juan Gonzalez Moreno, Nitasha Sarswat, Jin Luo, James Tauras, Alberta Warner
Publikováno v:
JACC: Advances, Vol 3, Iss 8, Pp 101086- (2024)
Background: Wild-type transthyretin amyloidosis (ATTRwt amyloidosis) is primarily diagnosed in elderly men but diagnoses in younger patients and women have recently increased. Objectives: The purpose of this study was to examine age- and sex-related
Externí odkaz:
https://doaj.org/article/dc542adf430b4e7fb29d0bce4d17c600
Autor:
Meghan T. Hayden, Elisa Van Cleemput, Katharine N. Suding, Ann Lezberg, Brian Anacker, Laura E. Dee
Publikováno v:
Ecological Solutions and Evidence, Vol 5, Iss 3, Pp n/a-n/a (2024)
Abstract Mitigating impacts of global change on biodiversity is a pressing goal for land managers, but understanding impacts is often limited by the spatial and temporal constraints of traditional in situ data. Advances in remote sensing address this
Externí odkaz:
https://doaj.org/article/e4adef0da9224234b185cea74839ebb1
Autor:
Juliane Mielke, Maan Isabella Cajita, Kris Denhaerynck, Sabine Valenta, Fabienne Dobbels, Cynthia L. Russell, Sabina De Geest, the BRIGHT study team, Luis Almenar-Bonet, Andrea Cotait Ayoub, Fernanda Barone, Lut Berben, Andrée Bernard, Vicens Brossa-Loidi, Karyn Ryan Canales, Katherine St. Clair, Johan Van Cleemput, Bernice Coleman, Marisa G. Crespo-Leiro, Sandra Cupples, Patricia M. Davidson, Bartira De Aguiar Roza, Samira Scalso De Almeida, Paolo De Simone, Andreas Doesch, Flavio R. Epstein, Ashi Firouzi, Grant Fisher, Maureen Flattery, Albert Groenewoud, Haissam Haddad, Michelle Harkess, Eva Horvath, Alain Jean Poncelet, Annemarie Kaan, Andrew Kao, Stella Kozuszko, Christiane Kugler, Ugolino Livi, Kristin Ludrosky, Joanne Maddicks-Law, Magali Michel, Tara Miller, Paul Mohacsi, Maria Molina, Linda Ohler, Gareth Parry, Luciano Potenta, Cheryl Riotto, Carmen Segura Saint-Gerons, Laurent Sebbag, Javier Segovia-Cubero, Jacqueline Trammell
Publikováno v:
Transplant International, Vol 37 (2024)
A trustful relationship between transplant patients and their transplant team (interpersonal trust) is essential in order to achieve positive health outcomes and behaviors. We aimed to 1) explore variability of trust in transplant teams; 2) explore t
Externí odkaz:
https://doaj.org/article/b05f3b35dc5f4aff867721b7eac48a70
We propose the use of a conjecturing machine that suggests feature relationships in the form of bounds involving nonlinear terms for numerical features and boolean expressions for categorical features. The proposed Conjecturing framework recovers kno
Externí odkaz:
http://arxiv.org/abs/2011.11576
Autor:
Yu-Ling Yu, Qi-Fang Huang, De-Wei An, Julia Raad, Dries S. Martens, Agnieszka Latosinska, Katarzyna Stolarz-Skrzypek, Johan Van Cleemput, Ying-Qing Feng, Harald Mischak, Karel Allegaert, Peter Verhamme, Stefan Janssens, Tim S. Nawrot, Jan A. Staessen
Publikováno v:
Heliyon, Vol 10, Iss 2, Pp e24867- (2024)
Background: Immunosuppressive treatment in heart transplant (HTx) recipient causes osteoporosis. The urinary proteomic profile (UPP) includes peptide fragments derived from the bone extracellular matrix. Study aims were to develop and validate a mult
Externí odkaz:
https://doaj.org/article/4a45f0c1030a4db9ae5cc1f2dbe08ef3
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Graph Theory (November 5, 2021) dmtcs:6729
In this article we present theoretical and computational results on the existence of polyhedral embeddings of graphs. The emphasis is on cubic graphs. We also describe an efficient algorithm to compute all polyhedral embeddings of a given cubic graph
Externí odkaz:
http://arxiv.org/abs/2008.09467
Publikováno v:
Journal of Combinatorial Theory, Series B, Volume 154, May 2022, Pages 239-261
It is proven that for any integer $g \ge 0$ and $k \in \{ 0, \ldots, 10 \}$, there exist infinitely many 5-regular graphs of genus $g$ containing a 1-factorisation with exactly $k$ pairs of 1-factors that are perfect, i.e. form a hamiltonian cycle. F
Externí odkaz:
http://arxiv.org/abs/2008.03173
Unifying approaches by amongst others Archimedes, Kepler, Goldberg, Caspar and Klug, Coxeter, and Conway, and extending on a previous formalisation of the concept of local symmetry preserving (lsp) operations, we introduce a formal definition of loca
Externí odkaz:
http://arxiv.org/abs/2004.05501