Zobrazeno 1 - 10
of 7 927
pro vyhledávání: '"P. Lamont"'
A key challenge in automated formal reasoning is the intractable search space, which grows exponentially with the depth of the proof. This branching is caused by the large number of candidate proof tactics which can be applied to a given goal. Noneth
Externí odkaz:
http://arxiv.org/abs/2410.11133
Artificial Intelligence for Theorem Proving has given rise to a plethora of benchmarks and methodologies, particularly in Interactive Theorem Proving (ITP). Research in the area is fragmented, with a diverse set of approaches being spread across seve
Externí odkaz:
http://arxiv.org/abs/2403.03401
Autor:
Fannie W. Shabangu, Tessa Munoz, Lora Van Uffelen, Bobbi J. Estabrook, Dawit Yemane, Kathleen M. Stafford, Trevor A. Branch, Els Vermeulen, Marcel A. van den Berg, Tarron Lamont
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-16 (2024)
Abstract Knowledge on the occurrence and behaviour of baleen whales around sub-Antarctic regions is limited, and usually based on short, seasonal sighting research from shore or research vessels and whaling records, neither of which provide accurate
Externí odkaz:
https://doaj.org/article/eecdeab732ef4c9f8be99c7ab4ad093a
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-12 (2024)
Abstract Porphyromonas gingivalis is a Gram-negative, anaerobic oral pathobiont, an etiological agent of periodontitis and the most commonly studied periodontal bacterium. Multiple low passage clinical isolates were sequenced, and their genomes compa
Externí odkaz:
https://doaj.org/article/b172ca62750043e58fadbbf701454325
Fire ants (Solenopsis invicta) cohesively aggregate via the formation of voluntary ant-to-ant attachments when under confinement or exposed to water. Once formed, these aggregations act as viscoelastic solids due to dynamic bond exchange between neig
Externí odkaz:
http://arxiv.org/abs/2307.11966
Autor:
Andrea Cortese, Sarah J. Beecroft, Stefano Facchini, Riccardo Curro, Macarena Cabrera-Serrano, Igor Stevanovski, Sanjog R. Chintalaphani, Hasindu Gamaarachchi, Ben Weisburd, Chiara Folland, Gavin Monahan, Carolin K. Scriba, Lein Dofash, Mridul Johari, Bianca R. Grosz, Melina Ellis, Liam G. Fearnley, Rick Tankard, Justin Read, Ashirwad Merve, Natalia Dominik, Elisa Vegezzi, Ricardo P. Schnekenberg, Gorka Fernandez-Eulate, Marion Masingue, Diane Giovannini, Martin B. Delatycki, Elsdon Storey, Mac Gardner, David J. Amor, Garth Nicholson, Steve Vucic, Robert D. Henderson, Thomas Robertson, Jason Dyke, Vicki Fabian, Frank Mastaglia, Mark R. Davis, Marina Kennerson, OPDM study group, Ros Quinlivan, Simon Hammans, Arianna Tucci, Melanie Bahlo, Catriona A. McLean, Nigel G. Laing, Tanya Stojkovic, Henry Houlden, Michael G. Hanna, Ira W. Deveson, Paul J. Lockhart, Phillipa J. Lamont, Michael C. Fahey, Enrico Bugiardini, Gianina Ravenscroft
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-15 (2024)
Abstract Oculopharyngodistal myopathy (OPDM) is an inherited myopathy manifesting with ptosis, dysphagia and distal weakness. Pathologically it is characterised by rimmed vacuoles and intranuclear inclusions on muscle biopsy. In recent years CGG •
Externí odkaz:
https://doaj.org/article/efb3c57b4f0d4386a06f31ca1da16fc6
Autor:
Wai Yan Yau, Catherine Ashton, Eoin Mulroy, Thomas Foltynie, Patricia Limousin, Jana Vandrovcova, Kunal P. Verma, Rick Stell, Mark Davis, Phillipa Lamont
Publikováno v:
Annals of Clinical and Translational Neurology, Vol 11, Iss 6, Pp 1636-1642 (2024)
Abstract While biallelic POLR3A loss‐of‐function variants are traditionally linked to hypomyelinating leukodystrophy, patients with a specific splice variant c.1909+22G>A manifest as adolescent‐onset spastic ataxia without overt leukodystrophy.
Externí odkaz:
https://doaj.org/article/606a1f831e304ba5bf12d09ef1a9615f
Autor:
SHiP Collaboration, C. Ahdida, A. Akmete, R. Albanese, A. Alexandrov, F. Alicante, J. Alt, S. Aoki, G. Arduini, J. J. Back, F. Baaltasar Dos Santos, F. Bardou, G. J. Barker, M. Battistin, J. Bauche, A. Bay, V. Bayliss, C. Betancourt, I. Bezshyiko, O. Bezshyyko, D. Bick, S. Bieschke, A. Blanco, J. Boehm, M. Bogomilov, I. Boiarska, K. Bondarenko, W. M. Bonivento, J. Borburgh, A. Boyarsky, R. Brenner, D. Breton, A. Brignoli, V. Büscher, A. Buonaura, S. Buontempo, S. Cadeddu, M. Calviani, M. Campanelli, M. Casolino, D. Centanni, N. Charitonidis, P. Chau, J. Chauveau, K.-Y. Choi, A. Chumakov, V. Cicero, M. Climescu, A. Conaboy, L. Congedo, K. Cornelis, M. Cristinziani, A. Crupano, G. M. Dallavalle, A. Datwyler, N. D’Ambrosio, G. D’Appollonio, R. de Asmundis, J. De Carvalho Saraiva, G. De Lellis, M. de Magistris, A. De Roeck, M. De Serio, D. De Simone, A. Di Crescenzo, L. Di Giulio, C. Dib, H. Dijkstra, L. A. Dougherty, V. Drohan, A. Dubreuil, O. Durhan, M. Ehlert, E. Elikkaya, F. Fabbri, F. Fedotovs, M. Ferrillo, M. Ferro-Luzzi, R. A. Fini, H. Fischer, P. Fonte, C. Franco, M. Fraser, R. Fresa, R. Froeschl, T. Fukuda, G. Galati, J. Gall, L. Gatignon, V. Gentile, B. Goddard, L. Golinka-Bezshyyko, A. Golutvin, P. Gorbounov, V. Gorkavenko, A. L. Grandchamp, E. Graverini, J.-L. Grenard, D. Grenier, A. M. Guler, G. J. Haefeli, C. Hagner, H. Hakobyan, I. W. Harris, E. van Herwijnen, C. Hessler, A. Hollnagel, B. Hosseini, G. Iaselli, A. Iuliano, R. Jacobsson, D. Joković, M. Jonker, I. Kadenko, V. Kain, B. Kaiser, C. Kamiscioglu, K. Kershaw, G. Khoriauli, Y. G. Kim, N. Kitagawa, J.-W. Ko, K. Kodama, D. I. Kolev, M. Komatsu, A. Kono, S. Kormannshaus, I. Korol, A. Korzenev, V. Kostyukhin, E. Koukovini Platia, S. Kovalenko, H. M. Lacker, M. Lamont, O. Lantwin, A. Lauria, K. S. Lee, K. Y. Lee, N. Leonardo, J.-M. Lévy, V. P. Loschiavo, L. Lopes, E. Lopez Sola, F. Lyons, V. Lyubovitskij, J. Maalmi, A.-M. Magnan, Y. Manabe, M. Manfredi, S. Marsh, A. M. Marshall, P. Mermod, A. Miano, S. Mikado, A. Mikulenko, D. A. Milstead, A. Montanari, M. C. Montesi, K. Morishima, Y. Muttoni, N. Naganawa, M. Nakamura, T. Nakano, P. Ninin, A. Nishio, S. Ogawa, J. Osborne, M. Ovchynnikov, N. Owtscharenko, P. H. Owen, P. Pacholek, B. D. Park, A. Pastore, M. Patel, A. Perillo-Marcone, G. L. Petkov, K. Petridis, J. Prieto Prieto, A. Prota, A. Quercia, A. Rademakers, A. Rakai, T. Rawlings, F. Redi, A. Reghunath, S. Ricciardi, M. Rinaldesi, Volodymyr Rodin, Viktor Rodin, P. Robbe, A. B. Rodrigues Cavalcante, H. Rokujo, T. Rovelli, O. Ruchayskiy, T. Ruf, F. Sanchez Galan, P. Santos Diaz, A. Sanz Ull, O. Sato, J. S. Schliwinski, W. Schmidt-Parzefall, M. Schumann, N. Serra, S. Sgobba, O. Shadura, M. Shaposhnikov, L. Shchutska, H. Shibuya, L. Shihora, S. Shirobokov, S. B. Silverstein, S. Simone, R. Simoniello, G. Soares, J. Y. Sohn, A. Sokolenko, E. Solodko, L. Stoel, M. E. Stramaglia, D. Sukhonos, Y. Suzuki, S. Takahashi, J. L. Tastet, I. Timiryasov, V. Tioukov, D. Tommasini, M. Torii, N. Tosi, D. Treille, R. Tsenov, G. Vankova-Kirilova, F. Vannucci, P. Venkova, V. Venturi, S. Vilchinski, Heinz Vincke, Helmut Vincke, C. Visone, S. van Waasen, R. Wanke, P. Wertelaers, O. Williams, J.-K. Woo, M. Wurm, S. Xella, D. Yilmaz, A. U. Yilmazer, C. S. Yoon, J. Zimmerman
Publikováno v:
European Physical Journal C: Particles and Fields, Vol 84, Iss 6, Pp 1-10 (2024)
Abstract The SHiP-charm project was proposed to measure the associated charm production induced by 400 GeV/c protons in a thick target, including the contribution from cascade production. An optimisation run was performed in July 2018 at CERN SPS usi
Externí odkaz:
https://doaj.org/article/cf5f8b7739614a70ad0977ce2e0ad8d9
Publikováno v:
Movement Ecology, Vol 12, Iss 1, Pp 1-13 (2024)
Abstract Background Individual variation in movement strategies of foraging loggerhead turtles have been documented on the scale of tens to hundreds of kilometers within single ocean basins. Use of different strategies among individuals may reflect v
Externí odkaz:
https://doaj.org/article/89b27ae9ea304d38aa4824febaa5bee8
Autor:
Thomas G. Hayhow, Beth Williamson, Mandy Lawson, Natalie Cureton, Erin L. Braybrooke, Andrew Campbell, Rodrigo J. Carbajo, Azadeh Cheraghchi-Bashi, Elisabetta Chiarparin, Coura R. Diène, Charlene Fallan, David I. Fisher, Frederick W. Goldberg, Lorna Hopcroft, Philip Hopcroft, Anne Jackson, Jason G. Kettle, Teresa Klinowska, Ulrike Künzel, Gillian Lamont, Hilary J. Lewis, Gareth Maglennon, Scott Martin, Pablo Morentin Gutierrez, Christopher J. Morrow, Myria Nikolaou, J. Willem M. Nissink, Patrick O’Shea, Radoslaw Polanski, Markus Schade, James S. Scott, Aaron Smith, Judith Weber, Joanne Wilson, Bin Yang, Claire Crafter
Publikováno v:
Communications Biology, Vol 7, Iss 1, Pp 1-17 (2024)
Abstract Targeting the estrogen receptor alpha (ERα) pathway is validated in the clinic as an effective means to treat ER+ breast cancers. Here we present the development of a VHL-targeting and orally bioavailable proteolysis-targeting chimera (PROT
Externí odkaz:
https://doaj.org/article/ec006f9560824ea494be6041bb1eeb60