E-LIB Suche - Ergebnisse für: Prasad, Siddhartha

1

ContextQ: Generated Questions to Support Meaningful Parent-..:

, In: Proceedings of the 23rd Annual ACM Interaction Design and Children Conference,

Dietz Smith, Griffin ; Prasad, Siddhartha ; Davidson, Matt J... - p. 408-423 , 2024

2

Forge: A Tool and Language for Teaching Formal Methods:

Nelson, Tim ; Greenman, Ben ; Prasad, Siddhartha...
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 613-641 , 2024

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

3

Generating Programs Trivially: Student Use of Large Languag..:

, In: Proceedings of the ACM Conference on Global Computing Education Vol 1,

Prasad, Siddhartha ; Greenman, Ben ; Nelson, Tim. - p. 126-132 , 2023

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

4

Making Hay from Wheats: A Classsourcing Method to Identify ..:

, In: Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research,

Prasad, Siddhartha ; Greenman, Ben ; Nelson, Tim.. - p. 1-7 , 2022

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

5

Conceptual Mutation Testing for Student Programming Misconc..:

Prasad, Siddhartha ; Greenman, Ben ; Nelson, Tim.
http://arxiv.org/abs/2401.00021. , 2023

Link: http://arxiv.org/abs/240..

6

Supplementary Material: Generating Programs Trivially: Stud..:

Prasad, Siddhartha ; Greenman, Benjamin ; Nelson, Tim.
doi:10.5281/zenodo.8326444. , 2023

Link: https://zenodo.org/recor..

7

Large-Scale Intelligent Microservices:

Hamilton, Mark ; Gonsalves, Nick ; Lee, Christina...
http://arxiv.org/abs/2009.08044. , 2020

Link: http://arxiv.org/abs/200..

8

Development and Characterization of Lightweight ZrB2–B4C Fu..:

, In: The Minerals, Metals & Materials Series; TMS 2024 153rd Annual Meeting & Exhibition Supplemental Proceedings,

Naik, Ajit Kumar ; Prasad, D. K. V. D. ; Laha, Tapas. - p. 522-529 , 2024

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

9

Clinical features and outcomes of Ewing sarcoma in infants:..:

Cheriyalinkal Parambil, Badira ; Prasad, Maya ; Mohan Gollamudi, Venkata Rama...
Pediatric Hematology Oncology Journal. 9 (2024) 3 - p. 161-163 , 2024

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

10

MemSnap: A Fast Adaptive Snapshot Algorithm for RMWable Sha..:

, In: Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing,

Jayanti, Prasad ; Jayanti, Siddhartha ; Jayanti, Sucharita - p. 25-35 , 2024

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

11

A Universal, Sound, and Complete Forward Reasoning Techniqu..:

Jayanti, Prasad ; Jayanti, Siddhartha ; Yavuz, Ugur.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 2456-2484 , 2024

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

12

List of contributors:

, In: Recent Frontiers of Phytochemicals,

Abukhader, Rose ; Agrawal, R.S. ; Ahmad, Iqrar... - p. xix-xxiii , 2023

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

13

Contributors:

, In: Agricultural Soil Sustainability and Carbon Management,

Ahmed, Safik ; Aiyelari, EmilOlorun A. ; Alam, Khurshid... - p. xi-xvi , 2023

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

14

Development of Empirical and Artificial Neural Network Mode..:

Ahuja, Mayank ; Mishra, Devi Prasad ; Mohanty, Debadutta..
ACS Omega. 8 (2023) 34 - p. 31480-31492 , 2023

Link: https://doi.org/10.1021/..

15

Epidemiology, prognostication and treatment outcome of gast..:

Prasad S., Neena ; Meyur, Suman ; Maiti Das, Sumana...
Biomedicine. 43 (2023) 1 - p. 183-188 , 2023

Link: https://doi.org/10.51248..