Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II / / edited by Oliver Schütze, Carlos A. Coello Coello, Alexandru-Adrian Tantar, Emilia Tantar, Pascal Bouvry, Pierre Del Moral, Pierrick Legrand
| EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II / / edited by Oliver Schütze, Carlos A. Coello Coello, Alexandru-Adrian Tantar, Emilia Tantar, Pascal Bouvry, Pierre Del Moral, Pierrick Legrand |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (503 p.) |
| Disciplina |
006.30151
519.02/462 |
| Altri autori (Persone) | SchutzeOliver |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Statistics Neural networks (Computer science) Operations research Computational Intelligence Artificial Intelligence Statistics in Engineering, Physics, Computer Science, Chemistry and Earth Sciences Mathematical Models of Cognitive Processes and Neural Networks Operations Research and Decision Theory |
| ISBN |
9786613943835
9781283631389 1283631385 9783642315190 3642315194 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Cell Mapping and Quasi-stationary Distributions -- Part II Genetic Programming -- Part III EvolutionaryMulti-objective Optimization -- Part IV Combinatorial Optimization -- Part V ProbabilisticModeling and Optimization for Emerging Networks -- Part VI Hybrid Probabilistic Models for Real Parameter Optimization and their Applications -- Part VII Evolutionary Computation for Vision, Graphics, and Robotics -- Part VIII Real-world Application of Bio-inspired Metaheuristics. |
| Record Nr. | UNINA-9910438049503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings / / edited by Kevin Buzzard, Temur Kutsia
| Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings / / edited by Kevin Buzzard, Temur Kutsia |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (355 pages) |
| Disciplina |
006.3
006.30151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computational intelligence
Computational Intelligence |
| ISBN |
9783031166815
3031166817 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Formalizations -- Digital Libraries and Mathematical Knowledge Management -- Theorem Proving and Expression Transformation -- Satisfiability, QBF, and SMT Solving -- Computer-Aided Teaching -- Datasets and system entries. |
| Record Nr. | UNINA-9910595044003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / / edited by Christoph Benzmüller, Bruce Miller
| Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / / edited by Christoph Benzmüller, Bruce Miller |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 337 p. 445 illus., 54 illus. in color.) |
| Disciplina |
004.0151
006.30151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Computer networks Application software Software engineering Computers Artificial Intelligence Theory of Computation Computer Communication Networks Computer and Information Systems Applications Software Engineering Computing Milieux |
| ISBN | 3-030-53518-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks. |
| Record Nr. | UNINA-9910413439303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computer Mathematics [[electronic resource] ] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
| Intelligent Computer Mathematics [[electronic resource] ] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 287 p. 102 illus.) |
| Disciplina | 006.30151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Programming languages (Electronic computers) Application software Education—Data processing Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Programming Languages, Compilers, Interpreters Computer Appl. in Social and Behavioral Sciences Computers and Education |
| ISBN | 3-319-96812-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Calculemus -- Digital Mathematical Libraries -- Mathematical Knowledge Management. |
| Record Nr. | UNISA-996466278303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
| Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 287 p. 102 illus.) |
| Disciplina | 006.30151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Machine theory Computer programming Compilers (Computer programs) Social sciences - Data processing Education - Data processing Artificial Intelligence Formal Languages and Automata Theory Programming Techniques Compilers and Interpreters Computer Application in Social and Behavioral Sciences Computers and Education |
| ISBN |
9783319968124
3319968122 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Calculemus -- Digital Mathematical Libraries -- Mathematical Knowledge Management. |
| Record Nr. | UNINA-9910349416303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computer Mathematics [[electronic resource] ] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
| Intelligent Computer Mathematics [[electronic resource] ] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXI, 359 p. 84 illus.) |
| Disciplina | 006.30151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Math Applications in Computer Science Artificial Intelligence Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-319-20615-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data. |
| Record Nr. | UNISA-996198514103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
| Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXI, 359 p. 84 illus.) |
| Disciplina | 006.30151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science - Mathematics
Artificial intelligence Machine theory Natural language processing (Computer science) Information storage and retrieval systems Mathematical Applications in Computer Science Artificial Intelligence Symbolic and Algebraic Manipulation Formal Languages and Automata Theory Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-319-20615-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data. |
| Record Nr. | UNINA-9910484373003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida / Frederick Hoffman, editor
| Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida / Frederick Hoffman, editor |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c1998 |
| Descrizione fisica | xi, 275 p. : ill. ; 27 cm |
| Disciplina | 006.30151 |
| Altri autori (Persone) | Hoffman, Frederickauthor |
| Altri autori (Enti) | American Mathematical Society |
| Collana | Proceedings of symposia in applied mathematics, 0160-7634 ; 55. AMS short course lecture notes |
| Soggetto topico | Artificial intelligence - Mathematics - Congresses |
| ISBN | 0821806114 |
| Classificazione |
AMS 68-XX
LC Q335.M33756 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000764739707536 |
| Providence, R. I. : American Mathematical Society, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||