Lecouteux, Stéphane
Actes des journées d'études sur la bibliothèque et le chartrier de Fécamp, dir. Stéphane Lecouteux, Nicolas Leroux et Ourdia Siab, Fécamp, 25-26 octobre 2017.La publication de ces actes se fera en deux livraisons : - la première, prévue pour décembre 2020, portera sur "La bibliothèque et les archives au Moyen Âge" ;- la seconde, à paraître en 2021,...
Praeg, Daniel Migeon, Sebastien Ketzer, J.M. Silva, Cleverson Dos Reis, A.T. Unnithan, Vikram Augustin, Adolpho Rodrigues, Luiz Frederico Pivel, Maria Alejandra Gomez Machado Cruz, Alberto
...
Fluid migration strongly influences gas hydrate occurrences, increasing concentrations in proportion to gas supply. An upward flow of gas-rich fluids is also central to models proposed to account for the formation of venting features within the gas hydrate stability zone (GHSZ), and for the presence or absence at its based of bottom simulating refl...
Crimaldi, Irene LOUIS, Pierre-Yves Minelli, Ida
Rich get richer rule comforts previously often chosen actions. What is happening to the evolution of individual inclinations to choose an action when agents do interact ? Interaction tends to homogenize while each individual dynamics tends to reinforce its own position. Interacting stochastic systems of reinforced processes were recently considered...
Mougin, Bruno Le Gal, Arnaud Schroetter, Jean-Michel Dewandel, Benoît Petelet-Giraud, Emmanuelle Koch, Florian Portal, Angélie Vergnaud, Virginie
Le principal site de production d’eau potable via des eaux souterraines d’Eau du Morbihan est situé à Beignon, dans le Nord-Est du Morbihan [A. Le Gal et al., 2015]. Les recherches d’eau réalisées ont permis de mettre en service en 2011 trois forages (FE3, FE4 et FE7), pour un débit total de 125 m3/h. Ces forages sont situés à proximité d’un cours ...
Baujard, Corinne
Résumé : La médiation appliquée à la créativité culturelle a donné naissance au métier de « muséothérapeute ». Dans le monde professionnel, des salariés peuvent désormais bénéficier des bienfaits des collections des musées pour soigner stress, anxiété, mélancolie ou morosité quotidienne. La culture transforme le rapport à soi, aide à penser le réta...
Gass, Louis
We consider the Riemannian random wave model of Gaussian linear combinations of Laplace eigenfunctions on a general compact Riemannian manifold. With probability one with respect to the Gaussian coefficients, we establish that, both for large band and monochro-matic models, the process properly rescaled and evaluated at an independently and uniform...
Fouillen, Erwan Boyer, Claire Sangnier, Maxime
Gradient boosting is a prediction method that iteratively combines weak learners to produce a complex and accurate model. From an optimization point of view, the learning procedure of gradient boosting mimics a gradient descent on a functional variable. This paper proposes to build upon the proximal point algorithm when the empirical risk to minimi...
François, Jordan
To systematically answer the generalized Kretschmann objection, we propose a mean to make operational a criterion widely recognized as allowing to decide if the gauge symmetry of a theory is artificial or substantial. Our proposition is based on the dressing field method of gauge symmetry reduction, a new simple tool from mathematical physics. This...
Petkovska, Ana Mishchenko, Alan Novo, David Owaida, Muhsen Ienne, Paolo
We present an algorithm that progressively generates canonical irredun-dant Sums Of Products (SOPs) for completely-and incompletely-specified Boolean functions using a satisfiability (SAT) solver. The progressive generation allows for real time monitoring and early termination, as well as for generation of partial SOPs for incremental applications....
Andrade, João George, Nithin Karras, Kimon Novo, David Pratas, Frederico Sousa, Leonel Ienne, Paolo Falcão, Gabriel Silva, Vítor
Today, high-level synthesis (HLS) tools are being touted as a means to perform rapid prototyping and shortening the long development cycles needed to produce hardware designs in register transfer level (RTL). In this paper, we attempt to verify this claim by testing the productivity benefits offered by current HLS tools by using them to develop one...