Refine
Year of publication
Document Type
- Article (31258) (remove)
Language
- English (15865)
- German (13385)
- Portuguese (696)
- French (387)
- Croatian (251)
- Spanish (250)
- Italian (134)
- Turkish (113)
- Multiple languages (36)
- Latin (35)
Keywords
- Deutsch (503)
- taxonomy (449)
- Literatur (299)
- new species (193)
- Hofmannsthal, Hugo von (185)
- Rezeption (178)
- Übersetzung (163)
- Filmmusik (155)
- Johann Wolfgang von Goethe (131)
- Vormärz (117)
Institute
- Medizin (5382)
- Physik (1929)
- Biowissenschaften (1150)
- Biochemie und Chemie (1113)
- Extern (1108)
- Gesellschaftswissenschaften (803)
- Frankfurt Institute for Advanced Studies (FIAS) (753)
- Geowissenschaften (592)
- Präsidium (453)
- Philosophie (448)
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.
In diesem Aufsatz diskutiere ich die Distribution von kohärenten Kontroll-Infinitiven im Deutschen. Es werden die Verbklassen bestimmt, die kohärente Infinitive lizenzieren. Dabei zeigt sich, dass ausschließlich Infinitive 'kohärent' konstruiert werden können, die die Position der Akkusativ NP (bzw. die Position des direkten Objekts) einnehmen. Kontroll-Infinitive in anderen strukturellen Positionen sind zwangsläufig 'inkohärent'. Transparente Infinitive in Sprachen wie dem Polnischen und Spanischen sind in derselben Weise in ihrer Distribution beschränkt. Ich schlage eine einheitliche Analyse der relevanten Daten vor, die weitere distributionelle Generalisierungen bezüglich des Auftretens kohärenter Infinitive korrekt prognostiziert. Für die idiolektale Variation, die unter Sprechern in Bezug auf bestimmte Verben existiert, die kohärente Infinitive lizenzieren, wird eine Erklärung formuliert, die auf der Idee basiert, dass die Bildung dieser Infinitive an die Präsenz eines Inkorporations-Merkmals gebunden ist, das beim Spracherwerb auf der Grundlage positiver Evidenz erworben wird. In this article, I discuss the distribution of so-called 'coherent (control) infinitives' in German. In section 2, I will argue that both coherent as well as incoherent control-infinitives have a sentential status. In section 3, I argue that only infinitives occupying the position of the direct object show the well-known properties associated with coherent infinitives. Control infinitives in other structural positions represent incoherent infinitives. This situation is not limited to German infinitives. Transparent infinitives in Polish and Spanish show the same structural asymmetry. In section 4, I propose a unified analysis for the data that in addition, correctly predicts further restrictions for the distribution of coherent infinitives. In section 5, I propose an account for idiolectal variation in the class of verbs that license coherent infinitives. This account is based on the idea that coherent infinitives require an incorporation-feature in their lexical entry that is acquired on the basis of positive evidence.
In diesem Aufsatz gehe ich der Frage nach, in wie viel unterschiedlichen Positionen Verben im deutschen Satz vorkommen können. Anhand syntaktischer Tests wird gezeigt, daß das Verb im Deutschen in insgesamt drei unterschiedlichen Positionen auftritt und nicht, wie in der traditionellen Grammatik angenommen wird, in nur zwei Positionen (in der rechten und in der linken Satzklammer). Es wird dafür argumentiert, daß die Anwendung des abstrakten Satzschemas, wie es heute gängigerweise in der generativen Grammatikforschung als universelles Satzmodell angenommen wird, die Erklärung einer Vielzahl syntaktischer Phänomene im Deutschen ermöglicht, die mit der traditionellen Verbstellungsanalyse, die von nur zwei Verbpositionen ausgeht, nicht erklärt werden können. Gemäß des universellen Satzschemas repräsentiert die Infl(ection)-Position eine Verbposition im Satz. Diese Position ist identisch mit der rechten Satzklammer. Eine weitere Verbposition ist die V-Position innerhalb des Mittelfelds und eine dritte potenzielle Position für das Verb entspricht der C(omplementizer-) Position (bzw. der linken Satzklammer). Der Aufsatz ist folgendermaßen gegliedert. In der Einleitung schildere ich kurz die unterschiedlichen Auffassungen, die in der Vergangenheit zur Verbstellungsproblematik im Deutschen vertreten wurden. In Abschnitt 2 nenne ich die wichtigsten Argumente, die gegen die Annahme vorgebracht wurden, daß im deutschen Satz für Verben insgesamt drei Positionen zur Verfügung stehen. Im Anschluss daran werden in den Abschnitten 3.1 bis 3.2 Argumente diskutiert, die für drei Verbpositionen sprechen. Abschnitt 3.3 behandelt die Frage, wie vor diesem Hintergrund die Daten aus Abschnitt 2, die sich als problematisch für diese Analyse erwiesen haben, erklärt werden können. In Abschnitt 4 wende ich mich weiterer unabhängiger Evidenz aus dem Bereich der historischen Syntax zu, die für drei Verbpositionen im Deutschen spricht. In Abschnitt 5 gebe ich eine kurze Zusammenfassung der wichtigsten Ergebnisse.