IMIST


Affiner votre recherche

Votre recherche a retourné 1302 résultats.

˜The œsemiotic engineering of human-computer interaction / par Souza,, Clarisse Sieckenius de. Publication : [S.l.] : MIT Press, 2005 . 307 p. ; , ReliØ. 24 cm. Date : 2005 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),

Advanced motion control and sensing for intelligent vehicles / par Li, Li. Publication : [S.l.] : Springer, 2007 . 448 p. ; , Advanced Motion Control and Sensing for Intelligent Vehicles provides the latest information in intelligent vehicle control, sensing, and intelligent transportation. It addresses the growing need for safe, comfortable, time and energy-efficient modes of transportation with emphasis on the latest key findings, current trends, and likely future developments in this rapidly expanding field. Highlights: Discusses individual vehicle dynamics, sensory and multiple ground-vehicle interactions Includes systematic review of past and current research achievements Presents case studies in cutting-edge directions such as vehicle steering motion, vehicle vision systems, cooperative driving, intersection safety, and tire pressure monitoring Assesses the likely future developments of this field   This book is useful for both practicing engineers and researchers in the automotive industry. 25 cm. Date : 2007 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 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),

Applying uml : advanced applications par Pooley, Rob. Publication : [S.l.] Butterworth-Heinemann 2003 . 224 p. ; , Unified Modeling Language (UML) is a general-purpose notation language for specifying and visualizing complex software, especially large, object-oriented projects. Object-oriented programming is when a programmer defines not only the data type of a data structure, but also the types of operations/functions that can be applied to the data structure. Applying UML addresses the practical issues faced by users in adopting UML. As the title suggests, it helps the reader in actually applying UML to real life situations, rather than just in learning the language. The book covers in depth detail of UML, including notation on profiles and extensions. The scope of the book assumes prior experience in software engineering and/or business modeling, an understanding of object-oriented concepts and a basic knowledge of UML. * Case study driven approach covering a wide range of issues * Contains advanced tutorial material to aid learning * Focuses on practical issues in the application of UML. 25 cm. Date : 2003 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Basic simple type theory par Hindley, James Roger, Publication : Cambridge [et cetera] Cambridge University Press. 1997 . XI, 186 pages 24 cm. Date : 1997 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Bayesian reasoning and machine learning par Barber,, David, Publication : Cambridge | New York Cambridge University Press 2011 . xxiv, 697 pages , "Machine learning methods extract value from vast data sets quickly and with modest resources. They are established tools in a wide range of industrial applications, including search engines, DNA sequencing, stock market analysis, and robot locomotion, and their use is spreading rapidly. People who know the methods have their choice of rewarding jobs. This hands-on text opens these opportunities to computer science students with modest mathematical backgrounds. It is designed for final-year undergraduates and master's students with limited background in linear algebra and calculus. Comprehensive and coherent, it develops everything from basic reasoning to advanced techniques within the framework of graphical models. Students learn more than a menu of techniques, they develop analytical and problem-solving skills that equip them for the real world. Numerous examples and exercises, both computer based and theoretical, are included in every chapter. Resources for students and instructors, including a MATLAB toolbox, are available online"-- | "Vast amounts of data present amajor challenge to all thoseworking in computer science, and its many related fields, who need to process and extract value from such data. Machine learning technology is already used to help with this task in a wide range of industrial applications, including search engines, DNA sequencing, stock market analysis and robot locomotion. As its usage becomes more widespread, no student should be without the skills taught in this book. Designed for final-year undergraduate and graduate students, this gentle introduction is ideally suited to readers without a solid background in linear algebra and calculus. It covers everything from basic reasoning to advanced techniques in machine learning, and rucially enables students to construct their own models for real-world problems by teaching them what lies behind the methods. Numerous examples and exercises are included in the text. Comprehensive resources for students and instructors are available online"-- 26 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Building parallel, embedded, and real-time applications with Ada par McCormick, John W., Publication : Cambridge | New York Cambridge University Press 2011 . xiv, 368 pages , "The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time programs. This book provides students and programmers whose backgrounds are in traditional sequential programming with the opportunity to expand their capabilities into parallel, embedded, real-time and distributed computing. It also addresses the theoretical foundation of real-time scheduling analysis, focusing on theory that is useful for actual applications. Written by award-winning educators at a level suitable for undergraduates and beginning graduate students, this book is the first truly entry-level textbook in the subject. Complete examples allow readers to understand the context in which a new concept is used, and enable them to build and run the examples, make changes, and observe the results"-- 26 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Catia V5r16 for designers / par Tickoo, Sham. Publication : [S.l.] : CADCIM Technologies, 2006 . 624 p. ; , CATIA V5R16 for Designers is a comprehensive textbook that introduces the users to feature based 3D parametric solid modeling using the CATIA V5R16 software. The textbook covers all important environments of CATIA V5R16 with a thorough explanation of all commands, options, and their applications to create real-world products. About 50 mechanical engineering industry examples are used as tutorials and an additional 35 as exercises to ensure that the user can relate their knowledge and understand the design techniques used in the industry to design a product. After reading the textbook, the user will be able to create solid parts, assemblies, drawing views with bill of materials, and surface models. Also, the user will learn the editing techniques that are essential to make a successful design. In this book, the author emphasizes on the solid modeling techniques that improve the productivity and efficiency of the user. Salient Features of the Textbook Âɛ Consists of 13 chapters that are organized in a pedagogical sequence. These chapters cover the Sketching, Modeling, Assembly, Drafting, and Wireframe and Surface Design workbenches of CATIA V5R16. Âɛ The first page of every chapter summarizes the topics that will be covered in it. Âɛ Every chapter begins with the command section that provides the detailed explanation of the CATIA V5R16 commands. Âɛ Additional information is provided throughout the book in the form of tips and notes. Âɛ Self-evaluation test and review questions are provided at the end of each chapter so that the users can assess their knowledge. Free Teaching and Learning Resources CADCIM Technologies provides the following free teaching and learning resources with the textbooks: Âɛ Free online technical support at techsupport@cadcim.com Âɛ Part, assembly, and drawing files of the models used in illustrations, tutorials, and exercises Âɛ Customizable PowerPoint presentations for every chapter in this textbook Âɛ Instructor’s guide that provides solutions to review questions and exercises provided in the textbook Âɛ Student projects to enhance the skills Âɛ Class tests that can be used by faculty in the class. Âɛ Course outline listing the topics that should be covered in basic and advanced classes To access these free teaching resources, please send your contact information to sales@cadcim.com, mentioning clearly your name, designation, university/college, street address, city, state, zip, and country. 23 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Character animation : 2d skills for better 3d, second edition / par Roberts, Steve. Publication : [S.l.] : Focal Press, 2007 . 304 p. ; , Improve your character animation with a mastery of traditional principles and processes including weight and balance, timing, walks, birds, fish, snakes, four legged animals, acting and lip-synch. Traditional animation skills and techniques are presented in both 2D and 3D space. The companion CD features demonstration animations and exercises conducted in each of the major animation packages including 3ds Max, LightWave, Maya, and XSI Softimage. * Readers will achieve improved 3D animation with a practical understanding of foundational animation skills * Theory is balanced with practical exercises in drawn and 3D animation. * Companion CD-ROM includes short demonstration movies, 3D exercises, and 20 rigged models for practice. 25 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Cognitive systems - information processing meets brain science / par Morris,, Richard G.M. Publication : [S.l.] : Academic Press, 2005 . 338 p. ; , This book presents an overview of the exciting, truly multidisciplinary research by neuroscientists and systems engineers in the emerging field of cognitive systems, providing a cross-disciplinary examination of this cutting-edge area of scientific research. This is a great example of where research in very different disciplines touches to create a new emerging area of research. The book illustrates some of the technical developments that could arise from our growing understanding of how living cognitive systems behave, and the ability to use that knowledge in the design of artificial systems. This unique book is of considerable interest to researchers and students in information science, neuroscience, psychology, engineering and adjacent fields. ·́ Represents a remarkable collection of relevant experts from both the life sciences and computer science ·́ Includes state-of-the-art reviews of topics in cognitive systems from both a life sciences and a computer science perspective ·́ Discusses the impact of this research on our lives in the near future. 24 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Communication complexity and parallel computing par Hromkovič,, Juraj, Publication : Berlin | New York Springer. 1997 . x, 336 pages 24 cm. Date : 1997 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