Title search results
Showing 40581 - 40600 of 46015 items
Embedded Systems Development: From Functional Models to Implementations
By Alberto Sangiovanni-Vincentelli, Peter Marwedel, Haibo Zeng, Marco Di Natale. 2013
This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed…
embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed, going from system-level modeling to the correct and predictable generation of a distributed implementation, leveraging current and future research results.Joomla! 3 SEO and Performance
By Simon Kloostra. 2015
Joomla 3 SEO and Performance is a concise, 188-page book that helps you to build websites that dominate search engine…
rankings and have super-fast load times, giving your sites an increased audience. The book takes a very practical approach full of real-world examples. It does not just provide instructions, but also teaches you the logic behind what you are doing. It will make you breathe SEO while building your websites, which is the only way to success. Joomla 3 SEO and Performance starts with the Joomla core SEO possibilities. It shows how even if you are a relative newcomer to Joomla you will be able to build sites that rank high in Google without having to install complicated plugins. The remaining chapters dig much deeper, both into Joomla, and into the use of SEO plugins and extensions with a full chapter dedicated to SH404SEF, probably the best SEO extension for Joomla. In order to keep the visitors that you acquire, Joomla 3 SEO and Performance also shows you how to make your website load faster. This is achieved using Joomla core features as well as plugins. You will be stunned how easy it is to achieve massive improvements! Joomla 3 SEO & Performance: * Walks you through the Joomla SEO options, both basic and advanced * Teaches you to breathe SEO while building your websites * Teaches you how to make your websites screaming fast What you'll learn * Learn to build a solid basis for Joomla SEO. * Learn how Google likes you to build your site. * Use advanced and hidden techniques in Joomla. * How to use SEO extensions and plugins for even better optimization. * Optimize off-site SEO through Google Webmaster Tools and Analytics. * Make your site load lightning fast. Who this book is for Joomla 3 SEO and Performance is for anyone who needs more visitors for their website and wants to rank highly in search engines. The book is suitable for any Joomla enthusiast who has at least some basic knowledge in setting up a Joomla site, like creating articles, modules, and menus. SEO knowledge is not required, this is all explained. Table of Contents 1. How Search Engines Work 2. Preparing Your Joomla! Environment 3. Joomla! Global Configuration 4. Metadata 5. URL Structure 6. Header Tags 7. Optimizing Internal Links and Anchor Text 8. Optimizing Images 9. Microdata or Rich Snippets 10. Duplicate Content 11. 404 Errors and Pages 12. Robots. txt 13. Sitemap 14. Simple SEO Extensions 15. SH404SEF 16. SEO Site Audits 17. Off-Site SEO 18. Joomla Performance and Speed 19. Appendix A 20. Appendix BInvasive Tightly Coupled Processor Arrays
By Vahid Lari. 2016
This book introduces new massively parallel computer (MPSoC) architectures called invasive tightly coupled processor arrays. It proposes strategies, architecture designs,…
and programming interfaces for invasive TCPAs that allow invading and subsequently executing loop programs with strict requirements or guarantees of non-functional execution qualities such as performance, power consumption, and reliability. For the first time, such a configurable processor array architecture consisting of locally interconnected VLIW processing elements can be claimed by programs, either in full or in part, using the principle of invasive computing. Invasive TCPAs provide unprecedented energy efficiency for the parallel execution of nested loop programs by avoiding any global memory access such as GPUs and may even support loops with complex dependencies such as loop-carried dependencies that are not amenable to parallel execution on GPUs. For this purpose, the book proposes different invasion strategies for claiming a desired number of processing elements (PEs) or region within a TCPA exclusively for an application according to performance requirements. It not only presents models for implementing invasion strategies in hardware, but also proposes two distinct design flavors for dedicated hardware components to support invasion control on TCPAs.Theory of Digital Automata
By Oleksandr Petrov, Mykola Karpinskyy, Bohdan Borowik, Valery Lahno. 2012
This book serves a dual purpose: firstly to combine the treatment of circuits and digital electronics, and secondly, to establish…
a strong connection with the contemporary world of digital systems. The need for this approach arises from the observation that introducing digital electronics through a course in traditional circuit analysis is fast becoming obsolete. Our world has gone digital. Automata theory helps with the design of digital circuits such as parts of computers, telephone systems and control systems. A complete perspective is emphasized, because even the most elegant computer architecture will not function without adequate supporting circuits. The focus is on explaining the real-world implementation of complete digital systems. In doing so, the reader is prepared to immediately begin design and implementation work. This work serves as a bridge to take readers from the theoretical world to the everyday design world where solutions must be complete to be successful.New Approaches in Modeling Multiphase Flows and Dispersion in Turbulence, Fractal Methods and Synthetic Turbulence
By J. M. Redondo, A. F. Nowakowski, C. Cambon, F.C.G.A. Nicolleau, J. C. Vassilicos, M. Reeks. 2011
This book contains a collection of the main contributions from the first five workshops held by Ercoftac Special Interest Group…
on Synthetic Turbulence Models (SIG42. It is intended as an illustration of the sig's activities and of the latest developments in the field. This volume investigates the use of Kinematic Simulation (KS) and other synthetic turbulence models for the particular application to environmental flows. This volume offers the best syntheses on the research status in KS, which is widely used in various domains, including Lagrangian aspects in turbulence mixing/stirring, particle dispersion/clustering, and last but not least, aeroacoustics. Flow realizations with complete spatial, and sometime spatio-temporal, dependency, are generated via superposition of random modes (mostly spatial, and sometime spatial and temporal, Fourier modes), with prescribed constraints such as: strict incompressibility (divergence-free velocity field at each point), high Reynolds energy spectrum. Recent improvements consisted in incorporating linear dynamics, for instance in rotating and/or stably-stratified flows, with possible easy generalization to MHD flows, and perhaps to plasmas. KS for channel flows have also been validated. However, the absence of "sweeping effects" in present conventional KS versions is identified as a major drawback in very different applications: inertial particle clustering as well as in aeroacoustics. Nevertheless, this issue was addressed in some reference papers, and merits to be revisited in the light of new studies in progress.The Crossing of Heaven
By Karl Gustafson, Ioannis Antoniou. 2011
Among the group of physics honors students huddled in 1957 on a Colorado mountain watching Sputnik bisect the heavens, one…
young scientist was destined, three short years later, to become a key player in America's own top-secret spy satellite program. One of our era's most prolific mathematicians, Karl Gustafson was given just two weeks to write the first US spy satellite's software. The project would fundamentally alter America's Cold War strategy, and this autobiographical account of a remarkable academic life spent in the top flight tells this fascinating inside story for the first time. Gustafson takes you from his early pioneering work in computing, through fascinating encounters with Nobel laureates and Fields medalists, to his current observations on mathematics, science and life. He tells of brushes with death, being struck by lightning, and the beautiful women who have been a part of his journey.Schema Matching and Mapping
By Erhard Rahm, Angela Bonifati, Zohra Bellahsene. 2010
Schema Matching and Mapping provides an overview of the ways in which the schema and ontology matching and mapping tools…
have addressed information systems requirements. Topics include effective methods for matching data, mapping transformation verification, mapping-driven schema evolution and merging.Fundamentals of Matrix-Analytic Methods
By Qi-Ming He. 2014
Fundamentals of Matrix-Analytic Methods targets advanced-level students in mathematics, engineering and computer science. It focuses on the fundamental parts of…
Matrix-Analytic Methods, Phase-Type Distributions, Markovian arrival processes and Structured Markov chains and matrix geometric solutions. New materials and techniques are presented for the first time in research and engineering design. This book emphasizes stochastic modeling by offering probabilistic interpretation and constructive proofs for Matrix-Analytic Methods. Such an approach is especially useful for engineering analysis and design. Exercises and examples are provided throughout the book.State Space Grids
By Tom Hollenstein. 2013
Human development from birth through adulthood is a complex interplay of many interacting forces. Children's internal processes are manifest in…
behaviors that are sculpted by their experiences, most notably with primary caregivers. Because the discipline of psychology explores human behavior and cognition, the techniques employed for developmental analysis must be able to describe, depict, and quantify these complex processes. State Space Grids provides the framework, basic method, rationale, and advanced techniques for translating the behavior of children, adolescents, and parents into visible, traceable data. This seminar-between-covers takes readers step by step from conceptualization through implementation of projects, with examples from a range of current research within and outside child development. Links are included for the GridWare software program and related user resources. And although state space grids need not be used only to analyze dynamic systems, they serve as an excellent tool for honing systemic thinking. Key coverage in this volume includes: Dynamic systems and the origins of state space grids. The state of research using state space grids. Introducing GridWare and how it works. How to use state space grids, from idea through finished project. Within-grid and between-grid analysis. Conducting advanced analysis. State Space Grids is an essential reference for researchers across such disciplines as psychology, neuroscience, economics, computer science, and agricultural science.Using Event-B for Critical Device Software Systems
By Neeraj Kumar Singh. 2012
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems…
using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation). This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies in order to improve existing medical protocols. This allows the key issue - that formal methods are not currently integrated into established critical systems development processes - to be discussed in a highly effective and informative way. Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health domain will find the cardiac pacemaker case study of particular value.Deterministic Extraction from Weak Random Sources
By Ariel Gabizon. 2010
A deterministic extractor is a function that extracts almost perfect random bits from a weak random source. In this research…
monograph the author constructs deterministic extractors for several types of sources. A basic theme in this work is a methodology of recycling randomness which enables increasing the output length of deterministic extractors to near optimal length. The author's main work examines deterministic extractors for bit-fixing sources, deterministic extractors for affine sources and polynomial sources over large fields, and increasing the output length of zero-error dispersers. This work will be of interest to researchers and graduate students in combinatorics and theoretical computer science.Seminal Contributions to Modelling and Simulation
By Khalid Al-Begain, Andrzej Bargiela. 2016
Marking the 30th anniversary of the European Conference on Modelling and Simulation (ECMS), this inspirational text/reference reviews significant advances in…
the field of modelling and simulation, as well as key applications of simulation in other disciplines. The broad-ranging volume presents contributions from a varied selection of distinguished experts chosen from high-impact keynote speakers and best paper winners from the conference, including a Nobel Prize recipient, and the first president of the European Council for Modelling and Simulation (also abbreviated to ECMS). This authoritative book will be of great value to all researchers working in the field of modelling and simulation, in addition to scientists from other disciplines who make use of modelling and simulation approaches in their work.Learning MATLAB
By Walter Gander. 2015
This comprehensive and stimulating introduction to Matlab, a computer language now widely used for technical computing, is based on an…
introductory course held at Qian Weichang College, Shanghai University, in the fall of 2014. Teaching and learning a substantial programming language aren't always straightforward tasks. Accordingly, this textbook is not meant to cover the whole range of this high-performance technical programming environment, but to motivate first- and second-year undergraduate students in mathematics and computer science to learn Matlab by studying representative problems, developing algorithms and programming them in Matlab. While several topics are taken from the field of scientific computing, the main emphasis is on programming. A wealth of examples are completely discussed and solved, allowing students to learn Matlab by doing: by solving problems, comparing approaches and assessing the proposed solutions.Programming for Computations - MATLAB/Octave
By Svein Linge, Hans Petter Langtangen. 2016
This book presentscomputer programming as a keymethod for solving mathematical problems. There are two versions of the book,one for MATLAB…
and onefor Python. The book wasinspired by the Springer bookTCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible andconcise, in keeping with the needs of engineering students. The book outlines the shortest possible path from no previous experience with programming to a set ofskills that allows the students to write simple programs for solving commonmathematical problems withnumerical methods in engineering and science courses. The emphasis is on generic algorithms, cleandesign of programs, use of functions, and automatic tests for verification.Viability and Resilience of Complex Systems
By Nigel Gilbert, Guillaume Deffuant. 2010
One common characteristics of a complex system is its ability to withstand major disturbances and the capacity to rebuild itself.…
Understanding how such systems demonstrate resilience by absorbing or recovering from major external perturbations requires both quantitative foundations and a multidisciplinary view on the topic. This book demonstrates how new methods can be used to identify the actions favouring the recovery from perturbations. Examples discussed include bacterial biofilms resisting detachment, grassland savannahs recovering from fire, the dynamics of language competition and Internet social networking sites overcoming vandalism. The reader is taken through an introduction to the idea of resilience and viability and shown the mathematical basis of the techniques used to analyse systems. The idea of individual or agent-based modelling of complex systems is introduced and related to analytically tractable approximations of such models. A set of case studies illustrates the use of the techniques in real applications, and the final section describes how one can use new and elaborate software tools for carrying out the necessary calculations. The book is intended for a general scientific audience of readers from the natural and social sciences, yet requires some mathematics to gain a full understanding of the more theoretical chapters. It is an essential point of reference for those interested in the practical application of the concepts of resilience and viabilityParametric Packet-based Audiovisual Quality Model for IPTV services
By Marie-Neige Garcia. 2014
This volume presents a parametric, packet-based, comprehensive model to measure and predict the audiovisual quality of Internet Protocol Television services…
as it is likely to be perceived by the user. The comprehensive model is divided into three sub-models referred to as the audio model, the video model, and the audiovisual model. The audio and video models take as input a parametric description of the audiovisual processing path, and deliver distinct estimates for both the audio and video quality. These distinct estimates are eventually used as input data for the audiovisual model. This model provides an overall estimate of the perceived audiovisual quality in total. The parametric description can be used as diagnostic information. The quality estimates and diagnostic information can be practically applied to enhance network deployment and operations. Two applications come to mind in particular: Network planning and network service quality monitoring. The audio model can be used indifferently for both applications. However, two variants of the video model have been developed in order to address particular needs of the applications mentioned above. The comprehensive model covers effects due to resolution, coding, and IP-packet loss in case of RTP-type transport. The model applied to quality monitoring is standardized under the ITU-T Recommendations P. 1201 and P. 1201. 2.Immersive Education
By Johanna Pirker, Martin Ebner, Kai Erenli, Rainer Malaka, Aaron E. Walsh. 2015
This book constitutes the refereed proceedings of the 4th European Immersive Education Summit, EiED 2014, held in Vienna, Austria, in…
November 2014. The 11 revised full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on innovation and technological advancements in e-learning; immersive and emerging technologies for cultural and digital heritage.Mathematics for Computer Graphics
By John A. Vince. 2010
John Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality,…
CAD, and other areas of computer graphics. Covering all the mathematical techniques required to resolve geometric problems and design computer programs for computer graphic applications, each chapter explores a specific mathematical topic prior to moving forward into the more advanced areas of matrix transforms, 3D curves and surface patches. Problem-solving techniques using vector analysis and geometric algebra are also discussed. All the key areas are covered including: Numbers, Algebra, Trigonometry, Coordinate geometry, Transforms, Vectors, Curves and surfaces, Barycentric coordinates, Analytic geometry. Plus - and unusually in a student textbook - a chapter on geometric algebra is included.Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues
By Lorenzo Magnani. 2014
This book contains contributions presented during the international conference on Model-Based Reasoning (MBR´012), held on June 21-23 in Sestri Levante,…
Italy. Interdisciplinary researchers discuss in this volume how scientific cognition and other kinds of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. Some of the contributions analyzed the problem of model-based reasoning in technology and stressed the issues of scientific and technological innovation. The book is divided in three main parts: models, mental models, representations; abduction, problem solving and practical reasoning; historical, epistemological and technological issues. The volume is based on the papers that were presented at the internationalMovie Analytics
By Dominique Haughton, Mark-David Mclaughlin, Kevin Mentzer, Changan Zhang. 2015
Movies will never be the same after you learn how to analyze movie data, including key data mining, text mining and social…
network analytics concepts. These techniques may then be used in endless other contexts. In the movie application, this topic opens a lively discussion on the current developments in big data from a data science perspective. This book is geared to applied researchers and practitioners and is meant to be practical. The reader will take a hands-on approach, running text mining and social network analyses with software packages covered in the book. These include R, SAS, Knime, Pajek and Gephi. The nitty-gritty of how to build datasets needed for the various analyses will be discussed as well. This includes how to extract suitable Twitter data and create a co-starring network from the IMDB database given memory constraints. The authors also guide the reader through an analysis of movie attendance data via a realistic dataset from France.