University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
Convergence / Greg Viggiano
Titre : Convergence : Artificial Intelligence and Quantum Computing: Social, Economic, and Policy Impacts Type de document : texte imprimé Auteurs : Greg Viggiano Année de publication : 2023 ISBN/ISSN/EAN : 978-1-394-17410-2 Catégories : Informatique Résumé :
Prepare for the coming convergence of AI and quantum computing
A collection of essays from 20 renowned, international authors working in industry, academia, and government, Convergence: Artificial Intelligence and Quantum Computing explains the impending convergence of artificial intelligence and quantum computing. A diversity of viewpoints is presented, each offering their view of this coming watershed event.
In the book, you'll discover that we're on the cusp of seeing the stuff of science fiction become reality, with huge implications for ripping up the existing social fabric, global economy, and current geopolitical order. Along with an incisive foreword by Hugo- and Nebula-award winning author David Brin, you'll also find:
Explorations of the increasing pace of technological development
Explanations of why seemingly unusual and surprising breakthroughs might be just around the corner
Maps to navigate the potential minefields that await us as AI and quantum computing come together
A fascinating and thought-provoking compilation of insights from some of the leading technological voices in the world, Convergence convincingly argues that we should prepare for a world in which very little will remain the same and shows us how to get ready
Note de contenu : Contents
PART I: Policy and Regulatory Impacts
CHAPTER 1: Quantum Inflection Points
CHAPTER 2: Quantum Delegation
CHAPTER 3: The Problem of Machine Actorhood
CHAPTER 4: Data Privacy, Security, and Ethical Governance Under Quantum AI
CHAPTER 5: The Challenge of Quantum Noise
CHAPTER 6: A New Kind of Knowledge Discovery
PART II: Economic Impacts
CHAPTER 7: Quantum Tuesday: How the U.S. Economy Will Fall, and How to Stop It
CHAPTER 8: Quantum-AI Space Communications
CHAPTER 9: Quantum Planet Hacking
CHAPTER 10: Ethics and Quantum AI for Future Public Transit Systems
CHAPTER 11: The Road to a Better Future
PART III: Social Impacts
CHAPTER 12: The Best Numbers Are in Sight. But Understanding?
CHAPTER 13: The Advancement of Intelligence or the End of It?
CHAPTER 14: Quantum of Wisdom
CHAPTER 15: Human Imagination and HAL
CHAPTER 16: A Critical Crossroad
CHAPTER 17: Empathetic AI and Personalization Algorithms
CHAPTER 18: Should We Let the Machine Decide What Is Meaningful?
CHAPTER 19: The Ascent of Quantum Intelligence in Steiner's Age of the Consciousness Soul
CHAPTER 20: Quantum Computing's Beautiful Accidents
Appendix A: What Is Quantum Computing?
Appendix B: What Is Artificial Intelligence?
Glossary
References
Index
Côte titre : Fs/24998 Convergence : Artificial Intelligence and Quantum Computing: Social, Economic, and Policy Impacts [texte imprimé] / Greg Viggiano . - 2023.
ISBN : 978-1-394-17410-2
Catégories : Informatique Résumé :
Prepare for the coming convergence of AI and quantum computing
A collection of essays from 20 renowned, international authors working in industry, academia, and government, Convergence: Artificial Intelligence and Quantum Computing explains the impending convergence of artificial intelligence and quantum computing. A diversity of viewpoints is presented, each offering their view of this coming watershed event.
In the book, you'll discover that we're on the cusp of seeing the stuff of science fiction become reality, with huge implications for ripping up the existing social fabric, global economy, and current geopolitical order. Along with an incisive foreword by Hugo- and Nebula-award winning author David Brin, you'll also find:
Explorations of the increasing pace of technological development
Explanations of why seemingly unusual and surprising breakthroughs might be just around the corner
Maps to navigate the potential minefields that await us as AI and quantum computing come together
A fascinating and thought-provoking compilation of insights from some of the leading technological voices in the world, Convergence convincingly argues that we should prepare for a world in which very little will remain the same and shows us how to get ready
Note de contenu : Contents
PART I: Policy and Regulatory Impacts
CHAPTER 1: Quantum Inflection Points
CHAPTER 2: Quantum Delegation
CHAPTER 3: The Problem of Machine Actorhood
CHAPTER 4: Data Privacy, Security, and Ethical Governance Under Quantum AI
CHAPTER 5: The Challenge of Quantum Noise
CHAPTER 6: A New Kind of Knowledge Discovery
PART II: Economic Impacts
CHAPTER 7: Quantum Tuesday: How the U.S. Economy Will Fall, and How to Stop It
CHAPTER 8: Quantum-AI Space Communications
CHAPTER 9: Quantum Planet Hacking
CHAPTER 10: Ethics and Quantum AI for Future Public Transit Systems
CHAPTER 11: The Road to a Better Future
PART III: Social Impacts
CHAPTER 12: The Best Numbers Are in Sight. But Understanding?
CHAPTER 13: The Advancement of Intelligence or the End of It?
CHAPTER 14: Quantum of Wisdom
CHAPTER 15: Human Imagination and HAL
CHAPTER 16: A Critical Crossroad
CHAPTER 17: Empathetic AI and Personalization Algorithms
CHAPTER 18: Should We Let the Machine Decide What Is Meaningful?
CHAPTER 19: The Ascent of Quantum Intelligence in Steiner's Age of the Consciousness Soul
CHAPTER 20: Quantum Computing's Beautiful Accidents
Appendix A: What Is Quantum Computing?
Appendix B: What Is Artificial Intelligence?
Glossary
References
Index
Côte titre : Fs/24998 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/24998 Fs/24998 Livre Bibliothéque des sciences Anglais Disponible
DisponibleCoreIDRAW 6 et 7 / Kerstin Eisenkolb
Titre : CoreIDRAW 6 et 7 Type de document : texte imprimé Auteurs : Kerstin Eisenkolb ; Helge Weickardt ; SERRI,Laurence, Trad. Editeur : Paris : Micro application Année de publication : 1997 Collection : Pc poche Importance : 1 vol. (574 p.) Présentation : ill. Format : 19 cm ISBN/ISSN/EAN : 978-2-7429-0910-0 Note générale : Index p.563-574 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
CoreIDRAW
LogicielIndex. décimale : 004 - Informatique Côte titre : Fs/8242 CoreIDRAW 6 et 7 [texte imprimé] / Kerstin Eisenkolb ; Helge Weickardt ; SERRI,Laurence, Trad. . - Paris : Micro application, 1997 . - 1 vol. (574 p.) : ill. ; 19 cm. - (Pc poche) .
ISBN : 978-2-7429-0910-0
Index p.563-574
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
CoreIDRAW
LogicielIndex. décimale : 004 - Informatique Côte titre : Fs/8242 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8242 Fs/8242 livre Bibliothéque des sciences Français Disponible
DisponibleCoreIDRAW ! 7:La Toute première fois / Malte Borges
Titre : CoreIDRAW ! 7:La Toute première fois Type de document : texte imprimé Auteurs : Malte Borges ; Eike Elser Editeur : Paris : Simon & schuster macmillan Année de publication : 1997 Importance : 1 vol. (316 p.) Présentation : ill. Format : 19 cm ISBN/ISSN/EAN : 2-7440-326-3 Note générale : Index p.309-316 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
CoreIDRAW
LogicielIndex. décimale : 004 - Informatique Note de contenu :
Sommaire
1- Préface
2- Et si l'on ouvrait le coffret
3- Les fonctions de base
4- Les objets graphiques
5- Du texte
6- Couleurs, surfaces et contours
7- Les effets
8- L'impressionCôte titre : Fs/8243 CoreIDRAW ! 7:La Toute première fois [texte imprimé] / Malte Borges ; Eike Elser . - Paris : Simon & schuster macmillan, 1997 . - 1 vol. (316 p.) : ill. ; 19 cm.
ISSN : 2-7440-326-3
Index p.309-316
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
CoreIDRAW
LogicielIndex. décimale : 004 - Informatique Note de contenu :
Sommaire
1- Préface
2- Et si l'on ouvrait le coffret
3- Les fonctions de base
4- Les objets graphiques
5- Du texte
6- Couleurs, surfaces et contours
7- Les effets
8- L'impressionCôte titre : Fs/8243 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8243 Fs/8243 livre Bibliothéque des sciences Français Disponible
DisponibleCours de basic:Analyse et programmation / D Lautier
Titre : Cours de basic:Analyse et programmation Type de document : texte imprimé Auteurs : D Lautier ; J.P Lerner Editeur : Paris : Masson Année de publication : 1973 Importance : 1 vol. (135 p.) Format : 21 cm ISBN/ISSN/EAN : 978-2-225-64230-2 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Programmation
Langage basic
Simulation par ordinateurIndex. décimale : 004 - Informatique Côte titre : Fs/8244 Cours de basic:Analyse et programmation [texte imprimé] / D Lautier ; J.P Lerner . - Paris : Masson, 1973 . - 1 vol. (135 p.) ; 21 cm.
ISBN : 978-2-225-64230-2
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Programmation
Langage basic
Simulation par ordinateurIndex. décimale : 004 - Informatique Côte titre : Fs/8244 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8244 Fs/8244 livre Bibliothéque des sciences Français Disponible
DisponibleCours et exercices corrigés d'algorithmique / Jacques Julliand
Titre : Cours et exercices corrigés d'algorithmique : Vérifier, tester et concevoir des programmes en les modélisant ; licence et master d'informatique Type de document : texte imprimé Auteurs : Jacques Julliand, Auteur Editeur : Paris : Vuibert Année de publication : 2010 Importance : 1 vol. (264 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-311-00020-7 Note générale : 978-2-311-00020-7 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Algorithmes
Langages de programmation
Programmation système (informatique)
Logique informatique
Logiciels : VérificationIndex. décimale : 005.1 Programmation Résumé :
Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validation (JAVA/ _JML, C#/SPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. À la base des techniques de vérification, la logique de Hoare est au cœur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée a des questions pratiques liées à la mise en oeuvre de la méthode avec des outils - Atelier B et Leirios Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigésNote de contenu :
Sommaire
Modéliser pour vérifier et développer des programmes
Test et vérification de programmes
Vérification de programmes par exécution symbolique
Un langage de programmation générique
La logique des prédicats du premier ordre - le langage de modélisation du premier ordre
La logique de Hoare - le système de vérification
Quelques éléments de stratégie de vérification de programmes
Exemple de découverte d'erreurs à la vérification
Etude de cas - modélisation et vérification d'un programme de calcul de la racine carrée entière par division
Développer des programmes corrects par construction à partir de modèles
Automatisation de la vérification et de la génération de tests à partir de modèles
Modélisation de programmes en B
Modéliser en B pour engendrer des tests boîte noire
Modéliser des programmes en B pour les vérifier
Solutions des exercicesCôte titre : Fs/4633,Fs/13096-13099 Cours et exercices corrigés d'algorithmique : Vérifier, tester et concevoir des programmes en les modélisant ; licence et master d'informatique [texte imprimé] / Jacques Julliand, Auteur . - Paris : Vuibert, 2010 . - 1 vol. (264 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-311-00020-7
978-2-311-00020-7
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique Mots-clés : Algorithmes
Langages de programmation
Programmation système (informatique)
Logique informatique
Logiciels : VérificationIndex. décimale : 005.1 Programmation Résumé :
Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validation (JAVA/ _JML, C#/SPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. À la base des techniques de vérification, la logique de Hoare est au cœur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée a des questions pratiques liées à la mise en oeuvre de la méthode avec des outils - Atelier B et Leirios Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigésNote de contenu :
Sommaire
Modéliser pour vérifier et développer des programmes
Test et vérification de programmes
Vérification de programmes par exécution symbolique
Un langage de programmation générique
La logique des prédicats du premier ordre - le langage de modélisation du premier ordre
La logique de Hoare - le système de vérification
Quelques éléments de stratégie de vérification de programmes
Exemple de découverte d'erreurs à la vérification
Etude de cas - modélisation et vérification d'un programme de calcul de la racine carrée entière par division
Développer des programmes corrects par construction à partir de modèles
Automatisation de la vérification et de la génération de tests à partir de modèles
Modélisation de programmes en B
Modéliser en B pour engendrer des tests boîte noire
Modéliser des programmes en B pour les vérifier
Solutions des exercicesCôte titre : Fs/4633,Fs/13096-13099 Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/13096 Fs/13096-13099 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13097 Fs/13096-13099 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13098 Fs/13096-13099 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13099 Fs/13096-13099 livre Bibliothéque des sciences Français Disponible
DisponibleFs/4633 Fs/4633 livre Bibliothéque des sciences Français Disponible
DisponibleCours et exercices d’informatique / Luc Albert
PermalinkCours de photographie numérique / Rene Bouillot
PermalinkCours réseaux et télécoms / Guy Pujolle
PermalinkCours de traitement numérique de l'image / Rene Bouillot
PermalinkCP-M et sa famille :Guide d'utilisation / Dax Philippe
PermalinkCréer une application de livre interactif pour tablette / Nathalie de Saint-Denis
PermalinkCréer une base de données / N Bendahmane
PermalinkCrées un site web pour les nuls / David Crowder
PermalinkCréez des applications Web avec Java EE / Munier, Médéric
PermalinkCréez un site web avec base de données en PHP & MySQL / Kevin Yank
Permalink