Le Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire

Dimension: px
Commencer à balayer dès la page:

Download "Le Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire"

Transcription

1 Communiquédepresse Mars2013 LeCollègedeFrancecréeunechairepérenned Informatique, Algorithmes,machinesetlangages, etnommeleprgérardberrytitulaire Leçoninauguralele28mars avait marquéunpas importantdans lareconnaissancedel informatiquecommescienceà part entière avec la création d une chaire annuelle, Informatique et sciences numériques au CollègedeFrance.Faceàl importancedecettediscipline,ycomprisparleshorizonsgigantesques qu elle permet d ouvrir pour les autres sciences, l Assemblée des professeurs du Collège de Franceadécidédecréerunechairepérenneeninformatique.ElleanomméGérardBerrytitulaire decettenouvellechaire Lacréationdelachaire,Algorithmes,machinesetlangagesmarqueainsiunenouvelleétapedans la reconnaissance de la science informatique. En effet, si le terme «informatique» renvoie à nombre d applications et d objets courants utilisés par tous, l informatique est d abord une sciencecomplexeetoriginalequisedoitd êtrereconnuecommetelle. Commentmodéliserettraiterinformatiquementletempsetlesévénements? La science informatique étudie cinq grands domaines fortement reliés entre eux: la représentationdel informationsousformenumérique,lesinterfacesquipermettentderecevoir etdenumériserl informationdumonderéeletd agirsurcemonde,lesalgorithmesconceptuels pourmanipulerl information,lesprogrammesquiimplantentcesalgorithmesdansdeslangages précis,etlesmachinesquiexécutentlesprogrammes. Commel indiquelenomdelachaire,c estautriangleforméparlesalgorithmes,leslangageset lesmachinesquesera consacré l essentieldes cours et desrecherchesdu Pr Gérard Berry,sans ignorer bien sûr les deux autres domaines. Gérard Berry consacrera une large partie de ses travaux et de son enseignement à une question fondamentale: comment modéliser et traiter informatiquementletempsetlesévénements? Le Professeur Gérard Berry donnera saleçon inaugurale, le jeudi 28 mars 2013 à 18h. Ses cours aurontlieulesmardisà10h00àpartirdu02avril.l ensembledececycleseradisponiblesurlesite InternetduCollègedeFrance(www.collège de France.fr). Contactpresse:MarieChéron/CécileBarnier: de France.fr Mars2013

2 ChaireAlgorithmes,machinesetlangages Leçoninauguraledu28mars2013(présentation) Parunglissementrécentdelalangue,lemot«informatique»setrouvedeplusenplussouvent remplacé par le mot «numérique», qu on associe à toute activité qui repose d une façon ou d uneautresurlanumérisationdel informationetsontraitementinformatique:communication numérique,économienumérique,artnumérique,etc.maisilnefautjamaisoublierquelecœur du numérique est bien l informatique, dans ses trois composantes scientifiques, techniques et industrielles.mêmesilechampd applicationdel informatiquenecessedes étendreetmêmesi lesobjetsinformatiséschangenttrèsrapidement,lascienceinformatiqueestlamêmepartoutet faitappelàdesconceptsetdesmodesderaisonnementsstablesetbienthéorisés,aveclapensée algorithmiquecommecentre. C estàlarichearticulationentrealgorithmes,langagesetmachinesquejeconsacreraimescours, enmettantunaccentparticuliersurletraitementdutempsetdesévénementseninformatique. Traiter correctement le temps et les événements est une obligation commune à de nombreux domaines d application apparemment disparatesde l informatique : les systèmes embarqués temps réel conduisant les avions ou les voitures, les systèmes sur puces que sont devenus les circuits électroniques modernes, la simulation informatique de toutes sortes de phénomènes mécaniques, physiques ou biologiques, la conception de nouvelles applications Web par composition et orchestration des milliers d applications déjà disponibles, l interprétation et la composition musicalemêlant interprèteshumains et ordinateurs, etc.lesrecherches effectuées principalement en France et maintenant amenées au niveau industrielont montré que tous ces domainesrelèventdesmêmesconceptsetdesmêmesoutilsscientifiques. J étudierai comment modéliser et traiter informatiquement le temps et les événements, en constatantd abordquelesmodélisationsclassiques de laphysiquenesuffisentpasaux besoins de l informatique. À partir de la notion d épaisseur de l instant et d exemples de circuits et de logicielstemps réels,jemontreraiqu ilfautparlerdutempssimultanémentàplusieurséchelleset àplusieursniveauxd abstraction,etqu onpeutéchangerl espaceetletempsdediversesfaçons pouroptimiserlescalculs.j élargiraiensuitelanotiondetempsphysiqueenunenotiondetemps multiforme,engendrénonseulementparlasecondemaisparlarépétitiondetoutévénementtel quelepasdumarcheuroulemètrequ ilparcourt.j étudierailadifférenceentre lesapproches synchrones, fondées sur la notion d horloge, et les approchesasynchrones qui cherchent à s en passer. Je discuterai la relation indispensable mais délicate et encore mal comprise entre les visionscontinuesetdiscrètesdutemps,danslaconceptiondescircuitsélectroniquesetdanscelui simulation de systèmes complexes, encore bien moins maîtrisé. Pour tous ces sujets, j insisterai surl importancedeslangagesformelspermettantd écrirelesspécificationsetlesprogrammeset deslogiquesformellespermettantdelesanalyseretdegarantirleursûreté. GérardBerry Contactpresse:MarieChéron/CécileBarnier: de France.fr Mars2013

