المؤلفون: Bhatia, Sahil, Qiu, Jie, Hasabnis, Niranjan, Seshia, Sanjit A., Cheung, Alvin

مصطلحات موضوعية: Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2406.03003Test

المؤلفون: Mora, Federico, Wong, Justin, Lepe, Haley, Bhatia, Sahil, Elmaaroufi, Karim, Varghese, George, Gonzalez, Joseph E., Polgreen, Elizabeth, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Machine Learning

الوصول الحر: http://arxiv.org/abs/2406.03636Test

المؤلفون: Qiu, Jie, Cai, Colin, Bhatia, Sahil, Hasabnis, Niranjan, Seshia, Sanjit A., Cheung, Alvin

مصطلحات موضوعية: Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2404.18249Test

المؤلفون: Nishida, Yuto, Bhatia, Sahil, Laddad, Shadaj, Genc, Hasan, Shao, Yakun Sophia, Cheung, Alvin

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Hardware Architecture

الوصول الحر: http://arxiv.org/abs/2308.06410Test

المؤلفون: Bhatia, Sahil

مرشدي الرسالة: McDougall, Mary P.

مصطلحات موضوعية: Mouse coils, Phased array

وصف الملف: application/pdf

الإتاحة: http://hdl.handle.net/1969.1/ETD-TAMU-2009-05-797Test

المؤلفون: Bhatia, Sahil, Padhi, Saswat, Natarajan, Nagarajan, Sharma, Rahul, Jain, Prateek

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Programming Languages, Computer Science - Software Engineering, Statistics - Machine Learning

الوصول الحر: http://arxiv.org/abs/1911.11728Test

المؤلفون: Miralles, Pablo, Thangavel, Kathiravan, Fulvio Scannapieco, Antonio, Jagadam, Nitya, Baranwal, Prerna, Faldu, Bhavin, Abhang, Ruchita, Bhatia, Sahil, Bonnart, Sebastien, Bhatnagar, Ishita, Batul, Beenish, Prasad, Pallavi, Ortega-González, Héctor, Joseph, Harrish, More, Harshal, Morchedi, Sondes, Kumar Panda, Aman, Zaccaria Di Fraia, Marco, Wischert, Daniel, Stepanova, Daria

المساهمون: Miralles, Pablo, Thangavel, Kathiravan, Fulvio Scannapieco, Antonio, Jagadam, Nitya, Baranwal, Prerna, Faldu, Bhavin, Abhang, Ruchita, Bhatia, Sahil, Bonnart, Sebastien, Bhatnagar, Ishita, Batul, Beenish, Prasad, Pallavi, Ortega-González, Héctor, Joseph, Harrish, More, Harshal, Morchedi, Sonde, Kumar Panda, Aman, Zaccaria Di Fraia, Marco, Wischert, Daniel, Stepanova, Daria

مصطلحات موضوعية: Artificial Intelligence, Astrionic, Earth Observation, Edge Computing, Machine Learning, Neural Network, Remote Sensing, State-of-the-art

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001007526600001; journal:ADVANCES IN SPACE RESEARCH; https://hdl.handle.net/11573/1672108Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85150809786

الإتاحة: https://doi.org/10.1016/j.asr.2023.02.025Test
https://hdl.handle.net/11573/1672108Test

المؤلفون: Bhatia, Sahil, Kohli, Sumer, Seshia, Sanjit A., Cheung, Alvin

المساهمون: Sahil Bhatia and Sumer Kohli and Sanjit A. Seshia and Alvin Cheung

مصطلحات موضوعية: Program Synthesis, Code Transpilation, DSLs, Verification

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023); urn:nbn:de:0030-drops-182316; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.38Test

الإتاحة: https://doi.org/10.4230/LIPIcs.ECOOP.2023.38Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-182316Test

المؤلفون: Bhatia, Sahil, Vishwakarma, Lokendra, Das, Debasis

المصدر: 2024 International Conference on Information Networking (ICOIN)

الإتاحة: https://doi.org/10.1109/icoin59985.2024.10572111Test
http://xplorestaging.ieee.org/ielx8/10572035/10572030/10572111.pdf?arnumber=10572111Test

المؤلفون: Bhatia, Sahil, Singh, Rishabh

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Computer Science - Learning, Computer Science - Software Engineering

الوصول الحر: http://arxiv.org/abs/1603.06129Test