Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Hitarth, S."'
Invariants are key to formal loop verification as they capture loop properties that are valid before and after each loop iteration. Yet, generating invariants is a notorious task already for syntactically restricted classes of loops. Rather than gene
Externí odkaz:
http://arxiv.org/abs/2310.05120
Membership inference (MI) attacks highlight a privacy weakness in present stochastic training methods for neural networks. It is not well understood, however, why they arise. Are they a natural consequence of imperfect generalization only? Which unde
Externí odkaz:
http://arxiv.org/abs/2209.08615
Autor:
Praveen, M., Hitarth, S.
Traditional ways of storing and querying data do not work well in scenarios where data is being generated continuously and quick decisions need to be taken. For example, in hospital intensive care units, signals from multiple devices need to be monit
Externí odkaz:
http://arxiv.org/abs/2209.04244
Template-based synthesis, also known as sketching, is a localized approach to program synthesis in which the programmer provides not only a specification, but also a high-level ``sketch'' of the program. The sketch is basically a partial program that
Externí odkaz:
http://arxiv.org/abs/2209.03602
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Lecture Notes in Electrical Engineering ISBN: 9789811999888
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffba799ab1cfb3d73a597e214c26587e
https://doi.org/10.1007/978-981-19-9989-5_12
https://doi.org/10.1007/978-981-19-9989-5_12
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Hitarth S Menon
Publikováno v:
International Journal of Scientific and Research Publications (IJSRP). 9:p95103
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33cba67dcfe0a3cc50b39d76dc92d963
https://doi.org/10.29322/ijsrp.9.11.2019.p95103
https://doi.org/10.29322/ijsrp.9.11.2019.p95103
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.