Documents disponibles dans la collection

Advances in neural networks / Derong Liu

Public ISBD Titre : Advances in neural networks : 4th International symposium on neutral networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part I Type de document : document électronique Auteurs : Derong Liu, Editeur scientifique ; Shumin Fei, Editeur scientifique ; Zeng-Guang Hou, Editeur scientifique Editeur : Berlin : Springer Année de publication : 2007 Collection : Lecture notes in computer science ISBN/ISSN/EAN : 978-3-540-72382-0 Langues : Anglais (eng) Mots-clés : Réseaux  neuronaux  (informatique)  --  Congrès Ordinateurs  neuronaux  --  Congrès Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : This book is part of a three volume set that constitutes the refereed proceedings of the 4th International Symposium on Neural Networks, ISNN 2007, held in Nanjing, China in June 2007. The 262 revised long papers and 192 revised short papers presented were carefully reviewed and selected from a total of 1,975 submissions. The papers are organized in topical sections on neural fuzzy control, neural networks for control applications, adaptive dynamic programming and reinforcement learning, neural networks for nonlinear systems modeling, robotics, stability analysis of neural networks, learning and approximation, data mining and feature extraction, chaos and synchronization, neural fuzzy systems, training and learning algorithms for neural networks, neural network structures, neural networks for pattern recognition, SOMs, ICA/PCA, biomedical applications, feedforward neural networks, recurrent neural networks, neural networks for optimization, support vector machines, fault diagnosis/detection, communications and signal processing, image/video processing, and applications of neural networks. Advances in neural networks : 4th International symposium on neutral networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part I [document électronique] / Derong Liu, Editeur scientifique ; Shumin Fei, Editeur scientifique ; Zeng-Guang Hou, Editeur scientifique . - Springer, 2007. - (Lecture notes in computer science) . ISBN : 978-3-540-72382-0 Langues : Anglais (eng) Mots-clés : Réseaux  neuronaux  (informatique)  --  Congrès Ordinateurs  neuronaux  --  Congrès Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : This book is part of a three volume set that constitutes the refereed proceedings of the 4th International Symposium on Neural Networks, ISNN 2007, held in Nanjing, China in June 2007. The 262 revised long papers and 192 revised short papers presented were carefully reviewed and selected from a total of 1,975 submissions. The papers are organized in topical sections on neural fuzzy control, neural networks for control applications, adaptive dynamic programming and reinforcement learning, neural networks for nonlinear systems modeling, robotics, stability analysis of neural networks, learning and approximation, data mining and feature extraction, chaos and synchronization, neural fuzzy systems, training and learning algorithms for neural networks, neural network structures, neural networks for pattern recognition, SOMs, ICA/PCA, biomedical applications, feedforward neural networks, recurrent neural networks, neural networks for optimization, support vector machines, fault diagnosis/detection, communications and signal processing, image/video processing, and applications of neural networks.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
E00020	681.3 ADV	Ressources électroniques	Bibliothèque Centrale	Informatique	Disponible
E00019	681.3 ADV	Ressources électroniques	Bibliothèque Centrale	Informatique	Disponible

Algebraic and coalgebraic methods in the mathematics of program construction. / Roland Backhouse ; Roy Crole

Public ISBD Titre : Algebraic and coalgebraic methods in the mathematics of program construction. Type de document : texte imprimé Auteurs : Roland Backhouse, Auteur ; Roy Crole, Auteur ; Jeremy Gibbons, Editeur scientifique Editeur : Berlin : Springer Année de publication : 2002 Collection : Lecture notes in computer science Importance : VIII-XIV- 385 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-3-540-43613-3 Note générale : Bibliogr. chaque chapitre . Index Langues : Français (fre) Mots-clés : Programmation  --  Mathematique  --  Algebre Algebras  --  Coalgebras Algebras  --  Coalgebraic  specification Index. décimale : 681.3.066 Systemes opérationnels.Programme:moniteurs.superviseur. Résumé : Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory.This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra. Note de contenu : Sommaire: 1. Introduction 2. Ordered sets and complete lattices 2. Algebras and coalgebras 3. Galois connections and fixed point calculus 4. Calculating functiional programs 5. Alebra of program termination 6. Exercices in coalgebraic specification 7. Algebraic methods for optimization problems 8. Temporal algebra Algebraic and coalgebraic methods in the mathematics of program construction. [texte imprimé] / Roland Backhouse, Auteur ; Roy Crole, Auteur ; Jeremy Gibbons, Editeur scientifique . - Springer, 2002 . - VIII-XIV- 385 p. : ill. ; 24 cm. - (Lecture notes in computer science) . ISBN : 978-3-540-43613-3 Bibliogr. chaque chapitre . Index Langues : Français (fre) Mots-clés : Programmation  --  Mathematique  --  Algebre Algebras  --  Coalgebras Algebras  --  Coalgebraic  specification Index. décimale : 681.3.066 Systemes opérationnels.Programme:moniteurs.superviseur. Résumé : Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory.This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra. Note de contenu : Sommaire: 1. Introduction 2. Ordered sets and complete lattices 2. Algebras and coalgebras 3. Galois connections and fixed point calculus 4. Calculating functiional programs 5. Alebra of program termination 6. Exercices in coalgebraic specification 7. Algebraic methods for optimization problems 8. Temporal algebra

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
048068	681.3.066 BAC	Papier	Bibliothèque Centrale	Informatique	Disponible

