IMIST


Affiner votre recherche

Votre recherche a retourné 2967 résultats.

Robot brains : circuits and systems for conscious machines par Haikonen, Pentti O. Publication : [S.l.] Wiley-Interscience 2007 . 224 p. , Haikonen envisions autonomous robots that perceive and understand the world directly, acting in it in a natural human-like way without the need of programs and numerical representation of information. By developing higher-level cognitive functions through the power of artificial associative neuron architectures, the author approaches the issues of machine consciousness. Robot Brains expertly outlines a complete system approach to cognitive machines, offering practical design guidelines for the creation of non-numeric autonomous creative machines. It details topics such as component parts and realization principles, so that different pieces may be implemented in hardware or software. Real-world examples for designers and researchers are provided, including circuit and systems examples that few books on this topic give. In novel technical and practical detail, this book also considers: the limitations and remedies of traditional neural associators in creating true machine cognition; basic circuit assemblies cognitive neural architectures; how motors can be interfaced with the associative neural system in order for fluent motion to be achieved without numeric computations; memorization, imagination, planning and reasoning in the machine; the concept of machine emotions for motivation and value systems; an approach towards the use and understanding of natural language in robots. The methods presented in this book have important implications for computer vision, signal processing, speech recognition and other information technology fields. Systematic and thoroughly logical, it will appeal to practising engineers involved in the development and design of robots and cognitive machines, also researchers in Artificial Intelligence. Postgraduate students in computational neuroscience and robotics, and neuromorphic engineers will find it an exciting source of information. 25 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Scientific computation par Gonnet, G. H. Publication : Cambridge, UK | New York Cambridge University Press 2009 . xii, 236 pages 26 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (2),

Selected works of wen-tsun wu par Wu, Wen-Tsun. Publication : [S.l.] World Scientific Publishing Company 2008 . 476 p. , This important book presents all the major works of Professor Wen-Tsun Wu, a widely respected Chinese mathematician who has made great contributions in the fields of topology and computer mathematics throughout his research career. The book covers Wu s papers from 1948 to 2005 and provides a comprehensive overview of his major achievements in algebraic topology, computer mathematics, and history of ancient Chinese mathematics. In algebraic topology, he discovered Wu classes and Wu formulas for Stiefel Whitney classes of sphere bundles or differential manifolds, established an imbedding theory with an application to the layout problem of integrated circuits, and introduced the I*-functors which turned the rational homotopy theory created by D Sullivan into algorithmic form. In computer mathematics, he discovered Wu s method of mechanical theorem proving by means of computers, which has been applied to prove and even discover on the computers hundreds of non-trivial theorems in various kinds of elementary and differential geometries. He also discovered a new effective method of polynomial equations solving, which has been used to solve problems raised from the fields of robotics and mechanisms, CAGD, computer vision, theoretic physics, celestial mechanics, and chemical equilibrium computation. Contents: On the Product of Sphere Bundles and the Duality Theorem Modulo Two; On Universal Invariant Forms; The Out-In Complementary Principle; On Chern Numbers of Algebraic Varieties with Arbitrary Singularities; On the Foundation of Algebraic Differential Geometry; On a Finiteness Theorem About Optimization Problems; On Surface-Fitting Problem in CAGD; and other papers. 24 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Soft Computing Applications / par Bonarini, Andrea. Publication : Heidelberg : Physica-Verlag HD : | Imprint : | Physica, 2003 . 1 online resource (viii, 229 pages). Date : 2003 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Steps in Scala an introduction to object-functional programming par Loverdos, Christos K. K. Publication : Cambridge | New York Cambridge University Press 2010 . xvii, 485 pages , "Scala is a highly expressive, concise and scalable language. It is also the most prominent method of the new and exciting methodology known as object-functional programming. In this book, the authors show how Scala grows to the needs of the programmer, whether professional or hobbyist. They teach Scala with a step-by-step approach and explain how to exploit the full power of the industry-proven JVM technology. Readers can then dive into specially chosen design challenges and implementation problems, inspired by the trials of real-world software engineering. It also helps readers to embrace the power of static typing and automatic type inference. In addition, the book shows how to use the dual-object and functional-oriented natures combined at Scala's core, and so write code that is less 'boilerplate', giving a genuine increase in productivity"-- 26 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Stochastic relations foundations for markov transition systems par Doberkat,, Ernst-Erich. Publication : [S.l.] Chapman and Hall/CRC 2007 . 376 p. , Collecting information previously scattered throughout the vast literature, including the author’s own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, the book examines the central topics of congruences and morphisms, applies these to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. The author views developments from the general theory of coalgebras in the context of the subprobability functor. These tools show that bisimilarity and behavioral and logical equivalence are the same for general modal logics and for continuous time stochastic logic with and without a fixed point operator. With numerous problems and several case studies, this book is an invaluable study of an important aspect of computer science theory. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Strategic software engineering : an interdisciplinary approach / par P,, Deek Fadi. Publication : [S.l.] : Auerbach Publishers Inc., 2005 . 333 p. ; , ReliØ. 24 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Swarm intelligence : introduction and applications.   Publication : [S.l.] : Springer, 2008 . 286 p. ; , The laws that govern the collective behavior of social insects, flocks of birds, or fish schools continue to mesmerize researchers. While individuals are rather unsophisticated, in cooperation they can solve complex tasks, a prime example being the ability of ant colonies to find shortest paths between their nests and food sources. Task-solving results from self-organization, which often evolves from simple means of communication, either directly or indirectly via changing the environment, the latter referred to as stigmergy. Scientists have applied these principles in new approaches, for example to optimization and the control of robots. Characteristics of the resulting systems include robustness and flexibility. This field of research is now referred to as swarm intelligence. The contributing authors are among the top researchers in their domain. The book is intended to provide an overview of swarm intelligence to novices, and to offer researchers in the field an update on interesting recent developments. Introductory chapters deal with the biological foundations, optimization, swarm robotics, and applications in new-generation telecommunication networks, while the second part contains chapters on more specific topics of swarm intelligence research such as the evolution of robot behavior, the use of particle swarms for dynamic optimization, and organic computing. 25 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),
Understanding intrusion detection through visualization / par Axelsson, Stefan. Publication : [S.l.] : Springer, 2005 . 145 p. ; , With the ever increasing use of computers for critical systems, computer security that protects data and computer systems from intentional, malicious intervention, continues to attract attention. Among the methods for defense, the application of a tool to help the operator identify ongoing or already perpetrated attacks (intrusion detection), has been the subject of considerable research in the past ten years. A key problem with current intrusion detection systems is the high number of false alarms they produce. Understanding Intrusion Detection through Visualization presents researchïɪħon why false alarms are, and will remain a problem; then appliesïɪħresults from the field of information visualization to the problem of intrusion detection. This approach promises to enable the operator to identify false (and true) alarms, while aiding the operator to identify other operational characteristics of intrusion detection systems. Thisïɪħvolume presents four different visualization approaches, mainly applied to data from web server access logs. 24 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

