Computers -- Expert Systems

Cloud computing -- CLOUD 2020: 13th International Conference, held as part of th…

by Zhang, Liang-Jie, Services Conference Federation., Conference, Online), CLOUD (Conference : Cloud Computing), Online), Zhang, Qi, (Computer scientist), Wang, Yingwei

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the proceedings of the 13th International Conference on Cloud Computing, CLOUD 2020, held as part of SCF 2020, during September 18-20, 2020. The conference was planned to take place in Honolulu, HI, USA and was changed to a virtual format due to the COVID-1…

Formal methods: FM 2019 International Workshops : Porto, Portugal…

by Sekerinski, E., (Emil), Moreira, Nelma, Oliveira, Jose N., World Congress on Formal Methods, Porto, Portugal

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Prac…

Formal methods: FM 2019 International Workshops : Porto, Portugal…

by International Symposium of Formal Methods Europe, Porto, Portugal), Sekerinski, E., (Emil), Moreira, Nelma, Oliveira, Jose N.

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Prac…

Computer safety, reliability, and security: SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps …

by Ferreira, Pedro, SAFECOMP (Conference), Lisbon, Portugal), Casimiro, António, Ortmeier, Frank, Schoitsch, Erwin, Bitsch, Friedemann, DECSoS (Workshop), Online), DepDevOps (Workshop), Online), USDAI (Workshop), Online), WAISE (Workshop), Online)

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2020, 39th International Conference on Computer Safety, Reliability and Security, Lisbon, Portugal, September 2020. The 26 regular papers included in this volume were carefully reviewed and …

Formal modeling and analysis of timed systems: 18th International Conference, FORMATS 2020 Vienn…

by FORMATS (Conference), Online), Bertrand, Nathalie, (Researcher), Jansen, Nils

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed …

Towards interoperable research infrastructures for environmental and earth sciences: a reference model guided approach for common chal…

by Zhao, Zhiming, Hellstrom, Margareta

fromLecture Notes in Computer Science

0 Type: Book

This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of …

Software technologies: 14th International Conference, ICSOFT 2019, Pragu…

by ICSOFT (Conference), Prague, Czech Republic)

fromCommunications in computer and information science

0 Type: Book

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019. The 10 revised full papers were carefully reviewed and selected from 116 submission…

Engineering multi-agent systems: 7th International Workshop, EMAS 2019, Montreal, …

by International Workshop on Engineering Multi-Agent Systems, Montréal, Québec), Dennis, Louise, Bordini, Rafael H., Lesperance, Yves

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, held in Montreal, QC, Canada, in May 2019. The 13 revised full papers presented in this book were carefully selected and rev…

Mathematical software -- ICMS 2020: 7th International Conference, Braunschweig, Germa…

by International Congress of Mathematical Software, Online), Bigatti, Anna M., (Anna Maria), Carette, Jacques, (Computer scientist), Davenport, James H., Joswig, Michael, Wolff, Timo de

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 mee…

Artificial intelligence in education: 21st International Conference, AIED 2020, Ifrane,…

by International Conference on Artificial Intelligence in Education, Online), Bittencourt, Ig Ibert, Cukurova, Mutlu, Muldner, Kasia, Luckin, Rose, Millán, Eva

fromLecture Notes in Computer Science

0 Type: Book

This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial Intelligence in Education, AIED 2020, held in Ifrane, Morocco, in July 2020.* The 49 full papers presented together with 66 short, 4 industry & innova…

Cross-cultural design: applications in health, learning, communication, …

by International Conference on Human-Computer Interaction, Online), CCD (Conference), Online), Rau, Pei-Luen Patrick

fromLecture Notes in Computer Science

0 Type: Book

This two-volume set LNCS 12192 and 12193 constitutes the refereed proceedings of the 12th International Conference on Cross-Cultural Design, CCD 2020, held as part of HCI International 2020 in Copenhagen, Denmark in July 2020. The conference was held virtually due to the corona …

Distributed, ambient and pervasive interactions: 8th International Conference, DAPI 2020, held as …

by International Conference on Human-Computer Interaction, Online), Distributed, Ambient and Pervasive Interactions (Conference), Online)

fromLecture Notes in Computer Science

0 Type: Book

This conference proceeding LNCS 12203 constitutes the refereed proceedings of the 12th International Conference on Cross-Cultural Design, CCD 2020, held as part of HCI International 2020 in Copenhagen, Denmark in July 2020. The conference was held virtually due to the corona pan…

Image analysis and recognition: 17th International Conference, ICIAR 2020, Póvoa …

by ICIAR (Conference), Online), Campilho, A., Karray, Fakhri, Wang, Zhou

fromLecture Notes in Computer Science

0 Type: Book

This two-volume set LNCS 12131 and LNCS 12132 constitutes the refereed proceedings of the 17th International Conference on Image Analysis and Recognition, ICIAR 2020, held in Póvoa de Varzim, Portugal, in June 2020. The 54 full papers presented together with 15 short papers were…

Tests and proofs: 14th International Conference, TAP 2020, held as …

by TAP (Conference), Bergen, Norway), Ahrendt, Wolfgang, Wehrheim, Heike, STAF (Federation of conferences), Bergen, Norway)

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presente…

Financial cryptography and data security: 24th International Conference, FC 2020, Kota Kina…

by FC (Conference), Kota Kinabalu, Malaysia), Bonneau, Joseph, Heninger, Nadia Anne

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Financial Cryptography and Data Security, FC 2020, held in Kota Kinabalu, Malaysia, in February 2020. The 34 revised full papers and 2 short papers were carefully se…

Advances in Computational Intelligence: 19th Mexican International Conference on Artifici…

by Mexican International Conference on Artificial Intelligence, Mexico City, Mexico)

fromLecture Notes in Computer Science

0 Type: Book

The two-volume set LNAI 12468 and 12469 constitutes the proceedings of the 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, held in Mexico City, Mexico, in October 2020. The total of 77 papers presented in these two volumes was carefully reviewed and…

Shape in medical imaging: International Workshop, ShapeMI 2020, held in con…

by International Conference on Medical Image Computing and Computer-Assisted Intervention, Online), Goksel, Orcun, Rekik, Islem, ShapeMI (Workshop), Online), Reuter, Martin, (Professor of Radiology), Wachinger, Christian, Lombaert, Herve, Paniagua, Beatriz

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the proceedings of the International Workshop on Shape in Medical Imaging, ShapeMI 2020, which was held in conjunction with the 23rd International Conference on Medical Image Computing and Computer Assistend Intervention, MICCAI 2020, in October 2020. The c…

The semantic web: 17th International Conference, ESWC 2020, Herakli…

by Extended Semantic Web Conference, Ērakleion, Greece), Harth, Andreas

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 17th International Semantic Web Conference, ESWC 2020, held in Heraklion, Crete, Greece.* The 39 revised full papers presented were carefully reviewed and selected from 166 submissions. The papers were submitted to three trac…

Distributed applications and interoperable systems: 20th IFIP WG 6. 1 International Conference, DAIS …

by DAIS (Conference), Online), Remke, Anne, Schiavoni, Valerio, International Federated Conference on Distributed Computing Techniques, Online)

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed…