Complexite Algorithmique

Download Complexite Algorithmique full books in PDF, epub, and Kindle. Read online Complexite Algorithmique ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Algèbre linéaire dans Rn : théorie, algorithmes et complexité

Author : HADDADI Salim
Publisher : Lavoisier
ISBN 13 : 2746289075
Total Pages : 306 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Algèbre linéaire dans Rn : théorie, algorithmes et complexité by : HADDADI Salim

Download or read book Algèbre linéaire dans Rn : théorie, algorithmes et complexité written by HADDADI Salim and published by Lavoisier. This book was released on 2012-09-24 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: L’algèbre linéaire permet de résoudre les équations dites linéaires utilisées en mathématiques, en informatique, en mécanique, en sciences naturelles ou en sciences sociales. Du point de vue de l’informaticien, la résolution passe par l’ordinateur. Or, ce dernier ne peut pas tout faire. Il y a des limites d’ordre qualitatives et quantitatives que la machine ne peut dépasser, et d’autres qu’elle ne peut franchir que dans un temps excessivement long. Cet ouvrage théorique et pratique expose tour à tour : – les matrices et leurs opérations ; – l’espace vectoriel Rn ; – l’espace vectoriel Rn muni du produit scalaire ; – les systèmes d’équations linéaires ; – les transformations linéaires, les valeurs et vecteurs propres. Il contient également un chapitre spécifique sur la complexité théorique des problèmes posés en algèbre linéaire (résolution d’un système d’équations linéaires, calcul de l’inverse d’une matrice, du déterminant, du rang, etc.) ainsi qu’une annexe introduisant la théorie de la complexité. Algèbre linéaire dans Rn tire son originalité de la présentation des grands concepts de l’algèbre linéaire et ceux de l’algorithmique et de l’informatique théorique. L’auteur, Salim Haddadi, est professeur en recherche opérationnelle. Ses recherches portent sur l’optimisation combinatoire et la théorie de la complexité.

Estimation des projets de l'entreprise numérique : Approche systémique, coûts, qualité et délais

Author : PRINTZ Jacques
Publisher : Lavoisier
ISBN 13 : 2746288346
Total Pages : 402 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Estimation des projets de l'entreprise numérique : Approche systémique, coûts, qualité et délais by : PRINTZ Jacques

Download or read book Estimation des projets de l'entreprise numérique : Approche systémique, coûts, qualité et délais written by PRINTZ Jacques and published by Lavoisier. This book was released on 2013-04-01 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les projets informatiques sont désormais développés dans le cadre d’un système existant. Ils doivent, in fine, s’intégrer en interaction avec d’autres projets, sur les infrastructures communes de l’entreprise et sans interrompre le service : c’est la notion d’usine logicielle. Estimation des projets de l’entreprise numérique s’intéresse particulièrement à l’analyse des coûts d’intégration. Un modèle original d’estimation de ces coûts est proposé assurant l’équilibrage des quatre grandeurs fondamentales : coût, qualité, fonctionnalité et délai. Cet ouvrage bénéficie des travaux effectués par le groupe de travail Intégration & Complexité de l’association CESAMES, en relation avec la chaire X-ParisTech, ce qui a permis de valider le modèle avec les industriels participants. Il présente en détail le modèle COCOMO et dresse les grandes lignes de la méthode de comptage par points de fonctions. Une étude de cas basée sur les systèmes C4ISTAR illustre l’utilisation de ces méthodes dans un contexte de systèmes réels de grande complexité.

Vidéo 3D : Capture, traitement et diffusion

Author : LUCAS Laurent
Publisher : Lavoisier
ISBN 13 : 2746295458
Total Pages : 457 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Vidéo 3D : Capture, traitement et diffusion by : LUCAS Laurent

