Zobrazeno 1 - 10
of 171
pro vyhledávání: '"Klenze, P"'
Autor:
Drijvers, Manu, Gretler, Tim, Harchol, Yotam, Klenze, Tobias, Maric, Ognjen, Neamtu, Stefan, Pignolet, Yvonne-Anne, Rumenov, Rostislav, Sharifi, Daniel, Shoup, Victor
Byzantine fault tolerant (BFT) protocol descriptions often assume application-layer networking primitives, such as best-effort and reliable broadcast, which are impossible to implement in practice in a Byzantine environment as they require either unb
Externí odkaz:
http://arxiv.org/abs/2410.22080
Autor:
Pereira, João C., Klenze, Tobias, Giampietro, Sofia, Limbeck, Markus, Spiliopoulos, Dionysios, Wolf, Felix A., Eilers, Marco, Sprenger, Christoph, Basin, David, Müller, Peter, Perrig, Adrian
We present the first formally-verified Internet router, which is part of the SCION Internet architecture. SCION routers run a cryptographic protocol for secure packet forwarding in an adversarial environment. We verify both the protocol's network-wid
Externí odkaz:
http://arxiv.org/abs/2405.06074
Autor:
Graña-González, A., Rodríguez-Sánchez, J. L., Benlliure, J., García-Jiménez, G., Alvarez-Pol, H., Cortina-Gil, D., Atar, L., Audouin, L., Authelet, G., Besteiro, A., Blanchon, G., Boretzky, K., Cabanelas, P., Casarejos, E., Cederkall, J., Chatillon, A., Corsi, A., Feijoo, M., Galaviz, D., Gasparic, I., Gernhäuser, R., Heil, M., Heinz, A., Holl, M., Jenegger, T., Ji, L., Johansson, H. T., Kiselev, O. A., Klenze, P., Knyazev, A., Körper, D., Kröll, T., Lihtar, I., Litvinov, Y. A., Löher, B., Morfouace, P., Mücher, D., Murillo-Morales, S., Obertelli, A., Panin, V., Park, J., Paschalis, S., Perea, A., Petri, M., Pirrone, S., Ponnath, L., Revel, A., Rhee, H. B., Rose, L., Rossi, D. M., Russotto, P., Simon, H., Stott, A., Sun, Y., Sürder, C., Taïeb, J., Taniuchi, R., Tengblad, O., Törnqvist, H. T., Velardita, S., Vesic, J., Voss, B.
Despite the recent experimental and theoretical progress in the investigation of the nuclear fission process, a complete description still represents a challenge in nuclear physics because it is a very complex dynamical process, whose description inv
Externí odkaz:
http://arxiv.org/abs/2210.06054
Autor:
Rodríguez-Sánchez, J. L., Graña-González, A., Benlliure, J., Chatillon, A., García-Jiménez, G., Taieb, J., Alvarez-Pol, H., Atar, L., Audouin, L., Authelet, G., Besteiro, A., Blanchon, G., Boretzky, K., Cabanelas, P., Casarejos, E., Cederkall, J., Cortina-Gil, D., Corsi, A., De Filippo, E., Feijoo, M., Galaviz, D., Gasparic, I., Gernhäuser, R., Haettner, E., Heil, M., Heinz, A., Holl, M., Jenegger, T., Ji, L., Johansson, H. T., Kelić-Heil, A., Kiselev, O. A., Klenze, P., Knyazev, A., Körper, D., Kröll, T., Lihtar, I., Litvinov, Y. A., Löher, B., Martorana, N., Morfouace, P., Mücher, D., Morales, S. Murillo, Obertelli, A., Panin, V., Park, J., Paschalis, S., Perea, A., Petri1, M., Pietri, S., Pirrone, S., Ponnath, L., Revel, A., Rhee, H. -B., Rose, L., Ross, D. M., Russotto, P., Simon, H., Stott, A., Sun, Y., Sürder, C., Taniuchi, R., Tengblad, O., Törnqvist, H. T., Trimarchi, M., Velardita, S., Vesic, J., Voss, B., Weick, H.
In the last decades, measurements of spallation, fragmentation and Coulex induced fission reactions in inverse kinematics have provided valuable data to accurately investigate the fission dynamics and nuclear structure at large deformations of a larg
Externí odkaz:
http://arxiv.org/abs/2210.04741
Autor:
L. Ponnath, T. Aumann, C.A. Bertulani, R. Gernhäuser, M. Heil, T. Almusidi, H. Alvarez-Pol, L. Atar, L. Atkins, Y. Ayyad, J. Benlliure, K. Boretzky, M.J.G. Borge, L.T. Bott, G. Bruni, B. Brückner, P. Cabanelas, C. Caesar, E. Casarejos, J. Cederkall, A. Corsi, D. Cortina-Gil, J.A. Dueñas, M. Duer, Z. Elekes, S. Escribano Rodriguez, L. Fabbietti, A. Falduto, M. Feijoo, M. Feijoo Fontan, L.M. Fonseca, A. Frotscher, D. Galaviz, E. Galiana, G. García-Jiménez, I. Gašparic̀, E.I. Geraci, A. Gillibert, B. Gnoffo, D. González Caamaño, A. Graña González, K. Göbel, A.-L. Hartig, A. Heinz, T. Hensel, M. Holl, A. Horvat, A. Jedele, D. Jelavic̀ Malenica, T. Jenegger, H.T. Johansson, B. Jonson, N. Kalantar-Nayestanaki, A. Kelic-Heil, O.A. Kiselev, P. Klenze, D. Kresan, T. Kröll, E. Kudaibergenova, D. Kurtulgil, D. Körper, M. Labiche, C. Langer, I. Lihtar, Yu.A. Litvinov, B. Löher, J. Mayer, S. Murillo Morales, E. Nacher, T. Nilsson, A. Obertelli, V. Panin, J. Park, S. Paschalis, A. Perea, M. Petri, S. Pirrone, T. Pohl, R. Reifarth, H.-B. Rhee, J.L. Rodriguez-Sanchez, L. Rose, D.M. Rossi, P. Russotto, D. Savran, H. Scheit, H. Simon, S. Storck-Dutine, A.M. Stott, C. Sürder, R. Taniuchi, O. Tengblad, P. Teubig, L. Trache, M. Trimarchi, H.T. Törnqvist, L. Varga, V. Wagner, F. Wamers
Publikováno v:
Physics Letters B, Vol 855, Iss , Pp 138780- (2024)
The accuracy of reaction theories used to extract properties of exotic nuclei from scattering experiments is often unknown or not quantified, but of utmost importance when, e.g., constraining the equation of state of asymmetric nuclear matter from ob
Externí odkaz:
https://doaj.org/article/f1cfc1f55ff04971890ba2bd6def5fae
Autor:
Sprenger, Christoph, Klenze, Tobias, Eilers, Marco, Wolf, Felix A., Müller, Peter, Clochard, Martin, Basin, David
Lighthouse projects such as CompCert, seL4, IronFleet, and DeepSpec have demonstrated that full verification of entire systems is feasible by establishing a refinement relation between an abstract system specification and an executable implementation
Externí odkaz:
http://arxiv.org/abs/2010.04749
A common theme of data acquisition systems is the transport of data from digitising front-end modules to stable storage and online analysis. A good choice today is to base this on the ubiquitous, commercially and cheaply available Ethernet technology
Externí odkaz:
http://arxiv.org/abs/2003.12527
Autor:
Cabanelas, P, Alvarez-Pol, H, Boillos, J M, Casarejos, E, Cederkall, J, Cortina, D, Feijoo, M, Galaviz, D, Gernhäuser, E Galiana R, Golubev, P, González, D, Hartig, A-L, Heinz, A, Johansson, H, Klenze, P, Knyazev, A, Kröll, T, Nacher, E, Park, J, Perea, A, Ponnath, L, Rhee, H-B, Rodríguez-Sánchez, J L, Suerder, C, Tengblad, O, Teubig, P
Publikováno v:
2020 J. Phys.: Conf. Ser. 1667 012006
CALIFA is the high efficiency and energy resolution calorimeter for the R$^{3}$B experiment at FAIR, intended for detecting high energy charged particles and $\gamma$-rays in inverse kinematics direct reactions. It surrounds the reaction target in a
Externí odkaz:
http://arxiv.org/abs/2003.04143
Autor:
Cabanelas, P., González, D., Alvarez-Pol, H., Boillos, J. M., Casarejos, E., Cederkall, J., Cortina, D., Feijoo, M., Galaviz, D., Galiana, E., Gernhäuser, R., Golubev, P., Hartig, A. -L., Klenze, P., Knyazev, A., Kröll, T., Nácher, E., Park, J., Perea, A., Pietras, B., Ponnath, L., Rhee, H. -B., Rodríguez-Sánchez, J. L., Suerder, C., Tengblad, O., Teubig, P.
Publikováno v:
Nuclear Instruments and Methods in Physics Research A, 965 (2020) 163845
CALIFA is the high efficiency and energy resolution calorimeter for the R3B experiment at FAIR, intended for detecting high energy light charged particles and gamma rays in scattering experiments, and is being commissioned during the Phase-0 experime
Externí odkaz:
http://arxiv.org/abs/2003.01485
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.