Die Bedeutung des § 2 Abs. 1 BetrVG für den Umfang und die Schranken der Mitbestimmung nach § 87 BetrVG

Die vorliegende Arbeit befasst sich mit der Bedeutung des § 2 Abs. 1 BetrVG für die Reichweite und die Grenzen der Mitbestimmung des Betriebsrates nach § 87 BetrVG.. Ebenso wie im BetrVG 1952 bildet auch im BetrVG 1972 und im BetrVG 2001 der vierte Teil mit den Regelungen über die Mitwirkung und Mitbestimmung der Arbeitnehmer das eigentliche Kernstück des Gesetzes. Zentralvorschrift für die Mitbestimmung des Betriebsrats in sozialen Angelegenheiten ist dabei § 87 BetrVG. Diese Regelung umfasst alle Arbeitsbedingungen, die nicht schon gesetzlich oder tariflich geregelt sind, anderseits aber oft nur einheitlich für alle Arbeitnehmer im Betrieb geregelt werden können. Soweit die Tatbestandsvoraussetzungen der einzelnen Gegenstände in § 87 Abs. 1 Nr. 1 bis Nr. 13 BetrVG erfüllt sind, hat der Betriebsrat eine umfassende funktionelle Zuständigkeit zur Mitbestimmung in sämtlichen sozialen Angelegenheiten. Aufgabe der vorliegenden Arbeit soll es daher sein, Rechtsnatur, Struktur und Anwendungsbereich des Gebots der vertrauensvollen Zusammenarbeit und der Mitbestimmungsrechte gem. § 87 BetrVG zu klären. Hier ist insbesondere zu erörtern, ob Mitbestimmungsrechte des Betriebsrats gem. § 87 Abs. 1 BetrVG außerhalb des Katalogs der gesetzlichen Vorschriften aus dem Grundsatz der vertrauensvollen Zusammenarbeit herzuleiten sind. Ein weiterer Schwerpunkt liegt in der Herausarbeitung der Korrektur- und Schrankenfunktion des § 2 Abs. 1 BetrVG im Bereich der Mitbestimmung nach § 87 Abs. 1 BetrVG.

Stieper, Rechtfertigung, Rechtsnatur und Disponibilität der Schranken des Urheberrechts, 2010

Stieper, Malte: Rechtfertigung, Rechtsnatur und Disponibilität der Schranken des Urheberrechts, 2010 Mohr Siebeck 2009 (Jus Privatum 144), 584 p., ISBN 978-3-16-150177-7

Soldatens, stecht de Deegens in! Verbrüderte Predigt an die 60,000pfündige Miletär-Batterie in Berlin un Umjejend: Olle Jungens, so is et recht, Arm in Arm wollen wir det schwerenöthsche Jahrhundert in de Schranken fordern ...

Welsch (Projektbearbeiter): "Der Verfasser appelliert an Bürger und Soldaten, Freundschaft miteinander zu schließen. Besonders die Soldaten erinnert er daran, daß sie auch Bürgersöhne sind, und daß sie ihre Gleichstellung mit den adligen Offizieren nur den Berliner Bürgern zu verdanken haben und deshalb nicht gegen sie kämpfen dürfen." [Führer, B.: Das Berlinische im Tagesschrifttum von 1848/49, S. 302]

Rationalisierung im Konjunkturverlauf

