Zobrazeno 1 - 10
of 6 072
pro vyhledávání: '"Broch, A"'
Tabular reinforcement learning methods cannot operate directly on continuous state spaces. One solution for this problem is to partition the state space. A good partitioning enables generalization during learning and more efficient exploitation of pr
Externí odkaz:
http://arxiv.org/abs/2409.16791
Autor:
Päßler, Juliane, ter Beek, Maurice H., Damiani, Ferruccio, Tarifa, S. Lizeth Tapia, Johnsen, Einar Broch
Publikováno v:
iFM 2023, Lecture Notes in Computer Science, vol 14300, pp. 343-363
Self-adaptation is a crucial feature of autonomous systems that must cope with uncertainties in, e.g., their environment and their internal state. Self-adaptive systems are often modelled as two-layered systems with a managed subsystem handling the d
Externí odkaz:
http://arxiv.org/abs/2308.14663
We present a new symbolic execution semantics of probabilistic programs that include observe statements and sampling from continuous distributions. Building on Kozen's seminal work, this symbolic semantics consists of a countable collection of measur
Externí odkaz:
http://arxiv.org/abs/2307.09951
Autor:
Turin, Gianluca, Borgarelli, Andrea, Donetti, Simone, Damiani, Ferruccio, Johnsen, Einar Broch, Tarifa, Silvia Lizeth Tapia
Cloud computing has radically changed the way organisations operate their software by allowing them to achieve high availability of services at affordable cost. Containerized microservices is an enabling technology for this change, and advanced conta
Externí odkaz:
http://arxiv.org/abs/2305.07651
Autor:
Giannini, Samuele, Di Virgilio, Lucia, Bardini, Marco, Hausch, Julian, Geuchies, Jaco, Zheng, Wenhao, Volpi, Martina, Elsner, Jan, Broch, Katharina, Geerts, Yves H., Schreiber, Frank, Schweicher, Guillaume, Wang, Hai I., Blumberger, Jochen, Bonn, Mischa, Beljonne, David
There is compelling evidence that charge carriers in organic semiconductors (OSs) self-localize in nano-scale space because of dynamic disorder. Yet, some OSs, in particular recently emerged high-mobility organic molecular crystals, feature reduced m
Externí odkaz:
http://arxiv.org/abs/2303.13163
Autor:
Silva, Gustavo Rezende, Päßler, Juliane, Zwanepol, Jeroen, Alberts, Elvin, Tarifa, S. Lizeth Tapia, Gerostathopoulos, Ilias, Johnsen, Einar Broch, Corbato, Carlos Hernández
Once deployed in the real world, autonomous underwater vehicles (AUVs) are out of reach for human supervision yet need to take decisions to adapt to unstable and unpredictable environments. To facilitate research on self-adaptive AUVs, this paper pre
Externí odkaz:
http://arxiv.org/abs/2303.09220
Autor:
Elmahjoubi, A., Shoker, M. B., Pages, O., Torres, V. J. B., Polian, A., Postnikov, A. V., Bellin, C., Beneut, K., Gardiennet, C., Kervern, G., EnNaciri, A., Broch, L., Hussein, R. Hajj, Itie, J. -P., Nataf, L., Ravy, S., Franchetti, P., Diliberto, S., Michel, S., Abouais, A., Strzalkowski, K.
The (Cd, Be)Te semiconductor alloy that exhibits a dramatic mismatch in bond covalency and stiffness clarifying its vibrational and mechanical properties is used as a benchmark to test the limits of the percolation model (PM) worked out to explain th
Externí odkaz:
http://arxiv.org/abs/2303.01780
Autor:
Anne With Mikkelsen, Anna Christine Nilsson, Helene Broch Tenstad, Soeren Thue Lillevang, Nasrin Asgari
Publikováno v:
Thoracic Cancer, Vol 15, Iss 17, Pp 1350-1356 (2024)
Abstract Introduction Small‐cell lung cancer (SCLC) may be associated with neuronal autoantibodies and paraneoplastic neurological syndromes. It has been suggested that neuronal autoantibodies, especially antineuronal nuclear antibody type 1 (Hu) a
Externí odkaz:
https://doaj.org/article/e3309bcffb294c7c9f51f8c26b973f48
Autor:
Faraz H. Khan, Debbie Zhao, Jong-Won Ha, Sherif F. Nagueh, Jens-Uwe Voigt, Allan L. Klein, Einar Gude, Kaspar Broch, Nicholas Chan, Gina M. Quill, Robert N. Doughty, Alistair Young, Ji-Won Seo, Eusebio García-Izquierdo, Vanessa Moñivas-Palomero, Susana Mingo-Santos, Tom Kai Ming Wang, Stephanie Bezy, Nobuyuki Ohte, Helge Skulstad, Carmen C. Beladan, Bogdan A. Popescu, Shohei Kikuchi, Vasileios Panis, Erwan Donal, Espen W. Remme, Martyn P. Nash, Otto A. Smiseth
Publikováno v:
Echo Research and Practice, Vol 11, Iss 1, Pp 1-12 (2024)
Abstract Background Echocardiography is widely used to evaluate left ventricular (LV) diastolic function in patients suspected of heart failure. For patients in sinus rhythm, a combination of several echocardiographic parameters can differentiate bet
Externí odkaz:
https://doaj.org/article/679bb282f64b4f1e9ee412f349fdee30
The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. We propose a new method for proving correctness of parallel implementat
Externí odkaz:
http://arxiv.org/abs/2302.04661