VEE Pro : practical graphical programming / par Angus,, Robert B. Publication : London : Springer, 2005 . 1 v. (various pagings) : , "With 294 figures." | "springeronline.com"--P. [4] of cover. 24 cm. + Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Vision with direction : a systematic introduction to image processing and computer vision par Bigun, Josef. Publication : [S.l.] Springer 2010 . 396 p. , This introductory textbook presents the modern signal processing concepts used in computer vision and image analysis in a systematic and mathematically coherent way. For the first time in a textbook on image processing, single direction, group direction, corners and edges, Hough transform, and motion estimation are developed in a principled way using direction tensors as the unifying concept. The topics presented include Hilbert spaces, the Fourier transform, scale analysis, direction fields, structure tensors, motion tensors, the Hough transform, grouping, and segmentation. Directional signal processing, an increasingly crucial element of computer vision for which neural circuits exist in human vision, is dealt with in depth by use of tensors. All chapters are richly illustrated, with color graphics from cover to cover; applications are studied in various fields, including biometric person authentication, texture analysis, optical character recognition, and motion estimation and tracking; and exercises help the sudent verify progress. Developed out of courses given by the author, this introductory textbook addresses advanced undergarduates as well as master and PhD students in computer science, engineering, mathematics, and in other disciplines where techniques from computer vision, image processing, visual computation and signal analysis are applied. 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Visual analysis of behaviour : from pixels to semantics par Gong, Shaogang. Publication : [S.l.] Springer 2011 . 356 p. , This book presents a comprehensive treatment of visual analysis of behaviour from computational-modelling and algorithm-design perspectives. Topics: covers learning-group activity models, unsupervised behaviour profiling, hierarchical behaviour discovery, learning behavioural context, modelling rare behaviours, and “man-in-the-loop” active learning; examines multi-camera behaviour correlation, person re-identification, and “connecting-the-dots” for abnormal behaviour detection; discusses Bayesian information criterion, Bayesian networks, “bag-of-words” representation, canonical correlation analysis, dynamic Bayesian networks, Gaussian mixtures, and Gibbs sampling; investigates hidden conditional random fields, hidden Markov models, human silhouette shapes, latent Dirichlet allocation, local binary patterns, locality preserving projection, and Markov processes; explores probabilistic graphical models, probabilistic topic models, space-time interest points, spectral clustering, and support vector machines. 24 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Visual languages and applications par Zhang,, Kang. Publication : [S.l.] Springer 2010 . 246 p. , Visual languages have long been a pursuit of effective communication between human and machine. With rapid advances of the Internet and Web technology, human-human communication through the Web or electronic mobile devices is becoming more and more prevalent. Visual Languages and Applications is a comprehensive introduction to diagrammatical visual languages. This book discusses what visual programming languages are, and how such languages and their underlying foundations can be usefully applied to other fields in computer science. It also covers a broad range of contents from the underlying theory of graph grammars to the applications in various domains. Pointers to related topics and further readings are provided as well. Visual Languages and Applications is designed as a secondary text book for advanced-level students in computer science and engineering. This volume is also suitable for practitioners and researchers in industry as a professional book. 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Voice and speech quality perception : assessment and evaluation par Jekosch, Ute. Publication : [S.l.] Springer 2010 . 224 p. , Foundations of Voice and Speech Quality Perception starts out with the fundamental question of: "How do listeners perceive voice and speech quality and how can these processes be modeled?" Any quantitative answers require measurements. This is natural for physical quantities but harder to imagine for perceptual measurands. This book approaches the problem by actually identifying major perceptual dimensions of voice and speech quality perception, defining units wherever possible and offering paradigms to position these dimensions into a structural skeleton of perceptual speech and voice quality. The emphasis is placed on voice and speech quality assessment of systems in artificial scenarios. Many scientific fields are involved. This book bridges the gap between two quite diverse fields, engineering and humanities, and establishes the new research area of Voice and Speech Quality Perception. 23 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Vous ne trouvez pas ce que vous cherchez ?
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha