Page 2
Page 2
Graph structures for knowledge representation and reasoning ; 6th International Workshop, GKR 2020, virtual event, September 5, 2020, revised selected papers
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence.
Frontiers in Algorithmics ; 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings
This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in Haikou, China, in May 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers presented in this volume were carefully reviewed and selected from 15 submissions. The workshop provides a focused forum on current trends of research on algorithms, discrete structures, and their applications, and brings together international experts at the research frontiers in these areas to exchange ideas and to present significant new results. The papers detail graph theory, scheduling and algorithm and complexity.
Formal techniques for networked and distributed systems - FORTE 2005 ; 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The 25th FORTE was held from Sunday to Wednesday, October 2–5, 2005 on the beautiful campus of the National Taiwan University (NTU), Taipei, Taiwan, ROC.
Formal techniques for distributed objects, components, and systems ; 40th IFIP WG 6.1 International conference, FORTE 2020, Held as Part of the 15th International Federated Conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*
Financial cryptography and data security ; FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020, in Kota Kinabalu, Malaysia, in February 2020. The 39 full papers and 3 short papers presented in this book were carefully reviewed and selected from 73 submissions. The papers feature four Workshops: The 1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020.
Euro-Par 2020 : Parallel Processing ; 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings
This book constitutes the proceedings of the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, held in Warsaw, Poland, in August 2020. The conference was held virtually due to the coronavirus pandemic. The 39 full papers presented in this volume were carefully reviewed and selected from 158 submissions. They deal with parallel and distributed computing in general, focusing on support tools and environments; performance and power modeling, prediction and evaluation; scheduling and load balancing; high performance architectures and compilers; data management, analytics and machine learning; cluster, cloud and edge computing; theory and algorithms for parallel and distributed processing; parallel and distributed programming, interfaces, and languages; multicore and manycore parallelism; parallel numerical methods and applications; and accelerator computing.
Euro-Par 2019 : Parallel Processing Workshops ; Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers
Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These range from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to full-edged applications, from architecture, compiler, language and interface design and implementation to tools, support infrastructures, and application performance aspects.
Emerging Technologies in Computing ; 3rd EAI International Conference, iCETiC 2020, London, UK, August 19–20, 2020, Proceedings
This book constitutes the refereed conference proceedings of the Third International Conference on Emerging Technologies in Computing, iCEtiC 2020, held in London, UK, in August 2020. Due to VOVID-19 pandemic the conference was helt virtually.The 25 revised full papers were reviewed and selected from 65 submissions and are organized in topical sections covering blockchain and cloud computing; security, wireless sensor networks and IoT; AI, big data and data analytics; emerging technologies in engineering, education and sustainable development.
Embedded Computer Systems : Architectures, Modeling, and Simulation; 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2020, held in Samos, Greece, in July 2020.* The 16 regular papers presented were carefully reviewed and selected from 35 submissions. In addition, 9 papers from two special sessions were included, which were organized on topics of current interest: innovative architectures for security and European projects on embedded and high performance computing for health applications.
Electronic Governance and Open Society : Challenges in Eurasia; 6th International Conference, EGOSE 2019, St. Petersburg, Russia, November 13–14, 2019, Proceedings
This book constitutes the refereed proceedings of the 6th Conference on Electronic Governance and Open Society: Challenges in Eurasia, EGOSE 2019, held in St. Petersburg, Russia, in November 2019. The 32 revised full papers were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on smart city;digital government, society and economy; digital intelligence, data science and cybercrime; social networking and media.
e-Learning, e-Education, and Online Training ; 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part II
Constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online Training, eLEOT 2020, held in Changsha, China, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The 68 full papers presented were carefully reviewed and selected from 141 submissions. They focus on most recent and innovative trends and new technologies in for educational modernization, such as artificial intelligence and big data. The theme of eLEOT 2020 was “Education with New Generation Information Technology”.
e-Learning, e-Education, and Online Training ; 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part I
Constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online Training, eLEOT 2020, held in Changsha, China, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The 68 full papers presented were carefully reviewed and selected from 141 submissions. They focus on most recent and innovative trends and new technologies in for educational modernization, such as artificial intelligence and big data. The theme of eLEOT 2020 was “Education with New Generation Information Technology”.
E-Democracy – Safeguarding Democracy and Human Rights in the Digital Age ; 8th International Conference, e-Democracy 2019, Athens, Greece, December 12-13, 2019, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on E-Democracy, E-Democracy 2019, held in Athens, Greece, in December 2019. The 15 revised full papers presented were carefully selected from 27 submissions. The papers are organized in topical sections on rrivacy and data protection; e-government; e-voting and forensics; online social networks and "fake news".
Distributed computing and internet technology ; 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings
This book constitutes the proceedings of the 17th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2021. The 13 full papers presented together with 4 short papers were carefully reviewed and selected from 99 submissions. The papers were organized in topical sections named: invited talks, cloud computing and networks, distributed algorithms, concurrency and parallelism, graph algorithms and security, social networks and machine learning, and short papers.
Digital human modeling and applications in health, safety, ergonomics and risk management : Posture, motion and health ; 11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I
This two-volume set LNCS 12198 and 12199 constitutes the thoroughly refereed proceedings of the 11th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2020, which was supposed to be held as part of the 22st HCI International Conference, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic.
Digital human modeling and applications in health, safety, ergonomics and risk management : Human communication, organization and work ; 11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II
This two-volume set LNCS 12198 and 12199 constitutes the thoroughly refereed proceedings of the 11th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2020, which was supposed to be held as part of the 22st HCI International Conference, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic.
Detection of intrusions and malware, and vulnerability assessment ; 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings
This book constitutes the proceedings of the 17th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2020, held in Lisbon, Portugal, in June 2020.* The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The contributions were organized in topical sections named: vulnerability discovery and analysis; attacks; web security; and detection and containment.
Design, user experience, and usability interaction design ; 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I
This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, DUXU 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic. From a total of 6326 submissions, a total of 1439 papers and 238 posters has been accepted for publication in the HCII 2020 proceedings. The 40 papers included in this volume were organized in topical sections on UX design methods, tools and guidelines, interaction design and information visualization, and emotional design.
Database and expert systems applications ; DEXA 2020 International workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14–17, 2020, Proceedings
This volume constitutes the refereed proceedings of the three workshops held at the 31st International Conference on Database and Expert Systems Applications, DEXA 2020, held in September 2020: The 11th International Workshop on Biological Knowledge Discovery from Data, BIOKDD 2020, the 4th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, IWCFS 2020, the 2nd International Workshop on Machine Learning and Knowledge Graphs, MLKgraphs2019. Due to the COVID-19 pandemic the conference and workshop were held virtually. The 10 papers were thoroughly reviewed and selected from 15 submissions, and discuss a range of topics including: knowledge discovery, biological data, cyber security, cyber-physical system, machine learning, knowledge graphs, information retriever, data base, and artificial intelligent.
Database and expert systems applications ; 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part II
The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems Applications, DEXA 2020, which will be held online in September 2020. The 38 full papers presented together with 20 short papers plus 1 keynote papers in these volumes were carefully reviewed and selected from a total of 190 submissions.
