Zobrazeno 1 - 10
of 6 464
pro vyhledávání: '"Mazzocchi, A"'
System behaviors are traditionally evaluated through binary classifications of correctness, which do not suffice for properties involving quantitative aspects of systems and executions. Quantitative automata offer a more nuanced approach, mapping eac
Externí odkaz:
http://arxiv.org/abs/2409.03569
We study the following refinement relation between nondeterministic state-transition models: model B strategically dominates model A iff every deterministic refinement of A is language contained in some deterministic refinement of B. While language c
Externí odkaz:
http://arxiv.org/abs/2407.10473
Autor:
Sokołowska, N., Guadilla, V., Mazzocchi, C., Ahmed, R., Borge, M., Cardella, G., Ciemny, A. A., Cosentino, L. G., De Filippo, E., Fedosseev, V., Fijałkowska, A., Fraile, L. M., Geraci, E., Giska, A., Gnoffo, B., Granados, C., Janas, Z., Janiak, Ł., Johnston, K., Kamiński, G., Korgul, A., Kubiela, A., Maiolino, C., Marsh, B., Martorana, N. S., Miernik, K., Molkanov, P., Ovejas, J. D., Pagano, E. V., Pirrone, S., Pomorski, M., Quynh, A. M., Riisager, K., Russo, A., Russotto, P., Świercz, A., Viñals, S., Wilkins, S., Pfützner, M.
The $\beta$ decay of one-neutron halo nucleus $^{11}$Be was investigated using the Warsaw Optical Time Projection Chamber (OTPC) detector to measure $\beta$-delayed charged particles. The results of two experiments are reported. In the first one, car
Externí odkaz:
http://arxiv.org/abs/2407.09846
Autor:
Kostyleva, D., Xu, X. -D., Mukha, I., Acosta, L., Bajzek, M., Casarejos, E., Ciemny, A. A., Cortina-Gil, D., Dominik, W., Dueñas, J. A., Espino, J. M., Estradé, A., Farinon, F., Fomichev, A., Geissel, H., Gómez-Camacho, J., Gorshkov, A., Grigorenko, L. V., Janas, Z., Kamiński, G., Kiselev, O., Knöbel, R., Korsheninnikov, A. A., Krupko, S., Kuich, M., Kurz, N., Litvinov, Yu. A., Marquinez-Durán, G., Martel, I., Mazzocchi, C., Nikolskii, E. Yu., Nociforo, C., Ordúz, A. K., Pfützner, M., Pietri, S., Pomorski, M., Prochazka, A., Rodríguez-Tajes, C., Rymzhanova, S., Sánchez-Benítez, A. M., Scheidenberger, C., Simon, H., Sitar, B., Slepnev, R., Stanoiu, M., Strmen, P., Sümmerer, K., Szarka, I., Takechi, M., Tanaka, Y. K., Weick, H., Winfield, J. S., Woods, P. J., Zhukov, M. V.
We report on the observation of previously-unknown isotope $^{21}$Al, the first unbound aluminum isotope located beyond the proton dripline. The $^{21}$Al nucleus decays by one-proton (1p) emission, and its in-flight decays were detected by tracking
Externí odkaz:
http://arxiv.org/abs/2406.04771
Publikováno v:
Phys. Rev. B 109, 235134 (2024)
We investigate the photocurrent and spectral features in a simplified model of a Mott photovoltaic system consisting of a multilayered insulating heterostructure. The central correlated region is coupled to two metallic leads kept at different chemic
Externí odkaz:
http://arxiv.org/abs/2404.01729
Publikováno v:
Phys. Status Solidi B 2300486 (2024)
This manuscript aims to compare the so-called iterated perturbation theory (IPT) and auxiliary master equation approach (AMEA) impurity solvers for a Mott insulating system driven out of equilibrium by a static electric field. Electronic heat bath an
Externí odkaz:
http://arxiv.org/abs/2311.00617
We characterize the current-carrying nonequilibrium steady-state in a single-band Hubbard model confronted with a static electric field in the presence of quenched disorder. As disorder is not expected to dissipate the extra energy injected by the fi
Externí odkaz:
http://arxiv.org/abs/2310.11833
Safety and liveness stand as fundamental concepts in formal languages, playing a key role in verification. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix o
Externí odkaz:
http://arxiv.org/abs/2307.06016
Arthroscopic device with bendable tip for the controlled extrusion of hydrogels on cartilage defects
Autor:
Daniele Guarnera, Francesco Restaino, Lorenzo Vannozzi, Diego Trucco, Tommaso Mazzocchi, Michał Worwąg, Tomasz Gapinski, Gina Lisignoli, Stefano Zaffagnini, Alessandro Russo, Leonardo Ricotti
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-19 (2024)
Abstract Advanced tools for the in situ treatment of articular cartilage lesions are attracting a growing interest in both surgery and bioengineering communities. The interest is particularly high concerning the delivery of cell-laden hydrogels. The
Externí odkaz:
https://doaj.org/article/b6877b6e25db4deeba9894c0f26c1fd7
Autor:
Xu, Z. Y., Madurga, M., Grzywacz, R., King, T. T., Algora, A., Andreyev, A. N., Benito, J., Berry, T., Borge, M. J. G., Costache, C., De Witte, H., Fijalkowska, A., Fraile, L. M., Fynbo, H. O. U., Gottardo, A., Halverson, C., Harkness-Brennan, L. J., Heideman, J., Huyse, M., Illana, A., Janiak, Ł., Judson, D. S., Korgul, A., Kurtukian-Nieto, T., Lazarus, I., Lică, R., Lozeva, R., Marginean, N., Marginean, R., Mazzocchi, C., Mihai, C., Mihai, R. E., Morales, A. I., Page, R. D., Pakarinen, J., Piersa-Siłkowska, M., Podolyák, Zs., Sarriguren, P., Singh, M., Sotty, Ch., Stepaniuk, M., Tengblad, O., Turturica, A., Van Duppen, P., Vedia, V., Viñals, S., Warr, N., Yokoyama, R., Yuan, C. X.
The $\beta$ decays from both the ground state and a long-lived isomer of $^{133}$In were studied at the ISOLDE Decay Station (IDS). With a hybrid detection system sensitive to $\beta$, $\gamma$, and neutron spectroscopy, the comparative partial half-
Externí odkaz:
http://arxiv.org/abs/2306.01842