Zobrazeno 1 - 10
of 72
pro vyhledávání: '"Pedicini M."'
Autor:
Pedicini, M., Quaglia, F.
In this article we present the implementation of an environment supporting L\'evy's \emph{optimal reduction} for the $\lambda$-calculus \cite{Lev78} on parallel (or distributed) computing systems. In a similar approach to Lamping's one in \cite{Lampi
Externí odkaz:
http://arxiv.org/abs/cs/0407055
Publikováno v:
IACR Transactions on Symmetric Cryptology; Volume 2022, Issue 3; 20-72
IACR Transactions on Symmetric Cryptology, 2022, 20-72
IACR Transactions on Symmetric Cryptology, 2022, 3, pp. 20-72
IACR Transactions on Symmetric Cryptology, 2022, 20-72
IACR Transactions on Symmetric Cryptology, 2022, 3, pp. 20-72
Motivated by new applications such as secure Multi-Party Computation (MPC), Fully Homomorphic Encryption (FHE), and Zero-Knowledge proofs (ZK), many MPC-, FHE- and ZK-friendly symmetric-key primitives that minimize the number of multiplications over
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9296be485a30731cf263e711e05d225
https://doi.org/10.46586/tosc.v2022.i3.20-72
https://doi.org/10.46586/tosc.v2022.i3.20-72
Autor:
Tibaldi A., de Nardis R., Torrese P., Bressan S., Pedicini M., Talone D., Bonali F. L., Corti N., Russo E., Lavecchia G.
Publikováno v:
Tectonophysics. 857:229853
The frontal thrusts and folds of the northern Apennines - Italy - are mainly covered under the alluvial deposits of the Po Plain. Some of these structures show geological evidence of Late Quaternary activity, thus posing the need for an accurate seis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f35d7521838fc253670e2fe03efd0c8
https://doi.org/10.1016/j.tecto.2023.229853
https://doi.org/10.1016/j.tecto.2023.229853
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.
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.
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.
Autor:
Komornik, V.1 vilmos.komornik@gmail.com, Pedicini, M.2 marco.pedicini@uniroma3.it
Publikováno v:
Acta Mathematica Hungarica. Jun2017, Vol. 152 Issue 1, p25-57. 33p. 9 Graphs.
Autor:
Castiglione, F., Mancini, E., Pedicini, M., Jarrah, A.S., Ranganathan, S., Gribskov, M., Nakai, K., Schönbach, C.
Publikováno v:
Encyclopedia of Bioinformatics and Computational Biology (2)
edited by Ranganathan, S., Nakai, K., Schönbach C. and Gribskov, M., 2018
info:cnr-pdr/source/autori:F. Castiglione, E. Mancini, M. Pedicini, A. S. Jarrah/titolo:Quantitative Modelling Approaches/titolo_volume:/curatori_volume:Ranganathan, S., Nakai, K., Schönbach C. and Gribskov, M./editore:/anno:2018
Encyclopedia of Bioinformatics and Computational Biology, 2, 874-883
edited by Ranganathan, S., Nakai, K., Schönbach C. and Gribskov, M., 2018
info:cnr-pdr/source/autori:F. Castiglione, E. Mancini, M. Pedicini, A. S. Jarrah/titolo:Quantitative Modelling Approaches/titolo_volume:/curatori_volume:Ranganathan, S., Nakai, K., Schönbach C. and Gribskov, M./editore:/anno:2018
Encyclopedia of Bioinformatics and Computational Biology, 2, 874-883
Computational biology aims at disentangling the complexity of biological phenomena by providing tools/algorithms to analyse experimental data or models to predict outcomes of the biological system based on experimental and clinical data. Bioinformati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b3abd10334c346e25451f0a6846349f
https://hdl.handle.net/11590/345503
https://hdl.handle.net/11590/345503
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.
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.