formalism

4) The participants underscore that this paradigm shift does not mean that legal education and research should abandon the local level. Rather, the participants stress the importance of finding a new balance between the global and the local, as well as between legal pluralism and legal formalism.

4) Die Teilnehmer unterstreichen, dass dieser Paradigmenwechsel bedeutet nicht, dass juristische Ausbildung und Forschung sollte die lokale Ebene zu verlassen. Vielmehr betonen die Teilnehmer die Bedeutung der Suche nach einem neuen Gleichgewicht zwischen dem Globalen und dem Lokalen sowie zwischen Rechtspluralismus und juristischer Formalismus.

The theoretical framework that was developed in this paper, suffers from excessive formalism.

Der theoretische Rahmen, die in diesem Papier entwickelt wurde, leidet unter übermäßiger Formalismus.

Sorry, I was not aware that you need this formalism

Sorry, war ich nicht bewusst, dass man diesen Formalismus

I was not aware that you need this formalism.

Ich wusste nicht, dass man diesem Formalismus.

I was not aware that you require this formalism.

Ich war nicht bewusst, dass Sie diesen Formalismus benötigen.

Our focus will be threefold. First, the project members will engage in significant algorithmic developments in order to cope with properties of future Exascale architectures such as massive concurrency, deep memory hierarchies, communication avoidance, and fault tolerance/resilience in massively parallel preconditioned Krylov-subspace methods. Second, emerging automatic code generator for finite-difference stencil applications and parallel programming models such as partitioned global address space (PGAS) languages will be investigated and employed. Third, we plan to integrate our methods into HPC simulation codes: the open-source electronic structure calculation code OMEN, a project from low-cost high-performance uncertainty quantification, and a parallel code for using the non-equilibrium Green‟s function formalism in atomistic simulations of electronic transport.

Unser Fokus wird dreifach sein. Zunächst werden die Projekt-Mitglieder erhebliche algorithmische Entwicklungen zu engagieren, um mit den Eigenschaften der künftigen Exascale Architekturen wie massive Parallelität, tiefen Speicher Hierarchien, Kommunikations-Vermeidung und Fehlertoleranz / Widerstandsfähigkeit massiv parallelen vorkonditioniert Krylov-Unterraum-Verfahren zu bewältigen. Zweitens Schwellenländern automatischen Code-Generator für Finite-Differenzen-Schablone Anwendungen und parallelen Programmierung Modelle wie partitionierte globale Adressraum (PGAS) Sprachen untersucht und eingesetzt werden. Drittens wollen wir unsere Methoden in HPC Simulationscodes integrieren: die Open-Source elektronische Struktur Berechnungscode OMEN, ein Projekt von Low-Cost-High-Performance-Unsicherheit Quantifizierung und ein paralleler Code für die Verwendung der Nicht-Gleichgewichts-Green "s-Funktion Formalismus in atomistische Simulationen des elektronischen Transports.

If it goes even a little way toward counteracting the common misunderstädnigs of Gödel`s Theorems and the crude charges of formalism that sullied the literature on Hilberts' program, we will consider it a sucess.

Wenn es noch ein wenig in Richtung entgegen der gemeinsamen misunderstädnigs von Gödel `s Theoreme und den rohen Gebühren des Formalismus, die die Literatur über Hilberts" Programm besudelt geht, werden wir halten es für eine Erfolg.

to the claims of implicitly harking back to formalism

die Ansprüche der implizit horchend zurück zum Formalismus