Universitätspublikationen
Refine
Year of publication
- 2011 (1240) (remove)
Document Type
- Article (444)
- Doctoral Thesis (210)
- Part of Periodical (139)
- Book (131)
- Report (75)
- Working Paper (73)
- Conference Proceeding (66)
- Review (34)
- Bachelor Thesis (18)
- Part of a Book (10)
Language
- German (655)
- English (566)
- Portuguese (8)
- Spanish (4)
- Multiple languages (3)
- French (2)
- Italian (1)
- Norwegian Bokmål (1)
Keywords
- Wikileaks (12)
- Deutschland (10)
- Workshop (6)
- Leaking (5)
- Axel Honneth (4)
- Europäische Währungsunion (4)
- Frankfurt <Main> / Universität (4)
- Geheimnisverrat (4)
- USA (4)
- teoria crítica (4)
Institute
- Medizin (201)
- Präsidium (140)
- Physik (111)
- Gesellschaftswissenschaften (96)
- Biochemie und Chemie (89)
- Biowissenschaften (67)
- Wirtschaftswissenschaften (59)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (56)
- Center for Financial Studies (CFS) (54)
- Geowissenschaften (52)
- Geschichtswissenschaften (50)
- Pharmazie (35)
- Frankfurt Institute for Advanced Studies (FIAS) (32)
- House of Finance (HoF) (32)
- Informatik (31)
- Rechtswissenschaft (31)
- Psychologie (30)
- Kulturwissenschaften (28)
- E-Finance Lab e.V. (27)
- Institut für Ökologie, Evolution und Diversität (27)
- Philosophie (25)
- Sustainable Architecture for Finance in Europe (SAFE) (25)
- Mathematik (22)
- Universitätsbibliothek (15)
- Erziehungswissenschaften (14)
- Geographie (14)
- Institut für Sozialforschung (IFS) (14)
- Senckenbergische Naturforschende Gesellschaft (14)
- Institut für Wirtschaft, Arbeit, und Kultur (IWAK) (13)
- Neuere Philologien (13)
- Institut für sozial-ökologische Forschung (ISOE) (11)
- Sprachwissenschaften (11)
- Fachübergreifend (10)
- Biodiversität und Klima Forschungszentrum (BiK-F) (9)
- Evangelische Theologie (9)
- Institute for Law and Finance (ILF) (9)
- Sportwissenschaften (9)
- Zentrum für Arzneimittelforschung, Entwicklung und Sicherheit (ZAFES) (9)
- Georg-Speyer-Haus (8)
- Institute for Monetary and Financial Stability (IMFS) (8)
- Exzellenzcluster Makromolekulare Komplexe (6)
- Interdisziplinäres Zentrum für Ostasienstudien (IZO) (6)
- Katholische Theologie (5)
- Sonderforschungsbereiche / Forschungskollegs (4)
- Zentrum für Biomolekulare Magnetische Resonanz (BMRZ) (4)
- Biochemie, Chemie und Pharmazie (2)
- Cornelia Goethe Centrum für Frauenstudien und die Erforschung der Geschlechterverhältnisse (CGC) (2)
- Extern (2)
- Frobenius Institut (2)
- Gleichstellungsbüro (2)
- Hessische Stiftung für Friedens- und Konfliktforschung (HSFK) (2)
- Zentrum für Interdisziplinäre Afrikaforschung (ZIAF) (2)
- Akademie für Bildungsforschung und Lehrerbildung (bisher: Zentrum für Lehrerbildung und Schul- und Unterrichtsforschung) (1)
- Center for Scientific Computing (CSC) (1)
- Centre for Drug Research (1)
- Europäische Akademie der Arbeit in der Universität Frankfurt am Main (1)
- Goethe-Zentrum für Wissenschaftliches Rechnen (G-CSC) (1)
- Institut für Religionsphilosophische Forschung (1)
- LOEWE-Schwerpunkt Außergerichtliche und gerichtliche Konfliktlösung (1)
- MPI für Biophysik (1)
- MPI für Hirnforschung (1)
- Sprach- und Kulturwissenschaften (1)
- Starker Start ins Studium: Qualitätspakt Lehre (1)
- Zentrale Einrichtung (1)
- Zentrum für Weiterbildung (1)
Capoeta damascina (Teleostei: Cyprinidae) is one of the most common freshwater fish species, found throughout the Levant, Mesopotamia, Turkey and Iran. According to the state of knowledge prior to this study, C. damascina, which is distributed over a wide range of isolated water bodies, was not a well-defined species. It was questionable whether it represents a single species or a complex of closely related species with high intraspecific and comparatively low interspecific variability. The goal of this study was to investigate the taxonomy, systematic position of the C. damascina species complex and the phylogenetic relationships among its members, based on morphological features as well as molecular phylogeny. Samples obtained from throughout the geographic range of this species complex were subjected to comparative morphological analyses in order to define, properly diagnose and separate species within the C. damascina complex. To elucidate phylogenetic relationships among members of the C. damascina species complex, samples were subjected to genetic analyses, using two molecular markers targeting the mitochondrial cytochrome oxidase I (COI, n = 103) and the two adjacent divergence regions (D1-D2) of the nuclear 28S rRNA genes (LSU, n = 65). Based on morphological and molecular genetic data, six closely related species were recognized within the C. damascina complex: C. buhsei, C. caelestis, C. damascina, C. saadii, C. umbla and an undescribed species, Capoeta sp.1. Analyses of the morphometric and meristic data obtained in this study revealed phenotypic variability among the various populations within a species and among the different species. Such differences in morphological characters reflect genetic differences, environmentally induced phenotypic variation or both, as the meristic phenotype of fish is sometimes a consequence of environmental parameters acting on the genotype. Based on phylogenetic analyses, two main lineages were identified within the C. damascina species complex: a western lineage represented by C. caelestis, C. damascina and C. umbla and an eastern lineage represented by C. buhsei, C. saadii and Capoeta sp.1. The close phylogenetic relationships between C. damascina and C. umbla and the sharing of same haplotypes between one specimen of C. damascina from Euphrates and another of C. umbla from Tigris reflect one of three possibilites: recent speciation, mitochondrial introgression or a combination of both. The results obtained in this study indicate that speciation of the above-mentioned six taxa is quite recent and that their dispersal and present-day distribution can be related to Pleistocene events. The drying out of the Persian Gulf, probably during one of the first glacials of the Pleistocene, led the ancestor of the C. damascina species complex in Mesopotamia to reach the rivers of the Gulf and of Hormuz basins and differentiate there, giving rise to the eastern lineage (ancestor of C. buhsei, C. saadii and Capoeta sp.1). As connections presumably existed among the different river drainages and basins in Iran during the wet periods of the Pleistocene, the ancestor of C. buhsei, C. saadii and Capoeta sp.1 was subsequently able to colonize the various Iranian drainages and differentiate there, giving rise to C. buhsei, C. saadii and Capoeta sp.1. After the separation from the eastern lineage, the western lineage, represented by the ancestor of C. damascina, C. umbla and C. caelestis, most likely reached the Levant from the Tigris-Euphrates system during the Pleistocene glacials, when river connections existed in the regions of the upper courses of Ceyhan Nehri (southern Turkey) and some western affluents to the Euphrates. From Ceyhan Nehri, it dispersed into other rivers in southern Turkey during Pleistocene periods of low sea levels until it reached Göksu Nehri and evolved into C. caelestis. The sister population differentiated into C. damascina and C. umbla. Based on the results obtained in this study, it is likely that C. damascina colonized the Levant and southern Turkey during the Pleistocene glacials. This is well supported by the low genetic variability among the C. damascina populations. Direct connections existed among the river drainages in the Levant during the Pleistocene periods of low sea level, thus serving as a pathway for the dispersal of C. damascina. The results of this study provide a coherent picture of the taxonomic position, phylogenetic relationships and evolutionary history of the C. damascina species complex and explain present patterns of distribution considering paleogeographic events.
Background: Although literature provides support for cognitive behavioral therapy (CBT) as an efficacious intervention for social phobia, more research is needed to improve treatments for children. Methods: Forty four Caucasian children (ages 8-14) meeting diagnostic criteria of social phobia according to the Diagnostic and Statistical Manual of Mental Disorders (4th ed.; APA, 1994) were randomly allocated to either a newly developed CBT program focusing on cognition according to the model of Clark and Wells (n = 21) or a wait-list control group (n = 23). The primary outcome measure was clinical improvement. Secondary outcomes included improvements in anxiety coping, dysfunctional cognitions, interaction frequency and comorbid symptoms. Outcome measures included child report and clinican completed measures as well as a diagnostic interview. Results: Significant differences between treatment participants (4 dropouts) and controls (2 dropouts) were observed at post test on the German version of the Social Phobia and Anxiety Inventory for Children. Furthermore, in the treatment group, significantly more children were free of diagnosis than in wait-list group at post-test. Additional child completed and clinician completed measures support the results. Discussion: The study is a first step towards investigating whether CBT focusing on cognition is efficacious in treating children with social phobia. Future research will need to compare this treatment to an active treatment group. There remain the questions of whether the effect of the treatment is specific to the disorder and whether the underlying theoretical model is adequate. Conclusion: Preliminary support is provided for the efficacy of the cognitive behavioral treatment focusing on cognition in socially phobic children. Active comparators should be established with other evidence-based CBT programs for anxiety disorders, which differ significantly in their dosage and type of cognitive interventions from those of the manual under evaluation (e.g. Coping Cat).
In the microstructure literature, information asymmetry is an important determinant of market liquidity. The classic setting is that uninformed dedicated liquidity suppliers charge price concessions when incoming market orders are likely to be informationally motivated. In limit order book markets, however, this relationship is less clear, as market participants can switch roles, and freely choose to immediately demand or patiently supply liquidity by submitting either market or limit orders. We study the importance of information asymmetry in limit order books based on a recent sample of thirty German DAX stocks. We find that Hasbrouck’s (1991) measure of trade informativeness Granger-causes book liquidity, in particular that required to fill large market orders. Picking-off risk due to public news induced volatility is more important for top-of-the book liquidity supply. In our multivariate analysis we control for volatility, trading volume, trading intensity and order imbalance to isolate the effect of trade informativeness on book liquidity. JEL Classification: G14 Keywords: Price Impact of Trades , Trading Intensity , Dynamic Duration Models, Spread Decomposition Models , Adverse Selection Risk
We revisit the role of time in measuring the price impact of trades using a new empirical method that combines spread decomposition and dynamic duration modeling. Previous studies which have addressed the issue in a vector-autoregressive framework conclude that times when markets are most active are times when there is an increased presence of informed trading. Our empirical analysis based on recent European and U.S. data offers challenging new evidence. We find that as trade intensity increases, the informativeness of trades tends to decrease. This result is consistent with the predictions of Admati and Pfleiderer’s (1988) rational expectations model, and also with models of dynamic trading like those proposed by Parlour (1998) and Foucault (1999). Our results cast doubt on the common wisdom that fast markets bear particularly high adverse selection risks for uninformed market participants. JEL Classification: G10, C32 Keywords: Price Impact of Trades, Trading Intensity, Dynamic Duration Models, Spread Decomposition Models, Adverse Selection Risk
We present an intertemporal consumption model of consumer investment in financial literacy. Consumers benefit from such investment because their stock of financial literacy allows them to increase the returns on their wealth. Since literacy depreciates over time and has a cost in terms of current consumption, the model determines an optimal investment in literacy. The model shows that financial literacy and wealth are determined jointly, and are positively correlated over the life cycle. Empirically, the model leads to an instrumental variables approach, in which the initial stock of financial literacy (as measured by math performance in school) is used as an instrument for the current stock of literacy. Using microeconomic and aggregate data, we find a strong effect of financial literacy on wealth accumulation and national saving, and also show that ordinary least squares estimates underestate the impact of financial literacy on saving. JEL Classification: E2, D8, G1, J24 Keywords: Financial Literacy, Cognitive Abilities, Human Capital, Saving
We analytically show that a common across rich/poor individuals Stone-Geary utility function with subsistence consumption in the context of a simple two-asset portfolio-choice model is capable of qualitatively and quantitatively explaining: (i) the higher saving rates of the rich, (ii) the higher fraction of personal wealth held in risky assets by the rich, and (iii) the higher volatility of consumption of the wealthier. On the contrary, time-variant “keeping-up-with-the-Joneses” weighted average consumption which plays the role of moving benchmark subsistence consumption gives the same portfolio composition and saving rates across the rich and the poor, failing to reconcile the model with what micro data say. JEL Classification: G11, D91, E21, D81, D14, D11
Background: The interferon-inducible immunity-related GTPases (IRG proteins/p47 GTPases) are a distinctive family of GTPases that function as powerful cell-autonomous resistance factors. The IRG protein, Irga6 (IIGP1), participates in the disruption of the vacuolar membrane surrounding the intracellular parasite, Toxoplasma gondii, through which it communicates with its cellular hosts. Some aspects of the protein's behaviour have suggested a dynamin-like molecular mode of action, in that the energy released by GTP hydrolysis is transduced into mechanical work that results in deformation and ultimately rupture of the vacuolar membrane. Results: Irga6 forms GTP-dependent oligomers in vitro and thereby activates hydrolysis of the GTP substrate. In this study we define the catalytic G-domain interface by mutagenesis and present a structural model, of how GTP hydrolysis is activated in Irga6 complexes, based on the substrate-twinning reaction mechanism of the signal recognition particle (SRP) and its receptor (SRalpha). In conformity with this model, we show that the bound nucleotide is part of the catalytic interface and that the 3'hydroxyl of the GTP ribose bound to each subunit is essential for trans-activation of hydrolysis of the GTP bound to the other subunit. We show that both positive and negative regulatory interactions between IRG proteins occur via the catalytic interface. Furthermore, mutations that disrupt the catalytic interface also prevent Irga6 from accumulating on the parasitophorous vacuole membrane of T. gondii, showing that GTP-dependent Irga6 activation is an essential component of the resistance mechanism. Conclusions: The catalytic interface of Irga6 defined in the present experiments can probably be used as a paradigm for the nucleotide-dependent interactions of all members of the large family of IRG GTPases, both activating and regulatory. Understanding the activation mechanism of Irga6 will help to explain the mechanism by which IRG proteins exercise their resistance function. We find no support from sequence or G-domain structure for the idea that IRG proteins and the SRP GTPases have a common phylogenetic origin. It therefore seems probable, if surprising, that the substrate-assisted catalytic mechanism has been independently evolved in the two protein families.
Background: Although being considered as a rarely observed HIV-1 protease mutation in clinical isolates, the L76V-prevalence increased 1998-2008 in some European countries most likely due to the approval of Lopinavir, Amprenavir and Darunavir which can select L76V. Beside an enhancement of resistance, L76V is also discussed to confer hypersusceptibility to the drugs Atazanavir and Saquinavir which might enable new treatment strategies by trying to take advantage of particular mutations. Results: Based on a cohort of 47 L76V-positive patients, we examined if there might exist a clinical advantage for L76V-positive patients concerning long-term success of PI-containing regimens in patients with limited therapy options. Genotypic- and phenotypic HIV-resistance tests from 47 mostly multi-resistant, L76V-positive patients throughout Germany were accomplished retrospectively 1999-2009. Five genotype-based drug-susceptibility predictions received from online interpretation-tools for Atazanavir, Saquinavir, Amprenavir and Lopinavir, were compared to phenotype-based predictions that were determined by using a recombinant virus assay along with a Virtual Phenotype™(Virco). The clinical outcome of the L76V-adapted follow-up therapy was determined by monitoring viral load for 96 weeks. Conclusions: In this analysis, the mostly used interpretation systems overestimated the L76V-mutation concerning Atazanavir- and SQV resistance. In fact, a clear benefit in drug susceptibility for these drugs was observed in phenotype analysis after establishment of L76V. More importantly, long-term therapy success was significantly higher in patients receiving Atazanavir and/or Saquinavir plus one L76V-selecting drug compared to patients without L76V-selecting agents (p = 0.002). In case of L76V-occurrence ATV and/or SQV may represent encouraging options for patients in deep salvage situations.
Background: The combination of high-throughput transcript profiling and next-generation sequencing technologies is a prerequisite for genome-wide comprehensive transcriptome analysis. Our recent innovation of deepSuperSAGE is based on an advanced SuperSAGE protocol and its combination with massively parallel pyrosequencing on Roche's 454 sequencing platform. As a demonstration of the power of this combination, we have chosen the salt stress transcriptomes of roots and nodules of the third most important legume crop chickpea (Cicer arietinum L.). While our report is more technology-oriented, it nevertheless addresses a major world-wide problem for crops generally: high salinity. Together with low temperatures and water stress, high salinity is responsible for crop losses of millions of tons of various legume (and other) crops. Continuously deteriorating environmental conditions will combine with salinity stress to further compromise crop yields. As a good example for such stress-exposed crop plants, we started to characterize salt stress responses of chickpeas on the transcriptome level. Results: We used deepSuperSAGE to detect early global transcriptome changes in salt-stressed chickpea. The salt stress responses of 86,919 transcripts representing 17,918 unique 26bp deepSuperSAGE tags (UniTags) from roots of the salt-tolerant variety INRAT-93 two hours after treatment with 25 mM NaCl were characterized. Additionally, the expression of 57,281 transcripts representing 13,115 UniTags was monitored in nodules of the same plants. From a total of 144,200 analyzed 26bp tags in roots and nodules together, 21,401 unique transcripts were identified. Of these, only 363 and 106 specific transcripts, respectively, were commonly up- or down-regulated (>3.0-fold) under salt stress in both organs, witnessing a differential organ-specific response to stress. Profiting from recent pioneer works on massive cDNA sequencing in chickpea, more than 9,400 UniTags were able to be linked to UniProt entries. Additionally, gene ontology (GO) categories over-representation analysis enabled to filter out enriched biological processes among the differentially expressed UniTags. Subsequently, the gathered information was further cross-checked with stress-related pathways. From several filtered pathways, here we focus exemplarily on transcripts associated with the generation and scavenging of reactive oxygen species (ROS), as well as on transcripts involved in Na+ homeostasis. Although both processes are already very well characterized in other plants, the information generated in the present work is of high value. Information on expression profiles and sequence similarity for several hundreds of transcripts of potential interest is now available. Conclusions: This report demonstrates, that the combination of the high-throughput transcriptome profiling technology SuperSAGE with one of the next-generation sequencing platforms allows deep insights into the first molecular reactions of a plant exposed to salinity. Cross validation with recent reports enriched the information about the salt stress dynamics of more than 9,000 chickpea ESTs, and enlarged their pool of alternative transcripts isoforms. As an example for the high resolution of the employed technology that we coin deepSuperSAGE, we demonstrate that ROS-scavenging and -generating pathways undergo strong global transcriptome changes in chickpea roots and nodules already 2 hours after onset of moderate salt stress (25mM NaCl). Additionally, a set of more than 15 candidate transcripts are proposed to be potential components of the salt overly sensitive (SOS) pathway in chickpea. Newly identified transcript isoforms are potential targets for breeding novel cultivars with high salinity tolerance. We demonstrate that these targets can be integrated into breeding schemes by micro-arrays and RT-PCR assays downstream of the generation of 26bp tags by SuperSAGE.
Vacuum-assisted closure (VAC) of complex infected wounds has recently gained popularity among various surgical specialties. The system is based on the application of negative pressure by controlled suction to the wound surface. The effectiveness of the VAC System on microcirculation and the promotion of granulation tissue proliferation are proved. In our case report we illustrate a scenario were a patient developed severe bleeding from the ascending aorta by penetration of wire fragments in the vessel. We conclude that all free particles in the sternum have to be removed completely before negative pressure is used.
Die Geburt eines Kindes gilt als eines der „major life events“ im Leben eines Menschen. Die Zeit um die Geburt und insbesondere das Wochenbett ist dadurch eine dramatische Umbruchzeit im Leben der Mutter. Etliche Arbeiten konnten belegen, dass diese Zeit, obgleich im soziokulturellen Kontext durchweg positiv besetzt, eine Phase erhöhter psychischer Vulnerabilität im Leben von Frauen ist. Diese Vulnerabilität führt zu einer erhöhten Inzidenz mehrerer psychischer Erkrankungen im Wochenbett. Eine herausragende Rolle nimmt unter diesen die postpartale Depression, umgangssprachlich auch „Wochenbettdepression“ genannt, ein. Mehrere Arbeiten haben ergeben, dass die Prävalenz einer postpartalen Depression um 10% aller Mütter im Wochenbett zu verorten ist. Bezüglich der Ursachen und der Pathogenese der postpartalen Depression gibt es mehrere Hypothesen. So wurden soziodemographische genauso wie neurobiologische Ursachen erforscht. Insgesamt besteht aber immer noch Bedarf an einem umfassenden, integrativen Konzept der Ätiopathogenese postpartaler Depression, dass verschiedene Faktoren zusammen fasst und gewichtet. Insbesondere fehlen bislang Untersuchungen zur Rolle der Persönlichkeit der Mutter bezüglich postpartaler psychischer Vulnerabilität und in der Entstehung postpartaler Depression. Um Erkenntnisse zur Persönlichkeitsstruktur von Müttern im Wochenbett zu gewinnen und den Einfluss von Persönlichkeitsmerkmalen auf die Entstehung einer postpartalen Depression zu erkennen, wurde dieser Arbeit das „fünf-Faktoren-Modell“ als allgemein etabliertes dimensionales Persönlichkeitsmodell zugrunde gelegt. Insgesamt wurden N = 130 Mütter im Wochenbett über einen Zeitraum von einem Tag post partum bis sechs Wochen post partum untersucht. Die Persönlichkeitsanalyse nach dem „fünf-Faktoren-Modell“ erfolgte dabei mittels des Persönlichkeitstest NEO-FFI. Depressivität wurde mittels den Depressivitätstest BDI (Beck Depression Inventory) und EPDS (Edinburgh Postnatal Depression Scale) gemessen und in klinischen Interviews bestätigt. Daneben wurden die gynäkologisch-geburtshilfliche und die psychosomatische Anamnese der Mütter erhoben und ausgewertet. Insgesamt fand sich bei N = 16 der insgesamt N = 130 untersuchten Müttern eine postpartale Depression. Dies entspricht einem Anteil von 12,3%. Überraschender Weise zeigte sich, dass die untersuchten Mütter in ihrer Gesamtheit bezüglich der Ausprägung der Faktoren des verwendeten Persönlichkeitstests signifikant von der allgemeinen Normierungsstichprobe abweichen. Die Abweichung findet sich in der getrennten Auswertung von postpartal depressiven und gesunden Müttern vor allem in letzterer Gruppe; postpartal depressive Mütter zeigten keine signifikante Abweichung zur Normstichprobe. Im Vergleich beider Gruppen untereinander zeigten sich Unterschiede in der Ausprägung der Persönlichkeitsfaktoren Neurotizismus und Extraversion. Mütter mit postpartaler Depression wiesen im Mittel mehr Neurotizismus und weniger Extraversion auf. Gesteigerter Neurotizismus und verminderte Extraversion sind mehrfach als Vulnerabilitätsfaktor für psychische Erkrankungen, auch affektive Erkrankungen, beschrieben worden. Darüber hinaus zeigten sich auch signifikante Korrelationen beider Faktoren mit der Ausprägung depressiver Symptomatik in den Depressivitätstests BDI und EPDS. Neurotizismus war mit den Punktescores dieser Tests positiv, Extraversion hingegen negativ korreliert. Eine wesentliche Beeinflussung durch die soziale oder gynäkologisch-geburtshilfliche Anamnese ließ sich nicht erkennen. In der Zusammenschau der Ergebnisse stellt sich zunächst die Frage nach der Stabilität der NEO- Faktoren bzw. deren Beeinflussbarkeit durch major life events. Für den praktischen Gebrauch im Wochenbett und die weitere Erforschung des Einflusses von Persönlichkeitsmerkmalen auf die Entstehung postpartaler Depression ist zunächst die Normierung des NEO-Fünf-Faktoren-Inventars für Mütter im Wochenbett zu fordern. Die gefundenen Abweichungen in der Ausprägung von Neurotizismus und Extraversion bei postpartaler Depression sowie deren Korrelation mit den Depressivitätstests (BDI und EPDS) zeigen eine –wenn auch unspezifische- Vulnerabilität für postpartale Depression an. Folgende Untersuchungen sollten, auch unter Einbeziehung anderer dimensionaler Persönlichkeitsmodelle, darstellen, in wie weit bestimmte, spezifische Persönlichkeitsmerkmale als prädisponierend für postpartale Depression angesehen werden können.
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.
Ernst Bloch pointed out in a particularly emphatic way that the concept of human dignity featured centrally in historical struggles against different forms of unjustified rule, i.e. domination – to which one must add that it continues to do so to the present day. The “upright gait,” putting an end to humiliation and insult: this is the most powerful demand, in both political and rhetorical terms, that a “human rights-based” claim expresses. It marks the emergence of a radical, context-transcending reference point immanent to social conflicts which raises fundamental questions concerning the customary opposition between immanent and transcendent criticism. For within the idiom of demanding respect for human dignity, a right is invoked “here and now,” in a particular, context-specific form, which at its core is owed to every human being as a person. Thus Bloch is in one respect correct when he asserts that human rights are not a natural “birthright” but must be achieved through struggle; but in another respect this struggle can develop its social power only if it has a firm and in a certain sense “absolute” normative anchor. Properly understood, it becomes apparent that these social conflicts always affect “two worlds”: the social reality, on the one hand, which is criticized in part or radically in the light of an ideal normative dimension, on the other. For those who engage in this criticism there is no doubt that the normative dimension is no less real than the reality to which they refuse to resign themselves. Those who critically transcend reality always also live elsewhere.
The overvaluation hypothesis (Miller 1977) predicts that a) stocks are overvalued in the presence of short selling restrictions and that b) the overvaluation increases in the degree of divergence of opinion. We design an experiment that allows us to test these predictions in the laboratory. The results indicate that prices are higher with short selling constraints, but the overvaluation does not increase in the degree of divergence of opinion. We further find that trading volume is lower and bid-ask spreads are higher when short sale restrictions are imposed. JEL Classification: C92, G14 Keywords: Overvaluation Hypothesis , Short Selling Constraints , Divergence of Opinion
Regulations in the pre-Sarbanes–Oxley era allowed corporate insiders considerable flexibility in strategically timing their trades and SEC filings, for example, by executing several trades and reporting them jointly after the last trade. We document that even these lax reporting requirements were frequently violated and that the strategic timing of trades and reports was common. Event study abnormal re-turns are larger after reports of strategic insider trades than after reports of otherwise similar nonstrategic trades. Our results also imply that delayed reporting is detrimental to market efficiency and lend strong support to the more stringent trade reporting requirements established by the Sarbanes–Oxley Act. JEL Classification: G14, G30, G32 Keywords: Insider Trading , Directors' Dealings , Corporate Governance , Market Efficiency
This paper studies the market quality of an internalization system which is designed as part of an open limit order book (the Xetra system operated by Deutsche Börse AG). The internalization sys-tem (Xetra BEST) guarantees a price improvement over the inside spread in the Xetra order book. We develop a structural model of this unique dual market environment and show that, while adverse selection costs of internalized trades are significantly lower than those of regular order book trades, the realized spreads (the revenue earned by the suppliers of liquidity) is significantly larger. The cost savings of the internalizer are larger than the mandatory price improvement. This suggests that internalization can be profitable both for the customer and the internalizer. JEL Classification: G10
This paper reconsiders the effect of investor sentiment on stock prices. Using survey-based sentiment indicators from Germany and the US we confirm previous findings of predictability at intermediate time horizons. The main contribution of our paper is that we also analyze the immediate price reaction to the publication of sentiment indicators. We find that the sign of the immediate price reaction is the same as that of the predictability at intermediate time horizons. This is consistent with sentiment being related to mispricing but is inconsistent with the alternative explanation that sentiment indicators provide information about future expected returns. JEL Classification: G12, G14 Keywords: Investor Sentiment , Event Study , Return Predictability
This paper examines to what extent the build-up of "global imbalances" since the mid-1990s can be explained in a purely real open-economy DSGE model in which agents’ perceptions of long-run growth are based on filtering observed changes in productivity. We show that long-run growth estimates based on filtering U.S. productivity data comove strongly with long-horizon survey expectations. By simulating the model in which agents filter data on U.S. productivity growth, we closely match the U.S. current account evolution. Moreover, with household preferences that control the wealth effect on labor supply, we can generate output movements in line with the data. JEL Classification: E13, E32, D83, O40