Détail d'une collection
|
Documents disponibles dans la collection (12)



Titre : Algorithmes d’approximation Type de document : document électronique Auteurs : Vazirani, Vijay V., Auteur Editeur : Berlin ; London ; Cham : Springer Année de publication : 2007 Collection : IRIS ISBN/ISSN/EAN : 978-2-287-31020-1 Langues : Français (fre) Mots-clés : algorithme - approximation - combinatoire - complexite - informatique Résumé : Le champ des algorithmes d'approximation est aujourd'hui l'un des domaines de recherche les plus actifs en informatique. Il allie la profondeur de la théorie mathématique aux promesses d'applications pratiques d'un intérêt considérable. La plupart des problèmes issus d'applications relevant de domaines aussi différents que la conception de circuits VLSI, la conception et la planification de réseaux, l'ordonnancement, la théorie des jeux, la biologie ou la théorie des nombres, sont des problèmes NP-difficiles. Leur résolution exacte demanderait des ressources informatiques inaccessibles et ne peut donc être envisagée. Pour faire face à cette situation, un grand nombre d'algorithmes proposant des solutions approchées à ces problèmes ont été développés. Une quantité considérable de résultats nouveaux a été établie lors de la dernière décennie et a révolutionné ce champ d'étude. Le défi relevé par cet ouvrage est de présenter clairement les théories et méthodologies sous-jacentes sans rien ôter à la beauté des résultats. Ce livre expose ces questions algorithmiques complexes en proposant des démonstrations simples et intuitives accompagnées de nombreux exemples. Note de contenu : Introduction.– Couverture par ensembles.– L’arbre de Steiner et le voyageur de commerce.– Coupe multiséparatrice et coupe en k morceaux.– k-Centre.– Coupe-cycles de sommets.– Surfacteur minimum.– Sac à dos.– Empaquetage.– Minimisation du temps d’exécution total.– Voyageur de commerce euclidien.– Introduction à la dualité en programmation linéaire.– Alignement dual pour la couverture par ensembles.– Arrondi en programmation linéaire et couverture par Ensembles.– Schéma primal-dual et couverture par ensembles.– Satisfaction maximum.– Ordonnancement hétérogène.– Multicoupe et multiflot entier dans un arbre.– Coupe multiséparatrice.– Multicoupe dans les graphes.– Coupe la moins dense.– Forêt de Steiner.– Réseau de Steiner.– Placement d’installations.– k-Médiane.– Programmation semi-définie.– Vecteur le plus court.– Problèmes de dénombrement.– Difficulté de l’approximation.– Problèmes ouverts.– Annexes.–Bibliographie.– Index des problèmes.– Index.– Glossaire des mots anglais. Algorithmes d’approximation [document électronique] / Vazirani, Vijay V., Auteur . - Berlin ; London ; Cham : Springer, 2007. - (IRIS) .
ISBN : 978-2-287-31020-1
Langues : Français (fre)
Mots-clés : algorithme - approximation - combinatoire - complexite - informatique Résumé : Le champ des algorithmes d'approximation est aujourd'hui l'un des domaines de recherche les plus actifs en informatique. Il allie la profondeur de la théorie mathématique aux promesses d'applications pratiques d'un intérêt considérable. La plupart des problèmes issus d'applications relevant de domaines aussi différents que la conception de circuits VLSI, la conception et la planification de réseaux, l'ordonnancement, la théorie des jeux, la biologie ou la théorie des nombres, sont des problèmes NP-difficiles. Leur résolution exacte demanderait des ressources informatiques inaccessibles et ne peut donc être envisagée. Pour faire face à cette situation, un grand nombre d'algorithmes proposant des solutions approchées à ces problèmes ont été développés. Une quantité considérable de résultats nouveaux a été établie lors de la dernière décennie et a révolutionné ce champ d'étude. Le défi relevé par cet ouvrage est de présenter clairement les théories et méthodologies sous-jacentes sans rien ôter à la beauté des résultats. Ce livre expose ces questions algorithmiques complexes en proposant des démonstrations simples et intuitives accompagnées de nombreux exemples. Note de contenu : Introduction.– Couverture par ensembles.– L’arbre de Steiner et le voyageur de commerce.– Coupe multiséparatrice et coupe en k morceaux.– k-Centre.– Coupe-cycles de sommets.– Surfacteur minimum.– Sac à dos.– Empaquetage.– Minimisation du temps d’exécution total.– Voyageur de commerce euclidien.– Introduction à la dualité en programmation linéaire.– Alignement dual pour la couverture par ensembles.– Arrondi en programmation linéaire et couverture par Ensembles.– Schéma primal-dual et couverture par ensembles.– Satisfaction maximum.– Ordonnancement hétérogène.– Multicoupe et multiflot entier dans un arbre.– Coupe multiséparatrice.– Multicoupe dans les graphes.– Coupe la moins dense.– Forêt de Steiner.– Réseau de Steiner.– Placement d’installations.– k-Médiane.– Programmation semi-définie.– Vecteur le plus court.– Problèmes de dénombrement.– Difficulté de l’approximation.– Problèmes ouverts.– Annexes.–Bibliographie.– Index des problèmes.– Index.– Glossaire des mots anglais. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire E00153 681.3.041 VAZ Ressources électroniques Bibliothèque Centrale Informatique Disponible E00154 681.3.041 VAZ Ressources électroniques Bibliothèque Centrale Informatique Disponible
Titre : Bio-informatique moléculaire Type de document : document électronique Auteurs : Pevzner, Pavel, Auteur ; Delphine Hachez, Auteur Editeur : Berlin ; London ; Cham : Springer Année de publication : 2006 Collection : IRIS ISBN/ISSN/EAN : 978-2-287-33908-0 Note générale : Trad. de: Computational molecular biology : an algorithmic approach .- Configuration requise : Adobe acrobat Langues : Français (fre) Mots-clés : Bioinformatique Algorithmes Biomathématiques Résumé : Cet ouvrage est la traduction française d'un texte désormais considéré comme une référence dans le domaine émergent de la bio-informatique moléculaire. Pavel A. Pevzner y traite des cartes génétiques, du problème de comparaison de séquences et d'alignement en passant par les puces à ADN et le réarrangement génomique. Il couvre ainsi une grande variété de thèmes relatifs aux traitements algorithmiques et combinatoires de questions issues de la bioinformatique moléculaire et de la biotechnologie. Evitant, dans la mesure du possible, les considérations théoriques et les formules complexes, l'exposé privilégie la présentation des notions de biologie et d'algorithmique qui interviennent de manière fondamentale dans les Bio-informatique moléculaire [document électronique] / Pevzner, Pavel, Auteur ; Delphine Hachez, Auteur . - Berlin ; London ; Cham : Springer, 2006. - (IRIS) .
ISBN : 978-2-287-33908-0
Trad. de: Computational molecular biology : an algorithmic approach .- Configuration requise : Adobe acrobat
Langues : Français (fre)
Mots-clés : Bioinformatique Algorithmes Biomathématiques Résumé : Cet ouvrage est la traduction française d'un texte désormais considéré comme une référence dans le domaine émergent de la bio-informatique moléculaire. Pavel A. Pevzner y traite des cartes génétiques, du problème de comparaison de séquences et d'alignement en passant par les puces à ADN et le réarrangement génomique. Il couvre ainsi une grande variété de thèmes relatifs aux traitements algorithmiques et combinatoires de questions issues de la bioinformatique moléculaire et de la biotechnologie. Evitant, dans la mesure du possible, les considérations théoriques et les formules complexes, l'exposé privilégie la présentation des notions de biologie et d'algorithmique qui interviennent de manière fondamentale dans les Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire E00081 681.3.041 PEV Ressources électroniques Bibliothèque Centrale Informatique Disponible E00082 681.3.041 PEV Ressources électroniques Bibliothèque Centrale Informatique Disponible
Titre : Éléments de théorie des graphes Type de document : texte imprimé Auteurs : Alain Bretto, Auteur ; Alain Faisant, Auteur ; François Hennecart, Auteur Editeur : Berlin ; London ; Cham : Springer Année de publication : 2012 Collection : IRIS Importance : XIX, 371 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-8178-0280-0 Note générale : Bibliogr. p. [357]. - Index Langues : Français (fre) Mots-clés : Graphes, Théorie des -- Problèmes et exercices Index. décimale : 519.17 Théorie des graphes
Résumé :
Cet ouvrage constitue une introduction à la théorie des graphes. La plupart des notions élémentaires et classiques y sont introduites selon une approche originale, précise et rigoureuse. La quasi-totalité des résultats énoncés font l'objet de démonstrations détaillées.
L'aspect topologique et l'aspect algébrique, derniers avatars de cette théorie, ont été développés de manière approfondie. La variété des thèmes abordés a pour objectif de conduire le lecteur à appréhender les graphes dans toute leur diversité afin d'en percevoir la puissance en tant qu'outil mathématique. L'accent a également été mis sur les structures de données et les algorithmes associés aux graphes permettant la programmation d'applications pratiques.
Ce livre peut être d'usage courant pour les étudiants en informatique ou en mathématiques du niveau licence et master, en université et en écoles d'ingénieurs. Il pourra aussi être utile aux chercheurs et aux ingénieurs voulant s'approprier rapidement le domaine de la théorie des graphes.Note de contenu : Au sommaire :
1. Concepts fondamentaux
2. Quelques graphes remarquables
3. (Di)graphes et structures de données
4. Connexité et flots dans les réseaux
5. Graphes planaires
6. Théorie algébrique
7. Coloration
8. Couplage et factorisation
9. Automorphismes - Théorie spectrale
10. Autres perspectivesÉléments de théorie des graphes [texte imprimé] / Alain Bretto, Auteur ; Alain Faisant, Auteur ; François Hennecart, Auteur . - Berlin ; London ; Cham : Springer, 2012 . - XIX, 371 p. : ill. ; 24 cm. - (IRIS) .
ISBN : 978-2-8178-0280-0
Bibliogr. p. [357]. - Index
Langues : Français (fre)
Mots-clés : Graphes, Théorie des -- Problèmes et exercices Index. décimale : 519.17 Théorie des graphes
Résumé :
Cet ouvrage constitue une introduction à la théorie des graphes. La plupart des notions élémentaires et classiques y sont introduites selon une approche originale, précise et rigoureuse. La quasi-totalité des résultats énoncés font l'objet de démonstrations détaillées.
L'aspect topologique et l'aspect algébrique, derniers avatars de cette théorie, ont été développés de manière approfondie. La variété des thèmes abordés a pour objectif de conduire le lecteur à appréhender les graphes dans toute leur diversité afin d'en percevoir la puissance en tant qu'outil mathématique. L'accent a également été mis sur les structures de données et les algorithmes associés aux graphes permettant la programmation d'applications pratiques.
Ce livre peut être d'usage courant pour les étudiants en informatique ou en mathématiques du niveau licence et master, en université et en écoles d'ingénieurs. Il pourra aussi être utile aux chercheurs et aux ingénieurs voulant s'approprier rapidement le domaine de la théorie des graphes.Note de contenu : Au sommaire :
1. Concepts fondamentaux
2. Quelques graphes remarquables
3. (Di)graphes et structures de données
4. Connexité et flots dans les réseaux
5. Graphes planaires
6. Théorie algébrique
7. Coloration
8. Couplage et factorisation
9. Automorphismes - Théorie spectrale
10. Autres perspectivesRéservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 055423 519.17 BRE Papier Bibliothèque Centrale R.D.C Mathématiques Disponible Consultation sur place
Titre : Introduction aux mathématique discrétes Type de document : texte imprimé Auteurs : Jiri Matousek, Auteur ; Jaroslav Nesetril, Auteur ; Delphine Hachez, Traducteur Editeur : Berlin ; London ; Cham : Springer Année de publication : 2004 Collection : IRIS Importance : 453 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-287-20010-6 Note générale : Trad. de : "Invitation to discrete mathematics". Bibliogr. [411]-414 p. Index. Annexes Langues : Français (fre) Mots-clés : Mathematique numerique -- Informatique
Mathématique discrétesIndex. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé : Cet ouvrage propose une initiation simple et complète aux fondements des mathématiques discrètes. Il encourage une approche active de la matière, fondée sur la résolution de nombreux exercices, et le style utilisé pour sa rédaction ne peut que stimuler l'intérêt du lecteur pour les mathématiques. L'exposé aborde des thèmes aussi variés que la combinatoire, la théorie des graphes, les méthodes probabilistes élémentaires, les plans projectifs finis, les applications combinatoires de l'algèbre linéaire et de l'analyse ainsi que les fonctions génératrices. Les lecteurs apprécieront les quelques deux cents figures et quatre cents exercices qui illustrent le propos. Ce livre s'adresse aux étudiants des premier et deuxième cycles universitaires (informatique et mathématiques). Il comporte des rappels sur les notions de mathématiques générales utilisées dans l'exposé, ne supposant ainsi pratiquement aucun prérequis Introduction aux mathématique discrétes [texte imprimé] / Jiri Matousek, Auteur ; Jaroslav Nesetril, Auteur ; Delphine Hachez, Traducteur . - Berlin ; London ; Cham : Springer, 2004 . - 453 p. : ill. ; 24 cm. - (IRIS) .
ISBN : 978-2-287-20010-6
Trad. de : "Invitation to discrete mathematics". Bibliogr. [411]-414 p. Index. Annexes
Langues : Français (fre)
Mots-clés : Mathematique numerique -- Informatique
Mathématique discrétesIndex. décimale : 519.6 Mathématique numérique. Analyse numérique. Programmation. (informatique). Science des ordinateurs. Résumé : Cet ouvrage propose une initiation simple et complète aux fondements des mathématiques discrètes. Il encourage une approche active de la matière, fondée sur la résolution de nombreux exercices, et le style utilisé pour sa rédaction ne peut que stimuler l'intérêt du lecteur pour les mathématiques. L'exposé aborde des thèmes aussi variés que la combinatoire, la théorie des graphes, les méthodes probabilistes élémentaires, les plans projectifs finis, les applications combinatoires de l'algèbre linéaire et de l'analyse ainsi que les fonctions génératrices. Les lecteurs apprécieront les quelques deux cents figures et quatre cents exercices qui illustrent le propos. Ce livre s'adresse aux étudiants des premier et deuxième cycles universitaires (informatique et mathématiques). Il comporte des rappels sur les notions de mathématiques générales utilisées dans l'exposé, ne supposant ainsi pratiquement aucun prérequis Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 048042 519.6 MAT Papier Bibliothèque Centrale Mathématiques Disponible
Titre : Introduction pratique aux bases de données relationnelles Type de document : texte imprimé Auteurs : Andeas Meier, Auteur ; Dac Hoa Nguyen, Traducteur Editeur : Berlin ; London ; Cham : Springer Année de publication : 2002 Collection : IRIS Importance : X-256 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-287-59725-1 Note générale : Titre original :"Relationale Datenbanken".- Bibliogr. p. [249]-251.- Index Langues : Français (fre) Mots-clés : Bases de données relationnelles
Relational databases
Bases de données -- Conception
Database designIndex. décimale : 681.3.02 Conception,construction et structures des systèmes machines et éléments de traitement de données.(Conception des systèmes) Résumé : Les bases de données relationnelles en présentant une vaste sélection de sujet portant sur la modélisation des données,les langages de base de donnée,l'architecture des systèmes et l'évolution post relationnelle. Note de contenu : Sommaire
*Vers un système de gestion des données
*Les phases de la construction d'un modèle de données
*Langages d'interrogation et de manipulation de données
*Les composants de l'architecture d'un système de base de données
*Stratégies de migration vers les bases de données relationnelles
*Les systèmes de bases de données post-relationnellesIntroduction pratique aux bases de données relationnelles [texte imprimé] / Andeas Meier, Auteur ; Dac Hoa Nguyen, Traducteur . - Berlin ; London ; Cham : Springer, 2002 . - X-256 p. : ill. ; 24 cm. - (IRIS) .
ISBN : 978-2-287-59725-1
Titre original :"Relationale Datenbanken".- Bibliogr. p. [249]-251.- Index
Langues : Français (fre)
Mots-clés : Bases de données relationnelles
Relational databases
Bases de données -- Conception
Database designIndex. décimale : 681.3.02 Conception,construction et structures des systèmes machines et éléments de traitement de données.(Conception des systèmes) Résumé : Les bases de données relationnelles en présentant une vaste sélection de sujet portant sur la modélisation des données,les langages de base de donnée,l'architecture des systèmes et l'évolution post relationnelle. Note de contenu : Sommaire
*Vers un système de gestion des données
*Les phases de la construction d'un modèle de données
*Langages d'interrogation et de manipulation de données
*Les composants de l'architecture d'un système de base de données
*Stratégies de migration vers les bases de données relationnelles
*Les systèmes de bases de données post-relationnellesRéservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 047742 681.3.02 MEI Papier Bibliothèque Centrale Informatique Disponible PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink