Refine Results
Sort By
From
To
Page 16
Page 16
Astronomical sketching : A step-by-step introduction
At some time we have all gazed through the telescope eyepiece at the magnificent rings and banded globe of Saturn, or seen long shadows reaching across crater floors at the Moon’s terminator – and wondered at the sheer beauty of the sight. It seems almost anachronistic to think of sketching when CCD imaging is available, but astronomical sketching provides an entirely different and deeply personal experience. It means spending time at the eyepiece to really look at what you can see, training your eye to perceive ever greater detail to take the fullest advantage of your telescope's light grasp and resolution.
Aritmetica, crittografia e codici = Arithmetic, cryptography and codes
The basic techniques of algebra and number theory useful in recent applications to cryptography and codes are developed, with the aim of being elementary and self-sufficient. The emphasis is on computational problems. This part of the volume can be useful as a textbook for a first course in algebra for mathematicians, computer scientists or engineers. Important applications of algebra and geometry to cryptography and codes are then illustrated. Both, cryptography and codes have significant applications in daily life which are illustrated here. Cryptography is developed in detail in much of its classic and current aspects, and both private and public key cryptography are developed. Cryptography with the use of elliptic curves on finite fields is also illustrated. A chapter introducing the subject is dedicated to linear codes.
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Applied Graph Theory in Computer Vision and Pattern Recognition
It presents the application of graph theory to low-level processing of digital images, presents graph-theoretic learning algorithms for high-level computer vision and pattern recognition applications, and provides detailed descriptions of several applications of graph-based methods to real-world pattern recognition tasks.
Applied Charged Particle Optics
Authored by a pioneer of the field, this overview of charged particle optics provides a solid introduction to the field for all physicists wishing to design their own apparatus or better understand the instruments with which they work. Applied Charged Particle Optics begins by introducing electrostatic lenses and fields used for acceleration, focussing and deflection of ions or electrons. Subsequent chapters give detailed descriptions of electrostatic deflection elements, uniform and non-uniform magnetic sector fields, image aberrations, and, finally, fringe field confinement. A chapter on applications is added.
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
Analytic Methods for Design Practice
In the competitive world of modern engineering, rigorous and definite design methodologies are needed. However, many parts of engineering design are performed in either an ad-hoc manner or based on the intuition of the engineer.Analytic Methods for Design Practice is the first book to look at both stages of the design process – conceptual design and detailed design – and detail design methodologies for every step of the entire design process. The book introduces the following analytic design methodologies and explores their usefulness with many mathematical and practical examples: Axiomatic design; Optimization; Design of experiments; Robust design; Structural optimization; Dynamic response optimization; and Multidisciplinary optimization. A chapter of the book is devoted to case studies showing how practical design problems can be solved with analytic design methods based on Professor Park’s experiences of teaching design engineering over the past ten years.
Analysis, Synthesis, and Perception of Musical Sounds : The Sound of Music
Analysis, Synthesis, and Perception of Musical Sounds contains a detailed treatment of basic methods for analysis and synthesis of musical sounds, including the phase vocoder method, the McAulay-Quatieri frequency-tracking method, the constant-Q transform, and methods for pitch tracking with several examples shown. Various aspects of musical sound spectra such as spectral envelope, spectral centroid, spectral flux, and spectral irregularity are defined and discussed. One chapter is devoted to the control and synthesis of spectral envelopes. Two advanced methods of analysis/synthesis are given: "Sines Plus Transients Plus Noise" and "Spectrotemporal Reassignment" are covered. Methods for timbre morphing are given. The last two chapters discuss the perception of musical sounds based on discrimination and multidimensional scaling timbre models.
Analysis of failure in fiber polymer laminates : the theory of Alfred Puck
This book presents for the first time comprehensively the Theory of Alfred Puck on failure in Fiber Polymer Laminates. After a brief introduction into the failure analysis of laminates and its history, the text focuses first on Puck’s fracture criteria and gives detailed information on their physical background, mathematical derivation and application. Another core part of Puck’s Theory is his concept for Post Failure Analysis. Here, too, the physical background and the analytical procedure are presented. The theoretical chapters are completed by the presentation of the latest developments, namely the consideration of residual stresses and probabilistic effects. The second main part of the book deals with the extensive experimental verification program which has been accomplished since the mid 1990’s. As a result of this work, the Puck Theory can be regarded as better verified than any other theory. All experimental set ups and the major results are presented and explained.
Analyse asymptotique et couche limite = Asymptotic analysis and boundary layer
The aim of the book is to give teachers and students (from Bac + 4) in applied mathematics and fluid mechanics a teaching and learning tool illustrated by fifty problems accompanied by their detailed correction. This book presents a new method of asymptotic analysis for "boundary layer" problems. This is called MASC "Method of Complementary Successive Approximations". The first half of the book is devoted, in addition to the presentation of the MASC, to organize the knowledge necessary for the asymptotic analysis and to give the keys allowing the understanding of what is a problem called "boundary layer" and the methods allowing. to build an approximation. The second part is devoted to the application of MASC in fluid mechanics and to the comparison with the more traditional methods resulting from the famous MDAR, "Method of Connected Asymptotic Developments".
Analog Design Essentials
The book starts with elementary stages in building up operational amplifiers. The synthesis of opamps is covered in great detail, such that lowest power consumption is always guaranteed. Many examples are included, operating at low supply voltages. Chapters on noise, distortion, filters, ADC/DACs and oscillators follow. These are all based on the extensive amount of teaching that the author has carried out both at universities and companies world-wide. All chapters have been drawn up specifically for self-study. They aim, however, at different levels of understanding. All start with elementary material. Most chapters also contain advanced material, especially from Chapter 9 onwards.
Analisi dei sistemi dinamici = Analysis of dynamic systems
This is if you propose to provide the letter with a detailed overview of the main modellistic methodology used for the rappresentation and analysis of the linear dynamic system in continuous time (with alcuni cenni ai non-linear system). The text is a thought status for the New Educational Ordinance that provides for a tri-annual Laurea and a biennial Specialist Laurea. The objective è quello di coprire i contenuti di: an introductory insertion all’Automatica per la Laurea, thinking of a corso di studi which envisages a corso di Analisi dei Sistemi cousin and a secondo corso di Controlli Automatici; an advanced insegnamento di Analisi dei Sistemi per la Laurea Specialistica.
An Introduction to Structural Optimization
This textbook gives an introduction to all three classes of geometry optimization problems of mechanical structures: sizing, shape and topology optimization. The style is explicit and concrete, focusing on problem formulations and numerical solution methods. The treatment is detailed enough to enable readers to write their own implementations. On the book's homepage, programs may be downloaded that further facilitate the learning of the material covered.
An introduction to relativistic processes and the standard model of electroweak interactions
The first part of the volume is devoted to the description of scattering processes in the context of relativistic quantum field theory. The use of the semi-classical approximation allows us to illustrate the relevant computation techniques in a reasonably small amount of space. Our approach to relativistic processes is original in many respects. The second part contains a detailed description of the construction of the standard model of electroweak interactions, with special attention to the mechanism of particle mass generation. The extension of the standard model to include neutrino masses is also described. We have included a number of detailed computations of cross sections and decay rates of pedagogical and phenomenological relevance.
An Introduction to Meshfree Methods and Their Programming
This book aims to present meshfree methods in a friendly and straightforward manner, so that beginners can very easily understand, comprehend, program, implement, apply and extend these methods. It provides first the fundamentals of numerical analysis that are particularly important to meshfree methods. Typical meshfree methods, such as EFG, RPIM, MLPG, LRPIM, MWS and collocation methods are then introduced systematically detailing the formulation, numerical implementation and programming. Many well-tested computer source codes developed by the authors are attached with useful descriptions. The application of the codes can be readily performed using the examples with input and output files given in table form. These codes consist of most of the basic meshfree techniques, and can be easily extended to other variations of more complex procedures of meshfree methods. Readers can easily practice with the codes provided to effective learn and comprehend the basics of meshfree methods.
An Introduction to Difference Equations
The book integrates both classical and modern treatments of difference equations. It contains the most updated and comprehensive material, yet the presentation is simple enough for the book to be used by advanced undergraduate and beginning graduate students. This third edition includes more proofs, more graphs, and more applications. The author has also updated the contents by adding a new chapter on Higher Order Scalar Difference Equations, along with recent results on local and global stability of one-dimensional maps, a new section on the various notions of asymptoticity of solutions, a detailed proof of Levin-May Theorem, and the latest results on the LPA flour-beetle model
Algorithmic topology and classification of 3-manifolds
This book provides a comprehensive and detailed account of different topics in algorithmic 3-dimensional topology. The book is intended to combine the pedagogical approach of a graduate textbook with the completeness and reliability of a research monograph.
Airglow as an Indicator of Upper Atmospheric Structure and Dynamics
The book summarizes international progress over the last few decades in upper atmosphere airglow research. Measurement methods, theoretical concepts and empirical models of a wide spectrum of upper atmospheric emissions and their variability are considered. The book contains a detailed bibliography of studies related to the upper atmosphere airglow.
Air quality integrated assessment : A European perspective
This book reports on the results of an extended survey conducted across Europe within the framework of the APPRAISAL FP7 project to determine the extent to which an integrated assessment approach to air quality is being adopted, on the one hand, by regional and local authorities to develop air quality plans and, on the other, by researchers. Following a detailed analysis of the role and structure of the components of an integrated assessment study, the results of the survey are considered from a variety of perspectives.
Advancing Human Assessment : The Methodological, Psychological and Policy Contributions of ETS
Describes the extensive contributions made toward the advancement of human assessment by scientists from one of the world’s leading research institutions, Educational Testing Service. The book’s four major sections detail research and development in measurement and statistics, education policy analysis and evaluation, scientific psychology, and validity. Many of the developments presented have become de-facto standards in educational and psychological measurement, including in item response theory (IRT), linking and equating, differential item functioning (DIF), and educational surveys like the National Assessment of Educational Progress (NAEP), the Programme of international Student Assessment (PISA), the Progress of International Reading Literacy Study (PIRLS) and the Trends in Mathematics and Science Study (TIMSS). In addition to its comprehensive coverage of contributions to the theory and methodology of educational and psychological measurement and statistics,