INHALT EINLEITUNG 1. Einfuhrende Überlegungen 2. Methodische Begründungen ERSTER TEIL: Wirtschaftsentwickung und Rationalisierung 1. Innovation und Wachstum bei J.A.Schumpeter 2. Geschichte der Rationalisierung 2.1. Rationalisierung vor und wahrend der Industriellen Revolution 2.1.1. Rationalisierung durch Arbeitsteilung 2.1.2. Rationalisierung durch Einsatz von Maschinerie 2.2. Rationalisierung seit dem Beginn der "Großen Depression" im Jahre 1873 2.2.1. Der Taylorismus 2.2.2. Der Fordismus 2.2.3. Die Arbeitspsychologie 2.2.4. Die Betriebswirtschaftslehre 2.3. Rationalisierung wahrend der Weimarer Republik 2.3.1. Entstehungsbedingungen 2.3.2. Erscheinungsformen der Rationalisierung 2.3.2.1. Rationalisierung in der Produktion 2.3.2.1.1. Rationalisierung m der Landwirtschaft 2.3.2.1.2. Rationalisierung in der Industrie 2.3.2.2. Rationalisierung in der Zirkulation 2.4. Exkurs: Rationalisierung im konjunkturellen Verlauf der 20er Jahre 2.4.1. "Volkswirtschaftliche" oder "negative" Rationalisierung 2.4.?. Der Rationalisierungsaufscnwung 2.4.3. Die Weltwirtschaftskrise 2.4.4. Rationalisierung, Konjunktur und Krise in den 20er Jahren 2.5. Rationalisierung während des deutschen Faschismus 2.6. Rationalis1erung wahrend der Rekonstruktionsperiode bis zur Krise von 1966/67 2.7. Rationalisierung seit der Krise von 1966/67 3. Verschiedene Sichtweisen von Rationalisierung 3.1. Rationalisierung und technischer Fortschritt 3.2. Rationalisierung als Ausdruck betriebswirtschaftlicher Praxis und aus volkswirtschaftlicher Sicht 3.3. Rationalisierung aus der Sicht der Marxschen Theorie 3.4. Der Rationalisierungsbegriff 3.4.1. Der einzelwirtschaftliche Rationalisierungsbegriff 3.4.2. Der gesamtwirtschaftliche Rationalisierungsbegriff 3.4.3. Rationalisierung und Marxsche Theorie 3.4.4. Der allgemeine Rationalisierungsbegriff ZWEITER TEIL: Ursachen und Wirkungen von Rationalisierung im konjukturellen Verlauf 1. Rationalisierung im konjunkturellen Aufschwung 1.1. Rationalisierung und Investition 1.2. Die Konjunkturtheorie von J.R.Hicks 1.3. Aufschwung und Krise 1.3.1. Die Erholung 1.3.2. Die Expansion 1.3.3. Die Hochkonjunktur 2. Rationalisierung im konjunkturellen Abschwung 2.1. Die Abschwächung 2.2. Die Depression 2.2.1. Desinvestitionen und die Stabilisierung des Abschwungs 2.2.2. Die Strategie der Rationalisierung 2.2.3. Kreislaufwirkungen von Rationalisierungsinvestitionen 2.2.4. Schranken der Rationalisierung 3. Wirtschaftspolitische Überlegungen

Root parametrized differential equations

The present thesis is about the inverse problem in differential Galois Theory. Given a differential field, the inverse  problem asks which linear algebraic groups can be realized as differential Galois groups of Picard-Vessiot extensions of this field.   In this thesis we will concentrate on the realization of the classical groups as differential Galois groups. We introduce a method for a very general realization of these groups. This means that we present for the classical groups of Lie rank $l$ explicit linear differential equations where the coefficients are differential polynomials in $l$ differential indeterminates over an algebraically closed field of constants $C$, i.e. our differential ground field is purely differential transcendental over the constants.   For the groups of type $A_l$, $B_l$, $C_l$, $D_l$ and $G_2$ we managed to do these realizations at the same time in terms of Abhyankar's program 'Nice Equations for Nice Groups'. Here the choice of the defining matrix is important. We found out that an educated choice of $l$ negative roots for the parametrization together with the positive simple roots leads to a nice differential equation and at the same time defines a sufficiently general element of the Lie algebra. Unfortunately for the groups of type $F_4$ and $E_6$ the linear differential equations for such elements are of enormous length. Therefore we keep in the case of $F_4$ and $E_6$ the defining matrix differential equation which has also an easy and nice shape.   The basic idea for the realization is the application of an upper and lower bound criterion for the differential Galois group to our parameter equations and to show that both bounds coincide. An upper and lower bound criterion can be found in literature. Here we will only use the upper bound, since for the application of the lower bound criterion an important condition has to be satisfied. If the differential ground field is $C_1$, e.g., $C(z)$ with standard derivation, this condition is automatically satisfied. Since our differential ground field is purely differential transcendental over $C$, we have no information whether this condition holds or not.   The main part of this thesis is the development of an alternative lower bound criterion and its application. We introduce the specialization bound. It states that the differential Galois group of a specialization of the parameter equation is contained in the differential Galois group of the parameter equation. Thus for its application we need a differential equation over $C(z)$ with given differential Galois group. A modification of a result from Mitschi and Singer yields such an equation over $C(z)$ up to differential conjugation, i.e. up to transformation to the required shape. The transformation of their equation to a specialization of our parameter equation is done for each of the above groups in the respective transformation lemma.

