Translation of "Formalization" in German
The
formalization
of
the
feeling
that
you're
missing
something.
Die
Formalisierung
des
Gefühls,
dass
einem
etwas
fehlt.
OpenSubtitles v2018
The
formalization
of
the
relationship
is
the
result
of
years
of
joint
work.
Die
Formalisierung
der
Beziehung
ist
das
Ergebnis
jahrelanger
gemeinsamer
Arbeit.
ParaCrawl v7.1
The
ministerial
crisis
–
they
were
frequent
then
–
prevented
its
formalization.
Die
–
damals
häufigen
–
Regierungskrisen
ließen
die
Formalisierung
dann
aber
doch
platzen.
ParaCrawl v7.1
Exceptions
to
the
rule
make
sophisticated
formalization
possible.
Ausnahmen
der
Regel
ermöglichen
eine
differenzierte
Formalisierung.
ParaCrawl v7.1
Their
most
significant
features
are
standardization
and
formalization.
Ihre
wichtigsten
Kennzeichen
sind
Normierung
und
Formalisierung.
ParaCrawl v7.1
Here,
an
ontology
is
in
particular
a
formalization
or
is
used
to
describe
a
knowledge
base.
Hierbei
ist
eine
Ontologie
insbesondere
eine
Formalisierung
bzw.
dient
einer
Beschreibung
einer
Wissensbasis.
EuroPat v2
Is
there
a
formalization
of
the
computational
model
for
quantum
computers?
Gibt
es
eine
Formalisierung
des
Computermodells
für
Quantencomputer?
CCAligned v1
The
formalization
and
verification
of
the
cryptographic
primitives
is
done
by
TU
Darmstadt.
Die
Formalisierung
und
Verifikation
der
Kryptoprimitiven
wird
durch
die
TU
Darmstadt
realisiert.
ParaCrawl v7.1
This
was
how
the
large
work
series
Formalization
of
Boredom
came
about.
So
kam
es
zu
der
großen
Werkgruppe
Formalisierung
der
Langeweile.
ParaCrawl v7.1
But
no
amount
of
formalization
can
obviate
the
need
for
human
judgement.
Keine
Maß
der
Formalisierung
kann
jedoch
die
Notwendigkeit
menschlichen
Urteils
obsolet
machen.
ParaCrawl v7.1
But
an
unintended
consequence
was
the
formalization
of
two
parallel
(euro-denominated)
currencies.
Aber
eine
unbeabsichtigte
Folge
war
die
Formalisierung
zweier
parallel
existierender
(Euro-)
Währungen.
News-Commentary v14
Papers
related
to
the
Mizar
system
regularly
appear
in
the
peer-reviewed
journals
of
the
mathematic
formalization
academic
community.
Papers
im
Zusammenhang
mit
dem
Mizar-System
erscheinen
regelmäßig
in
Fachzeitschriften
der
Akademischen
Gesellschaft
für
mathematische
Formalisierung.
Wikipedia v1.0