Tabla de Contenidos: “…Frontmatter 1 Inhalt 5 Vorbemerkung des Reihenherausgebers 7 Einleitung 9 HipHop am Main: Die Lokalisierung von Rap-Musik und HipHop-Kultur 26 »Wir schreien null-sechs-neun«: Ein Blick auf die Frankfurter Szene 43 »Interpolation and sampling«: Kulturelles Gedächtnis und Intertextualität im HipHop 64 Populäre Stadtansichten. …”

Tabla de Contenidos: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach – A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”

Tabla de Contenidos: “…Digital Image Inpainting, Image Dejittering, and Optical Flow Estimation -- Image Inpainting Using a TV-Stokes Equation -- Error Analysis for H1 Based Wavelet Interpolations -- Image Dejittering Based on Slicing Moments -- CLG Method for Optical Flow Estimation Based on Gradient Constancy Assumption -- Denoising and Total Variation Methods -- On Multigrids for Solving a Class of Improved Total Variation Based Staircasing Reduction Models -- A Method for Total Variation-based Reconstruction of Noisy and Blurred Images -- Minimization of an Edge-Preserving Regularization Functional by Conjugate Gradient Type Methods -- A Newton-type Total Variation Diminishing Flow -- Chromaticity Denoising using Solution to the Skorokhod Problem -- Improved 3D Reconstruction of Interphase Chromosomes Based on Nonlinear Diffusion Filtering -- Image Segmentation -- Some Recent Developments in Variational Image Segmentation -- Application of Non-Convex BV Regularization for Image Segmentation -- Region-Based Variational Problems and Normal Alignment – Geometric Interpretation of Descent PDEs -- Fast PCLSM with Newton Updating Algorithm -- Fast Numerical Methods -- Nonlinear Multilevel Schemes for Solving the Total Variation Image Minimization Problem -- Fast Implementation of Piecewise Constant Level Set Methods -- The Multigrid Image Transform -- Minimally Stochastic Schemes for Singular Diffusion Equations -- Image Registration -- Total Variation Based Image Registration -- Variational Image Registration Allowing for Discontinuities in the Displacement Field -- Inverse Problems -- Shape Reconstruction from Two-Phase Incompressible Flow Data using Level Sets -- Reservoir Description Using a Binary Level Set Approach with Additional Prior Information About the Reservoir Model…”

Tabla de Contenidos: “…Subexpressions and Parts of Expressions""; ""Chapter 3: Polynomial Divisibility, Interpolation, and Algebraic Extensions""; ""3-1. Commands for Handling Polynomial Expressions""…”

Tabla de Contenidos: “…Z·olzer 3.1 Basics 69 3.1.1 Upsampling and Anti-Imaging Filtering 70 3.1.2 Downsampling and Anti-Aliasing Filtering 71 3.2 Synchronous Conversion 72 3.3 Asynchronous Conversion 75 3.3.1 Single-stage Methods 78 3.3.2 Multistage Methods 80 3.3.3 Control of Interpolation Filters 83 3.4 Interpolation Methods 85 3.4.1 Polynomial Interpolation 85 3.4.2 Lagrange Interpolation 88 3.4.3 Spline Interpolation 89 3.5 Exercises 97 References 98 4 AD/DA Conversion 101; U.…”

