Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

computerarchitectuur --- programmering --- computerbouwstenen --- assembler --- digitale logica --- instructiesysteem --- microarchitectuur --- multicomputer --- computerbasiskennis --- Unix --- Computer architecture. Operating systems --- hardware --- 681.3*A1 --- 681.3*C0 --- 681.31 --- elektrotechniek --- computernetwerken --- systeemontwikkeling --- 681.3 --- Computerarchitectuur --- CPU --- besturingstechniek --- 681.3*A1 Introductory and survey --- Introductory and survey --- Computerwetenschap--?*C0 --- Computerarchitectuur. Informaticahardware. --- Contains audio-visual material --- Computerarchitectuur. Informaticahardware --- 004.2

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability. This state-of-the-art survey contains expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2007), organized at the 2007 International Conference on Dependable Systems and Networks (DSN 2007), held in Edinburgh, UK, in June 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2007), organized as part of a federated conference on Component-Based Software Engineering and Software Architecture (CompArch 2007), held in Medford, MA, USA, in July 2007. It also contains invited papers written by recognized experts in the area. The 14 papers are organized in topical sections on critical infrastructures, rigorous design/fault tolerance, and verification and validation.

Computer architecture --- Computer systems --- Fault-tolerant computing --- Reliability --- Information Technology --- Software Engineering --- 681.3*C4 --- 681.3*C0 --- 681.3*D211 --- 681.3*C4 Performance of systems (Computer systems organization) --- Performance of systems (Computer systems organization) --- Computer systems organization. General: hardware/software interfaces; instruction set design (e.g., RISC, CICS, VLIW); modeling of computer architecture; system architectures; systems specification methodology --- Software architectures: data abstractio, domain-specific architectures, information hiding, languages (e.g. description, interconnection, definition), patterns (e.g. client/server, pipeline, blackboard) --- Software engineering. --- Operating systems (Computers). --- Computer science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Operating Systems. --- Models and Principles. --- Informatics --- Science --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Operating systems --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Machine theory --- Calculators --- Cyberspace

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Ramsey theory is a fast-growing area of combinatorics with deep connections to other fields of mathematics such as topological dynamics, ergodic theory, mathematical logic, and algebra. The area of Ramsey theory dealing with Ramsey-type phenomena in higher dimensions is particularly useful. Introduction to Ramsey Spaces presents in a systematic way a method for building higher-dimensional Ramsey spaces from basic one-dimensional principles. It is the first book-length treatment of this area of Ramsey theory, and emphasizes applications for related and surrounding fields of mathematics, such as set theory, combinatorics, real and functional analysis, and topology. In order to facilitate accessibility, the book gives the method in its axiomatic form with examples that cover many important parts of Ramsey theory both finite and infinite. An exciting new direction for combinatorics, this book will interest graduate students and researchers working in mathematical subdisciplines requiring the mastery and practice of high-dimensional Ramsey theory.

