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
  • Computer Science  (38)
  • Notes & Data  (28)
  • Geotechnical Engineering & Applied Earth Sciences
  • Cham : Springer  (43)
  • Arizona Board of Regents  (28)
  • 2020-2023
  • 2020-2022
  • 2015-2019  (68)
  • 2010-2014  (3)
  • 1970-1974
  • 1965-1969
Collection
Keywords
Publisher
Language
Years
  • 2020-2023
  • 2020-2022
  • 2015-2019  (68)
  • 2010-2014  (3)
  • 1970-1974
    • +
Year
  • 1
    Unknown
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: 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 techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
    Pages: Online-Ressource (XX, 545 pages) , 106 illustrations
    ISBN: 9783319961422
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-96142-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Perspectives on European Earthquake Engineering and Seismology : Volume 2 (2015)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Natural disasters ; Geotechnical engineering ; Civil engineering ; Earth Sciences ; Geotechnical Engineering & Applied Earth Sciences ; Natural Hazards ; Civil Engineering
    Description / Table of Contents: 1. Supershear Earthquake Ruptures --- Theory, Methods, Laboratory Experiments and Fault Superhighways: An Update.- 2. Civil Protection Achievements and Critical Issues in Seismology and Earthquake Engineering Research.- 3. Earthquake Risk Assessment: Certitudes, Fallacies, Uncertainties and the Quest for Soundness.- 4. Variability and Uncertainty in Empirical Ground-Motion Prediction for Probabilistic Hazard and Risk Analyses.- 5. Seismic Code Developments for Steel and Composite Structures.- 6. Seismic Analyses and Design of  Foundation Soil Structure Interaction.- 7. Performance-based Seismic Design and Assessment of Bridges.- 8. An Algorithm to Justify the Design of Single Story Precast Structures.- 9. Developments in Seismic Design of Tall Buildings: Preliminary Design of Coupled Core Wall Systems --- 10. Seismic Response of  Underground Lifeline Systems.- 11. Seismic Performance of Historical Masonry Structures Through Pushover and Nonlinear Dynamic Analyses.- 12. Developments in Ground Motion Predictive Models and Accelerometric Data Archiving in the Broader European Region --- 13. Towards the “Ultimate Earthquake-proof” Building: Development of an Integrated Low-damage System.- 14. Archive of Historical Earthquake Data for the European-Mediterranean Area --- 15. A Review and Some New Issues on the Theory of  the H/V Technique for Ambient Vibrations.- 16. Macroseismic Intervention Group: The Necessary Field Observation.- 17. Bridging the Gap Between Nonlinear Seismology as Reality and Earthquake Engineering --- 18. The Influence of Earthquake Magnitude on Hazard Related to Induced Seismicity.- 19. On the Origin of Mega-thrust Earthquakes.  
    Pages: Online-Ressource (VIII, 455 pages) , 220 illustrations, 147 illustrations in color
    ISBN: 9783319169644
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16964-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Perspectives on European Earthquake Engineering and Seismology : Volume 1 (2014)
    Cham : Springer
    Details
    Keywords: Engineering ; Natural disasters ; Geotechnical engineering ; Civil engineering ; Engineering ; Civil Engineering ; Natural Hazards ; Geotechnical Engineering & Applied Earth Sciences
    Description / Table of Contents: Preface --- 1. The Full-Scale Laboratory: The Practice of Post-Earthquake Reconnaissance Missions and Their Contribution to Earthquake Engineering --- 2. Rapid Earthquake Loss Assessment after Damaging Earthquakes --- 3. Existing Buildings: The New Italian Provisions for Probabilistic Seismic Assessment --- 4. Seismic Response of Precast Industrial Buildings --- 5. The Role of Site Effects at The Boundary Between Seismology and Engineering: Lessons from Recent Earthquakes --- 6. Seismic Analysis and Design of Bridges with an Emphasis to Eurocode Standards --- 7. From Performance- and Displacement-Based Assessment of Existing Buildings per EN1998-3 to Design of New Concrete Structures in Fib MC2010 --- 8. Testing Historic Masonry Structural Elements and/or Building Models --- 9. Earthquake Risk Reduction: From Scenario Simulators Including Systemic Interdependency to Impact Indicators --- 10. Physics-Based Earthquake Ground Shaking Scenarios in Large Urban Areas --- 11. A Seismic Performance Classification Framework to Provide Increased Seismic Resilience --- 12. Towards Displacement-Based Seismic Design of Modern Unreinforced Masonry Structures --- 13. Pushover Analysis for Plan Irregular Building Structures --- 14. Recent Development and Application of Seismic Isolation and Energy Dissipation and Conditions for Their Correct Use --- 15. Conservation Principles and Performance-Based Strengthening of Heritage Buildings in Post-Event Reconstruction --- 16. Earthquake Risk Assessment: Present Shortcomings and Future Directions --- 17. The Role of Pile Diameter on Earthquake-Induced Bending --- 18. Predictive Models for Earthquake Response of Clay and Quick Clay Slopes.- 19. Recent Advances in Seismic Soil Liquefaction Engineering --- 20. Seismic Hazard and Seismic Design and Safety Aspects of Large Dam Projects
    Pages: Online-Ressource (VIII, 650 pages) , 373 illustrations, 263 illustrations in color
    ISBN: 9783319071183
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-07118-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    China’s Gas Development Strategies (2017)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Energy policy ; Energy and state ; Fossil fuels ; Climate ; Asia ; Politics and government ; Economic geology ; Geotechnical engineering ; Earth Sciences ; Economic Geology ; Energy Policy, Economics and Management ; Asian Politics ; Fossil Fuels (incl. Carbon Capture) ; Climate, general ; Geotechnical Engineering & Applied Earth Sciences
    Description / Table of Contents: This book is open access under a CC BY 4.0 license. This book examines how China can increase the share of natural gas in its energy system. China’s energy strategy has global ramifications and impact, and central to this strategy is the country’s transition from coal to gas. The book presents the culmination of a two-year collaboration between the Development Research Center of the State Council (DRC) and Shell.  With the Chinese government’s strategic aim to increase the share of gas in the energy mix from 5.8% in 2014 to 10% and 15% in 2020 and 2030 respectively, the book outlines how China can achieve its gas targets. Providing both quantifiable metrics and policy measures for the transition, it is a much needed addition to the literature on Chinese energy policy. The research and the resulting recommendations of this study have fed directly into the Chinese government’s 13th Five-Year Plan, and provide unique insights into the Chinese government and policy-making. Due to its global impact, the book is a valuable resource for policy makers in both China and the rest of the world
    Pages: Online-Ressource (XLVIII, 477 pages) , 184 illustrations, 181 illustrations in color
    ISBN: 9783319597348
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-59734-8
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    Linked Open Data -- Creating Knowledge Out of Interlinked Data : Results of the LOD2 Project (2014)
    Cham : Springer
    Details
    Keywords: Computer science ; Computers ; Database management ; Artificial intelligence ; Computer Science ; Database Management ; Artificial Intelligence (incl. Robotics) ; Information Systems and Communication Service
    Description / Table of Contents: Introduction to LOD2, Sören Auer --- Advances in Large-scale RDF Data --- Knowledge Base Creation, Enrichment and Repair --- Interlinking and Knowledge Fusion --- Facilitating the Exploration and Visualization of Linked Data --- Supporting the Linked Data life cycle using an integrated tool stack --- LOD2 for Media and Publishing --- Building Enterprise Ready Applications Using Linked Open Data --- Lifting Open Data Portals to the Data Web --- Linked Open Data for Public Procurement
    Pages: Online-Ressource (VII, 215 pages) , 73 illustrations
    ISBN: 9783319098463
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-09846-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    Perspectives on European Earthquake Engineering and Seismology : Volume 1 (2014)
    Cham : Springer
    Details
    Keywords: Engineering ; Natural disasters ; Geotechnical engineering ; Civil engineering ; Engineering ; Civil Engineering ; Natural Hazards ; Geotechnical Engineering & Applied Earth Sciences
    Description / Table of Contents: Preface --- 1. The Full-Scale Laboratory: The Practice of Post-Earthquake Reconnaissance Missions and Their Contribution to Earthquake Engineering --- 2. Rapid Earthquake Loss Assessment after Damaging Earthquakes --- 3. Existing Buildings: The New Italian Provisions for Probabilistic Seismic Assessment --- 4. Seismic Response of Precast Industrial Buildings --- 5. The Role of Site Effects at The Boundary Between Seismology and Engineering: Lessons from Recent Earthquakes --- 6. Seismic Analysis and Design of Bridges with an Emphasis to Eurocode Standards --- 7. From Performance- and Displacement-Based Assessment of Existing Buildings per EN1998-3 to Design of New Concrete Structures in Fib MC2010 --- 8. Testing Historic Masonry Structural Elements and/or Building Models --- 9. Earthquake Risk Reduction: From Scenario Simulators Including Systemic Interdependency to Impact Indicators --- 10. Physics-Based Earthquake Ground Shaking Scenarios in Large Urban Areas --- 11. A Seismic Performance Classification Framework to Provide Increased Seismic Resilience --- 12. Towards Displacement-Based Seismic Design of Modern Unreinforced Masonry Structures --- 13. Pushover Analysis for Plan Irregular Building Structures --- 14. Recent Development and Application of Seismic Isolation and Energy Dissipation and Conditions for Their Correct Use --- 15. Conservation Principles and Performance-Based Strengthening of Heritage Buildings in Post-Event Reconstruction --- 16. Earthquake Risk Assessment: Present Shortcomings and Future Directions --- 17. The Role of Pile Diameter on Earthquake-Induced Bending --- 18. Predictive Models for Earthquake Response of Clay and Quick Clay Slopes.- 19. Recent Advances in Seismic Soil Liquefaction Engineering --- 20. Seismic Hazard and Seismic Design and Safety Aspects of Large Dam Projects
    Pages: Online-Ressource (VIII, 650 pages) , 373 illustrations, 263 illustrations in color
    ISBN: 9783319071183
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-07118-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    Perspectives on European Earthquake Engineering and Seismology : Volume 2 (2015)
    Cham : Springer
    Details
    Keywords: Earth sciences ; Natural disasters ; Geotechnical engineering ; Civil engineering ; Earth Sciences ; Geotechnical Engineering & Applied Earth Sciences ; Natural Hazards ; Civil Engineering
    Description / Table of Contents: 1. Supershear Earthquake Ruptures --- Theory, Methods, Laboratory Experiments and Fault Superhighways: An Update.- 2. Civil Protection Achievements and Critical Issues in Seismology and Earthquake Engineering Research.- 3. Earthquake Risk Assessment: Certitudes, Fallacies, Uncertainties and the Quest for Soundness.- 4. Variability and Uncertainty in Empirical Ground-Motion Prediction for Probabilistic Hazard and Risk Analyses.- 5. Seismic Code Developments for Steel and Composite Structures.- 6. Seismic Analyses and Design of  Foundation Soil Structure Interaction.- 7. Performance-based Seismic Design and Assessment of Bridges.- 8. An Algorithm to Justify the Design of Single Story Precast Structures.- 9. Developments in Seismic Design of Tall Buildings: Preliminary Design of Coupled Core Wall Systems --- 10. Seismic Response of  Underground Lifeline Systems.- 11. Seismic Performance of Historical Masonry Structures Through Pushover and Nonlinear Dynamic Analyses.- 12. Developments in Ground Motion Predictive Models and Accelerometric Data Archiving in the Broader European Region --- 13. Towards the “Ultimate Earthquake-proof” Building: Development of an Integrated Low-damage System.- 14. Archive of Historical Earthquake Data for the European-Mediterranean Area --- 15. A Review and Some New Issues on the Theory of  the H/V Technique for Ambient Vibrations.- 16. Macroseismic Intervention Group: The Necessary Field Observation.- 17. Bridging the Gap Between Nonlinear Seismology as Reality and Earthquake Engineering --- 18. The Influence of Earthquake Magnitude on Hazard Related to Induced Seismicity.- 19. On the Origin of Mega-thrust Earthquakes.  
    Pages: Online-Ressource (VIII, 455 pages) , 220 illustrations, 147 illustrations in color
    ISBN: 9783319169644
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-16964-4
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    Clinical Text Mining : Secondary Use of Electronic Patient Records (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Health informatics ; Data mining ; Information storage and retrieval ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Information Storage and Retrieval ; Health Informatics ; Document Preparation and Text Processing ; Health Informatics ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index
    Pages: Online-Ressource (XVII, 181 pages) , 54 illustrations, 28 illustrations in color
    ISBN: 9783319785035
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-78503-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings (2018)
    Cham : Springer
    Details
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2
    Language: English
    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...