Zobrazeno 1 - 10
of 12 581
pro vyhledávání: '"Chiari, A"'
Autor:
Marchini, N., Rocchini, M., Zielinska, M., Nannini, A., Doherty, D. T., Gavrielov, N., Garrett, P. E., Hadynska-Klek, K., Goasduff, A., Testov, D., Bakes, S. D., Bazzacco, D., Benzoni, G., Berry, T., Brugnara, D., Camera, F., Catford, W. N., Chiari, M., Galtarossa, F., Gelli, N., Gottardo, A., Gozzelino, A., Illana, A., Keatings, J., Mengoni, D., Morrison, L., Napoli, D. R., Ottanelli, M., Ottanelli, P., Pasqualato, G., Recchia, F., Riccetto, S., Scheck, M., Siciliano, M., Dobon, J. J. Valiente, Zanon, I.
Low-lying states of $^{94}$Zr were investigated via low-energy multi-step Coulomb excitation. From the measured $\gamma$-ray yields, 13 reduced transition probabilities between low-spin states were determined, together with the spectroscopic quadrupo
Externí odkaz:
http://arxiv.org/abs/2408.06940
Side-channel attacks allow to extract sensitive information from cryptographic primitives by correlating the partially known computed data and the measured side-channel signal. Starting from the raw side-channel trace, the preprocessing of the side-c
Externí odkaz:
http://arxiv.org/abs/2408.06296
Operator Precedence Languages (OPL) have been recently identified as a suitable formalism for model checking recursive procedural programs, thanks to their ability of modeling the program stack. OPL requirements can be expressed in the Precedence Ori
Externí odkaz:
http://arxiv.org/abs/2405.11327
Publikováno v:
A&A 689, A150 (2024)
Aims. We explore the dynamical friction on a test mass in gravitational systems in the Quasi linear formulation of Modified Newtonian Dynamics (QuMOND). Methods. Exploiting the quasi linearity of QuMOND we derive a simple expression for the dynamical
Externí odkaz:
http://arxiv.org/abs/2404.18733
Tumor cell migration within the microenvironment is a crucial aspect for cancer progression and, in this context, hypoxia has a significant role. An inadequate oxygen supply acts as an environmental stressor inducing migratory bias and phenotypic cha
Externí odkaz:
http://arxiv.org/abs/2404.16769
We address the problem of model checking temporal logic specifications for discrete probabilistic programs with recursive procedures, nested queries, and hard conditioning expressed with observe statements. We give them an operational semantics in te
Externí odkaz:
http://arxiv.org/abs/2404.03515
Publikováno v:
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), Valencia, Spain, 2024, pp. 1-6.
Side-channel attacks allow extracting secret information from the execution of cryptographic primitives by correlating the partially known computed data and the measured side-channel signal. However, to set up a successful side-channel attack, the at
Externí odkaz:
http://arxiv.org/abs/2402.19037
Operator precedence languages (OPL) enjoy the local parsability property, which essentially means that a code fragment enclosed within a pair of markers -- playing the role of parentheses -- can be compiled with no knowledge of its external context.
Externí odkaz:
http://arxiv.org/abs/2309.04200
Autor:
B.A. Bakar, Idawanni ., A. Azis, S. Kurniawati, Y. Giamerti, Yardha ., R. Purba, S. Abdullah, Jonharnas ., D.R. Mustikawati, W. Chiari, E.A. Wikurendra
Publikováno v:
Global Journal of Environmental Science and Management, Vol 10, Iss Special Issue: Biosorbents & Environmental Management, Pp 237-250 (2024)
BACKGROUND AND OBJECTIVES: Biochar has gained prominence as a sustainable solution in agriculture and environmental management, with benefits of enhancing soil fertility, improving crop yield, and mitigating the climate change. This study sought to c
Externí odkaz:
https://doaj.org/article/3706f94289144374b8d6ac397a23c980
Autor:
Luca Bertolaccini, Monica Casiraghi, Antonio Mazzella, Claudia Bardoni, Matteo Chiari, Filippo de Marinis, Lorenzo Spaggiari
Publikováno v:
European Medical Journal Respiratory, Pp 112-118 (2024)
Externí odkaz:
https://doaj.org/article/744fdc6d64d5498b83a8277a284e6ac4