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
  • Books  (115)
  • bic Book Industry Communication::P Mathematics & science::PH Physics  (81)
  • Cell & Developmental Biology
  • Chemical Engineering
  • Humans
  • Inorganic Chemistry
  • Software Engineering
  • formal logic
  • KIT Scientific Publishing  (83)
  • Springer  (27)
  • Springer Nature Switzerland  (5)
Collection
Keywords
Language
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
    Keywords: artificial intelligence ; computer networks ; automated reasoning ; computer systems ; description logics ; formal languages ; formal logic ; constraint solving ; decision procedures ; network protocols ; ontologies ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; 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 ...
  • 2
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; distributed computer systems ; formal logic ; embedded systems ; model checking ; programming languages ; software architecture ; software design ; software quality ; logic and verification ; 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 ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; distributed computer systems ; formal logic ; software engineering ; distributed systems ; model checking ; programming languages ; software quality ; theory of computation ; 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 ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    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: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; computer systems ; distributed systems ; embedded systems ; formal logic ; model checking ; programming languages ; software architecture ; software design ; software quality ; software engineering ; logic and verification ; 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 ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    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 Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
    Keywords: artificial intelligence ; automata theory ; Boolean functions ; formal languages ; formal logic ; model checking ; software engineering ; automated theorem proving ; software verification ; logic programming ; automated reasoning ; automated deduction ; propositional satisfiability ; constraint solving ; computer algebra ; satisfiability modulo theories ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha’s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan’s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze’s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess’s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren’s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller’s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel’s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann’s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern’s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris’s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
    Keywords: Software Engineering ; Software Development ; Requirements Engineering ; Software Modeling ; Software Research ; Ernst Denert Award ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2024-04-04
    Description: In this work, a clear pathway is presented to achieve well-defined electronically decoupled chromophores from metallic leads without requiring additional insulating layers. To study such self-decoupled molecules, STM equipped with an efficient light detection setup has been used. Results show that the chromophores mounted on tripodal molecular platforms adsorbed on a gold surface present well-defined and efficient electroluminescence down to the single-molecule level.
    Keywords: Rastertunnelmikroskopie; Einzelmoleküle; Elektrolumineszenz; Selbstassemblierung; Plasmonen; Scanning tunnelling microscopy; Single molecules; Electroluminescence; Self-assembly; Plasmonics ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; mathematics ; model checking ; programming languages ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; verification ; verification and validation ; 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 ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
    Keywords: artificial intelligence ; automata theory ; computer hardware ; computer networks ; computer programming ; computer systems ; embedded systems ; formal languages ; formal logic ; logic programming ; network protocols ; semantics ; software architecture ; software design ; software engineering ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; 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 ...
  • 10
    facet.materialart.
    Unknown
    KIT Scientific Publishing | KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: The annual report of the Institute for Thermal Energy Technology and Safety of KIT summarizes its research activities and provides some highlights of each working group, like thermal-hydraulic analyses for fusion reactors, accident analyses for light water reactors, and research on innovative energy technologies: liquid metal technologies for energy conversion, hydrogen technologies and geothermal power plants. The institute has been engaged in education and training in energy technologies.
    Keywords: Fusion ; Kernenergie ; Flüssigmetall-Technologien ; Wasserstofftechnologien ; geothermische Energie ; Jahresbericht ; Nuclear energy ; liquid metal technologies ; hydrogen technologies ; geothermal energies ; annual report ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; databases ; distributed computer systems ; embedded systems ; engineering ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; 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 ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Publication Date: 2024-04-04
    Description: This study describes the design of superconducting cables for use in the 380 kV three-phase network and explains general aspects of the use of such cables in the extra-high voltage grid. It compares the superconducting technology with other line technologies under many different criteria.
    Keywords: Höchstspannungskabel ; feasibility ; high-voltage cable ; superconducting cable ; Machbarkeit ; Energiewende ; Supraleitung supraleitendes Kabel ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    KIT Scientific Publishing | KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: The solid oxide fuel cell (SOFC) as electricity and heat producer of the future represents a key technology in the context of a climate-friendly energy supply. Research focuses on the improvement of the lifetime and cost reduction of the SOFC components. In this work, microstructural changes that occur during cell production and operation (aging process) are identified by multiscale examination methods.
    Keywords: Hochtemperatur-Brennstoffzelle (SOFC) ; mehrskalige Charakterisierung ; Elektronenmikroskopie ; elektrochemische Impedanzspektroskopie ; solid oxide fuel cell (SOFC) ; multi-scale characterization ; electron microscopy ; electrochemical impedance spectroscopy ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 15
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: In der vorliegenden Arbeit wird ein internetbasiertes Fachinformationssystem zur Detektion krustaler Deformationen in den Ostkarpaten vorgestellt, welches im Rahmen des Sonderforschungsbereichs 461 Starkbeben: von wissenschaftlichen Grundlagen zu Ingenieurmaßnahmen entwickelt wurde.Im Vordergrund stehen die Konzeption und Implementierung eines Fachinformationssystems für regionale beziehungsweise globale GPS-Projekte, die zur Aufdeckung von Plattengrenzen und Analyse von Plattenbewegungen eingerichtet wird.
    Keywords: QC1-999 ; Grundlagenforschung ; JavaBeans ; Erdbeben ; Katastrophenschutz ; JBoss 3.0 ; Enterprise ; Informationssystem ; Datenbank ; XML 1.1 ; Middleware ; Ostkarpaten ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: GNSS based positioning techniques have become a standard tool in geodesy. Despite important developments both in receiver and processing technology, site dependent errors, like multipath effects or residual errors in the calibration values of the receiving GNSS antenna, are still a major error source in highly precise GNSS positioning. The method used in this work is based on stacking of observation residuals and therefore able to reduce these error sources effectively.
    Keywords: QC1-999 ; Mehrwegeeffekte ; StackingGNSS ; GNSS ; stationsabhängige Fehler ; multipath effects ; site dependent errors ; stacking ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Publication Date: 2024-04-04
    Description: In den kaolinitischen Böden der Terra-firme Amazoniens wird die Bodenfruchtbarkeit stark von der Menge und Qualität der organischen Bodenbestandteile bestimmt. In den Agrar- und Waldökosystemen Zentralamazoniens sind Termiten, Ameisen und Regenwürmer die am häufigsten vorkommenden Vertreter der Bodenmakrofauna und spielen eine wichtige Rolle beim Abbau und Einbau organischer Substanz im Boden.
    Keywords: QC1-999 ; Mikromorphologie ; Amazonien ; Boden ; Bodenfauna ; Bodenchemie ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Publication Date: 2024-04-04
    Description: Sonderforschungsbereich 461 ""Starkbeben : Von geowissenschaftlichen Grundlagen zu Ingenieurmaßnahmen"" von Juli 1996 bis Dezember 2007 an der Universität Karlsruhe. Forschungsfeld des SFB 461 waren Starkbeben mit einem regionalen Fokus auf den Vrancea-Ereignissen in Rumänien, wo sie immer wieder starke Schäden verursachten. Diese Risiken und die Gewissheit, dass Rumänien und seine Städte wieder von einem Starkbeben betroffen werden, bildeten die Motivation der Arbeit, erkennend, dass Schadensminderung mit moderner Wissenschaft und Technik sowie mit konsequenter Implementierung des Wissens möglich und aussichtsreich ist.
    Keywords: QC1-999 ; Erdbeben ; Hochbau ; Katastrophe ; Rettungsmaßnahmen ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Publication Date: 2024-04-04
    Description: This publication presents results of an interdisciplinary field study assessing the contribution of biological and inorganic processes in the mobilisation and accumulation of arsenic in groundwater of the Bengal Delta Plain, West Bengal. Investigations were focussed on the distribution of arsenic in sediments and shallow groundwater of two representative study sites. All results were combined in an effort to develop a conceptional model describing the mobility of arsenic in West Bengal aquifers.
    Keywords: QC1-999 ; Arsenic ; Groundwater ; Bengal Delta Plain ; Groundwater abstraction ; West Bengal ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Publication Date: 2024-04-04
    Description: Achieving the ambitious greenhouse gas (GHG) reduction targets set up by German legislation requires political incentives to reduce GHG emissions of energy intensive industries without hampering their international competitiveness. This dissertation therefore analyses the influence of different political instruments (ETS, EEG, EnergieStG, StromStG) on induced emission reductions as well as on relevant economic parameters. Thereby, the focus is set on the metal production.
    Keywords: QC1-999 ; Metallerzeugung ; Treibhausgasemissionen ; climate policy ; energy efficiency ; greenhouse gas emissions ; EnergieeffizienzMetal production ; Klimapolitik ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Publication Date: 2024-04-04
    Description: The risk estimation of precipitation events with high recurrence periods is difficult due to the limited time scale with meteorological observations. A homogenous distribution of rain gauges, especially in mountainous terrain, is also hardly convertible. In this study an analytical model with a high spatial resolution, designed for stochastic simulations of flood-related precipitation, is developed, evaluated and applied to different investigation areas in Germany.
    Keywords: QC1-999 ; Niederschlag ; precipitation ; Stochastik ; Meteorologie ; Simulation ; flood risk ; meteorology ; simulation ; stochastic ; Hochwasser ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Publication Date: 2024-04-04
    Description: Die Erkundung von Möglichkeiten der Leistungsfähigkeitssteigerung des Eisenbahnsystems an Hoch- und Oberrhein, in Abstimmung mit einer nachhaltigen Raumentwicklung, waren Ausgangslage für ein grenzüberschreitendes Kooperationsprojekt, dessen Ergebnisse im Herbst 2004 von den politischen Vertretern der beteiligten Raumschaften präsentiert wurden. Hintergründe aus Sicht der einzelnen Raumschaften und Fachdiszipline werden in vorliegender Publikation dargestellt.
    Keywords: QC1-999 ; Hochrhein ; Raumentwicklung ; Eisenbahn ; Oberrhein ; Bypass 〈Technik〉 ; Verkehrsentwicklung ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: 3D-Visualisierungen werden heutzutage in vielen verschiedenen Gebieten eingesetzt. Ein großer Vorteil der 3D-Visualisierung ist, dass sie komplexe räumliche Zusammenhänge leicht verständlich darstellen kann. Die Motivation dieser Arbeit war, Eigenschaften von 3D-Visualisierungen auf ihren Nutzen im Zusammenhang mit der Visualisierung von umweltrelevanten Daten zu untersuchen und generische Lösungsmöglichkeiten für die Realisierung von 3D-Visualisierungen in Umweltanwendungen zu entwickeln.
    Keywords: QC1-999 ; Java 3D ; Geoinformationssystem ; Umweltinformatik ; Visualisierung ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Publication Date: 2024-04-04
    Description: In disordered solids, two-level atomic-tunneling systems are present in large quantity. Only recently, superconducting qubits opened a door for a detection and individual coherent manipulation of such microscopic quantum systems. We succeeded to tune the resonance frequencies of these systems by applying external strain on the qubit chip. Moreover, we observed and analyzed the interaction between two coupled tunneling systems.
    Keywords: QC1-999 ; two-level systemQuantenbit ; Qubit ; qubit ; Superconducting qubit ; TunnelsystemQuantum bit ; TLS ; tunneling system ; phase qubit ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Publication Date: 2024-04-04
    Description: This work describes the development of an ultra-light-weight Proton-Transfer-Reaction Mass Spectrometer (PTR-MS), its detailed qualification, ground-based and airborne applications and studies on VOC emissions in connection with fossil fuel production. The new system was used aboard a mobile laboratory in order to investigate the chemical fingerprints of the diverse emitters at oil and natural gas well pads. Emissions of aromatic hydrocarbons at a hydraulically fractured well have been studied.
    Keywords: QC1-999 ; PTR-MS Flüchtige organische Verbindungen Hydraulic Fracturing Aromatische Kohlenwasserstoffe Flugzeuggestützte MessungenPTR-MS Volatile organic compounds Hydraulic Fracturing Aromatic hydrocarbons Airborne measurements ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Publication Date: 2024-04-04
    Description: Es wird ein allgemeingültiges Prozessverständnis der Grundwasserströmung zwischen einem Hochwasserretentionsraum und den Brunnen eines nahen Wasserwerks entwickelt. Auf dieser Grundlage wird eine Methode entworfen, mit der überschlägig abgeschätzt werden kann, ob durch den Retentionsraum infiltriertes Flusswasser in die Brunnen gelangt. Weiterhin werden geeignete Methoden für den Aufbau eines numerischen Aquifersimulators, mit dem der Einfluss bei Bedarf quantifiziert werden kann, aufgezeigt.
    Keywords: QC1-999 ; Wasserwerk ; Grundwasserströmung ; Polder ; Schadstofftransport ; Überflutung ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Publication Date: 2024-04-04
    Description: Im Rahmen der Festschrift zur Verabschiedung von Prof. Schmitt wurden von Mitarbeitern des Geodätischen Instituts sowie von ehemaligen Doktoranden insgesamt 24 Beiträge zu aktuellen Arbeiten der Verfasser erstellt. Das Spektrum dieser Arbeiten liegt in den Bereichen Geodäsie, GIS, GNSS, Netzausgleichung, Geodynamik sowie Wertermittlung. Innovative Arbeiten zu aktuellen Fragestellungen stehen in direktem Zusammenhang mit früheren wissenschaftlichen Arbeiten von Prof. Schmitt.
    Keywords: QC1-999 ; Geodätisches Institut KIT Festschrift Verabschiedung Prof. Schmitt ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: Anaerobic digestion of the organic fraction of municipal solid waste as such or together with food waste, press water or patatoes sludge was investigated to equilibrate methane production within a day or over the weekend, when no OFMSW was available. A stable co-digestion process could be achieved with COD degradation between 60 and 80 %. The max. organic loading rates were 28 kg COD/L,d. For stable methane production the OLR during Co-digestion should not excede 22,5 kg/L,d.
    Keywords: QC1-999 ; Food waste ; Potatoes sludge ; Organic fraction of municipal solid waste ; Methane production ; Anaerobic digestion ; Co-digestion ; Press water ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: In this work two ideas of using individual metal organic molecules in applications for data storage are presented. On the one hand, metal-free phthalocyanine is used to form a GMR contact consisting of one single molecule leading to the world smallest magnetic sensor. On the other hand, chromium acetylacetonate was used to study the properties of magnetic molecules adsorbed on surfaces in order to build magnetic bits for date storage.
    Keywords: QC1-999 ; spintronics ; nanotechnology ; magnetic sensors ; giant magneto resistance ; organic electronics ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Publication Date: 2024-04-04
    Description: Atmospheric processes, such as wind, impact the ground motion of the earth and have the potential to induce strong broad-band noise in seismological records. In order to quantify the influence of wind on ground motion velocity joint seismological and meteorological measurements were conducted at the Dead Sea.Results reveal a pronounced impact of wind on seismological records. A methodology is presented to account for the dependency of PSD of ground motion velocity on the horizontal wind field.
    Keywords: QC1-999 ; Wind ; Microseisms ; Wind speed ; Topography ; Totes Meer ; TopographieSeismology ; Seismologie ; Rauschspektrum ; Dead Sea ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Publication Date: 2024-04-04
    Description: High-resolution regional ensemble climate simulations with the regional climate model COSMO-CLM are performed for Southwest Germany to study the sensitivity of meteorological and hydrological variables to parameter settings. The soil-vegetation model VEG3D is implemented into COSMO-CLM to assess the impact of the lower atmospheric boundary on simulation results. A statistical-dynamical downscaling method is tested to shorten the simulation time for regional climate studies.
    Keywords: QC1-999 ; regional climate modelling ; climate ; sensitivity studies ; COSMO-CLM ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Publication Date: 2024-04-04
    Description: Doppler radars provide unique 3D information about precipitating clouds in high spatial and temporal resolutions. However, the observed quantities (reflectivity, Doppler velocity and polarization properties) are not directly comparable to the variables of numerical prediction models. In order to enable radar data assimilation, a comprehensive modular radar forward operator has been developed.
    Keywords: QC1-999 ; NWP model ; radar simulator ; parallelized and vectorized code ; weather forecast ; data assimilation ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: While the universal quantum computer seems not in reach for the near future, this work focusses on analog quantum simulation of intriguing quantum models of light-matter interactions, with the goal of achieving a computational speed-up as compared to classical hardware. Existing building blocks of quantum hardware are used from superconducting circuits, that have proven to be a very suitable experimental platform for the implementation of model Hamiltonians at a high degree of controllability.
    Keywords: QC1-999 ; Festkörperphysik ; superconductivity ; quantum bit ; solid state physics ; Quantensimulation ; Quantenbits ; Quantenmechanik ; Supraleitung ; quantum computation ; Quantum simulation ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 35
    Publication Date: 2024-04-04
    Description: The emission of dibenzofurans and dioxins from industrial processes is a major environmental concern. Focussing on dibenzofuran, this study tend to improve our understanding of the general oxidation chemistry and to provide a mechanism suitable for future modelling studies. Based on quantum chemical methods, energies, chemical structures and reactions are calculated numerically. Not only stable molecules and radicals, but also transition states are reported in this work.
    Keywords: QC1-999 ; ADD ; Shower parametrization ; extra dimensions ; shower parameterisation ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: In der vorliegenden Arbeit wird untersucht, inwieweit sich die Häufigkeit und Intensität von Gewitter- und Hagelereignissen in den vergangenen Jahren in Deutschland und Europa verändert hat. Mit Hilfe von regionalen Klimasimulationen wird abgeschätzt, mit welchen Änderungen des Hagelpotentials - bedingt durch den anthropogenen Klimawandel - in der Zukunft zu rechnen ist.
    Keywords: QC1-999 ; Hagel ; Atmosphärische Risiken ; Klimawandel ; Klimatologie (Zukunft ; Konvektion) ; Gewitter ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Publication Date: 2024-04-04
    Description: Zentrales Thema der vorliegenden Arbeit ist die Untersuchung der vorhandenen innerörtlichen Bauflächen-Potenziale in kleinen Gemeinden Baden-Württembergs und die Erarbeitung von Möglichkeiten zu deren Aktivierung und Nutzung. Tendenzen der Bevölkerungsentwicklung und die daraus abzuleitende Nachfrage werden - auch anhand zahlreicher Fallbeispiele - aufgezeigt und konkrete Handlungsempfehlungen für unterschiedliche Akteure und Planungsebenen abgeleitet.
    Keywords: QC1-999 ; Leerstand ; Baulücke ; Demographie ; Stadtplanung ; Regionalplanung ; Bauland ; Brachfläche ; Bevölkerungsrückgang ; Dorfentwicklung ; Innenentwicklung ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.
    Keywords: Software Engineering ; Software Management ; Automotive Engineering ; Special Purpose and Application-Based Systems ; IT in Business ; Model-Driven Software Development ; Requirements Engineering ; Automotive Software Engineering ; Embedded Systems ; Open Access ; SPES Methodology ; Simulation ; Co-Design of Systems ; Business mathematics & systems ; Business applications ; Automotive technology & trades ; Automotive (motor mechanic) skills ; Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; 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::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 43
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of the complex systems that are part of operation centers. As such, each chapter includes principles to summarize the design implication that engineers can use to inform their own design of interfaces for operation centers and similar systems. It includes example materials for the design of a fictitious system, which are referenced in the book and can be duplicated and extended for real systems. The design materials include a system overview, the system architecture, an example scenario, a stakeholder analysis, a task analysis, a description of the system and interface technology, and contextualized design guidelines. The guidelines can be specified because the user, the task, and the technology are well specified as an example. Building Better Interfaces for Remote Autonomous Systems is for working system engineers who are designing interfaces used in high throughput, high stake, operation centers (op centers) or control rooms, such as network operation centers (NOCs). Intended users will have a technical undergraduate degree (e.g., computer science) with little or no training in design, human sciences, or with human-centered iterative design methods and practices. Background research for the book was supplemented by interaction with the intended audience through a related project with L3Harris Technologies (formerly Harris Corporation).
    Keywords: User Interfaces and Human Computer Interaction ; Software Engineering ; Autonomous Systems ; User-Centered Design ; Operation Centres ; Interface Technology ; Human-Centered Design ; Open Access ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.
    Keywords: Software Engineering ; Cyber-physical systems, IoT ; Special Purpose and Application-Based Systems ; Computer Applications ; Computer-Aided Engineering (CAD, CAE) and Design ; Open Access ; Embedded and cyber-physical systems ; Software design engineering ; Model-driven software engineering ; Modelica ; Performance Analysis ; Design Languages ; System Description Languages ; System and Modeling ; DEVS ; Statecharts ; Petri Nets ; Multi-Paradigm Modeling ; AADL ; Concurrency Modeling ; Electrical engineering ; Cybernetics & systems theory ; Expert systems / knowledge-based systems ; Information technology: general issues ; Computer-aided design (CAD) ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical 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::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UG Graphical and digital media applications::UGC Computer-aided design (CAD)
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; 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 ...
  • 48
    Publication Date: 2024-04-04
    Description: Ambitious targets for the use of renewable electricity (RES-E) have been formulated by the EU Commission and the EU Member States. Taking into account technical, economic, and ecological framework conditions of the electricity market in a model-based approach, this book provides a comprehensive, quantitative assessment of the future penetration of renewable electricity in the European electricity market.
    Keywords: QC1-999 ; energy system model ; RES ; optimisation ; electricity market ; enewable energy ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Publication Date: 2024-04-04
    Description: In der Arbeit werden Verfahren und Methoden kombiniert, um eine Analyse der dreidimensionalen Plattenkinematik Rumäniens auf Basis der geschätzten Geschwindigkeiten der Stationen eines GPS-Überwachungsnetzes durchzuführen.Aus den Daten der GPS-Stationen wird mit der Multilevel B-Spline Approximation eine analytische Beschreibung der Bewegung des Untersuchungsgebietes erhalten und anschließend daraus dessen Verformungen, wie Dehnungen und Scherungen, abgeleitet.
    Keywords: QC1-999 ; Multivariate Approximation ; B-Spline ; Kontinuumsmechanik ; Vrancea ; Plattentektonik ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Publication Date: 2024-04-04
    Description: This work presents the design and commissioning of a new low-temperature Scanning Tunnelling Microscope equipped with an innovative light collection setup using an integrated, micro-fabricated mirror tip. Commissioning experiments demonstrate the capabilities of this new instrument and reproduce known effects regarding gap plasmons on noble-metal surfaces. Furthermore, different contrasts in the plasmon-mediated light emission from Cobalt nano-islands on a Copper (111) substrate are reported.
    Keywords: QC1-999 ; Rastertunnelmikroskopie ; Molecules ; ""Metal Surfaces"" ; ""Low Temperatures"" ; Metalloberflächen ; Moleküle""Scanning Tunnelling Microscopy"" ; Plasmonen ; Plasmons ; Tieftemperatur ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2020 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. The 14 full and 2 short papers presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: agile adoption; agile practices; large-scale agile; the business of agile; and agile and testing.
    Keywords: Software Engineering ; IT in Business ; Management of Computing and Information Systems ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Publication Date: 2024-04-04
    Description: Der Streit über den ""richtigen"" Weg prägte die Architektur in der Weimarer Zeit. Die Kontroverse war aber nicht nur ästhetisch begründet, sie spiegelte vielmehr die gesellschaftlichen Verwerfungen wider und mündete in der Stigmatisierung des Neuen Bauens. Die Untersuchung klärt, inwieweit und mit welcher Bestimmung institutionelle und prozessuale Einflüsse auf das Baugeschehen wirkten und ob diese abseits der aufgeschlossenen Metropolen die Ausbreitung einer modernen Formensprache verhinderten.
    Keywords: QC1-999 ; Architektur ; Neues Bauen ; Westfalen ; Baugeschichte ; Klassische Moderne ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Publication Date: 2024-04-04
    Description: Thunderstorm activity is characterized by a pronounced spatiotemporal variability. For several countries in Europe, this variability is analyzed and attributed to large-scale drivers using multivariate statistical methods. The analysis of atmospheric teleconnections reveals a link between the long-term behavior of thunderstorm activity and natural climate variability.
    Keywords: QC1-999 ; Konvektion ; thunderstorms ; langzeitliche Variabilität ; Gewitter ; Trends ; long-term variability ; Telekonnektionen ; Convection ; teleconnections ; trends ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Publication Date: 2024-04-04
    Description: In developing countries there is a lack of space-oriented data. This complicates the implementation of different measures in existing social, economical and ecological systems and also restricts the estimation of future risks. Since systematic and periodical surveys in the sense of a census concept are mostly unrealistic, a method is needed to produce sufficiently adequate estimations of processes by random samples and indicators.This case study aims at developing a method on the basis of the combination of the representative samples and the indicator-based approaches for analyzing space relevant socioeconomic and ecological processes in Benin. In total we identified three main processes in the coastal area of Benin: the migration into coastal zone, the environment changes (land use, climate change and natural risks) and the vulnerability of local residents. Method consisted to two types of surveys: the interrogation of responsible persons in public office (32 semi-structured interviews) and of the population groups (667 structured interviews). These groups were distinguished according to ethnicity, gender, age as well as location of the dwelling place (rural or urban zone). In total, 262 women and 405 men belonging to the ethnic groups Fon, Yoruba, Houedah, Xla, Toffinou, Wéménou and Gun were interviewed. Members of each ethnic group were grouped according to sex (men and women), marital status and age (young adults, adults and elderly persons).For the data analysis, we used the log (x+1), the analysis variance using 4 factors, the Principal Component Analysis (PCA), the Factor Analysis (AFC) and Log-linear analysis. Multivariate analysis was applied to define the spatial variability of the vulnerability in the area of investigation. Results showed that: (1) the coastal area of Benin have the highest population density in the country, which can be attributed to migration and an increase in population, (2) there is a relationship between ethnicity and incidence of occupation as well as between religious affiliation and incidence of occupation, (3) the coastal area experiences numerous environmental problems and the effects of climate change, (4) all this has an impact on the socioeconomic components of the coastal area and increase the vulnerability of the coastal inhabitants, (5) this leads to the marginalization of actor groups and social problems, (6) the local population has certain patterns to explain natural and coastal risks and of vulnerability, (7) therefore, their reasoning of possible actions in response to issues which arise differs markedly from that of public administration, (8) taking into account this rationality is crucial in the participative coastal zone management.The method used is applicable for the analysis of regional processes when dealing with insufficient data. In addition it is transferable to other tropical coastal regions with a similar set of data problems. Therewith, the conducted methodology has successfully proven to be a suitable alternative under the specified conditions. In the end the new approach to detect spatially relevant processes with heterogeneous data sets, combing remote sensing, GIS and socioeconomic surveys for further research is identified to overcome the limitations of the achieved results that still exist.
    Keywords: QC1-999 ; raumrelevante Prozesse ; Benin ; Methode ; Küstenzone ; Vulnerabilität ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Publication Date: 2024-04-04
    Description: Um das Gefährdungspotential von Abwasser aus undichten Kanälen beurteilen zu können, müssen Untersuchungen von verschiedenen Disziplinen bezüglich Mengen, Konzentration, Kolmation, aeroben und anaeroben Bedingungen, gesättigten und ungesättigten Böden, Partikelfraktion und gelöster Fraktion des kommunalen Abwassers, Abbaubarkeit von CSB bzw. Stickstoff und Ausfällungen und Remobilisierung von Schwermetallen durchgeführt werden. Diese Arbeit sollte einen Beitrag zur Klärung der Elimination und von Abbauvorgängen im ungesättigten und gesättigten Untergrund, sowie die Bilanzierung der Stoffumsetzungen und Kontamination von Sandböden und Grundwasser während der Abwasserversickerung aus undichten Kanälen leisten.
    Keywords: QC1-999 ; Grundwasser ; Boden ; Abwasserkanal ; Umweltgefährdung ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Publication Date: 2024-04-04
    Description: Die vorliegende Arbeit untersucht die Möglichkeit der Rekonstruktion prähistorischer Hochwasserereignisse am Oberrhein und an der Oberen Donau anhand von Änderungen in der geochemisch-mineralogischen sowie der granulometrischen Zusammensetzung von Auensedimenten. Das konkrete Ziel der Arbeit ist es, einen Zusammenhang zwischen der geochemisch-mineralogischen sowie der granulometrischen Zusammensetzung der im Auenbereich abgelagerten Sedimente und der Höhe des herrschenden Abflusses nachzuweisen.
    Keywords: QC1-999 ; Rhein ; Geochemie ; Donau ; Granulometrie ; Hochwasserrekonstruktion ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Publication Date: 2024-04-04
    Description: Nach den Erfordernissen der EU-Energiepolitik hinsichtlich der Liberalisierung und Integration sollen die Länder Südosteuropas das Vorbild des EU-Energiemarktmodells übernehmen. Die vorliegende Arbeit hat sich deshalb mittels eines partiellen Gleichgewichtsmodells mit den Kooperations- und Umsetzungsproblemen in einem gemeinsamen südosteuropäischen Strommarkt beschäftigt. In der Simulation dieses Modells wurden verschiedene Wettbewerbs- und Kooperationsszenarios miteinander verglichen.
    Keywords: QC1-999 ; Kooperation ; Liberalisierung ; Partielles Gleichgewichtsmodell ; Integrierte Strommärkte ; Südosteuropa ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Publication Date: 2024-04-04
    Description: Für die Wiederbelebung des Zentrums von Kabul sollen in Vergessenheit geratene lokale und tradi­tionelle Elemente sowie Aspekte der Selbstverwaltung herausgearbeitet und gestärkt werden.Die bis zu 65 % zerstörte Altstadt wird derzeit als Areal ohne Reiz wahrge­nommen. Die Analysen des Bestandes und der geschichtlichen Entwicklung Kabuls sind daher Voraussetzung, um noch vorhan­dene Spuren bewerten und sie als Grundlage für eine Wieder­belebungsstrategie definieren zu können.
    Keywords: QC1-999 ; Geschichtliche Kontiuität ; islamic town ; Historisches Zentrum von Kabul ; islamic architecture ; islamic townplanning ; Altstadt von Kabul ; islamische StadtplanungKabulŽs center ; Morphologie islamischer Städte ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.
    Keywords: architecture verification ; artificial intelligence ; automata theory ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; formal methods ; model checking ; software architecture ; software design ; software engineering ; software quality ; temporal logic ; verification techniques ; 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 ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: This work concerns the characterization of high-temperature superconducting REBCO Roebel cables for use in accelerator magnets. The effects of bending, torsion and compressive stress on the cable are investigated. The second part concerns the effect of inter-strand resistance on the cable properties. A two-parameter model is proposed to describe inter-strand connections and predict the effect on AC loss and stability. Additionally, the AC loss and stability are experimentally investigated.
    Keywords: QC1-999 ; Hochtemperatursupraleiter ; REBCO coated conductor ; High-temperature superconductor ; Hochfeldmagnete ; REBCO-Bandleiter ; Roebelkabel ; high-field magnets ; Roebel cable ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: Phenol and chlorophenols are among the most important class of raw materials in chemical industry. These compounds also list among priority pollutants. The main problem in treating phenol or chlorophenol containing wastewater is the toxicity it exerts to the microbial flora in biological treatment plants. This may lead to partial or complete treatment plant failure, when the microbial flora is not adapted to phenol concentrations in the influent. The purpose of this thesis was to adapt the microbial flora of domestic sewage sludge to phenol and 2-chlorophenol at high concentration under continuous feeding conditions for long time periods and to study the response of suspension and fixed biofilm systems to transient loading and operation.
    Keywords: QC1-999 ; 2-chlorophenol ; Phenol ; fixed bed ; biodegradation ; suspension ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Publication Date: 2024-04-04
    Description: Die zur techno-ökonomische Analyse von Luftreinhaltestrategien verwendeten Optimiermodelle vernachlässigen in ihrer Zielfunktion die einzelbetriebliche Investitionsentscheidung. Diese stellt jedoch die Grundlage für den Einsatz von Emissionsminderungsmaßnahmen auf Anlagenebene dar. Das beschriebene systemdynamische Modell erlaubt die Analyse der Auswirkungen umweltpolitischer Instrumente auf die betrieblichen Rahmenbedingungen und Kosten und somit auf die erreichbare Emissionsminderung.
    Keywords: QC1-999 ; System Dynamics ; Systemanalyse ; In ; Kostenfunktion ; Luftreinhaltepolitik ; Dynamisches Modell ; Emissionsverringerung ; Entscheidungsunterstützung ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Publication Date: 2024-04-04
    Description: Die Nutzung der erneuerbaren Energiequelle Holz bringt ökologische Vorteile mit sich: Es werden Kohlendioxid-Emissionen eingespart und der Verbrauch fossiler Energiequellen verringert. Zugleich muss jedoch mit erhöhten Schadstoffemissionen, dem Problem der Ascheentsorgung sowie häufig mit erhöhten Energiebereitstellungskosten gerechnet werden.In dieser Arbeit werden die Chancen und Risiken der Energieressource Holz am konkreten Beispiel des Landes Baden-Württemberg unter der Berücksichtigung technischer, ökologischer und ökonomischer Gesichtspunkte bewertet, um eine Grundlage zu politischer Entscheidungsunterstützung zu geben.Neben einer Potenzialanalyse wird anhand konkreter Anlagenbeispiele eine Prozesskettenanalyse durchgeführt, in der kumulierter Energieaufwand, Kohlendioxid-Emissionen, Schadstoffemissionen sowie Kosten bilanziert werden.Die Wirtschaftlichkeit und Konkurrenzfähigkeit der energetischen Holznutzung im Gesamtkontext des bestehenden Energiesystems wird anhand einer systemanalytischen Bewertung mit dem Energiesystemmodell PERSEUS-Reg² untersucht.Abgerundet wird das Bild durch die Bilanzierung der Emissionen kanzerogener Spurenstoffe aus Holzfeuerungsanlagen für Baden-Württemberg, sowie die Darstellung der Möglichkeiten eines Beitrags zur Nachhaltigkeit Anhand eines konkreten Projekts im Rahmen der Lokalen Agenda 21.
    Keywords: QC1-999 ; Energieträger ; Bioenergie ; Holz ; Biomasse ; Ressourcen ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Publication Date: 2024-04-04
    Description: Two aspects of anthropogenic impacts on the atmosphere are investigated using means of numerical weather prediction. A case study is conducted to estimate the impact of such artificial clouds on the incoming solar radiation at the Earth's surface with special regard to photovoltaic power production. Furthermore, simulations are performed to assess the efficacy of injecting particles into the Arctic troposphere with the aim of modifying cirrus clouds for counteracting global warming.
    Keywords: QC1-999 ; climate engineering ; contrails ; Kondensstreifen ; Arktis ; arctic ; cirrus ; Wolkenmikrophysik ; Zirren ; cloud microphysics ; Climate Engineering ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: 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 were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
    Keywords: Software Engineering ; Special Purpose and Application-Based Systems ; Control Structures and Microprogramming ; Computer System Implementation ; Information Systems and Communication Service ; Artificial Intelligence ; open access ; software engineering ; requirements engineering ; model-based design ; software analysis ; testing ; software architectures ; security ; model transformations ; software evolution ; software product lines ; architecting ; artificial intelligence ; computer programming ; computer systems ; embedded systems ; mathematics ; software architecture ; software design ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Systems analysis & design ; Computer networking & communications ; Artificial intelligence ; 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::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; 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 ...
  • 66
    Publication Date: 2023-12-20
    Description: Software Architecture covers the technical organization of a software system and principles which determine design and evolution of the system. The research issue of this work results from software evolution, when the software needs to be modified. The contribution of this book is a method for change request analysis based on software architecture models. The method supports derivation of tasks covering several work areas and life cycle phases.
    Keywords: QA75.5-76.95 ; Software Evolution ; Change Request Analysis ; Software Engineering ; Software Architecture ; Änderungsanfragenanalyse ; Software ; Software-Evolution ; Software-Architektur ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Publication Date: 2024-04-04
    Description: The main topic of this book is the determination of the potential to discover the Higgs boson at the Compact Muon Solenoid (CMS) experiment at the LHC in a certain decay channel. The production mode under investigation is the associated production with top quarks and the subsequent decay into b-quarks. The search for the decay into b-quarks is of special interest, because it has the highest branching ratio in the mass region shortly above the exclusion limit of 114.4 GeV. In addition, this channel facilitates measurements of Higgs coupling properties.
    Keywords: QC1-999 ; Teilchenbeschleuniger ; CERN ; Elementarteilchenphysik ; Higgs-Modell ; CMS-Detektor ; Higgs-Mechanismus ; Higgs-Teilchen ; Hochenergiephysik ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Publication Date: 2024-04-04
    Description: This work presents a new approach for a hail loss model to quantify the hail risk on residual buildings for high return periods. Based on the analysis of 3D radar data from 2005 to 2015 a stochastic hail track model is developed to sample a random number of stochastic hail tracks. A detailed vulnerability analysis combines the hazard from the hail tracks and the vulnerability of buildings towards hail and leads to the hail risk for a certain portfolio.
    Keywords: QC1-999 ; Loss model ; Hagel ; Schadenmodell ; Hail Climatology ; Hagelklimatologie ; Risikoanalyse ; Vulnerability ; Risk analysis ; Hail ; Vulnerabilität ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Publication Date: 2024-04-04
    Description: Propionic acid is an important intermediate produced during anaerobic degradation of biowaste and a precursor of a large amount of methane. Its accumulation during biomethanation is however a common problem resulting in stagnation phases in biogas production. During this study, the deeper insight into the process of propionic acid degradation was intended by using modern analytical chemistry, standard microbiological approach and molecular biology for describing and explaining the problem.
    Keywords: QC1-999 ; Syntrophy ; Interspecies distance ; Anaerob ; Biomüllvergärung ; Propionsäure ; Propionic acid ; Syntrophie ; Anaerobic digestion ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Publication Date: 2024-04-04
    Description: Unter gestalterischen, baulich-räumlichen und planerischen Gesichtspunkten wird in dieser Arbeit anhand der Stadtentwicklung Karlsruhe nachgegangen, welcher konzeptionelle Stellenwert in Leitplänen und in der realen Planung stadtnahen Wäldern in der Vergangenheit bis zur Gegenwart zugemessen wurde. Schwerpunkt liegt in der Fragestellung, wie die Stadtplanung in der Vergangenheit mit stadtnahen Wäldern umgegangen ist und wie sich die Ergebnisse dieses Umgangs darstellen.
    Keywords: QC1-999 ; Landschaftsarchitektur ; Karlsruhe ; Wald ; Städtebau ; Landschaft ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; 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::UT Computer networking and communications ; 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::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Publication Date: 2024-04-04
    Description: In dieser Arbeit werden die in organischen Solarzellen und Photodioden auftretenden physikalischen Prozesse anhand des Vergleichs numerischer Drift-Diffusions-Simulationen mit experimentellen Daten untersucht und charakterisiert. Zentrale Themen sind hierbei die Untersuchung der Generations- und Verlustprozesse sowie des Ladungsträgertransports. Ein Schwerpunkt dieser Arbeit liegt dabei auf der vielversprechenden Methode der zeitaufgelösten Untersuchung der transienten Stromantwort.
    Keywords: QC1-999 ; Numerische Simulation ; dispersiver Ladungsträgertransport ; organische Solarzelle ; organische Photodiode ; transiente Stromantwort ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: This study shows the development of an analysis of the hail hazard in Germany in high spatial resolution, based on radar- and lightning data.
    Keywords: QC1-999 ; Hagelsturm ; Hagel ; Hagelgewitter ; Hagelschaden ; Gewitter ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Publication Date: 2024-04-04
    Description: In this study, samples were selected with respect to their layer charge and morphology. Sixteen bulk materials were pre-selected, which contained either swellable clay minerals or non-swelling clay minerals. One topic of this work was a comprehensive determination of layer and edge charge and exchange properties of clay minerals. A further topic in this study concerned the modification of swellable and non-swelling clay minerals with mineral acids, e.g., HCl and H2SO4.
    Keywords: QC1-999 ; cay minerals ; acid treatment ; layer charge. edge charge ; layer charge reduction ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
    Keywords: architecture verification ; artificial intelligence ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; formal methods ; formal verifications ; model checker ; model checking ; signal processing ; software architecture ; software design ; software engineering ; software quality ; 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::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: This book reviews and investigates orbit-related effects in synthetic aperture Radar interferometry (InSAR). The translation of orbit inaccuracies to error signals in the interferometric phase is concisely described; estimation and correction approaches are discussed and evaluated with special focus on network adjustment of redundantly estimated baseline errors. Moreover, the effect of relative motion of the orbit reference frame is addressed.
    Keywords: QC1-999 ; orbit errors ; orbit correction ; baseline errors ; InSAR ; reference frame ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Publication Date: 2024-04-04
    Description: Over complex terrain, spatial inhomogeneities of pre-convective atmospheric conditions occur due to convection and mesoscale transport processes. This thesis focuses on the identification of these processes over the mountainous island of Corsica and on the evaluation of their impact on the spatial variability of water vapour, convection-related parameters and the evolution of deep convection by means of observations.
    Keywords: QC1-999 ; Integrierter Wasserdampfgehalt ; Konvektion ; Korsika ; Atmosphärische Grenzschicht ; Integrated Water Vapour ; Atmospheric boundary layer ; Thermally driven circulation ; Thermische Zirkulation ; Corsica ; Convection ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: The scope of the Glossary of Nuclear Terms (Lexikon zur Kernenergie) is intended to focus on the key terms concerning the public debate about the peaceful use of nuclear energy, in order to explain the meanings of technical terms that may be unfamiliar to many people.
    Keywords: QC1-999 ; Kerntechnik ; Radioaktivität ; dosimetry ; Strahlenschutz ; radiation protection ; nuclear power plant ; Dosimetrie ; Reaktortechnik ; nuclear technology ; radioactivity ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Publication Date: 2024-04-04
    Description: Die Geodätische Woche bietet ein Forum für die Diskussion von aktuellen wissenschaftlichen Entwicklungen und Anwendungen in der Geodäsie. Die Geodätische Woche wird im Rahmen der Intergeo®-Kongress und Fachmesse für Geodäsie, Geoinformation und Landmanagement durchgeführt. In dieser Monographie sind die Zusammenfassungen (Abstracts) der für die Geodätische Woche 2009 (Ort: Karlsruhe) eingereichten Beiträge zusammengestellt.
    Keywords: QC1-999 ; Angewandte Geodäsie und GNSS ; Schwerefeld und Geoid ; Geodätische Bezugssysteme ; GGOS und Theoretische Geodäsie ; Erdrotation und Geodynamik ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Publication Date: 2024-04-04
    Description: Nuclear fusion is a key technology to satisfy the basic demand for electric energy sustainably. The official EUROfusion schedule foresees a first industrial DEMOnstration Fusion Power Plant for 2050. In this work several high temperature superconductor sub-size cables are investigated for their applicability in large scale DEMO toroidal field coils. Main focus lies on the electromechanical stability under the influence of high Lorentz forces at peak magnetic fields of up to 12 T.
    Keywords: QC1-999 ; Magnet toroidal field coil ; Nuclear fusion ; HochtemperatursupraleitungDEMO Reactor ; Kernfusion ; High temperature superconductors ; DEMO Reaktor ; Toroidalfeldspulen ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Publication Date: 2024-04-04
    Description: Die Datengrundlage dieser Arbeit bilden Messungen in Wolken mit einem scannenden Radar. Zur Analyse der wolkenphysikalischen Prozesse werden neuartige Verfahren entwickelt, die (i) die getrennte Betrachtung von Teilprozessen in der Schmelzschicht ermöglichen und die es (ii) erlauben, mittels einer neuen, in dieser Arbeit eingeführten Größe (""residuale Geschwindigkeit""), kleinräumige Fluktuationen in Wolken zu identifizieren und ihre dynamische Entwicklung zu beschreiben.
    Keywords: QC1-999 ; residuale Geschwindigkeit ; Wolken ; Radar ; Schmelzschicht ; interne Schwerewellen ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Publication Date: 2024-04-04
    Description: Abwasserkanäle erleiden im Verlauf ihrer Nutzung Schäden durch Abnutzung, Alterung oder sonstige Einwirkung, die zu Undichtigkeiten führen können. Durch die Undichtigkeiten kann entweder unbelastetes Fremdwasser aus dem umgebenden Erdreich bei hohem Grundwasserstand in die Rohrleitung eindringen oder große Mengen Abwasser bei niedrigem Grundwasserstand durch die schadhaften Stellen über die Kanalbettung aus ihr austreten. Undichte Abwasserkanäle können ein hohes Gefährdungspotential darstellen.Diese Arbeit befasst sich mit den Änderungen der Abwasserinhaltsstoffe aus undichten Kanälen und der Kontamination von Sandböden während der Abwasserversickerung.
    Keywords: QC1-999 ; Abwasser ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Publication Date: 2024-04-04
    Description: The commemorative publication of the 150-year anniversary of the foundation of the Geodetic Institute Karlsruhe (GIK) presents the historical overview of the development of the GIK. Current research results are presented and innovations are shown.
    Keywords: QC1-999 ; Geoinformatik ; Physikalische und Satellitengeodäsie ; Geodetic Sensor Systems ; Geodäsie ; Geodätische ErdsystemwissenschaftGeodesy ; Physical and Satellite Geodesy ; Geodetic Earth Science ; Geoinformatics ; Geodätische Sensorik ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Publication Date: 2024-04-04
    Description: The commemorative publication in honor of Prof. Bernhard Heck contains 41 contributions written by friends, colleagues, co-workers and former PhD-students. The focus of the scientific articles is on Physical and Satellite Geodesy as well as on geodynamics. It reflects the wide range of academic and scientific research activities of Bernhard Heck. The volume is completed by articles about education at the Geodetic Institute of KIT as well as the importance of Geodesy for society.
    Keywords: QC1-999 ; Physikalische und Satellitengeodäsie ; Prof. Bernhard Heck ; Geodätisches Institut ; KIT ; commemorative publication ; Festschrift ; Physical and Satellite Geodesy ; Geodetic Institute ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; 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 ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: This work studies the interaction of natural aerosol with clouds for two different weather regimes in Central Europe. One model study highlights the impact of sea salt aerosol on postfrontal, convective cumulus clouds. The other study examines the influence of mineral dust aerosol on the formation of cirrus clouds during a mineral dust outbreak on 3 April 2014.
    Keywords: QC1-999 ; Mineralstaub ; Modellstudie ; Mineral dust ; model study ; Wolken ; Clouds ; Cirrus ; Aerosol ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: The light distribution of LED-systems, especially the colour distribution gets more and more important. As white light of LED-systems is received in a different way than with incandescent or fluorescent lamps different the radiation can contain different colours. Part of this work was to develop a method to present and describe these color shadows based on the results of existing color measurement methods.
    Keywords: QC1-999 ; presentation ; farbliche Abstrahlcharakteristik ; LED-systems ; LED-Systeme ; color distribution ; DarstellungPhotometry ; Photometrie ; Farbmessung ; color measurements ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: This work addresses the problem of asynchronous user involvement in software projects. It develops a new methodology, OpenProposal, which Integrates an enhanced snapshot annotation tool into a collaborative environment. Two case studies show that this approach could help in reducing the effort for usability tests as well as motivating users to express their ideas and needs more precisely.
    Keywords: HF5001-6182 ; Vorgehensmodell ; Software Engineering ; Anwenderbeteiligung ; User Involvement ; FallstudienSoftware Engineering ; Software Process Management ; Usability ; Case Study
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Publication Date: 2024-04-04
    Description: Die bisherigen Realisierungen von Netzausgleichungs- und Deformationsanalysealgorithmen in operationellen Softwaresystemen sind meist nur Insellösungen, die sich schlecht erweitern lassen und einen hohen Wartungsaufwand erfordern.Im vorliegenden Buch wird gezeigt, wie durch Anwendung von aktuellen Forschungsergebnissen aus der Informatik eine höhere Flexibilität bei geodätischen Softwarelösungen erreicht und ein durchgängiger Datenfluss von der Datenerfassung, über die Aufbereitung der Messungen, die Netzausgleichung und die Deformationsanalyse bis hin zur Visualisierung realisiert werden kann. Dazu wurde ein komplexes Klassenmodell, das weite Teile der Ingenieurgeodäsie modelliert und ein komplettes Vermessungsprojekt abbilden kann, aufgestellt.Im Bereich der Netzausgleichung liegt der Schwerpunkt auf der Entwicklung eines Lösungsansatzes zur allgemeinen Formulierung von Beobachtungsgleichungen und zur sinnvollen Integration der statistischen Test in das Klassenmodell. Die Algorithmen der Deformationsanalyse werden in Modelle eingeteilt, die eine Standardisierung der entsprechenden Schnittstellen ermöglichen, um so den Grundsätzen der Flexibilität und leichten Erweiterung gerecht zu werden.
    Keywords: QC1-999 ; Objektorientierte Programmierung ; Deformation ; Deformationsmessung ; Softwareentwicklung ; Ingenieurvermessung ; Objektorientierung ; Ausgleichung ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 22nd International Conference on Agile Software Development, XP 2021, which was held virtually 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. This year’s conference was held with the theme “Agile Turns Twenty While the World Goes Online”. The 11 full and 2 short papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections named: agile practices; process assessment; large-scale agile; and short contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; IT in Business ; Management of Computing and Information Systems ; Software Engineering ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Operating systems ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach can be used to achieve greater interoperability among such infrastructures in the environmental and earth sciences. The 20 contributions in this book are structured in 5 parts on the design, development, deployment, operation and use of research infrastructures. Part one provides an overview of the state of the art of research infrastructure and relevant e-Infrastructure technologies, part two discusses the reference model guided engineering approach, the third part presents the software and tools developed for common data management challenges, the fourth part demonstrates the software via several use cases, and the last part discusses the sustainability and future directions.
    Keywords: Computer Applications ; Environment, general ; Special Purpose and Application-Based Systems ; Information Systems and Communication Service ; Software Engineering/Programming and Operating Systems ; Geography, general ; Computer and Information Systems Applications ; Environmental Sciences ; Database Management System ; Software Engineering ; Geography ; cloud computing ; cloud providers ; cloud services ; computer networks ; computing resource ; data communication systems ; databases ; distributed computer systems ; distributed systems ; engineering ; grid computing ; internet ; network protocols ; open access ; parallel processing systems ; signal processing ; telecommunication networks ; wireless telecommunication systems ; Information technology: general issues ; The environment ; Expert systems / knowledge-based systems ; Computer networking & communications ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Publication Date: 2024-04-04
    Description: Hysteretic loss optimisations through numerical simulation and subsequent experimental confirmation in transport current and background field measurements: ferromagnetic shielding and topological geometry optimisation is used to reduce energy dissipation in HTS coated conductor geometries. Single tapes and coil geometries are investigated. A 3D model capable of taking into account contact resistances is also presented for the Twisted Stacked Tape Conductor cable.
    Keywords: QC1-999 ; Ferromagnete ; shields ; Schilde ; Wechselstrom Verlustesuperconductor ; hysteretic losses ; ferromagnet ; Supraleiter ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Publication Date: 2024-04-04
    Description: In dem vorliegenden Buch wird die Ausgleichung nach dem Total-Least-Squares-Prinzip vorgestellt und auf geodätische Problemstellungen angewandt. Total Least Squares ist ein relativ junges Verfahren im Bereich der Parameterschätzung.Für Geodäten stellt sich die Frage, ob sich Total Least Squares auch bei gängigen Problemstellungen der Geodäsie verwenden lässt und ob sich durch die Ausgleichung nach Total Least Squares im Vergleich zu den traditionellen Verfahren neue Erkenntnisse gewinnen lassen. Um die Arbeitsweise dieses Schätzers nachvollziehen zu können, werden zunächst genau die mathematischen Grundlagen vorgestellt, die in diesem Kontext eine Rolle spielen. Auf Basis dieser Grundlagen wird sowohl die klassische Berechnung einer Ausgleichung nach TLS als auch die eines gemischten TLS-LS-Problems erklärt. Weiterhin wird aufgezeigt, wie ein TLS-Problem in ein Gauß-Helmert-Problem umgewandelt werden kann, um den Kreis der möglichen Anwendungen zu erweitern. Eine kurze Zusammenfassung der wichtigsten konventionellen Modelle erleichtert die Einordnung von TLS, die auch die Entwicklung des mehrdimensionalen Beobachtungstests für Gauß-Helmert-Modelle beinhaltet. An unterschiedlichen Fallbeispielen wird untersucht, wie die Voraussetzungen für die Anwendung von TLS geschaffen werden können und welche Vorteile sich durch die Ausgleichung nach TLS ergeben.
    Keywords: QC1-999 ; Parameterschätzung ; Geodäsie ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: This work focusses on the first demonstration of silicon light-emitting diodes (SiLEDs) based on silicon nanocrystals as light emitting material. In a detailed study we characterize the optoelectronic and morphological properties of the SiLEDs. In addition, a whole set of new fields of applications of silicon nanocrystals, such as biomedical approaches or direct laser sintering, and detailed spectroscopic study of the particles complete the work.
    Keywords: QC1-999 ; Spektroskopie ; Silizium-Nanokristalle ; Quantenpunkte ; Optoelektronik ; Organische Leuchtdioden ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Publication Date: 2024-04-04
    Description: Das Gipsabbinden setzt sich in molekularem Maßstab aus drei Teilschritten zusammen: Auflösung des Halbhydrats (CaSO4 · 0.5 H2O, Bassanit) sowie Keimbildung und Kristallwachstum des Dihydrats (CaSO4 · 2 H2O, Gips). Eine zentrale Rolle für diese Umwandlung über eine Lösungsphase spielt die Reaktion an der Grenzfläche zwischen Kristall und Lösung. Mit Hilfe eines kombinierten makroskopisch-mikroskopischen Ansatzes wurde ein Reaktionsmodell entwickelt. In molekularem Maßstab wurden Kristallwachstums- und Auflösungsmechanismen jeweils unabhängig voneinander in-situ charakterisiert. Auf der Basis der mikroskopischen Mechanismen konnten makroskopische Ratengleichungen abgeleitet werden. Die experimentell bestimmten Daten dieser Arbeit ermöglichen eine quantitative Beschreibung der Hydratation im vereinfachten Modellsystem. Grundlegende Fragen nach der reaktiven Oberfläche der Minerale und nach den fundamentalen Mechanismen werden beantwortet und ergänzend der Einfluß von Additiven auf die Reaktionskinetik untersucht.
    Keywords: QC1-999 ; Calciumsulfat ; Gips ; Additiv ; Auflösung ; Hydratation ; Kristallwachstum ; Kinetik ; Bindemittel ; Keimbildung ; Bassanit ; Rasterkraftmikroskopie ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Publication Date: 2024-04-04
    Description: The study contributes to the determination of parameters that influence occupant satisfaction with the daylighting of workplaces in everyday life under consideration of seasonal differences. The users’ assessments (977 questionnaires) are supplemented by an analysis of the users’ behavior that allows conclusions on the users’ needs and on their tolerance towards adverse conditions. By evaluating users’ ratings and interventions, clues for the planning of user friendly buildings can be identified.
    Keywords: QC1-999 ; visueller Komfort ; thermischer Komfortworkplace ; visual comfort ; Nutzerverhalten ; thermal comfort ; Arbeitsplatz ; occupants&#8217 ; Nutzerzufriedenheit ; daylight ; occupant satisfaction ; behaviour ; Tageslicht ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-04
    Description: A new measurement concept was developed to determine the amount, variability and governing factors of evaporation from the Dead Sea. Additionally, a suitable indirect method to calculate evaporation is presented. Results show that vapour pressure deficit and wind speed are governing evaporation and that the diurnal cycle is determined by three distinct diurnal wind systems. The occurrence frequency and intensity of the wind systems are determined by local differential cooling and heating.
    Keywords: QC1-999 ; Measurements ; Messungen ; Verdunstung ; Energiebilanz ; periodische Windsysteme ; Energy Balance ; Periodic Wind Systems ; Evaporation ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Publication Date: 2024-04-04
    Description: In the present work the substitution series of CeTi_(1-x)V_(x)Ge_(3) is examined. Within the framework of this thesis, several polycrystals and singlecrystals have been made. CeTiGe_(3) is a strong anisotropic ferromagnet with a T_(C) = 14.3 K. When Ti is partially substituted by V, T_(C) is reduced. So CeTi_(1-x)V_(x)Ge_(3) is a potential candidate for a ferromagnetic QCP.
    Keywords: QC1-999 ; Kristallphysik Festkörperphysik Quantenkritikalität ; crystalphysics solidstatephysics Quantumcriticality ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Publication Date: 2024-04-04
    Description: Die Untersuchung zeigt Zusammenhänge zwischen Finanzkraft, der strategischen Reorganisation von Hafennutzung und städtischer Innenentwicklung auf. Die entstehenden Chancen und Risiken werden offen gelegt.Es wird die Notwendigkeit einer überregionalen Strategie zur Erhaltung der dezentralen Versorgung mit Hafeninfrastruktur dargelegt.
    Keywords: QC1-999 ; Hafen ; Hafenanlage ; Strategische Planung ; Strategie ; Stadtplanung ; Rekultivierung ; Standortplanung ; Stadtsanierung ; Städtebau ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Publication Date: 2024-04-04
    Description: Auf internationaler Ebene wurden Ziele zur Minderung von Luftschadstoff- und klimarelevanten Emissionen vereinbart, deren Umsetzung den jeweiligen Unterzeichnerstaaten obliegt. Hierzu existieren zahlreiche umweltpolitische Instrumente, deren Effektivität und Effizienz jedoch schwer abschätzbar sind. Daher ist es das Anliegen des im vorliegenden Buch beschriebenen otello-Modellsystems, solche politischen Instrumente in ihren ökologischen und ökonomischen Wirkungsmechanismen zu bewerten.
    Keywords: QC1-999 ; Integrated Assessment Model ; Luftreinhaltung ; politische Instrumente ; Akteursbasierte Simulation ; Emissionsmanagement ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: German
    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...