Author: ACM Symposium on Theory of Computing
Publisher:
ISBN:
Category :
Languages : en
Pages : 642
Book Description
Proceedings of the 36th Annual ACM Symposium on the Theory of Computing : Chicago, Illinois, USA, June 13-15, 2004
Author: ACM Symposium on Theory of Computing
Publisher:
ISBN:
Category :
Languages : en
Pages : 642
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 642
Book Description
Proceedings of the 36th Annual ACM Symposium on the Theory of Computing
Author:
Publisher:
ISBN:
Category : Computable complexity
Languages : en
Pages : 668
Book Description
Publisher:
ISBN:
Category : Computable complexity
Languages : en
Pages : 668
Book Description
STOC '05
Author: ACM Special Interest Group for Algorithms and Computation Theory
Publisher:
ISBN: 9781581139600
Category : Computational complexity
Languages : en
Pages : 798
Book Description
Publisher:
ISBN: 9781581139600
Category : Computational complexity
Languages : en
Pages : 798
Book Description
Proceedings Of The International Congress Of Mathematicians 2018 (Icm 2018) (In 4 Volumes)
Author: Sirakov Boyan
Publisher: World Scientific
ISBN: 9813272899
Category : Mathematics
Languages : en
Pages : 5396
Book Description
The Proceedings of the ICM publishes the talks, by invited speakers, at the conference organized by the International Mathematical Union every 4 years. It covers several areas of Mathematics and it includes the Fields Medal and Nevanlinna, Gauss and Leelavati Prizes and the Chern Medal laudatios.
Publisher: World Scientific
ISBN: 9813272899
Category : Mathematics
Languages : en
Pages : 5396
Book Description
The Proceedings of the ICM publishes the talks, by invited speakers, at the conference organized by the International Mathematical Union every 4 years. It covers several areas of Mathematics and it includes the Fields Medal and Nevanlinna, Gauss and Leelavati Prizes and the Chern Medal laudatios.
Proceedings of the Thirty-sixth Annual ACM Symposium on Theory of Computing
Author:
Publisher:
ISBN:
Category : Computable complexity
Languages : en
Pages : 641
Book Description
Publisher:
ISBN:
Category : Computable complexity
Languages : en
Pages : 641
Book Description
Theory of Cryptography
Author: Yael Kalai
Publisher: Springer
ISBN: 3319705032
Category : Computers
Languages : en
Pages : 777
Book Description
The two-volume set LNCS 10677 and LNCS 10678 constitutes the refereed proceedings of the 15th International Conference on Theory of Cryptography, TCC 2017, held in Baltimore, MD, USA, in November 2017. The total of 51 revised full papers presented in the proceedings were carefully reviewed and selected from 150 submissions. The Theory of Cryptography Conference deals with the paradigms, approaches, and techniques used to conceptualize natural cryptographic problems and provide algorithmic solutions to them and much more.
Publisher: Springer
ISBN: 3319705032
Category : Computers
Languages : en
Pages : 777
Book Description
The two-volume set LNCS 10677 and LNCS 10678 constitutes the refereed proceedings of the 15th International Conference on Theory of Cryptography, TCC 2017, held in Baltimore, MD, USA, in November 2017. The total of 51 revised full papers presented in the proceedings were carefully reviewed and selected from 150 submissions. The Theory of Cryptography Conference deals with the paradigms, approaches, and techniques used to conceptualize natural cryptographic problems and provide algorithmic solutions to them and much more.
Computing and Combinatorics
Author: Thang N. Dinh
Publisher: Springer
ISBN: 3319426346
Category : Computers
Languages : en
Pages : 629
Book Description
This book constitutes the refereed proceedings of the 22nd International Conference on Computing and Combinatorics, COCOON 2016, held in Ho Chi Minh City, Vietnam, in August 2016. The 50 revised full papers papers presented in this book were carefully reviewed and selected from various submissions. The papers cover various topics including: Theory and Algorithms; Parameterized Complexity and Algorithms; Database and Data Structures; Computational Complexity; Approximation Algorithms; Cryptography; Network and Algorithms; Graph Theory and Algorithms; Computational Geometry; Scheduling Algorithms and Circuit Complexity; Computational Geometry and Computational Biology; and Logic, Algebra and Automata.
Publisher: Springer
ISBN: 3319426346
Category : Computers
Languages : en
Pages : 629
Book Description
This book constitutes the refereed proceedings of the 22nd International Conference on Computing and Combinatorics, COCOON 2016, held in Ho Chi Minh City, Vietnam, in August 2016. The 50 revised full papers papers presented in this book were carefully reviewed and selected from various submissions. The papers cover various topics including: Theory and Algorithms; Parameterized Complexity and Algorithms; Database and Data Structures; Computational Complexity; Approximation Algorithms; Cryptography; Network and Algorithms; Graph Theory and Algorithms; Computational Geometry; Scheduling Algorithms and Circuit Complexity; Computational Geometry and Computational Biology; and Logic, Algebra and Automata.
Advances and Technologies in High Voltage Power Systems Operation, Control, Protection and Security
Author: Hassan Haes Alhelou
Publisher: MDPI
ISBN: 3036511407
Category : Technology & Engineering
Languages : en
Pages : 208
Book Description
The electrical demands in several countries around the world are increasing due to the huge energy requirements of prosperous economies and the human activities of modern life. In order to economically transfer electrical powers from the generation side to the demand side, these powers need to be transferred at high-voltage levels through suitable transmission systems and power substations. To this end, high-voltage transmission systems and power substations are in demand. Actually, they are at the heart of interconnected power systems, in which any faults might lead to unsuitable consequences, abnormal operation situations, security issues, and even power cuts and blackouts. In order to cope with the ever-increasing operation and control complexity and security in interconnected high-voltage power systems, new architectures, concepts, algorithms, and procedures are essential. This book aims to encourage researchers to address the technical issues and research gaps in high-voltage transmission systems and power substations in modern energy systems.
Publisher: MDPI
ISBN: 3036511407
Category : Technology & Engineering
Languages : en
Pages : 208
Book Description
The electrical demands in several countries around the world are increasing due to the huge energy requirements of prosperous economies and the human activities of modern life. In order to economically transfer electrical powers from the generation side to the demand side, these powers need to be transferred at high-voltage levels through suitable transmission systems and power substations. To this end, high-voltage transmission systems and power substations are in demand. Actually, they are at the heart of interconnected power systems, in which any faults might lead to unsuitable consequences, abnormal operation situations, security issues, and even power cuts and blackouts. In order to cope with the ever-increasing operation and control complexity and security in interconnected high-voltage power systems, new architectures, concepts, algorithms, and procedures are essential. This book aims to encourage researchers to address the technical issues and research gaps in high-voltage transmission systems and power substations in modern energy systems.
Foundations of Software Science and Computation Structures
Author: Patricia Bouyer
Publisher: Springer Nature
ISBN: 3030992535
Category : Computers
Languages : en
Pages : 471
Book Description
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Publisher: Springer Nature
ISBN: 3030992535
Category : Computers
Languages : en
Pages : 471
Book Description
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Automata, Languages, and Programming
Author: Magnús M. Halldórsson
Publisher: Springer
ISBN: 366247672X
Category : Computers
Languages : en
Pages : 1141
Book Description
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.
Publisher: Springer
ISBN: 366247672X
Category : Computers
Languages : en
Pages : 1141
Book Description
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.