17 search hits
-
Verdeckte Gewinnausschüttung unter besonderer Berücksichtigung von Pensionszusagen
(2005)
-
Andre Briese
- Dem steuerlichen Rechtsinstitut der verdeckten Gewinnausschüttung (vGA nach § 8 Abs. 3 S. 2 KStG, § 20 Abs. 1 Nr. 1 S. 2 EStG) kommt in Forschung und Praxis eine große Bedeutung zu. Diese Dissertation setzt sich zunächst mit konzeptionellen Grundlagen der vGA (Teil A) sowie anschließend mit spezielle Fragen bei Pensionszusagen an Gesellschafter-Geschäftsführer (Teil B) auseinander.
-
Schema-Guided Inductive Functional Programming through Automatic Detection of Type Morphisms
(2010)
-
Martin Hofmann
- Inductive functional programming systems can be characterised by two diametric approaches: Either they apply exhaustive program enumeration which uses input/output examples (IO) as test cases, or they perform an analytical, data-driven structural generalisation of the IO examples. Enumerative approaches ignore the structural information provided with the IO examples, but use type information to guide and restrict the search. They use higher-order functions which capture recursion schemes during their enumeration, but apply them randomly in a uninformed manner. Analytical approaches on the other side heavily exploit this structural information, but have ignored the benefits of a strong type system so far and use only recursion schemes either fixed and built in, or selected by an expert user. In category theory universal constructs, such as natural transformations or type morphisms, describe recursion schemes which can be defined on any inductively defined data type. They can be characterised by specific universal properties. Those type morphisms and related concepts provide a categorical approach to functional programming, which is often called categorical programming. This work shows how categorical programming can be applied to Inductive Programming and how universal constructs, such as catamorphisms, paramorphisms, and type functors, can be used as recursive program schemes for inductive functional programming. The use of program schemes for Inductive Programming is not new. The special appeal and novelty of this work is that, contrary to previous approaches, the program schemes are neither fixed, nor selected by an expert user: The applicability of those recursion schemes can be automatically detected in the given IO examples of a target function by checking the universal properties of the corresponding type morphisms. Applying this to the analytical system Igor2, both the capabilities and the expressiveness can be extended without a decrease in efficiency. An extension of the analytical functional inductive programming system Igor2 is proposed and its algorithms described. An empirical evaluation demonstrates the improvements with respect to efficiency and effectiveness that can be achieved by the use of type morphisms for Igor2 due to a reduction in search space complexity.
-
Rechnungshöfe und Regimewechsel - von der klassischen Rechnungsprüfung zur modernen Finanzkontrolle
(2008)
-
Jens Bögershausen
- Ausgehend von der These Max Webers, dass im Falle eines Wechsels des politischen Systems lediglich das Spitzenpersonal der Bürokratie ausgetauscht wird, der Apparat unangetastet bleibt, um ihn funktionsfähig zu halten, befasst sich diese Dissertation mit den Konsequenzen eines Regimewechsels zwischen 1713 und 2007 für die oberste preußische, später deutsche Rechnungsprüfungsbehörde. Hierbei werden die Auswirkungen auf die Institution, ihre Funktionen, das Personal und den administrativen Apparat untersucht. Die institutionellen Effekte umfassen die verfassungsrechtliche Stellung des Rechnungshofes, insbesondere die Frage nach seiner Unabhängigkeit von Regierung und Parlament, den Status des Führungspersonals (richterliche Unabhängigkeit) und die innere Verfassung (kollegial oder hierarchisch). Im Falle der Funktionen wird zwischen der Verwaltungs-, der Verfassungs- und der Kontrolle der Haushalts- und Wirtschaftsführung (Finanzkontrolle) unterschieden. Beim Personal wird ein Austausch des Spitzenpersonals im Zuge eines Regimewechsels thematisiert. Zudem werden Veränderungen des administrativen Apparates betrachtet. Im Ergebnis bleibt festzuhalten, dass Regimewechsel auf die obersten Rechnungsprüfungsbehörden kaum einen Einfluss gehabt haben. Bedeutende Veränderungen und Anpassungen an ein neues politisches System erfolgten erst mit erheblicher zeitlicher Verzögerung, so wurde die 1850 begonnene Parlamentarisierung der Rechnungshöfe erst 1985 vollendet. Auch der Austausch der Verwaltungselite und ein Umbau des bürokratischen Apparates blieben aus. Insofern ist für die Rechnungshöfe der These Otto Mayers zuzustimmen, dass Verfassungsrecht vergeht, Verwaltungsrecht besteht.
-
Projekt Europäische Aktiengesellschaft - Politik, Recht und Wirtschaft. Konzeptionen vor dem Hintergrund der Europäischen Integration.
(2008)
-
Rabea Kapschak
- Kaum ein Projekt im Bereich des europäischen Arbeits- und Sozialrechts ist so umstritten gewesen wie die Europäische Aktiengesellschaft. Die Dissertation stellt die Entwicklung der Europäischen Aktiengesellschaft vor dem Hintergrund der Europäischen Integration dar und geht der Frage nach, ob sich eine quasi lineare Verknüpfung der Entwürfe zur Europäischen Aktiengesellschaft mit den Integrationsschritten herstellen lässt. Als theoretischer Bezugsrahmen dient die transaktionsbasierte Theorie von Alec Stone Sweet und Wayne Sandholtz. Den Kern der Untersuchung bildet die Einordnung der empirischen Befunde der Europäischen Integration und der Ausgestaltung der Entwürfe zur Europäischen Aktiengesellschaft in den theoretischen Bezugsrahmen.
-
Proceedings of the ACM SIGPLAN Workshop on Approaches and Applications of Inductive Programming (AAIP 2009)
(2009)
- Inductive programming is concerned with the automated construction of declarative, often functional, recursive programs from incomplete specifications such as input/output examples. The inferred program must be correct with respect to the provided examples in a generalising sense: it should be neither equivalent to them, nor inconsistent. Inductive programming algorithms are guided explicitly or implicitly by a language bias (the class of programs that can be induced) and a search bias (determining which generalised program is constructed first). Induction strategies are either generate-and-test or example-driven. In generate-and-test approaches, hypotheses about candidate programs are generated independently from the given specifications. Program candidates are tested against the given specification and one or more of the best evaluated candidates are developed further. In analytical approaches, candidate programs are constructed in an example-driven way. While generate-and-test approaches can -- in principle -- construct any kind of program, analytical approaches have a more limited scope. On the other hand, efficiency of induction is much higher in analytical approaches. Inductive programming is still mainly a topic of basic research, exploring how the intellectual ability of humans to infer generalised recursive procedures from incomplete evidence can be captured in the form of synthesis methods. Intended applications are mainly in the domain of programming assistance -- either to relieve professional programmers from routine tasks or to enable non-programmers to some limited form of end-user programming. Furthermore, in the future, inductive programming techniques might be applied to further areas such as supporting the inference of lemmata in theorem proving or learning grammar rules. Inductive automated program construction has been originally addressed by researchers in artificial intelligence and machine learning. During the last years, some work on exploiting induction techniques has been started also in the functional programming community. Therefore, the third workshop on |Approaches and Applications of Inductive Programming| took place for the first time in conjunction with the ACM SIGPLAN International Conference on Functional Programming (ICFP 2009). The first and second workshop were associated with the International Conference on Machine Learning (ICML 2005) and the European Conference on Machine Learning (ECML 2007). AAIP´09 aimed to bring together researchers from the functional programming and the artificial intelligence communities, working in the field of inductive functional programming, and advance fruitful interactions between these communities with respect to programming techniques for inductive programming algorithms, the identification of challenge problems and potential applications. For everybody interested in inductive programming we recommend to visit the website: www.inductive-programming.org.
-
Proaktives Problem Management durch Eventkorrelation - ein Best Practice Ansatz
(2010)
-
Werner Zirkel
Guido Wirtz
- Im Servicegeschäft werden Eventkorrelationssysteme verwendet, um bevorstehende Systemzustände vorherzusagen und damit Anlagenausfälle zu vermeiden. Aus strategischer Sicht kann dies zu höherer Anlagenverfügbarkeit und bessere Planbarkeit beitragen. Unternehmen, die von diesem Wettbewerbsvorteil profitieren wollen, begegnen dabei häufig zwei grundlegenden Problemen: die Komplexität im Service steigt mit der Anzahl der Korrelationen. Gleichzeitig geht die Kostentransparenz für den Gesamtprozess verloren. Die vorliegende Arbeit zeigt, warum diese beiden Probleme entstehen und wie sie weitgehend vermieden werden können.
-
Migration and Health - Empirical Analyses based on the German Socio-Economic Panel Study (SOEP)
(2009)
-
Monika Sander
- The so-called 'healthy immigrant effect' (HIE) is one of the most striking findings concerning immigrants and their health status. It is usually said to consist of two parts: According to the first part, immigrants upon arrival are on average healthier than their native peers. This finding is mostly explained by self-selection among their origin population. The idea is that healthier individuals are more likely to migrate as they are more able to reap the reward of the investment ‘migration’ than less healthy individuals. However, according to the second part, this health gap between immigrants and natives closes after a relatively short period of time, and the health of immigrants is converging to that of the natives or is getting even worse. This gradient of immigrants’ health has been found in many countries (e.g., Australia, Canada, and the United States) and for many different measures of health (e.g., self-rated health, chronic diseases). The causes for this decline in immigrants’ health are subject to ongoing research, but the underlying processes are not yet fully understood. In literature, several different explanations are discussed: The adoption of destination-country habits and lifestyles, the structural and material relationship between a low socio-economic status and poor health, additional stress due to the migration process, persistent barriers to access to health care due to cultural or language factors, as well as a kind of 'statistical artefact' due to selection effects caused by return migration. As health is a rather complex concept, one can assume that none of the proposed explanations can solely explain the decline in immigrants’ health, but rather that the health deterioration is a result of different interacting causes. This thesis investigates three of the proposed possible explanations for a decline in immigrants’ health, namely return migration, the adoption of destination-country habits and lifestyles, and immigrants’ access to health care and utilisation of health care services.
-
Gemeinschaftliche Qualitätsgesicherte Erhebung und Semantische Integration von Raumbezogenen Daten
(2011)
-
Sebastian Matyas
- In den vergangenen Jahren ist die Verbreitung von mobilen Geräten mit integrierter Lokalisierungstechnologie (z.B. GPS) stark gestiegen. Jeder, der ein solches Gerät besitzt, kann zum Datenlieferanten werden und in einem Netzwerk von Freiwilligen, die Rolle eines Datensensors übernehmen. In der vorliegenden Dissertation werde ich zwei Problemstellungen näher betrachten, die im Kontext von raumbezogenen Daten, erhoben von Gemeinschaften aus fachlich (hier: geowissenschaftlich) nicht geschulten Nutzern, noch ungelöst sind: Wie können geowissenschaftliche Laien motiviert werden, freiwillig qualitätsgesicherte raumbezogene Daten zu erheben? Der erste Beitrag meiner Dissertation liefert eine Antwort auf diese Frage. Er beinhaltet ein Framework zum Design von ortsbezogenen Spielen, die geowissenschaftliche Laien motivieren, raumbezogene Daten qualitätsgesichert in spielerischer Art und Weise zu sammeln. Um es mit den Worten von Peltola et al. (2006) auszudrücken: ”game play is a natural motivator to participate in something that is not necessary or beneficial. [...] By controlling game events and perhaps game logics and rules, the agencies that ultimately use the gathered data, can steer players to do tasks supporting their needs“. Wie kann die Qualität von Sammlungen semantisch angereicherter raumbezogener Daten verbessert werden? Eine wichtige Eigenschaft von ortsbezogenen Spielen zur Datenerhebung ist die wiederholte Spielbarkeit. Im Gegensatz zu anderen Domänen ist nämlich die Erstellung redundanter Daten im raumbezogenen Kontext sogar erwünscht. Das Zusammenführen von Daten mehrerer Nutzer kann man als Mehrfachmessung auffassen, die sich dazu nutzen lässt, die Qualität von Lokalisierung (Wo?) und Kategorisierung (Was?) zu verbessern. Der zweite Beitrag meiner Dissertation gibt eine Antwort auf die Fragestellung und besteht in einem Ansatz zur semantischen Integration der gesammelten raumbezogenen Daten.
-
Ein Software-Framework für die Entwicklung betrieblicher Anwendungssysteme auf der Basis von Geschäftsprozessmodellen
(2009)
-
Christian Weichelt
- Die Geschäftsprozessmodellierung hat sich in der Praxis als Grundlage für die Ableitung fachlicher Anforderungen an betriebliche Anwendungssysteme weitgehend etabliert. Die anschließende Übertragung der fachlichen Modelle auf eine software-technische Implementierungsplattform bedeutet hingegen häufig einen methodischen Bruch und ist daher sehr aufwändig sowie komplex. Eine software-technische Implementierungsplattform, deren Konzepte sich an den Fachkonzepten der Geschäftsprozessmodellierung orientieren, kann diesen Übergang vereinfachen und die Systementwicklungsaufgabe hinsichtlich Aufwand und Komplexität deutlich verringern. Die vorliegende Arbeit beschreibt die Konzeption und Realisierung eines Software-Frameworks als flexible Basismaschine für die Entwicklung betrieblicher Anwendungssysteme auf Basis der SOM-Methodik. Das Framework bietet ausgehend von den fachlichen Modellen des Anwendungssystems anwendungsneutrale Software-Komponenten zu dessen vollständiger software-technischer Abbildung.
-
Die Dokumentation in der Altenpflege. Ihr Zusammenwirken mit der Pflege- und Managementqualität sowie der Lebensqualität der Pflegebedürftigen. Eine Internationale Vergleichsuntersuchung
(2008)
- Zur Dokumentation in der Altenpflege existiert international eine große Zahl theoretischer und empirischer Untersuchungen. Der weitaus größte Teil der vorliegenden Veröffentlichungen hat die Beziehung zwischen der Dokumentationsqualität und der Pflegequalität aus professioneller Perspektive zum Gegenstand. Die vorliegende Studie betrachtet darüber hinaus auch die Zusammenhänge der Dokumentation mit den Pflegeergebnissen aus der Perspektive der Klientinnen und Klienten (Pflegezufriedenheit und pflegebezogene Lebensqualität). Die theoretische Analyse erfolgt zunächst aus pflegetheoretischer Sicht. Unumstritten ist die Bedeutung der Dokumentation für die operative Bewältigung des Pflegealltags (etwa als Kommunikationsinstrument oder als Nachweisgrundlage zur Schaffung von Rechtssicherheit). Eine darüber hinausgehende zentrale Aufgabe der Dokumentation ist die Sicherung pflegerischer Professionalität durch ihre Rolle bei der Gestaltung und Reflexion des Pflegeprozesshandelns. Hierzu sind Pflegeprozessmodelle erforderlich, die zu einer integrierten Betrachtung der Prozessschritte, zur partnerschaftlichen Einbeziehung von Klientin bzw. Klient, Angehörigen und anderen Kooperationspartnern und zur inhaltlichen Berücksichtigung der vier pflegerischen Meta-Qualitätsdimensionen (sozial, physisch-funktional, umweltbezogen und psychisch) anleiten. In Ergänzung zu diesen pflegetheoretischen Erwägungen werden in einer institutionenökonomischen Analyse zwei ökonomische Motive des Pflegedokumentations- und mithin des damit verbundenen Pflegetransparenzhandelns betrachtet: Die Reduzierung des Risikos, für negative Pflegeergebnisse verantwortlich gemacht zu werden, die nicht in den eigenen Verantwortungsbereich fallen und die Signalisierung einer aus professioneller Sicht herausragenden Pflegequalität. Die theoretischen Erkenntnisse aus pflegewissenschaftlicher und institutionenökonomischer Sicht werden in einem Metamodell der Pflegeprozessdokumentation zusammengefasst. Zentrale theoretisch erwartete Wirkungszusammenhänge werden anschließend einer empirischen Untersuchung unterzogen. Hierzu wird auf den internationalen Datensatz aus dem EU-Forschungsprojekt Care Keys mit Daten zu insgesamt ca. 1400 ambulant und stationär versorgten Klientinnen und Klienten aus Deutschland, Estland, Finnland, Schweden und dem Vereinigten Königreich zurückgegriffen. Eine vergleichende Darstellung zeigt große internationale Differenzen der Pflegedokumentationsqualität. Die in den empirischen Zusammenhangsanalysen erkennbaren Dokumentationsmotive und -wirkungen bestätigen eine institutionenökonomisch erwartete Bedingung für eine Nutzung des professionellen Potentials der Dokumentation: Diese Nutzung ist nur möglich, so lange die professionellen Motive nicht wegen der geltenden institutionell-administrativen Rahmenbedingungen durch andere, individuell-ökonomische Motive in den Hintergrund gedrängt werden. Drei Muster der Dokumentationsmotive und -wirkungen können empirisch belegt werden: Beim Muster der Dokumentation als bürokratische Aufgabe (zu beobachten in den beiden estnischen Teildatensätzen) folgt das Dokumentationshandeln nichtadäquaten bürokratischen Vorgaben, was sich in der negativen Dokumentationswirkung sowohl auf die professionelle Pflegequalität als auch auf die Pflegeergebnisse aus Klientinnen- bzw. Klientensicht zeigt. Beim Muster der Dokumentation zur Signalisierung professioneller Qualität (zu beobachten vor allem in den finnischen Teildatensätzen) steht eine positive Wirkung der Dokumentation auf den professionellen Dokumentationsoutput negativen Wirkungen auf die Dokumentationsergebnisse aus Klientinnen- bzw. Klientensicht gegenüber. Der Fokus auf die Darstellung einer professionell besonders qualitätvollen Pflege beeinträchtigt die klientinnen- bzw. klientenbezogenen Pflegeergebnisse. Beim Muster der Dokumentation zur Qualitätssicherung und Reduzierung des Risikos (zu beobachten vor allem in den deutschen Teildatensätzen) steht eine negative Wirkung der Dokumentation auf die Pflegebedarfsbefriedigung positiven Wirkungen auf die Pflegequalität aus professioneller Sicht und auf die Pflegeergebnisse aus Klientinnen- bzw. Klientensicht gegenüber. Die Dokumentation wird hier qualitätssichernd, aber auch zum Hinweis auf institutionell begründete Lücken der pflegerischen Bedürfnisbefriedigung verwendet.