Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Pranav Garg"'
Autor:
Pranav Garg, Srinivasan H. Sengamedu
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1757-1787
Static Analysis tools have rules for several code quality issues and these rules are created by experts manually. In this paper, we address the problem of automatic synthesis of code quality rules from examples. We formulate the rule synthesis proble
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d36acc92f21241f3c73d04399a26df8
https://doi.org/10.1145/3563350
https://doi.org/10.1145/3563350
The efficacy of vaccines against the SARS-CoV-2 virus significantly declines with the emergence of mutant strains, prompting investigation into the feasibility of targeting highly conserved but often cryptic regions on the S2 domain of spike protein.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f32372f164fc7bca123a2117fb93255
https://doi.org/10.1101/2023.03.05.531227
https://doi.org/10.1101/2023.03.05.531227
Publikováno v:
Macroeconomics and Finance in Emerging Market Economies. :1-17
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::feee5db0658cb3df79e35b3641104868
https://doi.org/10.1080/17520843.2022.2067682
https://doi.org/10.1080/17520843.2022.2067682
Publikováno v:
2022 2nd International Conference on Advance Computing and Innovative Technologies in Engineering (ICACITE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64a09b3b3a562cee833aa1daa97d314d
https://doi.org/10.1109/icacite53722.2022.9823848
https://doi.org/10.1109/icacite53722.2022.9823848
Autor:
Pranav, Garg, Sabrina, Semmler, Charlotte, Baudouin, Christine, Vande Velde, Steven S, Plotkin
Publikováno v:
Journal of Molecular Biology. 434:167697
Amyotrophic lateral sclerosis (ALS) is a fatal neurodegenerative disease primarily impacting motor neurons. Mutations in superoxide dismutase 1 (SOD1) are the second most common cause of familial ALS. Several of these mutations lead to misfolding or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb2c1a2d1fe0aaf47b15d9f9bbd30e77
https://doi.org/10.1016/j.jmb.2022.167697
https://doi.org/10.1016/j.jmb.2022.167697
Autor:
Alexandra T. Star, Heidi M. McBride, Thomas M. Durcan, Elizabeth M. Meiering, Myriam Gagné, Janice Robertson, Christine Vande Velde, Jean-François Trempe, Sabrina Semmler, Neil R. Cashman, Pranav Garg, Elise Caron, Andrew N. Bayne, Nathalie Grandvaux, Steven S. Plotkin, Laurie Destroismaisons, Yousra Khalfallah, Sarah Pickles, Charlotte Baudouin, Mathilde Chaineau, Arsalan S. Haqqani, Emeline Hamon-Keromen
Publikováno v:
J Biol Chem
Amyotrophic lateral sclerosis (ALS) is a fatal disease, characterized by the selective loss of motor neurons leading to paralysis. Mutations in the gene encoding superoxide dismutase 1 (SOD1) are the second most common cause of familial ALS, and cons
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e140f4f50d7b9cd9106484395b1381a
https://nrc-publications.canada.ca/eng/view/object/?id=a04144de-e1cd-4b3e-a9fd-85a9f8650044
https://nrc-publications.canada.ca/eng/view/object/?id=a04144de-e1cd-4b3e-a9fd-85a9f8650044
Publikováno v:
Journal of Automated Reasoning
We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counterexample guided inductive synth
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5aa9aabc3906321fbfb0b26748994bc0
https://hdl.handle.net/21.11116/0000-0008-7CCB-921.11116/0000-0008-7CCD-7
https://hdl.handle.net/21.11116/0000-0008-7CCB-921.11116/0000-0008-7CCD-7
Publikováno v:
International Conference on Intelligent Computing and Smart Communication 2019 ISBN: 9789811506321
Unmanned Aerial Vehicle (UAV) applications require capturing and analysis of aerial images and thus necessitate identification of obstacles, recognition of objects from a given set within images, and analogous tasks. In situations where the navigatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::324b13d531858a115ae5ef8c1a45506c
https://doi.org/10.1007/978-981-15-0633-8_102
https://doi.org/10.1007/978-981-15-0633-8_102
Publikováno v:
AISec@CCS
Many forms of interaction between computer systems and users are recorded in the form of event records, such as login events, API call records, bank transaction records, etc. These records are often comprised of high-dimensional categorical variables
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ce73abd6d188aa16310c605bf1bbd84
https://doi.org/10.1145/3338501.3357368
https://doi.org/10.1145/3338501.3357368
Autor:
Steven S. Plotkin, Neil R. Cashman, Elise Caron, Laurie Destroismaisons, Alexandra T. Star, Mathilde Chaineau, Andrew N. Bayne, Charlotte Baudouin, Christine Vande Velde, Thomas M. Durcan, Yousra Khalfallah, Elizabeth M. Meiering, Heidi M. McBride, Myriam Gagné, Pranav Garg, Janice Robertson, Sabrina Semmler, Sarah Pickles, Arsalan S. Haqqani, Nathalie Grandvaux, Jean-François Trempe, Emeline Hamon-Keromen
Amyotrophic lateral sclerosis (ALS) is a fatal disease, characterized by the selective loss of motor neurons leading to paralysis. Mutations in the gene encoding superoxide dismutase1(SOD1) are the second most common cause of familial ALS, and consid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::231767bf007cffe9a8e0311f65929bfb