Die aeroelastische Stabilitätsanalyse – ein praxisnaher Ansatz zur intervalltheoretischen Betrachtung von Modellierungsunsicherheiten am Flugzeug

Die Untersuchung des dynamischen aeroelastischen Stabilitätsverhaltens von Flugzeugen erfordert sehr komplexe Rechenmodelle, welche die wesentlichen elastomechanischen und instationären aerodynamischen Eigenschaften der Konstruktion wiedergeben sollen. Bei der Modellbildung müssen einerseits Vereinfachungen und Idealisierungen im Rahmen der Anwendung der Finite Elemente Methode und der aerodynamischen Theorie vorgenommen werden, deren Auswirkungen auf das Simulationsergebnis zu bewerten sind. Andererseits können die strukturdynamischen Kenngrößen durch den Standschwingungsversuch identifiziert werden, wobei die Ergebnisse Messungenauigkeiten enthalten. Für eine robuste Flatteruntersuchung müssen die identifizierten Unwägbarkeiten in allen Prozessschritten über die Festlegung von unteren und oberen Schranken konservativ ermittelt werden, um für alle Flugzustände eine ausreichende Flatterstabilität sicherzustellen. Zu diesem Zweck wird in der vorliegenden Arbeit ein Rechenverfahren entwickelt, welches die klassische Flatteranalyse mit den Methoden der Fuzzy- und Intervallarithmetik verbindet. Dabei werden die Flatterbewegungsgleichungen als parameterabhängiges nichtlineares Eigenwertproblem formuliert. Die Änderung der komplexen Eigenlösung infolge eines veränderlichen Einflussparameters wird mit der Methode der numerischen Fortsetzung ausgehend von der nominalen Startlösung verfolgt. Ein modifizierter Newton-Iterations-Algorithmus kommt zur Anwendung. Als Ergebnis liegen die berechneten aeroelastischen Dämpfungs- und Frequenzverläufe in Abhängigkeit von der Fluggeschwindigkeit mit Unschärfebändern vor.

Hypersurfaces with many singularities

1. Teil: Bekannte Konstruktionen. Die vorliegende Arbeit gibt zunächst einen ausführlichen Überblick über die bisherigen Entwicklungen auf dem klassischen Gebiet der Hyperflächen mit vielen Singularitäten. Die maximale Anzahl mu^n(d) von Singularitäten auf einer Hyperfläche vom Grad d im P^n(C) ist nur in sehr wenigen Fällen bekannt, im P^3(C) beispielsweise nur für d<=6. Abgesehen von solchen Ausnahmen existieren nur obere und untere Schranken. 2. Teil: Neue Konstruktionen. Für kleine Grade d ist es oft möglich, bessere Resultate zu erhalten als jene, die durch allgemeine Schranken gegeben sind. In dieser Arbeit beschreiben wir einige algorithmische Ansätze hierfür, von denen einer Computer Algebra in Charakteristik 0 benutzt. Unsere anderen algorithmischen Methoden basieren auf einer Suche über endlichen Körpern. Das Liften der so experimentell gefundenen Hyperflächen durch Ausnutzung ihrer Geometrie oder Arithmetik liefert beispielsweise eine Fläche vom Grad 7 mit $99$ reellen gewöhnlichen Doppelpunkten und eine Fläche vom Grad 9 mit 226 gewöhnlichen Doppelpunkten. Diese Konstruktionen liefern die ersten unteren Schranken für mu^3(d) für ungeraden Grad d>5, die die allgemeine Schranke übertreffen. Unser Algorithmus hat außerdem das Potential, auf viele weitere Probleme der algebraischen Geometrie angewendet zu werden. Neben diesen algorithmischen Methoden beschreiben wir eine Konstruktion von Hyperflächen vom Grad d im P^n mit vielen A_j-Singularitäten, j>=2. Diese Beispiele, deren Existenz wir mit Hilfe der Theorie der Dessins d'Enfants beweisen, übertreffen die bekannten unteren Schranken in den meisten Fällen und ergeben insbesondere neue asymptotische untere Schranken für j>=2, n>=3. 3. Teil: Visualisierung. Wir beschließen unsere Arbeit mit einer Anwendung unserer neuen Visualisierungs-Software surfex, die die Stärken mehrerer existierender Programme bündelt, auf die Konstruktion affiner Gleichungen aller 45 topologischen Typen reeller kubischer Flächen.

