Zobrazeno 1 - 10
of 7 972
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
Publikováno v:
IET Radar, Sonar & Navigation, Vol 18, Iss 11, Pp 2066-2076 (2024)
Abstract This paper studies the performance of target detection and classification algorithms applied to synthetic aperture radar (SAR) data. We describe a process to merge measured environmental SAR scene images with target image chips to produce a
Externí odkaz:
https://doaj.org/article/ec42d902a0f14f42a1299038b93f1715
Publikováno v:
Biogeosciences, Vol 21, Pp 5261-5276 (2024)
We conducted sediment trap experiments in the Benguela Upwelling System (BUS) in the southeastern Atlantic Ocean to study the influence of zooplankton on the flux of particulate organic carbon (POC) through the water column and its sedimentation. A t
Externí odkaz:
https://doaj.org/article/7e13ebcdd5d8436889c68398369effb3
Publikováno v:
BMC Public Health, Vol 24, Iss 1, Pp 1-12 (2024)
Abstract Background Loneliness is a common experience following stroke. Stroke support groups may protect against loneliness, but little is known about how these groups exert their influence. This research drew upon current theorising on the role of
Externí odkaz:
https://doaj.org/article/0e24d34ec03646da83a337ab7f2d5a1d
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:
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
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:
Lakshmi Balaji, Robin Forbes, Anita Cairns, Hugo Sampaio, Andrew J. Kornberg, Lauren Sanders, Phillipa Lamont, Christina Liang, Kristi J. Jones, Kristen Nowak, Cullen O'Gorman, Ian Woodcock, Nancy Briggs, Eppie M. Yiu, Michelle A. Farrar, Didu Kariyawasam
Publikováno v:
The Lancet Regional Health. Western Pacific, Vol 53, Iss , Pp 101237- (2024)
Summary: Background: New paradigms of diagnosis and treatment have changed the neurodegenerative trajectory for individuals with spinal muscular atrophy (SMA). Registries are a critical tool to provide real-world data on treatment patterns, their eff
Externí odkaz:
https://doaj.org/article/ad888b22332f4698b9ba4d648a9e4b48