12 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR4 papers
- École des Neurosciences de ParisFR2 papers
- École Normale Supérieure - PSLFR2 papers
- Institut de Recherche pour le DéveloppementFR2 papers
- University of New CaledoniaNC2 papers
- Cadi Ayyad UniversityMA1 paper
- École Pratique des Hautes ÉtudesFR1 paper
- IfremerFR1 paper
- Institut de Systématique, Évolution, BiodiversitéFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR1 paper
- Laboratoire d’Océanographie de VillefrancheFR1 paper
16 papers
A drone-based framework for coral habitat mapping via weakly supervised segmentation
Matteo Contini, Victor Illien, Sylvain Poulain +4
Obtaining pixel-level annotations over large spatial extents remains a major bottleneck for deploying machine learning in ecological applications. Here we present a multi-scale wea…
Non-Termination of Logic Programs Using Patterns
Etienne Payet
In this paper, we consider an approach introduced in term rewriting for the automatic detection of non-looping non-termination from patterns of rules. We adapt it to logic programm…
Coupling Machine Learning Local Predictions with a Computational Fluid Dynamics Solver to Accelerate Transient Buoyant Plume Simulations
Clément Caron, Philippe Lauret, Alain Bastide
Data-driven methods demonstrate considerable potential for accelerating the inherently expensive computational fluid dynamics (CFD) solvers. Nevertheless, pure machine-learning sur…
Automatic Coral Detection with YOLO: A Deep Learning Approach for Efficient and Accurate Coral Reef Monitoring
Ouassine Younes, Zahir Jihad, Conruyt Noël +5
Coral reefs are vital ecosystems that are under increasing threat due to local human impacts and climate change. Efficient and accurate monitoring of coral reefs is crucial for the…
The growth effects of tropical cyclones in the U.S.: new evidence from state to county level
Eric Kulanthaivelu
Tropical cyclones have always been a concern for public authorities in the U.S., with a season lasting nearly half of the year. Using longitudinal data on economic growth and expos…
Hatchery-produced sandfish (Holothuria scabra) show altered genetic diversity in New Caledonia
Florentine Riquet, Cécile Fauvelot, Pauline Fey +2
Facing an alarming continuing decline of wild sea cucumber resources, management strategies were developed over the past three decades to sustainably promote development, maintenan…
The alternate congruo-harmonic series Part 2 -- Accelerations of convergence
David Pouvreau
For every couple (p;q) of strictly positive integers, the `` alternate congruo-harmonic '' series parametrized by (p;q), whose general term is (-1)^k/(pk+q), converges infra-linear…
Themes of parity in the valuation for integer numbers of the zeta function and of five related functions
David Pouvreau
This paper considers the problem of the valuation for integer numbers of the zeta function and of five other functions which are naturally associated to it. A relatively elementary…
On the acceleration of the convergence of the "Mādhava-Leibniz series"
David Pouvreau
This paper expounds very innovative results achieved between the mid-14th century and the beginning of the 16th century by Indian astronomers belonging to the so-called "Mādhava sc…
Derived system and dual sequence of a barypolygonal sequence -- Part 2
David Pouvreau, Vincent Bouis
Continuing the first part of this paper, the present one establishes in their full generality the properties of the derived system and of the dual sequence of any barypolygonal seq…
Derived system and dual sequence of a barypolygonal sequence -- Part 1
David Pouvreau, Vincent Bouis
This study continues three recent papers in which barypolygonal sequences have been defined and their properties of convergence demonstrated. Any barypolygonal sequence $\mathcal{B…
Beyond Conway's concyclicity theorem: generalization and alternatives
David Pouvreau
The famous concyclicity theorem stated by John H. Conway is here reconsidered by means of a parametrisation of the associated triangular configuration with arbitrary triplets of re…
Field-control, phase-transitions, and life's emergence
Gargi Mitra-Delmotte, A. N. Mitra
Instances of critical-like characteristics in living systems at each organizational level as well as the spontaneous emergence of computation (Langton), indicate the relevance of s…
TCP throughput guarantee in the DiffServ Assured Forwarding service: what about the results?
Emmanuel Lochin, Pascal Anelli
Since the proposition of Quality of Service architectures by the IETF, the interaction between TCP and the QoS services has been intensively studied. This paper proposes to look fo…
An Improved Non-Termination Criterion for Binary Constraint Logic Programs
Etienne Payet, Fred Mesnard
On one hand, termination analysis of logic programs is now a fairly established research topic within the logic programming community. On the other hand, non-termination analysis s…
A Generalization of the Lifting Lemma for Logic Programming
Etienne Payet, Fred Mesnard
Since the seminal work of J. A. Robinson on resolution, many lifting lemmas for simplifying proofs of completeness of resolution have been proposed in the literature. In the logic…