Volumenpackungen nach SAE J1100

We present new algorithms to approximate the discrete volume of a polyhedral geometry using boxes defined by the US standard SAE J1100. This problem is NP-hard and has its main application in the car design process. The algorithms produce maximum weighted independent sets on a so-called conflict graph for a discretisation of the geometry. We present a framework to eliminate a large portion of the vertices of a graph without affecting the quality of the optimal solution. Using this framework we are also able to define the conflict graph without the use of a discretisation. For the solution of the maximum weighted independent set problem we designed an enumeration scheme which uses the restrictions of the SAE J1100 standard for an efficient upper bound computation. We evaluate the packing algorithms according to the solution quality compared to manually derived results. Finally, we compare our enumeration scheme to several other exact algorithms in terms of their runtime. Grid-based packings either tend to be not tight or have intersections between boxes. We therefore present an algorithm which can compute box packings with arbitrary placements and fixed orientations. In this algorithm we make use of approximate Minkowski Sums, computed by uniting many axis-oriented equal boxes. We developed an algorithm which computes the union of equal axis-oriented boxes efficiently. This algorithm also maintains the Minkowski Sums throughout the packing process. We also extend these algorithms for packing arbitrary objects in fixed orientations.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Perturbation theory for spectral subspaces

In der vorliegenden Arbeit wird die Variation abgeschlossener Unterräume eines Hilbertraumes untersucht, die mit isolierten Komponenten der Spektren von selbstadjungierten Operatoren unter beschränkten additiven Störungen assoziiert sind. Von besonderem Interesse ist hierbei die am wenigsten restriktive Bedingung an die Norm der Störung, die sicherstellt, dass die Differenz der zugehörigen orthogonalen Projektionen eine strikte Normkontraktion darstellt. Es wird ein Überblick über die bisher erzielten Resultate gegeben. Basierend auf einem Iterationsansatz wird eine allgemeine Schranke an die Variation der Unterräume für Störungen erzielt, die glatt von einem reellen Parameter abhängen. Durch Einführung eines Kopplungsparameters wird das Ergebnis auf den Fall additiver Störungen angewendet. Auf diese Weise werden zuvor bekannte Ergebnisse verbessert. Im Falle von additiven Störungen werden die Schranken an die Variation der Unterräume durch ein Optimierungsverfahren für die Stützstellen im Iterationsansatz weiter verschärft. Die zugehörigen Ergebnisse sind die besten, die bis zum jetzigen Zeitpunkt erzielt wurden.

Optimized scheduling in real-time environments with column generation

Im Bereich sicherheitsrelevanter eingebetteter Systeme stellt sich der Designprozess von Anwendungen als sehr komplex dar. Entsprechend einer gegebenen Hardwarearchitektur lassen sich Steuergeräte aufrüsten, um alle bestehenden Prozesse und Signale pünktlich auszuführen. Die zeitlichen Anforderungen sind strikt und müssen in jeder periodischen Wiederkehr der Prozesse erfüllt sein, da die Sicherstellung der parallelen Ausführung von größter Bedeutung ist. Existierende Ansätze können schnell Designalternativen berechnen, aber sie gewährleisten nicht, dass die Kosten für die nötigen Hardwareänderungen minimal sind. Wir stellen einen Ansatz vor, der kostenminimale Lösungen für das Problem berechnet, die alle zeitlichen Bedingungen erfüllen. Unser Algorithmus verwendet Lineare Programmierung mit Spaltengenerierung, eingebettet in eine Baumstruktur, um untere und obere Schranken während des Optimierungsprozesses bereitzustellen. Die komplexen Randbedingungen zur Gewährleistung der periodischen Ausführung verlagern sich durch eine Zerlegung des Hauptproblems in unabhängige Unterprobleme, die als ganzzahlige lineare Programme formuliert sind. Sowohl die Analysen zur Prozessausführung als auch die Methoden zur Signalübertragung werden untersucht und linearisierte Darstellungen angegeben. Des Weiteren präsentieren wir eine neue Formulierung für die Ausführung mit fixierten Prioritäten, die zusätzlich Prozessantwortzeiten im schlimmsten anzunehmenden Fall berechnet, welche für Szenarien nötig sind, in denen zeitliche Bedingungen an Teilmengen von Prozessen und Signalen gegeben sind. Wir weisen die Anwendbarkeit unserer Methoden durch die Analyse von Instanzen nach, welche Prozessstrukturen aus realen Anwendungen enthalten. Unsere Ergebnisse zeigen, dass untere Schranken schnell berechnet werden können, um die Optimalität von heuristischen Lösungen zu beweisen. Wenn wir optimale Lösungen mit Antwortzeiten liefern, stellt sich unsere neue Formulierung in der Laufzeitanalyse vorteilhaft gegenüber anderen Ansätzen dar. Die besten Resultate werden mit einem hybriden Ansatz erzielt, der heuristische Startlösungen, eine Vorverarbeitung und eine heuristische mit einer kurzen nachfolgenden exakten Berechnungsphase verbindet.