Tabla de Contenidos: “…Chapter 7 Infinite Impulse Response Filters -- 7.1 General Expressions for the Properties of IIR Filters -- 7.2 Direct Calculations of the Coefficients Using Model Functions -- 7.2.1 Impulse Invariance -- 7.2.2 Bilinear Transform -- 7.2.2.1 Butterworth Filters -- 7.2.2.2 Elliptic Filters -- 7.2.2.3 Calculating any Filter by Transformation of a Low‐pass Filter -- 7.2.3 Iterative Techniques for Calculating IIR Filter with Frequency -- 7.2.3.1 Minimizing the Mean Square Error -- 7.2.3.2 Chebyshev Approximation -- 7.2.4 Filters Based on Spheroidal Sequences -- 7.2.5 Structures Representing the Transfer Function -- 7.2.6 Limiting the Coefficient Wordlength -- 7.2.7 Round‐Off Noise -- 7.2.8 Comparison of IIR and FIR Filters -- Exercises -- References -- Chapter 8 Digital Ladder Filters -- 8.1 Properties of Two‐Port Circuits -- 8.2 Simulated Ladder Filters -- 8.3 Switched‐Capacitor Filters -- 8.4 Lattice Filters -- 8.5 Comparison Elements -- Exercises -- References -- Chapter 9 Complex Signals - Quadrature Filters - Interpolators -- 9.1 The Fourier Transform of a Real and Causal Set -- 9.2 Analytic Signals -- 9.3 Calculating the Coefficients of an FIR Quadrature Filter -- 9.4 Recursive 90° Phase Shifters -- 9.5 Single Side‐Band Modulation -- 9.6 Minimum‐Phase Filters -- 9.7 Differentiator -- 9.8 Interpolation Using FIR Filters -- 9.9 Lagrange Interpolation -- 9.10 Interpolation by Blocks - Splines -- 9.11 Interpolations and Signal Restoration -- 9.12 Conclusion -- Exercises -- References -- Chapter 10 Multirate Filtering -- 10.1 Decimation and Z‐Transform -- 10.2 Decomposition of a Low‐Pass FIR Filter -- 10.3 Half‐Band FIR Filters -- 10.4 Decomposition with Half‐Band Filters -- 10.5 Digital Filtering by Polyphase Network -- 10.6 Multirate Filtering with IIR Elements -- 10.7 Filter Banks Using Polyphase Networks and DFT -- 10.8 Conclusion -- Exercises…”

Tabla de Contenidos: “…Interpolating Variables in a Stringin Python 2.4; Solution; Discussion; See Also; 1.18. …”

Tabla de Contenidos: “…Symmetry Properties of the Fourier TransformSymmetry Properties of Real-valued Signals; Continuous-Space Fourier Transform; 2-D Fourier Continuous Transform; Projection-Slice Theorem; Conclusions; Problems; References; 2 Sampling in Two Dimensions; 2.1 Sampling Theorem-Rectangular Case; Reconstruction Formula; Ideal Rectangular Sampling; 2.2 Sampling Theorem-General Regular Case; Hexagonal Reconstruction Formula; 2.3 Change of Sample Rate; Downsampling by Integers M1 x M2; Ideal Decimation; Upsampling by Integers L1 x L2; Ideal Interpolation; 2.4 Sample-Rate Change-General Case…”

Tabla de Contenidos: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. …”

Tabla de Contenidos: “…Static Analysis of Object-Oriented Languages -- Precise Analysis of String Expressions -- Modular Class Analysis with DATALOG -- Class-Level Modular Analysis for Object Oriented Languages -- Static Analysis of Concurrent Languages -- Checking Interference with Fractional Permissions -- Message Analysis for Concurrent Languages -- Instantaneous Termination in Pure Esterel -- Stack Size Analysis for Interrupt-Driven Programs -- Invited Paper -- Program Development Using Abstract Interpretation (And the Ciao System Preprocessor) -- Static Analysis of Functional Languages -- Selective Tail Call Elimination -- Inserting Safe Memory Reuse Commands into ML-Like Programs -- Static Analysis of Procedural Languages -- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis -- Client-Driven Pointer Analysis -- Abstract Interpretation of Programs as Markov Decision Processes -- Static Data Analysis -- A Logic for Analyzing Abstractions of Graph Transformation Systems -- Type Systems for Distributed Data Sharing -- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations -- Computer-Assisted Verification of a Protocol for Certified Email -- Invited Talk -- Craig Interpolation and Reachability Analysis -- Static Linear Relation Analysis -- Precise Widening Operators for Convex Polyhedra -- Cartesian Factoring of Polyhedra in Linear Relation Analysis -- Static Analysis Based Program Transformation -- Continuation-Based Partial Evaluation without Continuations -- Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications -- Code Compaction of Matching Single-Entry Multiple-Exit Regions -- Static Heap Analysis -- Existential Heap Abstraction Entailment Is Undecidable -- Typestate Verification: Abstraction Techniques and Complexity Results -- Static Analysis of Accessed Regions in Recursive Data Structures -- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management…”

Tabla de Contenidos: “…10.5 Conclusions11 Base Expected Loss and Base Correlation Smile; 11.1 Introduction; 11.2 Base Correlation and Expected Loss: Intuition; 11.3 Base Correlation and Interpolation; 11.4 Base Expected Loss; 11.5 Interpolation; 11.6 Numerical Results; 11.7 Conclusions; 12 Base Correlation Mapping; 12.1 Introduction; 12.2 Correlation Mapping for Bespoke Portfolios; 12.3 Numerical Results; 12.4 Final Comments; 13 Correlation from Collateral to Tranches; 13.1 Introduction; 13.2 Generic 1-Factor Model; 13.3 Monte Carlo Simulation and Importance Sampling; 13.4 Gaussian Copula Tranche Loss Correlations…”

