Dieses Open-Access-Buch bricht mit dem Konsens in der Forschung, nach dem Organisationen als Errungenschaft der modernen Gesellschaft und Produkt der Industrialisierung angesehen werden. Die Frage, wie sich Organisationen als eigenlogische Sozialform konkret ausdifferenziert haben, ist bislang weitgehend unklar geblieben. Das Buch zeigt auf, dass sich bereits in der „unorganisierten Gesellsch…
This open access book addresses three themes which have been central to Leydesdorff's research: (1) the dynamics of science, technology, and innovation; (2) the scientometric operationalization of these concept; and (3) the elaboration in terms of a Triple Helix of university-industry-government relations. In this study, I discuss the relations among these themes. Using Luhmann's social-systems…
Buku ini merupakan hasil dari prosiding Konferensi Internasional ke-9 tentang Interaksi Manusia dan Komputer yang Cerdas, IHCI 2017, yang diadakan di Evry, Prancis, pada bulan Desember 2017. Ke-15 makalah yang dipresentasikan bersama dengan tiga makalah undangan ditinjau dan dipilih secara saksama dari 25 makalah yang diajukan. Konferensi ini merupakan forum untuk presentasi kemajuan teknologi …
Ini merupakan hasil dari Konferensi Superkomputer Asia ke-4, SCFA 2018, yang diadakan di Singapura pada bulan Maret 2018. Supercomputing Frontiers akan berganti nama menjadi Supercomputing Frontiers Asia (SCFA), yang berfungsi sebagai program teknis untuk SCA18. Program teknis untuk SCA18 terdiri dari empat jalur: • Aplikasi, Algoritma & Pustaka • Pemrograman Perangkat Lunak Sistem • Arsi…
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, res…
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…
This book is open access under a CC BY license. Interest in social innovation continues to rise, from governments setting up social innovation 'labs' to large corporations developing social innovation strategies. Yet theory lags behind practice, and this hampers our ability to understand social innovation and make the most of its potential. This collection brings together work by leading social…
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and …
Buku ini merupakan hasil dari proses yang diseleksi dari Konferensi Internasional ke-11 IFIP WG 6.6 tentang Infrastruktur Otonom, Manajemen, dan Keamanan, AIMS 2017, yang diadakan di Zurich, Swiss, pada bulan Juli 2017. 8 makalah lengkap yang disajikan bersama dengan 11 makalah pendek ditinjau dan dipilih secara saksama dari 24 kiriman. Makalah-makalah tersebut disusun dalam bagian topik beriku…
This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The tot…