- Mnshs.docs.paris

[Postdocs] [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// ______________________ Postdocs mailing list -- postdocs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr//

6 months, 3 weeks

1
0
0 0

[Postdocs] [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// ______________________ Postdocs mailing list -- postdocs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr//

6 months, 4 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, 4 weeks

1
0
0 0

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

by edwin1 carlinet

7 months

1
0
0 0

[Postdocs] [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// ______________________ Postdocs mailing list -- postdocs(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr//

7 months, 1 week

1
1
0 0

[Docs.lyon] [Docs] [Doctorants] [Séminaire Sécurité/ Systèmes - Jeudi 08/02 à 15h00] Patricia Endo, "How can we use Artificial Intelligence in the health area?"

by Ghada Gharbi

Bonjour tout le monde, Dans le cadre des séminaires de l'équipe Sécurité /Systèmes, nous écouterons sur Teams Patricia Endo, professeur associé à l'université de Pernambuco (Brésil), jeudi 08/02/2024 à 15h00. Patricia Endo nous parlera de ses travaux sur "How can we use Artificial Intelligence in the health area?" Résumé: Artificial Intelligence (AI) is reshaping the healthcare sector, presenting significant prospects for the advancement of patient care, the augmentation of medical research, and the optimization of healthcare administration. This talk delves into applications of AI within the healthcare domain, with a particular focus on its role in addressing tropical neglected diseases (NTD). In the context of tropical neglected diseases, AI has emerged as a powerful tool for early detection, diagnosis, and treatment monitoring. In this tutorial, Professor Patricia Endo will discuss research projects focused on NTDs such as tuberculosis, arboviruses, and leprosy, presenting some low-cost solutions her research group has been developing. Bio : Patricia Takako Endo is an Associate Professor at the University of Pernambuco (UPE), working in the Bachelor's degree program in Information Systems - Campus Caruaru, and as a permanent member of the Graduate Program in Computer Engineering (PPGEC) at the Polytechnic School of Pernambuco (POLI/UPE). Currently, she is the Vice-Coordinator of PPGEC Caruaru. She is the lead researcher of the dotLAB Brazil research group at UPE. She holds a Ph.D. in Computer Science from the Center for Informatics (CIn) at UFPE (2014), a Master's degree in Computer Science from UFPE (2008) in the area of Computer Networks, and a Bachelor's degree in Computer Engineering from the Federal University of Pará (2005). She has experience in the field of Computer Engineering, with emphasis on computer networks, telecommunications, and data science, mainly working on the following topics: network technologies, wireless networks, cloud computing, fog computing, e-health systems, and data science applied to health. Cordialement, Ghada Gharbi ________________________________________________________________________________ Réunion Microsoft Teams Participez à partir de votre ordinateur, de votre application mobile ou de l’appareil de la salle Cliquez ici pour rejoindre la réunion<https://teams.microsoft.com/l/meetup-join/19%3ameeting_NzVmYjYwNDYtNWIxZi00…> ID de la réunion : 345 549 216 187 Code secret : FwifBn Télécharger Teams<https://www.microsoft.com/en-us/microsoft-teams/download-app> | Rejoindre sur le web<https://www.microsoft.com/microsoft-teams/join-a-meeting> Pour en savoir plus<https://aka.ms/JoinTeamsMeeting> | Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=9a220f60-43fb-406a-…> [cid:2470da6b-902d-453d-90d6-de09df58de34]<https://www.epita.fr/> Ghada GHARBI Enseignante - Chercheure EPITA Toulouse [cid:a8b75da7-65e6-4907-a9ee-0f3ffa7f67a4]<https://www.facebook.com/epita/> [cid:a5315d6f-ee03-4afd-a574-6bf4dd3a966d] <https://www.instagram.com/epita.national/> [cid:05a47822-1c99-4c53-affd-1f4b9fed06f3] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:da972dd6-8539-4d1e-8cf9-6ce97bc006cd] <https://twitter.com/epita> [cid:07c90a84-9ec8-4eeb-8ceb-8f25b16ef023] <https://www.epita.fr/> [cid:ae455d3c-24a5-46fc-be7d-f49e1dc0abcf] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> ______________________ 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.lyon mailing list -- docs.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.lyon.ml.lre.epita.fr//

7 months, 2 weeks

1
0
0 0

[Docs.lyon] [Docs] [Doctorants] [Séminaire Sécurité/ Systèmes - Jeudi 08/02 à 15h00] Patricia Endo, "How can we use Artificial Intelligence in the health area?"

by Ghada Gharbi

Bonjour tout le monde, Dans le cadre des séminaires de l'équipe Sécurité /Systèmes, nous écouterons sur Teams Patricia Endo, professeur associé à l'université de Pernambuco (Brésil), jeudi 08/02/2024 à 15h00. Patricia Endo nous parlera de ses travaux sur "How can we use Artificial Intelligence in the health area?" Résumé: Artificial Intelligence (AI) is reshaping the healthcare sector, presenting significant prospects for the advancement of patient care, the augmentation of medical research, and the optimization of healthcare administration. This talk delves into applications of AI within the healthcare domain, with a particular focus on its role in addressing tropical neglected diseases (NTD). In the context of tropical neglected diseases, AI has emerged as a powerful tool for early detection, diagnosis, and treatment monitoring. In this tutorial, Professor Patricia Endo will discuss research projects focused on NTDs such as tuberculosis, arboviruses, and leprosy, presenting some low-cost solutions her research group has been developing. Bio : Patricia Takako Endo is an Associate Professor at the University of Pernambuco (UPE), working in the Bachelor's degree program in Information Systems - Campus Caruaru, and as a permanent member of the Graduate Program in Computer Engineering (PPGEC) at the Polytechnic School of Pernambuco (POLI/UPE). Currently, she is the Vice-Coordinator of PPGEC Caruaru. She is the lead researcher of the dotLAB Brazil research group at UPE. She holds a Ph.D. in Computer Science from the Center for Informatics (CIn) at UFPE (2014), a Master's degree in Computer Science from UFPE (2008) in the area of Computer Networks, and a Bachelor's degree in Computer Engineering from the Federal University of Pará (2005). She has experience in the field of Computer Engineering, with emphasis on computer networks, telecommunications, and data science, mainly working on the following topics: network technologies, wireless networks, cloud computing, fog computing, e-health systems, and data science applied to health. Cordialement, Ghada Gharbi ________________________________________________________________________________ Réunion Microsoft Teams Participez à partir de votre ordinateur, de votre application mobile ou de l’appareil de la salle Cliquez ici pour rejoindre la réunion<https://teams.microsoft.com/l/meetup-join/19%3ameeting_NzVmYjYwNDYtNWIxZi00…> ID de la réunion : 345 549 216 187 Code secret : FwifBn Télécharger Teams<https://www.microsoft.com/en-us/microsoft-teams/download-app> | Rejoindre sur le web<https://www.microsoft.com/microsoft-teams/join-a-meeting> Pour en savoir plus<https://aka.ms/JoinTeamsMeeting> | Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=9a220f60-43fb-406a-…> ________________________________________________________________________________ ______________________ 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.lyon mailing list -- docs.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.lyon.ml.lre.epita.fr//

7 months, 2 weeks

1
0
0 0

[Docs.paris] [Paris] déménagement

by Thierry Geraud

Bonjour, Les dates de déménagement ont été décidées ce matin : * Pour ceux·celles qui sont au KB4 3e, le mardi 30 janvier ; cela inclut la libération de l'ex-espace scolarité + la mobilité de certaines personnes de l'aile ex-LRDE qui rejoindront la nouvelle aile (ex-Blackfoot). * Pour ceux·celles qui sont au K3, le mardi 6 février ; avec installation au KB4 3e. Vous trouverez un plan ci-joint : * pour IA, 1 seule salle * pour mnshs et sécusys, la répartition "EC -> salles" est connue * la salle de l'ex-aile LRDE "2 AA + 1 Image" est pour Alexandre, Didier et Olivier. Étant donné le deadline de cartonnage qui était à Noël, on est prêt. Bonne journée, Théo ______________________ Paris mailing list -- paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr// ______________________ Docs.paris mailing list -- docs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.paris.ml.lre.epita.fr//

7 months, 2 weeks

1
1
0 0

[Postdocs] [Current] Sondage : Présentation "intégrité scientifique" au LRE

by Thierry Geraud

Bonjour, Une présentation "intégrité scientifique" sera prévue au LRE la semaine du lundi 29 janvier 2024 ; pour cela, un sondage pour trouver la "meilleure" ½ journée est disponible ici : Afficher/voter dans le navigateur<https://forms.office.com/Pages/ResponsePage.aspx?id=17M0NWwxyUue3mBchg9J0kk…> Pour info : cette présentation sera donnée par un référent intégrité scientifique extérieur qui a du métier... Donc merci de répondre au sondage assez rapidement pour que notre interlocuteur puisse bloquer un créneau. Info / rappel : vous avez du matériel à votre disposition sur ce sujet dans votre dépôt documentaire (répertoire "Intégrité scientifique, déontologie, éthique, RGPD"). N'hésitez pas à le lire / ce sont des notions que chacun·e doit connaître / qui font partie intégrante de notre métier. Bonne semaine, Théo Référent IS de l'EPITA (Plusieurs problèmes d'IS gérés ces dernières années...) ______________________ 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//

7 months, 3 weeks

1
2
0 0

[Docs.paris] [Paris] Pâtisseries du Japon 🇯🇵 🏯

by Guillaume Tochon

Elles vous attendent à côté de la machine à café (des 分からない et des でも美味しそうです) Guillaume -- Guillaume TOCHON Enseignant-Chercheur - LRE, EPITA Chercheur associé - IMCCE, Observatoire de Paris +33 1 53 14 59 39 ______________________ Paris mailing list -- paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr// ______________________ Docs.paris mailing list -- docs.paris(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/docs.paris.ml.lre.epita.fr//

7 months, 3 weeks

1
0
0 0

2024

2023

Mnshs.docs.paris ----- 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 September 2023 August 2023 July 2023

Mnshs.docs.paris