3 ChaireAlgorithmes,machinesetlangages Présentationdel enseignementduprgérardberry Letempsetlesévénementseninformatique Lespremièresannéesdelachaireserontconsacréesàlamanipulationexplicitedutempsetdes événements en informatique, sujet particulièrement important dans plusieurs domaines de conception et de vérification de systèmes informatisés: logiciels de contrôle en temps réel de systèmesdetransports,desystèmesindustrielsetd objettrèsdivers,systèmesélectroniquessur puces qui remplacent désormais les circuits mono fonctions du XX e siècle, simulateurs informatiques de systèmes complexes, orchestration de services Web pour construire de nouvelles applications par composition d applications existantes, composition et interprétation musicale mêlant interprètes humains et ordinateurs. Gérer parfaitement le temps et les événements estcrucialdanstouscesdomaines d action. Pourtant, les méthodes et langagesde programmationclassiquesneparlentquasimentpasdutempsetnegèrentlesévénementsqu à partirdeprimitivesdeprogrammationpourlemoinsrustiquesetsouventsanssémantiqueclaire. Aprèsavoirconstatéquela langueparléedu temps estfortpoétiquemaisbien tropflouepour nos besoins, nous étudierons quels modèles mathématiques peuvent être utilisés selon les problèmes concernés, comment ces modèles peuvent fonder des langages de programmation comprenantréellementletempsetlesévénements,etcommentonpeutvérifierformellementla validité des programmes obtenus en se fondant sur ces modèles. Au moins pour les systèmes temps réels de haute sécurité et les systèmes sur puce, la vérification formelle automatique ou assistéeparordinateurdevientessentiellecarleserreursdel informatiqueembarquéedansdes objets comme lesavions,lestrains et les voiturespeuventavoirdesconséquencesdramatiques ouruineuses. Nous verrons que les modèles mathématiques doivent être bien plus variés que le modèle classiquedutempslinéairemesurépardesnombresréelsenphysique,etqu ilssontencoreloin d être figés. Nous étudierons la notion d épaisseur de l instant, qui permet de regarder les phénomènes temporels à différents niveaux d abstraction, et ses rapports avec notion informatiqued atomicitédesactions.nousmontreronslanécessitéd étendrelemodèlelinéaire standarddutempsenunmodèlebienplusrichedetempsmultiforme,oùdesformestemporelles spécifiques sont engendrées par la succession des occurrences régulières ou irrégulières d un événementparticulier.nousétudieronsladélicaterelationentrelesmodèlesentempscontinuet entempsdiscret,quiposentdepuislongtempsdesdifficultésillustréesparleparadoxedezénon (oud Achilleetlatortue). Entermesdelangagesdeprogrammation,nousporteronsuneattentionparticulièreauxlangages parallèlessynchronesdéveloppésenfrancedepuis30ans,quidonnentdesidéestrèsnouvelles pour la gestion du temps et des événements. Ces langages possèdent des sémantiques mathématiques précises, disposent d implémentations efficaces par traduction en langages classiques ou directement en circuits électroniques, ont des liens forts avec la logique mathématique.ilssontutilisésdansdessystèmesindustrielsd importancemajeure,enparticulier dans les transports. Il est étonnant de voir à quel point leurs concepts de base s appliquent parfaitement dans des domaines aussi variés que ceux cités plus haut ; la pluridisciplinarité concerneicidavantagelavariétédesapplicationseffectivesquelanaturelesidéesdebase. Maislemondenumériqueévoluevite,etlesconceptsinitiauxdusynchronenesuffisentpluspour rendre compte des systèmes plus complexes désormais développés ou envisagés: systèmes électroniques sur puces qui utilisent des horloges multiples et non synchronisées, systèmes de contrôle physiquement distribués et reliés en réseau, par exemple dans les avions, trains et Contactpresse:MarieChéron/CécileBarnier: de France.fr Mars2013

4 automobiles, systèmes de simulation à grande échelle posant des questions subtiles liées au mélangedessimulationslocalesentempsdiscretouentempscontinu.cessujetsenpleinessor nous demanderont l accrétion de nouvelles idées venues d autres domaines. Ils seront des thèmes privilégiés pour la recherche et l enseignement pendant la durée de la chaire. Nous insisterons enparticuliersurlesmoyensdelesdévelopperetdelesvérifierformellement,seule méthodepourgarantirleursûretéetleursécuritéàterme. LescoursduPrGérardBerryaurontlieulesmardisà10h00,àpartirdu02avril.Ilsserontsuivis,de11h00à 12h00, d un séminaire en relation avec le cours. Les séminaires associés aux cours feront intervenir des personnalités académiques ou industrielles des divers domaines concernés:électronique, avionique, musique,etc. L ensembledecetenseignementestd accèslibre,gratuitetsansinscriptionpréalable.ilseradisponiblesur lesiteinternetdel institution(www.college de France.fr). Contactpresse:MarieChéron/CécileBarnier: de France.fr Mars2013

5 ChaireAlgorithmes,machinesetlangages BiographieduPrGérardBERRY GérardBerryestnéle25décembre1948àParis. Ancien élève de l'école polytechnique et du Corps des mines, chercheur à l'école nationale supérieure des Mines de Paris et à l'inria, Gérard Berry a été nommé titulaire de la chaire Algorithmes, machines et langages au Collège de France en Il y avait auparavant été titulaire de deux chaires annuelles: la chaire d Innovation technologique Liliane Bettencourt (2007/2008)etlachaireannuelleInformatiqueetsciencesnumériques(2009/2010). Sa contribution scientifique concerne trois principaux sujets: le lambda calcul et la sémantique formelle des langages de programmation, la programmation parallèle et temps réel, et la conception assistée par ordinateur de circuits intégrés. Il est le créateur du langage de programmationesterel. Carrièreprofessionnelle 1970:IngénieurEcolePolytechnique 1973:Ingénieurdesmines 1979:Thèsededoctoratd'Etatèssciencesmathématiques :Chercheuràl EcoledesMinesdeParis,centredecalculdeParis,etresponsablede projetàl INRIAde1972à : Directeur de recherches au centre de mathématiques appliquées de l Ecole des Mines de Paris à Sophia Antipolis. Directeur du laboratoire de 1993 à Co responsable du projet«parallélisme, synchronisation et temps réel», commun avec l INRIA Sophia Antipolis de 1981à : consultant régulier dans les sociétés Digital Equipment, Schneider Electric, Synopsys,CadenceDesignSystems,etIntel. 2001/2008DirecteurscientifiquedelasociétéEsterelTechnologies :professeurauCollègedeFrance,chaireannuelleInnovationtechnologiqueLiliane Bettencourt : Professeur au Collège de France, chaire annuelle Informatique et sciences numériques. Distinctionshonorifiques Membredel'Académiedessciences,del'Académiedestechnologies,etdel'AcademiaEuropaea 1979MédailledeBronzeduCNRS 1990PrixMonpetitdel'Académiedessciences 1994Chevalierdel'Ordredespalmesacadémiques 1999PrixScienceetdéfense 2005GrandprixdelaFondationEADSpourlesapplicationsdelascienceàl'industrie 2010Chevalierdel ordredumérite 2012Chevalierdel ordredelalégiond honneur Contactpresse:MarieChéron/CécileBarnier: de France.fr Mars2013