Th formation of hydrocarbon deposits in the north African Basins / Monzer Makhous

Public ISBD Titre : Th formation of hydrocarbon deposits in the north African Basins : geological and geochemical conditions Type de document : texte imprimé Auteurs : Monzer Makhous, Auteur Editeur : Berlin : Springer Année de publication : 2001 Collection : Lecture notes in computer science num. 89 Importance : 329p. ISBN/ISSN/EAN : 03-540-66369-X Langues : Français (fre) Mots-clés : Hydrocarbon Index. décimale : 553.98 Hydrocarbures. Présence de pétrole et de gaz. Th formation of hydrocarbon deposits in the north African Basins : geological and geochemical conditions [texte imprimé] / Monzer Makhous, Auteur . - Springer, 2001 . - 329p.. - (Lecture notes in computer science; 89) . ISSN : 03-540-66369-X Langues : Français (fre) Mots-clés : Hydrocarbon Index. décimale : 553.98 Hydrocarbures. Présence de pétrole et de gaz.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
047455	553.98 MAK	Papier	Bibliothèque Centrale	Hydraulique	Disponible

Advances in intelligent computing / Huang, De-Shuang

Public ISBD Titre : Advances in intelligent computing : international conference on intelligent computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings. Par Type de document : document électronique Auteurs : Huang, De-Shuang, Auteur ; Huang, Guang-Bin, Auteur Editeur : Berlin : Springer Année de publication : 2005 Collection : Lecture notes in computer science ISBN/ISSN/EAN : 978-3-540-31907-8 Langues : Anglais (eng) Mots-clés : Artificial  intelligence  Computer  science  Computer  vision Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Intelligent Computing, ICIC 2005, held in Hefei, China, in August 2005. The program committee selected 215 carefully revised full papers for presentation in two volumes from over 2000 submissions, based on rigorous peer reviews. The first volume includes all the contributions related with perceptual and pattern recognition, informatics theories and applications computational neuroscience and bioscience, models and methods, and learning systems. The second volume collects the papers related with genomics and proteomics, adaptation and decision making, applications and hardware, and other applications. Advances in intelligent computing : international conference on intelligent computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings. Par [document électronique] / Huang, De-Shuang, Auteur ; Huang, Guang-Bin, Auteur . - Springer, 2005. - (Lecture notes in computer science) . ISBN : 978-3-540-31907-8 Langues : Anglais (eng) Mots-clés : Artificial  intelligence  Computer  science  Computer  vision Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique Résumé : Intelligent Computing, ICIC 2005, held in Hefei, China, in August 2005. The program committee selected 215 carefully revised full papers for presentation in two volumes from over 2000 submissions, based on rigorous peer reviews. The first volume includes all the contributions related with perceptual and pattern recognition, informatics theories and applications computational neuroscience and bioscience, models and methods, and learning systems. The second volume collects the papers related with genomics and proteomics, adaptation and decision making, applications and hardware, and other applications.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
E00026	681.3 HUA	Ressources électroniques	Bibliothèque Centrale	Informatique	Disponible
E00025	681.3 HUA	Ressources électroniques	Bibliothèque Centrale	Informatique	Disponible

Advanced intelligent computing theories and applications. with aspects of theoretical and methodological issues / Huang, De-Shuang

