Sofsem 2020

Author : Alexander Chatzigeorgiou,Riccardo Dondi,Herodotos Herodotou,Christos Kapoutsis,Yannis Manolopoulos,George A. Papadopoulos,Florian Sikora
Publisher : Springer Nature
Page : 725 pages
File Size : 43,9 Mb
Release : 2020-01-16
Category : Mathematics
ISBN : 9783030389192

Get Book

SOFSEM 2020: Theory and Practice of Computer Science by Alexander Chatzigeorgiou,Riccardo Dondi,Herodotos Herodotou,Christos Kapoutsis,Yannis Manolopoulos,George A. Papadopoulos,Florian Sikora Pdf

This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020. The 40 full papers presented together with 17 short papers and 3 invited papers were carefully reviewed and selected from 125 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2020: foundations of computer science, foundations of data science and engineering, foundations of software engineering, and foundations of algorithmic computational biology.

Author : Leszek Gąsieniec
Publisher : Springer Nature
Page : 401 pages
File Size : 47,5 Mb
Release : 2022-12-19
Category : Computers
ISBN : 9783031231018

Get Book

SOFSEM 2023: Theory and Practice of Computer Science by Leszek Gąsieniec Pdf

This book constitutes the conference proceedings of the 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, held in Nový Smokovec, Slovakia, during January 15–18, 2023. The 22 full papers presented together with 2 best papers and 2 best students papers in this book were carefully reviewed and selected from 43 submissions. This workshop focuses on graphs problems and optimization; graph drawing and visualization; NP-hardness and fixed parameter tractability; communication and temporal graphs; complexity and learning; and robots and strings.

Author : Tomáš Bureš,Riccardo Dondi,Johann Gamper,Giovanna Guerrini,Tomasz Jurdziński,Claus Pahl,Florian Sikora,Prudence W.H. Wong
Publisher : Springer Nature
Page : 628 pages
File Size : 40,8 Mb
Release : 2021-01-20
Category : Computers
ISBN : 9783030677312

Get Book

SOFSEM 2021: Theory and Practice of Computer Science by Tomáš Bureš,Riccardo Dondi,Johann Gamper,Giovanna Guerrini,Tomasz Jurdziński,Claus Pahl,Florian Sikora,Prudence W.H. Wong Pdf

This book contains the invited and contributed papers selected for presentation at SOFSEM 2021, the 47th International Conference on Current Trends in Theory and Practice of Computer Science, which was held online during January 25–28, 2021, hosted by the Free University of Bozen-Bolzano, Italy. The 33 full and 7 short papers included in the volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections on: foundations of computer science; foundations of software engineering; foundations of data science and engineering; and foundations of algorithmic computational biology. The book also contains 5 invited papers.

Author : Henning Fernau,Serge Gaspers,Ralf Klasing
Publisher : Springer Nature
Page : 514 pages
File Size : 42,5 Mb
Release : 2024
Category : Computer science
ISBN : 9783031521133

Get Book

SOFSEM 2024 by Henning Fernau,Serge Gaspers,Ralf Klasing Pdf

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.

Author : Alexander Chatzigeorgiou,Riccardo Dondi,Herodotos Herodotou,Christos Kapoutsis,Yannis Manolopoulos,George A. Papadopoulos,Florian Sikora
Publisher : Unknown
Page : 723 pages
File Size : 41,9 Mb
Release : 2020
Category : Computer science
ISBN : 3030389200

Get Book

SOFSEM 2020 by Alexander Chatzigeorgiou,Riccardo Dondi,Herodotos Herodotou,Christos Kapoutsis,Yannis Manolopoulos,George A. Papadopoulos,Florian Sikora Pdf

This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020. The 40 full papers presented together with 17 short papers and 3 invited papers were carefully reviewed and selected from 125 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2020: foundations of computer science, foundations of data science and engineering, foundations of software engineering, and foundations of algorithmic computational biology.

Author : Violet Ka I Pun,Volker Stolz,Adenilso Simao
Publisher : Springer Nature
Page : 327 pages
File Size : 41,5 Mb
Release : 2020-11-24
Category : Computers
ISBN : 9783030642761

Get Book

Theoretical Aspects of Computing – ICTAC 2020 by Violet Ka I Pun,Volker Stolz,Adenilso Simao Pdf

This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

Author : Adrien Bartoli,Andrea Fusiello
Publisher : Springer Nature
Page : 777 pages
File Size : 46,6 Mb
Release : 2021-01-02
Category : Computers
ISBN : 9783030668235

Get Book

Computer Vision – ECCV 2020 Workshops by Adrien Bartoli,Andrea Fusiello Pdf

The 6-volume set, comprising the LNCS books 12535 until 12540, constitutes the refereed proceedings of 28 out of the 45 workshops held at the 16th European Conference on Computer Vision, ECCV 2020. The conference was planned to take place in Glasgow, UK, during August 23-28, 2020, but changed to a virtual format due to the COVID-19 pandemic. The 249 full papers, 18 short papers, and 21 further contributions included in the workshop proceedings were carefully reviewed and selected from a total of 467 submissions. The papers deal with diverse computer vision topics. Part IV focusses on advances in image manipulation; assistive computer vision and robotics; and computer vision for UAVs.

Author : Yo-Sub Han,György Vaszil
Publisher : Springer Nature
Page : 239 pages
File Size : 43,8 Mb
Release : 2022-08-22
Category : Computers
ISBN : 9783031132575

Get Book

Descriptional Complexity of Formal Systems by Yo-Sub Han,György Vaszil Pdf