Jeudi 19 Juin 2014 Novotel Paris Bercy http://www.plmlab.fr/btb10

Jeudi 19 Juin 2014 Novotel Paris Bercy http://www.plmlab.fr/btb10 Journée «Back to basics 10» de l association PLM lab PLM et Ingénierie Concourante Mettre en place une collaboration entre les métiers ; le cas de la mécatronique et autres exemples Jeudi 19 Juin 2014

Plus en détail

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique

Plus en détail

Conception des systèmes répartis

Conception des systèmes répartis Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan

Plus en détail

5255 Av. Decelles, suite 2030 Montréal (Québec) H3T 2B1 T: 514.592.9301 F: 514.340.6850 info@apstat.com www.apstat.com

5255 Av. Decelles, suite 2030 Montréal (Québec) H3T 2B1 T: 514.592.9301 F: 514.340.6850 info@apstat.com www.apstat.com Application des réseaux de neurones au plan de répartition des risques 5255 Av. Decelles, suite 2030 Montréal (Québec) H3T 2B1 T: 514.592.9301 F: 514.340.6850 info@apstat.com www.apstat.com Copyright c

Plus en détail

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Journées GDR GPL Transformations de modèles et de programmes 18 janvier 2008

Plus en détail

B : Une méthode de développement de logiciels sûrs

B : Une méthode de développement de logiciels sûrs B : Une méthode de développement de logiciels sûrs Loïc PELHATE, Responsable de l Atelier des Logiciels de Sécurité de l Ingénierie du Transport Ferroviaire loic.pelhate@ratp.fr 9/11/01 1 1 Plan Contexte

Plus en détail

L INRIA, institut français des STIC. (en Île-de-France) 24 septembre 2009

L INRIA, institut français des STIC. (en Île-de-France) 24 septembre 2009 1 L INRIA, institut français des STIC (en Île-de-France) 24 septembre 2009 Institut National de Recherche en Informatique et en Automatique 2 Institut dédié aux Sciences et Technologies de l Information

Plus en détail

Rapprocher chercheurs et lycéens au quotidien

