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



Titre : Algorithms and computation : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings Type de document : document électronique Auteurs : asano Tetsuo, Auteur Editeur : Berlin ; London ; Cham : Springer Année de publication : 2006 Collection : Computer Science ISBN/ISSN/EAN : 978-3-540-49694-6 Langues : Anglais (eng) Mots-clés : Computer algorithms -- Congresses
Numerical calculations -- Data processing -- Congresses
Algorithmes -- Congrès
Calculs numériques -- Informatique -- CongrèsIndex. décimale : 681.3.06 Logiciels. Software Résumé : constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Computation, ISAAC 2006, held in Kolkata, India in December 2006.
The 73 revised full papers presented were carefully reviewed and selected from 255 submissions. The papers are organized in topical sections on algorithms and data structures, online algorithms, approximation algorithm, graphs, computational geometry, computational complexity, network, optimization and biology, combinatorial optimization and quantum computing, as well as distributed computing and cryptography.Algorithms and computation : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings [document électronique] / asano Tetsuo, Auteur . - Berlin ; London ; Cham : Springer, 2006. - (Computer Science) .
ISBN : 978-3-540-49694-6
Langues : Anglais (eng)
Mots-clés : Computer algorithms -- Congresses
Numerical calculations -- Data processing -- Congresses
Algorithmes -- Congrès
Calculs numériques -- Informatique -- CongrèsIndex. décimale : 681.3.06 Logiciels. Software Résumé : constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Computation, ISAAC 2006, held in Kolkata, India in December 2006.
The 73 revised full papers presented were carefully reviewed and selected from 255 submissions. The papers are organized in topical sections on algorithms and data structures, online algorithms, approximation algorithm, graphs, computational geometry, computational complexity, network, optimization and biology, combinatorial optimization and quantum computing, as well as distributed computing and cryptography.Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire E00017 681.3.06 ALG Ressources électroniques Bibliothèque Centrale Informatique Disponible E00018 681.3.06 ALG Ressources électroniques Bibliothèque Centrale Informatique Disponible
Titre : Automata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings Type de document : document électronique Auteurs : Luis Caires, Auteur ; Guiseppe F. Italiano, Auteur Editeur : Berlin ; London ; Cham : Springer Année de publication : 2005 Collection : Computer Science ISBN/ISSN/EAN : 978-3-540-27580-0 Langues : Anglais (eng) Mots-clés : Computational complexity
Data structures (Computer science)
Data structures (Computer science)
Electronic data processing
Information theory
Software engineering
Computer Science
Data Structures
Data Structures, Cryptology and Information Theory
Discrete Mathematics in Computer Science
Numeric Computing
Software Engineering/Programming and Operating Systems
Theory of ComputationIndex. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : constitutes the refereed proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP 2005, held in Lisbon, Portugal in July 2005.
The 113 revised full papers presented together with abstracts of 5 invited talks were carefully reviewed and selected from 407 submissions. The papers address all current issues in theoretical computer science and are organized in topical sections on data structures, cryptography and complexity, cryptography and distributed systems, graph algorithms, security mechanisms, automata and formal languages, signature and message authentication, algorithmic game theory, automata and logic, computational algebra, cache-oblivious algorithms and algorithmic engineering, on-line algorithms, security protocols logic, random graphs, concurrency, encryption and related primitives, approximation algorithms, games, lower bounds, probability, algebraic computation and communication complexity, string matching and computational biology, quantum complexity, analysis and verification, geometry and load balancing, concrete complexity and codes, and model theory and model checAutomata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings [document électronique] / Luis Caires, Auteur ; Guiseppe F. Italiano, Auteur . - Berlin ; London ; Cham : Springer, 2005. - (Computer Science) .
ISBN : 978-3-540-27580-0
Langues : Anglais (eng)
Mots-clés : Computational complexity
Data structures (Computer science)
Data structures (Computer science)
Electronic data processing
Information theory
Software engineering
Computer Science
Data Structures
Data Structures, Cryptology and Information Theory
Discrete Mathematics in Computer Science
Numeric Computing
Software Engineering/Programming and Operating Systems
Theory of ComputationIndex. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : constitutes the refereed proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP 2005, held in Lisbon, Portugal in July 2005.
The 113 revised full papers presented together with abstracts of 5 invited talks were carefully reviewed and selected from 407 submissions. The papers address all current issues in theoretical computer science and are organized in topical sections on data structures, cryptography and complexity, cryptography and distributed systems, graph algorithms, security mechanisms, automata and formal languages, signature and message authentication, algorithmic game theory, automata and logic, computational algebra, cache-oblivious algorithms and algorithmic engineering, on-line algorithms, security protocols logic, random graphs, concurrency, encryption and related primitives, approximation algorithms, games, lower bounds, probability, algebraic computation and communication complexity, string matching and computational biology, quantum complexity, analysis and verification, geometry and load balancing, concrete complexity and codes, and model theory and model checRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire E00014 681.3 AUT Ressources électroniques Bibliothèque Centrale Informatique Disponible E00013 681.3 AUT Ressources électroniques Bibliothèque Centrale Informatique Disponible
Titre : Codes et turbocodes Type de document : document électronique Auteurs : Berrou, Claude, Auteur Editeur : Berlin ; London ; Cham : Springer Année de publication : 2007 Collection : Computer Science ISBN/ISSN/EAN : 978-2-287-32740-7 Note générale : Configuration requise : Adobe acrobat Langues : Français (fre) Mots-clés : Computer science Communications Engineering, Networks Coding and Information Theory Résumé : Cet ouvrage est consacré à l'une des fonctions essentielles des systèmes de télécommunications modernes : le codage de canal ou codage correcteur d'erreurs. A la croisée de la théorie de l'information, des mathématiques et de l'électronique, le codage de canal a connu de nombreux développements depuis les travaux fondateurs de Claude Shannon. Du simple code de Hamming (1950) aux récents turbocodes (1993) en passant par les codes LDPC (1962), le codage de canal a considérablement évolué et a intégré des concepts de plus en plus sophistiqués, en particulier le traitement probabiliste de l'information.
Codes algébriques, codes convolutifs et codes concaténés décodés itérativement font la matière principale de l'ouvrage qui comporte également une présentation des modulations numériques, auxquelles le codage de canal est intimement associé pour former le cœur de la couche physique des systèmes de télécommunications. Les aspects théoriques les plus importants sont présentés, la construction des codes est détaillée et justifiée. Les algorithmes de décodage sont développés et, dans la mesure du possible, accompagnés de résultats de simulation, caractéristiques de leur pouvoir de correction et de leurs applications.
Les auteurs sont des enseignants-chercheurs reconnus pour leur expertise dans le domaine des algorithmes de codage et de décodage ainsi que des circuits électroniques associés. Codes et Turbocodes a été pensé pour être à la fois un ouvrage de découverte du domaine, une source précieuse d'informations sur les nombreuses techniques imaginées depuis le milieu du vingtième siècle, et une ouverture vers des problèmes non encore complètement résolus.Codes et turbocodes [document électronique] / Berrou, Claude, Auteur . - Berlin ; London ; Cham : Springer, 2007. - (Computer Science) .
ISBN : 978-2-287-32740-7
Configuration requise : Adobe acrobat
Langues : Français (fre)
Mots-clés : Computer science Communications Engineering, Networks Coding and Information Theory Résumé : Cet ouvrage est consacré à l'une des fonctions essentielles des systèmes de télécommunications modernes : le codage de canal ou codage correcteur d'erreurs. A la croisée de la théorie de l'information, des mathématiques et de l'électronique, le codage de canal a connu de nombreux développements depuis les travaux fondateurs de Claude Shannon. Du simple code de Hamming (1950) aux récents turbocodes (1993) en passant par les codes LDPC (1962), le codage de canal a considérablement évolué et a intégré des concepts de plus en plus sophistiqués, en particulier le traitement probabiliste de l'information.
Codes algébriques, codes convolutifs et codes concaténés décodés itérativement font la matière principale de l'ouvrage qui comporte également une présentation des modulations numériques, auxquelles le codage de canal est intimement associé pour former le cœur de la couche physique des systèmes de télécommunications. Les aspects théoriques les plus importants sont présentés, la construction des codes est détaillée et justifiée. Les algorithmes de décodage sont développés et, dans la mesure du possible, accompagnés de résultats de simulation, caractéristiques de leur pouvoir de correction et de leurs applications.
Les auteurs sont des enseignants-chercheurs reconnus pour leur expertise dans le domaine des algorithmes de codage et de décodage ainsi que des circuits électroniques associés. Codes et Turbocodes a été pensé pour être à la fois un ouvrage de découverte du domaine, une source précieuse d'informations sur les nombreuses techniques imaginées depuis le milieu du vingtième siècle, et une ouverture vers des problèmes non encore complètement résolus.Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire E00078 681.3.04 BER Ressources électroniques Bibliothèque Centrale Informatique Disponible E00077 681.3.04 BER Ressources électroniques Bibliothèque Centrale Informatique Disponible
Titre : Computational Science - ICCS 2007 : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II Type de document : document électronique Auteurs : Yong Shi, Directeur de la recherche Editeur : Berlin ; London ; Cham : Springer Année de publication : 2007 Collection : Computer Science ISBN/ISSN/EAN : 978-3-540-72586-2 Langues : Français (fre) Mots-clés : ICCS(logiciel) Index. décimale : 681.3.06 Logiciels. Software Computational Science - ICCS 2007 : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II [document électronique] / Yong Shi, Directeur de la recherche . - Berlin ; London ; Cham : Springer, 2007. - (Computer Science) .
ISBN : 978-3-540-72586-2
Langues : Français (fre)
Mots-clés : ICCS(logiciel) Index. décimale : 681.3.06 Logiciels. Software Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire CD00007 681.3.06 COM Papier Bibliothèque Centrale Informatique Disponible
Titre : Computational science – ICCS 2007. Part II : 7th International conference, beijing China, may 27-30, 2007, proceedings Type de document : document électronique Auteurs : Yong Shi, Auteur ; Geert Dick Albad, Auteur ; Jack Dongarra, Auteur Editeur : Berlin ; London ; Cham : Springer Année de publication : 2007 Collection : Computer Science ISBN/ISSN/EAN : 978-3-540-72585-5 Langues : Anglais (eng) Mots-clés : Complexité de calcul (informatique) -- Congrès Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : The four-volume set LNCS 4487-4490 constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007.
More than 2400 submissions were made to the main conference and its 35 topical workshops. The 80 revised full papers and 11 revised short papers of the main track were carefully reviewed and selected from 360 submissions and are presented together with 624 accepted workshop papers in four volumes.
According to the ICCS 2007 theme "Advancing Science and Society through Computation" the papers cover a large volume of topics in computational science and related areas, from multiscale physics, to wireless networks, and from graph theory to tools for program development. The papers are arranged in topical sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale systems, dynamic data driven application systems, computer graphics and geometric modeling, computer algebra systems, computational chemistry, computational approaches and techniques in bioinformatics, computational finance and business intelligence, geocomputation, high-level parallel programming, networks theory and applications, collective intelligence for semantic and knowledge grid, collaborative and cooperative environments, tools for program development and analysis in CS, intelligent agents in computing systems, CS in software engineering, computational linguistics in HCI, internet computing in science and engineering, workflow systems in e-science, graph theoretic algorithms and applications in cs, teaching CS, high performance data mining, mining text, semi-structured, Web, or multimedia data, computational methods in energy economics, risk analysis, advances in computational geomechanics and geophysics, meta-synthesis and complex systems, scientific computing in electronics engineering, wireless and mobile systems, high performance networked media and services, evolution toward next generation internet, real time systems and adaptive applications, evolutionary algorithms and evolvable systems.Computational science – ICCS 2007. Part II : 7th International conference, beijing China, may 27-30, 2007, proceedings [document électronique] / Yong Shi, Auteur ; Geert Dick Albad, Auteur ; Jack Dongarra, Auteur . - Berlin ; London ; Cham : Springer, 2007. - (Computer Science) .
ISBN : 978-3-540-72585-5
Langues : Anglais (eng)
Mots-clés : Complexité de calcul (informatique) -- Congrès Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : The four-volume set LNCS 4487-4490 constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007.
More than 2400 submissions were made to the main conference and its 35 topical workshops. The 80 revised full papers and 11 revised short papers of the main track were carefully reviewed and selected from 360 submissions and are presented together with 624 accepted workshop papers in four volumes.
According to the ICCS 2007 theme "Advancing Science and Society through Computation" the papers cover a large volume of topics in computational science and related areas, from multiscale physics, to wireless networks, and from graph theory to tools for program development. The papers are arranged in topical sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale systems, dynamic data driven application systems, computer graphics and geometric modeling, computer algebra systems, computational chemistry, computational approaches and techniques in bioinformatics, computational finance and business intelligence, geocomputation, high-level parallel programming, networks theory and applications, collective intelligence for semantic and knowledge grid, collaborative and cooperative environments, tools for program development and analysis in CS, intelligent agents in computing systems, CS in software engineering, computational linguistics in HCI, internet computing in science and engineering, workflow systems in e-science, graph theoretic algorithms and applications in cs, teaching CS, high performance data mining, mining text, semi-structured, Web, or multimedia data, computational methods in energy economics, risk analysis, advances in computational geomechanics and geophysics, meta-synthesis and complex systems, scientific computing in electronics engineering, wireless and mobile systems, high performance networked media and services, evolution toward next generation internet, real time systems and adaptive applications, evolutionary algorithms and evolvable systems.Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire E00009 681.3 COM Ressources électroniques Bibliothèque Centrale Informatique Disponible Consultation sur place E00010 681.3 COM Ressources électroniques Bibliothèque Centrale Informatique Disponible PermalinkPermalinkPermalinkPermalinkPermalink