1. 2012: Shinichi Mochizuki hat möglicherweise die abc-Vermutung bewiesen.

In August 2012 Shinichi Mochizuki claimed a proof of the abc conjecture.

2. Für die Schemata wird die Entropie-Ungleichung bewiesen.

The entropy inequality of the schemes is proved.

3. Orientierungsversuche bewiesen, daß die Spur ein wichtiges Orientierungssignal darstellt.

Orientation experiments demonstrated that the hindgut trail serves as an important orientation cue during foraging activities.

4. Wir bewiesen das die meisten Ammoniak Abkühlungstabellen falsch sind.

We proved that most of the ammonia refrigeration tables are wrong.

5. Ein ziemlich allgemeiner Satz über additive Mengenfunktionen wird formuliert und bewiesen.

A rather general theorem about additive set functions is formulated and proved.

6. Außerdem wurde experimentell bewiesen, dass es höhere Geräuschpegel als herkömmliche Hardware toleriert.

In addition, it has been experimentally demonstrated to tolerate higher noise levels than existing hardware.

7. Die theoretischen Vorteile der anatomischen VKB-Rekonstruktionstechnik müssen in klinischen Studien bewiesen werden.

The theoretical advantages of anatomical ACL reconstructions have to be proven in clinical use.

8. Isoflavone haben zahlreiche biologische Wirkungen, aber ihre Stellung als Östrogenalternative ist noch nicht bewiesen.

Isoflavones express numerous biological effects but their position as an oestrogen alternative has not been yet proven.

9. Eine immunologische Identität dieses alpha-2-Glykoproteins mit dem Xh-Faktor wird bewiesen.

The immunologic identity of this alpha-2-glycoprotein with the Xh-factor was proven.

10. Dieses Konzept wurde experimentell an Systemen ACl/MCl2 und ACl/LnCl3 (Ln=Lanthanoid) bewiesen.

This conception was proved experimentally on systems ACl/MCl2 and ACl/LnCl3(Ln=Lanthanides).

11. Die Konvergenz erster Ordnung gleichmäßig bezüglich des Störungsparameters wird in der diskretenL1-Norm bewiesen.

The first order convergence uniform in the perturbation parameter is proved in the discreteL1-norm.

12. Durch umfangreiche Tests bewiesen die Projektwissenschaftler, dass klassische Kreuzkorrelationstechniken effektiv für verschiedene Fluglärmsignale sind.

Through extensive tests, project scientists proved that classical cross-correlation techniques are effective for different aircraft noise signals.

13. Für bilineare Ansatzfunktionen auf rechteckigem Gitter wird bewiesen, daß der Interpolationsfehler mit dem Approximationsfehler übereinstimmt.

For bilinear shape functions on rectangular grids it is proved that interpolation and finite element approximation error coincide.

14. In einer mathematischen Betrachtung wird auch die Konstanz des Amplitudenverhältnisses der beiden Wellen als Parameter bewiesen.

Also, the constancy of ratio-amplitude parameter is established from mathematical consideration.

15. Sie bewiesen, dass eine effiziente Manipulation der natürlichen Instabilitätsphänomene die aerodynamische Leistung eines Flugzeugs verbessern kann.

They proved that efficient manipulation of natural instability phenomena can improve the aerodynamic performance of aircraft.

16. Es wurde eindeutig bewiesen, dass das Gehirn strukturelle und funktionelle Veränderungen erfährt, wenn man selbstlose Liebe praktiziert.

It shows without ambiguity that there is structural change and functional change in the brain when you train the altruistic love.

17. Er hat bewiesen, daß der Mechanismus des Stabilitätspaktes bereits gereift ist und weiterentwickelt werden kann und muß.

It proved that the Stability Pact mechanism has already gained a certain maturity and can and must advance.

18. Herr Staatsminister! Die Bundeskanzlerin hat am Wochenende bewiesen, dass man Festigkeit und Grundsatztreue mit diplomatischem Geschick verbinden kann.

(DE) Mr President-in-Office, just as the Federal Chancellor, at the weekend, demonstrated that it is possible to combine firmness of purpose and faithfulness to principle with diplomatic adroitness, you are doing the same here.

