Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Guy Amir"'
Autor:
Edward G. Smith, Joachim M. Surm, Jason Macrander, Adi Simhi, Guy Amir, Maria Y. Sachkova, Magda Lewandowska, Adam M. Reitzel, Yehu Moran
Publikováno v:
Nature Communications, Vol 14, Iss 1, Pp 1-17 (2023)
Venom is a complex trait with unresolved underlying toxin expression dynamics. Here, the authors compare expression across sea anemone species, revealing variation in dominant toxin diploid copy number across populations which generates distinct hapl
Externí odkaz:
https://doaj.org/article/819f1ff4463743b88a496486a1b92143
Publikováno v:
SN Computer Science. 4
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d82f741fb7352355a29cdb82d7b5d875
https://doi.org/10.1007/s42979-022-01575-2
https://doi.org/10.1007/s42979-022-01575-2
Autor:
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308222
Deep reinforcement learning (DRL) has become a dominant deep-learning paradigm for tasks where complex policies are learned within reactive systems. Unfortunately, these policies are known to be susceptible to bugs. Despite significant progress in DN
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21274a34d1e5023bd461944799ae564a
https://doi.org/10.1007/978-3-031-30823-9_31
https://doi.org/10.1007/978-3-031-30823-9_31
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::afee353c0395dc6b4422700e9c84f309
https://doi.org/10.1007/978-3-031-27481-7_38
https://doi.org/10.1007/978-3-031-27481-7_38
Autor:
Edward G. Smith, Joachim M. Surm, Jason Macrander, Adi Simhi, Guy Amir, Maria Y. Sachkova, Magda Lewandowska, Adam M. Reitzel, Yehu Moran
Venom is a complex trait with substantial inter- and intraspecific variability resulting from strong selective pressures acting on the expression of many toxic proteins. However, understanding the processes underlying the toxin expression dynamics th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::20f5bbe28d7ec9d0d640dd19d839f62b
https://doi.org/10.1101/2022.06.22.497252
https://doi.org/10.1101/2022.06.22.497252
Autor:
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
Publikováno v:
Computer Aided Verification ISBN: 9783031131844
Neural networks are very successful at detecting patterns in noisy data, and have become the technology of choice in many fields. However, their usefulness is hampered by their susceptibility to adversarial attacks. Recently, many methods for measuri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::622bedb56b63fbaf9dae16a10380b138
https://doi.org/10.1007/978-3-031-13185-1_11
https://doi.org/10.1007/978-3-031-13185-1_11
Publikováno v:
SER&IP@ICSE
Using multiple monitors is commonly thought to improve productivity, but this is hard to check experimentally. We use a survey, taken by 101 practitioners of which 80% have coded professionally for at least 2 years, to assess subjective perspectives
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0005207ba07328cd2768b5806883a16
http://arxiv.org/abs/2103.13198
http://arxiv.org/abs/2103.13198
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030720124
TACAS (2)
TACAS (2)
Deep learning has emerged as an effective approach for creating modern software systems, with neural networks often surpassing hand-crafted systems. Unfortunately, neural networks are known to suffer from various safety and security issues. Formal ve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::084c77376695b26fbfbe6d33b06708c4
https://doi.org/10.1007/978-3-030-72013-1_11
https://doi.org/10.1007/978-3-030-72013-1_11
Publikováno v:
Prostaglandins. 47(4)
Previous studies in animals have shown that lipopolysaccharide produces experimental cholecystitis possibly through a platelet-activating factor-prostanoid mediated process. In this study it was intended to evaluate the effect of LPS on primary cultu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a650d77a5769ffd1c4cf5fc5b7364ce3
https://pubmed.ncbi.nlm.nih.gov/8041874
https://pubmed.ncbi.nlm.nih.gov/8041874