Article
Refine
Year of publication
Document Type
- Article (31350) (remove)
Language
- English (15956)
- German (13386)
- Portuguese (696)
- French (387)
- Croatian (251)
- Spanish (250)
- Italian (134)
- Turkish (113)
- Multiple languages (36)
- Latin (35)
Has Fulltext
- yes (31350)
Keywords
- Deutsch (503)
- taxonomy (449)
- Literatur (299)
- new species (194)
- Hofmannsthal, Hugo von (185)
- Rezeption (178)
- Übersetzung (163)
- Filmmusik (155)
- Johann Wolfgang von Goethe (131)
- Vormärz (117)
Institute
- Medizin (5405)
- Physik (1955)
- Biowissenschaften (1150)
- Biochemie und Chemie (1113)
- Extern (1108)
- Gesellschaftswissenschaften (803)
- Frankfurt Institute for Advanced Studies (FIAS) (753)
- Geowissenschaften (593)
- Präsidium (453)
- Philosophie (448)
- Rechtswissenschaft (403)
- Informatik (401)
- Senckenbergische Naturforschende Gesellschaft (372)
- Institut für Ökologie, Evolution und Diversität (355)
- Institut für Sozialforschung (IFS) (345)
- Geschichtswissenschaften (334)
- E-Finance Lab e.V. (304)
- Psychologie (301)
- Biochemie, Chemie und Pharmazie (281)
- Biodiversität und Klima Forschungszentrum (BiK-F) (271)
- Neuere Philologien (265)
- Kulturwissenschaften (218)
- Wirtschaftswissenschaften (206)
- Pharmazie (184)
- Exzellenzcluster Makromolekulare Komplexe (179)
- Psychologie und Sportwissenschaften (162)
- Erziehungswissenschaften (148)
- Geowissenschaften / Geographie (137)
- MPI für Biophysik (137)
- Universitätsbibliothek (131)
- Georg-Speyer-Haus (130)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (128)
- Sportwissenschaften (126)
- SFB 268 (119)
- Mathematik (112)
- Sonderforschungsbereiche / Forschungskollegs (112)
- Zentrum für Biomolekulare Magnetische Resonanz (BMRZ) (111)
- Geographie (103)
- Institut für Deutsche Sprache (IDS) Mannheim (99)
- Zentrum für Arzneimittelforschung, Entwicklung und Sicherheit (ZAFES) (92)
- MPI für Hirnforschung (91)
- Buchmann Institut für Molekulare Lebenswissenschaften (BMLS) (64)
- Informatik und Mathematik (59)
- Sprachwissenschaften (53)
- Deutsches Institut für Internationale Pädagogische Forschung (DIPF) (50)
- Evangelische Theologie (49)
- Fachübergreifend (41)
- ELEMENTS (40)
- Sprach- und Kulturwissenschaften (39)
- MPI für empirische Ästhetik (37)
- Sustainable Architecture for Finance in Europe (SAFE) (32)
- Ernst Strüngmann Institut (25)
- Institut für sozial-ökologische Forschung (ISOE) (24)
- Philosophie und Geschichtswissenschaften (23)
- Cornelia Goethe Centrum für Frauenstudien und die Erforschung der Geschlechterverhältnisse (CGC) (20)
- House of Finance (HoF) (20)
- Center for Financial Studies (CFS) (18)
- Center for Membrane Proteomics (CMP) (18)
- Exzellenzcluster Herz-Lungen-System (18)
- Starker Start ins Studium: Qualitätspakt Lehre (18)
- Sigmund-Freud Institut – Forschungsinstitut fur Psychoanalyse und ihre Anwendungen (16)
- Katholische Theologie (15)
- Zentrum für Interdisziplinäre Afrikaforschung (ZIAF) (15)
- Universität des 3. Lebensalters e.V. (12)
- keine Angabe Institut (11)
- Helmholtz International Center for FAIR (9)
- Institut für Wirtschaft, Arbeit, und Kultur (IWAK) (9)
- Interdisziplinäres Zentrum für Neurowissenschaften Frankfurt (IZNF) (9)
- Zentrum für Nordamerika-Forschung (ZENAF) (9)
- Zentrum für Weiterbildung (9)
- Institute for Monetary and Financial Stability (IMFS) (8)
- Center for Scientific Computing (CSC) (7)
- DFG-Forschergruppen (7)
- LOEWE-Schwerpunkt für Integrative Pilzforschung (7)
- Institute for Law and Finance (ILF) (6)
- Frobenius Institut (5)
- Goethe-Zentrum für Wissenschaftliches Rechnen (G-CSC) (5)
- Hessische Stiftung für Friedens- und Konfliktforschung (HSFK) (5)
- Hochschulrechenzentrum (5)
- Forschungszentrum Historische Geisteswissenschaften (FHG) (4)
- Interdisziplinäres Zentrum für Ostasienstudien (IZO) (4)
- LOEWE-Schwerpunkt Außergerichtliche und gerichtliche Konfliktlösung (3)
- Akademie für Bildungsforschung und Lehrerbildung (bisher: Zentrum für Lehrerbildung und Schul- und Unterrichtsforschung) (2)
- Institut für Bienenkunde (2)
- Institut für Religionsphilosophische Forschung (2)
- (1)
- Centre for Drug Research (1)
- Diagnostic Center of Acute Leukemia (1)
- Europäische Akademie der Arbeit in der Universität Frankfurt am Main (1)
- Fachübergreifende Einrichtungen (1)
- Wilhelm-Merton-Zentrum (1)
- Zentrale Einrichtung (1)
- studiumdigitale (1)
The volume changes of lithium and sodium under pressure are discussed with respect to the packing density of the atoms and their valence. In densely packed Li I (bcc), Li II (fcc), and Li III (alpha-Hg ype), valence increases from 1 at ~ 5 GPa to ~ 2.5 at 40 GPa. The maximum valence 3 is attained in Li IV (body-centered cubic, 16 atoms per cell, packing density q = 0.965) at 47 GPa. In densely packed Na I (bcc) a linear increase of valence from 1 at ~ 10 GPa to 2.9 at 65 GPa is found which continues in Na II (fcc) up to 4.1 at 103 GPa.
A new approach to optimize multilevel logic circuits is introduced. Given a multilevel circuit, the synthesis method optimizes its area while simultaneously enhancing its random pattern testability. The method is based on structural transformations at the gate level. New transformations involving EX-OR gates as well as Reed–Muller expansions have been introduced in the synthesis of multilevel circuits. This method is augmented with transformations that specifically enhance random-pattern testability while reducing the area. Testability enhancement is an integral part of our synthesis methodology. Experimental results show that the proposed methodology not only can achieve lower area than other similar tools, but that it achieves better testability compared to available testability enhancement tools such as tstfx. Specifically for ISCAS-85 benchmark circuits, it was observed that EX-OR gate-based transformations successfully contributed toward generating smaller circuits compared to other state-of-the-art logic optimization tools.
Channel routing is an NP-complete problem. Therefore, it is likely that there is no efficient algorithm solving this problem exactly.In this paper, we show that channel routing is a fixed-parameter tractable problem and that we can find a solution in linear time for a fixed channel width.We implemented our approach for the restricted layer model. The algorithm finds an optimal route for channels with up to 13 tracks within minutes or up to 11 tracks within seconds.Such narrow channels occur for example as a leaf problem of hierarchical routers or within standard cell generators.
We present a theoretical analysis of structural FSM traversal, which is the basis for the sequential equivalence checking algorithm Record & Play presented earlier. We compare the convergence behaviour of exact and approximative structural FSM traversal with that of standard BDD-based FSM traversal. We show that for most circuits encountered in practice exact structural FSM traversal reaches the fixed point as fast as symbolic FSM traversal, while approximation can significantly reduce in the number of iterations needed. Our experiments confirm these results.
We present the FPGA implementation of an algorithm [4] that computes implications between signal values in a boolean network. The research was performed as a masterrsquos thesis [5] at the University of Frankfurt. The recursive algorithm is rather complex for a hardware realization and therefore the FPGA implementation is an interesting example for the potential of reconfigurable computing beyond systolic algorithms. A circuit generator was written that transforms a boolean network into a network of small processing elements and a global control logic which together implement the algorithm. The resulting circuit performs the computation two orders of magnitudes faster than a software implementation run by a conventional workstation.
One of the most severe short-comings of currently available equivalence checkers is their inability to verify integer multipliers. In this paper, we present a bit level reverse-engineering technique that can be integrated into standard equivalence checking flows. We propose a Boolean mapping algorithm that extracts a network of half adders from the gate netlist of an addition circuit. Once the arithmetic bit level representation of the circuit is obtained, equivalence checking can be performed using simple arithmetic operations. Experimental results show the promise of our approach.
This paper argues that short (clause-internal) scrambling to a pre-subject position has A properties in Japanese but A'-properties in German, while long scrambling (scrambling across sentence boundaries) from finite clauses, which is possible in Japanese but not in German, has A'-properties throughout. It is shown that these differences between German and Japanese can be traced back to parametric variation of phrase structure and the parameterized properties of functional heads. Due to the properties of Agreement, sentences in Japanese may contain multiple (Agro- and Agrs-) specifiers whereas German does not allow for this. In Japanese, a scrambled element may be located in a Spec AgrP, i.e. an A- or L-related position, whereas scrambled NPs in German can only appear in an AgrP-adjoined (broadly-L-related) position, which only has A'-properties. Given our assumption that successive cyclic adjunction is generally impossible, elements in German may not be long scrambled because a scrambled element that is moved to an adjunction site inside an embedded clause may not move further. In Japanese, long distance scrambling out of finite CPs is possible since scrambling may proceed in a successive cyclic manner via embedded Spec- (AgrP) positions. Our analysis of the differences between German and Japanese scrambling provides us with an account of further contrasts between the two languages such as the existence of surprising asymmetries between German and Japanese remnant-movement phenomena, and the fact that unlike German, Japanese freely allows wh-scrambling. Investigation of the properties of Japanese wh-movement also leads us to the formulation of the "Wh-cluster Hypothesis", which implies that Japanese is an LF multiple wh-fronting language.
In this article, I discuss some important properties of wh-questions and wh-scrambling in Japanese. The questions I will address are (i) which instances of (wh-) scrambling involve reconstruction and (ii) how the undoing effects of scrambling can be derived. First I will discuss the claim that (wh-) scrambling is semantically vacuous and is therefore undone at LF (Saito 1989, 1992). Then I consider the data that led Takahashi (1993) to the conclusion that at least some instances of wh-scrambling have to be analyzed as instances of "full wh-movement" i.e., overt movement of the wh-phrase in its scopal position. It will be argued that these examples are not instances of full wh-movement in Japanese, but that they also represent semantically vacuous scrambling. Those instances of scrambling that apprently cannot be undone are best explained with recourse to parsing effects. I conclude that wh-scrambling in Japanese is always triggered by a ([-wh]-) scrambling feature. In addition, long distance scrambling (scrambling out of finite CPs) is analyzed as adjunction movement, whereas short distance scrambling is movement to a specifier position of IP. Turning to the mechanisms of undoing, I will argue that only long distance scrambling is undone. This is shown to follow from Chomsky's (1995) bare phrase structure analysis, according to which multi-segmental categories derived by adjunction movement are not licensed at LF. The article is organized as follows. In section 2, the wh-scrambling phenomenon is described. In section 3, I discuss the reconstruction properties of scrambling. In addition, this section provides some basic assumptions about my analysis of Japanese scrambling in general. In section 4, I turn to the analysis of wh-scrambling as an instance of full wh-movement in Japanese. Section 5 provides discussion of multiple wh-questions in Japanese, and section 6 gives the conclusion.
Die Doppelobjekt-Konstruktion bildet einen Untersuchungsgegenstand, der in der Vergangenheit die Theoriebildung in der Syntaxforschung wesentlich beeinflusst hat. Untersuchungen zu Doppelobjekt-Konstruktionen sind u.a. folgenreich gewesen für die Kasustheorie sowie für Analysen der Verbbewegung, Satz-, VP- und Argument-Struktur. In diesem Aufsatz stelle ich eine Analyse einiger wichtiger Aspekte der Doppelobjekt-Konstruktion im Deutschen vor. Untersucht wird, in welcher Position die Objekte des Verbs basisgeneriert werden und in welchen abgeleiteten Positionen sie erscheinen. Die Beantwortung dieser Fragen liefert eine Erklärung für das asymmetrische Verhalten der beteiligten Objekte in Bezug auf ihr Bindungs- und Extraktionsverhalten.