Zobrazeno 1 - 10
of 604
pro vyhledávání: '"Bernhard, Steffen"'
Autor:
Colm Brandon, Steve Boßelmann, Amandeep Singh, Stephen Ryan, Alexander Schieweck, Eanna Fennell, Bernhard Steffen, Tiziana Margaria
Publikováno v:
BioMedInformatics, Vol 4, Iss 3, Pp 1865-1883 (2024)
Background: In biomedical imaging research, experimental biologists generate vast amounts of data that require advanced computational analysis. Breakthroughs in experimental techniques, such as multiplex immunofluorescence tissue imaging, enable deta
Externí odkaz:
https://doaj.org/article/ff403ec3cfac4727b536ede040a93c62
This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, C
TADS are a novel, concise white-box representation of neural networks. In this paper, we apply TADS to the problem of neural network verification, using them to generate either proofs or concise error characterizations for desirable neural network pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::11ee3a3fc42aea267b458b8239a438f1
http://arxiv.org/abs/2304.14888
http://arxiv.org/abs/2304.14888
Publikováno v:
IT Professional. 23:8-12
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2982fad8da62cf8e1edfac0aa8d6264b
https://doi.org/10.1109/mitp.2021.3123495
https://doi.org/10.1109/mitp.2021.3123495
Publikováno v:
International journal on software tools for technology transfer, 23(6), 879-881. Springer
This is the second issue in the new “Competitions and Challenges” (CoCha) theme of the International Journal on Software Tools for Technology Transfer. The new theme was established to support competitions and challenges with an appropriate publi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8075e4766b1e6e96500abf8ef62f4415
https://doi.org/10.1007/s10009-021-00631-1
https://doi.org/10.1007/s10009-021-00631-1
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 259-283 (2013)
We present a graphical and dynamic framework for binding and execution of business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inter)net, and 3) (dynamically) synthe
Externí odkaz:
https://doaj.org/article/878d0a89894d44fcb997fddae3f4fe54
Publikováno v:
IT Professional. 22:8-12
Explainable Al is a new direction aiming at the maturation of a fi eld that has experienced a boost in particular because of its fancy heuristics and corresponding breakthroughs in specific applications like the AlphaGo program for the game Go. In th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6bb1bf51cd3c4c492144c8d9351c7cdd
https://doi.org/10.1109/mitp.2020.3005640
https://doi.org/10.1109/mitp.2020.3005640
Publikováno v:
Acta Informatica. 57:671-687
In this paper, we prove that Hennessy–Milner Logic (HML), despite its structural limitations, is sufficiently expressive to specify an initial property $$\varphi _0$$φ0 and a characteristic invariant $$\upchi _{_I}$$χI for an arbitrary finite-sta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::40c997925e10a6af55fb38ce818fba34
https://doi.org/10.1007/s00236-020-00376-5
https://doi.org/10.1007/s00236-020-00376-5
Autor:
Falk Howar, Bernhard Steffen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031156281
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e214073d24287c3d3bb85145a2ce5c2
https://doi.org/10.1007/978-3-031-15629-8_17
https://doi.org/10.1007/978-3-031-15629-8_17
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263
In this paper, we present Forest GUMP (for Generalized, Unifying Merge Process) a tool for providing tangible experience with three concepts of explanation. Besides the well-known model explanation and outcome explanation, Forest GUMP also supports c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b04a60937cb9879888490908e5cde8c7
https://doi.org/10.1007/978-3-030-99527-0_17
https://doi.org/10.1007/978-3-030-99527-0_17