ГПНТБ России - Полное описание

Полное описание

004.032.26-049.8-155459
Applications of neural networks in high assurance systems / ed. J. Schumann, Y. Liu. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Studies in computational intelligence, ISSN 1860-949X ; 268). - URL: http://dx.doi.org/10.1007/978-3-642-10690-3. - ISBN 978-3-642-10690-3.

ГРНТИ	УДК
28.23.37	004.032.26-049.8

Кл.слова (ненормированные): нейронные сети -- применение -- критически важные системы -- функциональная безопасность
Доп. точки доступа:
Schumann, J.\ed.\
SpringerLink (Online service)
Экз-ры полностью 004.032.26-049.8-155459
http://dx.doi.org/10.1007/978-3-642-10690-3

Lawry J. Modelling and reasoning with vague concepts / J. Lawry, 2006 r=on-line.Ligeza A. Logical foundations for rule-based systems / A. Ligeza, 2006 r=on-line.Nedjah N. Genetic systems programming : theory and experiences / N. Nedjah, A. Abraham, L. D. Mourelle, 2006 r=on-line.Sirmakessis S. Adaptive and personalized semantic web / S. Sirmakessis, 2006 r=on-line.Chen L.Z. Modelling and optimization of biotechnological processes : artificial intelligence approaches / L. Z. Chen, X. D. Chen, S. K. Nguang, 2006 r=on-line.Huang T. Kernel based algorithms for mining huge data sets : supervised, semi-supervised, and unsupervised learning / T. Huang, V. Kecman, I. Kopriva, 2006 r=on-line.Ahn C.W. Advances in evolutionary algorithms : theory, design and practice / C. W. Ahn, 2006 r=on-line.Ferreira C. Gene expression programming : mathematical modeling by an artificial intelligence / C. Ferreira, 2006 r=on-line.Nedjah N. Parallel evolutionary computations / N. Nedjah, E. Alba, L. de Mourelle, 2006 r=on-line.Penczek W. Advances in verification of time petri nets and timed automata : a temporal logic approach / W. Penczek, A. Polrola, 2006 r=on-line.Hirose A. Complex-valued neural networks / A. Hirose, 2006 r=on-line.Bhattacharya A. Parallel and distributed logic programming : towards the design of a framework for the next generation database machines / A. Bhattacharya, A. Konar, A. K. Mandal, 2006 r=on-line.Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line.Nedjah N. Swarm intelligent systems / N. Nedjah, L. de Mourelle, 2006 r=on-line.Advances in web intelligence and data mining / ed. M. Last [et al.], 2006 r=on-line.Sumathi S. Introduction to data mining and its applications / S. Sumathi, S. N. Sivanandam, 2006 r=on-line.Ohsawa Y. Chance discoveries in real world decision making : data-based interaction of human intelligence and artificial intelligence / Y. Ohsawa, S. Tsumoto, 2006 r=on-line.Abraham A. Stigmergic optimization / A. Abraham, C. Grosan, V. Ramos, 2006 r=on-line.Scalable optimization via probabilistic modeling : from algorithms to applications / ed. M. Pelikan [et al.], 2006 r=on-line.Swarm intelligence in data mining / ed. A. Abraham [et al.], 2006 r=on-line.

Показать все результаты

Verification of object-oriented software. The KeY approach : foreword by K. Rustan M. Leino / ed. B. Beckert [et al.], 2006 r=on-line.Medical image computing and computer-assisted intervention вђ“ MICCAI 2007 : 10th International conference, Brisbane, Australia, October 29 - November 2, 2007: proceedings, part 2 / ed. N. Ayache [et al.], 2007 r=on-line.Mobile response : first International workshop on mobile information technology for emergency response, mobile response 2007, Sankt Augustin, Germany, February 22-23, 2007: revised selected papers / SpringerLink (Online service), 2008 r=on-line.Computational science - ICCS 2008 : 8th International conference, KrakГіw, Poland, June 23-25, 2008: proceedings, part 2 / ed. M. Bubak [et al.], 2008 r=on-line.Computational science - ICCS 2008 : 8th International conference, KrakГіw, Poland, June 23-25, 2008: proceedings, part 3 / ed. M. Bubak [et al.], 2008 r=on-line.Computational science and its applications - ICCSA 2008 : international conference, Perugia, Italy, June 30вЂ“ July 3, 2008: proceedings, part 2 / ed. O. Gervasi [et al.], 2008 r=on-line.On the move to meaningful internet systems: OTM 2008 : OTM 2008 confederated International conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008: proceedings, part 2 / ed.: R. Meersman, Z. Tari, 2008 r=on-line.Image and video encryption : from digital rights management to secured personal communication / SpringerLink (Online service), 2005 r=on-line.Worzel B. Genetic programming theory and practice vi / B. Worzel, R. Riolo, T. Soule, 2009 r=on-line.Gerdjikov V. Integrable hamiltonian hierarchies : spectral and geometric methods / V. S. Gerdikov [et al.], 2008 r=on-line Knowledge-based intelligent information and engineering systems : 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005: proceedings. Part 3 / ed. R. Khosla [et al.], 2005 r=on-line.Service availability : second international service availability symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005: revised selected papers / ed. M. Malek [et al.], 2005 r=on-line. - Текст : электронный.Information retrieval technology : second asia information retrieval symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005: proceedings / ed. G. Lee [et al.], 2005 r=on-line.Programming languages and systems : third asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005: proceedings / ed. K. Yi, 2005 r=on-line.ECOOP'87 - European conference on object-oriented programming : Paris, France, June 15-17, 1987 : proceedings / ed. J. BГ©zivin [et al.], 2006 r=on-line Advances in multimedia modeling : 13th international multimedia modeling conference, MMM 2007, Singapore, January 9-12, 2007 : proceedings : part 2 / eds. T. Cham [et al.], 2006 r=on-line.Complex motion : first international workshop, IWCM 2004, GГјnzburg, Germany, October 12-14, 2004 : revised papers / eds. B. Jahne [et al.], 2007 r=on-line.Adaptive and natural computing algorithms : 8th international conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007 : proceedings : part 2 / ed. B. Beliczynski [et al.], 2007 r=on-line.Public key cryptography вђ“ pkc 2007 : 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings / ed. T. Okamoto, 2007 r=on-line.Computational science - ICCS 2007 : 7th international conference, Beijing, China, May 27 - 30, 2007 : proceedings : part 2 / ed. Y. Shi [et al.], 2007 r=on-line.

Показать все результаты

Показать все результаты

Показать все результаты

Просмотр издания

Полное описание

Заглавие423

Коллектив/Мероприятие6119

Тематический рубрикатор (ГРНТИ)3827

УДК/ББК558