IMIST


Affiner votre recherche

Votre recherche a retourné 2967 résultats.

A computational model of natural language communication interpretation, inference, and production in database semantics par Hausser,, Roland R. Publication : [S.l.] Springer 2010 . 377 p. , The ideal of using human language to control machines requires a practical theory of natural language communication that includes grammatical analysis of language signs, plus a model of the cognitive agent, with interfaces for recognition and action, an internal database, and an algorithm for reading content in and out. This book offers a functional framework for theoretical analysis of natural language communication and for practical applications of natural language processing. 23 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des lettres et sciences humaines et sociales (1),

A short course in computational science and engineering C++, Java, and Octave numerical programming with free software tools par Yevick, David. Publication : Cambridge | New York Cambridge University Press 2012 . xiii, 265 pages , "Building on his highly successful textbook on C++, David Yevick provides a concise yet comprehensive one-stop course in three key programming languages, C++, Java and Octave (a freeware alternative to MATLAB). Employing only public-domain software to ensure straightforward implementation for all readers, this book presents a unique overview of numerical and programming techniques relevant to scientific programming, including object-oriented programming, elementary and advanced topics in numerical analysis, physical system modeling, scientific graphics, software engineering and performance issues. Relevant features of each programming language are illustrated with short, incisive examples, and the installation and application of the software is described in detail. Compact, transparent code in all three programming languages is applied to the fundamental equations of quantum mechanics, electromagnetics, mechanics and statistical mechanics. Uncommented versions of the code that can be immediately modified and adapted are provided online for the more involved programs. This compact, practical text is an invaluable introduction for students in all undergraduate- and graduate-level courses in the physical sciences or engineering that require numerical modeling, and also a key reference for instructors and scientific programmers"-- 26 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Advanced asic chip synthesis using synopsys℗ design compiler℗ physical compiler℗ and primetime℗ / par Bhatnagar, Himanshu. Publication : [S.l.] : Springer, 2001 . 360 p. ; , Advanced ASIC Chip Synthesis: Using Synopsys TM Design CompilerTM Physical CompilerTM and PrimeTime TM, Second Edition describes the advanced concepts and techniques used towards ASIC chip synthesis, physical synthesis, formal verification and static timing analysis, using the Synopsys suite of tools. In addition, the entire ASIC design flow methodology targeted for VDSM (Very-Deep-Sub-Micron) technologies is covered in detail. The emphasis of this book is on real-time application of Synopsys tools, used to combat various problems seen at VDSM geometries. Readers will be exposed to an effective design methodology for handling complex, sub-micron ASIC designs. Significance is placed on HDL coding styles, synthesis and optimization, dynamic simulation, formal verification, DFT scan insertion, links to layout, physical synthesis, and static timing analysis. At each step, problems related to each phase of the design flow are identified, with solutions and work-around described in detail. In addition, crucial issues related to layout, which includes clock tree synthesis and back-end integration (links to layout) are also discussed at length. Furthermore, the book contains in-depth discussions on the basis of Synopsys technology libraries and HDL coding styles, targeted towards optimal synthesis solution. Target audiences for this book are practicing ASIC design engineers and masters level students undertaking advanced VLSI courses on ASIC chip design and DFT techniques. 24 cm. Date : 2001 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Advances in computer science, intelligent systems and environment : volume 1 / par Jin, David. Publication : New York : Springer, 2011 . 778 pages. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Advances in Digital Image Processing and Information Technology First International Conference on Digital Image Processing and Pattern Recognition, DPPR 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011. Proceedings / par Nagamalai, Dhinaharan. Publication : Berlin, Heidelberg : Springer Berlin Heidelberg : | Springer e-books : | Imprint: Springer : | Springer e-books, 2011 . 1 online resource. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Algorithmic adventures from knowledge to magic par Hromkovič, Juraj Publication : Berlin | London Springer 2009 . xiii, 363 pages 24 cm Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

An introduction to bisimulation and coinduction par Sangiorgi, Davide. Publication : Cambridge | New York Cambridge University Press 2012 . xii, 247 pages , "Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis"-- | "Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction, and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, nonwell- founded sets, etc"-- 25 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

An introduction to object recognition : selected algorithms for a wide variety of applications par Treiber, Marco Alexander. Publication : [S.l.] Springer 2010 . 220 p. , Rapid development of computer hardware has enabled usage of automatic object recognition in an increasing number of applications, ranging from industrial image processing to medical applications, as well as tasks triggered by the widespread use of the internet. Each area of application has its specific requirements, and consequently these cannot all be tackled appropriately by a single, general-purpose algorithm. This easy-to-read text/reference provides a comprehensive introduction to the field of object recognition (OR). The book presents an overview of the diverse applications for OR and highlights important algorithm classes, presenting representative example algorithms for each class. The presentation of each algorithm describes the basic algorithm flow in detail, complete with graphical illustrations. Pseudocode implementations are also included for many of the methods, and definitions are supplied for terms which may be unfamiliar to the novice reader. Supporting a clear and intuitive tutorial style, the usage of mathematics is kept to a minimum. Topics and features: presents example algorithms covering global approaches, transformation-search-based methods, geometrical model driven methods, 3D object recognition schemes, flexible contour fitting algorithms, and descriptor-based methods; explores each method in its entirety, rather than focusing on individual steps in isolation, with a detailed description of the flow of each algorithm, including graphical illustrations; explains the important concepts at length in a simple-to-understand style, with a minimum usage of mathematics; discusses a broad spectrum of applications, including some examples from commercial products; contains appendices discussing topics related to OR and widely used in the algorithms, (but not at the core of the methods described in the chapters). Practitioners of industrial image processing will find this simple introduction and overview to OR a valuable reference, as will graduate students in computer vision courses. Marco Treiber is a software developer at Siemens Electronics Assembly Systems, Munich, Germany, where he is Technical Lead in Image Processing for the Vision System of SiPlace placement machines, used in SMT assembly. 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

An Introduction to quantum computing / par Kaye, Phillip. Publication : [S.l.] : Oxford University Press, USA, 2007 . 288 p. ; , This concise, accessible text provides a thorough introduction to quantum computing - an exciting emergent field at the interface of the computer, engineering, mathematical and physical sciences. Aimed at advanced undergraduate and beginning graduate students in these disciplines, the text is technically detailed and is clearly illustrated throughout with diagrams and exercises. Some prior knowledge of linear algebra is assumed, including vector spaces and inner products. However, prior familiarity with topics such as tensor products and spectral decomposition is not required, as the necessary material is reviewed in the text. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Applications of pulse-coupled neural networks par Ma, Yide. Publication : [S.l.] Springer 2010 . 199 p. , "Applications of Pulse-Coupled Neural Networks" explores the fields of image processing, including image filtering, image segmentation, image fusion, image coding, image retrieval, and biometric recognition, and the role of pulse-coupled neural networks in these fields. This book is intended for researchers and graduate students in artificial intelligence, pattern recognition, electronic engineering, and computer science. Prof. Yide Ma conducts research on intelligent information processing, biomedical image processing, and embedded system development at the School of Information Science and Engineering, Lanzhou University, China. 24 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