DE Die Teilnehmer verfügten über unterschiedliche Erfahrungen, aber die meisten von uns hatten ihre Lehrfähigkeiten in der Praxis entwickelt, ohne formale Qualifikationen und einfach nach der üblichen Praxis
"formale qualifikationen" em alemão pode ser traduzido nas seguintes palavras/frases inglês:
qualifikationen | certificates experience have knowledge qualifications skill skills |
DE Die Teilnehmer verfügten über unterschiedliche Erfahrungen, aber die meisten von uns hatten ihre Lehrfähigkeiten in der Praxis entwickelt, ohne formale Qualifikationen und einfach nach der üblichen Praxis
EN There was a range of experience present, but most of us had developed our training skills on the job, without formal qualifications and simply following common practice
alemão | inglês |
---|---|
entwickelt | developed |
üblichen | common |
praxis | practice |
ohne | without |
qualifikationen | qualifications |
hatten | was |
und | and |
in | on |
uns | us |
aber | but |
einfach | a |
DE Wenn Sie beispielsweise EU-Bürger sind und Ihre beruflichen Qualifikationen in Großbritannien erworben haben, müssen Sie Ihre Qualifikationen in dem betreffenden Land gemäß den dortigen Vorschriften formell anerkennen lassen
EN For example, if you’re an EU citizen with professional qualifications acquired in the United Kingdom, you’ll need to have your qualifications formally recognized in the relevant country in accordance with their rules
alemão | inglês |
---|---|
qualifikationen | qualifications |
erworben | acquired |
land | country |
vorschriften | rules |
eu | eu |
bürger | citizen |
in | in |
ihre | your |
beispielsweise | example |
gemäß | with |
den | the |
DE Obwohl Jackson keine formale Ausbildung in der Filmproduktion oder Spezialeffekten hatte, bahnte er mit diesen frühen Versuchen den Weg für seine späteren oscargekrönten Erfolge.
EN While Jackson had no formal training in film-making or special effects, his early grounding would ensure his later Oscar-winning successes.
alemão | inglês |
---|---|
ausbildung | training |
filmproduktion | film |
frühen | early |
späteren | later |
erfolge | successes |
jackson | jackson |
oder | or |
in | in |
keine | no |
hatte | had |
der | special |
er | his |
DE Formale Methoden zur Qualitätssicherung der Zugänglichkeit existieren innerhalb des Unternehmens.
EN Formal methods for quality assurance of accessibility exist within the company.
alemão | inglês |
---|---|
methoden | methods |
qualitätssicherung | quality assurance |
zugänglichkeit | accessibility |
existieren | exist |
unternehmens | company |
innerhalb | within |
DE Die Tezos Blockchain wurde entwickelt, um die formale Überprüfung zu vereinfachen, welche Smart Contracts sichert und vor "Buggy Code" schützt
EN The Tezos blockchain was designed to facilitate formal verification, which helps secure smart contracts and avoid buggy code
alemão | inglês |
---|---|
tezos | tezos |
blockchain | blockchain |
smart | smart |
contracts | contracts |
code | code |
buggy | buggy |
zu | to |
vereinfachen | facilitate |
und | and |
entwickelt | designed |
sichert | secure |
wurde | was |
die | the |
DE Zulässigkeit/formale Korrektheit der Ersuchen (Prüfung durch unsere Anwälte)
EN Admissibility / formal correctness of the request (checked by our lawyers)
alemão | inglês |
---|---|
korrektheit | correctness |
ersuchen | request |
anwälte | lawyers |
unsere | our |
DE Entdecken Sie, wie die La Trobe University Library die Sichtbarkeit der Arbeit von Forschern über die formale Veröffentlichung hinaus verbessert.
EN Discover how the Massachusetts Library System efficiently finds and delivers the right items to library users across the state.
alemão | inglês |
---|---|
library | library |
entdecken | discover |
hinaus | to |
der | the |
DE Im Studium wird auf informatisch- und designtechnische, mathematische und formale Grundlagen zurückgegriffen
EN In the programme, students learn design technology, mathematical and formal foundations
alemão | inglês |
---|---|
mathematische | mathematical |
grundlagen | foundations |
im | in the |
wird | the |
DE Das Studium greift auf informatischtechnische, medizinische, mathematische und formale Grundlagen zurück
EN The program based on information technology, medical, mathematical and formal foundations
alemão | inglês |
---|---|
medizinische | medical |
mathematische | mathematical |
grundlagen | foundations |
und | and |
DE Wesentliche formale Voraussetzung für die Zulassung zum Bachelorstudium Technische Mathematik ist die allgemeine Universitätsreife
EN The main formal requirement for admission to the Bachelor's program in Technical Mathematics is the general university entrance qualification
alemão | inglês |
---|---|
voraussetzung | requirement |
zulassung | admission |
technische | technical |
mathematik | mathematics |
allgemeine | general |
für | for |
ist | is |
zum | the |
DE Seit 1993 leitet Werner Stephan die Forschungsgruppe Formale Methoden/Sicherheit am DFKI in Saarbrücken und ist seit 1997 Privatdozent im Fachbereich Informatik der Universität des Saarlandes
EN In 1993 Werner Stephan became head of the research department Formal Methods/Security at the DFKI in Saarbrücken and since 1997 he has been a private lecturer in the Department of Computer Science at Saarland University
alemão | inglês |
---|---|
leitet | head |
werner | werner |
stephan | stephan |
methoden | methods |
sicherheit | security |
dfki | dfki |
fachbereich | department |
universität | university |
am | at the |
in | in |
im | in the |
informatik | computer science |
der | private |
ist | became |
seit | of |
und | and |
des | the |
DE Werner Stephan akquirierte und leitete etliche DFKI-Forschungsprojekte wie beispielsweise Sicherheit im Zahlungsverkehr (FairPay), Durchgängige formale Entwicklung (Verisoft) und seit 2005 die Verifikation der Protokolle für Reisepässe und Ausweise.
EN Werner Stephan has acquired and managed several DFKI research projects such as payment security (FairPay), end-to-end formal development (Verisoft) and, since 2005, verification of passport and passport protocols.
alemão | inglês |
---|---|
werner | werner |
stephan | stephan |
etliche | several |
sicherheit | security |
protokolle | protocols |
dfki | dfki |
entwicklung | development |
seit | of |
und | and |
DE Es ermöglicht dir auch, dasselbe Tool zu verwenden, das es seit Jahrzehnten für Debugging, statische Analyse und formale Überprüfungen gibt.
EN It also enables you to use the same tooling that has been in existence for decades for things like debugging, static analysis, and formal verification.
alemão | inglês |
---|---|
ermöglicht | enables |
jahrzehnten | decades |
debugging | debugging |
statische | static |
analyse | analysis |
es | it |
verwenden | use |
zu | to |
seit | for |
und | and |
DE Der Band gewährt einen spannenden Einblick in bahnbrechende Methoden, Technologien, theoretische Ergebnisse und Werkzeuge für Formale Logik in Rechensystemen und Systementwicklungen.
EN This volume provides a fascinating insight into revolutionary methods, technologies, theoretical results and tools for formal logic in computer systems and system developments.
alemão | inglês |
---|---|
spannenden | fascinating |
einblick | insight |
bahnbrechende | revolutionary |
theoretische | theoretical |
ergebnisse | results |
logik | logic |
technologien | technologies |
in | in |
einen | a |
methoden | methods |
und | and |
werkzeuge | tools |
für | for |
DE Unsere frühe Erziehung verlangt von uns, dass wir mindestens drei formale Sprachen sprechen, und ein paar lokale Dialekte, je nach individuellem Familienhintergrund
EN Our early education demands us to speak at least three formal languages, and a few local dialects depending on individual family background
alemão | inglês |
---|---|
frühe | early |
erziehung | education |
verlangt | demands |
lokale | local |
dialekte | dialects |
sprachen | languages |
individuellem | individual |
je nach | depending |
unsere | our |
von | background |
uns | us |
drei | three |
und | and |
DE Der DFKI-Forschungsbereich „Agenten und Simulierte Realität (ASR)“ bündelt dazu in einzigartiger Weise Kompetenzen aus den zentralen Bereichen Visual Computing, Multiagentensysteme sowie Formale Methoden für Sichere Systeme.
EN The DFKI research department “Agents and Simulated Reality (ASR)” combines competencies from the core fields of Visual Computing and Artificial Intelligence, particularly in multi-agent systems and formal methods for safe and secure systems.
DE Die entwickelten Technologien umfassen formale Modellierungstechniken, interaktive Deduktionsmethoden und die Verwaltung von Artefakten der Entwicklungen
EN The developed technologies include formal modelling techniques, interactive methods of deduction and the management of the artifacts of developments
alemão | inglês |
---|---|
entwickelten | developed |
interaktive | interactive |
verwaltung | management |
technologien | technologies |
entwicklungen | developments |
und | and |
DE Die formale Modellierung der Anlagen und ihrer Prozesse als Hybride Systeme erlaubt garantierte Aussagen zu treffen, die gleichzeitig die diskrete Kontrollsoftware als auch das räumlich-zeitliche Verhalten der Anlagen berücksichtigen
EN The formal modeling of systems and their processes as hybrid systems allows guaranteed statements, which at the same time take into account the discrete control software as the spatio-temporal behavior of plants
alemão | inglês |
---|---|
modellierung | modeling |
hybride | hybrid |
erlaubt | allows |
aussagen | statements |
diskrete | discrete |
verhalten | behavior |
berücksichtigen | take into account |
prozesse | processes |
treffen | time |
systeme | systems |
als | as |
und | and |
garantierte | guaranteed |
DE Wie immer ist es hilfreich, sich auf eine bestimmte Nische zu konzentrieren. Du kannst dich auf bestimmte Themen (z. B. Ratgeber, Branchennews, Anleitungen) oder bestimmte Schreibstile (z. B. humorvolle Essays, formale Rechtstexte) spezialisieren.
EN As always, it helps to focus on specific niches. You can specialize in certain topics (i.e. advice, industry news, DIY how-tos) or certain writing styles (i.e. humorous essays, dry legal copy).
alemão | inglês |
---|---|
immer | always |
anleitungen | advice |
spezialisieren | specialize |
es | it |
oder | or |
zu | to |
bestimmte | certain |
kannst | you can |
du | you |
konzentrieren | focus |
themen | topics |
DE Wohlbekannt für seine akkurate Sorgfalt und formale Strenge im Gestaltungsprozess, verkörpern die Arbeiten von Konstantin Grcic hauptsächlich Schlichtheit und Funktionalität.
EN Konstantin Grcic is renowned for the precision, care, and formal rigour he brings to the design process. His work expresses, above all, simplicity and functionality.
alemão | inglês |
---|---|
sorgfalt | care |
arbeiten | work |
funktionalität | functionality |
für | for |
und | and |
die | the |
von | to |
DE Die Wandzeile kann frei an der Wand positioniert werden; ihre formale Geschlossenheit macht es möglich
EN The wall line can be positioned freely on the wall thanks to its self-contained form
alemão | inglês |
---|---|
wand | wall |
positioniert | positioned |
kann | can |
der | the |
werden | to |
DE Unsere formale Sprache ist funktional, klar und reduziert in der Linie mit Gefühl für das Detail
EN The formal language our furniture speaks is functional, clear and to the point
alemão | inglês |
---|---|
funktional | functional |
klar | clear |
unsere | our |
ist | is |
der | the |
DE Ein Lamy Schreibgerät ist niemals reine Selbstdarstellung des jeweiligen Designers. Seine technische und formale Beschaffenheit ist ausschließlich auf die Bedürfnisse der zukünftigen Benutzer zugeschnitten.
EN Quality for us begins right from production of the materials and individual parts used.
alemão | inglês |
---|---|
beschaffenheit | quality |
benutzer | used |
und | and |
DE Mit der LAMY scala Serie legt Lamy eine Schreibgerätefamilie vor, die durch formale Strenge und emotionale Details fasziniert.
EN The scala series by LAMY is a family of writing instruments that entices through formal simplicity yet radiates emotional details.
alemão | inglês |
---|---|
lamy | lamy |
scala | scala |
serie | series |
emotionale | emotional |
details | details |
legt | the |
und | writing |
eine | a |
DE Formale Spiele moderner Anrichten
EN Formal games of modern highboard
alemão | inglês |
---|---|
spiele | games |
moderner | modern |
DE In seinen Kollektionen treffen stilistische und formale Forschungs-, Design- und Produktionserfahrung zusammen
EN His collections convey stylistic and formal research, design and production experience
alemão | inglês |
---|---|
seinen | his |
kollektionen | collections |
und | and |
forschungs | research |
design | design |
DE Die Semrush Academy bietet Kurse und formale Zertifizierungsprogramme an, die verschiedene Themen des digitalen Marketings und der Suchmaschinenoptimierung abdecken
EN Semrush Academy offers courses and formal certification programs that cover several digital marketing and SEO topics
alemão | inglês |
---|---|
semrush | semrush |
academy | academy |
bietet | offers |
themen | topics |
digitalen | digital |
suchmaschinenoptimierung | seo |
kurse | courses |
marketings | digital marketing |
verschiedene | several |
und | and |
an | cover |
DE Nach Abschluss des Kurses erhalten die Teilnehmer eine formale Zertifizierung, die ihre Arbeit und Leistung anerkennt.
EN Upon completion, students will receive a formal certification to acknowledge their work and accomplishment.
alemão | inglês |
---|---|
abschluss | completion |
zertifizierung | certification |
leistung | accomplishment |
erhalten | receive |
arbeit | work |
eine | a |
und | and |
nach | upon |
DE Die Nutzer können kostenlos auf die Online-Videoinhalte zugreifen oder sich für den kostenpflichtigen Kurs anmelden, um eine formale Zertifizierung zu erhalten und direkt mit dem Dozenten in Kontakt zu treten.
EN Users can access the online video content for free or sign up for the paid course to receive a formal certification and engage directly with the instructor.
alemão | inglês |
---|---|
nutzer | users |
kurs | course |
zertifizierung | certification |
online | online |
kontakt | engage |
oder | or |
kostenpflichtigen | paid |
können | can |
zugreifen | access |
anmelden | sign up |
zu | to |
direkt | directly |
treten | the |
und | and |
eine | a |
um | for |
DE für Ihre Unternehmens-Workloads können Sie nicht riskieren, dass Ihnen der formale, offizielle Support für Ihre
EN for your enterprise workloads you cannot risk running out of formal, official support for your
alemão | inglês |
---|---|
offizielle | official |
support | support |
unternehmens | enterprise |
ihre | your |
für | for |
der | of |
DE Dies gilt insbesondere für diejenigen, denen formale Ingenieur- oder Informatikkenntnisse fehlen
EN This is particularly true of those who lack formal engineering or computer science knowledge
alemão | inglês |
---|---|
insbesondere | particularly |
fehlen | lack |
ingenieur | engineering |
oder | or |
dies | this |
DE Werden sie Teil dieses Netzwerks, indem Sie das LISAvienna Team zu einem individuellen Beratungsgespräch treffen und an unseren Veranstaltungen teilnehmen – es ist keine formale Mitgliedschaft erforderlich.
EN Enter the network by arranging an individual consulting meeting with the LISAvienna team and by attending our events – no formal membership is required.
DE Pre-Screening und „formale“ Leachables-Studien
EN Pre-Screening and “Formal” Leachables Studies
DE Fähigkeitenbewertungen sind wissenschaftliche und formale Techniken zur Bewertung der Fähigkeiten möglicher Bewerber
EN Skills assessments are scientific and formal techniques for evaluating the abilities of potential applicants
alemão | inglês |
---|---|
wissenschaftliche | scientific |
bewerber | applicants |
techniken | techniques |
fähigkeiten | skills |
und | and |
sind | are |
DE Die Tezos Blockchain wurde entwickelt, um die formale Überprüfung zu vereinfachen, welche Smart Contracts sichert und vor "Buggy Code" schützt
EN The Tezos blockchain was designed to facilitate formal verification, which helps secure smart contracts and avoid buggy code
alemão | inglês |
---|---|
tezos | tezos |
blockchain | blockchain |
smart | smart |
contracts | contracts |
code | code |
buggy | buggy |
zu | to |
vereinfachen | facilitate |
und | and |
entwickelt | designed |
sichert | secure |
wurde | was |
die | the |
DE Formale Methoden zur Qualitätssicherung der Zugänglichkeit existieren innerhalb des Unternehmens.
EN Formal methods for quality assurance of accessibility exist within the company.
alemão | inglês |
---|---|
methoden | methods |
qualitätssicherung | quality assurance |
zugänglichkeit | accessibility |
existieren | exist |
unternehmens | company |
innerhalb | within |
DE Im Studium wird auf informatisch- und designtechnische, mathematische und formale Grundlagen zurückgegriffen
EN In the programme, students learn design technology, mathematical and formal foundations
alemão | inglês |
---|---|
mathematische | mathematical |
grundlagen | foundations |
im | in the |
wird | the |
DE Das Studium greift auf informatischtechnische, medizinische, mathematische und formale Grundlagen zurück
EN The program based on information technology, medical, mathematical and formal foundations
alemão | inglês |
---|---|
medizinische | medical |
mathematische | mathematical |
grundlagen | foundations |
und | and |
DE Wesentliche formale Voraussetzung für die Zulassung zum Bachelorstudium Technische Mathematik ist die allgemeine Universitätsreife
EN The main formal requirement for admission to the Bachelor's program in Technical Mathematics is the general university entrance qualification
alemão | inglês |
---|---|
voraussetzung | requirement |
zulassung | admission |
technische | technical |
mathematik | mathematics |
allgemeine | general |
für | for |
ist | is |
zum | the |
DE Der Band gewährt einen spannenden Einblick in bahnbrechende Methoden, Technologien, theoretische Ergebnisse und Werkzeuge für Formale Logik in Rechensystemen und Systementwicklungen.
EN This volume provides a fascinating insight into revolutionary methods, technologies, theoretical results and tools for formal logic in computer systems and system developments.
alemão | inglês |
---|---|
spannenden | fascinating |
einblick | insight |
bahnbrechende | revolutionary |
theoretische | theoretical |
ergebnisse | results |
logik | logic |
technologien | technologies |
in | in |
einen | a |
methoden | methods |
und | and |
werkzeuge | tools |
für | for |
DE Wenn Ihre formale Zustimmung zu den mit dem Bericht verbundenen Bedingungen nicht erforderlich ist, wird der Download des Berichts eingeleitet
EN If your formal acceptance of the terms and conditions associated with the report is not required, the report download will initiate
alemão | inglês |
---|---|
verbundenen | associated |
erforderlich | required |
bericht | report |
download | download |
wenn | if |
ihre | your |
mit | with |
bedingungen | conditions |
nicht | not |
DE Seit 1993 leitet Werner Stephan die Forschungsgruppe Formale Methoden/Sicherheit am DFKI in Saarbrücken und ist seit 1997 Privatdozent im Fachbereich Informatik der Universität des Saarlandes
EN In 1993 Werner Stephan became head of the research department Formal Methods/Security at the DFKI in Saarbrücken and since 1997 he has been a private lecturer in the Department of Computer Science at Saarland University
alemão | inglês |
---|---|
leitet | head |
werner | werner |
stephan | stephan |
methoden | methods |
sicherheit | security |
dfki | dfki |
fachbereich | department |
universität | university |
am | at the |
in | in |
im | in the |
informatik | computer science |
der | private |
ist | became |
seit | of |
und | and |
des | the |
DE Werner Stephan akquirierte und leitete etliche DFKI-Forschungsprojekte wie beispielsweise Sicherheit im Zahlungsverkehr (FairPay), Durchgängige formale Entwicklung (Verisoft) und seit 2005 die Verifikation der Protokolle für Reisepässe und Ausweise.
EN Werner Stephan has acquired and managed several DFKI research projects such as payment security (FairPay), end-to-end formal development (Verisoft) and, since 2005, verification of passport and passport protocols.
alemão | inglês |
---|---|
werner | werner |
stephan | stephan |
etliche | several |
sicherheit | security |
protokolle | protocols |
dfki | dfki |
entwicklung | development |
seit | of |
und | and |
DE Körpernahe oder implantierte Systeme bieten vielen Menschen heute ein deutlich erhöhtes Maß an Lebensqualität. Bei dem Entwurf dieser Medizinprodukte spielen formale Methoden und smarte Interaktionsparadigmen eine tragende Rolle.
EN Wearable, on-body or implated devices offer many people a significantly higher level of quality of life. Formal methods and smart interaction paradigms play an important role in the design of these medical devices.
alemão | inglês |
---|---|
systeme | devices |
bieten | offer |
erhöhtes | higher |
lebensqualität | quality of life |
methoden | methods |
smarte | smart |
rolle | role |
oder | or |
entwurf | design |
menschen | people |
an | on |
und | and |
spielen | play |
ein | a |
dem | the |
DE Menschliche Fähigkeiten wie intuitives Handeln, soziale und emotionale Intelligenz sowie die Fähigkeit aus verschiedenen Sinneseindrücken ein Gesamtbild zu erzeugen, lassen sich nicht durch formale mathematische Regeln beschreiben.
EN Human abilities such as intuitive action, social and emotional intelligence, and the ability to create an overall picture from different sensory impressions cannot be described by formal mathematical rules.
alemão | inglês |
---|---|
intuitives | intuitive |
handeln | action |
soziale | social |
emotionale | emotional |
intelligenz | intelligence |
gesamtbild | overall picture |
mathematische | mathematical |
regeln | rules |
beschreiben | described |
fähigkeit | ability |
menschliche | human |
verschiedenen | different |
fähigkeiten | abilities |
zu | to |
erzeugen | to create |
aus | from |
die | cannot |
und | and |
DE Formale Verifikation, Validierung und automatisiertes Testen von eingebetteten Systemen für die Automobilindustrie
EN Formal verification, validation and automated testing of embedded systems for the automotive industry
alemão | inglês |
---|---|
automatisiertes | automated |
eingebetteten | embedded |
systemen | systems |
validierung | validation |
testen | testing |
automobilindustrie | automotive industry |
die | automotive |
und | and |
für | for |
von | of |
DE Sofern sich Ihre erneute Bewerbung nicht oder nur unwesentlich von der abgelehnten Erstbewerbung unterscheidet, kann dies ein Grund für eine formale Ablehnung Ihrer erneuten Bewerbung sein.
EN Submitting a new application that differs little or not at all from the rejected original may result in a formal rejection of the new application.
alemão | inglês |
---|---|
bewerbung | application |
unterscheidet | differs |
ablehnung | rejection |
oder | or |
nicht | not |
erneute | new |
ein | a |
DE Weder Deep Learning noch das Differenzierbare Programmieren bieten in dieser Hinsicht jegliche formale Beweise.
EN Neither deep learning nor differentiable programming provides any formal proof in this regard.
alemão | inglês |
---|---|
learning | learning |
programmieren | programming |
hinsicht | regard |
dieser | this |
bieten | provides |
weder | nor |
in | in |
deep | deep |
DE Ein netter Zwischenschritt ist es, einen Kollegen oder eine Kollegin mit dem Vornamen anzusprechen und dabei das formale „Sie“ zu verwenden
EN If you’re not on a first-name basis in German, you can still switch when speaking English
alemão | inglês |
---|---|
sie | on |
eine | a |
oder | not |
zu | in |
und | speaking |
DE Aufgebrochen wird diese formale Ausstrahlung vor allem durch fast runde Punkte über „i“ und „j“ sowie Tropfen zum Beispiel in „a“ und „f“
EN This formal aura is principally broken up by almost round points over i and j and drops in a and f, for example
alemão | inglês |
---|---|
fast | almost |
runde | round |
punkte | points |
j | j |
tropfen | drops |
f | f |
beispiel | example |
durch | by |
und | and |
in | in |
Mostrando 50 de 50 traduções