Tabla de Contenidos: “…Video Sampling and Interpolation; 2.1 Introduction; 2.2 Spatiotemporal Sampling Structures; 2.3 Sampling and Reconstruction of Continuous Time-Varying Imagery; 2.4 Sampling Structure Conversion; 2.4.1 Frame-rate Conversion; 2.4.2 Spatiotemporal Sampling Structure Conversion; 2.5 Conclusion; References…”

Tabla de Contenidos: “…4.2 Colour-Matching Functions4.3 Interpolation Methods; 4.4 Extrapolation Methods; 4.5 Correction for Spectral Bandpass; 4.6 Tristimulus Values; 4.7 Chromaticity Diagrams; Chapter 5 CIELAB and Colour Difference; 5.1 Introduction; 5.2 CIELAB and CIELUV Colour Space; 5.2.1 A Representation of CIELAB Using MATLAB®; 5.3 CIELAB Colour Difference; 5.4 Optimised Colour-Difference Formulae; 5.4.1 CMC (l:c); 5.4.2 CIE 94; 5.4.3 CIEDE2000; Chapter 6 Chromatic-Adaptation Transforms and Colour Appearance; 6.1 Introduction; 6.2 Chromatic-Adaptation Transforms (CATs); 6.2.1 A Brief History of CATs…”

Tabla de Contenidos: “…. -- How it works... -- Interpolating a string -- Interpolator -- Getting ready -- How to do it... -- How it works... -- There's more... -- Interpolating colors -- Getting ready -- How to do it... -- How it works... -- See also -- Interpolating compound objects -- Getting ready -- How to do it... -- How it works... -- Chapter 5: Playing with Axes -- Introduction -- Working with basic axes -- Getting ready -- How to do it... -- How it works... -- Customizing ticks -- Getting ready -- How to do it... -- How it works... -- Drawing grid lines -- Getting ready -- How to do it... -- How it works... -- Dynamic rescaling of axes -- Getting ready -- How to do it... -- How it works... -- Chapter 6: Transition with Style -- Introduction -- What is Transition? …”

Tabla de Contenidos: “…Geospatial Analysis and Modeling of Urban Structure and Dynamics: An Overview -- Individual-Based Data Capture for Modeling Urban Structure and Dynamics -- High-Resolution Geographic Data and Urban Modeling: The Case of Residential Segregation -- Space Syntax and Pervasive Systems -- Decentralized Spatial Computing in Urban Environments -- Modeling Urban Complexity and Hierarchy -- Network Cities: A Complexity-Network Approach to Urban Dynamics and Development -- Scaling Analysis of the Cascade Structure of the Hierarchy of Cities -- Simulating and Modeling Urban Transportation Systems -- The Dilemma of On-Street Parking Policy: Exploring Cruising for Parking Using an Agent-Based Model -- Multiscale Modeling of Virtual Urban Environments and Associated Populations -- Imageability and Topological Eccentricity of Urban Streets -- A Spatial Analysis of Transportation Convenience in Beijing: Users’ Perception Versus Objective Measurements -- Object-Oriented Data Modeling of an Indoor/Outdoor Urban Transportation Network and Route Planning Analysis -- Analyzing and Modeling Urban Grown, Urban Changes and Impacts -- Integration of Remote Sensing with GIS for Urban Growth Characterization -- Evaluating the Ecological and Environmental Impact of Urbanization in the Greater Toronto Area through Multi-Temporal Remotely Sensed Data and Landscape Ecological Measures -- Modeling Urban Effects on the Precipitation Component of the Water Cycle -- Interpolating a Consumption Variable for Scaling and Generalizing Potential Population Pressure on Urbanizing Natural Areas -- Modeling Cities as Spatio-Temporal Places -- Studying Other Urban Problems Using Geospatial Analysis and Modeling -- Geospatial Analysis and Living Urban Geometry -- Analyzing Spatial Patterns of Late-Stage Breast Cancer in Chicago Region: A Modified Scale-Space Clustering Approach -- Influence of Job Accessibility on Housing Market Processes: Study of Spatial Stationarity in the Buffalo and Seattle Metropolitan Areas -- How do Socioeconomic Characteristics Interact with Equity and Efficiency Considerations? …”

