IMIST


Affiner votre recherche

Votre recherche a retourné 773 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 physicist's guide to mathematica, second edition par Tam,, Patrick T. Publication : [S.l.] Academic Press 2008 . 641 p. , For the engineering and scientific professional, A Physicist's Guide to Mathematica, 2e provides an updated reference guide based on the 2007 new 6.0 release, providing an organized and integrated desk reference with step-by-step instructions for the most commonly used features of the software as it applies to research in physics. For professors teaching physics and other science courses using the Mathematica software, A Physicist's Guide to Mathematica, 2e is the only fully compatible (new software release) Mathematica text that engages students by providing complete topic coverage, new applications, exercises and examples that enable the user to solve a wide range of physics problems. . Does not require prior knowledge of Mathematica or computer programming . Can be used as either a primary or supplemental text for upper-division physics majors and an Instructor's Solutions Manual is available . Provides over 450 end-of-section exercises and end-of-chapter problems . Serves as a reference suitable for chemists, physical scientists, and engineers . Compatible with Mathematica Version 6, a recent major release . Compact disk contains all of the Mathematica input and output in this book. 23 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

A unifying framework for structured analysis and design models an approach using initial algebra semantics and category theory par Tse, T. H. Publication : Cambridge | New York Cambridge University Press 1991 . xi, 179 pages 24 cm. Date : 1991 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 modeling in computational electromagnetic compatibility / par Poljak,, D. Publication : Hoboken, N.J. : Wiley-Interscience, 2007 . xviii, 496 p. : 25 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Advances in ubiquitous computing future paradigms and directions par Mostefaoui,, Soraya Kouadri. Publication : [S.l.] IGI Publishing 2008 . 376 p. , The development and availability of new computing and communication devices, and the increased connectivity between these devices, thanks to wired and wireless networks, are enabling new opportunities for people to perform their operations anywhere and anytime. This technological expansion has developed a multitude of challenges that demand further research. ,b>Advances in Ubiquitous Computing: Future Paradigms and Directions investigates the technology foreground of ubiquitous computing, the emerging applications and services, as well as certain social issues that are vital for the successful deployment of a ubiquitous computing application, through a multi-perspective analytical lens. Providing academics and practitioners with high quality, authoritative content on such topics as device design, wireless communication, location sensing, privacy concerns, attention focus, multi-person interaction, and direct interaction, work patterns, this Premier Reference Source is a must-have addition to library collections worldwide. 26 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Algorithms in real algebraic geometry / par Basu,, Saugata, Publication : Berlin ; | New York : Springer, 2006 . ix, 662 p. ; 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

An introduction to computational physics par Pang, Tao. Publication : Cambridge [u.a.] Cambridge Univ. Press 2008 . XV, 385 S. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

An Introduction to scientific computing : twelve computational projects solved with matlab / par Danaila, Ionut. Publication : [S.l.] : Springer, 2006 . 294 p. ; , This book provides twelve computational projects aimed at numerically solving problems from a broad range of applications including Fluid Mechanics, Chemistry, Elasticity, Thermal Science, Computer Aided Design, Signal and Image Processing. For each project the reader is guided through the typical steps of scientific computing from physical and mathematical description of the problem, to numerical formulation and programming and finally to critical discussion of numerical results. Considerable emphasis is placed on practical issues of computational methods. The last section of each project contains the solutions to all proposed exercises and guides the reader in using the MATLAB scripts. The mathematical framework provides a basic foundation in the subject of numerical analysis of partial differential equations and main discretization techniques, such as finite differences, finite elements, spectral methods and wavelets). The book is primarily intended as a graduate-level text in applied mathematics, but it may also be used by students in engineering or physical sciences. It will also be a useful reference for researchers and practicing engineers. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (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