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  (75)
  • thema EDItEUR::P Mathematics and Science::PN Chemistry  (46)
  • Cell & Developmental Biology
  • Chemical Engineering
  • Humans
  • Inorganic Chemistry
  • Software Engineering
  • formal logic
  • KIT Scientific Publishing  (48)
  • Springer  (27)
Collection
Keywords
Language
Years
  • 1
    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 ...
  • 2
    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 ...
  • 3
    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 ...
  • 4
    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 ...
  • 5
    Publication Date: 2024-04-05
    Description: Ein wesentlicher Aspekt dieser Arbeit ist die Suche nach besseren Donorkomponenten für die, mit Hilfe der Kokondensationstechnik dargestellten, Germaniummonohalogenidlösungen.Des Weiteren befaßt sich die Arbeit mit der Folgechemie von metalloiden Germaniumclustern sowohl in Lösung, als auch in der Gasphase.
    Keywords: QD1-999 ; metalloid ; Kokondensation ; Cluster ; Germanium ; Folgechemie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    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 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 ...
  • 7
    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 ...
  • 8
    Publication Date: 2024-04-05
    Description: In der vorliegenden Arbeit wird die Anregungs/Abfrage-Photoelektronenspektroskopie auf die Untersuchung elektronischer Dynamik in massenselektierten Molekülionen unter Hochvakuum-Bedingungen angewendet, wodurch die Beobachtung intramolekularer elektronischer Relaxation unter Ausschluss jeglicher Wechselwirkung der untersuchten Teilchen zur umgebenden Matrix möglich ist.
    Keywords: QD1-999 ; Dianion ; Dynamik ; Gasphase ; Zeitauflösung ; Photoelektronenspektroskopie ; Phthalocyanin ; Fulleren ; Ab-initio-Rechnung ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Publication Date: 2024-04-05
    Description: In einer rußenden pulsierten Methan-Luft Diffusionsflamme werden Rußkonzentration, Partikelzahldichte, -radius, -temperatur und OH*-Emission bestimmt. Die pulsierte Flamme zeigt transiente Effekte, erhöhte mittlere Rußkonzentrationen und Ablösung der Flammenspitze. Ein analytisches Modell beschreibt Flammenkontur, Ablösung der Flammenspitze und den asymmetrischen Verlauf der OH*-Emission. Eine numerische Analyse auf Basis der Flamelettheorie gibt die nichtlinearen Effekte der Rußbildung wieder.
    Keywords: QD1-999 ; Verbrennung ; Laminare Strömung ; Methan ; Luft ; Ruß ; Pulsation ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    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 ...
  • 11
    Publication Date: 2024-04-05
    Description: In dieser Arbeit wurden Geschwindigkeitskonstanten für den thermischen Zerfall von NCN und Allylamin unter verbrennungsrelevanten Bedingungen untersucht. Zerfallsreaktionen stickstoffhaltiger Verbindungen spielen zum Beispiel bei der Stickoxidbildung in Verbrennungsprozessen eine Rolle. Die Experimente wurden an einem Stoßrohr durchgeführt, an das ein ARAS-Aufbau oder ein FM-Spektrometer gekoppelt wurde. Die erhaltenen Ergebnisse wurden mit Hilfe der statistischen Reaktionstheorie analysiert.
    Keywords: QD1-999 ; Reaktionskinetik ; Atomresonanzabsorptionsspektroskopie ; Mastergleichung ; Stoßwellenuntersuchung ; Frequenzmodulationsspektroskopie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    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 ...
  • 13
    Publication Date: 2024-04-05
    Description: Diese Arbeit befasst sich mit der Wasserdampfreformierung von Methan, Ethan, Propan, Butan und Alkanmischungen an einem mit Rhodium beladenen Wabenkatalysator, der Entwicklung eines mehrstufigen Reaktionsmechanismus dazu und dessen Validierung unter Verwendung numerischer Modelle. Simulationen mit dem Mechanismus erlauben, Einblicke in das molekulare Geschehen im Reaktor zu nehmen und Vorhersagen für ähnliche Reaktionssysteme abzugeben. Auch die Katalysatordeaktivierung wird untersucht.
    Keywords: QD1-999 ; Erdgas ; Wasserdampfreformierung ; numerische Simulation ; Rhodiumkatalysator ; Reaktionsmechanismus ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    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 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 ...
  • 15
    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 ...
  • 16
    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 ...
  • 17
    Publication Date: 2024-04-05
    Description: In this thesis the implementation of the explicitly correlated coupled-cluster singles-and-doubles model is presented. This tool is capable of efficiently calculating CCSD energies at the basis set limit with relatively small orbital basis sets. The implementation supports RHF, UHF and ROHF reference wave functions. The usefulness of the developed tool is illustrated with selected chemical applications.
    Keywords: QD1-999 ; coupled-cluster theory ; explicit correlation ; transition-state theory ; CCSD ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Publication Date: 2024-04-05
    Description: In der vorliegenden Arbeit wurde die selektive katalytische Reduktion von NOx mittels Ammoniak an eisenmodifizierten BEA-Zeolithen untersucht. Der Katalysator zeigt gegenüber dem kommerziellen V2O5/WO3/TiO2-System eine bessere tieftemperatur SCR-Aktivität, sowie eine bessere Beständigkeit gegen über hydrothermaler Alterung. Der Prototyp am Motorenprüfstand zeigt eine dem kommerziellen V2O5/TiO2-System identische SCR-Aktivität. Die vorliegenden Eisenspezies werden charakterisiert.
    Keywords: QD1-999 ; Ammoniak ; SCR ; NOx ; Reduktion ; Zeolith ; BEA ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    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 ...
  • 20
    Publication Date: 2024-04-05
    Description: This computational study investigates diverse bonding situations in nanostructures (carbon nanotubes, fullerenes, metal compounds) spanning a broad range of energies. Weak, dispersive interactions and covalent metal-ligand and metal-metal bonding are examined. The results of efficient density functional calculations are compared to those of correlated wavefunction calculations on model systems. This rigorous validation is crucial in evaluating the balance between computational cost and accuracy.
    Keywords: QD1-999 ; open-cage fullerenes ; single-walled carbon nanotubes ; subvalent aluminium and magnesium compounds ; computational chemistry ; nanostructures ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Publication Date: 2024-04-05
    Description: Ultraschnelle Dynamik von verschiedenen organischen und anorganischen molekularen Systemen wurde unter Verwendung der zeitaufgelöste Anregungs-Abfrage-Technik in Kombination mit anderen spektroskopischen Methoden untersucht. Diese Dynamik umfasst, z.B. die Relaxationsprozesse in Metalloporphyrins, die Ladungstransfer zwischen Donor und Akzeptor durch DANN-Doppelhelix sowie die Dynamik von Ladungsträger in anorganischen nanostrukturierten zyklischen koordinierten Eisen-Lanthanoide Clustern.
    Keywords: QD1-999 ; Lanthanide ; Femtosecond Spectroscopy ; DNA ; Metalloporphyrin ; Ultrafast Dynamics ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Publication Date: 2024-04-05
    Description: The photoinduced dynamics of radical precursors in solution were investigated by means of femtosecond transient absorption spectroscopy assisted by quantum chemical calculations. The investigated systems show a wide range of excited state lifetimes ranging from tens of femtoseconds to nanoseconds. Thus, in the first case, on the investigated time scale the dynamics of the generated radicals can be additionally investigated. In the latter case only the excited singlet lifetime is observable.
    Keywords: QD1-999 ; femtosecond spectroscopy ; radical ; photolysis ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Publication Date: 2024-04-05
    Description: Verbrennungsreaktionen spielen im alltäglichen Leben und in der chemischen Industrie eine große Rolle. Wichtige Ziele bei Verbrennungsprozessen stellen die genaue Vorhersagbarkeit der strömungsmechanischen Wärme- und Stofftransportvorgänge und eine detaillierte Beschreibung des reaktiven Stoffumsatzes dar.In der vorliegenden Arbeit wird die numerische Simulation verwendet um technische Verbrennungssysteme zu untersuchen.
    Keywords: QD1-999 ; Verbrennung ; Reaktionskinetik ; Turbulente Strömung ; Numerische Strömungssimulation ; Flamelet-Modell ; Flamme ; Turbulenz ; Reaktionsm ; Chemische Reaktion ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Publication Date: 2024-04-05
    Description: The treatise is the first coherent and comprehensive presentation of the important sub-field of ""technology entrepreneurship"" emphasizing the science and engineering perspectives. It is a presentation of technology entrepreneurship as an inter-cultural approach referring to the US and Germany. It integrates micro- and macro aspects referring to numerous cases of firms' foundations. The book provides also a new semi-quantitative approach to growth of new technology ventures.
    Keywords: QD1-999 ; Unternehmertum ; Unternehmer ; Technology ; Entrepreneurship ; Science ; Firmengründungen ; TechnikEntrepreneurs ; Firms' Foundations ; Wissenschaft ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    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 ...
  • 26
    Publication Date: 2024-04-05
    Description: This book lays out a numerical framework for the detailed description of heterogeneous chemistry, electrochemistry and porous media transport in solid-oxide fuel cells (SOFC). Assuming hydrogen as the only electrochemically active species, a modified Butler-Volmer equation is used to model the electrochemical charge transfer.
    Keywords: QD1-999 ; Elektrochemie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Publication Date: 2024-04-05
    Description: The investigation of the interfacial phase transitions in fluid systems with short-range intermetallic interactions are of great interest. The phenomena were studied in two systems exhibiting a liquid-liquid miscibility gap: at the fluid/wall interface in fluid KxKCl1-x and at the fluid/vacuum interface of the Ga1 xBix alloys. To characterize the interfacial changes of the ultra thin films (composition, thickness and their evolution with time) the spectroscopic ellipsometry was performed over a wide spectral range. Whereas in the experiments on KxKCl1-x an existing ellipsometer could be used, a completely new UHV-apparatus including the in-situ phase modulation ellipsometer had to be developed for Ga1 xBix alloys. For the KxKCl1-x system new results on complete wetting at solid-liquid coexistence as well as in the homogenous liquid phase (prewetting) are presented. The spectra show the typical F center absorption which indicates that the film is a salt-rich phase. The thickness strongly increases approaching the monotectic from 30 to 440 nm, which is in agreement with the tetra point wetting scenario. For this interpretation a quantitative description of the excess Gibbs energy has been developed. For the Ga1 xBix system the results on complete wetting, surface freezing and oscillatory interfacial instabilities are presented. The high-precision spectra have been recorded approaching the liquid-liquid miscibility. These spectra have been modeled using a Ga-Bi effective medium approximation for the substrate covered by a film of liquid Bi. The measurements give evidence of tetra point wetting in the Ga-Bi system. First ellipsometric study of the surface freezing in Ga-Bi has been performed. Within the miscibility gap a very interesting effect of surface and bulk oscillatory instability was observed. The details of this process at present are not well understood, but a qualitative description is given.
    Keywords: QD1-999 ; molten salt ; surface phase transition ; spectroscopic ellipsometry ; Ga-Bi alloys ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    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 ...
  • 29
    Publication Date: 2024-04-05
    Description: Im Rahmen der vorliegenden Arbeit wurde ein neues FT/ICR-Massenspektrometer in Betrieb genommen und auf die Besonderheiten beim Messen metalloider Cluster angepasst. Insbesonde wurden verschiedene metalloide Gallium-, Aluminium- und Germaniumcluster untersucht.
    Keywords: QD1-999 ; Metallatom ; Clusterverbindungen ; Ionen-Molekül-Reaktion ; ICR-Spektroskopie ; Quantenchemie ; Massenspektrometrie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    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 ...
  • 31
    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 ...
  • 32
    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 ...
  • 33
    Publication Date: 2024-04-05
    Description: Bei der Unterdruck-Flammensynthese nanoskaliger Metalloxidpartikeln werden verschiedene in-situ-Partikelmesstechniken evaluiert. Im Fall der optischen Verfahren, Pyrometrie, laserinduzierte Glühtechnik, kombinierte Streulicht- und Extinktionsmessungen werden speziell die optischen Eigenschaften als Funktion der Modifikation, Wellenlänge und Temperatur untersucht. Die Partikelmassenspektrometrie wird vor allem vor dem Hintergrund der Partikelaufladungsproblematik betrachtet.
    Keywords: QD1-999 ; Flammensynthese ; Laser induced Incandescence ; metalloxidische Nanopartikel ; in-situ Partikelmesstechnik ; Partikelmassenspektrometrie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Publication Date: 2024-04-05
    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: QD1-999 ; ab initio ; Transition state theory ; Thermochemistry ; DFT ; Dioxin ; Dibenzofuran ; Groupe additivity ; Kinetics ; QRRK ; Isodesmic reactions ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Publication Date: 2024-04-05
    Description: Im Mittelpunkt dieser Arbeit standen Untersuchungen an nackten Aluminiumclustern (Aln-) in der Gasphase. Unter Verwendung der kommerziellen Ionspec-MALDI-Ionenquelle stand mit der Laser-Desorption/Ionisation (LDI) von Lithiumaluminiumhydrid (LiAlH4) eine zuverlässige Methode zur Erzeugung von Aln-Clusteranionen zur Verfügung.
    Keywords: QD1-999 ; FT-ICR ; Reaktivität ; MALDI-MS ; Gasphase ; Elektrospray-Ionisation ; Massenspektrometrie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Publication Date: 2024-04-05
    Description: Die Raman-Schwingungsspektroskopie ist eine der führenden Charakterisierungsmethoden für chemische Konstitution und liefert wertvolle Beiträge zur Strukturaufklärung großer Moleküle. Die Interpretation experimenteller Raman-Spektren wird durch den Vergleich der theoretischen Vorhersagen für Schwingungsfrequenzen und Raman-Intensitäten mit experimentellen Daten ermöglicht. Diese Arbeit umfasst die Entwicklung, Implementierung und Validierung effizienter Verfahren zur Berechnung der Raman-Intensitäten im Rahmen der zeitabhängigen Dichtefunktionaltheorie (TDDFT). Die Verwendung analytischer Gradientenmethoden eröffnet den Weg zur simultanen Berechnung der Raman-Intensitäten aller Schwingungsmoden eines Moleküls innerhalb der Polarisierbarkeitstheorie. Die entwickelten Verfahren werden hinsichtlich ihrer Genauigkeit und ihres Rechenaufwandes untersucht und zur Interpretation der Raman-Spektren von Fullerenen eingesetzt.
    Keywords: QD1-999 ; Lagrange-Funktional ; Resonanz-Raman-Effekt ; Dichtefunktionalformalismus ; analytische Ableitungsmethoden ; Raman-Spektrum ; Polarisierbarkeit ; Ab-initio-Rechnung ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    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 ...
  • 38
    Publication Date: 2024-04-05
    Description: Zn electrodeposition in the under- (UPD) and overpotential (OPD) ranges by means of in-situ Scanning Tunneling Microscopy (STM) was examined, supported by in-situ cyclic voltammetry and chronoamperometrie. The underpotential deposition of Zn follows a layer-by-layer growth. For the first time the formation of three successive Zn monolayers has been observed in the UPD range. It has been shown, that the UPD of Zn is complicated due to surface alloying. The same growth mechanism extends from the UPD into OPD range until Al bulk deposition sets in. The UPD of Al at 100 mV vs. Zn/Zn(II) is marked by Moiré pattern formation. For the first time in this system the effective tunneling barrier f has been measured by STS. A first insight into the 2D phase formation of electrodeposited Zn at the electrolyte / electrode interface was obtained from STM images at various times and potentials. Before a coherent layer is formed wormlike structures are observed characteristic of spinodal decomposition. This implies a first order phase transition, which has been resolved here for the first time for 2D electrodeposition.
    Keywords: QD1-999 ; electrochemistry ; spinodal decomposition ; STM ; zinc ; layer growth ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Publication Date: 2024-04-05
    Description: Die Arbeit befasst sich mit der Ab-Initio-Berechnung von molekularen Eigenschaften, beispielsweise Dipolmomenten oder Strukturen, mithilfe von explizit korrelierter Störungstheorie. Hierzu erfolgt die Herleitung, Implementierung und Analyse der Genauigkeit von analytischen Gradienten für die Methode RI-MP2-F12. Mit diesem Ansatz können Energien und Eigenschaften am Basissatzlimit berechnet werden, so dass der Fehler durch Überlagerung von Basissätzen (BSSE) drastisch reduziert wird.
    Keywords: QD1-999 ; Gradienten ; Integralberechnung ; molekulare Eigenschaften ; Density-Fitting ; Störungstheorie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Publication Date: 2024-04-05
    Description: The treatise is the first coherent and comprehensive presentation of the important sub-field of ""technology entrepreneurship"" emphasizing the science and engineering perspectives. It is a presentation of technology entrepreneurship as an inter-cultural approach referring to the US and Germany. It integrates micro- and macro aspects referring to numerous cases of firms' foundations. The book provides also a new semi-quantitative approach to growth of new technology ventures.
    Keywords: QD1-999 ; Unternehmertum ; Unternehmer ; Technology ; Entrepreneurship ; Science ; Firmengründungen ; TechnikEntrepreneurs ; Firms' Foundations ; Wissenschaft ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: application/octet-stream
    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 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 ...
  • 42
    Publication Date: 2024-04-05
    Description: Kleine Fullerene stellen ein wichtiges Teilgebiet der Forschung an nanostrukturierten Kohlenstoffmaterialien dar. Sie sind jedoch sehr reaktiv, da sie die Regel der isolierten Fünfringe (IPR) verletzen. Experimentell können non-IPR-Fullerene mit Wasserstoff- oder Halogenatomen stabilisiert und als Derivate isoliert werden.Die vorliegende Arbeit befasst sich mit der quantenchemischen Untersuchung möglicher Produkte mit dem Ziel, die Stabilität der experimentell beobachteten Strukturen zu erklären und darüberhinaus weitere besonders stabile Strukturen vorherzusagen.
    Keywords: QD1-999 ; Fullerene ; isolated pentagon rule ; Benchmark-Rechnungen ; Isomere ; Bindungsenergie ; Stabilität ; Hydrierung ; Dichtefunktionaltheorie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Publication Date: 2024-04-05
    Description: The treatise is the first coherent and comprehensive presentation of the important sub-field of ""technology entrepreneurship"" emphasizing the science and engineering perspectives. It is a presentation of technology entrepreneurship as an inter-cultural approach referring to the US and Germany. It integrates micro- and macro aspects referring to numerous cases of firms' foundations. The book provides also a new semi-quantitative approach to growth of new technology ventures.
    Keywords: QD1-999 ; Unternehmertum ; Unternehmer ; Technology ; Entrepreneurship ; Science ; Firmengründungen ; TechnikEntrepreneurs ; Firms' Foundations ; Wissenschaft ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Publication Date: 2024-04-05
    Description: Nanoparticle dispersions were used to fabricate photoactive layers of organic solar cells from water or ethanol. By using a precipitation method the power conversion efficiencies of the nanoparticulate solar cells were similar to the ones obtained from the respective solution processed counter parts using a chlorinated solvent. Next to the thoroughly investigated material system P3HT:ICBA also the transfer to other material systems was examined.
    Keywords: QD1-999 ; Organischer Solarzelle ; Druckbare ElektronikOrganic Solar Cell ; Organische Nanopartikel ; Organic Photovoltaics ; Organic Electronics ; Organische Elektronik ; Printed Electronics ; Organic Nanoparticle ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Publication Date: 2024-04-05
    Description: Diese Arbeit widmet sich den strukturellen Eigenschaften und der thermischen Stabilität monodisperser metallischer Nanopartikel im Größenbereich von 0,5–1,8nm. Sie zeigen ein nicht-skalierendes Verhalten und deswegen sind solche Informationen für zukünftige nanotechnologische Anwendungen von Interesse. Die Technik der Elektronenbeugung an isolierten Clustern in der Gasphase erlaubt in Kombination mit Kandidatstrukturen eine direkte Interpretation von Struktur und ein Vermessen der Partikelgröße.
    Keywords: QD1-999 ; Elektronenbeugung ; Strukturbestimmung ; Nano-Metallcluster ; massenselektiv ; Gasphase ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Publication Date: 2024-04-05
    Description: In der vorliegenden Arbeit wurde der thermische Zerfall des Cyclohexoxyradikals sowie die Reaktion von NCN mit NO über einen breiten Parameterbereich untersucht. Es wurden Experimente in quasi-statischen Reaktoren mit Laserphotolyse-/LIF-Technik durchgeführt. Die experimentellen Ergebnisse wurden mit statistischer Reaktionstheorie analysiert. Besondere Bedeutung kam der adäquaten Beschreibung von gehinderten inneren Rotatoren zu, wofür Methoden programmiert, implementiert und getestet wurden.
    Keywords: QD1-999 ; Reaktionskinetik ; Statistische Reaktionstheorie ; Laserinduzierte Fluoreszenz ; Gasphase ; Gehinderte innere Rotation ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Publication Date: 2024-04-05
    Description: Die stetige Verschärfung der Emissionsgrenzwerte von Verbrennungsmotoren seitens des Gesetzgebers erfordert die Weiterentwicklung und Verbesserung von Technologien der katalytischen Abgasnachbehandlung.Das Ziel dieser Arbeit besteht daher in der Weiterentwicklung eines detaillierten, auf Elementarschritten basierenden Reaktionsmechanismus für die Edelmetallkomponente Platin und die Entwicklung eines Modells zur numerischen Simulation eines NOx-Speicher/Reduktionskatalysators (NSC).
    Keywords: QD1-999 ; Charakterisierung ; Simulation ; NOx-Speicher-Katalysator ; Kinetik ; mathematische Modellierung ; katalytische Abgasnachbehandlung ; Katalysator ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Publication Date: 2024-04-05
    Description: Viele in der Atmosphären- oder Verbrennungschemie wichtige Reaktionen sind komplexbildende bimolekulare Reaktionen. Die Kenntnis ihrer Geschwindigkeitskonstanten ist deshalb für das Verständnis und die Modellierung der komplexen Gesamtprozesse nötig.In dieser Arbeit wurden mit NCN + NO2 und OH + C3H6 Beispiele solcher Reaktionen über einen weiten Parameterbereich mittels Laserphotolyse/LIF experimentell untersucht und die experimentellen Ergebnisse mit statistischer Reaktionstheorie analysiert.
    Keywords: QD1-999 ; Reaktionskinetik ; Radikalreaktion ; Laserinduzierte Fluoreszenz ; LIF ; Mastergleichung ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    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 ...
  • 50
    Publication Date: 2024-04-05
    Description: Die vorliegende Arbeit untersucht das physikalische Phänomen der Einflüsse von Flammenfrontstreckungseffekten auf die turbulente Brenngeschwindigkeit. Bei der turbulenten Flammenausbreitung unterliegt die Flammenfront zufälligen Geschwindigkeits- und Druckschwankungen. Dies führt zu einer stochastisch gefalteten bzw. gekrümmten Flammenfront, welche zusätzlich divergenten Gasströmungen ausgesetzt ist.
    Keywords: QD1-999 ; Verbrennung ; Turbulenz ; Markstein Zahl ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-05
    Description: Charge transport and charge transfer (CT) capabilities of deoxyribonucleic acid (DNA) are investigated. A QM/MM multi-scale framework is applied to calculate the CT capabilities of DNA under conditions resembling the experimental setup. The simulations are able to explain and predict the outcome of experiments and therefore make suggestions in advance. Based on the findings, suitable DNA sequences can be opted for the design of DNA-based devices as nano-scale electronic elements.
    Keywords: QD1-999 ; Charge Transfer ; Molecular Dynamics ; Charge Transport ; Quantum Mechanics ; DNA ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Publication Date: 2024-04-05
    Description: Es wurden mit Hilfe der Stoßrohrtechnik Messungen zu verbrennungsrelevanten Reaktionen durchgeführt, die einen möglichen Beitrag zur Ruß- bzw. Schadstoffbildung leisten. Untersucht wurde der thermische Zerfall von Acetaldehyd, Iodethan und Propin sowie die Reaktion von Acetaldehyd, Propin und Allen mit Wasserstoffatomen. Für diese Reaktionen wurden Geschwindigkeitskonstanten bestimmt bzw. Modelle entwickelt, die die gemessenen Konzentrations-Zeit-Profile beschreiben.
    Keywords: QD1-999 ; Stoßrohr ; Kohlenwasserstoffe ; Kinetik ; ARAS ; Massenspektrometrie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-05
    Description: Die Arbeit befasst sich mit der Kombination von explizit korrelierten Wellenfunktionen mit quasirelativistischen Hamilton-Operatoren. Die relativistische MP2-R12-Methode wurde entwickelt und effizient implementiert, um molekulare Systeme behandeln zu können. Es werden der skalare DKH- und Pauli-Operator, und zweikomponentige Spin-Bahn-ECPs behandelt. Der Basissatzfehler wird durch die R12-Terme drastisch reduziert, relativistische Effekte werden konsistent in die Störentwicklung einbezogen.
    Keywords: QD1-999 ; explicit correlation ; relativistic ; second order perturbation theory ; mp2 ; spin orbit ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2024-04-05
    Description: In der vorliegenden Arbeit wurde ein Näherungsmodell zur Berechnung von CCSD-R12--Grundzustandsenergien unter Verwendung von Auxiliarbasisfunktionen im Rahmen vonAnsatz 1 erfolgreich entwickelt.Des Weiteren wurde durch die vorliegende Arbeit erstmals die Berechnung von CC2-Anregungsenergien unter Verwendung von explizit korrelierten Wellenfunktionen im Rahmen der Ansätze 1 und 2 mit Auxiliarbasisfunktionen möglich.
    Keywords: QD1-999 ; Theoretische Chemie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Publication Date: 2024-04-05
    Description: This work deals with the analysis of the cleaning mechanism of polymer woven filter media. It reports parametric studies for the cleaning of filter media using continuous and pulsed flows for different kinds of impurities and filter geometries. There the focus is on the development of dimensionless operation numbers, which can be used to predict the cleaning result of the respective filter medium.
    Keywords: QD1-999 ; filtration ; Reinigungsfähigkeit ; Filtration ; Filtermedien ; filter media ; solid-liquid separation ; cleanabilty ; Strömung ; Fest-Flüssig-Trennung ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Publication Date: 2024-04-05
    Description: Die metallierten Spezies der Diphosphanylsiloxane können dazu genutzt werden, hybride anorganisch-organische Käfigmoleküle zu synthetisieren. Diese Ligandensysteme weisen verschiedenartige potentiellen Koordinationsstellen auf und sind so in der Lage, Ionen mit unterschiedlichen Ansprüchen zu koordinieren. Weiterhin konnten durch die oxidative Kupplung der metallierten Diphosphanylsiloxane unter P-P-Bindungsknüpfung phosphorreiche Ring- und Käfigstrukturen zugänglich gemacht werden.
    Keywords: QD1-999 ; Siloxane ; Käfigstrukturen ; Hybridverbindungen ; Metallierung ; Phosphor ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Publication Date: 2024-04-05
    Description: In dieser Arbeit wurden mittels zeitaufgelöster Anregungs-Abfrage-Spektroskopie Untersuchungen zum Relaxationsverhalten eines neunkernigen Germaniumclusters, vierkerniger Lanthanoidkomplexe sowie einwandiger (9,7)-Kohlenstoffnanoröhren in Lösung durchgeführt.
    Keywords: QD1-999 ; Utrakurzzeitdynamik ; Germaniumcluster ; Femtosekundenspektroskopie ; Nanoröhren ; Seltenerdkomplexverbindungen ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    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 ...
  • 59
    Publication Date: 2024-04-05
    Description: In dieser Arbeit wurde die Relaxationsdynamik des ersten elektronisch angeregten Zustandes von Fullerid-Anionen sowie von längenselektierten CNT in Lösung mittels fs-Spektroskopie durchgeführt. Für die Dynamik der Fulleride konnten zwei Zeitkonstanten bestimmt werden, welche der elektronischen sowie Schwingungsrelaxation des Anions/Dianions zugeordnet wurden. Im Fall der CNT konnte gezeigt werden, dass ein Zusammenhang zwischen Lebensdauer des angeregten Zustandes und der Länge der CNT besteht.
    Keywords: QD1-999 ; Fullerene ; Absorptionsmessung ; Femtosekundenspektroskopie ; Nanoröhren ; kondensierte Phase ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Publication Date: 2024-04-05
    Description: The fluorine nucleus, when introduced as a reporter group in membrane-associated proteins or peptides, offers a highly sensitive alternative to conventional isotope labels in solid-state NMR spectroscopy. The study presented here is concerned with the development of 19F-NMR methods, as well as data analysis schemes to extract the wealth of structural and motional information from the spectra.
    Keywords: QD1-999 ; Fluorkern ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    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 ...
  • 62
    Publication Date: 2024-04-05
    Description: This book reports on the derivation, implementation and application of two-component methods in the framework of time-dependent density functional theory. These methods allow the calculation of electronic transitions as well as the calculation of the correlation contribution to the electronic ground-state energy (RPA) and to the orbital energies (GW) including spin-orbit coupling. The focus of the applications is put on organic light-emitting diodes and clusters of heavy metals.
    Keywords: QD1-999 ; Spin-Bahn-Kopplung ; MetallclusterSpin-orbit coupling ; Time-dependent density functional theory ; Organic light-emitting diodes ; Zeitabhängige Dichtefunktionaltheorie ; Metal clusters ; Organische Leuchtdioden ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Publication Date: 2024-04-05
    Description: Der Ablauf von Verbrennungsprozessen wird erheblich durch die Reaktionskinetik kurzlebiger Intermediate bestimmt. Die vorliegende Arbeit beschäftigt sich einerseits mit der Bildungskinetik von CN-Radikalen in Zündfunken, deren Lumineszenz für diagnostische Verfahren herangezogen wird und zum anderen mit den Reaktionen von OH-Radikalen mit den Rußvorläufern Diacetylen und Vinylacetylen. Zur Untersuchung der beiden Teilaspekte kommen spektroskopische Methoden zum Einsatz.
    Keywords: QD1-999 ; Spektroskopie ; Chemische Kinetik ; Laserinduzierte Fluoreszenz ; Hydroxyl-Radikale (OH) ; Zündfunken ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    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 ...
  • 65
    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 ...
  • 66
    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 ...
  • 67
    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 ...
  • 68
    Publication Date: 2024-04-05
    Description: Diese Arbeit befasst sich mit der Untersuchung der katalytischen Partialoxidation (CPOX) höherer Kohlenwasserstoffe an mit Rhodium beschichteten Wabenkörpern. Die Reaktion ermöglicht die autotherme Generierung von Wasserstoff aus Kraftstoffen wie Benzin und Diesel zur Versorgung von Brennstoffzellen aus bestehenden Versorgungsnetzen.
    Keywords: QD1-999 ; Kohlenwasserstoffe ; Rhodium ; Partialoxidation ; Fuel Processing ; Wasserstoff ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Publication Date: 2024-04-05
    Description: The scarcity of potable water is a great challenge. It may be resolved by the desalination of seawater. In this work, the possibilities of a new desalination technique using polymeric hydrogels as a separation medium for water and salt is explored. The bound charges in such a polymeric network prevent salt from entering it - under pressure the desalinated water is released from the gel. It is demonstrated that the method is viable and the influence of various process parameters investigated.
    Keywords: QD1-999 ; Polyelectrolyte networks ; Desalination ; Pore size determination ; Hydrogel ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Publication Date: 2024-04-05
    Description: Ionenmobilitätsmessung ist eine Methode zur Strukturaufklärung von Ionen in der Gasphase. Durch Implementierung einer elektrodynamischen Ionenführung wurde die Selektivität des Experiments erhöht, so dass Mobilitäten von Clustern bestimmt werden können, die mit einer geringeren Intensität erzeugt werden können. Dies eröffnet erstmals die Möglichkeit Strukturen von Borcluster-Kationen und Zinnclustern zu bestimmen.
    Keywords: QD1-999 ; Strukturaufklärung ; Zinncluster-Anionen ; Borcluster-Kationen ; Ionenmobilität ; Zinncluster-Kationen ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Publication Date: 2024-04-05
    Description: In this work new Raman spectroscopic experiments on rare earth metal-rare earth trihalide melts (Ln-LnX3 and LnX2-LnX3: Ln=Ce, Nd; X=Cl, I) and their mixtures in alkali halide eutectic solvents ((LiX-KX)eu; X=Cl, I) are presented. The main results can be summarized as follows:- The Raman spectra of following trihalide systems have been measured for the first time: CeCl3, CeI3, NdI3 and their mixtures in the respective alkali halide eutectic solvent. The structure of the LnX3 in the solvent can be characterized by octahedral complexes. The force constants decrease from the chlorides to the iodides. - The Raman spectra of the following dihalides have been observed in this work: NdCl2, CeI2 and their mixtures in the alkali halide solvent. Interestingly, CeCl2 might form as intermediate species on doping CeCl3 with Ce. It is not a stable compound in the Ce-CeCl3 phase diagram.- With respect to the above mentioned main objective the following conclusions can be drawn: (i) On mixing of NdCl2 with NdCl3 in (LiCl-KCl)eu the undisturbed spectra of both components can be observed simultaneously. This is in agreement with the suggested intervalence charge transfer hopping mechanism if one assumes a hopping rate below 1012.(ii) Even though CeCl2 might form as intermediate, in the equilibrium spectra of liquid Ce-CeCl3-(LiCl-KCl)eu only the typical - 36 CeCl -octahedra can be identified. This supports the assumption that in these systems the electronic defect states are probably mobile Drude-like electrons which do not lead to new Raman detectable species. A qualitatively similar observation was made for CeI2-CeI3-(LiI-KI)eu melts.
    Keywords: QD1-999 ; Seltenerdhalogenide ; Hochtemperatur ; Raman-Spektroskopie ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Due to the COVID 19 pandemic, the conference was held online. In 2020, the following six workshops took place: Third International Workshop on Software-Intensive Business Eighth International Workshop on Large-Scale Agile Development Second European Symposium on Serverless Computing and Applications Second International Workshop on Agile Transformation First International Workshop on Agility with Microservices Programming Third International Workshop on Autonomous Agile Teams XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 31 papers presented in this volume were carefully reviewed and selected from overall 79 submissions. In addition to the 26 workshop papers, this volume also includes 2 papers from the Agile Education and Training Track and 3 papers from the Doctoral Symposium. Furthermore, the book contains a summary of a panel discussion with the topic “Covid-19’s Influence on the Future of Agile”.
    Keywords: Management of Computing and Information Systems ; IT in Business ; Software Engineering ; IT Operations ; XP ; Agile software development ; Extreme programming ; Lean development ; Software measurement ; open access ; Software maintenance ; Software testing ; Empirical software engineering ; Software management ; Software development techniques ; Business agility ; Information architecture ; Maintenance & repairs ; Business mathematics & systems ; Business applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Publication Date: 2024-04-05
    Description: Die Entstehung und Oxidation von Ruß in Verbrennungsmotoren mit Kraftstoffdirekteinspritzung wurde experimentell und numerisch untersucht. Für die experimentellen Untersuchungen wurde die RAYLIX- Technik, eine bildgebende, zweidimensionale, laserbasierte Messtechnik eingesetzt. Die RAYLIX- Messungen wurde an zwei Einhubtriebwerken, für den dieselmotorischen und den ottomotorischen Verbrennungsprozess, einem Einzylinder DI-Ottomotor und einem Einzylinder DI-Dieselmotor durchgeführt.
    Keywords: QD1-999 ; Rayleigh- Streuung ; DI-Dieselmotor ; DI-Ottomotor ; Ruß ; Laser induzierte Inkandeszenz ; thema EDItEUR::P Mathematics and Science::PN Chemistry
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-04
    Description: This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as 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; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​
    Keywords: Mathematical Logic and Foundations ; Discrete Mathematics in Computer Science ; Programming Languages, Compilers, Interpreters ; Programming Techniques ; Logic in AI ; Computer Systems Organization and Communication Networks ; 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 ; semantics of programming languages ; program analysis, correctness, transformation, and verification ; logics of programming ; software specification and refinement ; emerging models of computation ; logical aspects of computational complexity ; models of software security ; logical foundations of data bases ; mathematics ; artificial intellegence ; formal logic ; linguistics ; Mathematical foundations ; Mathematical logic ; Discrete mathematics ; Maths for computer scientists ; Programming & scripting languages: general ; Compilers & interpreters ; Computer programming / software engineering ; Artificial intelligence ; Computer networking & communications ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; 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::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::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Keywords: Biomass conversion ; Biotechnology ; Chemical Engineering ; Chemistry industry ; Industrial Chemistry ; Kent ; Riegel ; biochemical engineering
    Description / Table of Contents: Substantially revising and updating the classic reference in the field, this handbook offers a valuable overview and myriad details on current chemical processes, products, and practices. No other source offers as much data on the chemistry, engineering, economics, and infrastructure of the industry. The Handbook serves a spectrum of individuals, from those who are directly involved in the chemical industry to others in related industries and activities. It provides not only the underlying science and technology for important industry sectors, but also broad coverage of critical supporting topics. Industrial processes and products can be much enhanced through observing the tenets and applying the methodologies found in chapters on Green Engineering and Chemistry (specifically, biomass conversion), Practical Catalysis, and Environmental Measurements; as well as expanded treatment of Safety, chemistry plant security, and Emergency Preparedness. Understanding these factors allows them to be part of the total process and helps achieve optimum results in, for example, process development, review, and modification. Important topics in the energy field, namely nuclear, coal, natural gas, and petroleum, are covered in individual chapters. Other new chapters include energy conversion, energy storage, emerging nanoscience and technology. Updated sections include more material on biomass conversion, as well as three chapters covering biotechnology topics, namely, Industrial Biotechnology, Industrial Enzymes, and Industrial Production of Therapeutic Proteins.
    Pages: Online-Ressource (XIV, 1562 pages)
    ISBN: 9780387278438
    Language: English
    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...