Zobrazeno 1 - 10
of 3 710
pro vyhledávání: '"Chiari P"'
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 probabilistic programs with recursive procedures, nested queries, and conditioning expressed with observe statements. We introduce probabilistic Operator Precedence Automata (
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
Publikováno v:
Front. Appl. Math. Stat., 13 July 2023 Sec. Mathematical Biology
In the study of therapeutic strategies for the treatment of cancer, eco-evolutionary dynamics are of particular interest, since characteristics of the tumour population, interaction with the environment and effects of the treatment, influence the geo
Externí odkaz:
http://arxiv.org/abs/2306.10040
In the study of cancer evolution and therapeutic strategies, scientific evidence shows that a key dynamics lies in the tumor-environment interaction. In particular, oxygen concentration plays a central role in the determination of the phenotypic hete
Externí odkaz:
http://arxiv.org/abs/2306.01793