Zobrazeno 1 - 10
of 35 758
pro vyhledávání: '"Ahrens, A"'
Publikováno v:
Programming Languages and Systems (Proc. APLAS 2024), Oleg Kiselyov (ed.), 2025, Springer Nature Singapore, pp. 3-22
Algebraic theories with dependency between sorts form the structural core of Martin-L\"of type theory and similar systems. Their denotational semantics are typically studied using categorical techniques; many different categorical structures have bee
Externí odkaz:
http://arxiv.org/abs/2412.19946
Autor:
Ahrens, Jens
Contrary to geometric acoustics-based simulations where the spatial information is available in a tangible form, it is not straightforward to auralize wave-based simulations. A variety of methods have been proposed that compute the ear signals of a v
Externí odkaz:
http://arxiv.org/abs/2412.05015
Autor:
Ahrens, Florian, Geatches, Dawn, McCarroll, Niall, Buck, Justin, Lorenzo-Lopez, Alvaro, Keshtkar, Hossein, Fayyad, Nadine, Hassanloo, Hamidreza, Manika, Danae
The UK Research and Innovation Digital Research Infrastructure (DRI) needs to operate sustainably in the future, encompassing its use of energy and resources, and embedded computer hardware carbon emissions. Transition concepts towards less unsustain
Externí odkaz:
http://arxiv.org/abs/2411.14301
Autor:
Abdelfattah, Ahmad, Ahrens, Willow, Anzt, Hartwig, Armstrong, Chris, Brock, Ben, Buluc, Aydin, Busato, Federico, Cojean, Terry, Davis, Tim, Demmel, Jim, Dinh, Grace, Gardener, David, Fiala, Jan, Gates, Mark, Haider, Azzam, Imamura, Toshiyuki, Lara, Pedro Valero, Moreira, Jose, Li, Sherry, Luszczek, Piotr, Melichenko, Max, Moeira, Jose, Mokwinski, Yvan, Murray, Riley, Patty, Spencer, Peles, Slaven, Ribizel, Tobias, Riedy, Jason, Rajamanickam, Siva, Sao, Piyush, Shantharam, Manu, Teranishi, Keita, Tomov, Stan, Tsai, Yu-Hsiang, Weichelt, Heiko
The standardization of an interface for dense linear algebra operations in the BLAS standard has enabled interoperability between different linear algebra libraries, thereby boosting the success of scientific computing, in particular in scientific HP
Externí odkaz:
http://arxiv.org/abs/2411.13259
We show a linear sized reduction from the Maximum Cut Problem (Max-Cut) with completeness $1 - \varepsilon$ and soundness $1 - \varepsilon^{1/2}$ to the $\gamma$-Approximate Closest Vector Problem under any finite $\ell_p$-norm including $p = 2$. Thi
Externí odkaz:
http://arxiv.org/abs/2411.04124
This paper presents a computationally efficient model predictive control formulation that uses an integral Chebyshev collocation method to enable rapid operations of autonomous agents. By posing the finite-horizon optimal control problem and recursiv
Externí odkaz:
http://arxiv.org/abs/2410.07413
Autor:
Ahrens, F., Crescini, N., Irace, A., Rastelli, G., Falferi, P., Giachero, A., Margesin, B., Mezzena, R., Vinante, A., Carusotto, I., Mantegazzini, F.
Frequency-based synthetic dimensions are a promising avenue to extend the dimensionality of photonic systems. In this work, we show how a tilted synthetic lattice is naturally realised by periodically modulating a single-mode resonator under a cohere
Externí odkaz:
http://arxiv.org/abs/2409.00760
The tensor programming abstraction has become a foundational paradigm for modern computing. This framework allows users to write high performance programs for bulk computation via a high-level imperative interface. Recent work has extended this parad
Externí odkaz:
http://arxiv.org/abs/2408.14706
Learning-based techniques such as artificial intelligence (AI) and machine learning (ML) play an increasingly important role in the development of future communication networks. The success of a learning algorithm depends on the quality and quantity
Externí odkaz:
http://arxiv.org/abs/2403.08317
We introduce NOVIC, an innovative real-time uNconstrained Open Vocabulary Image Classifier that uses an autoregressive transformer to generatively output classification labels as language. Leveraging the extensive knowledge of CLIP models, NOVIC harn
Externí odkaz:
http://arxiv.org/abs/2407.11211