Download or read book Vidéo 3D : Capture, traitement et diffusion written by LUCAS Laurent and published by Lavoisier. This book was released on 2013-10-01 with total page 457 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les médias 3D relief, leur capture, leur retransmission en relief, possiblement en direct, sont aujourd’hui disponibles et portent l’évolution attendue pour la télévision et l’Internet. Ces technologies (« télévision 3D », « free viewpoint TV » ou « Vidéo 3D »), impactent toute la chaîne audiovisuelle : · les techniques d'acquisition relief sont plus variées · les scènes sont représentées par des structures numériques plus ou moins informatives : vidéos multi-vues sans/avec profondeur, modèles 3D · la reconstruction extrait lesdites représentations des vidéos multi-vues, · leur compression facilite la diffusion des médias, · l'affichage (auto-)stéréoscopique, avec/sans adaptation/enrichissement et/ou synthèse de vues intermédiaires, permet l’expérience visuelle immersive ciblée. La vidéo 3D recouvre donc de multiples facettes. Visant à donner aux étudiants une vision d’ensemble du sujet et aux chercheurs un texte de référence actuel aussi complet que possible, cet ouvrage en présente les principaux développements relevant de domaines variés : mathématiques appliquées, vision par ordinateur, informatique graphique, réalité virtuelle, psychophysique et physiologie de la vision humaine...

Outils d’analyse vidéo : pour une pleine exploitation des données de la vidéoprotection

Author : DUFOUR Jean-Yves
Publisher : Lavoisier
ISBN 13 : 2746288907
Total Pages : 386 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Outils d’analyse vidéo : pour une pleine exploitation des données de la vidéoprotection by : DUFOUR Jean-Yves

Download or read book Outils d’analyse vidéo : pour une pleine exploitation des données de la vidéoprotection written by DUFOUR Jean-Yves and published by Lavoisier. This book was released on 2012-10-22 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: L’utilisation croissante de la vidéoprotection rend nécessaire la mise en place de fonctions d’analyse vidéo pour alléger voire automatiser des tâches aujourd’hui entièrement réalisées par des opérateurs. Après avoir dressé un panorama des avancées et des perspectives en analyse d’image, cet ouvrage détaille les principales fonctions d’analyse vidéo, comme la détection, le suivi et la reconnaissance d’objets d’intérêt (personnes ou véhicules) ou les fonctions de « haut-niveau » visant à interpréter les scènes observées (évènements, comportements, nature de la scène...). Les besoins sont illustrés sous l’angle de deux applications majeures, la sécurité des transports et l’investigation. Les contraintes d’ordres juridique et éthique sont présentées, ainsi que les caractéristiques des données vidéo traitées, au travers des caméras et des méthodes de compression utilisées. La problématique de l’évaluation de performance, tant au niveau opérationnel qu’au niveau des fonctions d’analyse, est également exposée.

Conception systémique pour la conversion d'énergie électrique 2 : approche intégrée par optimisation

Author : ROBOAM Xavier
Publisher : Lavoisier
ISBN 13 : 2746281937
Total Pages : 306 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Conception systémique pour la conversion d'énergie électrique 2 : approche intégrée par optimisation by : ROBOAM Xavier

Download or read book Conception systémique pour la conversion d'énergie électrique 2 : approche intégrée par optimisation written by ROBOAM Xavier and published by Lavoisier. This book was released on 2012-11-06 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le contexte économique impose des systèmes toujours plus performants, minimisant coûts d’investissement et de possession. Si les méthodes d’analyse, de synthèse et de gestion présentées dans le premier volume Conception systémique pour la conversion d’énergie électrique 1 participent à l’optimisation des systèmes énergétiques, les techniques traitées dans cet ouvrage proposent d’aller encore plus loin dans la performance. La complexité de systèmes multidisciplinaires à fort degré de couplage augmentant, le processus de conception par optimisation consistant à coupler un modèle à un algorithme d’optimisation au sein d’un environnement logiciel devient dès lors indispensable. Ce volume rassemble les points-clés permettant de représenter efficacement et de façon compacte l’environnement système et les profils de mission, mais également les méthodes, modèles et outils dédiés à l’optimisation. Les approches multiniveaux de conception et l’optimisation technico-économique des réseaux électriques sont particulièrement détaillées.

Les points de fonction en ingénierie logicielle- principe, méthode, usage

Author : MESDON Bernard
Publisher : Lavoisier
ISBN 13 : 2746288303
Total Pages : 258 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Les points de fonction en ingénierie logicielle- principe, méthode, usage by : MESDON Bernard

