Edizione	[1st ed. 2009.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica	1 online resource (X, 401 p.)
Disciplina	005.11
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Computer programming Computer networks Computer science Algorithms Computer science—Mathematics Discrete mathematics Numerical analysis Programming Techniques Computer Communication Networks Theory of Computation Discrete Mathematics in Computer Science Numerical Analysis
ISBN	3-642-02094-1
Classificazione	DAT 416f DAT 516f SS 4800
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Network Algorithms -- Design and Engineering of External Memory Traversal Algorithms for General Graphs -- Minimum Cycle Bases and Their Applications -- A Survey on Approximation Algorithms for Scheduling with Machine Unavailability -- Iterative Compression for Exactly Solving NP-Hard Minimization Problems -- Approaches to the Steiner Problem in Networks -- A Survey on Multiple Objective Minimum Spanning Tree Problems -- Traffic Networks -- Engineering Route Planning Algorithms -- From State-of-the-Art Static Fleet Assignment to Flexible Stochastic Planning of the Future -- Traffic Networks and Flows over Time -- Communication Networks -- Interactive Communication, Diagnosis and Error Control in Networks -- Resource Management in Large Networks -- Multicast Routing and Design of Sparse Connectors -- Management of Variable Data Streams in Networks -- Models of Non-atomic Congestion Games – From Unicast to Multicast Routing -- New Data Structures for IP Lookup and Conflict Detection -- Network Analysis and Simulation -- Group-Level Analysis and Visualization of Social Networks -- Modeling and Designing Real–World Networks -- Algorithms and Simulation Methods for Topology-Aware Sensor Networks.
Record Nr.	UNISA-996465530103316

Edizione	[1st ed. 2006.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica	1 online resource (XVIII, 850 p.)
Disciplina	005.1
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Software engineering Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Computer networks Software Engineering Numerical Analysis Discrete Mathematics in Computer Science Data Science Computer Communication Networks
ISBN	3-540-38876-1
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Lectures -- Origami, Linkages, and Polyhedra: Folding with Algorithms -- Reliable and Efficient Geometric Computing -- Some Computational Challenges in Today’s Bio-medicine -- Contributed Papers: Design and Analysis Track -- Kinetic Collision Detection for Convex Fat Objects -- Dynamic Connectivity for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem -- Cooperative TSP -- Fréchet Distance for Curves, Revisited -- Resource Allocation in Bounded Degree Trees -- Dynamic Algorithms for Graph Spanners -- Latency Constrained Aggregation in Sensor Networks -- Competitive Analysis of Flash-Memory Algorithms -- Contention Resolution with Heterogeneous Job Sizes -- Deciding Relaxed Two-Colorability—A Hardness Jump -- Negative Examples for Sequential Importance Sampling of Binary Contingency Tables -- Estimating Entropy over Data Streams -- Necklaces, Convolutions, and X + Y -- Purely Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games -- Spanners with Slack -- Compressed Indexes for Approximate String Matching -- Traversing the Machining Graph -- Efficient Computation of Nash Equilibria for Very Sparse Win-Lose Bimatrix Games -- Distributed Almost Exact Approximations for Minor-Closed Families -- Spectral Clustering by Recursive Partitioning -- Finite Termination of “Augmenting Path” Algorithms in the Presence of Irrational Problem Data -- Dynamic Programming and Fast Matrix Multiplication -- Near-Entropy Hotlink Assignments -- Subspace Sampling and Relative-Error Matrix Approximation: Column-Row-Based Methods -- Finding Total Unimodularity in Optimization Problems Solved by Linear Programs -- Preemptive Online Scheduling: Optimal Algorithms for All Speeds -- On the Complexity of the Multiplication Method for Monotone CNF/DNF Dualization -- Lower and Upper Bounds on FIFO Buffer Management in QoS Switches -- Graph Coloring with Rejection -- A Doubling Dimension Threshold ?(loglogn) for Augmented Graph Navigability -- Violator Spaces: Structure and Algorithms -- Region-Restricted Clustering for Geographic Data Mining -- An O(n 3 (loglogn/logn)5/4) Time Algorithm for All Pairs Shortest Paths -- Cheating by Men in the Gale-Shapley Stable Matching Algorithm -- Approximating Almost All Instances of Max-Cut Within a Ratio Above the Håstad Threshold -- Enumerating Spanning and Connected Subsets in Graphs and Matroids -- Less Hashing, Same Performance: Building a Better Bloom Filter -- A Unified Approach to Approximating Partial Covering Problems -- Navigating Low-Dimensional and Hierarchical Population Networks -- Popular Matchings in the Capacitated House Allocation Problem -- Inner-Product Based Wavelet Synopses for Range-Sum Queries -- Approximation in Preemptive Stochastic Online Scheduling -- Greedy in Approximation Algorithms -- I/O-Efficient Undirected Shortest Paths with Unbounded Edge Lengths -- Stochastic Shortest Paths Via Quasi-convex Maximization -- Path Hitting in Acyclic Graphs -- Minimum Transversals in Posi-modular Systems -- An LP-Designed Algorithm for Constraint Satisfaction -- Approximate k-Steiner Forests Via the Lagrangian Relaxation Technique with Internal Preprocessing -- Balancing Applied to Maximum Network Flow Problems -- Contributed Papers: Engineering and Applications Track -- Out-of-Order Event Processing in Kinetic Data Structures -- Kinetic Algorithms Via Self-adjusting Computation -- Parallel Machine Scheduling Through Column Generation: Minimax Objective Functions -- Reporting Flock Patterns -- On Exact Algorithms for Treewidth -- An Improved Construction for Counting Bloom Filters -- An MINLP Solution Method for a Water Network Problem -- Skewed Binary Search Trees -- Algorithmic Aspects of Proportional Symbol Maps -- Does Path Cleaning Help in Dynamic All-Pairs Shortest Paths? -- Multiline Addressing by Network Flow -- The Engineering of a Compression Boosting Library: Theory vs Practice in BWT Compression -- The Price of Resiliency: A Case Study on Sorting with Memory Faults -- How Branch Mispredictions Affect Quicksort -- Robust, Generic and Efficient Construction of Envelopes of Surfaces in Three-Dimensional Spaces -- Engineering Highway Hierarchies -- Univariate Polynomial Real Root Isolation: Continued Fractions Revisited -- Exact and Efficient Construction of Planar Minkowski Sums Using the Convolution Method.
Record Nr.	UNISA-996466038003316

Edizione	[1st ed. 2007.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Descrizione fisica	1 online resource (XV, 772 p.)
Disciplina	005.1
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Software engineering Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Computer networks Software Engineering Numerical Analysis Discrete Mathematics in Computer Science Data Science Computer Communication Networks
ISBN	3-540-75520-9
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Lectures -- Nash Equilibria: Where We Stand -- Small Worlds as Navigable Augmented Networks: Model, Analysis, and Validation -- Arrangements in Geometry: Recent Advances and Challenges -- Contributed Papers: Design and Analysis Track -- Nash Equilibria in Voronoi Games on Graphs -- Evolutionary Equilibrium in Bayesian Routing Games: Specialization and Niche Formation -- Convergence to Equilibria in Distributed, Selfish Reallocation Processes with Weighted Tasks -- Finding Frequent Elements in Non-bursty Streams -- Tradeoffs and Average-Case Equilibria in Selfish Routing -- On the Variance of Subset Sum Estimation -- On Minimum Power Connectivity Problems -- On the Cost of Interchange Rearrangement in Strings -- Finding Mobile Data: Efficiency vs. Location Inaccuracy -- A Faster Query Algorithm for the Text Fingerprinting Problem -- Polynomial Time Algorithms for Minimum Energy Scheduling -- k-Mismatch with Don’t Cares -- Finding Branch-Decompositions and Rank-Decompositions -- Fast Algorithms for Maximum Subset Matching and All-Pairs Shortest Paths in Graphs with a (Not So) Small Vertex Cover -- Linear-Time Ranking of Permutations -- Radix Sorting with No Extra Space -- Fast Low Degree Connectivity of Ad-Hoc Networks Via Percolation -- Order Statistics in the Farey Sequences in Sublinear Time -- New Results on Minimax Regret Single Facility Ordered Median Location Problems on Networks -- Dial a Ride from k-Forest -- Online Primal-Dual Algorithms for Maximizing Ad-Auctions Revenue -- Unique Lowest Common Ancestors in Dags Are Almost as Easy as Matrix Multiplication -- Optimal Algorithms for k-Search with Application in Option Pricing -- Linear Data Structures for Fast Ray-Shooting Amidst Convex Polyhedra -- Stackelberg Strategies for Atomic Congestion Games -- Good Quality Virtual Realization of Unit Ball Graphs -- Algorithms for Playing Games with Limited Randomness -- Approximation of Partial Capacitated Vertex Cover -- Optimal Resilient Dynamic Dictionaries -- Determining the Smallest k Such That G Is k-Outerplanar -- On the Size of Succinct Indices -- Compact Oracles for Approximate Distances Around Obstacles in the Plane -- Convex Combinations of Single Source Unsplittable Flows -- Farthest-Polygon Voronoi Diagrams -- Equitable Revisited -- Online Scheduling of Equal-Length Jobs on Parallel Machines -- k-Anonymization with Minimal Loss of Information -- A Quasi-PTAS for Profit-Maximizing Pricing on Line Graphs -- Improved Upper Bounds on the Competitive Ratio for Online Realtime Scheduling -- Bundle Pricing with Comparable Items -- Approximating Interval Scheduling Problems with Bounded Profits -- Pricing Tree Access Networks with Connected Backbones -- Distance Coloring -- An O(log2 k)-Competitive Algorithm for Metric Bipartite Matching -- To Fill or Not to Fill: The Gas Station Problem -- Online Bandwidth Allocation -- Two’s Company, Three’s a Crowd: Stable Family and Threesome Roommates Problems -- On the Complexity of Sequential Rectangle Placement in IEEE 802.16/WiMAX Systems -- Shorter Implicit Representation for Planar Graphs and Bounded Treewidth Graphs -- Dynamic Plane Transitive Closure -- Contributed Papers: Engineering and Applications Track -- Small Stretch Spanners in the Streaming Model: New Algorithms and Experiments -- Estimating Clustering Indexes in Data Streams -- Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics -- Sweeping and Maintaining Two-Dimensional Arrangements on Surfaces: A First Step -- Fast and Compact Oracles for Approximate Distances in Planar Graphs -- Exact Minkowksi Sums of Polyhedra and Exact and Efficient Decomposition of Polyhedra in Convex Pieces -- A New ILP Formulation for 2-Root-Connected Prize-Collecting Steiner Networks -- Algorithms to Separate -Chvátal-Gomory Cuts -- Fast Lowest Common Ancestor Computations in Dags -- A Practical Efficient Fptas for the 0-1 Multi-objective Knapsack Problem -- Solutions to Real-World Instances of PSPACE-Complete Stacking -- Non-clairvoyant Batch Sets Scheduling: Fairness Is Fair Enough -- An Experimental Study of New and Known Online Packet Buffering Algorithms.
Record Nr.	UNISA-996465433303316

Edizione	[1st ed. 2008.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica	1 online resource (XVII, 844 p.)
Disciplina	511.8
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Computer programming Computer networks Computer science Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Programming Techniques Computer Communication Networks Theory of Computation Numerical Analysis Discrete Mathematics in Computer Science
ISBN	3-540-87744-4
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core Computing -- Contributed Papers -- Robust Kinetic Convex Hulls in 3D -- On Dominance Reporting in 3D -- Stabbing Convex Polygons with a Segment or a Polygon -- An Efficient Algorithm for 2D Euclidean 2-Center with Outliers -- A Near-Tight Bound for the Online Steiner Tree Problem in Graphs of Bounded Asymmetry -- Cache-Oblivious Red-Blue Line Segment Intersection -- The Complexity of Bisectors and Voronoi Diagrams on Realistic Terrains -- Space-Time Tradeoffs for Proximity Searching in Doubling Spaces -- A Scaling Algorithm for the Maximum Node-Capacitated Multiflow Problem -- Linear Time Planarity Testing and Embedding of Strongly Connected Cyclic Level Graphs -- Straight Skeletons of Three-Dimensional Polyhedra -- Randomized Competitive Analysis for Two-Server Problems -- Decompositions and Boundary Coverings of Non-convex Fat Polyhedra -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks -- A Constant-Approximate Feasibility Test for Multiprocessor Real-Time Scheduling -- Tight Bounds and a Fast FPT Algorithm for Directed Max-Leaf Spanning Tree -- Engineering Tree Labeling Schemes: A Case Study on Least Common Ancestors -- A Practical Quicksort Algorithm for Graphics Processors -- Bloomier Filters: A Second Look -- Coupled Path Planning, Region Optimization, and Applications in Intensity-Modulated Radiation Therapy -- A New Approach to Exact Crossing Minimization -- A Characterization of 2-Player Mechanisms for Scheduling -- A Local-Search 2-Approximation for 2-Correlation-Clustering -- The Alcuin Number of a Graph -- Time-Dependent SHARC-Routing -- Detecting Regular Visit Patterns -- Improved Approximation Algorithms for Relay Placement -- Selfish Bin Packing -- Improved Randomized Results for That Interval Selection Problem -- Succinct Representations of Arbitrary Graphs -- Edge Coloring and Decompositions of Weighted Graphs -- The Complexity of Sorting with Networks of Stacks and Queues -- Faster Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge Computation in Minimum Diameter Spanning Trees -- The Partial Augment–Relabel Algorithm for the Maximum Flow Problem -- An Optimal Dynamic Spanner for Doubling Metric Spaces -- RFQ: Redemptive Fair Queuing -- Range Medians -- Locality and Bounding-Box Quality of Two-Dimensional Space-Filling Curves -- Probabilistic Analysis of Online Bin Coloring Algorithms Via Stochastic Comparison -- On the Complexity of Optimal Hotlink Assignment -- Oblivious Randomized Direct Search for Real-Parameter Optimization -- Path Minima in Incremental Unrooted Trees -- Improved Competitive Performance Bounds for CIOQ Switches -- Two-Stage Robust Network Design with Exponential Scenarios -- An Optimal Incremental Algorithm for Minimizing Lateness with Rejection -- More Robust Hashing: Cuckoo Hashing with a Stash -- Better and Simpler Approximation Algorithms for the Stable Marriage Problem -- Edit Distances and Factorisations of Even Permutations -- Speed Scaling Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data Streams -- The Effects of Local Randomness in the Adversarial Queueing Model -- Parallel Imaging Problem -- An Online Algorithm for Finding the Longest Previous Factors -- Collusion-Resistant Mechanisms with Verification Yielding Optimal Solutions -- Improved BDD Algorithms for the Simulation of Quantum Circuits -- Mobile Route Planning -- How Reliable Are Practical Point-in-Polygon Strategies? -- Fast Divide-and-Conquer Algorithms for Preemptive Scheduling Problems with Controllable Processing Times – A Polymatroid Optimization Approach -- Approximability of Average Completion Time Scheduling on Unrelated Machines -- Relative Convex Hulls in Semi-dynamic Subdivisions -- An Experimental Analysis of Robinson-Foulds Distance Matrix Algorithms -- On the Size of the 3D Visibility Skeleton: Experimental Results -- An Almost Space-Optimal Streaming Algorithm for Coresets in Fixed Dimensions -- Deterministic Sampling Algorithms for Network Design.
Record Nr.	UNISA-996465432103316

Edizione	[1st ed. 2010.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica	1 online resource (XVIII, 587 p. 68 illus.)
Disciplina	005.1
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Software engineering Algorithms Computer networks Computer science—Mathematics Discrete mathematics Computer graphics Numerical analysis Software Engineering Computer Communication Networks Discrete Mathematics in Computer Science Computer Graphics Numerical Analysis
ISBN	1-280-38904-4 9786613566966 3-642-15775-0
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Talk -- The Robustness of Level Sets -- Session 1a -- Solving an Avionics Real-Time Scheduling Problem by Advanced IP-Methods -- Non-clairvoyant Speed Scaling for Weighted Flow Time -- A Robust PTAS for Machine Covering and Packing -- Session 1b -- Balancing Degree, Diameter and Weight in Euclidean Spanners -- Testing Euclidean Spanners -- Fast Approximation in Subspaces by Doubling Metric Decomposition -- f-Sensitivity Distance Oracles and Routing Schemes -- Session 2a -- Fast Minor Testing in Planar Graphs -- On the Number of Spanning Trees a Planar Graph Can Have -- Contractions of Planar Graphs in Polynomial Time -- Session 2b -- Communication Complexity of Quasirandom Rumor Spreading -- A Complete Characterization of Group-Strategyproof Mechanisms of Cost-Sharing -- Contribution Games in Social Networks -- Session 3a -- Improved Bounds for Online Stochastic Matching -- Online Stochastic Packing Applied to Display Ad Allocation -- Caching Is Hard – Even in the Fault Model -- Session 3b -- Superselectors: Efficient Constructions and Applications -- Estimating the Average of a Lipschitz-Continuous Function from One Sample -- Streaming Graph Computations with a Helpful Advisor -- Session 4a -- Algorithms for Dominating Set in Disk Graphs: Breaking the logn Barrier -- Minimum Vertex Cover in Rectangle Graphs -- Feedback Vertex Sets in Tournaments -- Session 4b -- n-Level Graph Partitioning -- Fast Routing in Very Large Public Transportation Networks Using Transfer Patterns -- Finding the Diameter in Real-World Graphs -- Session 5a -- Budgeted Red-Blue Median and Its Generalizations -- All Ternary Permutation Constraint Satisfaction Problems Parameterized above Average Have Kernels with Quadratic Numbers of Variables -- Strong Formulations for the Multi-module PESP and a Quadratic Algorithm for Graphical Diophantine Equation Systems -- Robust Algorithms for Sorting Railway Cars -- Session 5b -- Cloning Voronoi Diagrams via Retroactive Data Structures -- A Unified Approach to Approximate Proximity Searching -- Spatio-temporal Range Searching over Compressed Kinetic Sensor Data -- Constructing the Exact Voronoi Diagram of Arbitrary Lines in Three-Dimensional Space -- Invited Talk -- Local Graph Exploration and Fast Property Testing -- Session 6a -- A Fully Compressed Algorithm for Computing the Edit Distance of Run-Length Encoded Strings -- Fast Prefix Search in Little Space, with Applications -- On the Huffman and Alphabetic Tree Problem with General Cost Functions -- Medium-Space Algorithms for Inverse BWT -- Session 6b -- Median Trajectories -- Optimal Cover of Points by Disks in a Simple Polygon -- Stability of ?-Kernels -- The Geodesic Diameter of Polygonal Domains -- Session 7a -- Polyhedral and Algorithmic Properties of Quantified Linear Programs -- Approximating Parameterized Convex Optimization Problems -- Approximation Schemes for Multi-Budgeted Independence Systems -- Session 7b -- Algorithmic Meta-theorems for Restrictions of Treewidth -- Determining Edge Expansion and Other Connectivity Measures of Graphs of Bounded Genus -- Constructing the R* Consensus Tree of Two Trees in Subcubic Time.
Record Nr.	UNISA-996465936103316