Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:Science/Mathematics'

Votre recherche a retourné 95 résultats.

		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)
		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), Réserver Ajouter au panier (Supprimer)
		Computer speech recognition, compression, synthesis par Schroeder, Manfred R. Publication : [S.l.] Springer 2004 . 375 p. , This new edition of. 25 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (2), Réserver Ajouter au panier (Supprimer)
		Computing in nonlinear media & automata collectives / par Adamatzky,, Andrew. Publication : [S.l.] : Taylor & Francis, 2001 . 395 p. ; , The book gives an account of new ways to design massively parallel computing devices in advanced mathematical models (such as cellular automata and lattice swarms), and from unconventional materials, for example chemical solutions, bio-polymers and excitable media. The subject of this book is computing in excitable and reaction-diffusion media. This is one approach to novel computing methods. Other approaches include quantum and evolutionary computation, and swarm optimization. The book explains how to design computing devices in nonlinear media. This is achieved in three steps. First, cellular automaton models of reaction-diffusion and excitable computing are built. Second, natural analogies of simulated phenomena are sought. Third, working prototypes of laboratory processors are fabricated. Throughout the book it is assumed a computation is implemented using spreading waves and spatially interacting reagents. The book is full of examples of computation in cellular automata, swarms of mobile machines, thin-layer chemical liquids, insect societies, solitons, breathers and other wonders of Nature. In this book computer scientists and engineers will find blueprints inspired by Nature for the design of novel computing devices. Mathematicians will find exciting reasons to theorise. Physicists and chemists will be surprised and pleased to find that the systems they study can be used in completely new contexts. Biologists will discover that results of their field experiments also give solutions for celebrated mathematical problems. 25 cm. Date : 2001 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Digital image processing / par Woods,, Richard. Publication : [S.l.] : Prentice Hall, 2007 . 976 p. ; , Relié. 25 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Discrtisations variationnelles de probl] / par Rapetti, Franscesca. Publication : [S.l.] : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2004 . 310 p. ; , BrochØ. 24 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		From vectors to tensors / par Ruiz-Tolosa,, Juan R. Publication : [S.l.] : Springer, 2005 . 550 p. ; , This textbook, deals with tensors that are treated as vectors, and has a practical orientation. In addition to dealing with the classical topics of tensor books, new tensor concepts are introduced, such as the rotation of tensors, the transposer tensor, the eigentensors, the permutation tensor structure, etc. The book covers an existing gap between the classic theory of tensors and the possibility of solving tensor problems with a computer. In fact, the computational algebra is formulated in matrix form to facilitate its implementation on computers. For the first time tensor contraction is formulated in terms of matrix operations. A computer package, written in Mathematica, is available through Internet that complements the book. In summary, the book is not a standard book on tensors because of its orientation, the many novel contributions included in it, the careful notation and the stretching-condensing techniques used for most of the transformations used in the book. 24 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		H.264 and mpeg-4 video compression : video coding for next generation multimedia / par Richardson,, Iain E. Publication : [S.l.] : Wiley, 2003 . 320 p. ; , Following on from the successful MPEG-2 standard, MPEG-4 Visual is enabling a new wave of multimedia applications from Internet video streaming to mobile video conferencing. The new H.264 ĐAdvanced Video CodingĐ standard promises impressive compression performance and is gaining support from developers and manufacturers. ́ The first book to cover H.264 in technical detail, this unique resource takes an application-based approach to the two standards and the coding concepts that underpin them. Presents a practical, step-by-step, guide to the MPEG-4 Visual and H.264 standards for video compression. Introduces the basic concepts of digital video and covers essential background material required for an understanding of both standards. Provides side-by-side performance comparisons of MPEG-4 Visual and H.264 and advice on how to approach and interpret them to ensure conformance. Examines the way that the standards have been shaped and developed, discussing the composition and procedures of the VCEG and MPEG standardisation groups. Focussing on compression tools and profiles for practical multimedia applications, this book ĐdecodesĐ the standards, enabling developers, researchers, engineers and students to rapidly get to grips with both H.264 and MPEG-4 Visual. Dr Iain Richardson leads the Image Communication Technology research group at the Robert Gordon University in Scotland and is the author of over 40 research papers and two previous books on video compression technology. 25 cm. Date : 2003 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Interior point methods for linear optimization / par Roos, Cornelis. Publication : [S.l.] : Springer, 2005 . 497 p. ; , Interior Point Methods for Linear Optimization is a comprehensive, thorough textbook on interior point methods (IPMs). The era of IPMs was initiated by N. KarmarkarĐs 1984 paper, which triggered turbulent research and reshaped almost all areas of optimization theory and computational practice. This book gives a comprehensive review of the main results of more than a decade of IPM research. Numerous exercises are provided to aid in understanding the material. 25 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Introduction to color imaging science / par Lee,, Hsien-Che. Publication : [S.l.] : Cambridge University Press, 2005 . 716 p. ; , Colour imaging technology has become almost ubiquitous in modern life in the form of monitors, liquid crystal screens, colour printers, scanners, and digital cameras. This book is a comprehensive guide to the scientific and engineering principles of colour imaging. It covers the physics of light and colour, how the eye and physical devices capture colour images, how colour is measured and calibrated, and how images are processed. It stresses physical principles and includes a wealth of real-world examples. The book will be of value to scientists and engineers in the colour imaging industry and, with homework problems, can also be used as a text for graduate courses on colour imaging. 25 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Magnetic nanostructures in modern technology : spintronics, magnetic mems and recording. Publication : [S.l.] : Springer, 2007 . 345 p. ; , A team of outstanding scientists in the field of modern magnetic nanotechnologies illustrates the state of the art in several areas of advanced magneto-electronic devices, magnetic micro-electromechanical systems and high density information storage technologies. The physics and chemistry of nano-scale systems have made rapid advances and there are real prospects of translating exciting scientific findings into a new generation of processes and high technology products with a potential impact on several industrial sectors. In particular the development of nano-structured magnetic materials plays a leading role in the increasing miniaturization of devices with superior performances. The application areas considered are: i) "magneto-electronics", where the control of electron spins in magnetic hetero-structures offers new and improved functionalities in devices of integrated digital electronics. Magnetic random access memories, MRAM are among the principal applications for new non-volatile RAM with fast dynamics, toward the pico-, femto-second range. ii) "magnetic MEMS" (micro-electro-mechanical systems), which are the integration of mechanical and electro/ferromagnetic elements (micro-actuators and sensors) with conventional electronics MEMS, promise a revolution in several product categories. In fact the proposed integration enables the development of smart products, where sensors can gather information from the environment by measuring thermal, magnetic, electric, mechanical, biological chemical, optical characteristics and the electronic section processes the information and the actuator promotes the action realizing a complete control of the environment. iii) "Magnetic recording" is a leading technology in the information storage domain and the most relevant application in the field of magnetics, showing surprising continuous progress over several decades towards the limit of terabit per square inch of areal density. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Microarrays : applications and data analysis. Publication : [S.l.] : Humana Press Inc., 2007 . 452 p. ; , Relié. 23 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Microcantilevers for atomic force microscope data storage / par Chui, Benjamin W. Publication : [S.l.] : Kluwer Academic Publishers, 1998 . 176 p. ; , ReliØ. 25 cm. Date : 1998 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Mobile phone programming : and its application to wireless networking. Publication : [S.l.] : Springer, 2007 . 473 p. ; , This book provides a solid overview of mobile phone programming targeting both academia and industry. The book covers all commercial realizations of Symbian, Windows Mobile and ́Linux platforms. Each programming language (JAVA, Python, C/C++) and a set of development environments are introduced Đstep by step making developers familiar with current limitations, pitfalls, and challenges. Each chapter contains examples and source code to rapidly make developers familiar with the most important concepts. Examples cover peer to peer networks, cooperative networking, cross layer protocol design, key challenges such as power consumption, and sensor networks for which a full hardware and software implementation is provided. The book DVD contains all presented development environments and source code examples. Whether you are an experienced developer or an advanced student this book will be your key reference for successfully entering the world of software development for mobile devices. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		MODAL ARRAY SIGNAL PROCESSING : PRINCIPLES AND APPLICATIONS OF ACOUSTIC WAVEFIELD DECOMPOSITION / par Teutsch, Heinz. Publication : [S.l.] : Springer, 2007 . 253 p. ; , Many applications of acoustic signal processing, such as teleconferencing and surveillance systems, require an estimate of several parameters present in the observed acoustic wavefield. The most important parameters are the number as well as the location of active acoustic sources. This book deals with the problem of detecting and localizing multiple simultaneously active wideband acoustic sources by applying the notion of wavefield decomposition using circular and spherical microphone arrays. The decomposed wavefield representation is used to serve as a basis for so-called modal array signal processing algorithms, which have the significant advantage over classical array signal processing algorithms that they inherently support multiple wideband acoustic sources. A rigorous derivation of modal array signal processing algorithms for unambiguous source detection and localization as well as performance evaluations by means of measurements using an actual real-time capable implementation are discussed. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Multimedia communication technology : representation, transmission and identification of multimedia signals / par Ohm, Jens-Rainer. Publication : [S.l.] : Springer, 2004 . 859 p. ; , Excellent textbook of multimedia signal processing also dealing with the optimization of multimedia communication systems. It covers the theoretical background of one- and multidimensional signal processing, statistical analysis and modeling, coding and information theory as well as estimation and classification theory. Numerous practical examples are given for algorithms and design of multimedia signal compression and transmission systems, for systems performing content analysis and indexing of multimedia signals. Principles behind multimedia coding and indexing standards, e.g. MPEG-1/-2/-4/-7 are explained in detail, including the most recent developments like the new Advanced Video Coding standard and Motion-Compensated Interframe Wavelet Coding. Numerous figures and examples illustrate the concepts. As the book is based on a graduate-level university course, most chapters are supplemented by exercises. The book is also a self-contained introduction both for researchers and developers of multimedia communication systems in industries. 25 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Optical switching / par El-Bawab, Tarek S. Publication : [S.l.] : Springer, 2006 . 450 p. ; , Optical Switching is the most comprehensive and up to date reference book on its subject. After three decades of research and development efforts, optical switching has started to be deployed in cutting-edge networking initiatives. The optical devices, optical networks, and telecommunications/data networking communities are in need of a reference book that compiles diverse optical switching research, from device technologies to system and network architectures, into one properly structured volume. This book provides such a service to these communities. The book is structured into three parts. The first part provides the foundation for understanding the potential role of optical switching in communication networks. The second part is focused on optical switching technologies and on devices based upon them. Theories, operation principles, and fabrication techniques are discussed. The third part covers optical-switching fabrics, systems, and networks. Applications of optical switching in communication networks are discussed, involving optical circuit, packet, and burst switching. The chapters are self-contained with minimum overlap. They bring together academic and industrial contributions, analytical and descriptive treatments, and cover theories, experimentation, and practice. The material has been carefully coordinated to form a homogeneous manuscript having a progressive and logical development of ideas and concepts. The book embraces a number of distinctive innovations. Old and new terminologies are investigated, clarified, redefined where necessary, and used consistently throughout the entire volume. The treatment of the subject is original, not only in terms of comprehensive coverage, but also in terms of structure and organization. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Orthogonal frequency division multiplexing for wireless communications. Publication : [S.l.] : Springer, 2006 . 308 p. ; , Orthogonal Frequency Division Multiplexing for Wireless Communications is an edited volume with contributions by leading authorities in the subject of OFDM. Its coverage consists of principles, important wireless topics (e.g. Synchronization, channel estimation, etc.) and techniques. Included is information for advancing wireless communication in a multipath environment with an emphasis on implementation of OFDM in base stations. Orthogonal Frequency Division Multiplexing for Wireless Communications provides a comprehensive introduction of the theory and practice of OFDM. Chapter 1, by G. Stþber, briefly introduces the history of OFDM or multicarrier modulation and basic concepts of OFDM, Chapter 2, by Y. (G.) Li, presents design of OFDM systems for wireless communications, various impairments caused by wireless channels, and some other types of OFDM related modulation. Chapter 3 to Chapter 6 address different techniques to mitigate the impairments and to improve the performance of OFDM systems. Chapter 3, by J. Cioffi and L. Hoo, focuses on system optimization techniques, including channel partitioning, loading of parallel channels, and optimization through coding. Chapter 4, by S. Wilson and P. ḍling, addresses timing- and frequency-offset estimation in OFDM systems. It also briefly discusses sampling clock offset estimation and correction. Chapter 5, by Y. (G.) Li, deals with pilot aided and decision-directed channel estimation for OFDM systems. Chapter 6, by C. Tellambura and M. Friese, discusses various techniques to reduce the peak-to-average power ratio of OFDM signals. To facilitate the readers, extensive subject indices and references are given at the end of the book. Even though each chapter is written by different experts, symbols and notations in all chapters of the book are consistent. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Real-time applications with stochastic task execution times : analysis and optimisation / par Manolache,, Sorin. Publication : [S.l.] : Springer-Verlag New York Inc., 2007 . 152 p. ; , ReliØ. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Remote sensing digital image analysis : an introduction / par Richards, John A. Publication : [S.l.] : Springer, 2005 . 439 p. ; , Remote Sensing Digital Image Analysis provides the non-specialist with an introduction to quantitative evaluation of satellite and aircraft derived remotely retrieved data. Each chapter covers the pros and cons of digital remotely sensed data, without detailed mathematical treatment of computer based algorithms, but in a manner conductive to an understanding of their capabilities and limitations. Problems conclude each chapter. This fourth edition has been developed to reflect the changes that have occurred in this area over the past several years. Its focus is on those procedures that seem now to have become part of the set of tools regularly used to perform thematic mapping. As with previous revisions, the fundamental material has been preserved in its original form because of its tutorial value; its style has been revised in places and it has been supplemented if newer aspects have emerged in the time since the third edition appeared. It still meets, however, the needs of the senior student and practitioner. 25 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)