Refine
Year of publication
Document Type
- Article (30828) (remove)
Language
- English (15926)
- German (13032)
- Portuguese (584)
- French (385)
- Croatian (251)
- Spanish (242)
- Italian (132)
- Turkish (101)
- Latin (35)
- Multiple languages (35)
Has Fulltext
- yes (30828)
Is part of the Bibliography
- no (30828) (remove)
Keywords
- Deutsch (482)
- taxonomy (451)
- Literatur (282)
- new species (196)
- Hofmannsthal, Hugo von (184)
- Rezeption (155)
- Filmmusik (154)
- Übersetzung (135)
- Vormärz (117)
- Johann Wolfgang von Goethe (107)
Institute
- Medizin (5419)
- Physik (1983)
- Biowissenschaften (1153)
- Biochemie und Chemie (1113)
- Extern (1069)
- Gesellschaftswissenschaften (803)
- Frankfurt Institute for Advanced Studies (FIAS) (755)
- Geowissenschaften (593)
- 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.
Ausgangspunkt der folgenden Untersuchung ist die Überlegung, daß verschiedene Versionen der Prinzipien- und Parametertheorie unterschiedliche Prognosen bezüglich strukturell ambiger Wortfolgen in Passiv-Konstruktionen des Deutschen machen. Im Rahmen einer Theorie, in der Move-alpha frei appliziert, wie etwa in der Rektions- und Bindungstheorie (Chomsky 1981, 1986a, 1986b), können multiple Derivationen für derartige Abfolgen nicht ausgeschlossen werden, wohingegen eine andere Situation vorliegt, wenn man die entsprechenden Konstruktionen im Rahmen des Minimalistischen Programms analysiert. Hier kann die Anzahl möglicher (und mit einer Wortfolge verträglicher) Derivationen mit Hilfe von Ökonomieprinzipien beschränkt werden. Auf Grundlage verschiedener syntaktischer Tests wird im weiteren gezeigt, daß bestimmte Wortfolgen nur mit einer Derivation verträglich sind, was im Einklang mit einer minimalistischen Analyse der Daten steht. Der Aufsatz ist folgendermaßen gegliedert. In Abschnitt 2 erläutere ich das Grundproblem der multiplen Derivationen, das sich im Deutschen z. B. bei Passiv-Konstruktionen ergibt, wenn man annimmt, daß NP-Bewegung und Scrambling optional erfolgen und ferner keine Beschränkungen für potentielle Derivationen gelten. In Abschnitt 3 diskutiere ich die Voraussetzungen für die Überprüfung der Prognosen der verschiedenen Varianten des Prinzipien- und Parametermodells und versuche anschließend auf Grundlage syntaktischer Tests zu belegen, daß die diskutierten Beispiele tatsächlich nicht strukturell ambig, sondern strukturell eindeutig sind, wie es die Analyse der entsprechenden Konstruktionen im Rahmen des Minimalistischen Programms vorhersagt. Abschnitt 4 beschreibt die Konsequenzen der Analyse für weitere Sprachen wie Niederländisch und Japanisch und zusätzliche Bewegungstypen. Abschnitt 5 enthält die Konklusion.
Homing in with GPS
(2000)
This a review of the present status of heavy-ion collisions at intermediate energies. The main goal of heavy-ion physics in this energy regime is to shed some light on the nuclear equation of state (EOS), hence we present the basic concept of the EOS in nuclear matter as well as of nuclear shock waves which provide the key mechanism for the compression of nuclear matter. The main part of this article is devoted to the models currently used for describing heavy-ion reactions theoretically and to the observables useful for extracting information about the EOS from experiments. A detailed discussion of the flow effects with a broad comparison with the avaible data is presented. The many-body aspects of such reactions are investigated via the multifragmentation break up of excited nuclear systems and a comparison of model calculations with the most recent multifragmentation experiments is presented.
In the framework of the relativistic quantum dynamics approach we investigate antiproton observables in Au-Au collisions at 10.7A GeV. The rapidity dependence of the in-plane directed transverse momentum p(y) of p's shows the opposite sigh of the nucleon flow, which has indeed recently been discovered at 10.7A GeV by the E877 group. The "antiflow" of p's is also predicted at 2A GeV and at 160 A GeV and appears at all energies also for pi's and K's. These predicted p anticorrelations are a direct proof of strong p annihilation in massive heavy ion reactions.
The quantum statistical model (QSM) is used to calculate nuclear fragment distributions in chemical equilibrium. Several observable isotopic effects are predicted for intermediate energy heavy ion collisions. It is demonstrated that particle ratios for different systemsdo not depend on the breakup density-the only free parameter in our model.The importance of entropy measurements is discussed. Specific particle ratios for the system Au-Au are predicted, which can be used to determine the chemical potentials of the hot midrapidity fragment source in nearly central heavy ion collisions. Pacs-Nr. 25.70 Pq
The Monte Carlo parton string model for multiparticle production in hadron-hadron, hadron-nucleus, and nucleus-nucleus collisions at high energies is described. An adequate choice of the parameters in the model gives the possibility of recovering the main results of the dual parton model, with the advantage of treating both hadron and nuclear interactions on the same footing, reducing them to interactions between partons. Also the possibility of considering both soft and hard parton interactions is introduced.
The properties of pions from the hot and dense reaction stage of relativistic heavy ion collisions are investigated with the quantum molecular dynamics model. Pions originating from this reaction stage stem from resonance decay with enhanced mass. They carry high transverse momenta. The calculation shows a direct correlation between high pt pions, early freeze-out times and high freeze-out densities.
Dilepton spectra for p+p and p+d reactions at 4.9GeV are calculated. We consider electromagnetic bremsstrahlung also in inelastic reactions. N* and Delta* decay present the major contributions to the pho and omega meson yields.Pion annihilation yields only 1.5% of all pho's in p+d. The pho mass spectrum is strongly distorted due to phase space effects, populating dominantly dilepton masses below 770MeV.
Strong mean meson fields, which are known to exist in normal nuclei, experience a violent deformation in the course of a heavy-ion collision at relativistic energies. This may give rise to a new collective mechanism of the particle production, not reducible to the superposition of elementary nucleon-nucleon collisions.
We investigate the sensivity of pionic bounce-off and squeeze-out on the density and momentum dependence of the real part of the nucleon optical potential. For the in-plane pion bounce-off we find a strong sensivity on both the density and momentum dependence whereas the out-of-plane pion squeeze-out shows a strong sensivity only towards the momentum dependence but little sensivity towards the density dependence.