Zobrazeno 1 - 10
of 19 262
pro vyhledávání: '"Castagna A."'
Recent years witnessed significant performance advancements in deep-learning-driven natural language models, with a strong focus on the development and release of Large Language Models (LLMs). These improvements resulted in better quality AI-generate
Externí odkaz:
http://arxiv.org/abs/2405.13036
Autor:
Hasan, Cengis, Agapitos, Alexandros, Lynch, David, Castagna, Alberto, Cruciata, Giorgio, Wang, Hao, Milenovic, Aleksandar
We present a method that addresses the pain point of long lead-time required to deploy cell-level parameter optimisation policies to new wireless network sites. Given a sequence of action spaces represented by overlapping subsets of cell-level config
Externí odkaz:
http://arxiv.org/abs/2404.19462
Autor:
Castagna, Giuseppe, Peyrot, Loïc
We define and study "row polymorphism" for a type system with set-theoretic types, specifically union, intersection, and negation types. We consider record types that embed row variables and define a subtyping relation by interpreting types into sets
Externí odkaz:
http://arxiv.org/abs/2404.00338
Chatbots are conversational software applications designed to interact dialectically with users for a plethora of different purposes. Surprisingly, these colloquial agents have only recently been coupled with computational models of arguments (i.e. c
Externí odkaz:
http://arxiv.org/abs/2401.03454
Autor:
Bertoglio, Daniel Dalalana, Gil, Arthur, Acosta, Juan, Godoy, Julia, Lunardi, Roben Castagna, Zorzo, Avelino Francisco
With the increasing number of internet-based resources and applications, the amount of attacks faced by companies has increased significantly in the past years. Likewise, the techniques to test security and emulate attacks need to be constantly impro
Externí odkaz:
http://arxiv.org/abs/2311.12952
Publikováno v:
Proceedings of the ACM on Programming Languages, In press, 8 (POPL), pp.40
We present a type system that combines, in a controlled way, first-order polymorphism with intersectiontypes, union types, and subtyping, and prove its safety. We then define a type reconstruction algorithm that issound and terminating. This yields a
Externí odkaz:
http://arxiv.org/abs/2311.10426
Computer power is a constantly increasing demand in scientific data analyses, in particular when Markov Chain Monte Carlo (MCMC) methods are involved, for example for estimating integral functions or Bayesian posterior probabilities. In this paper, w
Externí odkaz:
http://arxiv.org/abs/2310.04346
Publikováno v:
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 2, Article 4
Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine, designed for building scalable and maintainable applications. Its characteristics have earned it a surging adoption by hundreds of industrial actors and tens of
Externí odkaz:
http://arxiv.org/abs/2306.06391
Autor:
Angelo Roberto Raccagni, Giovanni Mori, Valeria Poletti de Chaurand, Raffaele Dell’Acqua, Daniela Maria Cirillo, Chiara Oltolini, Benedetta Mazzi, Francesco Scomazzoni, Antonella Castagna, Monica Guffanti
Publikováno v:
Annals of Clinical Microbiology and Antimicrobials, Vol 23, Iss 1, Pp 1-9 (2024)
Abstract Background Disseminated non-tuberculous mycobacteria (dNTM) infections are mostly reported among individuals with an underlying congenital or acquired immunodeficiency or receiving immunosuppressive treatment, but are rarely documented in ot
Externí odkaz:
https://doaj.org/article/7797da80cd7941629469d5a1df1d584b
Autor:
S. Caprio, T. Pilli, S. Cantara, F. Sestini, C. Fioravanti, C. Ciuoli, C. Dalmiglio, A. Corbo, M. G. Castagna
Publikováno v:
BMC Endocrine Disorders, Vol 24, Iss 1, Pp 1-5 (2024)
Abstract Purpose An increase of IGF-1 has been reported during therapy with dopamine agonists (DA) for prolactinomas; in such cases a correct diagnosis is pivotal to avoid an unnecessary reduction or withdrawal of DA, which are needed to maintain nor
Externí odkaz:
https://doaj.org/article/06eed04baf1f4fa5a3adac7fc56ccfd5