19. Durch Untersuchung der LDH in Myomknoten schwangerer Uteri konnte bewiesen werden, daß die Enzyme in der Zelle verändert werden.

Examination of leiomyomas in pregnant uteri demonstrate LDH within the cell to be changed.

20. In Euklids Elementen werden die ersten 28 Sätze ohne das Parallelenaxiom bewiesen und zählen somit zur absoluten Geometrie im engeren Sinn.

In Euclid's Elements, the first 28 propositions and Proposition I.31 avoid using the parallel postulate, and therefore are valid theorems in absolute geometry.

21. Simulationen bewiesen, dass ein akustisches Analyseinstrument die Nahfeld-Schallwellenausbreitung erfassen kann, und dass mit ihm die Hauptbeitragenden des Lärmpegels zu lokalisieren sind.

Simulations proved the ability of an acoustic analysis tool to capture near-field sound wave propagation and use it to locate major contributors to noise level.

22. Auch Herr Mulder hat hervorragende Arbeit geleistet und im Zusammenhang mit dem Rechnungsabschluß in bezug auf den EAGFL sein übliches an Hexerei grenzendes Geschick bewiesen.

Mr Mulder has done a great job as well, displaying his usual wizardry with the EAGGF accounts.

23. Durch die Zuordnung bestimmter Werte zu Sätzen und der Schlussfolgerung bewiesen sie, dass die Gültigkeit der Zwischenschlüsse durch eine einfache mehrwertige algebraische Gleichung bestimmt wird.

By associating certain values with propositions and the conclusion, they proved that the validity of intermediate syllogisms is determined by a simple multi-valued algebra equation.

24. Invarianz der Wirkung zu erster Ordnung wird für kaum glatte Modulation bewiesen; wenn der Hamiltonian analytisch in Zeit und Amplitude ist, wird die Wirkungsänderung exponential klein.

The action is shown to be a first-order invariant for barely smooth modulation, and to be invariant to exponential precision, if the Hamiltonian is analytic in time and amplitude.

25. Herr Präsident, ich möchte zunächst unsere Kollegin Lienemann beglückwünschen, die in den beiden heute abend zur Debatte stehenden Berichten große Sensibilität für die Umwelt bewiesen hat.

Mr President, I should like to begin by congratulating Mrs Lienemann on her sensitive approach towards the environment, ably demonstrated in the two reports we have discussed this evening.

26. Diese Theorie wird zwar durch einige Experimente nahegelegt, aber ist noch keineswegs bewiesen. In beiden Fällen können die negativen Auswirkungen durch eine kaseinfreie Diät offenbar gut vermieden werden.

While it is also insoluble in neutral salt solutions, it is readily dispersable in dilute alkali s and in salt solutions such as sodium oxalate and sodium acetate .

27. Unter Verwendung der Theorie der Unterraumkorrekturverfahren wird die Robustheit sowohl für die multiplikative als auch für die additive Variante bei Anwendung auf anisotrope Probleme mit beliebiger Raumdimension bewiesen.

Using the theory of Subspace Correction Methods robustness is proved of both the multiplicative and additive variant applied to anisotropic problems in an arbitrary number of space dimensions.

28. Wir haben es mit einem gut trainierten und berechnenden Gegner zu tun, der die Fähigkeit bewiesen hat, ganz tief unterzutauchen, unentdeckt von dieser Agency,... oder seiner eigenen Familie.

We are dealing with a trained and calculating adversary, as evidenced by his ability to maintain deep cover, undetected by this agency or his family.

29. Eine direkte Konsequenz ist die Tate-Vermutung für abelsche Varietäten, die Gerd Faltings mit völlig anderen Methoden bewiesen hat und die in der modernen arithmetischen Geometrie viele Anwendungen findet.

A direct consequence is the Tate conjecture for abelian varieties which Gerd Faltings had proved with totally different methods which has many applications in modern arithmetic geometry.

30. Mit Fred Diamond, Richard Taylor und Brian Conrad bewies er 1999 die Taniyama-Shimura-Vermutung, die vorher von Andrew Wiles und Taylor nur in einem Spezialfall bewiesen worden war.

With Fred Diamond, Richard Taylor and Brian Conrad in 1999, he proved the Taniyama–Shimura conjecture, which previously had only been proved for semistable elliptic curves by Andrew Wiles and Taylor in their proof of Fermat's Last Theorem.

31. Was den ersten Fall betrifft, so ist eine Überprüfung einzuleiten, wenn für das Anhalten des Dumpings und der Schädigung hinreichende Beweiselemente vorliegen, ohne dass dieses Anhalten bereits voll bewiesen sein müsste.

As far as the first situation is concerned, a review should be initiated on the basis of sufficient evidence that dumping and injury are continuing; it is not necessary that continuation be already established.

32. Andererseits ist ihr vorzuhalten, nicht hinreichend dargelegt bzw. bewiesen zu haben, dass die luxemburgischen Behörden ohne die Beteiligung eines in Luxemburg ansässigen Ad-hoc-Vertreters ihre Überwachungsaufgabe nicht erfüllen könnten.

However, one may legitimately criticise its failure to adduce sufficient evidence or prove that the Luxembourg authorities could not perform their monitoring tasks without the involvement of an ad hoc agent resident in Luxembourg.

33. Welche Zeichen tat aber Mohammed, die bewiesen hätten, daß er ein Prophet Gottes war und daß Gott damals, zu Anfang des siebenten Jahrhunderts, in Arabien ein neues System der Dinge einführte?

But where were the signs establishing Muhammad as God’s prophet and proving that God had introduced a new system of things in Arabia in the first part of the seventh century A.D.?

34. "Diese Testflüge haben nicht nur die Funktionstüchtigkeit des Flugzeugs und des Antriebssystems bewiesen, sie haben auch sichere und effiziente Wasserstoffflüge und Wasserstoffauftankmanöver in der Luft gezeigt, die letzte technologische Herausforderung für das Global Observer-System.

'In addition to validating the functionality of the airplane and the propulsion system, these flight tests demonstrated safe and efficient hydrogen powered flight and mobile liquid hydrogen fuelling operations, the last technology challenge for the Global Observer system.

35. Am Bezirksgericht wurden drei der Männer zu sechs und neun Monaten Jungendhaft verurteilt, doch das Berufungsgericht sprach einen von ihnen frei, da nicht bewiesen werden konnte, dass er älter als 15 Jahre und damit schuldfähig war.

In the District Court, three of the men were sentenced to six to nine months juvenile care, but the Appeals Court acquitted one of them as since it could not be proven that he was above 15 years of age and therefore criminally responsible.

36. In dem Buch Evolution beschrieben Dobzhansky und seine Mitarbeiter die Evolution als eine Hypothese oder Theorie und gaben folgendes zu: „Wissenschaftliche Hypothesen können nur provisorisch akzeptiert werden, da ihre Wahrhaftigkeit niemals schlüssig bewiesen werden kann.“

In the book Evolution, Dobzhansky and his coworkers described it as a hypothesis or theory and made this admission: “Scientific hypotheses can only be accepted provisionally, since their truth can never be conclusively established.”

37. Solange die Unfälle nicht nachgestellt sind und bewiesen ist, dass es tatsächlich an der Verbrennung lag, muss man auch in Irland davon ausgehen, dass wieder ein krimineller Akt vorgenommen wurde, bei dem diese toxischen Stoffe, dieses PCB, eingemischt wurde.

As long as these accidents have not been reconstructed and it remains unproven that it really was the result of burning, it must be assumed, in Ireland, too, that a criminal act took place whereby these toxic substances, this PCB, were admixed.

38. Indem die Analogie des Ritzschen oder des erweiterten Galerkinschen Verfahrens mit der Approximationsmethode einer gewissen Integro-Differentialgleichung aufgezeigt wird, werden Hilfsmittel gewonnen, um die Konvergenz des Ritzschen oder des erweiterten Galerkinschen Verfahrens indirekt zu beweisen, dadurch daß die Konvergenz der analogen, genäherten Integro-Differentialgleichung bewiesen wird.

By showing the analogy of Ritz or the extended Galerkin method with the approximation of a certain integro-differential equation, means are obtained for proving the convergence of Ritz or the extended Galerkin method indirectly by proving the convergence of the analoguous approximate integro-differential equation.