Tabla de Contenidos: “…II Advanced -- Task 15 Keeping It Semantic: @extend -- Task 16 Keeping Code Clean with Mixins -- Task 17 Taking Mixins Further with Variables -- Task 18 Debugging -- Task 19 Generating Cross-Browser Rounded Borders -- Task 20 Using Cross-Browser Opacity -- Task 21 Interpolating -- Task 22 Stop Repeating Yourself with @each -- Task 23 Determining Conditions with @if -- Task 24 Changing Looks with Nested @media -- pt. …”

Tabla de Contenidos: “…Problems with CSS Preprocessors Problems with Mixins ; Extending Selectors or Using Mixins Can Hamper Maintenance; Summary; Chapter 2: Introduction to Sass; Installing Sass; Checking Other Versions of Sass; An Alternative to the Command Line ; Compiling the sass File ; Avoiding the Command Line with Apps: Using Scout ; Automating Workflow ; Variables ; Data Types ; Default Values for Variables ; Nesting Styles in Sass ; Referencing a Parent Selector: & ; Using Combinators in Your SCSS ; Comments ; Nesting Properties ; Interpolation ; Placeholder Selectors…”

Tabla de Contenidos: “…Distributed Coalition Formation in Visual Sensor Networks: A Virtual Vision Approach -- Efficient and Distributed Access Control for Sensor Networks -- Optimizing End to End Routing Performance in Wireless Sensor Networks -- Improving Event-to-Sink Throughput in Wireless Sensor Networks -- Dwarf: Delay-aWAre Robust Forwarding for Energy-Constrained Wireless Sensor Networks -- Localization for Anchoritic Sensor Networks -- Mobile Anchor-Free Localization for Wireless Sensor Networks -- Optimal Cluster Association in Two-Tiered Wireless Sensor Networks -- Distributed Facility Location Algorithms for Flexible Configuration of Wireless Sensor Networks -- SNTS: Sensor Network Troubleshooting Suite -- Design and Implementation of a Flexible Location Directory Service for Tiered Sensor Networks -- A Semantics-Based Middleware for Utilizing Heterogeneous Sensor Networks -- A Compilation Framework for Macroprogramming Networked Sensors -- Passive Inspection of Sensor Networks -- Separating the Wheat from the Chaff: Practical Anomaly Detection Schemes in Ecological Applications of Distributed Sensor Networks -- Image Change Detection Using Wireless Sensor Networks -- Near Optimal Sensor Selection in the COlumbia RIvEr (CORIE) Observation Network for Data Assimilation Using Genetic Algorithms -- Data Salmon: A Greedy Mobile Basestation Protocol for Efficient Data Collection in Wireless Sensor Networks -- SDIP3: Structured and Dynamic Information Push and Pull Protocols for Distributed Sensor Networks -- Efficient Computation of Minimum Exposure Paths in a Sensor Network Field -- Energy Efficient Intrusion Detection in Camera Sensor Networks -- Leveraging Redundancy in Sampling-Interpolation Applications for Sensor Networks -- A Fully Polynomial Approximation Algorithm for Collaborative Relaying in Sensor Networks Under Finite Rate Constraints -- A Connectivity Based Partition Approach for Node Scheduling in Sensor Networks -- Energy-Efficient Data Acquisition Using a Distributed and Self-organizing Scheduling Algorithm for Wireless Sensor Networks -- An Adaptive Scheduling Protocol for Multi-scale Sensor Network Architecture -- Minimum-Energy Broadcast with Few Senders…”

Tabla de Contenidos: “…The shift and unshift Operators; 3.5. Interpolating Arrays into Strings; 3.6. The foreach Control Structure…”

Tabla de Contenidos: “…4.6.2 Polar Reformatting 4.7 3D ISAR IMAGE FORMATION; 4.7.1 Range and Cross-Range Resolutions; 4.7.2 A Design Example; 4.8 MATLAB CODES; REFERENCES; CHAPTER FIVE: Imaging Issues in Inverse Synthetic Aperture Radar; 5.1 FOURIER-RELATED ISSUES; 5.1.1 DFT Revisited; 5.1.2 Positive and Negative Frequencies in DFT; 5.2 IMAGE ALIASING; 5.3 POLAR REFORMATTING REVISITED; 5.3.1 Nearest Neighbor Interpolation; 5.3.2 Bilinear Interpolation; 5.4 ZERO PADDING; 5.5 POINT SPREAD FUNCTION (PSF); 5.6 WINDOWING; 5.6.1 Common Windowing Functions; 5.6.2 ISAR Image Smoothing via Windowing; 5.7 MATLAB CODES…”