دانلود کتاب STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

عنوان فارسی :

دانلود کتاب STACS 2007: بیست و چهارمین سمپوزیوم سالانه جنبه های نظری علوم کامپیوتر ، آخن ، آلمان ، 22-24 فوریه 2007. مجموعه مقالات

عنوان انگلیسی :

STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

زبان : English

موضوع : Education->International Conferences and Symposiums

نویسندگان : Serge Abiteboul (auth.) Wolfgang Thomas Pascal Weil (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

ISBN (شابک) : 9783540709176, 3540709177

تعداد صفحات : 710\723

سال نشر : 2007     ویرایش : 1

حجم : 12 MB       فرمت : pdf

قیمت : 20000 تومان

فهرست :



Table of contents :
Front Matter....Pages -
A Calculus and Algebra for Distributed Data Management....Pages 1-11
The Büchi Complementation Saga....Pages 12-22
Speed-Up Techniques for Shortest-Path Computations....Pages 23-36
Compact Forbidden-Set Routing....Pages 37-48
A New Bound for Pure Greedy Hot Potato Routing....Pages 49-60
Wavelength Management in WDM Rings to Maximize the Number of Connections....Pages 61-72
A First Investigation of Sturmian Trees....Pages 73-84
On the Size of the Universal Automaton of a Regular Language....Pages 85-96
Correlations of Partial Words....Pages 97-108
Testing Convexity Properties of Tree Colorings....Pages 109-120
Why Almost All k -Colorable Graphs Are Easy....Pages 121-132
On Defining Integers in the Counting Hierarchy and Proving Arithmetic Circuit Lower Bounds....Pages 133-144
A New Rank Technique for Formula Size Lower Bounds....Pages 145-156
Hard Metrics from Cayley Graphs of Abelian Groups....Pages 157-162
Broadcasting vs. Mixing and Information Dissemination on Cayley Graphs....Pages 163-174
Light Orthogonal Networks with Constant Geometric Dilation....Pages 175-187
Admissibility in Infinite Games....Pages 188-199
Pure Stationary Optimal Strategies in Markov Decision Processes....Pages 200-211
Symmetries and the Complexity of Pure Nash Equilibrium....Pages 212-223
Computing Representations of Matroids of Bounded Branch-Width....Pages 224-235
Characterizing Minimal Interval Completions....Pages 236-247
The Complexity of Unions of Disjoint Sets....Pages 248-259
Kolmogorov-Loveland Stochasticity and Kolmogorov Complexity....Pages 260-271
Bounded-Hop Energy-Efficient Broadcast in Low-Dimensional Metrics Via Coresets....Pages 272-283
On the Complexity of Affine Image Matching....Pages 284-295
On Fixed Point Equations over Commutative Semirings....Pages 296-307
An Exponential Lower Bound for Prefix Gröbner Bases in Free Monoid Rings....Pages 308-319
A Cubic Kernel for Feedback Vertex Set....Pages 320-331
The Union of Minimal Hitting Sets: Parameterized Combinatorial Bounds and Counting....Pages 332-343
An Optimal, Edges-Only Fully Dynamic Algorithm for Distance-Hereditary Graphs....Pages 344-355
A Search Algorithm for the Maximal Attractor of a Cellular Automaton....Pages 356-366
Universal Tilings....Pages 367-380
On the Complexity of Unary Tiling-Recognizable Picture Languages....Pages 381-392
A Characterization of Strong Learnability in the Statistical Query Model....Pages 393-404
On the Consistency of Discrete Bayesian Learning....Pages 405-416
VPSPACE and a Transfer Theorem over the Reals....Pages 417-428
On Symmetric Signatures in Holographic Algorithms....Pages 429-440
Randomly Rounding Rationals with Cardinality Constraints and Derandomizations....Pages 441-452
Cheating to Get Better Roommates in a Random Stable Matching....Pages 453-464
A Deterministic Algorithm for Summarizing Asynchronous Streams over a Sliding Window....Pages 465-476
Arithmetizing Classes Around NC 1 and L ....Pages 477-488
The Polynomially Bounded Perfect Matching Problem Is in NC 2 ....Pages 489-499
Languages with Bounded Multiparty Communication Complexity....Pages 500-511
New Approximation Algorithms for Minimum Cycle Bases of Graphs....Pages 512-523
On Completing Latin Squares....Pages 524-535
Small Space Representations for Metric Min-Sum k -Clustering and Their Applications....Pages 536-548
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic....Pages 549-560
Bounded-Variable Fragments of Hybrid Logics....Pages 561-572
Rank-1 Modal Logics Are Coalgebraic....Pages 573-585
An Efficient Quantum Algorithm for the Hidden Subgroup Problem in Extraspecial Groups....Pages 586-597
Weak Fourier-Schur Sampling, the Hidden Subgroup Problem, and the Quantum Collision Problem....Pages 598-609
Quantum Network Coding....Pages 610-621
Reachability in Unions of Commutative Rewriting Systems Is Decidable....Pages 622-633
Associative-Commutative Deducibility Constraints....Pages 634-645
On the Automatic Analysis of Recursive Security Protocols with XOR....Pages 646-657
Improved Online Algorithms for the Sorting Buffer Problem....Pages 658-669
Cost Sharing Methods for Makespan and Completion Time Scheduling....Pages 670-681
Planar Graphs: Logical Complexity and Parallel Isomorphism Tests....Pages 682-693
Enumerating All Solutions for Constraint Satisfaction Problems....Pages 694-705
Back Matter....Pages -





کتاب های پزشکی

دانلود کتاب Counseling Problem Gamblers: A Self-Regulation Manual for Individual and Family Therapy

دانلود کتاب Immunotoxicity Testing: Methods and Protocols

دانلود کتاب Practical Cardiology Evaluation and Treatment of Common Cardiovascular Disorders

دانلود کتاب Hospital infections

دانلود کتاب The Gerson Therapy: The Proven Nutritional Program for Cancer and Other Illnesses

کتاب های کامپیوتر

دانلود کتاب ASP.Net 3.5 Social Networking

دانلود کتاب Dynamical Systems and Fractals: Computer Graphics Experiments with Pascal

دانلود کتاب Google+ For Dummies, Portable Edition

دانلود کتاب Programming Erlang: Software for a Concurrent World

دانلود کتاب Software Engineering 2: Specification of Systems and Languages

کتاب های ریاضی

دانلود کتاب Multirate systems and filter banks

دانلود کتاب Archaeological Approaches to Cultural Identity

دانلود کتاب The Classical Theory of Fields, Fourth Edition: Volume 2 (Course of Theoretical Physics Series)

دانلود کتاب Seminar on Transformation Groups.

دانلود کتاب Analog and digital signals and systems

کتاب های تکنولوژی

دانلود کتاب Protein Structure Prediction: Methods and Protocols

دانلود کتاب Protein Targeting Protocols

دانلود کتاب NanoBiotechnology Protocols

دانلود کتاب Surface Effects in Magnetic Nanoparticles

دانلود کتاب Nanostructured Superconductors

کتاب های مذهبی

دانلود کتاب Celebrating the Seasons of Life: Samhain to Ostara

دانلود کتاب Nocturnicon: Calling Dark Forces and Powers

دانلود کتاب Exodus Through the Centuries (Blackwell Bible Commentaries)

دانلود کتاب The Evolution of a Creationist: A Layman's Guide to the Conflict Between the Bible and Evolutionary Theory

دانلود کتاب Nature's Eternal Religion

کتاب های فیزیولوژی

دانلود کتاب MathMatters 2: An Integrated Program, Extra Practice Workbook

دانلود کتاب Consciousness: A Very Short Introduction (Very Short Introductions)

دانلود کتاب Child and Adolescent Psychiatry: Blackwell's Neurology and Psychiatry Access Series (Access)

دانلود کتاب Carnal Comics Brittany Andrews

دانلود کتاب Practical Teaching Skills for Driving Instructors

کتاب های تاریخی

دانلود کتاب Florida

دانلود کتاب The British Defence of Egypt 1935–1940

دانلود کتاب Warfare in the Eighteenth Century

دانلود کتاب Power at Sea: The Age of Navalism 1890–1918

دانلود کتاب Short 184

کتاب های زیست شناسی

دانلود کتاب Current Techniques in Small Animal Surgery

دانلود کتاب Microarrays: Volume 1: Synthesis Methods

دانلود کتاب Vaccinia Virus and Poxvirology: Methods and Protocols

دانلود کتاب Discovery and Explanation in Biology and Medicine (Science and Its Conceptual Foundations series)

دانلود کتاب G Protein Signaling: Methods and Protocols

کتاب های اقتصاد

دانلود کتاب Volatile Markets Made Easy: Trading Stocks and Options for Increased Profits

دانلود کتاب The Project Management Life Cycle: A Complete Step-By-Step Methodology for Initiating, Planning, Executing & Closing a Project Successfully with CDROM

دانلود کتاب Preparing For The Project Management Professional (PMP) Certification Exam(pmp

دانلود کتاب Physical and logical security convergence: powered by enterprise security management

دانلود کتاب Advanced Accounting, 11th Edition

کتاب های آموزشی

دانلود کتاب How To Do Everything Adobe InDesign CS4

دانلود کتاب Orders: Description and Roles

دانلود کتاب Solving Cryptic Crosswords: How to Crack Those Cryptic Clues

دانلود کتاب World Event Trading: How to Analyze and Profit from Today's Headlines (Wiley Trading)

دانلود کتاب Reinforcement learning

کتاب های حقوق

دانلود کتاب The Relation of Hydrolysis to the Validity of Beers Law

دانلود کتاب Binding Ties (CSI: Crime Scene Investigation)

دانلود کتاب Write These Laws on Your Children: Inside the World of Conservative Christian Homeschooling

دانلود کتاب The Costs of Crime and Justice

دانلود کتاب Max Planck Yearbook of United Nations Law, Volume 11 (2007)

کتاب های علوم انسانی

دانلود کتاب New Documentary: A Critical Introduction

دانلود کتاب Is Water H2O?: Evidence, Realism and Pluralism

دانلود کتاب Plato Complete Works

دانلود کتاب A Philosophy of Cinematic Art

دانلود کتاب Ancient Greek Psychology and Modern Mind-Body Debate