Universitätspublikationen
Refine
Year of publication
Document Type
- Article (13589)
- Part of Periodical (3483)
- Doctoral Thesis (3321)
- Contribution to a Periodical (2163)
- Book (2095)
- Working Paper (1888)
- Preprint (1669)
- Review (1063)
- Report (909)
- Conference Proceeding (699)
Language
- English (17277)
- German (13977)
- Portuguese (231)
- Spanish (123)
- Italian (66)
- French (64)
- Multiple languages (64)
- Turkish (12)
- Ukrainian (10)
- slo (7)
Keywords
- Deutschland (132)
- COVID-19 (95)
- inflammation (93)
- Financial Institutions (92)
- ECB (69)
- Capital Markets Union (67)
- SARS-CoV-2 (63)
- Financial Markets (61)
- Adorno (58)
- Banking Regulation (52)
Institute
- Medizin (6622)
- Präsidium (5120)
- Physik (3461)
- Wirtschaftswissenschaften (2296)
- Gesellschaftswissenschaften (2020)
- Biowissenschaften (1756)
- Frankfurt Institute for Advanced Studies (FIAS) (1666)
- Sustainable Architecture for Finance in Europe (SAFE) (1401)
- Biochemie und Chemie (1400)
- Informatik (1388)
The objective of this thesis is to develop new methodologies for formal verification of nonlinear analog circuits. Therefore, new approaches to discrete modeling of analog circuits, specification of analog circuit properties and formal verification algorithms are introduced. Formal approaches to verification of analog circuits are not yet introduced into industrial design flows and still subject to research. Formal verification proves specification conformance for all possible input conditions and all possible internal states of a circuit. Automatically proving that a model of the circuit satisfies a declarative machine-readable property specification is referred to as model checking. Equivalence checking proves the equivalence of two circuit implementations. Starting from the state of the art in modeling analog circuits for simulation-based verification, discrete modeling of analog circuits for state space-based formal verification methodologies is motivated in this thesis. In order to improve the discrete modeling of analog circuits, a new trajectory-directed partitioning algorithm was developed in the scope of this thesis. This new approach determines the partitioning of the state space parallel or orthogonal to the trajectories of the state space dynamics. Therewith, a high accuracy of the successor relation is achieved in combination with a lower number of states necessary for a discrete model of equal accuracy compared to the state-of-the-art hyperbox-approach. The mapping of the partitioning to a discrete analog transition structure (DATS) enables the application of formal verification algorithms. By analyzing digital specification concepts and the existing approaches to analog property specification, the requirements for a new specification language for analog properties have been discussed in this thesis. On the one hand, it shall meet the requirements for formal specification of verification approaches applied to DATS models. On the other hand, the language syntax shall be oriented on natural language phrases. By synthesis of these requirements, the analog specification language (ASL) was developed in the scope of this thesis. The verification algorithms for model checking, that were developed in combination with ASL for application to DATS models generated with the new trajectory-directed approach, offer a significant enhancement compared to the state of the art. In order to prepare a transition of signal-based to state space-based verification methodologies, an approach to transfer transient simulation results from non-formal test bench simulation flows into a partial state space representation in form of a DATS has been developed in the scope of this thesis. As has been demonstrated by examples, the same ASL specification that was developed for formal model checking on complete discrete models could be evaluated without modifications on transient simulation waveforms. An approach to counterexample generation for the formal ASL model checking methodology offers to generate transition sequences from a defined starting state to a specification-violating state for inspection in transient simulation environments. Based on this counterexample generation, a new formal verification methodology using complete state space-covering input stimuli was developed. By conducting a transient simulation with these complete state space-covering input stimuli, the circuit adopts every state and transition that were visited during stimulus generation. An alternative formal verification methodology is given by retransferring the transient simulation responses to a DATS model and by applying the ASL verification algorithms in combination with an ASL property specification. Moreover, the complete state space-covering input stimuli can be applied to develop a formal equivalence checking methodology. Therewith, the equivalence of two implementations can be proven for every inner state of both systems by comparing the transient simulation responses to the complete-coverage stimuli of both circuits. In order to visually inspect the results of the newly introduced verification methodologies, an approach to dynamic state space visualization using multi-parallel particle simulation was developed. Due to the particles being randomly distributed over the complete state space and moving corresponding to the state space dynamics, another perspective to the system's behavior is provided that covers the state space and hence offers formal results. The prototypic implementations of the formal verification methodologies developed in the scope of this thesis have been applied to several example circuits. The acquired results for the new approaches to discrete modeling, specification and verification algorithms all demonstrate the capability of the new verification methodologies to be applied to complex circuit blocks and their properties.
Hugo Chávez gewann 1998 mit 56,4% die Präsidentschaftswahlen. Er führte einen antineoliberalen Diskurs, vor allem gegen die Privatisierung des staatlichen Erdölkonzerns Petroleos de Venezuela S.A. (PDVSA) und versprach Wahlen zu einer verfassungsgebenden Versammlung. Am 2. Februar 1999 übernahm er das Amt. Am 25. Juli wurde die verfassungsgebende Versammlung gewählt, am 15. Dezember die neue Verfassung, die "Bolivarianische Verfassung", via Referendum mit etwa 80% angenommen. 2000 wurde Chávez, bei Wahlen gemäß der Verfassung, mit 59,7% der Stimmen erneut Präsident. Seine Wahlkampagne wurde von fast allen linken Parteien, Basisgewerkschaften, Indígena-, LandarbeiterInnen und Basisorganisationen unterstützt. Die Regierung besteht derzeit aus fünf Parteien und baut auf einer breiten Basis auf. ...
Hugo Chávez je leta 1989 s 56, 4% dobil predsedniške volitve. Uporabljal je protineoliberalni diskurz, še posebej proti privatizaciji državnega naftnega koncerna Petroleos de Venezuela S. A. (PDVSA) in obljubil volitve za ustavodajno skupšcino. Drugega februarja 1999 je prevzel mandat, 25. julija je bila izvoljena ustavodajna skupšcina, 15. decembra je bila preko referenduma z 80% glasov izvoljena nova ustava, "Bolivarijanska ustava". Leta 2000 je bil Chávez v skladu z novo ustavo in z 59,7% glasov ponovno izvoljen. Njegovo kampanjo so podpirale skoraj vse leve stranke, bazicni sindikati, staroselske kmetice in kmetje ter bazicne organizacije. Trenutno je vlada sestavljena iz petih strank in sloni na široki osnovi. ...
Wenn sich am 20. März der Beginn des Irakkrieges zum zweiten Mal jährt, werden über 30000 Iraker im Dienste privater Militärfirmen (PMF) stehen. Hinzu kommen 6000 bis 20000 Ausländer. PMF stellen damit die – nach den US-Streitkräften – zweitstärkste "Armee" im Irak. Die coalition of the willing (Koalition der Willigen) wird immer mehr zu einer coalition of the billing (Koalition der Rechnungsteller). In den letzten zehn Jahren unterzeichnete allein die US-Regierung über 3000 Verträge mit Privatunternehmen, um sich deren Dienstleistungen für ihre im Ausland stationierten Truppen zu sichern. Im Irak vergab die Bush-Regierung, einem Report des Centre for Public Integrity in Washington zufolge, Aufträge mit einem Gesamtvolumen von 48,7 Mrd. US-Dollar an 150 solcher privater Militärdienstleistungsunternehmen. Schon bei der Invasion wurden viele der hoch entwickelten Waffensysteme von Spezialisten bedient (so zum Beispiel Predator-Drohnen, Global Hawks, B-2 Stealth-Bomber). Im Irak obliegt es Mitarbeitern von PMF, Patrouille zu laufen, Gebäude und Infrastruktur zu bewachen und den Personenschutz zu stellen. Selbst das Personal in den irakischen Militärgefängnissen stammt von privaten Sicherheitsdiensten. So waren Mitarbeiter der PMF Caci und Titan in die Foltervorfälle im Abu-Ghraib-Gefängnis verstrickt. Aber auch Privatunternehmen greifen mittlerweile gerne auf die Dienste von PMF zurück. ...
Nach dem US-Kontingent, das im Dezember 2004 auf 150.000 Soldaten erhöht wurde, stellen die von den privaten Militärdienstleistern (PMC) gestellten Truppen die zweitstärkste "Armee" im Irak. Laut Angaben des PMC Custer Battles stehen über 30.000 Iraker und "viele Tausend andere" im Dienste von PMCs. Die Zahl der für PMCs aktiven Ausländer wird in verschiedenen Quellen auf 6.000 bis 20.000 geschätzt. Schon bei der Invasion im März 2003 wurden viele der hochentwickelten Waffensysteme auf den Kriegsschiffen im Golf von Spezialisten vier verschiedener PMCs bedient, ebenso die Waffensysteme der Predator-Drohnen, Global Hawks und B-2 Stealth-Bomber. Im Irak obliegt es Mitarbeitern von PMCs Patrouille zu laufen, Gebäude und Infrastruktur zu bewachen und für irakische sowie US-Vertreter die Leibwachen zu stellen. Selbst das Personal in den irakischen Militärgefängnissen stammt von privaten Sicherheitsdiensten. So waren auch Mitarbeiter der privaten Sicherheitsdienste Caci und Titan in die Foltervorfälle im Abu-Ghraib-Gefängnis verstrickt. Aber auch Privatunternehmen greifen im Irak auf die Dienste von PMCs zurück.
El proceso venezolano de transformación social es ampliamente desconocido en el exterior. Los medios se concentran principalmente en la persona de Chávez ignorando los amplios procesos de cambio y los movimientos emprendidos desde abajo. Las interrogantes que provocan dudas son muchas: ¿Hay realmente un proceso de transformación social en Venezuela? ¿Se está copiando el modelo cubano? ¿Como se puede confiar en Chávez que es un militar? ¿No es Chávez un autoritario? Y la mayoría de los que escriben y opinan lo hacen en base de informaciones que sacan de la prensa burguesa y sin averiguar lo que están repitiendo. El siguiente ensayo quiere dar unas llaves para poder entender el proceso venezolano. Después de ver qué es el bolivarianismo y la construcción especifica de la izquierda venezolana, como también la historia del ejercito venezolano, quiero presentar un cuadro breve sobre los cambios sociales y económicos y concentrarme en los Consejos Comunales, que juntos a los modelos de cogestión y autogestión en las fábricas y empresas, son vistos como pilares del fortalecimiento del poder popular para la "conformación de un Estado Comunal" que vaya sustituyendo al Estado burgués. ...
Der vorliegende Aufsatz analysiert die Bildungsreformen, die in Venezuela seit Antritt der Regierung unter Hugo Chávez im Februar 1999 in die Wege geleitet wurden. Nach einem kurzen historischen Überblick bis 1999 folgt eine Erörterung der grundlegenden Linien der Bildungspolitik. Daran schließt die Darstellung des neuen Modells der Escuelas Bolivarianas (Bolivarianische Schulen) an sowie der Misiones (Missionen) genannten Sonderprogramme im Bildungssektor, welche einen Schwerpunkt der Umsetzung des Anspruchs „Bildung für alle“ darstellen: Die Misión Robinson I, II und III für die Alphabetisierung und den Grundschulabschluss und die Misión Ribas für die weiterführende Schule. Darauf folgt die Beschreibung der Umsetzung der in der 1999 verabschiedeten Verfassung garantierten kostenlosen „Höheren Bildung für alle“ mittels der Misión Sucre und der Universidad Bolivariana de Venezuela (Bolivarianische Universität Venezuelas, UBV) sowie des Berufsbildungsprogramms Misión Vuelvan Caras. ...
Lange ist die Zeit vergangen, als die Amerikanische Unabhängigkeitserklärung den Einsatzvon Söldnern durch den britischen König als "völlig unwürdig einer zivilisierten Nation" bezeichnete. Heute sind die USA der weltweit größte Nutzer von Private Military Contractors (PMCs). Ein Markt mit rasanten Wachstumsraten, der vor dem Irakkrieg global noch etwa 100 Milliarden Dollar betrug und nun auf etwa 200 Milliarden angestiegen ist. ...
Entnahmestrategien für subgingivale Plaqueproben mittels semiquantitativer Polymerasekettenreaktion
(2008)
Von den etwa 700 verschiedenen Bakterienarten, die die Mundhöhle besiedeln, können etwa 300 Arten subgingival gefunden werden (Paster et al. 2001, 2006), und von diesen sind einige besonders häufig mit parodontaler Destruktion assoziiert (Socransky et al. 1998]. Die wichtigsten Keime sind: Aggregatibacter (früher: Actinobacillus) actinomycetemcomitans (Nørskov-Lauritsen & Kilian 2006), Tannerella forsythia, Porphyromonas gingivalis, Prevotella intermedia und Treponema denticola (Socransky et al. 1998). Verschiedene Untersuchungen konnten zeigen, dass A. actinomycetemcomitans (AA) in der Ätiologie von aggressiven Parodontalerkrankungen eine besondere Bedeutung zukommt (Bragd et al. 1985). Zahlreiche Untersuchungen konnten zeigen, dass eine mit AA assoziierte Parodontitis durch eine rein mechanische Entfernung des Biofilms von der Wurzeloberfläche nicht zuverlässig erfolgreich behandelt werden kann (Christersson et al. 1985, Kornman & Robertson 1985, Mombelli et al. 1994). Für die Entscheidung, ob zusätzlich zur mechanischen antiinfektiösen Therapie systemisch Antibiotika gegeben werden sollen, hat der Nachweis von AA also Bedeutung. Je nachdem, welche Komplexe subgingivaler Mikroorganismen sich nachweisen lassen, werden unterschiedliche Antibiotikaregime vorgeschlagen (Beikler et al. 2004). Ziele dieser Studie: Vergleich von Nachweishäufigkeit und Keimzahl nach Auswertung von gepoolten subgingivalen Plaqueproben mittels semiquantitativer PCR aus den tiefsten Taschen jedes Quadranten bzw. Sextanten. Methode: Es wurden 50 Patienten, die sich zur systematischen Parodontitistherapie in der Praxis von Dr. Matthias Mayer, MSD, Arndtstr. 14, 60325 Frankfurt, vorstellten und bei denen eine aggressive oder generalisierte schwere chronische Parodontitis diagnostiziert wurde, für diese Studie rekrutiert. Fur die Probenentnahme wurden jeweils die parodontalen Taschen mit der hochsten Sondierungstiefe eines jeden Quadranten ausgewahlt. Existierten mehrere solche Stellen mit gleichem Attachmentverlust, wurde die Stelle gewahlt, die Zeichen einer aktiven Entzundung, wie Bluten auf Sondieren oder Suppuration aufwies. Nach relativer Trockenlegung mittels Watterollen wurden jeweils 2 sterile Papierspitzen gleichzeitig an den ausgewahlten Stellen nach subgingival platziert und fur 20 Sekunden belassen. Anschliesend wurde jeweils eine Papierspitze von jeder Stelle in eines von 2 Transportgefasen gegeben, so dass fur denselben Patienten 2 gepoolte Proben von denselben Stellen entstanden (MT4). Anschliesend wurden von den tiefsten Stellen jedes der bisher nicht berucksichtigten Sextanten mittels jeweils einer Papierspitze in der oben beschriebenen Weise Plaqueproben entnommen. Diese beiden Papierspitzen wurden in eines der beiden Transportgefase gegeben (MT4¡÷MT6). Zur Analyse fur das Vorliegen von A. actinomycetemcomitans (AA), T. forsythia (TF), P. gingivalis (PG), P.intermedia (PI), T. denticola (TD), P. micros (PM), F. nucleatum (FN), C. rectus (CR), E. nodatum (PN), E. corrodens (EC), und Capnocytophaga species (CS) wurden die Proben mit einem kommerziellen PCR-DNS-Sondentest ausgewertet. (micro-IDent„µplus, Hain Lifescience GmbH, Hardwiesenstrase 1, 72147 Nehren, Deutschland). Nachweisrate und Klassifikation (0-4) der Bakterienmenge der MT4- und der MT6-Ergebnisse werden mittels Wilcoxon-Test fur verbundene Stichproben verglichen. Ergebnisse: Die Nachweisrate lag bei den MT6 Patienten bei folgenden untersuchten Bakterien: AA (MT4/MT6): 12%/16%, PG: 78%/80%, TF: 88%/94%, PI: 44%/46%, FN: beide 100%, CR: 80%/84%, und EC: 86%/88% höher als die Werte aus den Ergebnissen der MT4 analysierten Proben. Die Werte für die Spezies: TD (92%/88%), PM (74%/70%), PN (64%/56%), und CS (64%/52%) waren bei den MT4 Patienten höher. Keiner der vergleichenden Werte ergab einen statistisch signifikanten Unterschied. Schlussfolgerung: Die Nachweisrate von Aggregatibacter actinomycetemcomitans (AA), Porphyromonas gingivalis (Pg) und Tannerella forsythia (Tf) war statistisch insignifikant höher bei der Probenentnahme aus der tiefsten Tasche jedes Sextanten(MT6) eines Patienten mit unbehandelter Parodontitis als die Entnahme von nur vier Stellen (MT4). Jedoch ergaben die Werte keinen statistisch signifikanten Unterschied. Das bedeutet, die gepoolte Analyse subgingivaler Plaque ist mit 4 Entnahmestellen genauso verlässlich wie mit 6 Entnahmestellen um Parodotalpathogene bei einem Patienten nachzuweisen. PG, TF, TD, PI, FN, CR, und EC sind in 80 bis 100% aller Patienten mit unbehandelter aggresiver und generalisiert schwerer chronischer Parodotitis nachweisbar.
Interview with Dario Azzellini, author of The Business of War and the new documentary film, Comuna Under Construction. What is it about Venezuela that is so interesting? Since 2003 I have practically lived in Venezuela. What motivates me is that I am interested in the social transformation process happening here. It’s a different type of revolution, a new left that draws from all the experiences of the 60s, 70s, 80s and 90s. ...
La entrevista con Dario Azzellini se inició con mucha prisa en vista de que el autor de libro „El negocio de la guerra“, recientemente publicado por Monte Avila Editores, debia tomar un vuelo con destino a su pais de origen, Alemania. Aùn así, el Correo del Orinoco tuvo la oportunidad de conversar en exclusiva con el escrito acerca de su titulo y algo mas. ...
¿Hacia dónde va Venezuela?
(2008)
Recién un amigo investigador, italiano radicado en Barcelona me visitó en Caracas. Después de unos diez días me comentó entusiasmado que nunca había visto en algún país del mundo tanta gente participar, discutir, manifestar, opinar e intentando aprender más que en Venezuela. Eso sin diferencia de clase, género o pertenencia étnica. "Nunca he visto la democracia tan viva como aquí", me dijo cuando se despidió. ...
In den vergangenen Jahren sind in Venezuela, Bolivien und Ecuador Linksregierungen gewählt worden, die eine Wiederverstaatlichung der Erdöl- und Erdgasressourcen ihrer Länder zu ihrem wichtigsten Projekt erklärt haben. Mit dieser Politik verfolgen sie das Ziel, die Kontrolle über die Rohstoffe zurückzugewinnen und die daraus resultierenden Mehreinnahmen für die eigene Entwicklung zu nutzen. Darüber hinaus setzt Venezuela seinen Ölreichtum auch zur lateinamerikanischen Integration ein. Dieses Ansinnen weist durchaus Ähnlichkeiten mit der europäischen Montanunion der 50er Jahre auf. Allerdings sind im lateinamerikanischen Fall ausschließlich staatliche Unternehmen beteiligt; dadurch soll verhindert werden, dass der Löwenanteil der Erträge weiterhin in die Kassen der transnationalen Energiekonzerne fließt. ...
Der Militär Chávez ist der Hoffnungsträger der sozialen Bewegung in Venezuela. Seine Rolle ist aber ambivalent. Einerseits stützt er die zunehmende Macht der Basisarbeit. Anderseits scheint Chávez ihr alleiniger Garant der Beteiligung und schwächt so die Selbstorganisation wieder. Klientelistische Strukturen, wachsende Korruption und das gescheiterte Verfassungsreferendum zeigen die Grenzen des jetzigen Transformationsprozesses auf.
Die neuen Söldner
(2008)
Bezahlte Erbringer von militärischen Dienstleistungen, Söldner genannt, sind in der Kriegsgeschichte nicht unbekannt. Mit der Erfindung der Privaten Militärunternehmen, der Private Military Contractors (PMC) und Private Security Contractors (PSC) Anfang der 1990er Jahre wurde das Geschäft allerdings in den vermeintlich »sauberen« Wirtschaftsbereich überführt. Somit können die Unternehmen offen rekrutieren und ihre Dienstleistungen auf dem Weltmarkt anbieten. Die Industrie der neuen Söldner hat sich in den vergangenen 20 Jahren weltweit entwickelt und PMC und PSC aus den USA, Großbritannien, Israel, Frankreich, Deutschland, Australien, Russland, Rumänien, Bulgarien und anderen Länder bieten Dienstleistungen jeder Art an. Hoch professionelle Unternehmen aus den USA und Großbritannien stellen jedoch mehr als 70 Prozent der Militärdienstleistungen rund um den Globus zur Verfügung. Sie kommen vor allem im Irak und Afghanistan, aber auch in Kolumbien, Somalia, Sudan und anderen Ländern zum Einsatz. ...
Nach ihrer angeblichen Demobilisierung in Kolumbien im Jahr 2003 begannen die Paramilitärs, massiv nach Venezuela einzusickern. Von den Grenzgebieten aus hatten sie sich zunächst im Gebiet des Andenkorridors im Nordwesten Venezuelas ausgebreitet. Sogar logistische Zentren zur Unterstützung der konterrevolutionären Aktivitäten einschließlich der Anwesenheit ausländischer Spezialisten soll es in der Region geben. Militärstrategischer Logik folgend wird nach dem Andenkorridor die Paramilitärpräsenz im Zentrum, also in Caracas und dem angrenzenden Bundesstaat Miranda, gestärkt. Als letztes wird der Aufbau einer »Ostfront« entlang der Achse Sucre-Delta/Amacuro/Bolívar, den drei östlichsten Bundesstaaten, sichtbar. (...)
Venezuela steht wegen seiner großen Rohstoffreichtümer im Blickpunkt der Vereinigten Staaten. Aber das besondere Augenmerk der Hegemonialmacht gilt dem bolivarischen Prozeß in Venezuela, denn das Land spielt eine wichtige Rolle bei der Integration des Kontinents und der damit verbundenen Möglichkeiten für fundamentale Veränderungen, die Venezuelas internationale Politik anderen Ländern eröffnet. ...
El presente ensayo resume y analiza los diferentes esfuerzos organizacionales del gobierno bolivariano de Venezuela de alcanzar una democratización de la propiedad y administración de los medios de producción. Las diferentes iniciativas y medidas adoptadas desde el 2000 – primero reforzar el cooperativismos, luego la creación de Empresas de Producción Social (EPS) y finalmente las Empresas Socialistas, como tambien el conccepto del desarrollo endógeno, orientación normativa de la organización productiva y de los programas estadales de formación laboral, son presentados y analizados con visión crítica. En respecto a la organización interna de lugares de producción se hace un análisis crítico de los modelos de cogestión, autogestión y control obrero mirando los logros y las fallas recurriendo a trabajo de campo hecho en tres fábricas: La fábrica de aluminio Alcasa; la papelera Invepal y la fábrica de válvulas Inveval. PALABRAS-CLAVE: economia solidária; autogestión; Venezuela.
Pocas tendencias son más estables y reconocibles en los sistemas políticos occidentales como la que conlleva la restricción sistemática de derechos y libertades básicas, por ejemplo el derecho de reunión o la libertad de expresión. El autor analiza cómo se ha afianzado y se desarrollará esa tendencia en Europa.