Nicht ermittelbar
Refine
Year of publication
Document Type
- Article (113)
- Monograph/Edited Volume (94)
- Part of a Book (42)
- Conference Proceeding (29)
- Doctoral Thesis (9)
- Review (7)
- Working Paper (4)
- Report (3)
- Other (2)
- Postprint (2)
Language
- English (305) (remove)
Keywords
Institute
- Fachgruppe Betriebswirtschaftslehre (50)
- Institut für Mathematik (47)
- Institut für Informatik und Computational Science (23)
- Hasso-Plattner-Institut für Digital Engineering GmbH (22)
- Institut für Anglistik und Amerikanistik (18)
- Wirtschaftswissenschaften (16)
- Öffentliches Recht (16)
- Fachgruppe Politik- & Verwaltungswissenschaft (13)
- Institut für Physik und Astronomie (12)
- Department Musik und Kunst (11)
This paper consists of two parts: In the first part, some of the challenges with which the Internationaal Criminal Court is currently confronted are being presented. First of all, the article will describe the current state of the International Criminal Court and the Rome Statue. Afterwards, the article analyses the Court’s efforts to deal with cases against third-country nationals and the challenges it is facing in that regard. In addition, the Court’s case law will be analyzed in order to determine an increasing ‘emancipation’ of the case law of the International Criminal Court from international humanitarian law. The second part of the paper will briefly discuss the role of domestic international criminal law and domestic courts in the further development and enforcement of international criminal law. As an example of the role that domestic courts may have in clarifying classic issues in international law, the judgment of the German Supreme Court of January 28, 2021 (3 StR 564/19), which deals with the status of costumary international law on functional immunity of State officials before domestic courts, shall be assessed.
As part of the current overall process of de-formalization in international law States increasingly chose informal, non-legally binding agreements or ‘Memoranda of Understanding’ (‘MOUs') to organize their international affairs. The increasing conclusion of such legally non-binding instruments in addition to their flexibility, however, also leads to uncertainties in international relations. Against this background, this article deals with possible indirect legal consequences produced by MOUs. It discusses the different legal mechanisms and avenues that may give rise to secondary legal effects of MOUs through a process of interaction with and interpretation in line with other (formal) sources of international law. The article further considers various strategies how to avoid such eventual possible unintended or unexpected indirect legal effects of MOUs when drafting such instruments and when dealing with them subsequent to their respective ‘adoption’.
Article 15ter Exercise of jurisdiction over the crime of aggression (Security Council referral)
(2022)
Would the world be a better place if one were to adopt a European approach to state immunity?
(2021)
This chapter argues not only that there is no European Sonderweg (or ‘special way’) when it comes to the law of state immunity but that there ought not to be one. Debates within The Hague Conference on Private International Law in the late 1990s and those leading to the adoption of the 2002 UN Convention on Jurisdictional Immunities of States, as well as the development of the EU Brussels Regulation on Jurisdiction and Enforcement, as amended in 2015, all demonstrate that state immunity was not meant to be limited by such treaties but ‘safeguarded’. Likewise, there is no proof that regional European customary law limits state immunity when it comes to ius cogens violations, as Italy and (partly) Greece are the only European states denying state immunity in such cases while the European Court of Human Rights has, time and again, upheld a broad concept of state immunity. It therefore seems unlikely that in the foreseeable future a specific European customary law norm on state immunity will develop, especially given the lack of participation in such practice by those states most concerned by the matter, including Germany. This chapter considers the possible legal implications of the jurisprudence of the Italian Constitutional Court for European military operations (if such operations went beyond peacekeeping). These implications would mainly depend on the question of attribution: if one where to assume that acts undertaken within the framework of military operations led by the EU were to be, at least also, attributable to the troop-contributing member states, the respective troop-contributing state would be entitled to enjoy state immunity exactly to the same degree as in any kind of unilateral military operations. Additionally, some possible perspectives beyond Sentenza 238/2014 are examined, in particular concerning the redress awarded by domestic courts ‘as long as’ neither the German nor the international system grant equivalent protection to the victims of serious violations of international humanitarian law committed during World War II. In the author’s opinion, strengthening the jurisdiction of international courts and tribunals, bringing interstate cases for damages before the International Court of Justice, as well as providing for claims commissions where individual compensation might be sought for violations of international humanitarian law would be more useful and appropriate mechanisms than denying state immunity.
Article 15bis. Exercise of jurisdiction over the crime of aggression (State referral, proprio motu)
(2022)
How do social changes, new technologies or new management trends affect communication work? A team of researchers at Leipzig University and the University of Potsdam (Germany) observed new developments in related disciplines. As a result, the five most important trends for corporate communications are identified annually and published in the Communications Trend Radar. Thus, Communications managers can identify challenges and opportunities at an early stage, take a position, address issues and make decisions. For 2023, the Communications Trend Radar identifies five key trends for corporate communications: State Revival, Scarcity Management, Unimagination, Parallel Worlds, Augemented Workflows.
In this chapter, we conduct bibliometric performance analyses and a co-citation analysis on all articles relating to family firms indexed in Scopus and Web of Science and all articles published in the Family Business Review, Journal of Family Business Management, and the Journal of Family Business Strategy. Based on the literature sample of 4,056 articles published between 1960 and 2020 by 3,600 authors in 783 journals and their 175,163 references, we identify the most productive and most cited journals, the most cited authors, and the 25 most cited articles. Our science mapping reveals the agency theory, definitions, entrepreneurship, internationalization, ownership, resources, socioemotional wealth, and succession as the predominant research themes in family firm research. Whereas entrepreneurship explicitly appears in one of the clusters, innovation does not yet. Based on our findings, we propose a research framework and point to several research gaps to be addressed by future research.
Tieken-Boon van Ostade, I. (Hrsg.), Two Hundred Years of Lindley Murray; Münster, Nodus, 1996
(1998)
In the last decade, there has been an increasing interest in compensating thermally induced errors to improve the manufacturing accuracy of modular tool systems. These modular tool systems are interfaces between spindle and workpiece and consist of several complicatedly formed parts. Their thermal behavior is dominated by nonlinearities, delay and hysteresis effects even in tools with simpler geometry and it is difficult to describe it theoretically. Due to the dominant nonlinear nature of this behavior the so far used linear regression between the temperatures and the displacements is insufficient. Therefore, in this study we test the hypothesis whether we can reliably predict such thermal displacements via nonlinear temperature-displacement regression functions. These functions are estimated firstly from learning measurements using the alternating conditional expectation (ACE) algorithm and then tested on independent data sets. First, we analyze data that were generated by a finite element spindle model. We find that our approach is a powerful tool to describe the relation between temperatures and displacements for simulated data. Next, we analyze the temperature-displacement relationship in a silent real experimental setup, where the tool system is thermally forced. Again, the ACE-algorithm is powerful to estimate the deformation with high precision. The corresponding errors obtained by using the nonlinear regression approach are 10-fold lower in comparison to multiple linear regression analysis. Finally, we investigate the thermal behavior of a modular tool system in a working milling machine and get again promising results. The thermally induced errors can be estimated with 1-2${mu m}$ accuracy using this nonlinear regression analysis. Therefore, this approach seems to be very useful for the development of new modular tool systems.
This chapter consists of three parts. In the first part, I will give a short overview about the integration of the protection of the environment into German constitutional law. This section will start with the presentation of the relevant provision, Art. 20a BL. Then, I will elaborate on its legal character. In the second part, I will make some brief remarks on the practical implications of Art. 20a BL. Finally, I will present some preliminary conclusions.
Voided space-charge electrets : piezoelectric transducer materials for electro-acoustic applications
(2004)
Decubitus is one of the most relevant diseases in nursing and the most expensive to treat. It is caused by sustained pressure on tissue, so it particularly affects bed-bound patients. This work lays a foundation for pressure mattress-based decubitus prophylaxis by implementing a solution to the single-frame 2D Human Pose Estimation problem.
For this, methods of Deep Learning are employed. Two approaches are examined, a coarse-to-fine Convolutional Neural Network for direct regression of joint coordinates and a U-Net for the derivation of probability distribution heatmaps.
We conclude that training our models on a combined dataset of the publicly available Bodies at Rest and SLP data yields the best results. Furthermore, various preprocessing techniques are investigated, and a hyperparameter optimization is performed to discover an improved model architecture.
Another finding indicates that the heatmap-based approach outperforms direct regression.
This model achieves a mean per-joint position error of 9.11 cm for the Bodies at Rest data and 7.43 cm for the SLP data.
We find that it generalizes well on data from mattresses other than those seen during training but has difficulties detecting the arms correctly.
Additionally, we give a brief overview of the medical data annotation tool annoto we developed in the bachelor project and furthermore conclude that the Scrum framework and agile practices enhanced our development workflow.
Our aim was to assess the psychosocial well-being of asthmatic children and adolescents, the influencing factors, and to determine the effect of inpatient rehabilitation on their quality of life; 226 asthmatic children and adolescents participated in the inpatient rehabilitation (IG). The comparison group (CG) included 92 asthmatic children and adolescents receiving standard medical treatments. Patients were aged between 8 and 16 years and were predominantly male. The health-related quality of life was measured with the German version of the "Paediatric Asthma Quality of Life Questionnaire." Interviews were carried out for IG 2 weeks before the commencement of their inpatient stay and 1 year after their stay ended. The same time schedule was carried out for CG. All patients reported a mild to moderate impairment of their quality of life. Girls described a slightly lower quality of life than boys. With increasing asthma severity, quality of life decreased. Inpatients described a lower quality of life than CG at enrollment. Inpatient rehabilitation resulted in a greater improvement of quality of life over time for IG than for CG. Gender and severity status had no effect on this time course. The only modestly affected quality of life may reflect the good adaptation to the disease and medical treatment. Children and adolescents in the IG recorded improvements in their quality of life. Differences in quality of life based on gender and disease severity were not shown to influence the improvements. In summary, inpatient rehabilitation results in an improvement of health-related quality of life. Further research concerning the psychosocial situation of children and adolescents in this setting is needed
Settlement on suitable substrata under favourable environmental conditions is an important factor for a successful recruitment of adult populations of Dreissena polymorpha. Therefore, the pattern of settlement of zebra mussel (Dreissena polymorpha) larvae at different depths was studied in Lake Constance. Maximum densities of larvae and newly settled juvenile mussels were observed at 4m depth, while only single settlement episodes were recorded at greater depths (15 m and 30 m). Temperature fluctuation was used as a surrogate parameter for internal seiches. Biotic and abiotic parameters were subjected to a principal component analysis (PCA). The tight coupling of the internal seiches, larval abundance and settlement at 4-m depth vs. the lack of coupling of the latter two variables at greater depths indicated that water currents transported settling larvae to the substrata at greater depth. Our data suggest that physical factors, such as boundary mixing and internal seiches, should be considered as sources of variability in settlement.
The management of knowledge in organizations considers both established long-term
processes and cooperation in agile project teams. Since knowledge can be both tacit and explicit, its transfer from the individual to the organizational knowledge base poses a challenge in organizations. This challenge increases when the fluctuation of knowledge carriers is exceptionally high. Especially in large projects in which external consultants are involved, there is a risk that critical, company-relevant knowledge generated in the project will leave the company with the external knowledge carrier and thus be lost. In this paper, we show the advantages of an early warning system for knowledge management to avoid this loss. In particular, the potential of visual analytics in the context of knowledge management systems is presented and discussed. We present a project for the development of a business-critical software system and discuss the first implementations and results.
Social institutions
(2024)
Social institutions are a system of behavioral and relationship patterns that are densely interwoven and enduring and function across an entire society. They order and structure the behavior of individuals in core areas of society and thus have a strong impact on the quality of life of individuals. Institutions regulate the following: (a) family and relationship networks carry out social reproduction and socialization; (b) institutions in the realm of education and training ensure the transmission and cultivation of knowledge, abilities, and specialized skills; (c) institutions in the labor market and economy provide for the production and distribution of goods and services; (d) institutions in the realm of law, governance, and politics provide for the maintenance of the social order; (e) while cultural, media, and religious institutions further the development of contexts of meaning, value orientations, and symbolic codes.
For the last 20 years, enterprise architecture management (EAM) was primarily an instrument for harmonizing and consolidating IT landscapes and is lived as a transformation and governance discipline. It, however, is rather related to IT strategy than aligned to the actual corporate strategy and the work of the enterprise architect is characterized by tasks like prescribing, monitoring, documenting, and controlling. As digital transformation continues apace, companies are facing new challenges that lead to a volatile, uncertain, complex, and ambiguous (VUCA) world. To face these challenges, vision, understanding, clarity and agility allow to anticipative and implement necessary changes. This, of course, has implications for the role of the enterprise architect. S/he needs to start actively supporting innovation and taking more of an advisory role instead of just being driven by the current state of the enterprise architecture. This paper investigates the role of the enterprise architect in the VUCA world. Based on current literature and expert interviews, a survey was conducted among consultants who work as (or with) enterprise architects. Survey results include the evaluation of statements on current tasks of enterprise architects, their influence on projects and companies as well as future requirements on the roles of the enterprise architect. The results from the survey were synthesized with the findings from literature to derive the roles, tasks and skills of enterprise architect in the VUCA world.
This article provides a survey of the research carried out by Celtic scholars in Germany during the 15 years between 1980 and 1995. It is based on the respective bibliography published in 'Studia Celtica Japonica' 9 (1997). The major research fields covered are IE Studies, Celtic philology, linguistics, literature, archaeology and cultural studies.
At the suggestion of the then editor of 'Studia Celtica Japonica,' Professor Toshio Doi, this bibliography lists the returns of a questionnaire sent to all scholars in Germany who were actively involved in Celtic Studies between 1980 and 1995. They were asked to list all their publications in the field of Celtic Studies, so as to allow to carry out a survey of their research activities during this period. While most scholars kindly obliged by returning their lists, there were notable exceptions who never answered the query. Regretably, the present bibliography therefore contains important gaps, which, however, may be quite telling as far as the research situation in Germany was concerned during that period.
The great Old English epic 'Beowulf' has been dated to practically every century between the 6th and the 11th century, depending on the criteria of dating adopted and the approaches advocated by the respective scholars. As the text successfully avoids to provide definite cues or evidence for a definitive date, these scholarly attempts reveal more about the respective scholars' research interests than offering uncontroversial dates. The point of dating 'Beowulf' then seems to provide scholars with the opportunity to anchor their own personal understanding of the poem within the century of their own personal predilection.
DO in Contact?
(1997)
Periphrastic English constructions involving the verbs BE/HAVE + a nominalised verb form expressing [+imperfectivity] and [+perfectivity] have close analogues in the Insular Celtic languages, where Celtic analogues of the English verb BE + a prepositional construction marker + Verbal Noun are used. The two constructions in English and teh Celtic languages are not identical and cannot be so, because the Celtic languages do not feature present and past participles and English has no verbal nouns. But the two types of the periphrastic mode of expressing aspect are close enough to suggest either a shift scenario, a borrowing scenario and/or an areal spread by diffusion over a long period of time. Since Old English did not mark aspect, neither morphologically nor syntactically, but Old Welsh and Old Irish already did so syntactically, it is suggested here that a unilateral transfer process was involved here, which proceeded from the Celtic languages to the English language. Aspectual transfer is even more pronounced in the so-called 'Celtic Englishes,' where in addition to the periphrastic marking of [+ imperfectivity] and [+perfectivity] the marking of [+habituality] is a grammaticalised feature and is periphrastically expressed.
A report of Mikhail Gasparov's 1989 book on the 'History of European Versification' is the starting point of the discussion in this article of the types of versification found in the Insular Celtic literatures from their first documenation in the early middle ages to the present day, as Gasparov's survey does not cover these poetries. It is claimed here that their metrical constraints were pre-literate and first and foremost geared at aural reception. The introduction of writing led to an increase in metrical sophistication which, while still basically oral, because of the process of "prelecting" (i.e. reading out aloud to illiterate or semi-literate audiences), required a very careful appreciation of their metrical skills. Contact with English and French syllabic poetry in the later middle ages and particularly in the modern period produced so-called "free verse" poetry. The word "free" in this particular context meant that the rather loose metrical constraints of these majority literatures in no way compared with the extraordinarily high metrical sophistication of the native oral derived or "bardic" poetry.
Students of computer science studies enter university education with very different competencies, experience and knowledge. 145 datasets collected of freshmen computer science students by learning management systems in relation to exam outcomes and learning dispositions data (e. g. student dispositions, previous experiences and attitudes measured through self-reported surveys) has been exploited to identify indicators as predictors of academic success and hence make effective interventions to deal with an extremely heterogeneous group of students.
As AI technology is increasingly used in production systems, different approaches have emerged from highly decentralized small-scale AI at the edge level to centralized, cloud-based services used for higher-order optimizations. Each direction has disadvantages ranging from the lack of computational power at the edge level to the reliance on stable network connections with the centralized approach. Thus, a hybrid approach with centralized and decentralized components that possess specific abilities and interact is preferred. However, the distribution of AI capabilities leads to problems in self-adapting learning systems, as knowledgebases can diverge when no central coordination is present. Edge components will specialize in distinctive patterns (overlearn), which hampers their adaptability for different cases. Therefore, this paper aims to present a concept for a distributed interchangeable knowledge base in CPPS. The approach is based on various AI components and concepts for each participating node. A service-oriented infrastructure allows a decentralized, loosely coupled architecture of the CPPS. By exchanging knowledge bases between nodes, the overall system should become more adaptive, as each node can “forget” their present specialization.
Business processes are regularly modified either to capture requirements from the organization’s environment or due to internal optimization and restructuring. Implementing the changes into the individual work routines is aided by change management tools. These tools aim at the acceptance of the process by and empowerment of the process executor. They cover a wide range of general factors and seldom accurately address the changes in task execution and sequence. Furthermore, change is only framed as a learning activity, while most obstacles to change arise from the inability to unlearn or forget behavioural patterns one is acquainted with. Therefore, this paper aims to develop and demonstrate a notation to capture changes in business processes and identify elements that are likely to present obstacles during change. It connects existing research from changes in work routines and psychological insights from unlearning and intentional forgetting to the BPM domain. The results contribute to more transparency in business process models regarding knowledge changes. They provide better means to understand the dynamics and barriers of change processes.
SNS Democracy Council 2023
(2023)
Transboundary problems such as climate change, military conflicts, trade barriers, and refugee flows require increased collaboration across borders. This is to a large extent possible using existing international organizations. In such a case, however, they need to be considerably strengthened – while current trends take us in the opposite direction, according to the researchers in the SNS Democracy Council 2023.
Writing travel, writing life
(2022)
The book compares the texts of three Swiss authors: Ella Maillart, Annemarie Schwarzenbach and Nicolas Bouvier. The focus is on their trip from Genève to Kabul that Ella Maillart and Annemarie Schwarzenbach made together in 1939/1940 and Nicolas Bouvier 1953/1954 with the artist Thierry Vernet. The comparison shows the strong connection between the journey and life and between ars vivendi and travel literature.
This book also gives an overview of and organises the numerous terms, genres, and categories that already exist to describe various travel texts and proposes the new term travelling narration. The travelling narration looks at the text from a narratological perspective that distinguishes the author, narrator, and protagonist within the narration.
In the examination, ten motifs could be found to characterise the travelling narration: Culture, Crossing Borders, Freedom, Time and Space, the Aesthetics of Landscapes, Writing and Reading, the Self and/as the Other, Home, Religion and Spirituality as well as the Journey. The importance of each individual motif does not only apply in the 1930s or 1950s but also transmits important findings for living together today and in the future.
Beyond good faith
(2021)
The ambitious climate targets set by industrialized nations worldwide cannot be met without decarbonizing the building stock. Using Germany as a case study, this paper takes stock of the extensive set of energy efficiency policies that are already in place and clarifies that they have been designed “in good faith” but lack in overall effectiveness as well as cost-efficiency in achieving these climate targets. We map out the market failures and behavioural considerations that are potential reasons for why realized energy savings fall below expectations and why the household adoption of energy-efficient and low-carbon technologies has remained low. We highlight the pressing need for data and modern empirical research to develop targeted and cost-effective policies seeking to correct these market failures. To this end, we identify some key research questions and identify gaps in the data required for evidence-based policy.
Strategic management is the deliberate engagement of an administration with the challenges of fulfilling its mission and ensuring and improving its ability to act by clarifying measures of success, an understanding of how to influence patterns of action, and organiza-tional learning. In this respect, it is not just about planning, but about an understanding of the emerging strategies of the administration in fulfilling its tasks and the use of opportunities for performance improvement, taking into account stakeholder expectations, resource base and organizational capabilities.
Lists as embedded structures and the prosody of list construction as an interactional resource
(2003)
Crochet is a popular handcraft all over the world. While other techniques such as knitting or weaving have received technical support over the years through machines, crochet is still a purely manual craft. Not just the act of crochet itself is manual but also the process of creating instructions for new crochet patterns, which is barely supported by domain specific digital solutions. This leads to unstructured and often also ambiguous and erroneous pattern instructions. In this report, we propose a concept to digitally represent crochet patterns. This format incorporates crochet techniques which allows domain specific support for crochet pattern designers during the pattern creation and instruction writing process. As contributions, we present a thorough domain analysis, the concept of a graph structure used as domain specific language to specify crochet patterns and a prototype of a projectional editor using the graph as representation format of patterns and a diagramming system to visualize them in 2D and 3D. By analyzing the domain, we learned about crochet techniques and pain points of designers in their pattern creation workflow. These insights are the basis on which we defined the pattern representation. In order to evaluate our concept, we built a prototype by which the feasibility of the concept is shown and we tested the software with professional crochet designers who approved of the concept.
RailChain
(2023)
The RailChain project designed, implemented, and experimentally evaluated a juridical recorder that is based on a distributed consensus protocol. That juridical blockchain recorder has been realized as distributed ledger on board the advanced TrainLab (ICE-TD 605 017) of Deutsche Bahn.
For the project, a consortium consisting of DB Systel, Siemens, Siemens Mobility, the Hasso Plattner Institute for Digital Engineering, Technische Universität Braunschweig, TÜV Rheinland InterTraffic, and Spherity has been formed. These partners not only concentrated competencies in railway operation, computer science, regulation, and approval, but also combined experiences from industry, research from academia, and enthusiasm from startups.
Distributed ledger technologies (DLTs) define distributed databases and express a digital protocol for transactions between business partners without the need for a trusted intermediary. The implementation of a blockchain with real-time requirements for the local network of a railway system (e.g., interlocking or train) allows to log data in the distributed system verifiably in real-time. For this, railway-specific assumptions can be leveraged to make modifications to standard blockchains protocols.
EULYNX and OCORA (Open CCS On-board Reference Architecture) are parts of a future European reference architecture for control command and signalling (CCS, Reference CCS Architecture – RCA). Both architectural concepts outline heterogeneous IT systems with components from multiple manufacturers. Such systems introduce novel challenges for the approved and safety-relevant CCS of railways which were considered neither for road-side nor for on-board systems so far. Logging implementations, such as the common juridical recorder on vehicles, can no longer be realized as a central component of a single manufacturer. All centralized approaches are in question.
The research project RailChain is funded by the mFUND program and gives practical evidence that distributed consensus protocols are a proper means to immutably (for legal purposes) store state information of many system components from multiple manufacturers. The results of RailChain have been published, prototypically implemented, and experimentally evaluated in large-scale field tests on the advanced TrainLab. At the same time, the project showed how RailChain can be integrated into the road-side and on-board architecture given by OCORA and EULYNX.
Logged data can now be analysed sooner and also their trustworthiness is being increased. This enables, e.g., auditable predictive maintenance, because it is ensured that data is authentic and unmodified at any point in time.
Multiculturalism and beyond : perspektives and new publicatons on the culture debate in the USA
(2003)
The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether.
In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before.
Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time.
In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.
Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time. In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.
Economy vs. history : what does actually determine the distribution of firms' locations in cities?
(2004)
Digital Platforms (DPs) has established themself in recent years as a central concept of the Information Technology Science. Due to the great diversity of digital platform concepts, clear definitions are still required. Furthermore, DPs are subject to dynamic changes from internal and external factors, which pose challenges for digital platform operators, developers and customers. Which current digital platform research directions should be taken to address these challenges remains open so far. The following paper aims to contribute to this by outlining a systematic literature review (SLR) on digital platform concepts in the context of the Industrial Internet of Things (IIoT) for manufacturing companies and provides a basis for (1) a selection of definitions of current digital platform and ecosystem concepts and (2) a selection of current digital platform research directions. These directions are diverted into (a) occurrence of digital platforms, (b) emergence of digital platforms, (c) evaluation of digital platforms, (d) development of digital platforms, and (e) selection of digital platforms.
Openness indicators for the evaluation of digital platforms between the launch and maturity phase
(2024)
In recent years, the evaluation of digital platforms has become an important focus in the field of information systems science. The identification of influential indicators that drive changes in digital platforms, specifically those related to openness, is still an unresolved issue. This paper addresses the challenge of identifying measurable indicators and characterizing the transition from launch to maturity in digital platforms. It proposes a systematic analytical approach to identify relevant openness indicators for evaluation purposes. The main contributions of this study are the following (1) the development of a comprehensive procedure for analyzing indicators, (2) the categorization of indicators as evaluation metrics within a multidimensional grid-box model, (3) the selection and evaluation of relevant indicators, (4) the identification and assessment of digital platform architectures during the launch-to-maturity transition, and (5) the evaluation of the applicability of the conceptualization and design process for digital platform evaluation.
The electronic and geometric structure, stability and molecular properties of the cationic van-der-Waals complex Ar2H+ in its ground electronic state are studied by means of two ab-initio quantum-chemical approaches: conventional configuration interaction (multi-reference and coupled cluster methods) and a diatomics-in-molecules model with ab-initio input data.
Developing a new paradigm
(2020)
Internet users commonly agree that it is important for them to protect their personal data. However, the same users readily disclose their data when requested by an online service. The dichotomy between privacy attitude and actual behaviour is commonly referred to as the “privacy paradox”. Over twenty years of research were not able to provide one comprehensive explanation for the paradox and seems even further from providing actual means to overcome the paradox. We argue that the privacy paradox is not just an instantiation of the attitude-behaviour gap. Instead, we introduce a new paradigm explaining the paradox as the result of attitude-intention and intentionbehaviour gaps. Historically, motivational goal-setting psychologists addressed the issue of intentionbehaviour gaps in terms of the Rubicon Model of Action Phases and argued that commitment and volitional strength are an essential mechanism that fuel intentions and translate them into action. Thus, in this study we address the privacy paradox from a motivational psychological perspective by developing two interventions on Facebook and assess whether the 287 participants of our online experiment actually change their privacy behaviour. The results demonstrate the presence of an intentionbehaviour gap and the efficacy of our interventions in reducing the privacy paradox.
An increasing number of clinicians (i.e., nurses and physicians) suffer from mental health-related issues like depression and burnout. These, in turn, stress communication, collaboration, and decision- making—areas in which Conversational Agents (CAs) have shown to be useful. Thus, in this work, we followed a mixed-method approach and systematically analysed the literature on factors affecting the well-being of clinicians and CAs’ potential to improve said well-being by relieving support in communication, collaboration, and decision-making in hospitals. In this respect, we are guided by Brigham et al. (2018)’s model of factors influencing well-being. Based on an initial number of 840 articles, we further analysed 52 papers in more detail and identified the influences of CAs’ fields of application on external and individual factors affecting clinicians’ well-being. As our second method, we will conduct interviews with clinicians and experts on CAs to verify and extend these influencing factors.
The “HPI Future SOC Lab” is a cooperation of the Hasso Plattner Institute (HPI) and industry partners. Its mission is to enable and promote exchange and interaction between the research community and the industry partners.
The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores and 2 TB main memory. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies.
This technical report presents results of research projects executed in 2018. Selected projects have presented their results on April 17th and November 14th 2017 at the Future SOC Lab Day events.
Green recovery
(2023)
This chapter reviews how the European Union has fared in enabling a green recovery in the aftermath of the Covid-19 crisis, drawing comparisons to developments after the financial crisis. The chapter focuses on the European Commission and its evolving role in promoting decarbonisation efforts in its Member States, paying particular attention to its role in financing investments in low-carbon assets. It considers both the direct effects of green stimulus policies on decarbonisation in the EU and how these actions have shaped the capacities of the Commission as an actor in the field of climate and energy policy. The analysis reveals a significant expansion of the Commission’s role compared to the period following the financial crisis. EU-level measures have provided incentives for Member States to direct large volumes of financing towards investments in climate-friendly assets. Nevertheless, the ultimate impact will largely be shaped by implementation at the national level.
'Tools' in public management
(2022)
Tools are methods or procedures, and thus operational patterns of action, applied in public administrations to solve standard problems. It is also possible to consider them as structured communication according to professional standards aiming at complexity reduction. Regularly, tools in management stem on a deductive-synoptic rationale offering a seemingly ‘objective’ decision basis. They have a strong formative influence on the organization, regularly also beyond the intended effects. The prominence of tools is sometimes confused with management as such, e.g. introducing tools is mistaken as equivalent to managing for a particular purpose. However, tools have to be closely and carefully managed regarding the objectives and purposes they should serve.
Most scholars in public administration and management research would agree that there is a connection between the culture of a nation or region and the way management in public administration is structured and working ("public management arrangements"). However, to be incorporated into public management research and theory, a more precise notion about the forms, ways, and mechanisms of the interlinkage between societal culture and public management is required. A look into public management literature reveals that wide use and reference is made to the importance and influence of culture on public management arrangements - mostly, though, using the term "culture" as a short-cut for "organizational culture". Public management discussion focuses on varying aspects and levels of culture, and varying conceptual integrations of cultural aspects are found. Public management treatises stress the influence of past events and contexts for the specific functioning and establishment of organizations, rules, and perceptions which in turn have great influence on the reception and functioning of public management mechanisms. Elsewise, organizational culture - or more precisely change thereof - is claimed to be the result of public management efforts. In sum, the interlinkage between culture and public management is there, but is not systematically and explicitly incorporated by referring to adequate theory. Although cultural theory has gained considerable attention, there are still other concepts for the analysis of cultural facts that may be of interest to the subject, too.