39. Gleichzeitig wurde verdeutlicht, daß die KMU bislang häufig eine besondere Fähigkeit zur Anpassung an die sich wandelnden Marktbedingungen bewiesen haben, was in vielen Fällen darauf zurückzuführen ist, daß sie im institutionellen Rahmen eine besondere Stellung einnehmen, die zwar größere Flexibilität aber nicht höhere Sicherheit gewährleisten kann.

At the same time, it was stressed that so far SMEs have shown themselves particularly adroit at adapting to changing market conditions. In many cases, this is due to their special position in relation to the institutional framework; while making for more flexibility, this is no guarantee of greater security.

40. Neurologen haben uns die Wege aufgezeigt, die die Amygdala mit der denkenden Gehirnhälfte, dem Neokortex, verbinden und dabei bewiesen, dass diese Wege nicht symmetrisch sind. Die Verbindungen zwischen dem Kortex und der Amygdala sind um einiges schwächer als die Verbindungen zwischen der Amygdala und dem Kortex.

Neuro-anatomists have shown that the pathways that connect the amygdala with the thinking brain, the neocortex, are not symmetrical - the connections from the cortex to the amygdala are considerably weaker than those from the amygdala to the cortex.

41. Die griechische Regierung ist der Ansicht, Art. 18 der Grundverordnung habe Indizfunktion, um den Unionsorganen die Durchführung einer Umgehungsuntersuchung zu erleichtern, so dass sie bei fehlender Mitarbeit der interessierten Parteien eine unmittelbar nach der Einführung des Antidumpingzolls aufgetretene Veränderung des Handelsgefüges einer Umgehung zuschreiben könnten, es sei denn, die interessierten Parteien bewiesen das Gegenteil.

The Greek Government maintains that Article 18 of the basic regulation introduces a presumption designed to assist the EU institutions in the conduct of the anti-circumvention investigation, to the effect that, in the absence of cooperation from the parties concerned, the EU institutions may classify the change in the pattern of trade which ensued immediately after the anti-dumping duty was imposed as circumvention, unless the interested parties adduce proof to the contrary.

42. Gestützt auf meine Überzeugung, dass dieses Parlament dem Gebot der Stunde folgen und diesen Vorschlag ablehnen wird, der umfassend bewiesen hat, dass er den gegenwärtigen Erfordernissen der europäischen Häfen nicht entspricht, möchte ich den Kommissar bitten, Feingefühl zu demonstrieren, wie er es bereits in anderen Verkehrsbereichen getan hat, und – da es die globale Situation erforderlich macht – schnellstmöglich einen aktualisierten, sachdienlichen und mutigen Konsultationsprozess vorzubereiten, bei dem alle erforderlichen Aspekte der europäischen Hafenpolitik offen und gründlich erörtert werden.

Based on my conviction, therefore, that this Parliament will do what it has to do and reject this proposal, which has amply demonstrated its inadequacy in terms of the current needs of European ports, I would ask the Commissioner to be sensitive, as he has shown himself to be in other areas of transport, and, because the global situation requires it, as soon as possible to prepare an updated, necessary and courageous consultation process which deals openly and thoroughly with all of the necessary aspects of European ports.

43. Die Kommission, die nicht behauptet, dass zwischen dem beklagten Mitgliedstaat und den Staaten, die dem EWR angehören, aber nicht Mitglieder der Union sind, bilaterale Abkommen über die gegenseitige Amtshilfe im Steuerbereich existierten, hat ihrerseits nicht bewiesen, dass ausreichende Mechanismen der Auskunftserteilung und der Zusammenarbeit bestünden, damit das Königreich Spanien die Informationen über die geschuldete Steuer und deren Beitreibung erhalten könne (vgl. entsprechend Urteile Kommission/Portugal, EU:C:2011:273, Rn. 56, und Kommission/Spanien, EU:C:2012:439, EU:C:2012:439, Rn. 98).

Given that the Commission has not alleged that there are any bilateral agreements on mutual assistance in tax matters between the defendant Member State and the States party to the EEA Agreement which are non-EU members, it has not established the existence of mechanisms for the exchange of information and for cooperation sufficient to enable the Kingdom of Spain to obtain information on the taxes due and the collection of those taxes (see, by analogy, judgments in Commission v Portugal, EU:C:2011:273, paragraph 56, and Commission v Spain, EU:C:2012:439, paragraph 98).