TY - GEN T1 - Blattgold : ziviles Unbehagen Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-29359 ER - TY - GEN A1 - Donner, Stefanie A1 - Rößler, Dirk A1 - Strecker, Manfred A1 - Landgraf, Angela A1 - Ballato, Paolo T1 - Erweiterte Momententensorinversion und ihre seismotektonische Anwendung : Elbursgebirge, Nordiran T1 - Extended moment tensor inversion and its seismotectonic application : Alborz Mountains, Northern Iran N2 - Der Elburs im Norden Irans ist ein durch die Konvergenz der Arabischen und Eurasischen Platte verursachtes doppelt konvergentes Gebirge. Das komplexe System von Blattverschiebungen und Überschiebungen sowie die Aufnahme der Deformation im Elburs ist noch nicht sehr gut verstanden. Eine neu zu entwicklende Methode zur Inversion von seismischen Momententensoren, die unterschiedliche Beobachtungen verschiedener Stationstypen kombiniert invertiert, soll die bisher hauptsächlich strukturelle/geomorphologische Datengrundlage um Momententensoren auch kleinerer Magnituden (M < 4.5) erweitern. Dies ist die notwendige Grundlage für detaillierte seismotektonische Studien, die wiederum die Basis für seismische Gefährdungsanalysen bilden. KW - Momententensor KW - Iran KW - Seismotektonik KW - moment tensor KW - Iran KW - seismotectonics Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-29308 ER - TY - GEN A1 - Rößler, Dirk A1 - Hiemer, Stephan A1 - Bach, Christoph A1 - Delavaud, Elise A1 - Krüger, Frank A1 - Ohrnberger, Matthias A1 - Sauer, David A1 - Scherbaum, Frank A1 - Vollmer, Daniel T1 - Small-aperture seismic array monitors Vogtland earthquake swarm in 2008/09 N2 - The most recent intense earthquake swarm in the Vogtland lasted from 6 October 2008 until January 2009. Greatest magnitudes exceeded M3.5 several times in October making it the greatest swarm since 1985/86. In contrast to the swarms in 1985 and 2000, seismic moment release was concentrated near swarm onset. Focal area and temporal evolution are similar to the swarm in 2000. Work hypothysis: uprising upper-mantle fluids trigger swarm earthquakes at low stress level. To monitor the seismicity, the University of Potsdam operated a small aperture seismic array at 10 km epicentral distance between 18 October 2008 and 18 March 2009. Consisting of 12 seismic stations and 3 additional microphones, the array is capable of detecting earthquakes from larger to very low magnitudes (M<-1) as well as associated air waves. We use array techniques to determine properties of the incoming wavefield: noise, direct P and S waves, and converted phases. KW - Vogtland KW - Erdbebenschwarm 2008 KW - Arrayseismologie KW - Vogtland KW - West Bohemia KW - earthquake swarm KW - array seismology Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-29185 ER - TY - INPR A1 - Arnold, Holger T1 - A linearized DPLL calculus with clause learning (2nd, revised version) N2 - Many formal descriptions of DPLL-based SAT algorithms either do not include all essential proof techniques applied by modern SAT solvers or are bound to particular heuristics or data structures. This makes it difficult to analyze proof-theoretic properties or the search complexity of these algorithms. In this paper we try to improve this situation by developing a nondeterministic proof calculus that models the functioning of SAT algorithms based on the DPLL calculus with clause learning. This calculus is independent of implementation details yet precise enough to enable a formal analysis of realistic DPLL-based SAT algorithms. N2 - Viele formale Beschreibungen DPLL-basierter SAT-Algorithmen enthalten entweder nicht alle wesentlichen Beweistechniken, die in modernen SAT-Solvern implementiert sind, oder sind an bestimmte Heuristiken oder Datenstrukturen gebunden. Dies erschwert die Analyse beweistheoretischer Eigenschaften oder der Suchkomplexität derartiger Algorithmen. Mit diesem Artikel versuchen wir, diese Situation durch die Entwicklung eines nichtdeterministischen Beweiskalküls zu verbessern, der die Arbeitsweise von auf dem DPLL-Kalkül basierenden SAT-Algorithmen mit Klausellernen modelliert. Dieser Kalkül ist unabhängig von Implementierungsdetails, aber dennoch präzise genug, um eine formale Analyse realistischer DPLL-basierter SAT-Algorithmen zu ermöglichen. KW - Automatisches Beweisen KW - Logikkalkül KW - SAT KW - DPLL KW - Klausellernen KW - automated theorem proving KW - logical calculus KW - SAT KW - DPLL KW - clause learning Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-29080 ER - TY - BOOK A1 - Newiak, Monique T1 - Prüfungsurteile mit Dollar Unit Sampling : ein Vergleich von Fehlerschätzmethoden für Zwecke der Wirtschaftsprüfung: Praxis, Theorie, Simulation T3 - Statistische Diskussionsbeiträge - 30 KW - Dollar-Unit-Sampling KW - Stichprobenbildung KW - Stichprobenprüfung KW - Jahresabschlussprüfung Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-27854 ER - TY - GEN T1 - Blattgold : Kaukasisches Brennen Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-27830 ER - TY - GEN A1 - Brach von Gumppenberg, Markus T1 - Der Kaukasus : Symptome einer Krisenregion N2 - Am 8. August 2008 richtete sich alle mediale Aufmerksamkeit schlagartig von Beijing und den Olympischen Spielen auf den Kaukasus – genauer: auf Georgien. Unvorbereitet traf die Meldung über den Krieg im Kaukasus aber nur diejenigen, die glaubten, die „eingefrorenen Konflikte“ im Süden des Gebirgszuges seien beigelegt. Seit den Kriegen um die „abtrünnigen Teilrepubliken“ Georgiens, Südossetien und Abchasien, in den frühen 1990er Jahren sind diese jedoch nie zur Ruhe gekommen. KW - Kaukasus KW - Ethnien KW - politische Entwicklungen KW - Wirtschaft Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-27827 ER - TY - GEN A1 - Arnold, Hans T1 - Change? : Zur Präsidentschaft von Barack Obama N2 - Wie beständig ist der Mythos „Barack Obama“? Klar ist: Der neue Präsident tritt ein schweres Erbe an. Herausforderungen wie die Wirtschaftskrise, schwierige außen- und sicherheitspolitische Gegebenheiten und die Beziehungen zu Russland warten auf ihn. Der Autor, ein exzellenter Kenner der USA und ehemaliger Diplomat, beleuchtet die Situation der Vereinigten Staaten nach der Wahl. Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-27810 ER -