7 citations
- École Nationale Supérieure de Techniques AvancéesFR2 papers
- Bank of BrazilBR1 paper
- Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et TechnologiesFR1 paper
- Musée de la CivilisationCA1 paper
- Nazi Boni UniversityBF1 paper
- The Ohio State UniversityUS1 paper
- Universidade de BrasíliaBR1 paper
- Universidad Francisco de VitoriaES1 paper
13 papers
On s-split p-Hilbert class field towers with prescribed Galois groups
Christian Maire, Karim Sankara
In this work, we show that given a finite p-group G, a number field K having a trivial p-class group Cl K , and a finite set of primes S of K, there exists a finite extension F/K s…
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
Igor Regis da Silva Simoes, Elaine Venson
Code readability is one of the main aspects of code quality, influenced by various properties like identifier names, comments, code structure, and adherence to standards. However,…
A framework for the modelling and the analysis of epidemiological spread in commuting populations
Pierre-Alexandre Bliman, Boureima Sangaré, Assane Savadogo
In the present paper, our goal is to establish a framework for the mathematical modelling and the analysis of the spread of an epidemic in a large population commuting regularly, t…
A Formalized Extension of the Substitution Lemma in Coq
Maria J. D. Lima, Flávio L. C. de Moura
The substitution lemma is a renowned theorem within the realm of lambda-calculus theory and concerns the interactional behaviour of the metasubstitution operation. In this work, we…
On Sdes For Bessel Processes In Low Dimension And Path-dependent Extensions
Alberto Ohashi, Francesco Russo, Alan Teixeira
The Bessel process in low dimension (0 1) is not an It{ô} process and it is a semimartingale only in the cases = 1 and = 0. In this paper we first character…
Rough paths and symmetric-Stratonovich integrals driven by singular covariance gaussian processes
Alberto Ohashi, Francesco Russo
We examine the relation between a stochastic version of the rough path integral with the symmetric-Stratonovich integral in the sense of regularization. Under mild regularity condi…