IMIST


Affiner votre recherche

Votre recherche a retourné 1302 résultats.

The oxford handbook of membrane computing par Paun, Gheorghe. Publication : [S.l.] Oxford University Press, USA 2010 . 696 p. , Part of the broader research field of natural computing, Membrane Computing is an area within computing science that aims to abstract computing ideas and models from the structure and functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It studies models of computation (known as P systems) inspired by the biochemistry of cells, in particular by the role of membranes in the compartmentalization of living cells into "protected reactors". This handbook provides both a comprehensive survey of available knowledge and established research topics, and a guide to recent developments in the field, covering the subject from theory to applications. The handbook is suitable both for introducing novices to this area of research, and as a main source of reference for active researchers. It sets out the necessary biological and formal background, with the introductory chapter serving as a gentle introduction to and overview of membrane computing. Individual chapters, written by leading researchers in membrane computing, present the state of the art of all main research trends and include extensive bibliographies. 25 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Theories of programming languages par Reynolds, John C. Publication : Cambridge | New York Cambridge University Press 1998 . xii, 500 pages , Digitally printed version. Originally published: 1998. 25 cm. Date : 1998 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Transitions and trees an introduction to structural operational semantics par Hüttel, Hans. Publication : Cambridge | New York Cambridge University Press 2010 . xvii, 272 pages 25 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Tutorials in mathematical biosciences I : mathematical neuroscience / par Borisyuk, Alla. Publication : [S.l.] : Springer, 2005 . 170 p. ; , This volume introduces some basic theories on computational neuroscience. Chapter 1 is a brief introduction to neurons, tailored to the subsequent chapters. Chapter 2 is a self-contained introduction to dynamical systems and the bifurcation theory, oriented toward neuronal dynamics. The theory is illustrated with a model of Parkinson's disease. Chapter 3 reviews the theory of coupled neural oscillators observed ghroughout the nervous systems at all levels; it describes how oscillations arise, what pattern they take, and how they depend on excitory of inhibitory synaptic connections. Chapter 4 specializes to one particular neuronal system, namely, the auditory system. It includes a self-contained introduction, from the anatomy and physiology of the inner ear to the neuronal network which connects the hair cells to the cortex, and describes various models of subsystems. 24 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Types and programming languages par Pierce,, Benjamin C. Publication : [S.l.] The MIT Press 2002 . 645 p. , A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages. 24 cm. Date : 2002 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),

Video traces for network performance evaluation : a comprehensive overview and guide on video traces and their utilization in networking research / par Seeling, Patrick. Publication : [S.l.] : Springer, 2006 . 274 p. ; , Multimedia networking, especially the delivery video over the Internet, accounts for a large fraction of todayЀ™s and future computer networks. Working with actual video provides several challenges on different technical and social levels. Video traces - a representation of video data and video quality in textual format - present a different approach to facilitate studies with video traffic. Video Traces for Network Performance Evaluation provides a comprehensive introduction to video traces and their use in networking research. After first providing the basics of digital video and video coding, video traces are introduced, covering the metrics captured in the traces, the trace generation, as well as the statistical characteristics of the video characterized in the traces. Attention is then turned to the use of the video traces in networking research, examining the practical aspects of transporting video over Internet Protocol (IP) networks and the simulation of video transport using traces, including the simulations that incorporate the impact of transmission errors using offset distortion traces. Software tools and utilities that facilitate the use of video traces in network simulations and other video networking related software tools are also presented. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Wireless sensor networks.   Publication : [S.l.] : Springer, 2006 . 442 p. ; , Wireless Sensor Networks presents a comprehensive and tightly organized compilation of chapters that surveys many of the exciting research developments taking place in this field. Chapters are written by several of the leading researchers exclusively for this book. Authors address many of the key challenges faced in the design, analysis and deployment of wireless sensor networks. Included is coverage of low-cost sensor devices equipped with wireless interfaces, sensor network protocols for large scale sensor networks, data storage and compression techniques, security architectures and mechanisms, and many practical applications that relate to use in environmental, military, medical, industrial and home networks. The book is organized into six parts starting with basic concepts and energy efficient hardware design principles. The second part addresses networking protocols for sensor networks and describes medium access control, routing and transport protocols. In addition to networking, data management is an important challenge given the high volumes of data that are generated by sensor nodes. Part III is on data storage and manipulation in sensor networks, and part IV deals with security protocols and mechanisms for wireless sensor networks. Sensor network localization systems and network management techniques are covered in Part V. The final part focuses on target detection and habitat monitoring applications of sensor networks. This book is intended for researchers starting work in the field and for practitioners seeking a comprehensive overview of the various aspects of building a sensor network. It is also an invaluable reference resource for all wireless network professionals. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),
WIRELESS COMMUNICATIONS : PRINCIPLES AND PRACTICE / par Rappaport, Theodore S. Publication : [S.l.] : Prentice Hall, 2002 . 736 p. ; , For cellular radio engineers and technicians. The leading book on wireless communications offers a wealth of practical information on the implementation realities of wireless communications. This book also contains up-to-date information on the major wireless communications standards from around the world. Covers every fundamental aspect of wireless communications, from cellular system design to networking, plus world-wide standards, including ETACS, GSM, and PDC. Theodore Rappaport is Series Editor for the Prentice Hall Communication, Engineering, and Emerging Technologies Series. 24 cm. Date : 2002 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Introduction to statistical pattern recognition / par Fukunaga, Keinosuke. Publication : Boston : Academic Press, 1990 . 1 online resource (xiii, 591 pages) : Date : 1990 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Genetic programming : on the programming of computers by means of natural selection / par Koza, John R. Publication : Cambridge, Mass. : MIT Press, 1992 . xiv, 819 pages : , "A Bradford book." 27 cm. Date : 1992 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Fundamentals of Wavelets : Theory, Algorithms, and Applications. par Goswami, Jaideva C. Publication : Hoboken : John Wiley & Sons, 2011 . 1 online resource (384 pages). Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Bionanotechnology : lessons from nature / par Goodsell, David S. Publication : Hoboken : Wiley-Liss, 2004 . xii, 337 pages : 24 cm Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Constraint processing / par Dechter, Rina, Publication : San Francisco : Morgan Kaufmann Publishers, 2003 . 1 online resource (xx, 481 pages) : Date : 2003 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Designing security architecture solutions / par Ramachandran, Jay. Publication : New York : John Wiley, 2002 . 1 online resource (xxviii, 452 pages) : , "Wiley Computer Publishing." Date : 2002 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