ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • thema EDItEUR::U Computing and Information Technology::UY Computer science  (94)
  • Analytical Chemistry and Spectroscopy
  • Deutschland
  • Engineering
  • Polymer and Materials Science
  • Springer Nature  (128)
Collection
Keywords
Language
Years
  • 1
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2024-04-06
    Description: fuzzy arithmetic; defuzzyfication; fuzzy prediction models; analysis; trend processing; uncertainty modeling; propagation of uncertainty; Kosinski’s fuzzy numbers
    Keywords: fuzzy arithmetic ; defuzzyfication ; fuzzy prediction models ; analysis ; trend processing ; uncertainty modeling ; propagation of uncertainty ; Kosinski’s fuzzy numbers ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: automata theory ; computer programming ; computer systems ; databases ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; linguistics ; ontologies ; parallel processing systems ; program compilers ; programming languages ; semantics ; software design ; software engineering ; software quality ; verification ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2021-02-10
    Description: Resilience has become an important topic on the safety research agenda and in organizational practice. Most empirical work on resilience has been descriptive, identifying characteristics of work and organizing activity which allow organizations to cope with unexpected situations. Fewer studies have developed testable models and theories that can be used to support interventions aiming to increase resilience and improve safety. In addition, the absent integration of different system levels from individuals, teams, organizations, regulatory bodies, and policy level in theory and practice imply that mechanisms through which resilience is linked across complex systems are not yet well understood. Scientific efforts have been made to develop constructs and models that present relationships; however, these cannot be characterized as sufficient for theory building. There is a need for taking a broader look at resilience practices as a foundation for developing a theoretical framework that can help improve safety in complex systems. This book does not advocate for one definition or one field of research when talking about resilience; it does not assume that the use of resilience concepts is necessarily positive for safety. We encourage a broad approach, seeking inspiration across different scientific and practical domains for the purpose of further developing resilience at a theoretical and an operational level of relevance for different high-risk industries. The aim of the book is twofold: 1. To explore different approaches for operationalization of resilience across scientific disciplines and system levels. 2. To create a theoretical foundation for a resilience framework across scientific disciplines and system levels. By presenting chapters from leading international authors representing different research disciplines and practical fields we develop suggestions and inspiration for the research community and practitioners in high-risk industries. This book is Open Access under a CC-BY licence. ; Explores different approaches for operationalization of resilience across scientific disciplines and system levels Creates a theoretical foundation for a resilience framework across scientific disciplines and system levels Develops suggestions and inspiration for the research community and practitioners in high-risk industries Presents chapters from leading international authors representing different research disciplines and practical fields
    Keywords: Engineering ; Quality control ; Reliability ; Industrial safety ; Health economics ; Environmental management ; Health informatics ; Organization ; Planning ; Health care management ; Health services administration ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCQ Health economics ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJU Organizational theory & behaviour ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBG Medical equipment & techniques ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials::TGP Production engineering::TGPR Reliability engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-25
    Description: 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 empowering citizens in the process of city making, relating examples of bottom-up or participatory practices to reflections about the changing roles of professional practitioners in the processes, as well as issues of governance and institutional policymaking. ;
    Keywords: Engineering ; Electrical engineering ; Regional planning ; Urban planning ; User interfaces (Computer systems) ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RP Regional and area planning ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Publication Date: 2024-04-14
    Description: artificial intelligence; big data; cloud computing; communication; computer architecture; computer science; computer systems; data management; databases; hardware; High-Performance Computing (HPC); information management; map-reduce; processors; programming languages; semantics; wireless telecommunication systems
    Keywords: artificial intelligence ; big data ; cloud computing ; communication ; computer architecture ; computer science ; computer systems ; data management ; databases ; hardware ; High-Performance Computing (HPC) ; information management ; map-reduce ; processors ; programming languages ; semantics ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Publication Date: 2024-04-07
    Description: This open access book contains a structured collection of the complete solutions of all essential axisymmetric contact problems. Based on a systematic distinction regarding the type of contact, the regime of friction and the contact geometry, a multitude of technically relevant contact problems from mechanical engineering, the automotive industry and medical engineering are discussed. In addition to contact problems between isotropic elastic and viscoelastic media, contact problems between transversal-isotropic elastic materials and functionally graded materials are addressed, too. The optimization of the latter is a focus of current research especially in the fields of actuator technology and biomechanics. The book takes into account adhesive effects which allow access to contact-mechanical questions about micro- and nano-electromechanical systems. Solutions of the contact problems include both the relationships between the macroscopic force, displacement and contact length, as well as the stress and displacement fields at the surface and, if appropriate, within the half-space medium. Solutions are always obtained with the simplest available method - usually with the method of dimensionality reduction (MDR) or approaches which use the solution of the non-adhesive normal contact problem to solve the respective contact problem.
    Keywords: Engineering ; Mechanics ; Mechanics, Applied ; Mechanics ; Applied mathematics ; Engineering mathematics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHD Classical mechanics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science::TGMD Engineering: Mechanics of solids
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
    Keywords: Computer science ; Computer security ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...