Download or read book Les points de fonction en ingénierie logicielle- principe, méthode, usage written by MESDON Bernard and published by Lavoisier. This book was released on 2012-07-01 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt: La méthode des points de fonction est l'outil incontournable pour la mesure fonctionnelle des SI et l'estimation des coûts de développement. Elle permet de mesurer les services rendus aux utilisateurs du SI, indépendamment des aspects architecturaux et méthodologiques du développement logiciel. Cette méthode s'applique aux fonctions de l'entreprise comme la direction des systèmes d'information (fonctions projet, processus et gouvernance), les directions métiers (fonction maîtrise d'ouvrage) ou les SSII (fonctions projet, qualité et méthodes). Des exemples et études de cas illustrant l'utilisation de la méthode permettent de définir les usages (estimation des coûts, mais aussi suivi des ratios de productivité, etc.), d'attribuer des méthodes spécifiques pour les différents types de SI (IFPUG et/ou COSMIC), de révéler les limites et extensions (cotation des algorithmes) et de déterminer les chiffres de bases (ratios de productivité, taille des SI, coefficients correcteurs, etc.). L'auteur Spécialiste en développement et direction de projet de SI, Bernard Mesdon utilise les points de fonction depuis 1996 comme outil d'analyse fonctionnelle et d'estimation des coûts de développement.

Couleur numérique : acquisition, perception, codage et rendu

Author : FERNANDEZ-MALOIGNE Christine
Publisher : Lavoisier
ISBN 13 : 2746275554
Total Pages : 370 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Couleur numérique : acquisition, perception, codage et rendu by : FERNANDEZ-MALOIGNE Christine

Download or read book Couleur numérique : acquisition, perception, codage et rendu written by FERNANDEZ-MALOIGNE Christine and published by Lavoisier. This book was released on 2012-06-07 with total page 370 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans cet ouvrage les auteurs recensent les concepts fondamentaux et les dernières avancées dans le domaine de l'acquisition, de la perception, du codage et du rendu des couleurs. Destiné aux chercheurs et ingénieurs, aux étudiants en Master ou Doctorat, cet ouvrage dresse un état de l'art sur les problématiques scientifiques et techniques soulevées par les différentes étapes de la chaîne numérique couleur. Cet ouvrage aborde les aspects fondamentaux liés à la colorimétrie et à la physiologie, à la constance et à l'apparence des couleurs. Il traite aussi des aspects plus techniques liés aux capteurs et à la gestion des couleurs sur écran. Une attention particulière a été également apportée à la notion de rendu des couleurs en synthèse d'images. Au delà de la couleur, un état de l'art approfondit est aussi mené sur le codage, la compression, la protection et la qualité d'images et de vidéos couleur.

Effective Methods in Algebraic Geometry

Author : T. Mora
Publisher : Springer Science & Business Media
ISBN 13 : 1461204410
Total Pages : 504 pages
Book Rating : 4.4/5 (612 download)

DOWNLOAD NOW!

Book Synopsis Effective Methods in Algebraic Geometry by : T. Mora

Download or read book Effective Methods in Algebraic Geometry written by T. Mora and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 504 pages. Available in PDF, EPUB and Kindle. Book excerpt: The symposium "MEGA-90 - Effective Methods in Algebraic Geome try" was held in Castiglioncello (Livorno, Italy) in April 17-211990. The themes - we quote from the "Call for papers" - were the fol lowing: - Effective methods and complexity issues in commutative algebra, pro jective geometry, real geometry, algebraic number theory - Algebraic geometric methods in algebraic computing Contributions in related fields (computational aspects of group theory, differential algebra and geometry, algebraic and differential topology, etc.) were also welcome. The origin and the motivation of such a meeting, that is supposed to be the first of a series, deserves to be explained. The subject - the theory and the practice of computation in alge braic geometry and related domains from the mathematical viewpoin- has been one of the themes of the symposia organized by SIGSAM (the Special Interest Group for Symbolic and Algebraic Manipulation of the Association for Computing Machinery), SAME (Symbolic and Algebraic Manipulation in Europe), and AAECC (the semantics of the name is vary ing; an average meaning is "Applied Algebra and Error Correcting Codes").

Métaheuristiques pour l'ordonnancement multicritère et les problèmes de transport

Author : JARBOUI Bassem
Publisher : Lavoisier
ISBN 13 : 2746295237
Total Pages : 323 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Métaheuristiques pour l'ordonnancement multicritère et les problèmes de transport by : JARBOUI Bassem

