3 citations
- Centre de Gestion ScientifiqueFR2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Infection et inflammationFR2 papers
- Laboratoire d'Informatique, Signaux et Systèmes de Sophia AntipolisFR2 papers
- Laboratoires i2mFR2 papers
- Anna Needs Neuroblastoma AnswersUS1 paper
- Centre de Recherche en Cancérologie et Immunologie Intégrée Nantes AngersFR1 paper
- Eramet (France)FR1 paper
- Hochschule AalenDE1 paper
- Laboratoire des Sciences du Numérique de NantesFR1 paper
- Nantes UniversitéFR1 paper
- Tallinn University of TechnologyEE1 paper
4 papers · 1 filter
On the Impact of the Communication Model on Realisability
Cinzia Di Giusto, Etienne Lozes, Pascal Urso
Multiparty Session Types (MPST) provide a type-theoretic foundation for specifying and verifying communication protocols in distributed systems. MPST rely on the notion of global t…
Hybrid-Integrated InGaAs/InP SPAD Arrays for Quantum Communications
Joseph A. Dolphin, Rosemary O. E. Scowen, Louise M. Wells +7
Photonic integration is a promising route to miniaturise the hardware of quantum key distribution (QKD), yet the monolithic integration of single photon detectors remains a signifi…
Realisability and Complementability of Multiparty Session Types
Cinzia Di Giusto, Etienne Lozes, Pascal Urso
Multiparty session types (MPST) are a type-based approach for specifying message-passing distributed systems. They rely on the notion of global type specifying the global behaviour…
Deep learning for predicting hauling fleet production capacity under uncertainties in open pit mines using real and simulated data
N Guerin, M Nakhla, A Dehoux +1
Accurate short-term forecasting of hauling-fleet capacity is crucial in open-pit mining, where weather fluctuations, mechanical breakdowns, and variable crew availability introduce…