Rapprocher chercheurs et lycéens au quotidien Invitation presse Nice, le 22 mai 2015 Rapprocher chercheurs et lycéens au quotidien L académie de Nice et tous ses partenaires académiques et universitaires, notamment Inria (Institut National de Recherche

Plus en détail

Circuits multi-horloges: métastabilité et synchronisation

Circuits multi-horloges: métastabilité et synchronisation Circuits multi-horloges: métastabilité et synchronisation Gérard Berry Collège de France Chaire Algorithmes, machines et langages http://www.college-de-france.fr/site/gerard-berry gerard.berry@college-de-france.fr

Plus en détail

Parcours Conception, Modélisation et Architecture des Systèmes Informatiques Complexes mention Informatique Paris-Saclay

Parcours Conception, Modélisation et Architecture des Systèmes Informatiques Complexes mention Informatique Paris-Saclay 1 Parcours Conception, Modélisation et Architecture des Systèmes Informatiques Complexes mention Informatique Paris-Saclay Eric Goubault, Sylvie Putot, Alexandre Chapoutot, Laurent Pautet Eric.Goubault@polytechnique.edu,

Plus en détail

Tutoriel MATLAB-SIMULINK Projet UNIT 2009. Partenariat : Ecole des Mines d Alès Ecole des Mines de Saint Etienne Université de Nice Sophia-Antipolis

Tutoriel MATLAB-SIMULINK Projet UNIT 2009. Partenariat : Ecole des Mines d Alès Ecole des Mines de Saint Etienne Université de Nice Sophia-Antipolis Tutoriel MATLAB-SIMULINK Projet UNIT 2009 Partenariat : Ecole des Mines d Alès Ecole des Mines de Saint Etienne Université de Nice Sophia-Antipolis MATLAB MATLAB est un logiciel scientifique de calcul

Plus en détail

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 - Evénements et architectures - Spécifications de performances

Plus en détail

Sommaire. AXA et Polytechnique s offrent une chaire de data science orientée assurance Silicon.Fr - 02/07/2015

Sommaire. AXA et Polytechnique s offrent une chaire de data science orientée assurance Silicon.Fr - 02/07/2015 lundi 6 juillet 2015 Sommaire AXA et Polytechnique s offrent une chaire de data science orientée assurance Silicon.Fr - 02/07/2015 «Data Science for Insurance Sector», la montée en Chaire commune d AXA

Plus en détail

SUPPLEMENT AU DIPLOME

SUPPLEMENT AU DIPLOME SUPPLEMENT AU DIPLOME Préambule : «Le présent supplément au diplôme suit le modèle élaboré par la Commission européenne, le Conseil de l Europe et l UNESCO/CEPES. Le supplément vise à fournir des données

Plus en détail

Communauté d Universités et Établissements. Stratégie Territoriale et Initiative d Excellence. Université Côte d Azur (UCA) - page 1

Communauté d Universités et Établissements. Stratégie Territoriale et Initiative d Excellence. Université Côte d Azur (UCA) - page 1 Communauté d Universités et Établissements Stratégie Territoriale et Initiative d Excellence Université Côte d Azur (UCA) - page 1 En 2015 le paysage français de l Enseignement supérieur et de la Recherche

Plus en détail

Une démarche pédagogique pour l apprentissage de l algorithmique

Une démarche pédagogique pour l apprentissage de l algorithmique Une démarche pédagogique pour l apprentissage de l algorithmique Au moment où l enseignement d ISN connaît sa deuxième année de mise en œuvre sur le terrain, force est de constater que les ressources disponibles

Plus en détail

PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL

PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL KEYWORDS : SYSTEMX, Transport, Multimodal, Simulation, Optimisation, Supervision CONTEXTE de l IRT SYSTEMX L IRT SystemX est un institut de

Plus en détail

Baccalauréat universitaire (bachelor) en mathématiques et sciences informatiques

Baccalauréat universitaire (bachelor) en mathématiques et sciences informatiques Baccalauréat universitaire (bachelor) en mathématiques et sciences informatiques CONDITIONS GENERALES Art. A 3 Baccalauréat universitaire en mathématiques et sciences informatiques 1. La Faculté décerne

Plus en détail

Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test

Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite

Plus en détail

Graines de Sciences. Les scientifiques et leurs ateliers. La physique des super-héros par Roland Lehoucq

Graines de Sciences. Les scientifiques et leurs ateliers. La physique des super-héros par Roland Lehoucq Graines de Sciences 16 Les scientifiques et leurs ateliers La physique des super-héros par Roland Lehoucq Soulever une voiture à bout de bras, devenir invisible, se déplacer sur un mur vertical ou avoir

Plus en détail

MASTER LPL : LANGUE ET INFORMATIQUE (P)

MASTER LPL : LANGUE ET INFORMATIQUE (P) MASTER LPL : LANGUE ET INFORMATIQUE (P) RÉSUMÉ DE LA FORMATION Type de diplôme := Master Domaine : Arts, Lettres, Langues Mention : LITTERATURE, PHILOLOGIE, LINGUISTIQUE Spécialité : LANGUE ET INFORMATIQUE

Plus en détail

Double cursus en BioInformatique. Christine Froidevaux Pr. Université Paris Sud LRI CNRS UMR 8623 et INRIA Saclay Christine.Froidevaux@u-psud.

Double cursus en BioInformatique. Christine Froidevaux Pr. Université Paris Sud LRI CNRS UMR 8623 et INRIA Saclay Christine.Froidevaux@u-psud. Double cursus en BioInformatique Christine Froidevaux Pr. Université Paris Sud LRI CNRS UMR 8623 et INRIA Saclay Christine.Froidevaux@u-psud.fr Double cursus et Interdisciplinarité Mon propre parcours

Plus en détail

Contribution des TICE à l évolution du système éducatif. Anne-Marie BARDI IGEN honoraire

Contribution des TICE à l évolution du système éducatif. Anne-Marie BARDI IGEN honoraire Contribution des TICE à l évolution du système éducatif Anne-Marie BARDI IGEN honoraire Vision d acteur / Vision de chercheur Expérience durable Variété des fonctions Diversité des niveaux et des disciplines

Plus en détail

L Ircam, institution du dialogue art-science

L Ircam, institution du dialogue art-science L Ircam, institution du dialogue art-science Hugues Vinet 1 1. STMS, IRCAM-CNRS-UPMC IRCAM, 1 place Igor Stravinsky, 75004 Paris, France hugues.vinet@ircam.fr 1. Jalons historiques et liens institutionnels

Plus en détail

MASTER 2 IMAFA. Informatique et Mathématiques Appliquées à la Finance et à l'assurance

MASTER 2 IMAFA. Informatique et Mathématiques Appliquées à la Finance et à l'assurance OBJECTIFS Ce Master prend le relais du DESS IMAFA créé en 1997 à l'essi. Il se fixe pour objectif de former des informaticiens de haut niveau maîtrisant parfaitement les concepts et outils mathématiques

Plus en détail

Formation des enseignants. Le tensiomètre. Objet technique modélisable issu de l environnement des élèves

Formation des enseignants. Le tensiomètre. Objet technique modélisable issu de l environnement des élèves Le tensiomètre Objet technique modélisable issu de l environnement des élèves Un peu d'histoire C'est en 1628 que W. Harvey découvrit la circulation du sang. C'est pourtant seulement en 1730 que la pression

Plus en détail

UNIVERSITE D'EVRY VAL D'ESSONNE Référence GALAXIE : 4072

UNIVERSITE D'EVRY VAL D'ESSONNE Référence GALAXIE : 4072 UNIVERSITE D'EVRY VAL D'ESSONNE Référence GALAXIE : 4072 Numéro dans le SI local : Référence GESUP : Corps : Professeur des universités Article : 46-1 Chaire : Non Section 1 : 27-Informatique Section 2

Plus en détail

LeCroy. Recherche de défauts sur circuits logiques à l aide d oscilloscopes numériques

LeCroy. Recherche de défauts sur circuits logiques à l aide d oscilloscopes numériques LeCroy Recherche de défauts sur circuits logiques à l aide d oscilloscopes numériques Avec la constante évolution industrielle, les ingénieurs d études doivent aujourd hui caractériser en permanence de

Plus en détail

INTRODUCTION. Daniel KROB Ecole Polytechnique & CNRS Chaire «Ingénierie des systèmes complexes» 91128 Palaiseau Cedex dk@lix.polytechnique.

INTRODUCTION. Daniel KROB Ecole Polytechnique & CNRS Chaire «Ingénierie des systèmes complexes» 91128 Palaiseau Cedex dk@lix.polytechnique. Le master professionnel «Ingénierie des systèmes industriels complexes» : une formation d architecte système délivrée par l Ecole Polytechnique, l Institut National des Sciences et Techniques Nucléaires

Plus en détail

La Certification de la Sécurité des Automatismes de METEOR

La Certification de la Sécurité des Automatismes de METEOR 1 La Certification de la Sécurité des Automatismes de METEOR 2 un mot sur METEOR 3 Le projet METEOR, c'est... un système automatique complexe fortement intégré matériel roulant, équipements électriques,

Plus en détail

Rôle des STIC dans les grands enjeux sociétaux, économiques et environnementaux. La Vision d ALLISTENE. 5 janvier 2012 Michel Cosnard

Rôle des STIC dans les grands enjeux sociétaux, économiques et environnementaux. La Vision d ALLISTENE. 5 janvier 2012 Michel Cosnard A Rôle des STIC dans les grands enjeux sociétaux, économiques et environnementaux La Vision d ALLISTENE 5 janvier 2012 Michel Cosnard Missions d Allistene Stratégie de recherche et d innovation Distingue

Plus en détail

Centre de Morphologie Mathématique (1)

Centre de Morphologie Mathématique (1) Centre de Morphologie Mathématique (1) directeur: J.. SERRA chefs de de groupes: S. S. BEUCHER (industrie) D. D. JEULIN (physique) F. F. MEYER (multimédia) J.C. KLEIN (electronique) Effectif :: 7 scientifiques

Plus en détail

Algorithmes, machines et langages. M. Gérard berry, membre de l Institut (Académie des sciences), professeur

Algorithmes, machines et langages. M. Gérard berry, membre de l Institut (Académie des sciences), professeur Algorithmes, machines et langages M. Gérard berry, membre de l Institut (Académie des sciences), professeur enseignement : Le temps et Les événements en InformatIque J ai donné le cours «Le temps et les

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

Sujet de thèse CIFRE RESULIS / LGI2P Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences

Plus en détail

Les principaux domaines de l informatique

Les principaux domaines de l informatique Les principaux domaines de l informatique... abordés dans le cadre de ce cours: La Programmation Les Systèmes d Exploitation Les Systèmes d Information La Conception d Interfaces Le Calcul Scientifique

Plus en détail

FORMATION PROFESSIONNELLE DE SOPHROLOGIE DOSSIER D INSCRIPTION. Académie de Sophrologie de Bourgogne Franche-Comté - Ecole de Sophrologie de Dijon

FORMATION PROFESSIONNELLE DE SOPHROLOGIE DOSSIER D INSCRIPTION. Académie de Sophrologie de Bourgogne Franche-Comté - Ecole de Sophrologie de Dijon FORMATION PROFESSIONNELLE DE SOPHROLOGIE DOSSIER D INSCRIPTION Académie de Sophrologie de Bourgogne Franche-Comté - Ecole de Sophrologie de Dijon La Sophrologie La sophrologie fut fondée en 1960 par le

Plus en détail

LES ORDINATEURS DE PLONGEE

LES ORDINATEURS DE PLONGEE LES ORDINATEURS DE PLONGEE Les ordinateurs de plongée sont des calculateurs qui utilisent un algorithme (basé sur un modèle mathématique de charge et décharge du corps en azote) afin de déterminer les

Plus en détail

Etudier l informatique

Etudier l informatique Etudier l informatique à l Université de Genève 2015-2016 Les bonnes raisons d étudier l informatique à l UNIGE La participation à des dizaines de projets de recherche européens Dans la présente brochure,

Plus en détail

Note de cadrage du PEPI MACS Mathématiques Appliquées & Calcul Scientifique

Note de cadrage du PEPI MACS Mathématiques Appliquées & Calcul Scientifique Note de cadrage du PEPI MACS Mathématiques Appliquées & Calcul Scientifique Périmètre Le périmètre du PEPI concerne les méthodes et outils utilisés pour le traitement informatisé des données scientifiques.

Plus en détail

Métiers d études, recherche & développement dans l industrie

Métiers d études, recherche & développement dans l industrie Les fiches Métiers de l Observatoire du Travail Temporaire Emploi, compétences et trajectoires d intérimaires cadres Métiers d études, recherche & développement dans l industrie R&D Production Ingénieur

Plus en détail

Master Informatique Aix-Marseille Université

Master Informatique Aix-Marseille Université Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes

Plus en détail

Chaque équipe est dirigée par un responsable qui dispose d une autonomie pour l utilisation de son budget de fonctionnement et d investissement.

Chaque équipe est dirigée par un responsable qui dispose d une autonomie pour l utilisation de son budget de fonctionnement et d investissement. L institut de recherche IRIASA spécialisé dans le domaine des STIC est organisé en 6 centres de recherche et un siège localisés en France métropolitaine. L activité de recherche est réalisée par des équipes

Plus en détail

Les médaillés et lauréats de la Recherche Université Nice Sophia Antipolis

Les médaillés et lauréats de la Recherche Université Nice Sophia Antipolis 2014 Les médaillés et lauréats de la Recherche Université Nice Sophia Antipolis Andrew COMPORT Chargé de recherche CNRS Maxime MEILLAND Post-doctorant Laboratoire d Informatique, Signaux et Systèmes de

Plus en détail

INSTITUT DE LA MOBILITE DURABLE : UNE PLATEFORME COMMUNE QUI CO-CONSTRUIT LE FUTUR DE LA MOBILITÉ DEPUIS 5 ANS.

INSTITUT DE LA MOBILITE DURABLE : UNE PLATEFORME COMMUNE QUI CO-CONSTRUIT LE FUTUR DE LA MOBILITÉ DEPUIS 5 ANS. COMMUNIQUÉ DE PRESSE Le 1 er décembre 2014 INSTITUT DE LA MOBILITE DURABLE : UNE PLATEFORME COMMUNE QUI CO-CONSTRUIT LE FUTUR DE LA MOBILITÉ DEPUIS 5 ANS. Le 27 novembre 2014, Renault, la Fondation Renault

Plus en détail

Architecture distribuée

Architecture distribuée Architecture distribuée Conception et développement d algorithmes distribués pour le moteur Baboukweb Jean-Christophe DALLEAU Département de Mathématiques et Informatique Université de La Réunion 26 juin

Plus en détail

Questionnaire à destination des élèves 4 e -2 de à remplir avant ou après la visite aux Archives

Questionnaire à destination des élèves 4 e -2 de à remplir avant ou après la visite aux Archives Questionnaire à destination des élèves 4 e -2 de à remplir avant ou après la visite aux Archives Découvrir les archives 1- Quelle est ta représentation des archives? 2- À chaque idée reçue correspond une

Plus en détail

Michel Riguidel riguidel@enst.fr. Frédéric Cuppens

Michel Riguidel riguidel@enst.fr. Frédéric Cuppens Action Spécifique n 21 : Sécurité www.infres.enst.fr/as21/ Michel Riguidel riguidel@enst.fr Frédéric Cuppens Riguidel/Cuppens. juin 02. P 1 Participants Plan Contexte scientifique Thèmes de recherche Travaux

Plus en détail

Conception de SoPC pour applications multimédia

Conception de SoPC pour applications multimédia Conception de SoPC pour applications multimédia Auteurs : Michael Guarisco, Nicolas Marques, Eric Dabellani, Yves Berviller, Hassan Rabah, Serge Weber Laboratoire d Instrumentation Electronique de Nancy.

Plus en détail

Comprendre «le travail collaboratif»

Comprendre «le travail collaboratif» Comprendre «le travail collaboratif» Samuel Genevieve-Anastasie 08/06/2010 comité utilisateur 1 Plan présentation Qu est-ce que le travail collaboratif? Objectifs du travail collaboratif Le travail collaboratif

Plus en détail

Le CNRS : une grande diversité de métiers

Le CNRS : une grande diversité de métiers - Septembre 2004 Le CNRS : une grande diversité de métiers Une grande variété de métiers sont exercés dans les unités de recherche et de services du CNRS. Le CNRS compte 25 283 agents : 11 349 chercheurs,

Plus en détail

LE PROJET «INFINI DRIVE» POUR LE DEVELOPPEMENT DES INFRASTRUCTURES DE RECHARGE DES VEHICULES ELECTRIQUES, RETENU PAR L ADEME

LE PROJET «INFINI DRIVE» POUR LE DEVELOPPEMENT DES INFRASTRUCTURES DE RECHARGE DES VEHICULES ELECTRIQUES, RETENU PAR L ADEME Communiqué de presse Paris, le 20 juin 2012 Investissements d Avenir LE PROJET «INFINI DRIVE» POUR LE DEVELOPPEMENT DES INFRASTRUCTURES DE RECHARGE DES VEHICULES ELECTRIQUES, RETENU PAR L ADEME Lancé à

Plus en détail

(OPINIONS 2.0) Le rapport de restitution (papier et digital) reprend la totalité des réponses avec le classement des occurrences (histogrammes)

(OPINIONS 2.0) Le rapport de restitution (papier et digital) reprend la totalité des réponses avec le classement des occurrences (histogrammes) (OPINIONS 2.0) Vous souhaitez engager une consultation ouverte et maîtrisée avec vos clients, vos collaborateurs, vos citoyens? Vous souhaitez co-construire une vision, un projet, dans un processus accéléré

Plus en détail

Panorama des études à travers les filières. FEEL du 23 octobre 2014

Panorama des études à travers les filières. FEEL du 23 octobre 2014 Panorama des études à travers les filières FEEL du 23 octobre 2014 Plan Structure générale des études à l'ensimag 1A : le tronc commun 2A/3A : entrée dans les filières et spécialisation Modalités du choix

Plus en détail

Conception des Systèmes Numériques et Mixtes

Conception des Systèmes Numériques et Mixtes Conception des Systèmes Numériques et Mixtes Daniela Dragomirescu 1,2, Michael Kraemer 1,2, Marie-Line Boy 3, Philippe Bourdeau d Aguerre 3 1 - Université de Toulouse : INSA Toulouse, 135 Av. de Rangueil

Plus en détail

Urbanisation de système d'information. PLM 3 (Product Lifecycle Management) Élaborations, versions, variantes, configurations

Urbanisation de système d'information. PLM 3 (Product Lifecycle Management) Élaborations, versions, variantes, configurations Urbanisation de système d'information PLM 3 (Product Lifecycle Management) Élaborations, versions, variantes, configurations 1 Mise en gestes L'existence de tout produit, et de tout service commence par

Plus en détail

Techniques et outils de test pour les logiciels réactifs synchrones

Techniques et outils de test pour les logiciels réactifs synchrones Journées Systèmes et Logiciels Critiques Institut IMAG ; 14-16 nombre 2000 Techniques et outils de test pour les logiciels réactifs synchrones Farid Ouabdesselam 1 Méthodes de test : classification générale

Plus en détail

Vérification formelle de la plate-forme Java Card

Vérification formelle de la plate-forme Java Card Vérification formelle de la plate-forme Java Card Thèse de doctorat Guillaume Dufay INRIA Sophia Antipolis Cartes à puce intelligentes Java Card : Environnement de programmation dédié. Dernières générations

Plus en détail

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits 1 d Automatisation de la certification formelle de systèmes critiques par instrumentation d sous la direction de Michaël Périn Soutenance de Thèse de Doctorat Université de Grenoble - Laboratoire Verimag

Plus en détail

Industrialisation du logiciel Temps Réel Critique

Industrialisation du logiciel Temps Réel Critique Industrialisation du logiciel Temps Réel Critique Sommaire Projets opérationnels Les outils du marché utilisés et les contraintes associées CS et les méthodes CS et la R&D Conclusion RdV de l'innovation

Plus en détail

...Céline Marcq. Designer Matières

...Céline Marcq. Designer Matières ...Céline Marcq Designer Matières ...BTS Design de Mode et Environnement Ecole Supérieure des Arts Appliqués Duperré, Paris, France...2004-2008 ..Superposition Imprimer, répéter et superposer pour créer.

Plus en détail

Relever les défis des véhicules autonomes

Relever les défis des véhicules autonomes EMM 2014 12eme rencontre européenne de mécatronique Relever les défis des véhicules autonomes Mathias Perrollaz Ingénieur expert Inria Christian Laugier Directeur de recherche Inria E-Motion Team Annecy,

Plus en détail

Comment concevoir efficacement. mardi 15 mai 2012 Complexité, Architecture et Lean Software Development

Comment concevoir efficacement. mardi 15 mai 2012 Complexité, Architecture et Lean Software Development Comment concevoir efficacement des systèmes Atelier-débat d information du? mardi 15 mai 2012 Complexité, Architecture et Lean Software Development Mieux comprendre le rôle de la modélisation des systèmes

Plus en détail

Page 1 Domaine commercial filière informatique de gestion 2 sur 16

Page 1 Domaine commercial filière informatique de gestion 2 sur 16 Page 1 Domaine commercial filière informatique de gestion 2 sur 16 Introduction SOMMAIRE Introduction 4 Les objectifs de votre formation 6 Vos perspectives professionnelles 7 Notre offre de formation 8

Plus en détail

29 écoles d Ingénieurs publiques post bac

29 écoles d Ingénieurs publiques post bac acoustique aéronautique agroalimentaire Terminales S devenez Ingénieur automobile biologie électronique énergie environnement finance génie civil informatique 29 écoles d Ingénieurs publiques post bac

Plus en détail

Architecture de réseau de senseurs : monitoring environnemental et écosystèmes forestiers

Architecture de réseau de senseurs : monitoring environnemental et écosystèmes forestiers Architecture de réseau de senseurs : monitoring environnemental et écosystèmes forestiers Présenté par : Ahmed Lakhssassi, Membres du GRMS : Marek Zaremba, Wojtek Bock et Larbi Talbi Département Informatique

Plus en détail

Conception et Intégration de Systèmes Critiques

Conception et Intégration de Systèmes Critiques Conception et Intégration de Systèmes Critiques 15 12 18 Non 50 et S initier aux méthodes le développement de projet (plan de développement, intégration, gestion de configuration, agilité) Criticité temporelle

Plus en détail

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr AADL un langage pour la modélisation et la génération d applications, thomas.vergnaud@enst.fr Les langages de description d architecture la conception des systèmes devient complexe difficulté de compréhension

Plus en détail

Histoire des ordinateurs

Histoire des ordinateurs Histoire des ordinateurs I- Représentation de l information et de la communication I-1 Schéma de base de la communication Une information est un fait, un événement susceptible d apporter de la connaissance.

Plus en détail

Inauguration de l atelier numérique - Montbonnot

Inauguration de l atelier numérique - Montbonnot Vendredi 5 juin 2015 Dossier de presse Inauguration de l atelier numérique - Montbonnot Communauté de communes Le Grésivaudan 390 rue Henri Fabre 38926 Crolles Tél : 04 76 08 04 57 www.le-gresivaudan.fr

Plus en détail

MASTER EN MANAGEMENT 2014-2015 LEADERS DE DEMAIN

MASTER EN MANAGEMENT 2014-2015 LEADERS DE DEMAIN MASTER EN MANAGEMENT 2014-2015 LEADERS DE DEMAIN MARIE-PIERRE FENOLL-TROUSSEAU Marie-Pierre Fenoll-Trousseau est professeur de droit au sein d ESCP Europe. Elle coordonne le département Sciences Juridiques,

Plus en détail

UNIVERSITÉ MOHAMMED VI POLYTECHNIQUE MASTERE SPÉCIALISÉ MILEO

UNIVERSITÉ MOHAMMED VI POLYTECHNIQUE MASTERE SPÉCIALISÉ MILEO UNIVERSITÉ MOHAMMED VI POLYTECHNIQUE MASTERE SPÉCIALISÉ MILEO Management Industriel et Excellence Opérationnelle Diplôme conjoint de l'ecole des Mines de Paris (Mines ParisTech) et de l EMINES School of

Plus en détail

Présentation du M2 SIC : Systèmes Informatiques et Applications Marines

Présentation du M2 SIC : Systèmes Informatiques et Applications Marines Présentation du M2 SIC : Systèmes Informatiques et Applications Marines Jean-Philippe Babau (resp. M2 SIAM) http://dept-info.univ-brest.fr/master2_siam.php http://labsticc.univ-brest.fr/pages_perso/babau/

Plus en détail

L enseignement de l informatique en France

L enseignement de l informatique en France Rapport de l Académie des sciences L enseignement de l informatique en France Il est urgent de ne plus attendre MAI 2013 Préambule Ce rapport sur l enseignement de l informatique a été préparé par un groupe

Plus en détail

RENTREE 2011. Inscriptions. Dès maintenant sur rendez-vous. Contactez-nous. Lycée de l Abbaye 2 rue de l Abbaye 45190 BEAUGENCY

RENTREE 2011. Inscriptions. Dès maintenant sur rendez-vous. Contactez-nous. Lycée de l Abbaye 2 rue de l Abbaye 45190 BEAUGENCY Inscriptions Dès maintenant sur rendez-vous Contactez-nous Mme CHAREYRON - Chef d établissement Lycée de l Abbaye 2 rue de l Abbaye 45190 BEAUGENCY 02 38 44 51 25 02 38 44 14 62 RENTREE 2011 Ouverture

Plus en détail

Conception des bases de données : Modèle Entité-Association

Conception des bases de données : Modèle Entité-Association Conception des bases de données : Modèle Entité-Association La modélisation d un problème, c est-à-dire le passage du monde réel à sa représentation informatique, se définit en plusieurs étapes pour parvenir

Plus en détail

Présentation de la majeure ISN. ESILV - 18 avril 2013

Présentation de la majeure ISN. ESILV - 18 avril 2013 Présentation de la majeure ISN ESILV - 18 avril 2013 La Grande Carte des Métiers et des Emplois Sociétés de service Entreprises Administrations Grand- Public Sciences Utiliser Aider à utiliser Vendre APPLICATIONS:

Plus en détail

LES ECHANGES DE DONNEES INFORMATISEES

LES ECHANGES DE DONNEES INFORMATISEES L EDI (Échange de Données Informatisées) est un processus d échange d informations, sous forme électronique, entre deux systèmes informatiques distincts. Cette technique utilisée au moins depuis deux décennies

Plus en détail

Convertisseur Dactablette

Convertisseur Dactablette Convertisseur Dactablette La plupart des systèmes d amplification de très haute qualité ne traitent les signaux provenant de leurs sources qu en analogique, les systèmes «tout numérique» étant plus généralement

Plus en détail

BIG DATA : GESTION ET ANALYSE DES DONNÉES MASSIVES (BGD) Mastère Spécialisé. Appréhendez les challenges économiques et juridiques du Big Data

BIG DATA : GESTION ET ANALYSE DES DONNÉES MASSIVES (BGD) Mastère Spécialisé. Appréhendez les challenges économiques et juridiques du Big Data Mastère Spécialisé BIG DATA : GESTION ET ANALYSE DES DONNÉES MASSIVES (BGD) Rejoignez le secteur le plus stratégique de l économie numérique Appréhendez les challenges économiques et juridiques du Mesurez

Plus en détail

RADAR DOPPLER HYPERFREQUENCES POUR DETECTION DE VITESSE

RADAR DOPPLER HYPERFREQUENCES POUR DETECTION DE VITESSE RADAR DOPPLER HYPERFREQUENCES POUR DETECTION DE VITESSE Fabien Ferrero (1), Cyril Luxey (2), Gregory Sauder (1), Philippe Lorenzini (1), Gilles Jacquemod (1) (1) Ecole Polytechnique Universitaire l Université

Plus en détail

INTRODUCTION AUX TECHNOLOGIES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES

INTRODUCTION AUX TECHNOLOGIES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES INTRODUCTION AUX TECHNOLOGIES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES Les contenus de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information

Plus en détail

Rapport d évaluation du master

Rapport d évaluation du master Section des Formations et des diplômes Rapport d évaluation du master Informatique de l Université Paris 7 Denis Diderot Vague D 2014-2018 Campagne d évaluation 2012-2013 Section des Formations et des

Plus en détail

TSTI 2D CH X : Exemples de lois à densité 1

TSTI 2D CH X : Exemples de lois à densité 1 TSTI 2D CH X : Exemples de lois à densité I Loi uniforme sur ab ; ) Introduction Dans cette activité, on s intéresse à la modélisation du tirage au hasard d un nombre réel de l intervalle [0 ;], chacun