Download or read book Métaheuristiques pour l'ordonnancement multicritère et les problèmes de transport written by JARBOUI Bassem and published by Lavoisier. This book was released on 2013-05-01 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: Pour assurer une production de biens de qualité, de manière fiable et dans des délais maîtrisés, les organisations ont besoin d’outils d'exécution optimale de tâches tels que l’ordonnancement. Le succès des méthodologies de résolution des problèmes d’ordonnancement de production basées sur les métaheuristiques s’explique par leur capacité à fournir des solutions proches de l’optimum, dans des temps raisonnables. Cet ouvrage se consacre, dans un premier temps, aux métaheuristiques appliquées aux problèmes d’ordonnancement multicritère, qui sont des cas particuliers des problèmes d’optimisation combinatoire multicritère, généralement NP-difficiles. Puis, il s’intéresse aux préoccupations d’ordonnancement dans le secteur du transport qui suscitent également de multiples problèmes d’optimisation. Deux grands domaines d’application se distinguent, celui des systèmes de transport et celui des ressources de transport intervenant dans un atelier.

Unconventional Computation

Author : Christian S. Calude
Publisher : Springer
ISBN 13 : 3540851941
Total Pages : 267 pages
Book Rating : 4.5/5 (48 download)

DOWNLOAD NOW!

Book Synopsis Unconventional Computation by : Christian S. Calude

Download or read book Unconventional Computation written by Christian S. Calude and published by Springer. This book was released on 2008-08-20 with total page 267 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008. The 16 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various applications. Typical topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing, chaos and dynamical system-based computing, and various proposals for computations that go beyond the Turing model.

Logic and Theory of Algorithms

Author : Arnold Beckmann
Publisher : Springer
ISBN 13 : 3540694072
Total Pages : 613 pages
Book Rating : 4.5/5 (46 download)

DOWNLOAD NOW!

Book Synopsis Logic and Theory of Algorithms by : Arnold Beckmann

Download or read book Logic and Theory of Algorithms written by Arnold Beckmann and published by Springer. This book was released on 2008-06-11 with total page 613 pages. Available in PDF, EPUB and Kindle. Book excerpt: CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15–20, 2008 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network is to advance our t- oretical understanding of what can and cannot be computed, by any means of computation. Its scienti?c vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs, and - chines. Computations may be made by experimenting with any sort of physical system obeying the laws of a physical theory such as Newtonian mechanics, quantum theory, or relativity. Computations may be very general, depending on the foundations of set theory; or very speci?c, using the combinatorics of ?nite structures. CiE also works on subjects intimately related to computation, especially theories of data and information, and methods for formal reasoning about computations. The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, computational learning. Applications are everywhere,especially, in algebra,analysisand geometry, or data types and p- gramming. Within CiE there is general recognition of the underlying relevance of computability to physics and a broad range of other sciences, providing as it does a basic analysis of the causal structure of dynamical systems. Thisvolume,Logic andTheory of Algorithms,istheproceedingsofthefourth in a series of conferences of CiE that was held at the University of Athens, June 15–20, 2008.

Advances in Intelligent Computing - IPMU '94

Author : Bernadette Bouchon-Meunier
Publisher : Springer Science & Business Media
ISBN 13 : 9783540601166
Total Pages : 648 pages
Book Rating : 4.6/5 (11 download)

DOWNLOAD NOW!

Book Synopsis Advances in Intelligent Computing - IPMU '94 by : Bernadette Bouchon-Meunier

Download or read book Advances in Intelligent Computing - IPMU '94 written by Bernadette Bouchon-Meunier and published by Springer Science & Business Media. This book was released on 1995-06-26 with total page 648 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a topical selection of full refereed research papers presented during the 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '94, held in Paris, France in July 1994. The topical focus is on the role of uncertainty in the contruction of intelligent computing systems and it is shown how the concepts of AI, neural networks, and fuzzy logic can be utilized for that purpose. In total, there are presented 63 thoroughly revised papers organized in sections on fundamental issues; theory of evidence; networks, probabilistic, statistical, and informational methods; possibility theory, logics, chaos, reusability, and applications.

Ω-Bibliography of Mathematical Logic

Author : Heinz-Dieter Ebbinghaus
Publisher : Springer Science & Business Media
ISBN 13 : 3662090589
Total Pages : 653 pages
Book Rating : 4.6/5 (62 download)

DOWNLOAD NOW!

Book Synopsis Ω-Bibliography of Mathematical Logic by : Heinz-Dieter Ebbinghaus

Download or read book Ω-Bibliography of Mathematical Logic written by Heinz-Dieter Ebbinghaus and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 653 pages. Available in PDF, EPUB and Kindle. Book excerpt: Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H.-D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra.

