Zobrazeno 1 - 10
of 805
pro vyhledávání: '"A. Lewis-Smith"'
Autor:
Lewis-Smith, Andrew
Publikováno v:
EPTCS 381, 2023, pp. 20-31
We provide a generalisation of Kripke semantics for Petr Hajek's Basic Logic and prove soundness and completeness of the same with respect to our semantics. We find this semantics easily specialises to the linearly-ordered Kripke frames for Godel-Dum
Externí odkaz:
http://arxiv.org/abs/2308.04518
Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary) relations
Externí odkaz:
http://arxiv.org/abs/2301.02266
Autor:
G. Núñez Manjarres, D. Lewis-Smith, R. Morcos, B. González Giráldez, R. Steensbjerre Møller, Á. Aledo Serrano
Publikováno v:
Neurology Perspectives, Vol 4, Iss , Pp 83-84 (2024)
Externí odkaz:
https://doaj.org/article/2343daff90204d27ab013d821b3aad06
Autor:
Ahuja, Latika, Pearson, Oliver, Garbett, Kirsty M., Diedrichs, Phillippa C., Hasan, Farheen, Vitoratou, Silia, Khanna, Preeti, Dhillon, Megha, Shroff, Hemal, Lewis-Smith, Helena
Publikováno v:
In Body Image December 2024 51
Autor:
Galer, Peter D., Parthasarathy, Shridhar, Xian, Julie, McKee, Jillian L., Ruggiero, Sarah M., Ganesan, Shiva, Kaufman, Michael C., Cohen, Stacey R., Haag, Scott, Chen, Chen, Ojemann, William K.S., Kim, Dan, Wilmarth, Olivia, Vaidiswaran, Priya, Sederman, Casey, Ellis, Colin A., Gonzalez, Alexander K., Boßelmann, Christian M., Lal, Dennis, Sederman, Rob, Lewis-Smith, David, Litt, Brian, Helbig, Ingo
Publikováno v:
In Genetics in Medicine November 2024 26(11)
Autor:
Lewis-Smith, Connor, Norman, Karma
Publikováno v:
In Ocean and Coastal Management 1 September 2024 255
Publikováno v:
Conservation Science and Practice, Vol 6, Iss 5, Pp n/a-n/a (2024)
Abstract Conservation planners often rely on heuristic indices when challenged with prioritizing potential projects under a constrained budget. This paper presents a comparative analysis of several prioritization indices (PIs) of culvert fish passage
Externí odkaz:
https://doaj.org/article/f2f01d470bcd45038f1cf11b0cb217cc
Autor:
Hasan, Farheen, Garbett, Kirsty M., Diedrichs, Phillippa C., Chaudhry, Anshula, Ahuja, Latika, Uglik-Marucha, Eleanora, Vitoratou, Silia, Dhillon, Megha, Shroff, Hemal, Lewis-Smith, Helena
Publikováno v:
In Body Image March 2024 48
Autor:
Ludovica Montanucci, David Lewis-Smith, Ryan L. Collins, Lisa-Marie Niestroj, Shridhar Parthasarathy, Julie Xian, Shiva Ganesan, Marie Macnee, Tobias Brünger, Rhys H. Thomas, Michael Talkowski, Epi25 Collaborative, Ingo Helbig, Costin Leu, Dennis Lal
Publikováno v:
Nature Communications, Vol 14, Iss 1, Pp 1-19 (2023)
Abstract Copy number variants (CNV) are established risk factors for neurodevelopmental disorders with seizures or epilepsy. With the hypothesis that seizure disorders share genetic risk factors, we pooled CNV data from 10,590 individuals with seizur
Externí odkaz:
https://doaj.org/article/5f673f8d63e1481fb289b59e8453a1ee
Autor:
Carmody, Leigh C., Gargano, Michael A., Toro, Sabrina, Vasilevsky, Nicole A., Adam, Margaret P., Blau, Hannah, Chan, Lauren E., Gomez-Andres, David, Horvath, Rita, Kraus, Megan L., Ladewig, Markus S., Lewis-Smith, David, Lochmüller, Hanns, Matentzoglu, Nicolas A., Munoz-Torres, Monica C., Schuetz, Catharina, Seitz, Berthold, Similuk, Morgan N., Sparks, Teresa N., Strauss, Timmy, Swietlik, Emilia M., Thompson, Rachel, Zhang, Xingmin Aaron, Mungall, Christopher J., Haendel, Melissa A., Robinson, Peter N.
Publikováno v:
In Med 8 December 2023 4(12):913-927