Download or read book SOFSEM 2018 Theory and Practice of Computer Science written by A Min Tjoa and published by Springer. This book was released on 2018-01-12 with total page 689 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018. The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software engineering: advances methods, applications, and tools; data, information and knowledge engineering; network science and parameterized complexity; model-based software engineering; computational models and complexity; software quality assurance and transformation; graph structure and computation; business processes, protocols, and mobile networks; mobile robots and server systems; automata, complexity, completeness; recognition and generation; optimization, probabilistic analysis, and sorting; filters, configurations, and picture encoding; machine learning; text searching algorithms; and data model engineering.
Download or read book SOFSEM 2021 Theory and Practice of Computer Science written by Tomáš Bureš and published by Springer Nature. This book was released on 2021-01-20 with total page 628 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book SOFSEM 2020 Theory and Practice of Computer Science written by Alexander Chatzigeorgiou and published by Springer Nature. This book was released on 2020-01-16 with total page 725 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book SOFSEM 2024 written by Henning Fernau and published by Springer Nature. This book was released on 2024 with total page 514 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book SOFSEM 2019 Theory and Practice of Computer Science written by Barbara Catania and published by Springer. This book was released on 2019-01-10 with total page 548 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2019, held in Nový Smokovec, Slovakia, in January 2019. The 34 full papers presented together with 6 invited talks were carefully reviewed and selected from 92 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2019: Foundations of theoretical Computer Science, foundations of data science and engineering, and foundations of software engineering.
Download or read book SOFSEM 2023 Theory and Practice of Computer Science written by Leszek Gąsieniec and published by Springer Nature. This book was released on 2022-12-19 with total page 401 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Approximation and Online Algorithms written by Leah Epstein and published by Springer. This book was released on 2018-11-28 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed workshop post-proceedings of the 16th International Workshop on Approximation and Online Algorithms, WAOA 2018, held in Helsinki, Finland, in August 2018 as part of ALGO 2018. The 19 revised full papers presented together with one invited paper in this book were carefully reviewed and selected from 44 submissions. Topics of interest for WAOA 2016 were: graph algorithms; inapproximability results; network design; packing and covering; paradigms for the design and analysis of approximation and online algorithms; parameterized complexity; scheduling problems; algorithmic game theory; algorithmic trading; coloring and partitioning; competitive analysis; computational advertising; computational finance; cuts and connectivity; geometric problems; mechanism design; resource augmentation; and real-world applications.
Download or read book Tools and Algorithms for the Construction and Analysis of Systems written by Bernd Finkbeiner and published by Springer Nature. This book was released on with total page 413 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Security of Internet of Things Nodes written by Chinmay Chakraborty and published by CRC Press. This book was released on 2021-08-30 with total page 321 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book Security of Internet of Things Nodes: Challenges, Attacks, and Countermeasures® covers a wide range of research topics on the security of the Internet of Things nodes along with the latest research development in the domain of Internet of Things. It also covers various algorithms, techniques, and schemes in the field of computer science with state-of-the-art tools and technologies. This book mainly focuses on the security challenges of the Internet of Things devices and the countermeasures to overcome security vulnerabilities. Also, it highlights trust management issues on the Internet of Things nodes to build secured Internet of Things systems. The book also covers the necessity of a system model for the Internet of Things devices to ensure security at the hardware level.
Download or read book Digital Business Models written by Adam Jabłoński and published by Routledge. This book was released on 2020-10-11 with total page 203 pages. Available in PDF, EPUB and Kindle. Book excerpt: By presenting the conditions, methods and techniques of monetisation of business models in the digital economy, this book combines implementation of the theoretical aspects of monetisation with the presentation of practical business solutions in this field. The scope of the book includes the relationship between the monetisation and scalability degree of business models. The book describes the place and role of the digital business ecosystem in the process of digital transformation. It demonstrates ideological and functional conditions for the use of the concept of sharing to design innovative business models while also presenting a multi-dimensional approach to the use of Big Data and their monetisation in the context of business models. Digital Business Models shows the place and role of ecological and social factors in building digital business models that are part of the concept of the circular economy and presents the contemporary conditions of a sustainability concept that meets the ethical challenges of doing digital business. It demonstrates how important the social factors of business model design and the creation of social value are in modern business and demonstrates. The book explores the servitisation of digital business models using digital technologies and features case studies on the effective solutions of business models that use servitisation as a factor supporting the monetisation of business models. Written for scholars exploring the efficiency and effectiveness of business models related to contemporary concepts – Sharing Economy, Circular Economy, Network Economy, Big Data, so on – and those designing business models taking into account social aspects, it will also be of direct interest to entrepreneurship courses.
Download or read book SOFSEM 2021 Theory and Practice of Computer Science written by Tomas Bures and published by . This book was released on 2021 with total page 624 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Proceedings of the Future Technologies Conference FTC 2018 written by Kohei Arai and published by Springer. This book was released on 2018-10-17 with total page 1188 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book, presenting the proceedings of the 2018 Future Technologies Conference (FTC 2018), is a remarkable collection of chapters covering a wide range of topics, including, but not limited to computing, electronics, artificial intelligence, robotics, security and communications and their real-world applications. The conference attracted a total of 503 submissions from pioneering researchers, scientists, industrial engineers, and students from all over the world. After a double-blind peer review process, 173 submissions (including 6 poster papers) have been selected to be included in these proceedings. FTC 2018 successfully brought together technology geniuses in one venue to not only present breakthrough research in future technologies but to also promote practicality and applications and an intra- and inter-field exchange of ideas. In the future, computing technologies will play a very important role in the convergence of computing, communication, and all other computational sciences and applications. And as a result it will also influence the future of science, engineering, industry, business, law, politics, culture, and medicine. Providing state-of-the-art intelligent methods and techniques for solving real-world problems, as well as a vision of the future research, this book is a valuable resource for all those interested in this area.
Download or read book Restart Strategies written by Jan-Hendrik Lorenz and published by BoD – Books on Demand. This book was released on 2021-10-12 with total page 287 pages. Available in PDF, EPUB and Kindle. Book excerpt: Restarting is a technique employed by many algorithms. For some problems, restarts improve the runtimes by orders of magnitude. This thesis considers several aspects of restarts. In addition to complexity-theoretical properties, we also study methods for constructing optimal restart strategies. On the practical side, we apply restarts to significantly improve the performance of a SAT solver.
Download or read book SOFSEM 2024 Theory and Practice of Computer Science written by Henning Fernau and published by Springer. This book was released on 2024-03-03 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Information Systems Architecture and Technology Proceedings of 40th Anniversary International Conference on Information Systems Architecture and Technology ISAT 2019 written by Jerzy Świątek and published by Springer Nature. This book was released on 2019-09-04 with total page 342 pages. Available in PDF, EPUB and Kindle. Book excerpt: This three-volume book highlights significant advances in the development of new information systems technologies and architectures. Further, it helps readers solve specific research and analytical problems and glean useful knowledge and business value from data. Each chapter provides an analysis of a specific technical problem, followed by a numerical analysis, simulation, and implementation of the solution to the real-world problem. Managing an organization, especially in today’s rapidly changing environment, is a highly complex process. Increased competition in the marketplace, especially as a result of the massive and successful entry of foreign businesses into domestic markets, changes in consumer behaviour, and broader access to new technologies and information, calls for organisational restructuring and the introduction and modification of management methods using the latest scientific advances. This situation has prompted various decision-making bodies to introduce computer modelling of organization management systems. This book presents the peer-reviewed proceedings of the 40th Anniversary International Conference “Information Systems Architecture and Technology” (ISAT), held on September 15–17, 2019, in Wrocław, Poland. The conference was organised by the Computer Science Department, Faculty of Computer Science and Management, Wroclaw University of Sciences and Technology, and University of Applied Sciences in Nysa, Poland. The papers have been grouped into three major sections: Part I—discusses topics including, but not limited to, artificial intelligence methods, knowledge discovery and data mining, big data, knowledge-based management, Internet of Things, cloud computing and high-performance computing, distributed computer systems, content delivery networks, and service-oriented computing. Part II—addresses various topics, such as system modelling for control, recognition and decision support, mathematical modelling in computer system design, service-oriented systems, and cloud computing, and complex process modelling. Part III—focuses on a number of themes, like knowledge-based management, modelling of financial and investment decisions, modelling of managerial decisions, production systems management, and maintenance, risk management, small business management, and theories and models of innovation.
Download or read book New Trends in Intelligent Software Methodologies Tools and Techniques written by H. Fujita and published by IOS Press. This book was released on 2021-09-28 with total page 728 pages. Available in PDF, EPUB and Kindle. Book excerpt: The integration of AI with software is an essential enabler for science and the new economy, creating new markets and opportunities for a more reliable, flexible and robust society. Current software methodologies, tools and techniques often fall short of expectations, however, and much software remains insufficiently robust and reliable for a constantly changing and evolving market. This book presents 54 papers delivered at the 20th edition of the International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques (SoMeT_21), held in Cancun, Mexico, from 21–23 September 2021. The aim of the conference was to capture the essence of a new state-of-the-art in software science and its supporting technology and to identify the challenges that such a technology will need to master, and this book explores the new trends and theories illuminating the direction of development in this field as it heads towards a transformation in the role of software and science integration in tomorrow’s global information society. The 54 revised papers were selected for publication by means of a rigorous review process involving 3 or 4 reviewers for each paper, followed by selection by the SoMeT_21 international reviewing committee. The book is divided into 9 chapters, classified by paper topic and relevance to the chapter theme. Covering topics ranging from research practices, techniques and methodologies to proposing and reporting on the solutions required by global business, the book offers an opportunity for the software science community to consider where they are today and where they are headed in the future.
Download or read book Intelligent Security Management and Control in the IoT written by Mohamed-Aymen Chalouf and published by John Wiley & Sons. This book was released on 2022-06-16 with total page 322 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Internet of Things (IoT) has contributed greatly to the growth of data traffic on the Internet. Access technologies and object constraints associated with the IoT can cause performance and security problems. This relates to important challenges such as the control of radio communications and network access, the management of service quality and energy consumption, and the implementation of security mechanisms dedicated to the IoT. In response to these issues, this book presents new solutions for the management and control of performance and security in the IoT. The originality of these proposals lies mainly in the use of intelligent techniques. This notion of intelligence allows, among other things, the support of object heterogeneity and limited capacities as well as the vast dynamics characterizing the IoT.
