E-LIB Suche - Ergebnisse für: Garg, Pranav

1

De novo design of robust and mutation-tolerant "receptorbod..:

Sasidharan, Santanu ; Hsueh, Shawn C.C. ; Garg, Pranav..
Biophysical Journal. 123 (2024) 3 - p. 200a , 2024

Link: https://doi.org/10.1016/..

2

Testing the feasibility of targeting a conserved region on ..:

Garg, Pranav ; Hsueh, Shawn C.C. ; Plotkin, Steven S.
Biophysical Journal. 123 (2024) 8 - p. 992-1005 , 2024

Link: https://doi.org/10.1016/..

3

Misfolding-Associated Exposure of Natively Buried Residues ..:

Garg, Pranav ; Semmler, Sabrina ; Baudouin, Charlotte..
Journal of Molecular Biology. 434 (2022) 16 - p. 167697 , 2022

Link: https://doi.org/10.1016/..

4

Synthesizing code quality rules from examples:

Garg, Pranav ; Sengamedu, Srinivasan H.
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1757-1787 , 2022

Link: https://doi.org/10.1145/..

5

Driver Drowsiness Detection System using DLib:

, In: 2022 2nd International Conference on Advance Computing and Innovative Technologies in Engineering (ICACITE),

Shome, Anusmriti ; Jain, Aman ; Choudhary, Vishal... - p. 193-197 , 2022

Link: https://doi.org/10.1109/..

6

A Learning-Based Approach to Synthesizing Invariants for In..:

Neider, Daniel ; Madhusudan, P. ; Saha, Shambwaditya..
Journal of Automated Reasoning. 64 (2020) 7 - p. 1523-1552 , 2020

Link: https://doi.org/10.1007/..

7

TNF receptor–associated factor 6 interacts with ALS-linked ..:

Semmler, Sabrina ; Gagné, Myriam ; Garg, Pranav...
Journal of Biological Chemistry. 295 (2020) 12 - p. 3808-3825 , 2020

Link: https://doi.org/10.1074/..

8

CADENCE : Conditional Anomaly Detection for Events Using..:

, In: Proceedings of the 12th ACM Workshop on Artificial Intelligence and Security,

Amin, Mohammad Ruhul ; Garg, Pranav ; Coskun, Baris - p. 71-82 , 2019

Link: https://dl.acm.org/doi/1..

9

Sorcar: Property-Driven Algorithms for Learning Conjunctive..:

, In: Static Analysis; Lecture Notes in Computer Science,

Neider, Daniel ; Saha, Shambwaditya ; Garg, Pranav. - p. 323-346 , 2019

Link: https://doi.org/10.1007/..

10

Image Processing for UAV Using Deep Convolutional Encoder–D..:

, In: International Conference on Intelligent Computing and Smart Communication 2019; Algorithms for Intelligent Systems,

Hinge, Abhiraj ; Garg, Pranav ; Goveas, Neena - p. 1009-1015 , 2019

Link: https://doi.org/10.1007/..

11

Knowledge sourcing by multidivisional firms:

Garg, Pranav ; Zhao, Minyuan
Strategic Management Journal. 39 (2018) 13 - p. 3326-3354 , 2018

Link: https://doi.org/10.1002/..

12

Dancing with the stars: Benefits of a star employee's tempo..:

Chen, John S. ; Garg, Pranav
Strategic Management Journal. 39 (2018) 5 - p. 1239-1267 , 2018

Link: https://doi.org/10.1002/..

13

Horn-ICE learning for synthesizing invariants and contracts:

Ezudheen, P. ; Neider, Daniel ; D'Souza, Deepak..
Proceedings of the ACM on Programming Languages. 2 (2018) OOPSLA - p. 1-25 , 2018

Link: https://dl.acm.org/doi/1..

14

Knowledge sourcing by multidivisional firms:

Garg, Pranav ; Zhao, Minyuan
Strategic Management Journal. 39 (2018) 13 - p. 3326-3354 , 2018

Link: https://www.jstor.org/st..

15

Invariant Synthesis for Incomplete Verification Engines:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Neider, Daniel ; Garg, Pranav ; Madhusudan, P... - p. 232-250 , 2018

Link: https://doi.org/10.1007/..