Filter by
Enhanced living environments : algorithms, architectures, platforms, and systems
This open access book is the final publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)” project. Ambient Assisted Living (AAL) is an area of research based on Information and Communication Technologies (ICT), medical research, and sociological research. AAL is based on the notion that technology and science can provide im…
- Edition
- -
- ISBN/ISSN
- 9783030107529
- Collation
- xx, 322p. : ill.
- Series Title
- -
- Call Number
- 004.019 ENH e
The hackable city : digital media and collaborative city-making in the networ…
This open access book presents a selection of the best contributions to the Digital Cities 9 Workshop held in Limerick in 2015, combining a number of the latest academic insights into new collaborative modes of city making that are firmly rooted in empirical findings about the actual practices of citizens, designers and policy makers. It explores the affordances of new media technologies for em…
- Edition
- -
- ISBN/ISSN
- 9789811326943
- Collation
- xv, 302p. : ill.
- Series Title
- -
- Call Number
- 621.382 HAC h
The everyday life of an algorithm
This open access book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs. Readers are invited to follow the algorithm over three years, charting its everyday life. Questions of ethics, transparency, accountability and market value must be grasped by the algorithm in a series of ever more demanding for…
- Edition
- -
- ISBN/ISSN
- 9783030005788
- Collation
- ix, 151p. : ill.
- Series Title
- -
- Call Number
- 303.483 NEY e
Principles of security and trust : 8th International Conference, POST 2019, h…
This volume contains the papers presented a t POST 2019, the 8th Conference on Principles of Security and Trust, held April 11, 2019, in Prague, Czech Republic, as part of ETAPS. Principles of Security and Trust is a broad forum related to all theoretical and foundational aspects of security and trust, and thus welcomes papers of many kinds: new theoretical results, practical applications of ex…
- Edition
- -
- ISBN/ISSN
- 9783030171384
- Collation
- ix, 248p. : ill.
- Series Title
- -
- Call Number
- 005.8 PRI p
Foundations of software science and computation structures : 22nd internation…
This volume contains the papers presented at the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), which took place in Prague during April 8– 11, 2019 . The conference is dedicated to foundational research with a clear significance for software science. It brings together research on theories and methods to support the analysis, integration…
- Edition
- -
- ISBN/ISSN
- 9783030171278
- Collation
- xv, 542p. : ill.
- Series Title
- -
- Call Number
- 005.1 FOU f
Tools and algorithms for the construction and analysis of systems : 26th Inte…
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was …
- Edition
- -
- ISBN/ISSN
- 9783030452377
- Collation
- xxiii, 425p. : ill.
- Series Title
- -
- Call Number
- 004.21 TOO t
Security infrastructure technology for integrated utilization of big data : a…
This open access book describes the technologies needed to construct a secure big data infrastructure that connects data owners, analytical institutions, and user institutions in a circle of trust. It begins by discussing the most relevant technical issues involved in creating safe and privacy-preserving big data distribution platforms, and especially focuses on cryptographic primitives and pri…
- Edition
- -
- ISBN/ISSN
- 9789811536540
- Collation
- ix, 166p. : ill.
- Series Title
- -
- Call Number
- 005.8 SEC s
Autonomous Control for a Reliable Internet of Services : Methods, Models, App…
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…
- Edition
- -
- ISBN/ISSN
- 9783319904153
- Collation
- XV, 400 p.
- Series Title
- -
- Call Number
- 004.678 AUT a
Programming languages and systems : 29th European Symposium on Programming, E…
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Edition
- -
- ISBN/ISSN
- 9783030449148
- Collation
- xv, 772p. : ill.
- Series Title
- -
- Call Number
- 005.1 PRO p
Fundamental approaches to software Eengineering : 23rd International Conferen…
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume w…
- Edition
- -
- ISBN/ISSN
- 9783030452346
- Collation
- xiii, 552p. : ill.
- Series Title
- -
- Call Number
- 005.1 FUN f
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography