Author: Dror Weitz
Publisher:
ISBN:
Category :
Languages : en
Pages : 380
Book Description
Mixing in Time and Space for Discrete Spin Systems
Author: Dror Weitz
Publisher:
ISBN:
Category :
Languages : en
Pages : 380
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 380
Book Description
Mathematical Foundations of Computer Science 2007
Author: Ludek Kucera
Publisher: Springer Science & Business Media
ISBN: 354074455X
Category : Computers
Languages : en
Pages : 779
Book Description
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Ceský Krumlov, Czech Republic, August 2007. The 61 revised full papers presented together with the full papers or abstracts of five invited talks address all current aspects in theoretical computer science and its mathematical foundations.
Publisher: Springer Science & Business Media
ISBN: 354074455X
Category : Computers
Languages : en
Pages : 779
Book Description
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Ceský Krumlov, Czech Republic, August 2007. The 61 revised full papers presented together with the full papers or abstracts of five invited talks address all current aspects in theoretical computer science and its mathematical foundations.
Probability on Discrete Structures
Author: Harry Kesten
Publisher: Springer Science & Business Media
ISBN: 3662094444
Category : Mathematics
Languages : en
Pages : 358
Book Description
Most probability problems involve random variables indexed by space and/or time. These problems almost always have a version in which space and/or time are taken to be discrete. This volume deals with areas in which the discrete version is more natural than the continuous one, perhaps even the only one than can be formulated without complicated constructions and machinery. The 5 papers of this volume discuss problems in which there has been significant progress in the last few years; they are motivated by, or have been developed in parallel with, statistical physics. They include questions about asymptotic shape for stochastic growth models and for random clusters; existence, location and properties of phase transitions; speed of convergence to equilibrium in Markov chains, and in particular for Markov chains based on models with a phase transition; cut-off phenomena for random walks. The articles can be read independently of each other. Their unifying theme is that of models built on discrete spaces or graphs. Such models are often easy to formulate. Correspondingly, the book requires comparatively little previous knowledge of the machinery of probability.
Publisher: Springer Science & Business Media
ISBN: 3662094444
Category : Mathematics
Languages : en
Pages : 358
Book Description
Most probability problems involve random variables indexed by space and/or time. These problems almost always have a version in which space and/or time are taken to be discrete. This volume deals with areas in which the discrete version is more natural than the continuous one, perhaps even the only one than can be formulated without complicated constructions and machinery. The 5 papers of this volume discuss problems in which there has been significant progress in the last few years; they are motivated by, or have been developed in parallel with, statistical physics. They include questions about asymptotic shape for stochastic growth models and for random clusters; existence, location and properties of phase transitions; speed of convergence to equilibrium in Markov chains, and in particular for Markov chains based on models with a phase transition; cut-off phenomena for random walks. The articles can be read independently of each other. Their unifying theme is that of models built on discrete spaces or graphs. Such models are often easy to formulate. Correspondingly, the book requires comparatively little previous knowledge of the machinery of probability.
Automata, Languages, and Programming
Author: Javier Esparza
Publisher: Springer
ISBN: 3662439484
Category : Computers
Languages : en
Pages : 1122
Book Description
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.
Publisher: Springer
ISBN: 3662439484
Category : Computers
Languages : en
Pages : 1122
Book Description
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.
Spatial and Temporal Mixing of Gibbs Measures
Author: Allan Murray Sly
Publisher:
ISBN:
Category :
Languages : en
Pages : 440
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 440
Book Description
Proceedings of the Thirty-ninth Annual ACM Symposium on Theory of Computing
Author: ACM Special Interest Group for Algorithms and Computation Theory
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages : 740
Book Description
Publisher:
ISBN:
Category : Computational complexity
Languages : en
Pages : 740
Book Description
LATIN 2004: Theoretical Informatics
Author: Martin Farach-Colton
Publisher: Springer
ISBN: 3540246983
Category : Computers
Languages : en
Pages : 642
Book Description
This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April 5–8, 2004. The LATIN series of symposia was launched in 1992 to foster interactions between the Latin American community and computer scientists around the world. This was the sixth event in the series, following S ̃ ao Paulo, Brazil (1992), Valparaiso, Chile (1995), Campinas, Brazil (1998), Punta del Este, Uruguay (2000), and Cancun, Mexico (2002). The proceedings of these conferences were also published by Springer-Verlag in the Lecture Notes in Computer Science series: Volumes 583, 911, 1380, 1776, and 2286, respectively. Also, as before, we published a selection of the papers in a special issue of a prestigious journal. We received 178 submissions. Each paper was assigned to four program c- mittee members, and 59 papers were selected. This was 80% more than the previous record for the number of submissions. We feel lucky to have been able to build on the solid foundation provided by the increasingly successful previous LATINs. And we are very grateful for the tireless work of Pablo Mart ́ ?nez L ́ opez, the Local Arrangements Chair. Finally, we thank Springer-Verlag for publishing these proceedings in its LNCS series.
Publisher: Springer
ISBN: 3540246983
Category : Computers
Languages : en
Pages : 642
Book Description
This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April 5–8, 2004. The LATIN series of symposia was launched in 1992 to foster interactions between the Latin American community and computer scientists around the world. This was the sixth event in the series, following S ̃ ao Paulo, Brazil (1992), Valparaiso, Chile (1995), Campinas, Brazil (1998), Punta del Este, Uruguay (2000), and Cancun, Mexico (2002). The proceedings of these conferences were also published by Springer-Verlag in the Lecture Notes in Computer Science series: Volumes 583, 911, 1380, 1776, and 2286, respectively. Also, as before, we published a selection of the papers in a special issue of a prestigious journal. We received 178 submissions. Each paper was assigned to four program c- mittee members, and 59 papers were selected. This was 80% more than the previous record for the number of submissions. We feel lucky to have been able to build on the solid foundation provided by the increasingly successful previous LATINs. And we are very grateful for the tireless work of Pablo Mart ́ ?nez L ́ opez, the Local Arrangements Chair. Finally, we thank Springer-Verlag for publishing these proceedings in its LNCS series.
FOCS 2004
Author:
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN: 9780769522289
Category : Computers
Languages : en
Pages : 652
Book Description
Annotation The proceedings covers computational complexity, cryptography, parallel and distributed computing, machine learning, logic, coding theory, theoretical databases, information technology, networks, quantum computing, and much more.
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN: 9780769522289
Category : Computers
Languages : en
Pages : 652
Book Description
Annotation The proceedings covers computational complexity, cryptography, parallel and distributed computing, machine learning, logic, coding theory, theoretical databases, information technology, networks, quantum computing, and much more.
Randomization and Approximation Techniques in Computer Science
Author: Jose D.P. Rolim
Publisher: Springer
ISBN: 3540457267
Category : Computers
Languages : en
Pages : 284
Book Description
This book constitutes the refereed proceedings of the 6th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2002, held in Cambridge, MA, USA in September 2002. The 21 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are coding, geometric computations, graph colorings, random hypergraphs, graph computations, lattice computations, proof systems, probabilistic algorithms, derandomization, constraint satisfaction, and web graphs analysis.
Publisher: Springer
ISBN: 3540457267
Category : Computers
Languages : en
Pages : 284
Book Description
This book constitutes the refereed proceedings of the 6th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2002, held in Cambridge, MA, USA in September 2002. The 21 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are coding, geometric computations, graph colorings, random hypergraphs, graph computations, lattice computations, proof systems, probabilistic algorithms, derandomization, constraint satisfaction, and web graphs analysis.
Dissertation Abstracts International
Author:
Publisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 796
Book Description
Publisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 796
Book Description