Algebraic spaces. --- Ramsey theory. --- Ramsey theory --- Algebraic spaces --- Mathematics --- Algebra --- Physical Sciences & Mathematics --- Spaces, Algebraic --- Geometry, Algebraic --- Combinatorial analysis --- Graph theory --- Analytic set. --- Axiom of choice. --- Baire category theorem. --- Baire space. --- Banach space. --- Bijection. --- Binary relation. --- Boolean prime ideal theorem. --- Borel equivalence relation. --- Borel measure. --- Borel set. --- C0. --- Cantor cube. --- Cantor set. --- Cantor space. --- Cardinality. --- Characteristic function (probability theory). --- Characterization (mathematics). --- Combinatorics. --- Compact space. --- Compactification (mathematics). --- Complete metric space. --- Completely metrizable space. --- Constructible universe. --- Continuous function (set theory). --- Continuous function. --- Corollary. --- Countable set. --- Counterexample. --- Decision problem. --- Dense set. --- Diagonalization. --- Dimension (vector space). --- Dimension. --- Discrete space. --- Disjoint sets. --- Dual space. --- Embedding. --- Equation. --- Equivalence relation. --- Existential quantification. --- Family of sets. --- Forcing (mathematics). --- Forcing (recursion theory). --- Gap theorem. --- Geometry. --- Ideal (ring theory). --- Infinite product. --- Lebesgue measure. --- Limit point. --- Lipschitz continuity. --- Mathematical induction. --- Mathematical problem. --- Mathematics. --- Metric space. --- Metrization theorem. --- Monotonic function. --- Natural number. --- Natural topology. --- Neighbourhood (mathematics). --- Null set. --- Open set. --- Order type. --- Partial function. --- Partially ordered set. --- Peano axioms. --- Point at infinity. --- Pointwise. --- Polish space. --- Probability measure. --- Product measure. --- Product topology. --- Property of Baire. --- Ramsey's theorem. --- Right inverse. --- Scalar multiplication. --- Schauder basis. --- Semigroup. --- Sequence. --- Sequential space. --- Set (mathematics). --- Set theory. --- Sperner family. --- Subsequence. --- Subset. --- Subspace topology. --- Support function. --- Symmetric difference. --- Theorem. --- Topological dynamics. --- Topological group. --- Topological space. --- Topology. --- Tree (data structure). --- Unit interval. --- Unit sphere. --- Variable (mathematics). --- Well-order. --- Zorn's lemma.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book offers the first comprehensive introduction to wave scattering in nonstationary materials. G. F. Roach's aim is to provide an accessible, self-contained resource for newcomers to this important field of research that has applications across a broad range of areas, including radar, sonar, diagnostics in engineering and manufacturing, geophysical prospecting, and ultrasonic medicine such as sonograms. New methods in recent years have been developed to assess the structure and properties of materials and surfaces. When light, sound, or some other wave energy is directed at the material in question, "imperfections" in the resulting echo can reveal a tremendous amount of valuable diagnostic information. The mathematics behind such analysis is sophisticated and complex. However, while problems involving stationary materials are quite well understood, there is still much to learn about those in which the material is moving or changes over time. These so-called non-autonomous problems are the subject of this fascinating book. Roach develops practical strategies, techniques, and solutions for mathematicians and applied scientists working in or seeking entry into the field of modern scattering theory and its applications. Wave Scattering by Time-Dependent Perturbations is destined to become a classic in this rapidly evolving area of inquiry.

Waves --- Scattering (Physics) --- Perturbation (Mathematics) --- Perturbation equations --- Perturbation theory --- Approximation theory --- Dynamics --- Functional analysis --- Mathematical physics --- Atomic scattering --- Atoms --- Nuclear scattering --- Particles (Nuclear physics) --- Scattering of particles --- Wave scattering --- Collisions (Nuclear physics) --- Particles --- Collisions (Physics) --- Cycles --- Hydrodynamics --- Benjamin-Feir instability --- Mathematics. --- Scattering --- Acoustic wave equation. --- Acoustic wave. --- Affine space. --- Angular frequency. --- Approximation. --- Asymptotic analysis. --- Asymptotic expansion. --- Banach space. --- Basis (linear algebra). --- Bessel's inequality. --- Boundary value problem. --- Bounded operator. --- C0-semigroup. --- Calculation. --- Characteristic function (probability theory). --- Classical physics. --- Codimension. --- Coefficient. --- Continuous function (set theory). --- Continuous function. --- Continuous spectrum. --- Convolution. --- Differentiable function. --- Differential equation. --- Dimension (vector space). --- Dimension. --- Dimensional analysis. --- Dirac delta function. --- Dirichlet problem. --- Distribution (mathematics). --- Duhamel's principle. --- Eigenfunction. --- Eigenvalues and eigenvectors. --- Electromagnetism. --- Equation. --- Existential quantification. --- Exponential function. --- Floquet theory. --- Fourier inversion theorem. --- Fourier series. --- Fourier transform. --- Fredholm integral equation. --- Frequency domain. --- Helmholtz equation. --- Hilbert space. --- Initial value problem. --- Integral equation. --- Integral transform. --- Integration by parts. --- Inverse problem. --- Inverse scattering problem. --- Lebesgue measure. --- Linear differential equation. --- Linear map. --- Linear space (geometry). --- Locally integrable function. --- Longitudinal wave. --- Mathematical analysis. --- Mathematical physics. --- Metric space. --- Operator theory. --- Ordinary differential equation. --- Orthonormal basis. --- Orthonormality. --- Parseval's theorem. --- Partial derivative. --- Partial differential equation. --- Phase velocity. --- Plane wave. --- Projection (linear algebra). --- Propagator. --- Quantity. --- Quantum mechanics. --- Reflection coefficient. --- Requirement. --- Riesz representation theorem. --- Scalar (physics). --- Scattering theory. --- Scattering. --- Scientific notation. --- Self-adjoint operator. --- Self-adjoint. --- Series expansion. --- Sine wave. --- Spectral method. --- Spectral theorem. --- Spectral theory. --- Square-integrable function. --- Subset. --- Theorem. --- Theory. --- Time domain. --- Time evolution. --- Unbounded operator. --- Unitarity (physics). --- Vector space. --- Volterra integral equation. --- Wave function. --- Wave packet. --- Wave propagation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In 1920, Pierre Fatou expressed the conjecture that--except for special cases--all critical points of a rational map of the Riemann sphere tend to periodic orbits under iteration. This conjecture remains the main open problem in the dynamics of iterated maps. For the logistic family x- ax(1-x), it can be interpreted to mean that for a dense set of parameters "a," an attracting periodic orbit exists. The same question appears naturally in science, where the logistic family is used to construct models in physics, ecology, and economics. In this book, Jacek Graczyk and Grzegorz Swiatek provide a rigorous proof of the Real Fatou Conjecture. In spite of the apparently elementary nature of the problem, its solution requires advanced tools of complex analysis. The authors have written a self-contained and complete version of the argument, accessible to someone with no knowledge of complex dynamics and only basic familiarity with interval maps. The book will thus be useful to specialists in real dynamics as well as to graduate students.

