Zobrazeno 1 - 10
of 14 588
pro vyhledávání: '"FALCÓ, A."'
We provide a new realisability model based on orthogonality for the multiplicative fragment of linear logic, both in presence of generalised axioms (MLL*) and in the standard case (MLL). The novelty is the definition of cut elimination for generalise
Externí odkaz:
http://arxiv.org/abs/2411.17486
Autor:
Boumeftah, Anouar, Yahia, Olfa Ben, Frigon, Jean-François, Falco, Gregory, Kurt, Gunes Karabulut
This paper introduces a scenario where a maneuverable satellite in geostationary orbit (GEO) conducts on-orbit attacks, targeting communication between a GEO satellite and a ground station, with the ability to switch between stationary and time-varia
Externí odkaz:
http://arxiv.org/abs/2411.16588
Autor:
Yahia, Olfa Ben, Ferguson, William, Chakravarty, Sumit, Benchoubane, Nesrine, Kurt, Gunes Karabulut, Gür, Gürkan, Falco, Gregory
The rapid evolution of communication technologies, compounded by recent geopolitical events such as the Viasat cyberattack in February 2022, has highlighted the urgent need for fast and reliable satellite missions for military and civil security oper
Externí odkaz:
http://arxiv.org/abs/2411.12632
Autor:
Guidi, Gianluca, Dominici, Francesca, Gilmour, Jonathan, Butler, Kevin, Bell, Eric, Delaney, Scott, Bargagli-Stoffi, Falco J.
The rapid proliferation of data centers in the US - driven partly by the adoption of artificial intelligence - has set off alarm bells about the industry's environmental impact. We compiled detailed information on 2,132 US data centers operating betw
Externí odkaz:
http://arxiv.org/abs/2411.09786
Autor:
Pope, Simon A., Roth, Diane J., Bansal, Aakash, Mousa, Mostafa, Rezanejad, Ashkan, Forte, Antonio E., Nash, Geoff. R., Singleton, Lawrence, Langfeldt, Felix, Cheer, Jordan, Henthorn, Stephen, Hooper, Ian R., Hendry, Euan, Powell, Alex W., Souslov, Anton, Plum, Eric, Sun, Kai, de Groot, C. H., Muskens, Otto L., Shields, Joe, De Galarreta, Carlota Ruiz, Wright, C. David, Kocabas, Coskun, Ergoktas, M. Said, Xiao, Jianling, Schulz, Sebastian A., Di Falco, Andrea, Krasavin, Alexey V., Zayats, Anatoly V., Galiffi, Emanuele
Active metamaterials are engineered structures that possess novel properties that can be changed after the point of manufacture. Their novel properties arise predominantly from their physical structure, as opposed to their chemical composition and ca
Externí odkaz:
http://arxiv.org/abs/2411.09711
Autor:
Falco, Javier, Isert, Daniel
We study the reflexivity and strong subdifferentiability within the framework of group invariant mappings. We show that a Banach space is G-reflexive if the norm of its dual is G-strong subdifferentiable. To do this, we extend numerous classical conc
Externí odkaz:
http://arxiv.org/abs/2410.15459
Autor:
Falco, Alessandro, De Palma, Giacomo
We prove the multimode conditional quantum Entropy Power Inequality for bosonic quantum systems. This inequality determines the minimum conditional von Neumann entropy of the output of the most general linear mixing of bosonic quantum modes among all
Externí odkaz:
http://arxiv.org/abs/2410.14472
The electric power sector is one of the largest contributors to greenhouse gas emissions in the world. In recent years, there has been an unprecedented increase in electricity demand driven by the so-called Artificial Intelligence (AI) revolution. Al
Externí odkaz:
http://arxiv.org/abs/2410.09029
The substantial effect of air pollution on cardiovascular disease and mortality burdens is well-established. Emissions-reducing interventions on coal-fired power plants -- a major source of hazardous air pollution -- have proven to be an effective, b
Externí odkaz:
http://arxiv.org/abs/2410.08362
Quantum adiabatic optimization has long been expected to outperform classical methods in solving NP-type problems. While this has been proven in certain experiments, its main applications still reside in academic problems where the size of the system
Externí odkaz:
http://arxiv.org/abs/2410.07744