Refine
Year of publication
- 2010 (249) (remove)
Document Type
- Article (149)
- 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 (174)
- English (64)
- Spanish (8)
- Multiple languages (2)
- French (1)
Is part of the Bibliography
- no (249) (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)
- Ansichten der Kordilleren und Monumente der eingeborenen Völker Amerikas (3)
- EU (3)
- Iran (3)
- Vues des Cordilleres (3)
- middleware (3)
- Afghanistan (2)
- Anreize (2)
- Arrayseismologie (2)
- Außenpolitik (2)
- Cuba (2)
- Didaktik (2)
- Eliten (2)
- Erdbebenkatalog (2)
- Erdbebenschwarm 2008/09 (2)
- Foreign Policy (2)
- Forschungsmethode (2)
- Globalisierung (2)
- Klimapolitik (2)
- Lehrerbildung (2)
- Lehrereffektivität (2)
- Unterricht (2)
- Vogtland/West Bohemia (2)
- Vogtland/Westböhmen (2)
- array seismology (2)
- didactics (2)
- earthquake catalog (2)
- earthquake swarm 2008/09 (2)
- incentives (2)
- instruction (2)
- research method (2)
- teacher effectiveness (2)
- teacher training (2)
- 1799-1804 (1)
- 1800-1830 (1)
- Africa (1)
- Afrika (1)
- Alexander-von-Humboldt-Forschungsstelle (1)
- Ansichten der Natur (1)
- Antipersistence (1)
- Arbeitsmarktpolitik (1)
- Aristoteles (1)
- Armed Forces (1)
- Aspektorientierte Softwareentwicklung (1)
- Ausbildung (1)
- Bagatelldelikt (1)
- Bagatelle (1)
- Betriebssysteme (1)
- Bibel (1)
- Border Control (1)
- Briefe (1)
- Chile (1)
- Christoph Girtanner (1)
- Clientelism (1)
- Climate Policy (1)
- Coccinelle (1)
- Conflict resolution (1)
- Conscription (1)
- Constraint Solving (1)
- Cornelius de Pauw (1)
- Deduction (1)
- Deutsche Außenpolitik (1)
- Die Jugendbriefe Alexander von Humboldts (1)
- Die Straße der Vulkane - Humboldt in Ecuador (1)
- Donovani (1)
- Doppelte Buchführung (1)
- Dtn. 6:18 (1)
- Dunant (1)
- Economic Policy (1)
- Ecuador (1)
- Elite (1)
- Emilio Roig de Leuchsenring (1)
- Ensayo Político cobre la isla de Cuba (1)
- Euro (1)
- F. W. J. Schelling (1)
- Fernando Ortiz (1)
- Financial Policy (1)
- Finanzpolitik (1)
- Francisco de Arango y Parreño (1)
- Friedens- und Konfliktforschung (1)
- Frédéric de Waldeck (1)
- Gebrüder Humboldt (1)
- Gemeindehaushaltsrecht (1)
- Geneva Convention (1)
- Genfer Konvention (1)
- Geographie (1)
- Geophysik (1)
- Georg Forster (1)
- German Foreign Policy (1)
- Geschichtsphilosophie (1)
- Gewalt (1)
- Gleichstellungspolitik (1)
- Global Economic Crisis (1)
- Global Governance (1)
- Globalisation (1)
- Greece (1)
- Grenzen (1)
- Grenzkontrolle (1)
- Griechenland (1)
- Guillaume-Thomas Raynal (1)
- Halacha (1)
- Halakhah (1)
- Haushaltsrecht (1)
- Herodotos (1)
- Historial intelectual (1)
- History of pattern occurrences (1)
- Hochschuldidaktik (1)
- Humboldt und Lateinamerika (1)
- Humboldt-Rezeption (1)
- Ideengeschichte (1)
- Ilse Jahn (1)
- Informatik (1)
- International Organisations (1)
- International Politics (1)
- International Relations (1)
- Internationale Beziehungen (1)
- Internationale Organisationen (1)
- Internationale Politik (1)
- Islam (1)
- Jena (1)
- Jenaer Klassik (1)
- Johann Wolfgang von Goethe (1)
- José Antonio Saco (1)
- José de la Luz y Caballero (1)
- Judaism (1)
- Judentum (1)
- Jugendbriefe (1)
- Jules Vernes (1)
- Justus Christian Loder (1)
- Kanarische Inseln (1)
- Kant (1)
- Klientelismus (1)
- Konfliktbewältigung (1)
- Kraków (1)
- Krieg (1)
- Kyoto Protocol (1)
- Kyoto-Protokoll (1)
- Kündigung (1)
- Lehrhospitation (1)
- Logic Programming (1)
- Logics (1)
- Länder (1)
- L’Histoire des deux Indes (1)
- Maya (1)
- Medien (1)
- Middleware (1)
- Migration (1)
- Miguel Barnet (1)
- Militär (1)
- Mineralogie (1)
- Minería (1)
- Minijobs (1)
- Monetary Policy (1)
- Monte Carlo testing (1)
- México (1)
- Nachlass (1)
- Naturwissenschaft (1)
- Naturwissenschaftler (1)
- Optimization (1)
- Orientalismus (1)
- Palenque (1)
- Peace and Conflict Studies (1)
- Perú (1)
- Philolaos aus Kroton (1)
- Planing (1)
- Professionalisierung der Hochschullehre (1)
- Prolog (1)
- Pythagoreer (1)
- Ramón de la Sagra (1)
- Recherches philosophiques sur les Américains (1)
- Red Cross (1)
- Reise in die Äquinoktial-Gegenden des Neuen Kontinents (1)
- Reise um die Welt (1)
- Relflexion des Lehrhandelns (1)
- Rotes Kreuz (1)
- Solferino (1)
- Soviet Union (1)
- Sowjetunion (1)
- System (1)
- Systemsoftware (1)
- Tagebuch (1)
- The media (1)
- Theocracy (1)
- Theokratie (1)
- Transsexualität (1)
- UN (1)
- Ulrike Leitner (1)
- Universität Jena (1)
- Unternehmensethik (1)
- Uxmal (1)
- VIL (1)
- Vidal Morales y Morales (1)
- Violence (1)
- Virtuelle Maschinen (1)
- Vistas de las cordilleras y monumentos de los pueblos indígenas de América (1)
- Voyage dans les Régions équinoxiales du Nouveau Continent (1)
- Wahlen (1)
- War (1)
- Wehrpflicht (1)
- Weltwirtschaftskrise (1)
- Wilhelm von Humboldt (1)
- Wirtschaftsethik (1)
- Wirtschaftspolitik (1)
- Wissenschaftsbeziehungen (1)
- Wissenschaftsgeschichte (1)
- Wissenschaftspraxis (1)
- Wissenschaftstheorie (1)
- Wohlfahrtsstaatsforschung (1)
- Währungspolitik (1)
- XM (1)
- Yucatán (1)
- accelerated life time model (1)
- aspect adapter (1)
- aspect oriented programming (1)
- aspect-oriented (1)
- aspects (1)
- aspectualization (1)
- borders (1)
- bottom–up (1)
- bug tracking (1)
- built–in predicates (1)
- business ethics (1)
- capital and ownership structure (1)
- censoring (1)
- climate policy (1)
- concurrency (1)
- consistency (1)
- cosmopolitismo (1)
- crosscutting wrappers (1)
- deductive databases (1)
- dismissal (1)
- distributed systems (1)
- domestic work (1)
- dynamic reconfiguration (1)
- economic ethics (1)
- education (1)
- efficient market hypothesis (1)
- elections (1)
- employment policies (1)
- extensions of logic programs (1)
- eye movements (1)
- family policies (1)
- forward / backward chaining (1)
- function symbols (1)
- generalized logic programs (1)
- goodness-of-fit testing (1)
- haushaltsnahe Dienstleistung (1)
- higher education (1)
- household services (1)
- humanitäres Völkerrecht (1)
- informatics (1)
- international humanitarian law (1)
- invasive aspects (1)
- knowledge representation (1)
- learning theory (1)
- long memory (1)
- low wage sector (1)
- mergers and acquisitions (1)
- migration (1)
- multi-valued logic (1)
- neu gelesen (1)
- nonparametric regression estimation (1)
- operating systems (1)
- paraconsistency (1)
- parafoveal preview (1)
- petty offence (1)
- physikalische Geographie (1)
- professionalisation of teaching in higher education (1)
- program analysis (1)
- programming language (1)
- reading (1)
- reconciliation work and family (1)
- reflection (1)
- relfection on teaching (1)
- reusable aspects (1)
- security policies (1)
- semantic priming (1)
- semantics (1)
- service-oriented (1)
- stock returns (1)
- stratification (1)
- subjektwissenschaftliche Lerntheorie (1)
- systems software (1)
- top– down (1)
- transsexuality (1)
- tuple spaces (1)
- views (1)
- virtual machines (1)
- von Humboldts Hand (1)
- élites cubanas (1)
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)