This book constitutes the proceedings of the 24th International Conference on Descriptional Complexity of Format Systems, DCFS 2022, which was supposed to take place in Debrecen, Hungary in August 2022. The 14 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains 4 invited talks. The conference focus to all aspects of descriptional complexity including Automata, grammars, languages, and other formal systems; various modes of operations and complexity measures.

Author : Alberto Griggio,Neha Rungta,Georg Weissenbacher,Warren A. Hunt, Jr.
Publisher : TU Wien Academic Press
Page : 405 pages
File Size : 55,8 Mb
Release : 2022-10-12
Category : Computers
ISBN : 9783854480532

Get Book

PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022 by Alberto Griggio,Neha Rungta,Georg Weissenbacher,Warren A. Hunt, Jr. Pdf

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.

Author : Jeremy Gibbons
Publisher : Springer Nature
Page : 336 pages
File Size : 46,9 Mb
Release : 2024-06-14
Category : Electronic
ISBN : 9789819723003

Get Book

Functional and Logic Programming by Jeremy Gibbons Pdf

Author : Annalisa Appice,Grigorios Tsoumakas,Yannis Manolopoulos,Stan Matwin
Publisher : Springer Nature
Page : 705 pages
File Size : 50,8 Mb
Release : 2020-10-14
Category : Computers
ISBN : 9783030615277

Get Book

Discovery Science by Annalisa Appice,Grigorios Tsoumakas,Yannis Manolopoulos,Stan Matwin Pdf

This book constitutes the proceedings of the 23rd International Conference on Discovery Science, DS 2020, which took place during October 19-21, 2020. The conference was planned to take place in Thessaloniki, Greece, but had to change to an online format due to the COVID-19 pandemic. The 26 full and 19 short papers presented in this volume were carefully reviewed and selected from 76 submissions. The contributions were organized in topical sections named: classification; clustering; data and knowledge representation; data streams; distributed processing; ensembles; explainable and interpretable machine learning; graph and network mining; multi-target models; neural networks and deep learning; and spatial, temporal and spatiotemporal data.

Author : Marinos Themistocleous,Maria Papadaki,Muhammad Mustafa Kamal
Publisher : Springer Nature
Page : 808 pages
File Size : 50,5 Mb
Release : 2020-11-20
Category : Computers
ISBN : 9783030633967

Get Book

Information Systems by Marinos Themistocleous,Maria Papadaki,Muhammad Mustafa Kamal Pdf

This book constitutes the proceedings papers from the 17th European, Mediterranean, and Middle Eastern Conference on Information Systems, EMCIS 2020, held in Dubai, UAE, in November 2020. Due to the COVID-19 pandemic the conference took place virtually. EMCIS focuses on approaches that facilitate the identification of innovative research of significant relevance to the Information Systems discipline following sound research methodologies that lead to results of measurable impact. The 56 papers presented in this volume were carefully reviewed and selected from a total of 161 submissions to the main conference. They are grouped in section on Big Data and Analytics, Blockchain Technology and Applications, Digital Government, Digital Services and Social Media, Emerging Computing Technologies and Trends for Business Process Management, Enterprise Systems, Healthcare Information Systems, Information Systems Security and Information Privacy Protection, Innovative Research Projects, Management and Organisational Issues in Information Systems.

Author : Didier Buchs,Josep Carmona
Publisher : Springer Nature
Page : 487 pages
File Size : 53,7 Mb
Release : 2021-06-16
Category : Computers
ISBN : 9783030769833

Get Book

Application and Theory of Petri Nets and Concurrency by Didier Buchs,Josep Carmona Pdf

This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021. The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.

Author : Radek Silhavy,Petr Silhavy
Publisher : Springer Nature
Page : 874 pages
File Size : 50,8 Mb
Release : 2023-07-08
Category : Technology & Engineering
ISBN : 9783031353116

Get Book

Software Engineering Research in System Science by Radek Silhavy,Petr Silhavy Pdf

The latest advancements in software engineering are featured in this book, which contains the refereed proceedings of the part of the 12th Computer Science Online Conference 2023 (CSOC 2023), held online in April 2023. The software engineering research in system science session is focusing on the importance of software engineering in the field of system science. This section provides a platform for researchers to share their insights on modern research methodologies, machine learning, and statistical learning techniques in software engineering research. The session provides a unique opportunity for researchers and industry experts to explore the latest trends in software engineering and inspire future research directions. This session brings together experts from different fields to present their research and discuss the latest challenges and opportunities. One of the key themes of this session is the application of artificial intelligence in software engineering. Researchers are exploring how techniques can be used to automate various aspects of software engineering, such as testing, debugging, and maintenance. This helps improve the quality and efficiency of software development processes.

Author : Sergio Rajsbaum,Alkida Balliu,Joshua J. Daymude,Dennis Olivetti
Publisher : Springer Nature
Page : 606 pages
File Size : 43,9 Mb
Release : 2023-05-24
Category : Computers
ISBN : 9783031327339

Get Book

Structural Information and Communication Complexity by Sergio Rajsbaum,Alkida Balliu,Joshua J. Daymude,Dennis Olivetti Pdf

This book constitutes the refereed proceedings of the 30th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2023, held in Alcalá de Henares, Spain, during June 6–9, 2023. The 26 full papers presented in this book were carefully reviewed and selected from 48 submissions. SIROCCO is devoted to the study of the interplay between structural knowledge, communication, and computing in decentralized systems of multiple communicating entities. Special emphasis is given to innovative approaches leading to better understanding of the relationship between computing and communication. This is the 30th edition of SIROCCO, and 3 of the 26 papers in this book are devoted to celebrating this fact, plus an additional paper about a recent trend to study special models of computation.