Plus en détail

Sciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION

Sciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION Sciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION Classe de terminale de la série Sciences et Technologie du Management et de la Gestion Préambule Présentation Les technologies de l information

Plus en détail

Rapport d évaluation du master

Rapport d évaluation du master Section des Formations et des diplômes Rapport d évaluation du master Ingénierie mathématique de l Université d Evry-Val-d Essonne - UEVE Vague E 2015-2019 Campagne d évaluation 2013-2014 Section des Formations

Plus en détail

Au contact du top 100 logiciel

Au contact du top 100 logiciel INVEST IN Côte d Azur Au contact du top 100 logiciel Leader en innovations TIC depuis 1959 A NOS ATOUTS CÔTE D AZUR : INTERNATIONALE, ATTRACTIVE ET CONNECTEE 1 re région française pour l accueil d investissements

Plus en détail

Appendix I - LETTRE DE MOTIVATION

Appendix I - LETTRE DE MOTIVATION Appendix I - LETTRE DE MOTIVATION Messieurs Erasmus Mundus Master EU4M, Depuis l'enfance, la science et la technologie ont produit en moi ce genre de stupefaction et saisissement presque mystique qui résulte

Plus en détail

Master CST. Culture Scientifique et Technologique. IUFM «Célestin Freinet Académie de Nice» Service Communication - IUFM

