International Academic Conference in Prague 2019

International Academic Conference in Cesky Krumlov 2019

Scientific articles form: International Academic Conference on Teaching, Learning and E-learning International Academic Conference on Management, Economics and Marketing International Academic Conference on Engineering, Transport, IT and AI

International Academic Conferences: - Teaching, Learning and E-learning (IAC-TLEl) - Management, Economics and Marketing (IAC-MEM)

This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.

This book constitutes the refereed proceedings of the 13th IFIP WG 8.9 Working Conference on Research and Practical Issues of Enterprise Information Systems, CONFENIS 2019, held in Prague, Czech Republic, in December 2019. The 11 full and 2 short papers included in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: EIS and industry; technical architecture and applications for EIS; collaborative networks and project management; and security and privacy issues.

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

This book brings together articles from leading experts in the field of international dispute resolution. The main focus is on the situation in Asia, though the European perspective also plays an important part. Accordingly, the focus on the Asian dispute resolution market with a distinctly American and European “touch” is one of the book’s most unique features. The dispute resolution market is rapidly transforming, and dispute resolution law is changing with it –especially in Asia. This book highlights recent advances and outlines future trends in this area. Emphasis is especially placed on International Commercial Arbitration Law on the one hand; and on International Investment Arbitration Law on the other. Two dedicated sections address these two topics, while another is dedicated to a quite new phenomenon in the field of international dispute resolution, the emergence of International Commercial Courts not only in Asia, but also in other regions of the world (e.g. in the Netherlands). This raises a host of interesting legal questions, which the book addresses. The book’s final section investigates general trends in dispute resolution (e.g. the rising cost problem in arbitration in general).

This book presents the results of the successful Sensors Special Issue on Intelligent Vehicles that received submissions between March 2019 and May 2020. The Guest Editors of this Special Issue are Dr. David Fernández-Llorca, Dr. Ignacio Parra-Alonso, Dr. Iván García-Daza and Dr. Noelia Parra-Alonso, all from the Computer Engineering Department at the University of Alcalá (Madrid, Spain). A total of 32 manuscripts were finally accepted between 2019 and 2020, presented by top researchers from all over the world. The reader will find a well-representative set of current research and developments related to sensors and sensing for intelligent vehicles. The topics of the published manuscripts can be grouped into seven main categories: (1) assistance systems and automatic vehicle operation, (2) vehicle positioning and localization, (3) fault diagnosis and fail-x systems, (4) perception and scene understanding, (5) smart regenerative braking systems for electric vehicles, (6) driver behavior modeling and (7) intelligent sensing. We, the Guest Editors, hope that the readers will find this book to contain interesting papers for their research, papers that they will enjoy reading as much as we have enjoyed organizing this Special Issue

High voltage engineering is extremely important for the reliable design, safe manufacture and operation of electric devices, equipment and electric power systems. The 21st International Symposium on High Voltage Engineering, organized by the 90 years old Budapest School of High Voltage Engineering, provides an excellent forum to present results, advances and discussions among engineers, researchers and scientists, and share ideas, knowledge and expertise on high voltage engineering. The proceedings of the conference presents the state of the art technology of the field. The content is simultaneously aiming to help practicing engineers to be able to implement based on the papers and researchers to link and further develop ideas.