February 2024 - Auto.docs.toulouse

[Docs.toulouse] [Docs] [Doctorants] [Current] Séminaire doctorant équipe TIRF (Giulio Quaglia)

by Guillaume Tochon

Bonjour, Giulio Quaglia, doctorant de l'équipe TIRF (conjointement avec l'IMCCE, Observatoire de Paris), présentera son sujet de thèse le lundi 04/03 à 14h. Sa thèse porte sur l'utilisation de l'IA pour l'exploitation à grande échelle des images de la mission CASSINI. En particulier, il présentera ses premiers résultats sur la détection des rayons cosmiques dans ces images et leur exploitation pour une meilleure compréhension de la magnétosphère de Saturne. Présentation en présentiel au KB (en salle DG), et sur Teams ici<https://teams.microsoft.com/l/meetup-join/19%3ameeting_NDE4MzgwMDctNWVhMS00…> Bonne journée, Guillaume ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Doctorants mailing list -- doctorants(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/doctorants.ml.lre.epita.fr// ______________________ Docs mailing list -- docs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.ml.lre.epita.fr// ______________________ Docs.toulouse mailing list -- docs.toulouse(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.toulouse.ml.lre.epita.fr//

6 months

1
2
0 0

[Docs.toulouse] [Docs] [Doctorants] [Current] Séminaire AA : Jérémy Dubut, Fixed-Point Theorems for Non-Transitive Relations, aujourd'hui 15h, KB204

by Daniel Stan

Bonjour, Le prochain séminaire de l'équipe Automates & Applications aura lieu aujourd'hui à 15h, en mode hybride (KB204 en présentiel). L'orateur sera Jérémy Dubut, les détails de son talk sont à retrouver ci-dessous : * Monday 26 February, 15:00 at EPITA KB 204<https://epimap.fr/kb/voltaire/2> and online (link at https://www.lre.epita.fr/automata_seminars/ when available) * Speaker: Jérémy Dubut-Kross<https://jeremydubut.com/>, National Institute of Advanced Science and Technology, Tokyo * Title: Fixed-Point Theorems for Non-Transitive Relations * We develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or attractivity, a mild condition implied by either antisymmetry or transitivity. In particular, we generalize various theorems ensuring the existence of a quasi-fixed point of monotone maps over complete relations, and show that the set of (quasi-)fixed points is itself complete. This result generalizes and strengthens theorems of Knaster-Tarski, Bourbaki-Witt, Kleene, Markowsky, Pataraia, Mashburn, Bhatta-George, and Stouti-Maaden. Joint work with Akihisa Yamada. Bonne journée, -- Daniel STAN ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Doctorants mailing list -- doctorants(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/doctorants.ml.lre.epita.fr// ______________________ Docs mailing list -- docs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.ml.lre.epita.fr// ______________________ Docs.toulouse mailing list -- docs.toulouse(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.toulouse.ml.lre.epita.fr//

6 months, 2 weeks

1
0
0 0

[Docs.toulouse] [Docs] [Doctorants] [Current] Newsletter 16

by Elodie Puybareau

Bonjour ! La Newsletter 16<https://www.lre.epita.fr/dload/news/Newsletter16.pdf> est en ligne ! bonne lecture ! Elodie ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Doctorants mailing list -- doctorants(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/doctorants.ml.lre.epita.fr// ______________________ Docs mailing list -- docs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.ml.lre.epita.fr// ______________________ Docs.toulouse mailing list -- docs.toulouse(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.toulouse.ml.lre.epita.fr//

6 months, 2 weeks

1
0
0 0

[Postdocs] [Current] [Parcours Recherche][LT] Horaire de passage ING2.

by edwin1 carlinet

Bonjour à tous, Voici les horaires de passage pour vos LTs (Mercredi 28 février) et les liens Teams pour ceux en région. Horaire Etudiant Equipe Colonne1 Lien Teams Salle 09:00 yacine.boureghda Image ING 2 (S8IMAGE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:08 valentine.tcheou Image ING 2 (S8IMAGE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:16 oscar.morand Image ING 2 (S8IMAGE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:24 vincent.tardieux IA ING 2 (SI8SCIA-G) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:32 romain.trefault IA ING 2 (SI8SCIA) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:40 ilyas.oulkadda IA ING 2 (SI8SCIA) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:48 theophile.stourbe IA ING 2 (SI8SCIA) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:56 lina.farchado Image ING 2 (SI8SCIA) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 10:04 thomas.xu AA ING 2 (S8IMAGE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 10:12 edgar.delaporte AA ING 2 (SI8GISTRE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 10:20 juliette.jacquot AA ING 2 (SI8SCIA) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 10:28 mathias.kautz Sécurité/Système ING 2 (SI8GISTRE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 10:36 samuel.goncalves MNSHS ING 2 (S8IMAGE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 N'oubliez pas de déposer vos slides sur Moodle (en pdf) et que vous devez assister aux présentations de vos collègues (sauf si conflit avec vos soutenances de stage). Cordialement, E. ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Postdocs mailing list -- postdocs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr//

6 months, 2 weeks

1
0
0 0

[Postdocs] [Current] [Parcours Recherche][LT] Horaires de passage (update).

by edwin1 carlinet

6 months, 3 weeks

1
0
0 0

[Docs.toulouse] [Docs] [Doctorants] [Current] Procédures publis

by Elodie Puybareau

Bonjour ! Vous trouverez sur l'intranet la procédure pour enregistrer vos publis dans le .bib du labo ! https://intra.lre.epita.fr/procedures/enregistrer-une-publi/ Vous y trouverez comment bien formatter votre entrée bibtex et comment mettre votre pdf en ligne. Attention on fonctionne encore avec 2 fichiers : lse.bib pour l'équipe Sécurité Systèmes, lrde.bib pour les autres. Ces 2 fichiers seront fusionnés ultérieurement. Attention bis : pour ceux qui mettent leurs articles sur lrde/dload : le contenu de lrde/dload/papers a été copié dans lre/dload/papers. Il n'y a pas de redirection, faites donc bien attention à utiliser lre/dload à partir de maintenant ! Bonne journée ! ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Doctorants mailing list -- doctorants(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/doctorants.ml.lre.epita.fr// ______________________ Docs mailing list -- docs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.ml.lre.epita.fr// ______________________ Docs.toulouse mailing list -- docs.toulouse(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.toulouse.ml.lre.epita.fr//

7 months

1
1
0 0

2024

2023

Auto.docs.toulouse February 2024

2024

2023

Auto.docs.toulouse February 2024 ----- 2024 ----- September 2024 August 2024 July 2024 June 2024 May 2024 April 2024 March 2024 February 2024 January 2024 ----- 2023 ----- December 2023 November 2023 October 2023

Auto.docs.toulouse February 2024