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.strasbourg mailing list -- docs.strasbourg(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/docs.strasbourg.ml.lre.epita.fr…
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.strasbourg mailing list -- docs.strasbourg(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/docs.strasbourg.ml.lre.epita.fr…
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.strasbourg mailing list -- docs.strasbourg(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/docs.strasbourg.ml.lre.epita.fr…