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
  • Books  (39)
  • open access  (38)
  • Computer security.
  • Springer  (39)
  • American Association for the Advancement of Science (AAAS)
Collection
Source
Keywords
Publisher
Language
Years
  • 1
    Unknown
    Trusted computing platforms : design and applications (2005)
    New York : Springer
    Details
    Keywords: Computer engineering. ; Computer security. ; Electronic data processing, Distributed processing.
    Pages: xx, 239 p.
    ISBN: 0-387-23917-0
    URL: http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=128476
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-Book (German National Licenses)
  • 2
    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
  • 3
    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
  • 4
    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
  • 5
    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
  • 6
    facet.materialart.
    Unknown
    Reversible Computation: Extending Horizons of Computing (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
    Keywords: Logic Design ; Computer System Implementation ; Computer Communication Networks ; Special Purpose and Application-Based Systems ; Software Engineering ; Operating Systems ; open access ; reversible computation ; semantics of reversible computation ; formal methods ; models of computation ; circuit design ; simulation ; robotics ; debugging ; quantum computing ; wireless communications ; programming languages ; dependability ; modelling of biochemical systems ; computer networks ; engineering ; software engineering ; parallel processing systems ; theoretical computer science ; Computer architecture & logic design ; Systems analysis & design ; Network hardware ; Expert systems / knowledge-based systems ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; 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::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Charting Spiritual Care (2020)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-31
    Description: This open access volume is the first academic book on the controversial issue of including spiritual care in integrated electronic medical records (EMR). Based on an international study group comprising researchers from Europe (The Netherlands, Belgium and Switzerland), the United States, Canada, and Australia, this edited collection provides an overview of different charting practices and experiences in various countries and healthcare contexts. Encompassing case studies and analyses of theological, ethical, legal, healthcare policy, and practical issues, the volume is a groundbreaking reference for future discussion, research, and strategic planning for inter- or multi-faith healthcare chaplains and other spiritual care providers involved in the new field of documenting spiritual care in EMR. Topics explored among the chapters include: Spiritual Care Charting/Documenting/Recording/Assessment Charting Spiritual Care: Psychiatric and Psychotherapeutic Aspects Palliative Chaplain Spiritual Assessment Progress Notes Charting Spiritual Care: Ethical Perspectives Charting Spiritual Care in Digital Health: Analyses and Perspectives Charting Spiritual Care: The Emerging Role of Chaplaincy Records in Global Health Care is an essential resource for researchers in interprofessional spiritual care and healthcare chaplaincy, healthcare chaplains and other spiritual caregivers (nurses, physicians, psychologists, etc.), practical theologians and health ethicists, and church and denominational representatives.
    Keywords: Health Services Research ; Religion and Health ; Religion and Psychology ; Theory of Medicine/Bioethics ; Health Sciences ; Sociology of Religion ; Psychology of Religion and Spirituality ; healthcare chaplaincy ; spiritual care ; spirituality and health ; professionalization of spiritual care ; integration of spirituality in health care ; electronic medical records (EMR) ; pastoral confidentiality ; models of recording spiritual care ; outcome-oriented chapliancy ; digital health ; health ethics ; religion and health ; interprofessional spiritual care ; legal and theoretical perspectives ; open access ; Health systems & services ; Religious issues & debates ; Psychology ; Religion: general ; Bioethics ; Medicine: general issues ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBP Health systems and services ; thema EDItEUR::Q Philosophy and Religion::QR Religion and beliefs::QRA Religion: general::QRAM Religious issues and debates ; thema EDItEUR::J Society and Social Sciences::JM Psychology ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAD Bioethics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    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: Theory of Computation ; 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 ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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
  • 9
    facet.materialart.
    Unknown
    Cultural Competence and the Higher Education Sector (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This open access book explores cultural competence in the higher education sector from multi-disciplinary and inter-disciplinary perspectives. It addresses cultural competence in terms of leadership and the role of the higher education sector in cultural competence policy and practice. Drawing on lessons learned, current research and emerging evidence, the book examines various innovative approaches and strategies that incorporate Indigenous knowledge and practices into the development and implementation of cultural competence, and considers the most effective approaches for supporting cultural competence in the higher education sector. This book will appeal to researchers, scholars, policy-makers, practitioners and general readers interested in cultural competence policy and practice.
    Keywords: Higher Education ; Educational Policy and Politics ; Ethnicity in Education ; Sociology of Education ; open access ; Indigenous higher education ; student equity ; student transition ; higher education policy ; Indigenous research ; community engagement ; cultural competency policy and practices ; developing cultural competency in higher education ; implementing cultural competency in higher education ; culturally competent leadership ; culturally responsive pedagogy ; diversity, social justice, equity and inclusion ; culturally competent service learning ; Higher & further education, tertiary education ; Educational strategies & policy ; Education ; Sociology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Graph Structures for Knowledge Representation and Reasoning (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Keywords: Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    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...