Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Teodora Baluta"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:201-229
A transpiler converts code from one programming language to another. Many practical uses of transpilers require the user to be able to guide or customize the program produced from a given input program. This customizability is important for satisfyin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21d03d57ef31b91e75d30c9d19a7e0e1
https://doi.org/10.1145/3586034
https://doi.org/10.1145/3586034
Classification tasks on labeled graph-structured data have many important applications ranging from social recommendation to financial modeling. Deep neural networks are increasingly being used for node classification on graphs, wherein nodes with si
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a2474e04cfe4937036569049f3f003ae
Publikováno v:
ESEC/SIGSOFT FSE
Programming by Example (PBE) is a program synthesis paradigm in which the synthesizer creates a program that matches a set of given examples. In many applications of such synthesis (e.g., program repair or reverse engineering), we are to reconstruct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc9eca77c3c7839c33f2e656ba816f19
Publikováno v:
CCS
Analyzing structural properties of social networks, such as identifying their clusters or finding their most central nodes, has many applications. However, these applications are not supported by federated social networks that allow users to store th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d0958093f959c070bfad5eab95d8c90
Publikováno v:
ICSE (Companion Volume)
Despite the functional success of deep neural networks (DNNs), their trustworthiness remains a crucial open challenge. To address this challenge, both testing and verification techniques have been proposed. But these existing techniques pro- vide eit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::496a5600aa45aa423b3eb2443836f54d
Publikováno v:
CCS
Neural networks are increasingly employed in safety-critical domains. This has prompted interest in verifying or certifying logically encoded properties of neural networks. Prior work has largely focused on checking existential properties, wherein th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef78f66bd1c2e829d4c67908a3fcd8ef
https://doi.org/10.1145/3319535.3354245
https://doi.org/10.1145/3319535.3354245
Publikováno v:
NDSS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b63a56cd9d8479a1fc3f9f39987396c4
https://doi.org/10.14722/ndss.2019.23339
https://doi.org/10.14722/ndss.2019.23339
Publikováno v:
2017 Winter Simulation Conference (WSC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26d4b282415e09b4bad566dddddfdf14
https://doi.org/10.1109/wsc.2017.8248141
https://doi.org/10.1109/wsc.2017.8248141
Autor:
Adrian Boicean, Dan Bratu, Ciprian Bacila, Ciprian Tanasescu, Radu Sorin Fleacă, Calin Ilie Mohor, Andra Comaniciu, Teodora Băluță, Mihai Dan Roman, Radu Chicea, Adrian Nicolae Cristian, Adrian Hasegan, Sabrina Birsan, Horațiu Dura, Cosmin Ioan Mohor
Publikováno v:
Pathogens, Vol 12, Iss 6, p 766 (2023)
In a mutually beneficial connection with its host, the gut microbiota affects the host’s nutrition, immunity, and metabolism. An increasing number of studies have shown links between certain types of disease and gut dysbiosis or specific microorgan
Externí odkaz:
https://doaj.org/article/9e7546f9119143efae1600bf7e6d3efa