Foundations of Software Technology and Theoretical Computer Science

Author : Conjeevaram E. Veni Madhavan
Publisher : Springer Science & Business Media
ISBN 13 : 9783540520481
Total Pages : 356 pages
Book Rating : 4.5/5 (24 download)

DOWNLOAD NOW!

Book Synopsis Foundations of Software Technology and Theoretical Computer Science by : Conjeevaram E. Veni Madhavan

Download or read book Foundations of Software Technology and Theoretical Computer Science written by Conjeevaram E. Veni Madhavan and published by Springer Science & Business Media. This book was released on 1989-12-06 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. - Concurrency: algebraic semantics, event structures. - Logic programming: algebraic properties, semantics. - Software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by leading research groups around the world. The papers treat their topics in depth by carefully reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research.

SmartGrids : les réseaux électriques intelligents

Author : SABONNADIERE Jean-Claude
Publisher : Lavoisier
ISBN 13 : 2746275945
Total Pages : 402 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis SmartGrids : les réseaux électriques intelligents by : SABONNADIERE Jean-Claude

Download or read book SmartGrids : les réseaux électriques intelligents written by SABONNADIERE Jean-Claude and published by Lavoisier. This book was released on 2012-04-10 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'avènement de la libéralisation des marchés de l'énergie a été un facteur clé de succès du développement des énergies renouvelables et de la maîtrise de la demande en énergie. L'insertion massive des productions décentralisées intermittentes sur les réseaux de distribution engendre une complexité de fonctionnement qui est préjudiciable à la sécurité. L'introduction des technologies de l'information et de la communication permet de pallier cette difficulté et ouvre des perspectives nouvelles dans la maîtrise de la demande énergétique en intégrant le consommateur dans le pilotage du réseau. C'est l'objet de l'ouvrage consacré aux réseaux intelligents connus sous le nom de SmartGrids. Le concept de Smartgrids est abordé sous diverses facettes par l'aspect commercial, économiques, réglementaire par des auteurs spécialistes de ces questions. La partie technique est abordée à la fois par l'aspect énergétique et celui des télécommunications et du comptage.

Foundations of Algorithms

Author : Richard E. Neapolitan
Publisher : Jones & Bartlett Learning
ISBN 13 : 0763782505
Total Pages : 647 pages
Book Rating : 4.7/5 (637 download)

DOWNLOAD NOW!

Book Synopsis Foundations of Algorithms by : Richard E. Neapolitan

Download or read book Foundations of Algorithms written by Richard E. Neapolitan and published by Jones & Bartlett Learning. This book was released on 2011 with total page 647 pages. Available in PDF, EPUB and Kindle. Book excerpt: Data Structures & Theory of Computation

Cryptographie : principes et mises en œuvre / 2ème édition revue et augmentée

Author : BARTHELEMY Pierre
Publisher : Lavoisier
ISBN 13 : 2746288168
Total Pages : 482 pages
Book Rating : 4.7/5 (462 download)

DOWNLOAD NOW!

Book Synopsis Cryptographie : principes et mises en œuvre / 2ème édition revue et augmentée by : BARTHELEMY Pierre

Download or read book Cryptographie : principes et mises en œuvre / 2ème édition revue et augmentée written by BARTHELEMY Pierre and published by Lavoisier. This book was released on 2012-04-16 with total page 482 pages. Available in PDF, EPUB and Kindle. Book excerpt: Quels sont les enjeux de la cryptographie moderne ? Quels sont ses objets, son langage ? Quelles sont les solutions actuelles aux problèmes de confidentialité, d'authentification et d'anonymat ? Quel degré de confiance peut-on accorder à ces solutions ? Cette seconde édition, enrichie et mise à jour, propose un panorama des outils et procédés de la cryptographie. Après avoir présenté et analysé les méthodes, cet ouvrage offre une description précise des techniques mathématiques indispensables et des principales primitives cryptographiques. Les fonctionnalités de base comme le chiffrement, la signature ou l'authentification, sont étudiées dans le cadre de la cryptographie à clé publique ou secrète. Cryptographie analyse également l'interaction entre ces notions ainsi que leurs mises en oeuvre dans des protocoles généraux et dans des applications concrètes. Il s'intéresse aux attaques contre les systèmes cryptographiques y compris celles par canaux cachés et par injection de fautes. Il aborde le domaine désormais indispensable des preuves de sécurité.