Public ISBD Titre : Advanced intelligent computing theories and applications. with aspects of theoretical and methodological issues : third international conference on intelligent computing, ICIC 2007 Qingdao, China, August 21-24, 2007 proceedings Type de document : document électronique Auteurs : Huang, De-Shuang, Auteur ; Heutte, Laurent, Auteur ; Loog, Marco, Auteur Editeur : Berlin : Springer Année de publication : 2007 Collection : Lecture notes in computer science ISBN/ISSN/EAN : 978-3-540-74170-1 Langues : Anglais (eng) Mots-clés : DNA  computing  -  Web-learning  -  algorithmics  -  artificial  neural  networks  -  bayesian  networks  -  bio-inspired  computing  -  clustering  -  data  analysis  -  evolutionary  algorithms  -  face  recognition  -  feature  selection  -  fuzzy  neural  networks  -  genetic  algorithms  -  gesture  recognition  -  graph  matching  -  information  hiding  -  intelligent  agents  -  machine  learning  -  multi-agent  systems  -  neural  networks  -  neural  optimization  -  neuronal  modeling  -  particle  swarm  optimization  -  pattern  recognition  -  performance  analysis  -  probabilistic  reasoning  -  risk  management  -  security  methods  -  steganalysis  -  supply  chain  management  -  support  vector  machines  -  system  modeling Résumé : This volume, in conjunction with the two volumes CICS 0002 and LNAI 4682, constitutes the refereed proceedings of the Third International Conference on Intelligent Computing held in Qingdao, China, in August 2007. The conference attracted leading experts in intelligent computing from around the world. The 139 full papers published here were carefully reviewed and selected from among 2,875 submissions. These papers offer important findings and insights into the field of intelligent computing. Contributions are organized into topical sections covering biological and quantum computing, intelligent financial engineering, intelligent agent and web applications, intelligent sensor networks, intelligent control and automation, intelligent data fusion and security, natural language processing and expert systems, intelligent image/document retrievals, intelligent computing in bioinformatics, intelligent computing in signal processing, intelligent computing in pattern recognition, and intelligent computing in communication Note de contenu : Front matter A Surface-Based DNA Computing for the Positive Integer Linear Programming Problem Evolutionary Model for Sequence Generation Quantum Error-Correction Codes Based on Multilevel Constructions of Hadamard Matrices Advanced intelligent computing theories and applications. with aspects of theoretical and methodological issues : third international conference on intelligent computing, ICIC 2007 Qingdao, China, August 21-24, 2007 proceedings [document électronique] / Huang, De-Shuang, Auteur ; Heutte, Laurent, Auteur ; Loog, Marco, Auteur . - Springer, 2007. - (Lecture notes in computer science) . ISBN : 978-3-540-74170-1 Langues : Anglais (eng) Mots-clés : DNA  computing  -  Web-learning  -  algorithmics  -  artificial  neural  networks  -  bayesian  networks  -  bio-inspired  computing  -  clustering  -  data  analysis  -  evolutionary  algorithms  -  face  recognition  -  feature  selection  -  fuzzy  neural  networks  -  genetic  algorithms  -  gesture  recognition  -  graph  matching  -  information  hiding  -  intelligent  agents  -  machine  learning  -  multi-agent  systems  -  neural  networks  -  neural  optimization  -  neuronal  modeling  -  particle  swarm  optimization  -  pattern  recognition  -  performance  analysis  -  probabilistic  reasoning  -  risk  management  -  security  methods  -  steganalysis  -  supply  chain  management  -  support  vector  machines  -  system  modeling Résumé : This volume, in conjunction with the two volumes CICS 0002 and LNAI 4682, constitutes the refereed proceedings of the Third International Conference on Intelligent Computing held in Qingdao, China, in August 2007. The conference attracted leading experts in intelligent computing from around the world. The 139 full papers published here were carefully reviewed and selected from among 2,875 submissions. These papers offer important findings and insights into the field of intelligent computing. Contributions are organized into topical sections covering biological and quantum computing, intelligent financial engineering, intelligent agent and web applications, intelligent sensor networks, intelligent control and automation, intelligent data fusion and security, natural language processing and expert systems, intelligent image/document retrievals, intelligent computing in bioinformatics, intelligent computing in signal processing, intelligent computing in pattern recognition, and intelligent computing in communication Note de contenu : Front matter A Surface-Based DNA Computing for the Positive Integer Linear Programming Problem Evolutionary Model for Sequence Generation Quantum Error-Correction Codes Based on Multilevel Constructions of Hadamard Matrices

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
E00232	651.51 HUA	Ressources électroniques	Bibliothèque Centrale	Automatique	Disponible
E00231	681.51 HUA	Ressources électroniques	Bibliothèque Centrale	Automatique	Disponible