Zobrazeno 1 - 10
of 5 080
pro vyhledávání: '"Zilio, A."'
Autor:
Jarc, Giacomo, Mathengattil, Shahla Yasmin, Montanaro, Angela, Rigoni, Enrico Maria, Zilio, Simone Dal, Fausti, Daniele
Publikováno v:
J. Chem. Phys. 161, 154711 (2024)
The use of optical cavities on resonance with material excitations allows controlling light-matter interaction in both the regimes of weak and strong coupling. We study here the multimode vibrational coupling of low energy phonons in the charge-densi
Externí odkaz:
http://arxiv.org/abs/2410.14797
Autor:
Kammer, David S., McLaskey, Gregory C., Abercrombie, Rachel E., Ampuero, Jean-Paul, Cattania, Camilla, Cocco, Massimo, Zilio, Luca Dal, Dresen, Georg, Gabriel, Alice-Agnes, Ke, Chun-Yu, Marone, Chris, Selvadurai, Paul A., Tinti, Elisa
Earthquakes are rupture-like processes that propagate along tectonic faults and cause seismic waves. The propagation speed and final area of the rupture, which determine an earthquake's potential impact, are directly related to the nature and quantit
Externí odkaz:
http://arxiv.org/abs/2403.06916
Publikováno v:
Verification, Model Checking, and Abstract Interpretation. VMCAI 2024, Jan 2024, London, United Kingdom. pp.101-123
We propose a method for checking generalized reachability properties in Petri nets that takes advantage of structural reductions and that can be used, transparently, as a pre-processing step of existing model-checkers. Our approach is based on a new
Externí odkaz:
http://arxiv.org/abs/2401.03711
Autor:
Fronhofer, Emanuel A., Bonte, Dries, Bestion, Elvire, Cote, Julien, Deshpande, Jhelam N., Duncan, Alison B., Hovestadt, Thomas, Kaltz, Oliver, Keith, Sally, Kokko, Hanna, Legrand, Delphine, Malusare, Sarthak P., Parmentier, Thomas, Saade, Camille, Schtickzelle, Nicolas, Zilio, Giacomo, Massol, François
Dispersal is a well recognized driver of ecological and evolutionary dynamics, and simultaneously an evolving trait. Dispersal evolution has traditionally been studied in single-species metapopulations so that it remains unclear how dispersal evolves
Externí odkaz:
http://arxiv.org/abs/2312.00166
Autor:
Brioschi, M., Carrara, P., Polewczyk, V., Dagur, D., Vinai, G., Parisse, P., Zilio, S. Dal, Panaccione, G., Rossi, G., Cucini, R.
Time-resolved optical spectroscopy represents an effective non-invasive approach to investigate the interplay of different degrees of freedom, which plays a key role in the development of novel functional materials. Here, we present magneto-acoustic
Externí odkaz:
http://arxiv.org/abs/2311.05485
Publikováno v:
Fundamenta Informaticae, Volume 192, Issues 3-4: Petri Nets 2023 (November 10, 2024) fi:12854
We propose an automated procedure to prove polyhedral abstractions (also known as polyhedral reductions) for Petri nets. Polyhedral abstraction is a new type of state space equivalence, between Petri nets, based on the use of linear integer constrain
Externí odkaz:
http://arxiv.org/abs/2306.01466
Much recent effort has been devoted to creating large-scale language models. Nowadays, the most prominent approaches are based on deep neural networks, such as BERT. However, they lack transparency and interpretability, and are often seen as black bo
Externí odkaz:
http://arxiv.org/abs/2305.14070
Autor:
Kejie Chen, Guoguang Wei, Christopher Milliner, Luca Dal Zilio, Cunren Liang, Jean-Philippe Avouac
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-11 (2024)
Abstract The 2023 M7.8 and M7.5 earthquake doublet near Kahramanmaraş, Turkey, provides insight regarding how large earthquakes rupture complex faults. Here we determine the faults geometry using surface ruptures and Synthetic Aperture Radar measure
Externí odkaz:
https://doaj.org/article/f43e578a30734bc18a52fe7493642119
Autor:
Amat, Nicolas, Zilio, Silvano Dal
SMPT (for Satisfiability Modulo Petri Net) is a model checker for reachability problems in Petri nets. It started as a portfolio of methods to experiment with symbolic model checking, and was designed to be easily extended. Some distinctive features
Externí odkaz:
http://arxiv.org/abs/2302.14741
Autor:
Naumenko, Denys, Burian, Max, Marmiroli, Benedetta, Haider, Richard, Radeticchio, Andrea, Wagner, Lucas, Piazza, Luca, Glatt, Lisa, Brandstetter, Stefan, Zilio, Simone Dal, Biasiol, Giorgio, Amenitsch, Heinz
Understanding and control of thermal transport in solids at nanoscale is crucial to engineer and to enhance properties of a new generation of optoelectronic, thermoelectric, and photonic devices. In this regard, semiconductor superlattice structures
Externí odkaz:
http://arxiv.org/abs/2302.11972