Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:Computers and ( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric >= 1) and (lost,st-numeric=0) )'

Votre recherche a retourné 137 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)
		Advanced topics in bisimulation and coinduction Publication : Cambridge \| New York Cambridge University Press 2012 . xiii, 326 pages , "Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material"-- 24 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Algebraic geometry and geometric modeling. Publication : [S.l.] : Springer, 2006 . 252 p. ; , Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas. The confrontation of the different points of view results in a better analysis of what the key challenges are and how they can be met. We focus on the following important classes of problems: implicitization, classification, and intersection. The combination of illustrative pictures, explicit computations and review articles will help the reader to handle these subjects. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		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), Réserver Ajouter au panier (Supprimer)
		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), Réserver Ajouter au panier (Supprimer)
		Combinatorial optimization in communication networks. Publication : [S.l.] : Springer, 2006 . 658 p. ; , Combinatorial optimization algorithms are used in many applications including the design, management, and operations of communication networks. The objective of this book is to advance and promote the theory and applications of combinatorial optimization in communication networks. Each chapter of the book is written by an expert dealing with theoretical, computational, or applied aspects of combinatorial optimization. Topics covered in the book include the combinatorial optimization problems arising in optical networks, wireless ad hoc networks, sensor networks, mobile communication systems, and satellite networks. A variety of problems are addressed using combinatorial optimization techniques, ranging from routing and resource allocation to QoS provisioning. 24 cm. Date : 2006 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)
		Data streams : models and algorithms. Publication : [S.l.] : Springer, 2006 . 358 p. ; , Data Streams: Models and Algorithms primarily discusses issues related to the mining aspects of data streams. Recent progress in hardware technology makes it possible for organizations to store and record large streams of transactional data. For example, even simple daily transactions such as using the credit card or phone result in automated data storage, which brings us to a fairly new topic called data streams. This volume covers mining aspects of data streams comprehensively: each contributed chapter contains a survey on the topic, the key ideas in the field for that particular topic, and future research directions. Data Streams: Models and Algorithms is intended for a professional audience composed of researchers and practitioners in industry. This book is also appropriate for advanced-level students in computer science. 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 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)
		Foundations and applications of mis : a model theory approach / par Takahara, Yasuhiko. Publication : [S.l.] : Springer, 2006 . 360 p. ; , Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. It covers an outline of the approach, providing a theoretical foundation for MIS from the systems theoretic viewpoint before presenting practical feasibility of the approach using applications ranging from a transaction processing system to a solver system. The author also describes his newly developed extended Prolog programming language, which takes full advantage of the mathematical framework employed. High-level mathematics is combined with sophisticated software engineering in this approach to address the practical problem area of designing MISs; it is the synergy of these two areas with underlying systems thinking that gives this book its unique identity. The book assumes a working knowledge of elementary set theory, logic and familiarity with some systems concepts such as automation models. Senior and graduate students, researchers in management information systems, systems engineers and systems scientists will find this book useful. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Juridiques, Economiques et de Gestion (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)
		Graphics of large datasets : visualizing a million / par Unwin, Antony. Publication : [S.l.] : Springer, 2006 . 271 p. ; , Graphics are great for exploring data, but how can they be used for looking at the large datasets that are commonplace to-day? This book shows how to look at ways of visualizing large datasets, whether large in numbers of cases or large in numbers of variables or large in both. Data visualization is useful for data cleaning, exploring data, identifying trends and clusters, spotting local patterns, evaluating modeling output, and presenting results. It is essential for exploratory data analysis and data mining. Data analysts, statisticians, computer scientists-indeed anyone who has to explore a large dataset of their own-should benefit from reading this book. New approaches to graphics are needed to visualize the information in large datasets and most of the innovations described in this book are developments of standard graphics. There are considerable advantages in extending displays which are well-known and well-tried, both in understanding how best to make use of them in your work and in presenting results to others. It should also make the book readily accessible for readers who already have a little experience of drawing statistical graphics. All ideas are illustrated with displays from analyses of real datasets and the authors emphasize the importance of interpreting displays effectively. Graphics should be drawn to convey information and the book includes many insightful examples. From the reviews: "Anyone interested in modern techniques for visualizing data will be well rewarded by reading this book. There is a wealth of important plotting types and techniques." Paul Murrell for the Journal of Statistical Software, December 2006 "This fascinating book looks at the question of visualizing large datasets from many different perspectives. Different authors are responsible for different chapters and this approach works well in giving the reader alternative viewpoints of the same problem. Interestingly the authors have cleverly chosen a definition of 'large dataset'. Essentially they focus on datasets with the order of a million cases. As the authors point out there are now many examples of much larger datasets but by limiting to ones that can be loaded in their entirety in standard statistical software they end up with a book that has great utility to the practitioner rather than just the theorist. Another very attractive feature of the book is the many colour plates, showing clearly what can now routinely be seen on the computer screen. The interactive nature of data analysis with large datasets is hard to reproduce in a book but the authors make an excellent attempt to do just this." P. Marriott for the Short Book Reviews of the ISI. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (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 Measure theory and probability theory / par Athreya, Krishna B. Publication : [S.l.] : Springer-Verlag New York Inc., 2006 . 618 p. ; , ReliØ. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)