מאמרים עם הרשאות לגישה ציבורית - Aarti Guptaלמידע נוסף
לא זמינים באתר כלשהו: 5
Comparison between two reliable methods for accurate solution of fractional modified Fornberg–Whitham equation arising in water waves
AK Gupta, S Saha Ray
Journal of Computational and Nonlinear Dynamics 12 (4), 041004, 2017
הרשאות: Department of Science & Technology, India
A novel attempt for finding comparatively accurate solution for sine‐Gordon equation comprising Riesz space fractional derivative
AK Gupta, SS Ray
Mathematical Methods in the Applied Sciences 39 (11), 2871-2882, 2016
הרשאות: Department of Science & Technology, India
Trace-based analysis of memory corruption malware attacks
Z Xu, A Gupta, S Malik
Haifa Verification Conference, 67-82, 2017
הרשאות: US National Science Foundation, US Department of Defense
Direct contact four-point probe characterization of Si microwire absorbers for artificial photosynthesis
JT Engel, BE Blaikie, A Kumar, A Castañeda, A Gupta, DR Oliver
RSC Advances 6 (111), 110344-110348, 2016
הרשאות: Natural Sciences and Engineering Research Council of Canada
Monohydride signature as a key predictor of successful Si (110) surface functionalization
A Gupta, JP Bruce, K McEleney, MS Freund, DR Oliver
RSC Advances 6 (91), 88239-88243, 2016
הרשאות: Natural Sciences and Engineering Research Council of Canada
זמינים באתר כלשהו: 34
A general approach to network configuration verification
R Beckett, A Gupta, R Mahajan, D Walker
Proceedings of the Conference of the ACM Special Interest Group on Data …, 2017
הרשאות: US National Science Foundation
Instruction-level abstraction (ila) a uniform specification for system-on-chip (soc) verification
BY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S Malik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018
הרשאות: US National Science Foundation, US Department of Defense
Control plane compression
R Beckett, A Gupta, R Mahajan, D Walker
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018
הרשאות: US National Science Foundation
Quantified invariants via syntax-guided synthesis
G Fedyukovich, S Prabhu, K Madhukar, A Gupta
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
הרשאות: US National Science Foundation
Flymc: Highly scalable testing of complex interleavings in distributed systems
JF Lukman, H Ke, CA Stuardo, RO Suminto, DH Kurniawan, D Simon, ...
Proceedings of the Fourteenth EuroSys Conference 2019, 1-16, 2019
הרשאות: US National Science Foundation
Solving constrained horn clauses using syntax and data
G Fedyukovich, S Prabhu, K Madhukar, A Gupta
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
הרשאות: US National Science Foundation
Space telescope and optical reverberation mapping project. VII. Understanding the ultraviolet anomaly in NGC 5548 with X-Ray spectroscopy
S Mathur, A Gupta, K Page, RW Pogge, Y Krongold, MR Goad, SM Adams, ...
The Astrophysical Journal 846 (1), 55, 2017
הרשאות: US National Science Foundation, US Department of Energy, US National …
Lemma synthesis for automating induction over algebraic data types
W Yang, G Fedyukovich, A Gupta
Principles and Practice of Constraint Programming: 25th International …, 2019
הרשאות: US National Science Foundation
Prognostic model to predict postoperative acute kidney injury in patients undergoing major gastrointestinal surgery based on a national prospective observational cohort study
STARSurg Collaborative, ...
BJS open 2 (6), 400-410, 2018
הרשאות: British Heart Foundation, Cancer Research UK, National Institute for Health …
Magnetotelluric investigation of lithospheric electrical structure beneath the Dharwar Craton in south India: Evidence for mantle suture and plume-continental interaction
D Malleswari, K Veeraswamy, KKA Azeez, AK Gupta, N Babu, PK Patro, ...
Geoscience Frontiers 10 (5), 1915-1930, 2019
הרשאות: Council of Scientific and Industrial Research, India
Association between peri‐operative angiotensin‐converting enzyme inhibitors and angiotensin‐2 receptor blockers and acute kidney injury in major elective non‐cardiac surgery: a …
STARSurg Collaborative, TM Drake, LK Cheung, F Gaba, J Glasbey, ...
Anaesthesia 73 (10), 1214-1222, 2018
הרשאות: British Heart Foundation, Cancer Research UK, National Institute for Health …
Alive-FP: Automated verification of floating point based peephole optimizations in LLVM
D Menendez, S Nagarakatte, A Gupta
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016
הרשאות: US National Science Foundation
Syntax-guided termination analysis
G Fedyukovich, Y Zhang, A Gupta
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
הרשאות: US National Science Foundation
Lazy self-composition for security verification
W Yang, Y Vizel, P Subramanyan, A Gupta, S Malik
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
הרשאות: US National Science Foundation
Exploiting synchrony and symmetry in relational verification
L Pick, G Fedyukovich, A Gupta
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
הרשאות: US National Science Foundation
המידע על הפרסום ועל הגורמים המממנים נקבע באופן אוטומטי על ידי תוכנת מחשב