Refine
Has Fulltext
- yes (248) (remove)
Year of publication
- 2010 (248) (remove)
Document Type
- Article (148)
- Postprint (26)
- Review (25)
- Conference Proceeding (23)
- Preprint (10)
- Monograph/Edited Volume (8)
- Part of Periodical (4)
- Master's Thesis (2)
- Other (2)
Language
- German (173)
- English (64)
- Spanish (8)
- Multiple languages (2)
- French (1)
Is part of the Bibliography
- no (248) (remove)
Keywords
- Deutschland (18)
- Germany (17)
- Poland (16)
- Polen (16)
- Consolidation (14)
- European Union (14)
- Europäische Union (14)
- Integration (14)
- Vertiefung (14)
- Humboldt und Hispanoamerika (4)
Institute
- WeltTrends e.V. Potsdam (35)
- Institut für Jüdische Studien und Religionswissenschaft (32)
- Vereinigung für Jüdische Studien e. V. (32)
- Historisches Institut (25)
- Kommunalwissenschaftliches Institut (23)
- MenschenRechtsZentrum (22)
- Institut für Romanistik (19)
- Department Linguistik (18)
- Extern (18)
- Institut für Informatik und Computational Science (16)
Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the proposal of a methodology to map imperative programs into equivalent CHR. The equivalence of both programs implies that if a property is satisfied for one, then it is satisfied for the other. The mapping methodology could be put to other beneficial uses. One such use is the automatic generation of global constraints, at an attempt to demonstrate the benefits of having a rule-based implementation for constraint solvers.
Bei der Entlassung von Mitarbeitern sind Interessenkonflikte vorprogrammiert. Gut begründete Positionen stehen sich bei diesen folgenreichen Personalentscheidungen oft unversöhnlich gegenüber. In den letzten Jahren waren vermehrt Kündigungen aufgrund von Bagatelldelikten in den Medien präsent. So wurde einer Kassiererin fristlos gekündigt, weil sie zwei Pfandbons unterschlagen haben sollte. Angesichts der Finanz- und Wirtschaftskrise, in der Banken Milliarden fehlinvestierten die Bankmanager jedoch kaum zur Rechenschaft gezogen wurden, verstärkte sich der Eindruck unbotmäßiger Härte und Ungerechtigkeit. Aber ist dieser Eindruck gerechtfertigt? Unterschiedliche Urteile der Instanzgerichte zu Bagatellkündigungen zeigen, dass im Arbeitsrecht nicht abschließend geklärt ist, wie in solchen Bagatellkündigungsfällen verfahren werden soll. Zudem stellt die Rechtskonformität einer Kündigung ohnehin kein abschließendes Kriterium dafür dar, ob sie auch aus ethischer Sicht gut ist. Das Ziel der Arbeit ist daher die Frage zu beantworten, wie Bagatellkündigungen moralisch zu bewerten sind. Ethisch relevante Aspekte werden zur Unterstützung von Personalentscheidungen in der Praxis identifiziert. Zunächst werden als Überblick die Ergebnisse einer Medienrecherche zu den Bagatellkündigungen dargestellt. Im ersten Untersuchungsschritt wird gefragt, warum eine Kündigung als Auflösung einer privaten Vertragsbeziehung rechtfertigungsbedürftig ist. An Praxisbeispielen wird dargestellt, welche Regelungen zum Kündigungsschutz bestehen und wie diese durch die Spezifika der Arbeitsbeziehung anhand ethischer Aspekte begründet werden. Bezugnehmend auf die Stakeholder-Sicht auf Wirtschaftsunternehmen und Überlegungen der Agenturtheorie wird gezeigt, dass die Beziehung im Arbeitskontext Spezifika aufweist, die übergebührliche Rechte und Pflichten begründen und auch in der psychologischen impliziten Vertragsbeziehung ihren Ausdruck finden. Es wird gezeigt, dass sich – insbesondere bei langjährigen Vertragsverhältnissen – ein prima-facie-Recht der Arbeitnehmer nicht gekündigt zu werden begründen lässt. Dieses Recht liegt im Status der Arbeitnehmer als rationalen moralfähigen Personen mit Anspruch auf Achtung ihrer Würde begründet. Aus der Personenhaftigkeit der Mitarbeiter entspringt der legitime Anspruch, rationale Gründe für Entscheidungen, welche sie betreffen, genannt zu bekommen. Es wird argumentiert, ein Arbeitgeber dürfe die Arbeitsbeziehung nur aufkündigen, wenn es hierfür objektiv gute Gründe gibt – ein grundsätzlicher Kündigungsschutz ist also nicht nur rechtlich sondern auch moralisch geboten. Daher schließt sich die Frage an, ob das Bagatelldelikt als Vertragspflichtverletzung ein guter objektiver Grund ist, welcher eine Kündigung rechtfertigt. Von Seiten der Kündigungsbefürworter wird argumentiert, das Vertrauensverhältnis sei durch die Tat zerstört. Daher wird geprüft, ob der Vertrauensverlust aufgrund des Bagatelldiebstahls ein guter Grund für die Kündigung ist. Ob das Bagatelldelikt als objektiver Grund für den Vertrauensverlust gewertet werden kann, hängt nun davon ab, ob der Mitarbeiter das Vertrauen tatsächlich missbraucht hat. Daraus folgt, dass sich die moralische Bewertung des Delikts an Prinzipien orientiert, die auch im Strafrecht gelten (Schuldprinzip, Unschuldsvermutung, Rechtsprinzips, Ultima-Ratio-Prinzip). Das Ergebnis der Untersuchung ist: Bagatelldelikte können aufgrund ihrer Spezifika anhand dieser gültigen Prinzipien schwerlich als objektiver Grund angesehen werden, der eine fristlose Kündigung ohne vorherige Abmahnung rechtfertigt. Abschließend wird gezeigt, dass auch die vermeintliche präventive Wirkung der Kündigung nicht als guter Kündigungsgrund gelten kann. Mit spezialpräventiven Gründen kann die Kündigung ebenso wenig wie mit positiver als auch negativer generalpräventiver Wirkungen begründet werden. Insbesondere stellt eine Kündigung aus generalpräventiven Zwecken eine illegitime Instrumentalisierung des Mitarbeiters als Person dar. Zwar können Kündigungen bei Bagatelldelikten durchaus nicht nur arbeitsrechtlich, sondern auch moralisch gerechtfertigt sein. Aufgrund der Spezifika der Bagatelldelikte und der Vertrauenskündigung ist die fristlose Kündigung in den meisten vorliegenden Fällen aus ethischer Sicht aber nicht akzeptabel. Hohe Anforderungen an die Objektivität des Vertrauensverlustes, der als Kündigungsgrund dienen soll, sind aufgrund der schwächeren Machtposition der Mitarbeiter notwendig und klug im Sinne der Wahrung des betrieblichen und gesellschaftlichen Friedens. Es wird daher für ein grundsätzliches Abmahnungsgebot bei Bagatelldiebstählen plädiert, welche weitergehend durch eine Wertgrenze definiert werden können. Weitere Maßnahmen, mit denen man missbräuchlichen Bagatelldeliktkündigungen vorbeugen oder auf Bagatelldelikte reagieren kann werden im Ausblick genannt.
PaRDeS. Zeitschrift der Vereinigung für Jüdische Studien e.V., möchte die fruchtbare und facettenreiche Kultur des Judentums sowie seine Berührungspunkte zur Umwelt in den unterschiedlichen Bereichen dokumentieren. Daneben dient die Zeitschrift als Forum zur Positionierung der Fächer Jüdische Studien und Judaistik innerhalb des wissenschaftlichen Diskurses sowie zur Diskussion ihrer historischen und gesellschaftlichen Verantwortung.
rezensiertes Werk: Leshonot yehude Sefarad ve-ha-mizrach vesifruyotehem / Languages and literatures of Sephardic and Oriental Jews. - Jerusalem : Misgav Yerushalayim, 2009. - 484 S. [hebr.] + 434 S. [lat.], ; Ill.
Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver.
Hartz IV im Umbruch
(2010)
I. Zankapfel „Dienstleistungsrichtlinie“ II. Regelungsmotive und Eckpunkte der Dienstleistungsrichtlinie III. Regelungsmotive und Eckpunkte des 4. VwVfÄndG IV. Ausgewählte Problemfelder der Dienstleistungsrichtlinie und ihrer Umsetzung aus kommunaler Perspektive V. Innovationsimpuls „Dienstleistungsrichtlinie“
Die Studienanfänger der Informatik haben in Deutschland sehr unterschiedliche Grundkenntnisse in der Programmierung. Dies führt immer wieder zu Schwierigkeiten in der Ausrichtung der Einführungsveranstaltungen. An der TU München wird seit dem Wintersemester 2008/2009 nun eine neue Art von Vorkursen angeboten. In nur 2,5 Tagen erstellen die Teilnehmer ein kleines objektorientiertes Programm. Dabei arbeiten sie weitestgehend alleine, unterstützt von einem studentischen Tutor. In dieser Arbeit sollen nun das Konzept der sogenannten „Vorprojekte“ sowie erste Forschungsansätze vorgestellt werden
I. Einleitung II. Die Zusammenführung von Arbeitslosen und Sozialhilfe als Paradigmenwechsel III. Verfassungsrechtliche Grundlage der Weiterentwicklung, Art. 91e GG IV. Überblick über die wichtigsten allgemeinen Regelungsinhalte V. Gemeinsame Einrichtung – „Jobcenter“ V.1. Struktur V.2. Personal V.3. Aufsicht V.4. IT; Datenschutz VI. Optionskommunen VI.1. Entfristung der bestehenden 69 Optionskommunen VI.2. Neuzulassungen in begrenztem Umfang und unter bestimmten Voraussetzungen VI.3. Gebietsreform VI.4. Aufsicht, Zielvereinbarungssystem VI.5. Finanzkontrolle VII. Übergreifende Strukturen VII.1. Kooperationsausschüsse auf Landesebene VII.2. Bund-Länder-Ausschuss VII.3. Örtliche Beiräte VII.4. Zielsteuerung, Benchmarking und Controlling VIII. Ausblick
In the most abstract definition of its operational semantics, the declarative and concurrent programming language CHR is trivially non-terminating for a significant class of programs. Common refinements of this definition, in closing the gap to real-world implementations, compromise on declarativity and/or concurrency. Building on recent work and the notion of persistent constraints, we introduce an operational semantics avoiding trivial non-termination without compromising on its essential features.
Macht und Ohnmacht
(2010)
Inhalt: Die Zivilgesellschaft Polens ; Worin liegen die Ursachen? ; Empowerment durch Europäisierung ; Finanzielle Unterstützung durch die EU ; New modes of governance – Neue Formen der Kooperation? ; Europäische Gesetzgebung vs. nationalstaatliche Politik ; Erfolge für sexuelle Minderheiten in Polen ; Zusammenfassung ; Literatur
Für die Integration und den Bedarf der hochqualifizierten Migranten auf dem Arbeitsmarkt in Deutschland gibt es viele Überlegungen, aber noch keine ausreichenden Lösungen. Dieser Artikel beschreibt eine praktische Lösung über die Umsetzung des Konzepts für die Qualifizierung der akademischen Migranten am Beispiel eines Studienprogramms in Informatik an der Universität Oldenburg.
Der Beitrag erinnert an das wechselvolle Leben des Friedensnobelpreisträgers Henry Dunant, sucht nach biografischen Wurzeln seines von Menschlichkeit und Würde getragenen Verhaltens und macht auf seine Leistungen aufmerksam. Er will aber auch die Frage nach der Bedeutung des humanitären Völkerrechts im Verhältnis von Krieg und Frieden nicht außer Acht lassen.
Deductive databases need general formulas in rule bodies, not only conjuctions of literals. This is well known since the work of Lloyd and Topor about extended logic programming. Of course, formulas must be restricted in such a way that they can be effectively evaluated in finite time, and produce only a finite number of new tuples (in each iteration of the TP-operator: the fixpoint can still be infinite). It is also necessary to respect binding restrictions of built-in predicates: many of these predicates can be executed only when certain arguments are ground. Whereas for standard logic programming rules, questions of safety, allowedness, and range-restriction are relatively easy and well understood, the situation for general formulas is a bit more complicated. We give a syntactic analysis of formulas that guarantees the necessary properties.
This paper is a critical examination of the relationship between reality and simulation. After a brief theoretical introduction, it unfolds its argument on an empirical level, using a thick game playing description of GRAND THEFT AUTO IV. This in-game experience serves as material for the subsequent analysis, in the course of which defining characteristics of computer game playing are formulated. Finally, on the basis of this analysis, the paper postulates the hypothesis that playing computer games like GTA IV promotes competency in deconstructing simulations and implements a cyclic logic of recreation.
Because software development is increasingly expensive and timeconsuming, software reuse gains importance. Aspect-oriented software development modularizes crosscutting concerns which enables their systematic reuse. Literature provides a number of AOP patterns and best practices for developing reusable aspects based on compelling examples for concerns like tracing, transactions and persistence. However, such best practices are lacking for systematically reusing invasive aspects. In this paper, we present the ‘callback mismatch problem’. This problem arises in the context of abstraction mismatch, in which the aspect is required to issue a callback to the base application. As a consequence, the composition of invasive aspects is cumbersome to implement, difficult to maintain and impossible to reuse. We motivate this problem in a real-world example, show that it persists in the current state-of-the-art, and outline the need for advanced aspectual composition mechanisms to deal with this.
In this paper we consider a simple syntactic extension of Answer Set Programming (ASP) for dealing with (nested) existential quantifiers and double negation in the rule bodies, in a close way to the recent proposal RASPL-1. The semantics for this extension just resorts to Equilibrium Logic (or, equivalently, to the General Theory of Stable Models), which provides a logic-programming interpretation for any arbitrary theory in the syntax of Predicate Calculus. We present a translation of this syntactic class into standard logic programs with variables (either disjunctive or normal, depending on the input rule heads), as those allowed by current ASP solvers. The translation relies on the introduction of auxiliary predicates and the main result shows that it preserves strong equivalence modulo the original signature.
Communication, simulation, interactive narrative and ubiquitous computing are widely accepted as perspectives in humancomputer interaction. This paper proposes play as another possible perspective. Everyday uses of the computer increasingly show signs of similarity to play. This is not discussed with regard to the so-called media society, the playful society, the growing cultural acceptance of the computer, the spread of computer games or a new version of Windows, but in view of the playful character of interaction with the computer that has always been part of it. The exploratory learning process involved with new software and the creative tasks that are often undertaken when using the computer may support this argument. Together with its high level of interactivity, these observations point to a sense of security, autonomy and freedom of the user that produce play and are, in turn, produced by play. This notion of play refers not to the playing of computer games, but to an implicit, abstract (or symbolic) process based on a certain attitude, the play spirit. This attitude is discussed regarding everyday computer use and related to the other mentioned perspectives.
Inhalt: Gründe für das Entstehen der Parteienfinanzierung aus dem Staatshaushalt ; Argumente für und gegen die Haushaltsfinanzierung politischer Parteien ; Finanzierung politischer Parteien in Polen nach 1989 ; Die Diskussion über das System der Finanzierung politischer Parteien in Polen ; Zusammenfassung ; Literatur
The issue of determining the time, when the Judaic communities have settled on Romanian land, is one of the most interesting and most delicate details that can be mentioned when talking about this ethnic group. The presence of the first Jewish communities in ancient times on this land was a “taboo” subject during many historical periods until 1989, but even after this year, studies oriented in this direction were more than sketchy. The article does not only bring a surplus of information in this domain, but manages to concentrate – almost didactically – the information and the archaeological proofs known and reknown to the present time. There are depicted material evidences as well as linguistic ones, toponymical and even religious. Also, the author tries to draw a parallel between some layouts of the Dacian state and Dacia Felix, conquered by the Romans, and the presence of some Judaic communities, not very numerous, made out of Judaic population who came together with the Roman conqueror.
Es geht nicht um "Versagen"!
(2010)
Die sich zunächst um Griechenland rankende Krise wurde zu einer europäischen, die den Euro bedroht. Allenthalben wird die Frage gestellt: Wer ist schuld? In deutschen Groß-Medien wird auf das Zögern der derzeitigen Bundesregierung verwiesen. Der Euro rutschte in die Gefahrenzone. Aber ist der Verweis auf falsche Politik die Antwort auf die Frage nach dem erneuten Aufbrechen der Finanzkrise?
rezensiertes Werk: Grossman, David: Eine Frau flieht vor einer Nachricht. - München : Hanser, 2009. - 728 S. ISBN 978-3-446-23397-3
Geographical turn
(2010)
Uno de los misterios más persistentes en América ha sido dilucidar el origen de los pueblos vernáculos y de sus edificios. Resolver ese misterio ha sido objetivo de numerosos viajeros. Entre 1832 y 1836, siguiendo la estela de viajeros como Alejandro de Humboldt, un supuesto barón checo, Frédéric de Waldeck, consigue vender al gobierno mexicano una empresa exploratoria por las ruinas mayas de Palenque y Uxmal. De esta expedición deja testimonio en numerosos diarios que permanecen inéditos hasta la fecha, y en el libro Voyage pittoresque et archéologique dans la Province d’ Yucatán (1838). En estos escritos ensaya algunas explicaciones sobre el origen de los mayas y, en sus disquisiciones y supuestos, hace continuas referencias al trabajo de Humboldt. En un artículo previo vimos cómo Waldeck asimila el origen de los mayas a uno de los grandes misterios bíblicos de raíz histórica como es el de las tribus perdidas de Israel. En este trabajo presentamos su segunda gran hipótesis: aquella que vincula a Yucatán con la India a través de un modo de interpretar y representar la realidad americana que tiene en el orientalismo europeo su episteme definitiva.
Background: Leishmania tarentolae, a unicellular eukaryotic protozoan, has been established as a novel host for recombinant protein production in recent years. Current protocols for protein expression in Leishmania are, however, time consuming and require extensive lab work in order to identify well-expressing cell lines. Here we established an alternative protein expression work-flow that employs recently engineered infrared fluorescence protein (IFP) as a suitable and easy-to-handle reporter protein for recombinant protein expression in Leishmania. As model proteins we tested three proteins from the plant Arabidopsis thaliana, including a NAC and a type-B ARR transcription factor. Results: IFP and IFP fusion proteins were expressed in Leishmania and rapidly detected in cells by deconvolution microscopy and in culture by infrared imaging of 96-well microtiter plates using small cell culture volumes (2 μL - 100 μL). Motility, shape and growth of Leishmania cells were not impaired by intracellular accumulation of IFP. In-cell detection of IFP and IFP fusion proteins was straightforward already at the beginning of the expression pipeline and thus allowed early pre-selection of well-expressing Leishmania clones. Furthermore, IFP fusion proteins retained infrared fluorescence after electrophoresis in denaturing SDS-polyacrylamide gels, allowing direct in-gel detection without the need to disassemble cast protein gels. Thus, parameters for scaling up protein production and streamlining purification routes can be easily optimized when employing IFP as reporter. Conclusions: Using IFP as biosensor we devised a protocol for rapid and convenient protein expression in Leishmania tarentolae. Our expression pipeline is superior to previously established methods in that it significantly reduces the hands-on-time and work load required for identifying well-expressing clones, refining protein production parameters and establishing purification protocols. The facile in-cell and in-gel detection tools built on IFP make Leishmania amenable for high-throughput expression of proteins from plant and animal sources.
Bei der Suche nach Möglichkeiten, die Weiterbildung für Informatiklehrkräfte auszubauen, bietet sich der Einsatz virtueller Lernräume an. Dieses Papier berichtet über ein Projekt, in dem ein exemplarischer virtueller Lernraum für kollaboratives Lernen in der Lehrerweiterbildung in Informatik theoriegeleitet erstellt, erprobt und bewertet wurde. Die erzielten Ergebnisse über das Nutzungsverhalten können für weitere E-Learningprojekte in der Lehrerbildung hilfreich sein. Der Schwerpunkt dieses Papiers liegt auf der Gestaltung des Lernraums unter Beachtung der speziellen Situation der Informatiklehrkräfte, nicht auf der didaktischen Aufbereitung der betreffenden Lerneinheit.
La lecture de Georg Forster (Reise um die Welt) et de Cornelius de Pauw (Recherches philosophiques sur les Américains) montre que les réflexions philosophiques sur l’Amérique effectuées sous le signe de la globalité et tenant compte de deux phases de mondialisation accélérée, qui doivent être nettement différenciées l’une de l’autre, sont toujours également des réflexions philosophiques sur l’Europe, son rôle dans le monde, dans l’histoire du monde et dans le commerce mondial. L’Histoire des deux Indes de Guillaume-Thomas Raynal, qui connaissait très bien l’œuvre de Pauw, reprends avec des formulations presque inchangées le discours sur la signification éminente pour l’histoire du monde de la découverte de l’Amérique. Il élargit de façon programmatique la perspective des Indes occidentales avec celle des Indes orientales et donne au commerce - comme cela figure déjà dans le titre même de l’œuvre - une place importante et même décisive pour les bouleversements qui avaient transformé le monde de façon si fondamentale depuis la fin du XVe siècle. Le discours sur les régions extra-européennes et en particulier sur l’Amérique avait au seuil du XIXe siècle commencé à se transformer de façon fondamentale avec la Voyage dans les Régions équinoxiales du Nouveau Continent, publié entre 1805 et 1838 comme un gigantesque livre de voyage avec trente in-folio grand format par Alexander von Humboldt. Humboldt avait développé dans ce cadre depuis 1805 une quantité incroyable d’études les plus diverses qui en tant que science globalisée et globalisante discutaient sans cesse ses propres résultats de recherche dans une perspective transdisciplinaire et comparative à un niveau mondial. Il concevait la science - à quelques exceptions près - non pas comme une force destructrice au service de l’expansion européenne mais comme une pratique du savoir au service de toute l’humanité.
Enforcing security policies to distributed systems is difficult, in particular, when a system contains untrusted components. We designed AspectKE*, a distributed AOP language based on a tuple space, to tackle this issue. In AspectKE*, aspects can enforce access control policies that depend on future behavior of running processes. One of the key language features is the predicates and functions that extract results of static program analysis, which are useful for defining security aspects that have to know about future behavior of a program. AspectKE* also provides a novel variable binding mechanism for pointcuts, so that pointcuts can uniformly specify join points based on both static and dynamic information about the program. Our implementation strategy performs fundamental static analysis at load-time, so as to retain runtime overheads minimal. We implemented a compiler for AspectKE*, and demonstrate usefulness of AspectKE* through a security aspect for a distributed chat system.
rezensiertes Werk: Stephan Dörschel: Fritz Wisten : bis Zum letzten Augenblick : ein jüdisches Theaterleben. - Hentrich & Hentrich : Berlin, 2009. - 112 S. (Jüdische Miniaturen ; 74) ISBN 978-3-938485-85-9
rezensiertes Werk: Schwartz, Yigal: Maamin beli Kenessija : 4 Massot al Aharon Appelfeld. - Tel Aviv : Dvir, 2009.- 181 S.
Das Verschwindenlassen
(2010)
Nach wie vor ist es der internationalen Gemeinschaft nicht gelungen, eine Lösung für die afghanische Krise zu präsentieren. Dabei macht die gegenwärtige Situation eine Beendigung des Kriegszustands sowie die Aufnahme von konstruktiven Verhandlungen unerlässlich. Die Genfer Verhandlungen der 1980er Jahre über den Abzug der Sowjetarmee aus Afghanistan könnten hierbei als Vorbild dienen.