Eine direkte Linie führt von den abstrakten Untersuchungen von Carnap und Gödel zu den Computerprogrammen und Algorithmen, die unser Leben begleiten.
There is a direct line leading from the abstract investigations of Carnap and Gödel on symbolic logic to programmed computers and the algorithms governing our life today.
Seine Hauptforschungsgebiete waren Design, Struktur und Performance von Computerprogrammen und Algorithmen.
Computergestützte Lösungen technischer Probleme können dabei häufig mit einem Patent abgesichert werden, auch wenn beispielsweise in Deutschland und Europa Computerprogramme und Algorithmen als solche nicht ohne Weiteres dem Patentschutz zugänglich sind.
Computer-supported solutions of technical problems can often be secured with a patent, even if, for example, computer programs and algorithms as such are not patentable in Germany or the rest of Europe.
Die Bestimmung der genauen Raumplatzierung und Ausrichtung der Uhr gegenüber den Pulsaren wie auch die Einbringung von Verbesserungen in Bezug auf die Abweichungen der Signalwege sollten durch fortgeschrittene Computerprogramme und Algorithmen ermöglicht werden.
Pointing out the space location of the clock towards the pulsars, by the use of special analysis to the difference of the signal ways - sophisticated programs and algorithm will be used here.
Das zugrunde liegende Computerprogramm und die Algorithmen zur Steuerung der Auswahl der Fischfilets für jede Packung wurden durch Teltek selbst entwickelt.
The underlying computer program and the algorithm controlling the choice of fish fillets for each pack were developed in-house by Teltek.
Abschließend möchten wir Ihnen ans Herz legen, nur solchen Änderungen zu zustimmen, welche die Grenzen der Patentierbarkeit so festlegen, dass Computerprogramme, Algorithmen und Geschäftsmethoden nicht als solche patentiert werden können.
In conclusion, we would recommend You to vote for such amendments that clarify limits of patentability so that computer programs, algorithms and business methods really cannot be patented as such
Außerdem beschreibt er, wie eng die Arbeitstechnik des Juristen mit der Funktionsweise von Computerprogrammen und der Struktur von Algorithmen verwandt ist.
He also describes how the techniques used every day by lawyers can be compared to the way in which computer programs work, and possess a workflow-structure similar to that of an algorithm.
Auch das Problem der Verifikation, d.h. das Nachprüfen der Richtigkeit der numerischen Verfahren und der Programme zur Lösung der implementierten Gleichungen, noch vor deren Validierung am Experiment, wird zunehmend zur Herausforderung, da die Computerprogramme immer größer und die Algorithmen immer komplexer werden.
Another increasing challenge is the problem of verification - i.e. checking that the numerical methods and programs for solving the equations are correctly implemented before they can be "validated" in the experiment - as the computer programs are becoming ever larger and the algorithms ever more complex.
Sogar Algorithmen in Computerprogrammen sollen nicht mehr frei verfügbar sein.
Was ich meine ist, sie haben jetzt Computerprogramme, die Algorithmen benutzen, um diese zusammenzusetzen.
What I mean is, they got computer programs now that use algorithms to put these together.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
