3 multiple-sequence-alignment positions at Université Côte d'Azur

Réalisabilité des types de session au-delà des automates communicants // multiparty session types: realisability beyond communicating automata

Université Côte d'Azur | Sophia Antipolis, Provence Alpes Cote d Azur | France | about 12 hours ago

communicante dont les transitions sont étiquetées par des actions d'envoi !m ou de réception ?m. Un type global qui n'est pas réalisable conduit à un système projeté qui reconnaît des Message Sequence Charts en

Génération de peignes de fréquences quantiques dans des cavités optiques multi-cœurs // Quantum frequency comb generation in multi-core optical cavities

Université Côte d'Azur | Nice, Provence Alpes Cote d Azur | France | 3 days ago

. ------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------------------------------------...

Etude du centre Galactique avec le relevé MOONS // Study of the Galactic centre with the MOONS survey

Université Côte d'Azur | Nice, Provence Alpes Cote d Azur | France | 3 months ago

ensemble de données afin d'étudier les propriétés chimiques, cinématiques et les âges des étoiles dans les régions centrales de la Voie lactée. Le ou la doctorant·e analysera les multiples populations