This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of computerscience, MFCS '97, held in Bratislava, Slovakia, in August 1997.;The 40 revised full paper...
详细信息
ISBN:
(数字)9783540695479
ISBN:
(纸本)9783540634379
This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of computerscience, MFCS '97, held in Bratislava, Slovakia, in August 1997.;The 40 revised full papers presented were carefully selected from a total of 94 submissions. Also included are nine invited papers and two abstracts of invited talks. The papers cover the whole range of theoretical computerscience including programming theory, complexity theory, mathematical logic, rewriting, grammars, formal languages, theory of algorithms, computational graph theory, etc.
The 48 full papers presented in this book were carefully reviewed and selected from 109 submissions. They include original research from all areas of foundations of computerscience and artificial intelligence focusin...
详细信息
ISBN:
(数字)9783031826979
ISBN:
(纸本)9783031826962
The 48 full papers presented in this book were carefully reviewed and selected from 109 submissions. They include original research from all areas of foundations of computerscience and artificial intelligence focusing on AI-based algorithms and techniques, nature-inspired computing, machine learning theory, multi-agent algorithms and games, neural network theory, parallel and distributed computing, quantum computing, computability, decidability, classical and non-classical models of computation, computational complexity, computational learning, cryptographic techniques and security, data compression, data and pattern mining methods, discrete combinatorial optimization, automata, languages, machine models, rewriting systems, efficient data structures, graph structure and algorithms, logics of computation, robotics, and other relevant theory topics in computing and AI.
This book constitutes the thoroughly refereed proceedings of the 39th International Workshop on Graph Theoretic Concepts in computerscience, WG 2013, held in Lübeck, Germany, in June 2013. The 34 revised full pa...
详细信息
ISBN:
(数字)9783642450433
ISBN:
(纸本)9783642450426
This book constitutes the thoroughly refereed proceedings of the 39th International Workshop on Graph Theoretic Concepts in computerscience, WG 2013, held in Lübeck, Germany, in June 2013. The 34 revised full papers presented were carefully reviewed and selected from 61 submissions. The book also includes two abstracts. The papers cover a wide range of topics in graph theory related to computerscience, such as structural graph theory with algorithmic or complexity applications; design and analysis of sequential, parallel, randomized, parameterized and distributed graph and network algorithms; computational complexity of graph and network problems; computational geometry; graph grammars, graph rewriting systems and graph modeling; graph drawing and layouts; random graphs and models of the web and scale-free networks; and support of these concepts by suitable implementations and applications.
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of computerscience, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The...
详细信息
ISBN:
(数字)9783642403132
ISBN:
(纸本)9783642403125
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of computerscience, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computerscience, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in computerscience, RAMiCS 13, held in Cambridge, UK, in September 20...
详细信息
ISBN:
(数字)9783642333149
ISBN:
(纸本)9783642333132
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in computerscience, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computerscience, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.
On May 1, 2004, the world of theoretical computerscience su?ered a stunning loss: Shimon Even passed away. Few computer scientists have had as long, s- tained, and in?uential a career as Shimon. Shimon Even was born ...
详细信息
ISBN:
(数字)9783540328810
ISBN:
(纸本)9783540328803
On May 1, 2004, the world of theoretical computerscience su?ered a stunning loss: Shimon Even passed away. Few computer scientists have had as long, s- tained, and in?uential a career as Shimon. Shimon Even was born in Tel-Aviv in 1935. He received a ***. in Elect- cal Engineering from the Technion in 1959, an M.A. in mathematics from the University of Northern Carolina in 1961, and a Ph.D. in Applied mathematics from Harvard University in 1963. He held positions at the Technion (1964–67 and 1974–2003), Harvard University (1967–69), the Weizmann Institute (1969– 74), and the Tel-Aviv Academic College (2003-04). He visited many universities and research institutes, including Bell Laboratories, Boston University, Cornell, Duke, Lucent Technologies, MIT, Paderborn, Stanford, UC-Berkeley, USC and UT-Dallas. Shimon Even played a major role in establishing computerscience education in Israel and led the development of academic programs in two major insti- tions: the Weizmann Institute and the Technion. In 1969 he established at the Weizmann the ?rst computerscience education program in Israel, and led this program for ?ve years. In 1974 he joined the newly formed computerscience department at the Technion and shaped its academic development for several decades. These two academic programs turned out to have a lasting impact on the evolution of computerscience in Israel.
This book constitutes the proceedings of the 9th International computerscience Symposium in Russia, CSR 2014, held in Moscow, Russia, in June 2014. The 27 full papers presented in this volume were carefully reviewed ...
详细信息
ISBN:
(数字)9783319066868
ISBN:
(纸本)9783319066851
This book constitutes the proceedings of the 9th International computerscience Symposium in Russia, CSR 2014, held in Moscow, Russia, in June 2014. The 27 full papers presented in this volume were carefully reviewed and selected from 76 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical computerscience and its applications.
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of computerscience, MFCS 2014, held in Budapest, Hungary, in...
详细信息
ISBN:
(数字)9783662445228
ISBN:
(纸本)9783662445211
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of computerscience, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.
暂无评论