Author : Howard Karloff
Publisher : SIAM
Page : 726 pages
File Size : 16,35 MB
Release : 1998-01-01
Category : Mathematics
ISBN : 9780898714104
This symposium is jointly sponsored by the ACM Special Interest Group on Algorithms and Computation Theory and the SIAM Activity Group on Discrete Mathematics.
Author :
Publisher : SIAM
Page : 532 pages
File Size : 15,31 MB
Release : 1993-01-01
Category : Mathematics
ISBN : 9780898713138
Annotation Proceedings of a conference that took place in Austin, Texas in January 1993. Contributors are impressive names from the field of computer science, including Donald Knuth, author of several computer books of "biblical" importance. The diverse selection of paper topics includes dynamic point location, ray shooting, and the shortest paths in planar maps; optimistic sorting and information theoretic complexity; and an optimal randomized algorithm for the cow-path problem. No index. Annotation copyright by Book News, Inc., Portland, OR.
Author :
Publisher : SIAM
Page : 896 pages
File Size : 50,19 MB
Release : 2003-01-01
Category : Mathematics
ISBN : 9780898715385
From the January 2003 symposium come just over 100 papers addressing a range of topics related to discrete algorithms. Examples of topics covered include packing Steiner trees, counting inversions in lists, directed scale-free graphs, quantum property testing, and improved results for directed multicut. The papers were not formally refereed, but attempts were made to verify major results. Annotation (c)2003 Book News, Inc., Portland, OR (booknews.com)
Author :
Publisher : Association for Computing Machinery (ACM)
Page : 772 pages
File Size : 21,66 MB
Release : 1997
Category : Computers
ISBN :
Author : SIAM Activity Group on Discrete Mathematics
Publisher : SIAM
Page : 962 pages
File Size : 40,90 MB
Release : 2001-01-01
Category : Mathematics
ISBN : 9780898714906
Contains 130 papers, which were selected based on originality, technical contribution, and relevance. Although the papers were not formally refereed, every attempt was made to verify the main claims. It is expected that most will appear in more complete form in scientific journals. The proceedings also includes the paper presented by invited plenary speaker Ronald Graham, as well as a portion of the papers presented by invited plenary speakers Udi Manber and Christos Papadimitriou.
Author : Wil M. P. van der Aalst
Publisher : Springer Nature
Page : 441 pages
File Size : 33,26 MB
Release : 2019-12-14
Category : Computers
ISBN : 3030373347
This book constitutes the post-conference proceedings of the 8th International Conference on Analysis of Images, Social Networks and Texts, AIST 2019, held in Kazan, Russia, in July 2019. The 27 full and 8 short papers were carefully reviewed and selected from 134 submissions (of which 21 papers were automatically rejected without being reviewed). The papers are organized in topical sections on general topics of data analysis; natural language processing; social network analysis; analysis of images and video; optimization problems on graphs and network structures; and analysis of dynamic behavior through event data.
Author : Stefan Kiefer
Publisher : Springer Nature
Page : 574 pages
File Size : 13,29 MB
Release : 2021-03-22
Category : Mathematics
ISBN : 3030719952
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Author : Alexandra Boldyreva
Publisher : Springer
Page : 864 pages
File Size : 34,24 MB
Release : 2019-08-09
Category : Computers
ISBN : 303026954X
The three-volume set, LNCS 11692, LNCS 11693, and LNCS 11694, constitutes the refereed proceedings of the 39th Annual International Cryptology Conference, CRYPTO 2019, held in Santa Barbara, CA, USA, in August 2019. The 81 revised full papers presented were carefully reviewed and selected from 378 submissions. The papers are organized in the following topical sections: Part I: Award papers; lattice-based ZK; symmetric cryptography; mathematical cryptanalysis; proofs of storage; non-malleable codes; SNARKs and blockchains; homomorphic cryptography; leakage models and key reuse. Part II: MPC communication complexity; symmetric cryptanalysis; (post) quantum cryptography; leakage resilience; memory hard functions and privacy amplification; attribute based encryption; foundations. Part III: Trapdoor functions; zero knowledge I; signatures and messaging; obfuscation; watermarking; secure computation; various topics; zero knowledge II; key exchange and broadcast encryption.
Author : Florin Manea
Publisher : Springer
Page : 448 pages
File Size : 13,27 MB
Release : 2018-07-23
Category : Computers
ISBN : 3319944185
This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017. The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition, this volume includes 15 invited papers. The conference CiE 2018 has six special sessions, namely: Approximation and optimization, Bioinformatics and bio-inspired computing, computing with imperfect information, continuous computation, history and philosophy of computing (celebrating the 80th birthday of Martin Davis), and SAT-solving.
Author : Daniel Bienstock
Publisher : Springer Nature
Page : 459 pages
File Size : 41,68 MB
Release : 2020-04-13
Category : Computers
ISBN : 3030457710
This book constitutes the refereed proceedings of the 21st International Conference on Integer Programming and Combinatorial Optimization, IPCO 2020, held in London, UK, in June 2020. The 33 full versions of extended abstracts presented were carefully reviewed and selected from 126 submissions. The conference is a forum for researchers and practitioners working on various aspects of integer programming and combinatorial optimization. The aim is to present recent developments in theory, computation, and applications in these areas.
