ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • open access  (79)
  • Springer Nature  (79)
  • American Meteorological Society
  • Blackwell Publishing Ltd
  • Periodicals Archive Online (PAO)
  • Springer Science + Business Media
  • 2020-2024  (79)
  • 2020-2022
  • 1960-1964
  • 2021  (79)
  • 2021  (79)
Collection
Keywords
Publisher
Language
Years
  • 2020-2024  (79)
  • 2020-2022
  • 1960-1964
Year
  • 1
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: 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 carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Software Engineering/Programming and Operating Systems ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Software Engineering ; Operating systems ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Agile Processes in Software Engineering and Extreme Programming – Workshops (2021)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes papers from the 5 research workshops, the poster presentations, as well as two panel discussions which were presented at XP 2021, the 22nd International Conference on Agile Software Development, which was held online during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 18 papers included in this volume were carefully reviewed and selected from overall 37 submissions. They stem from the following workshops: 3rd International Workshop on Agile Transformation 9th International Workshop on Large-Scale Agile Development 1st International Workshop on Agile Sustainability 4th International Workshop on Software-Intensive Business 2nd International Workshop on Agility with Microservices Programming
    Keywords: open access ; Agile software development ; Extreme programming ; SaaS - Software as a Service ; Software maintenance ; Software platforms ; Software management ; Software development techniques ; Microservices ; XP ; Hackathons ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    The Narrative Subject (2021)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2021-02-10
    Description: This open access book considers the stories of adolescents and young adults from different regions of the world who use digital media as instruments and stages for storytelling, or who make the media the subject of story telling. These narratives discuss interconnectedness, self-staging, and managing boundaries. From the perspective of media and cultural research, they can be read as responses to the challenges of contemporary society. Providing empirical evidence and thought-provoking explanations, this book will be useful to students and scholars who wish to uncover how ongoing processes of cultural transformation are reflected in the thoughts and feelings of the internet generation.
    Keywords: Media and Communication ; Social Media ; Digital/New Media ; Digital and New Media ; digital media ; social media ; adolescents ; young adults ; digital storytelling ; narrative ; storytelling ; open access ; Media studies ; Media studies: Internet, digital media & society ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFD Media studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    The Psychosocial Reality of Digital Travel (2021)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2024-03-29
    Description: This open access book takes a fresh look at the nature of the digital travel experience, at a time when more and more people are engaged in online social interaction, games, and other virtual experiences essentially involving online visits to other places. It examines whether these experiences can seem real to the virtual traveller and, if so, under what conditions and on what grounds. The book unpacks philosophical theories relevant to the feeling of being somewhere, emphasising the importance of perception and being-in-the-world. Notions of place are outlined, based on work in tourism studies, human geography, and other applied social fields, with an aim to investigate how and when different experiences of place arise for the traveller and how these relate to telepresence – the sense of being there in another place through digital media. Findings from recent empirical studies of digital travel are presented, including a survey from which the characteristics of “digital travellers” are identified. A review of selected interactive design trends and possibilities leads to the conclusion, which draws these strands together and looks to the future of this topical and expanding field.
    Keywords: open access ; Telepresence ; virtual travel ; interaction design ; HCI ; psychosocial studies ; cyber psychology ; Social Interaction in Virtual Environments ; Computer-Mediated Environments ; digital environments ; interactive behaviour ; digital tourism ; bic Book Industry Communication::J Society & social sciences::JM Psychology ; bic Book Industry Communication::J Society & social sciences::JM Psychology::JMS The self, ego, identity, personality ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::J Society and Social Sciences::JM Psychology ; thema EDItEUR::J Society and Social Sciences::JM Psychology::JMS Psychology: the self, ego, identity, personality ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Energy Demand Challenges in Europe (2021)
    Springer Nature | Palgrave Pivot
    Details
    Publication Date: 2021-02-10
    Description: This open access book examines the role of citizens in sustainable energy transitions across Europe. It explores energy problem framing, policy approaches and practical responses to the challenge of securing clean, affordable and sustainable energy for all citizens, focusing on households as the main unit of analysis. The book revolves around ten contributions that each summarise national trends, socio-material characteristics, and policy responses to contemporary energy issues affecting householders in different countries, and provides good practice examples for designing and implementing sustainable energy initiatives. Prominent concerns include reducing carbon emissions, energy poverty, sustainable consumption, governance, practices, innovations and sustainable lifestyles. The opening and closing contributions consider European level energy policy, dominant and alternative problem framings and similarities and differences between European countries in relation to reducing household energy use. Overall, the book is a valuable resource for researchers, policy-makers, practitioners and others interested in sustainable energy perspectives.
    Keywords: Environment Studies ; Energy Policy, Economics and Management ; Development and Sustainability ; Sustainable Development ; Environmental Sciences ; Development Studies ; Environmental Social Sciences ; energy policy ; energy consumption ; energy behaviour ; energy demand ; energy-related practice cultures ; energy infrastructure ; open access ; Horizon 2020 ; ENERGISE ; sustainable consumption ; energy transition ; Danish energy system ; residential carbon emissions ; ‘BedZed’ ; sustainable energy ; energy poverty ; community energy projects ; renewable energy ; Society & Social Sciences ; The environment ; Energy technology & engineering ; Energy industries & utilities ; Sustainability ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::T Technology, engineering, agriculture::TH Energy technology & engineering ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    The Huawei and Snowden Questions (2021)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a concluding chapter it discusses realistic ways forward. In discussions on cyber security, there is a tacit assumption that the manufacturer of equipment will collaborate with the user of the equipment to stop third-party wrongdoers. The Snowden files and recent deliberations on the use of Chinese equipment in the critical infrastructures of western countries have changed this. The discourse in both cases revolves around what malevolent manufacturers can do to harm their own customers, and the importance of the matter is on par with questions of national security. This book is of great interest to ICT and security professionals who need a clear understanding of the two questions posed in the subtitle, and to decision-makers in industry, national bodies and nation states.
    Keywords: Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy ; Computer Hardware ; IT Operations ; Economics ; cyber security ; IT management ; computer science ; digital vulnerability ; open access ; Privacy & data protection ; Information architecture ; Maintenance & repairs ; Political structure & processes ; Research & development management ; thema EDItEUR::U Computing and Information Technology::UR Computer security::URD Privacy and data protection ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Big Data in Bioeconomy (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This edited open access book presents the comprehensive outcome of The European DataBio Project, which examined new data-driven methods to shape a bioeconomy. These methods are used to develop new and sustainable ways to use forest, farm and fishery resources. As a European initiative, the goal is to use these new findings to support decision-makers and producers – meaning farmers, land and forest owners and fishermen. With their 27 pilot projects from 17 countries, the authors examine important sectors and highlight examples where modern data-driven methods were used to increase sustainability. How can farmers, foresters or fishermen use these insights in their daily lives? The authors answer this and other questions for our readers. The first four parts of this book give an overview of the big data technologies relevant for optimal raw material gathering. The next three parts put these technologies into perspective, by showing useable applications from farming, forestry and fishery. The final part of this book gives a summary and a view on the future. With its broad outlook and variety of topics, this book is an enrichment for students and scientists in bioeconomy, biodiversity and renewable resources.
    Keywords: Data-driven bioeconomy ; big data ; artificial intelligence ; agriculture ; forestry ; earth observation ; satellite images ; fishery ; open access ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Service Design Capabilities (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This open access book discusses service design capabilities in innovation processes, and provides a framework that guides design students, practitioners and researchers towards a better understanding of operational aspects of service design processes. More specifically, it revisits service designers’ capabilities in light of the new roles that have opened up in innovation processes on different scales. After years of being inadequately defined, the professional profile of service designers is now taking shape. Today private and public institutions recognize service designers as essential contributors to their innovation and development processes. What are the capabilities that characterize a service designer? These essential capabilities are what service designers should acquire in their education and can sell when looking for a job.
    Keywords: Innovation/Technology Management ; Manufacturing, Machines, Tools, Processes ; Services ; Business and Management ; Machines, Tools, Processes ; Industries ; service design ; value creation interaction ; value creation infrastructure ; Service System Design ; innovation ; Design capabilities ; open access ; Research & development management ; Industrial applications of scientific research & technological innovation ; Production engineering ; Hospitality & service industries ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV6 Research & development management ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials::TGP Production engineering ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNS Service industries
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    The Cloud-to-Thing Continuum (2021)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2021-02-10
    Description: The Internet of Things offers massive societal and economic opportunities while at the same time significant challenges, not least the delivery and management of the technical infrastructure underpinning it, the deluge of data generated from it, ensuring privacy and security, and capturing value from it. This Open Access Pivot explores these challenges, presenting the state of the art and future directions for research but also frameworks for making sense of this complex area. This book provides a variety of perspectives on how technology innovations such as fog, edge and dew computing, 5G networks, and distributed intelligence are making us rethink conventional cloud computing to support the Internet of Things. Much of this book focuses on technical aspects of the Internet of Things, however, clear methodologies for mapping the business value of the Internet of Things are still missing. We provide a value mapping framework for the Internet of Things to address this gap. While there is much hype about the Internet of Things, we have yet to reach the tipping point. As such, this book provides a timely entrée for higher education educators, researchers and students, industry and policy makers on the technologies that promise to reshape how society interacts and operates.
    Keywords: Innovation/Technology Management ; Big Data/Analytics ; e-Commerce/e-business ; Software Management ; Computer Systems Organization and Communication Networks ; Business and Management ; IT in Business ; e-Commerce and e-Business ; Computer Engineering and Networks ; open access ; physical internet ; internet of things ; 4th industrial revolution ; cloud computing ; Cloud Architecture ; Intelligent Networks ; Research & development management ; Industrial applications of scientific research & technological innovation ; Business mathematics & systems ; Business applications ; E-commerce: business aspects ; Computer networking & communications ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV6 Research & development management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UF Business applications ; bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Software for Exascale Computing - SPPEXA 2016-2019 (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.
    Keywords: Simulation and Modeling ; Performance and Reliability ; Computational Science and Engineering ; Input/Output and Data Communications ; Mathematical and Computational Engineering ; Numerical and Computational Physics, Simulation ; Computer Science ; Computer Hardware ; Mathematical and Computational Engineering Applications ; Theoretical, Mathematical and Computational Physics ; open access ; computational algorithms and numerical methods ; data management and exploration ; high-performance computing ; simulation software and applications ; system software and software tools ; Computer modelling & simulation ; Systems analysis & design ; Maintenance & repairs ; Maths for scientists ; Computer networking & communications ; Distributed databases ; Maths for engineers ; Mathematical physics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...