Master CST. Culture Scientifique et Technologique. IUFM «Célestin Freinet Académie de Nice» Service Communication - IUFM Master CST Culture Scientifique et Technologique IUFM «Célestin Freinet Académie de Nice» 1 Architecture du Master Ouvert depuis sept. 2010 2 Spécialité Sciences Industrielles de l ingénieur Parcours Médiation

Plus en détail

Conférence organisée par le Laboratoire d ingénierie financière de l Université Laval www.fsa.ulaval.ca/labiful/

Conférence organisée par le Laboratoire d ingénierie financière de l Université Laval www.fsa.ulaval.ca/labiful/ MERCI À NOS PARTENAIRES : Fonds Conrad Leblanc Département de finance, assurance et immobilier Chaire RBC en innovations financières Chaire d'assurance et de services financiers L'Industrielle Alliance

Plus en détail

Concevoir des applications Web avec UML

Concevoir des applications Web avec UML Concevoir des applications Web avec UML Jim Conallen Éditions Eyrolles ISBN : 2-212-09172-9 2000 1 Introduction Objectifs du livre Le sujet de ce livre est le développement des applications web. Ce n est

Plus en détail

Chapitre 1 : Introduction aux bases de données

Chapitre 1 : Introduction aux bases de données Chapitre 1 : Introduction aux bases de données Les Bases de Données occupent aujourd'hui une place de plus en plus importante dans les systèmes informatiques. Les Systèmes de Gestion de Bases de Données

Plus en détail

Ingénierie de Systèmes Intelligents

Ingénierie de Systèmes Intelligents Ingénierie de Systèmes Intelligents p. 1/ Ingénierie de Systèmes Intelligents Application : Web Intelligent Maria Malek EISTI Ingénierie de Systèmes Intelligents p. 2/ Objectif Traitement Intelligent des

Plus en détail

STACCINI Pascal UFR Médecine Nice Université Nice-Sophia Antipolis

STACCINI Pascal UFR Médecine Nice Université Nice-Sophia Antipolis 2.3 : Apprécier les normes et standards et les technologies permettant l interopérabilité et le travail en réseau Chapitre 2 : Travail collaboratif en santé Normes et technologies de l interopérabilité

Plus en détail

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans

Plus en détail

LES NOUVEAUX PROGRAMMES DE

LES NOUVEAUX PROGRAMMES DE LES NOUVEAUX PROGRAMMES DE MATHÉMATIQUES EN STS M A T H S S T S Animation académique Taverny lundi 24 mars 2014 et Savigny sur Orge vendredi 28 mars 2014 PREMIERS REPÈRES Les programmes de STS ont été

Plus en détail

1.2 Unité responsable Département d informatique, Faculté des sciences

1.2 Unité responsable Département d informatique, Faculté des sciences 1. Identification du programme 1.1 Titre du programme Maîtrise ès sciences (informatique) 1.2 Unité responsable Département d informatique, Faculté des sciences 1.3 Diplôme accordé M. Sc. (Informatique)

