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  (224)
  • HF5001-6182  (151)
  • thema EDItEUR::P Mathematics and Science::PN Chemistry  (46)
  • Cell & Developmental Biology
  • Chemical Engineering
  • Humans
  • Inorganic Chemistry
  • Software Engineering
  • formal logic
  • KIT Scientific Publishing  (198)
  • Springer  (26)
  • 2020-2024  (224)
Collection
  • Books  (224)
Keywords
Language
Years
Year
  • 1
    Publication Date: 2023-07-05
    Description: Increasing the shares of Renewable Energy Sources (RES) and Distributed Energy Resources (DER) is one of the most important levers in many countries to cope with the environmental, political, and economic challenges of future energy supply. The underlying research question of this thesis is whether Distributed Storage Systems (DSS) at the end consumer level can economically foster the integration of intermittent and non-dispatchable resources by providing demand-side flexibility.
    Keywords: HF5001-6182 ; load and price forecasting ; economic analysis ; batteries ; distributed storage systems ; demand response ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNB Energy industries & utilities
    Language: English
    Format: application/octet-stream
    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 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 ...
  • 3
    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 ...
  • 4
    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 ...
  • 5
    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 ...
  • 6
    Publication Date: 2023-12-20
    Description: Auf dem Hintergrund von Organisation und Marke beschäftigt sich der Beitrag mit den Anforderungen an eine moderneFührung aus der Perspektive der unternehmerischen Praxis.
    Keywords: HF5001-6182 ; Dialogische Führung ; Marke ; Führung ; Subsidiaritätsprinzip ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: The reuse of process models is a promising technique to reduce modelling effort. Yet, finding similar models in large model collections is not feasible manually. A search functionality for relevant models, which can be used as a template, is therefore helpful. This work describes multiple techniques for finding similar process models and acitvities in process model repositories.
    Keywords: HF5001-6182 ; Ähnlichkeitsbasierte Suche ; Similarity-based Search ; Process Model Matching ; Geschäftsprozess ; AnfragespracheBusiness Process ; Query Language ; Prozessmodell-Matching ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    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 ...
  • 9
    Publication Date: 2023-12-20
    Description: Der Autor beleuchtet den längst überfälligen Paradigmenwechsel in der Welt von Arbeit und Bildung: Aporien der Führung - Aspekte von Autonomie - Bedingungsloses Grundeinkommen - Salutogenese - Dialogische Kultur liefern ermutigende und spannende Ansätze zum neuen Verständnis eines zentralen Lebensfeldes.
    Keywords: HF5001-6182 ; Arbeit ; Dialogische Führung ; Führung ; Bildung ; Grundeinkommen ; Dialogische Kultur ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    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 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 ...
  • 11
    Publication Date: 2023-07-05
    Description: Sachzwänge im internationalen Klimaschutz: 1. Weltweit wirksame Begrenzung von Emissionen, 2. Nutzung der Ressource muss einen Preis haben, um Anreiz für sparsamen Umgang zu geben, 3. Pro-Kopf-Lösung (auch von Bundeskanzlerin Merkel gefordert), damit Indien und China mitmachen. Input-Orientierung: Wer Kohle,
    Keywords: HF5001-6182 ; Weltgemeinschaftsgüter ; Klimawandel ; Weltordnungs- und -wirtschaftspolitik ; Welthunger ; Emissionsrechtehandel ; Weltwirtschaftspolitik ; Weltordnungspolitik
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Publication Date: 2023-07-05
    Description: This work analyses the long-term impact of electric mobility on the energy system, and aims to support the decision making of actors in the European electricity system, which takes electric mobility into account. For this purpose the Europe-wide development of electric mobility and of the energy system are examined in an integrated way based on a model coupling. This allows to analyse the interdependencies of both developments in this model-based approach endogenously.
    Keywords: HF5001-6182 ; Elektromobilität ; Energiesystemmodell ; Energiesystemanalyse ; Ladekurven
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Publication Date: 2023-07-05
    Description: This study assesses the contribution of social software to reduce communication-based innovation barriers. Subject of the examination were global product development projects of a multinational company. By performing a social network analysis and a survey-based inquiry no evidence was found social software could reduce innovation barriers. An empirical investigation exposed a lack of functional fit and diffusion of the social software.
    Keywords: HF5001-6182 ; Social Business ; Innovation Management ; InnovationsbarriereProduct Development ; Innovation Barrier ; Produktentwicklung ; Innovationsmanagement ; Social Software
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Publication Date: 2023-07-05
    Description: This book presents two experimental studies that deal with the comparison of multi-item auction designs for two specific applications: the sale of 2.6 GHz radio spectrum rights in Europe, and the sale of emissions permits in Australia. In order to tackle the complexity of these experiments, a cognitively based toolkit is proposed, including modularized video instructions, comprehension tests, a learning platform, a graphical one-screen user interface, and comprehension-based group matching.
    Keywords: HF5001-6182 ; emissions permits ; spectrum rights ; methodology of experimental economics ; multi-item auction experiments ; video instructions
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Publication Date: 2024-03-30
    Description: This work analyses technological least-cost pathways for deep emission reductions in the European power sector. It seeks a better understanding of the role renewable energies play in the transformation process up to 2050. Therefore, a model is developed which optimises capacity expansion and hourly dispatch of both conventional and renewable power generation, transmission grids and storage facilities in all hours of the analysed years. The model is applied to four long-term scenarios.
    Keywords: HF5001-6182 ; LangfristszenarienPower system ; renewable energy ; Stromsystem ; optimisation ; Optimierung ; Klimaschutz ; Erneuerbare Energie ; long-term scenarios ; climate protection ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJC Business strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Propädeutikum Java ist ein Einführungskurs in die Programmiersprache Java für Schüler und Abiturienten, die sich auf das Studium vorbereiten möchten. Die Autoren - erfahrene Dozenten, Übungsleiter und Tutoren am Karlsruher Institut für Technologie (KIT) - ermöglichen Anfängern den Einstieg in die faszinierende Welt der Programmierung anhand einer Vielzahl einfacher und einprägsamer Beispiele, die den Einstieg in die Programmierung mit Java im Selbststudium ermöglichen.
    Keywords: HF5001-6182 ; Propädeutikum Java Programmierung Selbststudium Hochschule ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Publication Date: 2023-07-05
    Description: In the described research project, a mobile system was developed to acquire and process sensor data from indoor scenes in buildings. Aim of the project was to identify reconstruct the building structure and create a building inventory as well as to identify resource efficiency potentials. Based on the building inventory, the system calculates an optimized deconstruction project plan. The system was successfully tested in the course of the project in residential houses, offices and a hospita.
    Keywords: HF5001-6182 ; Sensorerfassung ; Gebäude ; sensor data acquisition ; buildings ; Projektplanung ; Gebäudeinventarisierung ; building inventorying ; Rückbau ; deconstruction ; project planning
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Publication Date: 2023-07-05
    Description: Die deutschen Unternehmen müssen Strategien entwickeln, die Arbeitsfähigkeit und Gesundheit ihrer älter werdenden Belegschaft bis zum Rentenalter von 67 Jahren zu erhalten bzw. zu verbessern. Dabei kommt der Arbeitszeitgestaltung eine besondere Bedeutung zu.Im Rahmen von zehn Teilprojekten in fünf Unternehmen wurden alternsgerechte Arbeitszeitmodelle (Teilzeitarbeit, Kurzpausen, alternsgerechte Schichtpläne, Langzeitkonten) untersucht beziehungsweise neu entwickelt, eingeführt und evaluiert.
    Keywords: HF5001-6182 ; Arbeitszeit ; Wahlarbeitszeit ; Schichtarbeit ; Demografischer Wandel ; Langzeitkonten
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Publication Date: 2023-07-05
    Description: Experimentel investigation of individual influencing factors on decisions in price negotiations is the central research goal of this thesis. A private negotiation and a double auction market are sequentially linked. The influence of storability of the traded good is examined in a model that includes price and trade quantity as causally linked variables. It can be shown, that preference for the market form among buyers and sellers is dependent on the storabitlity of the traded good.
    Keywords: HF5001-6182 ; Experimentelle Wirtschaftsforschung ; Double Auction ; Marktökonomie
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Publication Date: 2023-07-05
    Description: This book makes a contribution to the formulation and implementation of production cost models for the modelling of liberalized electricity markets by addressing issues associated with the level of detail in the representation of the underlying power system, the accuracy of the results and the modelling effort. To this end a production cost model was formulated and applied to estimate the short-run marginal cost of the power systems of three important European electricity markets.
    Keywords: HF5001-6182 ; production cost model ; electricity market ; electricity price ; optimization ; marginal cost
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: Providers and consumers have to deal with variants of software services, which are alternative instances of a services design, implementation, deployment, or operation. This work develops the service feature modeling language to represent software service variants and a suite of methods to select variants for development or delivery. An evaluation describes the systems implemented to make use of service feature modeling and its application to two real-world use cases.
    Keywords: HF5001-6182 ; Variabilität ; Services ; Modellierung ; CloudSoftware ; Dienstleistungen ; Variability ; Cloud ; Software ; Modeling
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Publication Date: 2023-07-05
    Description: Die vorliegende Arbeit untersucht und entwickelt Maßnahmen für den Klimaschutz und bezieht hierbei finanzielle Anreize unternehmerischen Handelns ein. Das vorgestellte Drei-Ebenen-Modell führt unter Verknüpfung beider Aspekte dazu, dass hierbei zugleich Ernährungssicherheit für alle Menschen realisiert werden kann.
    Keywords: HF5001-6182 ; Klimaschutz ; Klimawandel ; Ernährungssicherheit ; Wirtschaft ; Ernährungssicherung
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Publication Date: 2023-07-05
    Description: The ability to capture customer needs and to tailor the provided solutions accordingly, also defined as customer intimacy, has become a significant success factor in the B2B space - in particular for increasingly ""servitizing"" businesses. This book elaborates on the solution CI Analytics to assess and monitor the impact of customer intimacy strategies by leveraging business analytics and social network analysis technology. This solution thereby effectively complements existing CRM solutions.
    Keywords: HF5001-6182 ; Services ; Social Networks ; Business Analytics ; Customer Intimacy ; Strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Modern cities cannot be imagined without traffic lights controlling the road network. To handle the network's changing demands efficiently, the signal plan specification needs to be shifted from the design time to the run-time of a signal system. The generic observer/controller architecture proposed for Organic Computing facilitates this shift. A two-levelled learning mechanism optimises signal plans on-line while a distributed coordination mechanism establishes green waves in the road network.
    Keywords: HF5001-6182 ; traffic signal control ; organic computing ; two-levelled learning ; generic observer/controller architecture ; coordination ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    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 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 ...
  • 26
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: Ein nicht zur Erkenntnis gewandeltes Erfahrungswissen ist notwendigerweise ein Wissen aus Vergangenheit. Der Homo Oeconomicus, der den eigenen Vorteil und das eigene Glück verfolgt, ist das innere Bild, an dem sich das Wirtschaften noch heute allzu oft orientiert. Das bloße Für-sich-Leisten kann nicht das einzige Grundprinzip sein, aus dem künftiges Unternehmertum zu entwickeln ist. Jegliche unter dem Prinzip der Arbeitsteiligkeit geleistete Arbeit ist eine Leistung für andere.Dem Unternehmertum kommt die Initialkraft zur Weiterentwicklung der Wirtschaft zu. Der Perspektivenwechsel vom Für-sich-Leisten zum Füreinander-Leisten ist kein leeres Gedankenspiel. Die Menge alle dessen, was heute angeboten wird, haben die Produzenten für die Verbraucher produziert - nicht für sich selbst. Volkswirtschaft ist organisiertes Füreinander-Leisten. Betriebswirtschaft ist das organisierte Miteinander-Füreinander-Leisten. Wenn es geling, das betriebliche Miteinander funktional zu praktizieren, wirkt es ganz von selbst ins Bewusstsein zurück. Die Haltung des Einzelnen zur Arbeit schließt immer auch eine Haltung zum Menschen ein. Die Aufgabe des Unternehmers besteht vor allem darin, in seinen Mitarbeitern den selbstbestimmten Menschen anzusprechen. Die Kultur eines Unternehmens kann unmittelbar zur allgemeinen Kultur fruchtbar beitragen. Sehe ich den Mitarbeiter nur als Kostenfaktor oder ermögliche ich ihm mit der Bezahlung, seinen Beitrag zum Unternehmenserfolg zu leisten? Ein Unternehmen zu führen heißt in erster Linie, Bewusstsein zu führen. Die Ur-Tätigkeit des Unternehmers ist ein ständiges Aufgreifen und Verwandeln. Nur der Eros der selbst ergriffenen Aufgabe kann den Unternehmer beflügeln, etwas aufzugreifen und zu verwandeln: Unternimm dich selbst, unternimm für andere, unternimm die Zukunft.
    Keywords: HF5001-6182 ; Unternehmensgründung
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: Faster developing cycles and economic developments created many emerging economies in the 20th century. For sustainable economic growth, however, the construction and constant preservation of a profound knowledge base and technological pool is crucial. Brazil, China, India and Russia, experienced constant high economic growth rates and begun to evolve to solid economies which are challenging the established players. This book consists of a profound empirical analysis of these emerging economies.
    Keywords: HF5001-6182 ; Innovation ; Technology Competition ; Emerging Economies ; Patent Statistics ; Technological Capabilities
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Publication Date: 2023-07-05
    Description: In this work, an optimization model (MILP) for the energetic refurbishment planning of buildings is developed. It provides decision support for owner-occupiers and/or landlords. The approach considers simultaneously the selection of refurbishment measures, the operation of energy supply technologies (incl. CHP/PV), and the financing structure from an economic point of view. The evaluation scheme is based on a visualization of financial implications and factors public funds into the analysis.
    Keywords: HF5001-6182 ; Wohngebäude ; Techno-ökonomische Planung ; Energetische Modernisierung ; Residential buildings ; Vollständige Finanzplanung ; Gemischt-ganzzahlige lineare OptimierungEnergetic refurbishment ; Visualization of Financial Implications ; Mixed-integer linear programming ; Techno-economic planning
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    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 ...
  • 30
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Die Planung umweltfreundlicher Produkte und Produktionsprozesse stellt eine Herausforderung für die industrielle Produktion dar. Eine wichtige ökonomische Fragestellung besteht dabei in der Bestimmung der optimalen Emissionsminderungsstrategie, um die geforderten Emissionsminderungen mit minimalem Einsatz zum geforderten Zeitpunkt einzuhalten, ohne die eigentlichen Betriebsziele zu vernachlässigen. Ziel der Arbeit ist daher die Entwicklung von Lösungsansätzen zur Planung und Steuerung von Produktionssystemen unter Berücksichtigung mehrerer Zielgrößen.
    Keywords: HF5001-6182 ; Umweltschutz ; Optimierung ; Technikbewertung ; Produktionsplanung ; Entscheidungsunterstützung ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Publication Date: 2023-12-20
    Description: Mit der internen Implementierung von Wettbewerbsstrategien in Unternehmen befasst sich dieses Arbeitspapier. Es legt hierfür die aus einem organischen Unternehmensverständnis abgeleiteten Gliederungsbereiche von Unternehmen nach Götz W. Werner zugrunde.
    Keywords: HF5001-6182 ; Implementierung ; Strategie ; Strategieimplementierung ; Di ; Unternehmensführung ; Führung ; Unternehmensbereiche ; Unternehmensglieder ; Unternehmen ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    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 ...
  • 33
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Propädeutikum Java ist ein Einführungskurs in die Programmiersprache Java für Schüler und Abiturienten, die sich auf das Studium vorbereiten möchten. Die Autoren - erfahrene Dozenten, Übungsleiter und Tutoren am Karlsruher Institut für Technologie (KIT) - ermöglichen Anfängern den Einstieg in die faszinierende Welt der Programmierung anhand einer Vielzahl einfacher und einprägsamer Beispiele, die den Einstieg in die Programmierung mit Java im Selbststudium ermöglichen.
    Keywords: HF5001-6182 ; Propädeutikum Java Programmierung Selbststudium Hochschule ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: The present work describes a charging management with integrated charging optimization for electric vehicles that can be provided to a fleet by a fleet operator or to a group of private customers by a loading infrastructure operator. Aim of this charging optimization is the calculation of an optimized charging plan by considering the electricity price as well as hard capacity boundaries and user requirements. This charging optimization is designed and implemented within the scope of this work.
    Keywords: HF5001-6182 ; Demand Response ; Optimierung ; Elektromobilität ; Evolutionäre AlgorithmenElectromobility ; Evolutionary Algorithms ; Optimization ; Smart Grid ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Publication Date: 2023-12-20
    Description: In dieser Arbeit wird ein vollständig dezentrales Konzept zum Last- und Erzeugungsmanagement vorgestellt, mit dem sich Stromverbraucher und dezentrale Stromerzeugungsanlagen selbst organisieren können, um kurzfristig präzise Laständerungen durchzuführen. Dabei sollen nicht nur größere Stromverbraucher in Industriebetrieben, sondern auch Haushaltsgeräte (z. B. Gefrierschränke) und dezentrale Stromerzeugungsanlagen einbezogen werden.
    Keywords: HF5001-6182 ; Energieversorgung ; Regelenergie ; Last- und Erzeugungsmanagement ; Lastmanagement ; Organic Computing ; Selbstorganisation ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Publication Date: 2023-12-20
    Description: Consideration of environmental data for comparison of building variants and building products strongly relies on a suitable provision of the respective data. The various environmental issues create a large variety of different data and parameters. In this study, two approaches are developed to remedy the related problem of multi-criterion decision-making. Whereas the first approach comprises finding proxy indicators, the second deals with the aggregation of the indicators on environmental impact indices.
    Keywords: HF5001-6182 ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Publication Date: 2023-12-20
    Description: The research program Information Management and Market Engineering focuses on the analysis and the design of electronic markets. Taking a holistic view of the conceptualization and realization of solutions, the research integrates the disciplines business administration, economics, computer science, and law. Topics of interest range from the implementation, quality assurance, and advancement of electronic markets to their integration into business processes and legal frameworks.
    Keywords: HF5001-6182 ; Market Engineering ; Electronic Markets ; Information Management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Publication Date: 2023-12-20
    Description: Im unternehmerischen Handeln kommen Momente von Handeln überhaupt in gesteigerter Weise zum Ausdruck: Entscheidung und Vollzug, Selbstrechtfertigung und Verantwortung, Innovation und Kontinuität. In verschiedenen Dimensionen - etwa Autonomie, Krise, Personalität, Innovation, Gestaltwahrnehmung - erweist sich der Unternehmer als ein Virtuose autonomer riskanter Entscheidung für neue Wege. Exemplarische Skizze anhand verschiedener Unternehmerpersönlichkeiten.
    Keywords: HF5001-6182 ; Autonomie ; unternehmerisches Handeln ; Krise ; Unternehmer ; Entscheidung ; Steve Jobs ; Entrepreneurship ; Niels Stolberg ; Robert Bosch ; Richard Branson ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This Open Access book 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 ...
  • 40
    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 ...
  • 41
    Publication Date: 2023-12-20
    Description: Der Entrepreneur steht im Spannungsfeld von Selbst- und Mitsein. Zur Erfüllung seiner Aufgaben ist der Entrepreneur auf das Mitsein mit anderen verwiesen. Der Entrepreneur hat die initiatorische Kraft der Mitarbeiter zu wecken und entsprechend Möglichkeiten bereitzustellen, damit diese im Unternehmen wirksam werden können. Einen Entrepreneur allein gibt es nicht. Nur ein wirklich warmes Interesse an den Bedürfnissen und Fähigkeiten seiner Mitmenschen, in ihren wechselnden Rollen als Mitarbeiter, Kunden, Lieferanten, Schuldner oder Gläubiger, gibt ihm die Kraft das zu unternehmen, was andere nicht angehen.
    Keywords: HF5001-6182 ; Selbstführung ; Führung ; Dialog ; Zusammenarbeit ; Management ; Entrepreneur ; Unternimm-mit-anderen ; Miteinander-Füreinander-Leisten ; M ; Existenz ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the 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 ...
  • 43
    Publication Date: 2023-12-20
    Description: The focuses are on the study of risk management of natural disasters from the perspective of complex systems, using the example of Mexico. It develops the theory of an arrival process taking into account an early warning system and we use it to create appropriate actuarial models. Then, it formulates a stochastic optimization problem to find an investment strategy for the management of a fund from the perspective of a risk-averse government. The solution is given with the use of the Föllmer-Schweizer strategy.
    Keywords: HF5001-6182 ; risk reserve ; rain ; government ; arrival process ; multifractal ; stochastic optmization ; IDAF functions ; IDF curves ; warning ; actuarial science ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Publication Date: 2023-12-20
    Description: The fundamental paradigm shift from traditional value chains to agile service value networks (SVN) implies new economic and organizational challenges. This work provides an auction-based coordination mechanism that enables the allocation and pricing of service compositions in SVNs. The mechanism is multidimensional incentive compatible and implements an ex-post service level enforcement. Further extensions of the mechanism are evaluated following analytical and numerical research methods.
    Keywords: HF5001-6182 ; Game Theory ; Auction ; Service Value Network ; Service ; Web Service ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Publication Date: 2023-12-20
    Description: Als Resultat der Metallerzeugung und -verarbeitung fallen zwangsläufig eine Reihe von Abfällen an. Zur Aufbereitung und Verwertung eines Teils dieser Kuppelprodukte, hauptsächlich Stäuben und Schlämmen aus Gasreinigungen, konnte sich in den vergangenen Jahren die Verwertung in modifizierten Hochöfen etablieren. Zielsetzung des diesem Buch zugrunde liegenden Forschungsvorhabens ist es, die Wirtschaftlichkeit solcher abfallverwertenden Prozesse zu stärken, natürliche Ressourcen zu schonen und den Abfalleintrag in die Umwelt zu mindern.
    Keywords: HF5001-6182 ; Sinteranlage ; Simulation ; Optimierung ; Blending ; Nichteisenmetal ; Produktionsplanung ; Hochofen ; Multiple lineare Regression ; Eisen- und Stahlindustrie ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Publication Date: 2022-01-31
    Description: Increasing the shares of Renewable Energy Sources (RES) and Distributed Energy Resources (DER) is one of the most important levers in many countries to cope with the environmental, political, and economic challenges of future energy supply. The underlying research question of this thesis is whether Distributed Storage Systems (DSS) at the end consumer level can economically foster the integration of intermittent and non-dispatchable resources by providing demand-side flexibility.
    Keywords: HF5001-6182 ; load and price forecasting ; economic analysis ; batteries ; distributed storage systems ; demand response
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    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 ...
  • 48
    Publication Date: 2023-12-20
    Description: In der Arbeit wird ein Ansatz zur Planung und Bewertung der Weiternutzung von Prozesswärme über Betriebsgrenzen hinweg auf Basis der Pinch-Analyse entwickelt. Er besteht aus einer Minimierung der Gesamtkosten inklusive der Parameter Entfernungen und Ausfallrisiken, zusätzlich wird eine faire Aufteilung der Einsparungen diskutiert. Die Methodik wird auf ein Fallbeispiel angewendet, daneben werden die allgemeinen Rahmenbedingungen und Hemmnisse der außerbetrieblichen Abwärmenutzung untersucht.
    Keywords: HF5001-6182 ; Pinch-Analyse ; Prozessintegration ; Eco-Industrial Park ; Abwärmenutzung ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Finite fossil resources require the exploitation of alternative energy sources like photovoltaics. A methodology for the economic potential assessment of photovoltaic installations on buildings including building facades has been developed. It is based on detailed irradiation simulations and a combination of geographically referenced and statistical data and has been applied to the German building stock for 2015. A prognosis for the potential development until 2050 is given.
    Keywords: HF5001-6182 ; Potenzial ; Renewable Energies ; Economic ; Gebäude ; Buildings ; Erneuerbare Energien ; Photovoltaik ; Potential ; Wirtschaftlichkeit ; Photovoltaics ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    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 ...
  • 51
    Publication Date: 2023-12-20
    Description: Wissen zeichnet sich zunehmend als entscheidender Produktionsfaktor ab und bildet die Basis für Entwicklungen wissensbasierter Technologien. Diese Untersuchung analysiert am Beispiel der PEM-Brennstoffzellentechnologie diesen Innovationsprozess und bedient sich dazu der Heuristik des Innovationssystems. Gleichzeitig wird ein detailiertes Bild der PEM-Technologie als Teil der Elektromobilität gezeichnet.
    Keywords: HF5001-6182 ; Wissensbasierte Technologie ; Brennstoffzelle ; Elektromobilität ; Innovationsprozess ; PEM-Technologie ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Publication Date: 2023-07-05
    Description: Today's globalised society highly depends on reliable infrastructure systems like transportation and telecommunication. This doctoral dissertation presents a methodology to identify critical road infrastructures. Critical road sections are those whose failure would entail large costs to society. The dissertation also accounts for aspects like multiple road disruptions and probabilities of failure. Baden-Wuerttemberg in Germany serves as a case study area.
    Keywords: HF5001-6182 ; Critical Infrastructure ; Economic Loss ; Discrete Choice Theory ; Risk ; Transport Modelling
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: The work analyses different forms and effects of higher education funding. In the beginning, the determinants of higher education spending by the German federal states are studied. Then the thesis focuses on the recent introduction of tuition fees at public universities in Germany to identify the effects of tuition fees on the enrollment decision of first year students. In addition, the impact of tuition fees is compared with the effect of administrative fees.
    Keywords: HF5001-6182 ; Studienentscheidung ; Higher education funding ; Fiskalischer Wettbewerb ; Fiscal competition ; Studienbeiträge ; Hochschulfinanzierung ; Tuition fees ; Enrollment decision ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    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 ...
  • 55
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Die Mehrwertsteuer (Umsatzsteuer) ist die Steuer mit dem größten Steueraufkommen. Für sie gibt es noch keinen Steuerfreibetrag. Ein ""Mehrwertsteuerfreibetrag"" ließe sich auf dem Wege einer ""Negativen Mehrwertsteuer"" realisieren. Diese orientiert sich an dem Konzept der ""Negativen Einkommensteuer"", das Milton Friedman 1962 vorgestellt hat. Die Kosten für die Einführung einer solchen ""Negativsteuer"" belaufen sich auf zehn bis 20 Mrd. Euro p. a. Sie trägt zu einer Stabilisierung der Konjunktur bei.
    Keywords: HF5001-6182 ; Arbeitsteilung ; Produktivität ; Mehrwertsteuerfreibetrag ; Grundeinkommen ; Negativsteuer ; Negative Mehrwertsteuer ; Fortschritt ; Negative Einkommensteuer ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    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 ...
  • 57
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: Da Deutschland über wenig Primärrohstoffe zur Metallherstellung verfügt, kommt der operativen Produktionsplanung von Recyclingprozessen eine besondere Bedeutung zu. Solche Prozesse sind aufgrund ihrer chemischen und thermodynamischen Vorgänge durch eine hohe Komplexität und nichtlineare Zusammenhänge gekennzeichnet. Diese Arbeit zeigt eine Möglichkeit zur Maximierung des Deckungsbeitrages solcher Prozesse durch Partikel-Schwarm Optimierung und gekoppelte Fließschemasimulation auf.
    Keywords: HF5001-6182 ; operative Produktionsplanung ; Partikel-Schwarm Optimierung ; metallurgische Prozesse ; Dissertation ; Fließschemasimulation ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Publication Date: 2023-12-20
    Description: Auf den meisten Wertpapiermärkten stehen Investoren Limit und Market Orders zur Verfügung. Mit der Wahl eines Ordertyps entscheidet ein Investor, ob er das Risiko einer Nichtausführung eingeht oder ob er eine zuverlässige Ausführung wünscht und hierfür implizit eine erhöhte Liquiditätsprämie entrichtet. Somit besteht ein Zielkonflikt zwischen Nichtausführungsrisiko und Liquiditätsprämie.In der vorliegenden Arbeit werden zwei innovative Ordertypen gestaltet und analysiert, die zu einem Ausgleich in diesem Zielkonflikt führen. Das Design dieser Ordertypen erfolgt unter Rückgriff auf aktuelle Entwicklungen sowie den state-of-the-art im elektronischen Wertpapierhandel.
    Keywords: HF5001-6182 ; Spread ; Computerbörse ; Simulation ; Mikrostrukturtheorie ; Wertpapierhandel ; Marktmodell ; Handelssystem ; Marktstruktur ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Publication Date: 2023-12-20
    Description: With the advent of digital convergence, incumbent telephone and cable companies have begun to offer their services, such as voice telephony, Internet and TV in so-called triple play packages. While carefully recognizing the technological, legal and economic framework of the fixed-line telecommunications industry, this book investigates whether bundling is indeed a profitable pricing strategy for the firms and if it can possibly facilitate the leverage of market power into neighboring markets.
    Keywords: HF5001-6182 ; Bundling ; Game-Theory ; Market Power ; Digital Convergence ; Telecommunications ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: This book presents a process-oriented business modeling framework based on semantic technologies. The framework consists of modeling languages, methods, and tools that allow for semantic modeling of business motivation, business policies and rules, and business processes. Quality of the proposed modeling framework is evaluated based on the modeling content of SAP Solution Composer and several real-world business scenarios.
    Keywords: HF5001-6182 ; Business Modeling ; Enterprise Modeling ; Business Process ; Semantic technologies ; BPM
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    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 ...
  • 62
    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 ...
  • 63
    Publication Date: 2023-12-20
    Description: The complexity of today's industrial production networks constitutes a new challenge for industrial risk and safety management. In order to handle potential risks to and emanating from industry and their respective impact on mankind as well as the environment, an integrated approach to industrial risk management is needed, since complex decision situations need to be resolved requiring input from diverse scientific disciplines and the consideration of various often conflicting criteria. Providing the basis for the evaluation of such conflicting criteria and for bringing together existing knowledge from different disciplines, approaches from Multi-Criteria Decision Analysis (MCDA) can be very helpful to resolve the complexity of the occurring decision situations. In order to address the various types of uncertainty, which may arise in a decision making process in industrial risk management, a framework for uncertainty handling is proposed. On the basis of a structured uncertainty classification, methods based on Monte Carlo simulation can be used for a consistent modelling, propagation and visualisation of the different types of uncertainty. Special focus is put on approaches that allow to explicitly illustrate the spread, i.e. the ranges in which the Multi-Attribute Decision Making (MADM) results can vary in consequence of the uncertainties.
    Keywords: HF5001-6182 ; Entscheidung bei Unsicherheit ; Multikriterielle Entscheidungsfindung ; Technikbewertung ; Industrielles Risikomanagement ; Entscheidungsunterstützung ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Publication Date: 2023-12-20
    Description: Industrielle Produktions- und Verbrennungsprozesse stellen nach wie vor wesentliche Emissionsquellen für Luftschadstoffe und Treibhausgase dar. In der vorliegenden Arbeit wird daher ein Ansatz zur modellgestützten Analyse umweltpolitischer Instrumente hinsichtlich ihrer Auswirkungen auf sozio-ökonomische und ökologische Kenngrößen im Bereich der industriellen Produktion entwickelt und angewandt. Dazu wird ein dynamisches Input-Output-Modell mit einem akteursbasierten Ansatz gekoppelt.
    Keywords: HF5001-6182 ; Luftreinhaltung ; Klimawandel ; Systemmodellierung ; Umweltökonomie ; Input-Output-Modell ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Publication Date: 2023-12-20
    Description: The Social Cloud framework leverages existing relationships between members of a social network for the exchange of resources. This thesis focuses on the design of coordination mechanisms to address two challenges in this scenario. In the first part, user participation incentives are studied. In the second part, heuristics for two-sided matching-based resource allocation are designed and evaluated.
    Keywords: HF5001-6182 ; Social Clouds ; Incentive EngineeringTwo-Sided Matching ; Two-Sided Matching ; Incentive Engineering ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: English
    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' 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 ...
  • 67
    Publication Date: 2023-07-05
    Description: Ziel der vorliegenden Arbeit ist es, aus technischer sowie ökonomischer Sicht vielversprechende verfahrenstechnische Konfigurationen eines Biomass-to-Liquid (BtL) Konzepts zur Herstellung von Kraftstoffen und Chemikalien aus Biomasse zu identifizieren und zu bewerten. Am Beispiel des bioliq-Verfahrens wird ein techno-ökonomisches Bewertungsmodell entwickelt, das verfahrenstechnische Auslegungsparameter direkt mit ihren wirtschaftlichen Auswirkungen verknüpft.
    Keywords: HF5001-6182 ; synthetische Kraftstoffe und Chemikalien ; Prozesssimulation ; Biomasse ; Wirtschaftlichkeitsbewertung
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    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 ...
  • 69
    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 ...
  • 70
    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 ...
  • 71
    Publication Date: 2023-12-20
    Description: The profitability of power plant investments depends strongly on uncertain fuel and carbon prices. In this doctoral thesis, we combine fundamental electricity market models with stochastic dynamic programming to evaluate power plant investments under uncertainty. The application of interpolation-based stochastic dynamic programming and approximate dynamic programming allows us to consider a greater variety of stochastic fuel and carbon price scenarios compared to other approaches.
    Keywords: HF5001-6182 ; Real Options ; Dynamic Programming ; Fundamental Electricity Market Models ; Power Plant Investment Planning ; Approximate Dynamic Programming ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: We explore how Virtual Research Environments based on Semantic Web technologies support research interactions with RDF data in various stages of corpus-based analysis, analyze the Web of Data in terms of human readability, derive labels from variables in SPARQL queries, apply Natural Language Generation to improve user interfaces to the Web of Data by verbalizing SPARQL queries and RDF graphs, and present a method to automatically induce RDF graph verbalization templates via distant supervision.
    Keywords: HF5001-6182 ; Semantic Web Textgenerierung Benutzerschnittstelle Virtuelle ForschungsumgebungNaturl Language Processing Natural Language Generation Semantic Web User Interface Virtual Research Environment ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    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 ...
  • 74
    Publication Date: 2023-12-20
    Description: Im Rahmen des Beteiligungsausstiegs bestimmt der gewählte Exitkanal den monetären Nutzen, gegeben durch den Veräußerungserlös, sowie auch den nicht-monetären Nutzen des Entrepreneurs. Dieser entsteht in Form einer implizit oder explizit resultierenden Unternehmenskontrolle und entspricht dem Wert, den der Entrepreneur seiner führenden Position im eigenen Unternehmen beimisst. Die Private Benefits bestimmen folglich die Wahl des Exitkanals und somit die vertragliche Allokation der Exitrechte.
    Keywords: HF5001-6182 ; Exitrechte ; Trade Sale ; Exitkanal ; IPO ; Venture Capital ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Publication Date: 2023-12-20
    Keywords: HF5001-6182 ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Publication Date: 2023-12-20
    Description: International cooperation on greenhouse gas emission reductions is needed to avoid dangerous climate change. This work analyses the stability of global cooperation on climate change using cooperative game theory. Numerical and theoretical models are applied to evaluate the impact of several real-world properties. It is shown that the introduction of these properties into the game-theoretical model substantially affects the results and can make global climate cooperation unstable.
    Keywords: HF5001-6182 ; Kooperation ; Internationale ökonomische Effekte ; Klimawandel ; Stabilität ; international economic effects ; game theory ; Spieltheorie ; stability ; climate change ; cooperation ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    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 ...
  • 78
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: The Grid provides access to distributed computational capabilities such as processors or storage space. One of the key problems is deciding which jobs are to be allocated to which resources at what time. In this context, the use of market mechanisms is a promising approach to solve these problems. This book proposes an auction mechanism for allocating computer resources which have multiple quality attributes and time constraints.The auction is evaluated by means of a numerical simulation.
    Keywords: HF5001-6182 ; Market-Engineering ; Scheduling ; Ressourcenallokation ; Auktion ; Grid Computing
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Publication Date: 2023-07-05
    Description: This book tackles the different aspects of the creation and transmission of knowledge in the context of the characteristics of a general purpose technology. Nanotechnology is investigated as showcase example. Particular emphasis is put on the role of the composition of knowledge as well as the corresponding knowledge spillovers on the one hand and on the concrete impact of collaboration and knowledge sharing in innovator networks on the other hand.
    Keywords: HF5001-6182 ; Networks ; Innovation ; General Purpose Technology ; Knowledge ; Nanotechnology.
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    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 ...
  • 81
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: Owners impose usage restrictions on their information, which can be based e.g. on privacy laws, copyright law or social conventions. Often, information is processed in complex constellations without central control. In this work, we introduce technologies to formally express usage restrictions in a machine-interpretable way as so-called policies that enable the creation of decentralised systems that provide, consume and process distributed information in compliance with their usage restrictions.
    Keywords: HF5001-6182 ; Usage Policies ; Linked Data ; Distributed Information
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Publication Date: 2023-07-05
    Description: Strommärkte zeichnen sich durch eine sehr komplexe Strompreischarakteristik aus, die besondere Anforderungen an das Risikomanagement von Energiekonzernen stellt. Die vorliegende Arbeit beschäftigt sich mit der Preismodellierung sowie Derivatebewertung im Strommarkt. Kernpunkte sind dabei die Beschreibung und Schätzung von Preissprüngen, eine einheitliche Kalibrierung an Spot- und Derivatemärkten sowie die Auswirkungen des Emissionszertifikatehandels auf die Strompreischarakteristik.
    Keywords: HF5001-6182 ; Strommarkt ; Risikomanagement ; Preismodellierung ; Strompreis ; Derivatebewertung
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    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 ...
  • 84
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-07-05
    Description: In this work the Energy Management Panel is presented, which is a comprehensive application for the interaction between the user and the Building Energy Management. The Building Manager extends a specific Building Energy Management System to integrate user interaction. The result of coupling these two components is the Interactive Building Energy Management, which combines three essential elements: Visualization, Parameterization and System Configuration.
    Keywords: HF5001-6182 ; Interaktives Gebäude-Energiemanagement Gebäude-Energiemanagement Organic Smart Home Smart Grid Energy Management PanelInteractive Building Energy Management Building Energy Management Organic Smart Home Smart Grid Energy Management Panel
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Publication Date: 2023-12-20
    Description: The aging society and threatening old-age poverty are two major political topics in Germany for the next decades. Many modern employment biographies consist of atypical employment and discontinuities; both negatively impact the pension entitlements of the individuals. This work develops an inninnovative approach that offers flexibility to absorb demographic changes as well as labor market developments, without threatening the financial stability of the public pension scheme.
    Keywords: HF5001-6182 ; demographischer Wandel ; Frühverrentung ; Deutsche Rentenversicherung ; Arbeitsanreize ; work incentives ; German Pension Scheme ; demographic change ; Early retirement ; Rentenalter ; retirement age ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    facet.materialart.
    Unknown
    KIT Scientific Publishing
    Publication Date: 2023-12-20
    Description: In this work a model is engineered to depict topic relationships as graphs between detected topics of different time windows. By varying and shifting the time span of consideration the relationships between topics can be mapped with a variable complexity including the topic frequencies. Topic life cycles as well as changes in thematic relationships and their evolution become perceptible. Topics found can be matched in structure as well as their temporal progression to existing events.
    Keywords: HF5001-6182 ; Themen-Frequenz ; document streams ; Themen-Graphen ; Dokumentenstrom ; topic-graph ; text mining ; Text Mining ; topic-frequency ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Publication Date: 2023-12-20
    Description: The central elements of this work are the design of an electricity tariff with variable capacity prices accepted by residential customers and the question how this tariff affects demand flexibility. Therefore, a corresponding tariff concept is developed. Based on an empirical study its acceptance and specific design is analyzed. The impact of different electricity tariffs on demand flexibility is analyzed with a developed bottom-up model for residential load profiles.
    Keywords: HF5001-6182 ; Variable energy and capacity prices ; Bottom-up Haushaltslastprofile ; Empirical study ; NachfrageflexibilitätResidential bottom-up load profiles ; Tariff acceptance and design ; Demand flexibility ; Variable Arbeits- und Leistungspreise ; Empirische Studie ; Tarifakzeptanz und -ausgestaltung ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Publication Date: 2023-07-05
    Description: Companies with high-performing supply chains enjoy essential competitive ad- vantages. However, supply chain management faces an environment of rising risk that endangers these competitive advantages. One of the reasons is to outsource parts of their business. This bears the risk of significantly increased lead times and lead time variability. It is the impact of lead time variability on inventory management that is the central aspect of this book. It describes a mathematical model for dual sourcing with two reorder points, shows the deviation between stochastic and deterministic calculations in a sensitivity analysis, and investigates different relaxations of a traditional dual-sourcing policy.
    Keywords: HF5001-6182 ; supply chain management ; replenishment policy ; logistics ; dual sourcing ; inventory management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Publication Date: 2023-07-05
    Description: The development of efficient air freight networks is an upcoming challenge. The present book approaches this problem for cargo airlines by characterising and classifying their network structures and by developing a model for an airline's strategic network design. The book provides results which are of value for airline professionals (network efficiency analysis), policy makers (policy impact assessment) and researchers (cargo airline network design model).
    Keywords: HF5001-6182 ; optimization ; air freight ; hub location problem ; network analysis ; airline management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Publication Date: 2023-12-20
    Description: Existing business modeling languages (or their extensions) have time, identity and activity related contexts (or objects) for modeling business processes. In order to support a Context Aware Service, location awareness is needed to enable the application or process to control the related workflows. For the integration of location constraints into workflow models, a concept based on restrictions is being developed in the present work.
    Keywords: HF5001-6182 ; mobil ; workflow ; business process ; location constraints ; Ortsbezüge ; mobile ; Workflow ; context awareness ; Kontextinformationen ; Geschäftsprozess ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    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 ...
  • 92
    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 ...
  • 93
    Publication Date: 2023-12-20
    Description: Interactions between people are ubiquitous. When people make phone calls, transfer money, connect on social network sites, or visit each other, these actions can be collected as dyadic, directed, relational events. Each of those events can be understood as driven by multiple individual decisions that at least partially involve rational considerations. This book aims at developing models that allow to understand individual event decisions in the context of large social networks.
    Keywords: HF5001-6182 ; Stochastic Actor-oriented Framework Dynamic Event Processes Social Networks ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    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 ...
  • 95
    Publication Date: 2023-12-20
    Description: Die Controllinginhalte und -instrumente von Wohnungsunternehmen stehen durch verschärfte Tranparenzanforderungen des Kapitalmarkts, durch die verstärkte Orientierung an nachhaltigen Wertentwicklungen sowie durch die Einflüsse der internationalen Rechnungslegung vor einem Anpassungs- und Erweiterungsbedarf. In der vorliegenden Arbeit eine Methodik entwickelt, die Wertentwicklungen im Anlagevermögen messbar und planbar zu machen. Die Methodik ist bereits im Einsatz und grundsätzlich übetragbar.
    Keywords: HF5001-6182 ; Wertermittlung Controlling Wohnungsunternehmen IFRS ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Publication Date: 2023-12-20
    Description: In Form einer souveränen und originellen Gesamtschau vereinigt dieser Band die wichtigsten Texte des Steuerberaters und Wirtschaftsprüfers Dr. Benediktus Hardorp zu zentralen Wirtschaftsthemen wie Preis, Einkommen, Steuer, Unternehmensverständnis, Lebensorientierung durch Buchführung, Goethe und das Geld, Arbeit und Kapital, Eigenkapital und Bilanzierung, Rentensicherheit und soziales Hauptgesetz, bedingungsloses Grundeinkommen und Konsumsteuer sowie Unternehmenswert und Eigentumsverfassung.
    Keywords: HF5001-6182 ; Arbeit ; Buchführung ; Kapital ; Grundeinkommen ; Konsumsteuer ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Publication Date: 2023-12-20
    Description: This book successfully illustrates the modeling of electricity prices with the help of stochastic processes. The relatively new phenomenon of negative prices is also integrated into the models. The integration of feed-in from wind power plants in energy models is also very innovative. This approach helps to simulate electricity prices in order to take into account the ""merit-order effect of renewable energy"". Finally, the models are used for the techno-economic evaluation of energy storages.
    Keywords: HF5001-6182 ; wind power ; energy storage ; economic modeling ; electricity prices ; Uncertainties in energy economics ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Publication Date: 2023-12-20
    Description: The development of a holistic and integrated project management and planning system is crucial to avoid deviations from the plan and to consider uncertainties in the planning stage of nuclear dismantling projects. Therefore, in the research project MogaMaR characteristics of such projects as well as shortcomings in the current project management were identified. On the basis of these findings, a holistic project management system for nuclear dismantling projects was developed.
    Keywords: HF5001-6182 ; Schlussbericht ; Dismantling of nuclear facilities ; Planung Rückbau ; Final report ; Projektmanagementsystem ; Rückbau kerntechnischer Anlagen ; Project management ; Project management system ; Projektmanagement ; Planning of deconstruction ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJC Business strategy
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    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 ...
  • 100
    Publication Date: 2023-07-05
    Description: Die vorliegende Arbeit beschäftigt sich mir den theoretischen Weiterentwicklungspotenzialen der qualitativen Risikobewertung von Immobilien vor dem Hintergrund einer sich verändernden Umwelt oder anders ausgedrückt, mit der Integration von Nachhaltigkeitsaspekten in die qualitative Immobilienrisikobewertung. Über eine inhaltliche Weiterentwicklung hinaus werden konzeptionelle Weiterentwicklungsvorschläge hinsichtlich einer Regionalisierung und Dynamisierung der Risikobewertung aufgezeigt.
    Keywords: HF5001-6182 ; Risikomanagement ; Nachhaltigkeit ; Immobilienwirtschaft ; Megatrends ; Wohnungswirtschaft
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...