Filter by
Computer Aided Verification; 31st International Conference, CAV 2019, New Yor…
Kumpulan LNC 11561 dan 11562 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-31 tentang Verifikasi Berbantuan Komputer, CAV 2019, yang diadakan di New York City, AS, pada Juli 2019. 52 makalah lengkap yang dipresentasikan bersama dengan 13 makalah alat dan 2 studi kasus, ditinjau dan dipilih dengan cermat dari 258 pengajuan. Makalah-makalah tersebut disusun dalam ba…
- Edition
- -
- ISBN/ISSN
- 978-3-030-25540-4
- Collation
- 1 online resource (680 Pages)
- Series Title
- -
- Call Number
- 005.14 DRI c
Haptics: Science, Technology, Applications: 12th International Conference, Eu…
This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020. The 60 papers presented in this volume were carefully reviewed and selected from 111 submissions. The were organized in topical sections on haptic science, haptic technology…
- Edition
- 1
- ISBN/ISSN
- 9783030581473
- Collation
- XVIII, 557
- Series Title
- -
- Call Number
- -
Computer Aided Verification; 31st International Conference, CAV 2019, New Yor…
Kumpulan LNC dua jilid akses terbuka 11561 dan 11562 merupakan prosiding wasit dari Konferensi Internasional ke-31 tentang Verifikasi Berbantuan Komputer, CAV 2019, yang diadakan di New York City, AS, pada Juli 2019. 52 makalah lengkap yang dipresentasikan bersama dengan 13 makalah alat dan 2 studi kasus, ditinjau dan dipilih dengan cermat dari 258 pengajuan. Makalah-makalah tersebut disusun da…
- Edition
- -
- ISBN/ISSN
- 978-3-030-25543-5
- Collation
- 1 online resource (558 Pages)
- Series Title
- -
- Call Number
- 005.14 DRI c
Knowledge Graphs and Big Data Processing
This open access book is part of the LAMBDA Project (Learning, Applying, Multiplying Big Data Analytics), funded by the European Union, GA No. 809965. Data Analytics involves applying algorithmic processes to derive insights. Nowadays it is used in many industries to allow organizations and companies to make better decisions as well as to verify or disprove existing theories or models. The term…
- Edition
- 1
- ISBN/ISSN
- 9783030531997
- Collation
- XI, 209
- Series Title
- -
- Call Number
- -
Towards Interoperable Research Infrastructures for Environmental and Earth Sc…
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 the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach ca…
- Edition
- 1
- ISBN/ISSN
- 9783030528294
- Collation
- -
- Series Title
- -
- Call Number
- -
Supercomputing Frontiers; 5th Asian Conference, SCFA 2019, Singapore, March 1…
Buku akses terbuka ini merupakan prosiding wasit Konferensi Superkomputer Asia ke-5, SCFA 2019, yang diadakan di Singapura pada Maret 2019. 6 makalah lengkap yang disajikan dalam buku ini ditinjau dan dipilih dengan cermat dari 33 pengajuan. Mereka mencakup berbagai topik termasuk penanganan kesalahan memori, aljabar linier, pemrosesan gambar, komputasi heterogen, prediksi penggunaan sumber day…
- Edition
- -
- ISBN/ISSN
- 978-3-030-18645-6
- Collation
- 1 online resource (115 Pages)
- Series Title
- -
- Call Number
- 004.35 ABR s
European Citizenship after Brexit
This book is open access under a CC BY 4.0 license. This Open Access book investigates European citizenship after Brexit, in light of the functionalist theory of citizenship. No matter its shape, Brexit will impact significantly on what has been labelled as one of the major achievements of EU integration: Citizenship of the Union. For the first time an automatic and collective lapse of sta…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-51774-2
- Collation
- -
- Series Title
- Palgrave Studies in European Union Politics
- Call Number
- VIII, 123
Tools and Algorithms for the Construction and Analysis of Systems; 25th Inter…
Kumpulan prosiding LNC 11427 dan 11428 merupakan prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2019, yang berlangsung di Praha, Republik Ceko, pada bulan April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019. Total 42 makalah demo alat lengkap dan 8 pendek yan…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-17465-1
- Collation
- 1 online resource (426 Pages)
- Series Title
- -
- Call Number
- 004.21 VOJ t
Post-Truth Populism
This open access book analyses the convergence between ‘post-truth’ political culture and the politics of populism. The premise is that there is an intrinsic link between post-truth discourse (referring to mis/disinformation, ‘alternative facts’, ‘fake news’, conspiracy theories and the general distrust of expert knowledge and official sources of information) and the central narrati…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-64178-7
- Collation
- -
- Series Title
- Palgrave Studies in European Political Sociology
- Call Number
- XII, 348
Europe in the Age of Post-Truth Politics
This open access book is the product of three years of academic research that has been carried out in the EU-funded Jean Monnet Network on “Post-Truth Politics, Nationalism and the Delegitimation of European Integration” since 2019. Drawing on the multidisciplinary expertise of the network’s members, the book explores the impact of the phenomenon of post-truth politics on European integra…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-13694-8
- Collation
- -
- Series Title
- Palgrave Studies in European Political Sociology
- Call Number
- XVII, 259
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography