HtmlToText
lrde lrde general information home people news jobs lrde bulletin intranet research projects partnerships publications lrde seminar studying at lrde life at the lrde joining the lrde education courses at epita external courses tools what links here related changes special pages printable version permanent link page information browse properties log in general information home people news jobs lrde bulletin intranet research projects partnerships publications lrde seminar studying at lrde life at the lrde joining the lrde education courses at epita external courses tools what links here related changes special pages printable version permanent link page information browse properties lrde may not look as expected in this version of internet explorer. we recommend you upgrade to a newer version of internet explorer or switch to a browser like firefox or chrome. séminaire performance et généricité from lrde contents 1 à propos du séminaire 2 prochaines séances 3 archives 3.1 mercredi 4 juillet 2018, 11h-12h, amphi ip11 3.1.1 y a-t-il une théorie de la détection des anomalies dans les images digitales? 3.2 mercredi 13 juin 2018, 11h-12h, amphi 401 3.2.1 hierarchical image representations: construction, evaluation and examples of use for image analysis 3.3 mercredi 30 mai 2018, 11h-12h, amphi ip11 3.3.1 partial but precise loop summarization and its applications 4 contact à propos du séminaire la modélisation orientée objet permet la classification des problèmes de calcul scientifique, et par conséquent, par la factorisation qu'elle rend possible, elle fournit un excellent support pour la fédération d'efforts de développement. malheureusement les performances en pâtissent souvent. de nouveaux langages, de nouvelles techniques de programmation réconcilient performance et généricité , permettant la naissance de bibliothèques de nouvelle génération (boost, olena, vcsn, etc.). l'objet de ce séminaire est la diffusion du savoir et des compétences sur la modélisation de bibliothèques métiers génériques et performantes . mots clés : calcul scientifique, distribution, génie logiciel, généricité, grille, langages, multi-cœur, paradigmes de programmation, parallélisme, recherche reproductible . comment venir: contact . prochaines séances archives mercredi 4 juillet 2018, 11h-12h, amphi ip11 y a-t-il une théorie de la détection des anomalies dans les images digitales? jean-michel morel (école normale supérieure paris-saclay) dans ce travail en collaboration avec axel davy, mauricio delbracio et thibaud ehret, je passerai en revue les classes d'algorithmes dont le but est de détecter des anomalies dans les images digitales. ces détecteurs répondent au difficile problème de trouver automatiquement des exceptions dans des images de fond, qui peuvent être aussi diverses qu'un tissu ou une mammographie. des méthodes de détection ont été proposées par milliers car chaque problème nécessite un modèle de fond différent. en analysant les approches existantes, nous montrerons que le problème peut être réduit à la détection d'anomalies dans les images résiduelles (extraites de l'image cible) dans lesquelles prédominent le bruit et les anomalies. ainsi, le problème général et impossible de la modélisation d'un fond arbitraire est remplacé par celui de modèliser un bruit. or un modèle de bruit permet le calcul de seuils de détection rigoureux. l'approche au problème peut donc être non supervisée et fonctionner sur des images arbitraires. nous illustrerons l'usage de la théorie de détection dite a contrario, qui évite la sur-détection en fixant des seuils de détection prenant en compte la multiplicité des tests. mathématicien de formation, docteur de l'université pierre et marie curie, assistant à marseille-luminy, maître de conférences et professeur à l'université paris-dauphine puis à l'ens cachan, jmm a fait ses premiers travaux sur les équations aux dérivées partielles non-linéaires et les méthodes variationnelles. il s'est ensuite consacré au développement d'outils mathématiques pour le traitement et l'analyse d'images et la modélisation de la perception visuelle. https://sites.google.com/site/jeanmichelmorelcmlaenscachan/ mercredi 13 juin 2018, 11h-12h, amphi 401 hierarchical image representations: construction, evaluation and examples of use for image analysis camille kurtz (lipade, université paris descartes) hierarchical image representations have become increasingly popular in image processing and computer vision over the past decades. indeed, they allow a modeling of image contents at different (and complementary) levels of scales, resolutions and semantics. methods based on such image representations have been able to tackle various complex challenges such as multi-scale image segmentation, image filtering, object detection, recognition, and more recently image characterization and understanding. in this talk, we will focus on the binary partition tree (bpt), which is a well-known hierarchical data-structure, frequently involved in the design of image segmentation strategies. in a first part, we will focus on the construction of such trees by providing a generalization of the bpt construction framework to allow one to embed multiple features, which enables handling many metrics and/or many images. in a second part, we will discuss how it may be possible to evaluate the quality of such a structure and its ability to reconstruct regions of the image corresponding to segments of reference given by a user. finally, we will see some examples of image analysis and recognition processes involving these hierarchical structures. the main thematic application is remote sensing and satellite image analysis. camille kurtz obtained the msc and phd from université de strasbourg, france, in 2009 and 2012. he was a post-doctoral fellow at stanford university, ca, usa, between 2012 and 2013. he is now an associate professor at université paris descartes, france. his scientific interests include image analysis, data mining, medical imaging and remote sensing. www.math-info.univ-paris5.fr/~ckurtz/ mercredi 30 mai 2018, 11h-12h, amphi ip11 partial but precise loop summarization and its applications jan strejcek, masaryk university we show a symbolic-execution-based algorithm computing the precise effect of a program cycle on program variables. for a program variable, the algorithm produces an expression representing the variable value after the number of cycle iterations specified by parameters of the expression. the algorithm is partial in the sense that it can fail to find such an expression for some program variables (for example, it fails in cases where the variable value depends on the order of paths in the cycle taken during iterations). we present two applications of this loop summarization procedure. the first is the construction of a nontrivial necessary condition on program input to reach a given program location. the second application is a loop bound detection algorithm, which produces tighter loop bounds than other approaches. jan strejcek is an associate professor at the faculty of informatics of masaryk university located in brno, czech republic. he received his phd in computer science (2005) and master degrees in mathematics (2000) and computer science (2001) from the same university. his current research focuses on automata over infinite words, automatic program analysis, and smt-solving of quantified bitvector formulae. https://www.fi.muni.cz/~xstrejc/ more… contact adresse et plan recevoir les annonces par email : retrieved from " https://www.lrde.epita.fr/index.php?title=seminar&oldid=121283 " about lrde
Informations Whois
Whois est un protocole qui permet d'accéder aux informations d'enregistrement.Vous pouvez atteindre quand le site Web a été enregistré, quand il va expirer, quelles sont les coordonnées du site avec les informations suivantes. En un mot, il comprend ces informations;
%%
%% This is the AFNIC Whois server.
%%
%% complete date format : DD/MM/YYYY
%% short date format : DD/MM
%% version : FRNIC-2.5
%%
%% Rights restricted by copyright.
%% See https://www.afnic.fr/en/products-and-services/services/whois/whois-special-notice/
%%
%% Use '-h' option to obtain more information about this service.
%%
%% [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> epita.fr
%%
%% RL Net [##########] - RL IP [#########.]
%%
domain: epita.fr
status: ACTIVE
hold: NO
holder-c: IG473-FRNIC
admin-c: IG370-FRNIC
tech-c: GR283-FRNIC
zone-c: NFC1-FRNIC
nsl-id: NSL76979-FRNIC
registrar: GANDI
Expiry Date: 05/05/2018
created: 06/09/1995
last-update: 04/04/2017
source: FRNIC
ns-list: NSL76979-FRNIC
nserver: tooty.ionis-it.com
nserver: banjo.ionis-it.com
nserver: kazooie.ionis-it.com
source: FRNIC
registrar: GANDI
type: Isp Option 1
address: 63-65 boulevard Massena
address: PARIS
country: FR
phone: +33 1 70 37 76 61
fax-no: +33 1 43 73 18 51
e-mail: reg.afnic-notification@gandi.net
website: http://www.gandi.net
anonymous: NO
registered: 09/03/2004
source: FRNIC
nic-hdl: IG370-FRNIC
type: ORGANIZATION
contact: IONIS GROUPE
address: Ionis Education Group
address: 2, rue des 4 fils
address: 75003 Paris
country: FR
phone: +33 1 42 71 28 15
fax-no: +33 1 42 71 15 21
e-mail: c2df801a1980517e3f7ff778aa5ed499-15925@contact.gandi.net
registrar: GANDI
changed: 21/05/2015 nic@nic.fr
anonymous: NO
obsoleted: NO
eligstatus: ok
eligdate: 03/10/2006 00:00:00
source: FRNIC
nic-hdl: GR283-FRNIC
type: ROLE
contact: GANDI ROLE
address: Gandi
address: 15, place de la Nation
address: 75011 Paris
country: FR
e-mail: noc@gandi.net
trouble: -------------------------------------------------
trouble: GANDI is an ICANN accredited registrar
trouble: for more information:
trouble: Web: http://www.gandi.net
trouble: -------------------------------------------------
trouble: - network troubles: noc@gandi.net
trouble: - SPAM: abuse@gandi.net
trouble: -------------------------------------------------
admin-c: NL346-FRNIC
tech-c: NL346-FRNIC
tech-c: TUF1-FRNIC
notify: noc@gandi.net
registrar: GANDI
changed: 03/03/2006 noc@gandi.net
anonymous: NO
obsoleted: NO
source: FRNIC
nic-hdl: IG473-FRNIC
type: ORGANIZATION
contact: Ionis Groupe
address: Ionis Groupe
address: 2, rue des 4 Fils
address: 75003 Paris
country: FR
phone: +33 1 42 71 28 15
fax-no: +33 1 42 71 15 21
e-mail: 3a1a8968932d23453491510f13f097e5-383322@contact.gandi.net
registrar: GANDI
changed: 14/08/2015 nic@nic.fr
anonymous: NO
obsoleted: NO
eligstatus: ok
eligsource: REGISTRAR
eligdate: 12/05/2014 11:08:29
source: FRNIC
REFERRER http://www.nic.fr
REGISTRAR AFNIC
SERVERS
SERVER fr.whois-servers.net
ARGS epita.fr
PORT 43
TYPE domain
RegrInfo
DISCLAIMER
%
% This is the AFNIC Whois server.
%
% complete date format : DD/MM/YYYY
% short date format : DD/MM
% version : FRNIC-2.5
%
% Rights restricted by copyright.
% See https://www.afnic.fr/en/products-and-services/services/whois/whois-special-notice/
%
% Use '-h' option to obtain more information about this service.
%
% [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> epita.fr
%
% RL Net [##########] - RL IP [#########.]
%
REGISTERED yes
ADMIN
HANDLE IG370-FRNIC
TYPE ORGANIZATION
CONTACT IONIS GROUPE
ADDRESS
Ionis Education Group
2, rue des 4 fils
75003 Paris
COUNTRY FR
PHONE +33 1 42 71 28 15
FAX +33 1 42 71 15 21
EMAIL c2df801a1980517e3f7ff778aa5ed499-15925@contact.gandi.net
SPONSOR GANDI
CHANGED 2015-05-21
ANONYMOUS NO
OBSOLETED NO
ELIGSTATUS ok
ELIGDATE 03/10/2006 00:00:00
SOURCE FRNIC
TECH
HANDLE GR283-FRNIC
TYPE ROLE
CONTACT GANDI ROLE
ADDRESS
Gandi
15, place de la Nation
75011 Paris
COUNTRY FR
EMAIL noc@gandi.net
TROUBLE
-------------------------------------------------
GANDI is an ICANN accredited registrar
for more information:
Web: http://www.gandi.net
-------------------------------------------------
- network troubles: noc@gandi.net
- SPAM: abuse@gandi.net
-------------------------------------------------
ADMIN-C NL346-FRNIC
TECH-C
NL346-FRNIC
TUF1-FRNIC
NOTIFY noc@gandi.net
SPONSOR GANDI
CHANGED 2006-03-03
ANONYMOUS NO
OBSOLETED NO
SOURCE FRNIC
OWNER
HANDLE IG473-FRNIC
TYPE ORGANIZATION
CONTACT Ionis Groupe
ADDRESS
Ionis Groupe
2, rue des 4 Fils
75003 Paris
COUNTRY FR
PHONE +33 1 42 71 28 15
FAX +33 1 42 71 15 21
EMAIL 3a1a8968932d23453491510f13f097e5-383322@contact.gandi.net
SPONSOR GANDI
CHANGED 2015-08-14
ANONYMOUS NO
OBSOLETED NO
ELIGSTATUS ok
ELIGSOURCE REGISTRAR
ELIGDATE 12/05/2014 11:08:29
SOURCE FRNIC
DOMAIN
STATUS ACTIVE
HOLD NO
SPONSOR GANDI
EXPIRY DATE 05/05/2018
CREATED 1995-09-06
CHANGED 2017-04-04
SOURCE FRNIC
HANDLE NSL76979-FRNIC
NSERVER
TOOTY.IONIS-IT.COM 195.154.174.147
BANJO.IONIS-IT.COM 163.5.42.42
KAZOOIE.IONIS-IT.COM 163.5.42.43
NAME epita.fr
Go to top
seminaire.lrde.epita.fr rapport :
Visitez le site