Plus en détail

TEPZZ 568448A_T EP 2 568 448 A1 (19) (11) EP 2 568 448 A1 (12) DEMANDE DE BREVET EUROPEEN. (51) Int Cl.: G07F 7/08 (2006.01) G06K 19/077 (2006.

TEPZZ 568448A_T EP 2 568 448 A1 (19) (11) EP 2 568 448 A1 (12) DEMANDE DE BREVET EUROPEEN. (51) Int Cl.: G07F 7/08 (2006.01) G06K 19/077 (2006. (19) TEPZZ 68448A_T (11) EP 2 68 448 A1 (12) DEMANDE DE BREVET EUROPEEN (43) Date de publication: 13.03.2013 Bulletin 2013/11 (1) Int Cl.: G07F 7/08 (2006.01) G06K 19/077 (2006.01) (21) Numéro de dépôt:

Plus en détail

La Chaire Accenture Strategic Business Analytics de l ESSEC

La Chaire Accenture Strategic Business Analytics de l ESSEC La Chaire Accenture Strategic Business Analytics de l ESSEC La création de nouvelles opportunités par l analyse des données Dans le monde numérique actuel, l analyse des données est au cœur des réseaux

Plus en détail

Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre. Partie I : Introduction

Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre. Partie I : Introduction Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre Partie I : Introduction Plan de la première partie Quelques définitions Caractéristiques communes des applications temps-réel Exemples d

Plus en détail

Mon métier, mon parcours

Mon métier, mon parcours Mon métier, mon parcours Anthony, ingénieur d études diplômé d un Master Réseaux, application documentaire, ingénierie et sécurité Les métiers de l Informatique Le domaine Sciences, Technologies, Santé

Plus en détail