Geodesics (Mathematics) --- Polynomials. --- Mappings (Mathematics) --- Maps (Mathematics) --- Functions --- Functions, Continuous --- Topology --- Transformations (Mathematics) --- Algebra --- Geometry, Differential --- Global analysis (Mathematics) --- Mathematics --- Absolute value. --- Affine transformation. --- Algebraic function. --- Analytic continuation. --- Analytic function. --- Arithmetic. --- Automorphism. --- Big O notation. --- Bounded set (topological vector space). --- C0. --- Calculation. --- Canonical map. --- Change of variables. --- Chebyshev polynomials. --- Combinatorics. --- Commutative property. --- Complex number. --- Complex plane. --- Complex quadratic polynomial. --- Conformal map. --- Conjecture. --- Conjugacy class. --- Conjugate points. --- Connected component (graph theory). --- Connected space. --- Continuous function. --- Corollary. --- Covering space. --- Critical point (mathematics). --- Dense set. --- Derivative. --- Diffeomorphism. --- Dimension. --- Disjoint sets. --- Disjoint union. --- Disk (mathematics). --- Equicontinuity. --- Estimation. --- Existential quantification. --- Fibonacci. --- Functional equation. --- Fundamental domain. --- Generalization. --- Great-circle distance. --- Hausdorff distance. --- Holomorphic function. --- Homeomorphism. --- Homotopy. --- Hyperbolic function. --- Imaginary number. --- Implicit function theorem. --- Injective function. --- Integer. --- Intermediate value theorem. --- Interval (mathematics). --- Inverse function. --- Irreducible polynomial. --- Iteration. --- Jordan curve theorem. --- Julia set. --- Limit of a sequence. --- Linear map. --- Local diffeomorphism. --- Mathematical induction. --- Mathematical proof. --- Maxima and minima. --- Meromorphic function. --- Moduli (physics). --- Monomial. --- Monotonic function. --- Natural number. --- Neighbourhood (mathematics). --- Open set. --- Parameter. --- Periodic function. --- Periodic point. --- Phase space. --- Point at infinity. --- Polynomial. --- Projection (mathematics). --- Quadratic function. --- Quadratic. --- Quasiconformal mapping. --- Renormalization. --- Riemann sphere. --- Riemann surface. --- Schwarzian derivative. --- Scientific notation. --- Subsequence. --- Theorem. --- Theory. --- Topological conjugacy. --- Topological entropy. --- Topology. --- Union (set theory). --- Unit circle. --- Unit disk. --- Upper and lower bounds. --- Upper half-plane. --- Z0.