Blood-CNS barriers in neurodegenerative diseases

The blood-brain barrier (BBB) and the blood-spinal cord barrier (BSCB) separate the brain and the spinal cord from the circulating blood and are important for the maintenance of the CNS homeostasis. They build a physical barrier thereby protecting the CNS from pathogens and toxic agents, and their disruption plays a crucial role in the pathogenesis of several CNS disorders. In this thesis, the blood-CNS-barriers were studied via in vitro models in two case studies for neurodegenerative disorders, in particular Alzheimer’s disease (AD) and amyotrophic lateral sclerosis (ALS). The first model evaluates treatment possibilities of AD using nanotechnology-based strategies. Since the toxic amyloid-β42 (Aβ42) peptide plays a crucial role in the pathogenesis of AD, reduced generation or enhanced clearance of Aβ42 peptides are expected to modify the disease course in AD. Therefore, several Aβ42-lowering drugs like flurbiprofen had been tested in clinical trials, but most of them failed due to their low brain penetration. Here, flurbiprofen was embedded in polylactide (PLA) nanoparticles and its transport was examined in an in vitro BBB model. The embedding of flurbiprofen into the nanoparticles disguised its cytotoxic potential and enabled the administration of higher drug concentrations which resulted in a sufficient transport of the drug across an endothelial cell monolayer. These results demonstrate that non-permeable drugs can be transported efficiently via nanoparticles and that these nanotechnology-based strategies are a promising tool to generate novel therapeutic options for AD and other CNS diseases. rnThe focus of the second project was to investigate the impaired integrity of the BSCB in a mouse model for ALS. About 20% of all familial ALS cases are associated with missense mutations or small deletions in the gene that encodes Cu/Zn-superoxide dismutase 1 (SOD1). To date, the molecular mechanisms resulting in ALS are still unknown, but there is evidence that the disruption of the BSCB is one of the primary pathological events. In both familial and sporadic ALS patients, loss of endothelial integrity and endothelial cell damage was observed, and studies with SOD1 transgenic mice demonstrated that the BSCB disruption was found prior to motor neuron degeneration and neurovascular inflammation. Thus, an in vitro model for ALS endothelial cells was generated which exhibited comparable integrity characteristics and tight junction (TJ) protein expression profiles as isolated primary endothelial cells of the BSCB of SOD1 transgenic mice. In this, an alteration of the βcat/AKT/FoxO1 pathway, which regulates the expression of the TJ protein claudin-5, could be observed. These data furthermore indicate that ALS is a neurovascular disease, and understanding of the primary events in ALS pathogenesis will hopefully provide ideas for the development of new therapeutic strategies. rn

Richtungsweisend oder eine nur begrenzt wahrgenommene Chance? Der Copyright-Code des Wittem-Projekts

Der „European copyright code“ des Wittem-Projekts von 4/2010 ist pragmatisch, konstruktiv-konservativ ausgefallen. Traditionell das Werk- und Autorenverständnis. Schrankenregelungen werden über einen hybriden Ansatz offen gehalten. Bildung und Wissenschaft werden nicht gerade verwöhnt. Die Wittem-Gruppe hat sich nicht in den „Treibsand visionärer Modelle“ begeben wollen. Ein guter Text, aber dann doch nicht wirklich wegweisend für den Umgang mit Wissen und Information in elektronischen Räumen, am ehesten noch durch den Vorschlag einer Schrankenbestimmung zur Begünstigung des wirtschaftlichen Wettbewerbs.