Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'su:Computer programs'

Votre recherche a retourné 35 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), Réserver Ajouter au panier (Supprimer)
		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), Réserver Ajouter au panier (Supprimer)
		Advances in speech recognition : mobile environments, call centers and clinics Publication : [S.l.] Springer 2010 . 396 p. , This volume is comprised of contributions from eminent leaders in the speech industry, and presents a comprehensive and in depth analysis of the progress of speech technology in the topical areas of mobile settings, healthcare and call centers. The material addresses the technical aspects of voice technology within the framework of societal needs, such as the use of speech recognition software to produce up-to-date electronic health records, not withstanding patients making changes to health plans and physicians. Included will be discussion of speech engineering, linguistics, human factors analysis, medical informatics, business and information technology, electronics and communications engineering, all integrated into a cohesive work. 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Applied shape optimization for fluids / par Mohammadi,, B. Publication : [S.l.] : Oxford University Press, USA, 2001 . 272 p. ; , Deals with shape optimization for fluids, with the equations needed for understanding them, and numerical simulations. Introduces tools of optimal shape design, such as automatic differentiation, approximate gradients, and automatic mesh refinement. 24 cm. Date : 2001 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		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), Réserver Ajouter au panier (Supprimer)
		Data refinement Model-oriented proof methods and their comparison par Roever, Willem.-Paul de Publication : New York Cambridge University Press 1998 . 423 pages , "This digitally printed version 2009"--T.p. verso. Date : 1998 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Formal models, languages and applications Publication : [S.l.] World Scientific Pub Co Inc, 2006 . 416 p. , A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the pioneers in the field in India. The articles span the vast range of areas that Professor Siromoney has worked in or influenced, including grammar systems, picture languages and new models of computation. 23 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Handbook of geometric computing : applications in pattern recognition, computer vision, neuralcomputing, and robotics Publication : [S.l.] Springer 2010 . 779 p. , Many computer scientists, engineers, applied mathematicians, and physicists use geometry theory and geometric computing methods in the design of perception-action systems, intelligent autonomous systems, and man-machine interfaces. This handbook brings together the most recent advances in the application of geometric computing for building such systems, with contributions from leading experts in the important fields of neuroscience, neural networks, image processing, pattern recognition, computer vision, uncertainty in geometric computations, conformal computational geometry, computer graphics and visualization, medical imagery, geometry and robotics, and reaching and motion planning. For the first time, the various methods are presented in a comprehensive, unified manner. This handbook is highly recommended for postgraduate students and researchers working on applications such as automated learning; geometric and fuzzy reasoning; human-like artificial vision; tele-operation; space maneuvering; haptics; rescue robots; man-machine interfaces; tele-immersion; computer- and robotics-aided neurosurgery or orthopedics; the assembly and design of humanoids; and systems for metalevel reasoning. 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Markov models for pattern recognition : from theory to applications par Fink, Gernot A. Publication : [S.l.] Springer 2010 . 248 p. , This comprehensive introduction to the Markov modeling framework describes the underlying theoretical concepts of Markov models as used for sequential data, covering Hidden Markov models and Markov chain models. It also presents the techniques necessary to build successful systems for practical applications. In addition, the book demonstrates the actual use of the technology in the three main application areas of pattern recognition methods based on Markov-Models: speech recognition, handwriting recognition, and biological sequence analysis. The book is suitable for experts as well as for practitioners. 23 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Nuclear computational science : a century in review par Azmy, Yousry. Publication : Dordrecht Springer 2010 . xv, 470 pages 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Path-oriented program analysis par Huang, J. C. Publication : Cambridge \| New York Cambridge University Press 2008 . xii, 196 pages 24 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Process heat transfer : principles and applications / par Serth,, R. W. Publication : Amsterdam ; \| London : Elsevier Academic Press, 2007 . ix, 755 p. ; , Includes index. 27 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Reasoning robots The art and science of programming robotic agents par Thielscher, Michael Publication : Dordrecht Springer 2010 . xiii, 327 pages 25 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Scaling up machine learning parallel and distributed approaches Publication : Cambridge \| New York Cambridge University Press 2012 . xvi, 475 pages , "This book presents an integrated collection of representative approaches for scaling up machine learning and data mining methods on parallel and distributed computing platforms. Demand for parallelizing learning algorithms is highly task-specific: in some settings it is driven by the enormous dataset sizes, in others by model complexity or by real-time performance requirements. Making task-appropriate algorithm and platform choices for large-scale machine learning requires understanding the benefits, trade-offs, and constraints of the available options"-- 26 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Teach yourself the basics of Aspen plus par Schefflan, Ralph. Publication : Hoboken, N.J. Wiley 2011 . xv, 216 pages 26 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		The art of differentiating computer programs : an introduction to algorithmic differentiation par Naumann, Uwe Publication : Philadelphia Society for Industrial and Applied Mathematics 2012 . xviii, 340 pages 26 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		The finite element method for solid and structural mechanics, sixth edition par Zienkiewicz,, Olek C. Publication : [S.l.] Butterworth-Heinemann 2005 . 736 p. , This is the key text and reference for engineers, researchers and senior students dealing with the analysis and modelling of structures - from large civil engineering projects such as dams, to aircraft structures, through to small engineered components. Covering small and large deformation behaviour of solids and structures, it is an essential book for engineers and mathematicians. The new edition is a complete solids and structures text and reference in its own right and forms part of the world-renowned Finite Element Method series by Zienkiewicz and Taylor. New material in this edition includes separate coverage of solid continua and structural theories of rods, plates and shells; extended coverage of plasticity (isotropic and anisotropic); node-to-surface and 'mortar' method treatments; problems involving solids and rigid and pseudo-rigid bodies; and multi-scale modelling. . Dedicated coverage of solid and structural mechanics by world-renowned authors, Zienkiewicz and Taylor . New material including separate coverage of solid continua and structural theories of rods, plates and shells; extended coverage for small and finite deformation; elastic and inelastic material constitution; contact modelling; problems involving solids, rigid and discrete elements; and multi-scale modelling . Accompanied by online downloadable software. 25 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Verification and validation in scientific computing par Oberkampf, William L. Publication : New York Cambridge University Press 2010 . xiv, 767 pages , "Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a comprehensive and systematic development of the basic concepts, principles, and procedures for verification and validation of models and simulations. The emphasis is placed on models that are described by partial differential and integral equations and the simulations that result from their numerical solution. The methods described can be applied to a wide range of technical fields, from the physical sciences, engineering and technology and industry, through to environmental regulations and safety, product and plant safety, financial investing, and governmental regulations. This book will be genuinely welcomed by researchers, practitioners, and decision makers in a broad range of fields, who seek to improve the credibility and reliability of simulation results. It will also be appropriate either for university courses or for independent study"-- 26 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		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), Réserver Ajouter au panier (Supprimer)
		Waveguide components for antenna feed systems theory and CAD par Uher, J. Publication : Boston Artech House 1993 . xiv, 457 pages 24 cm. Date : 1993 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)