Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
Algorithmics
Définition
Traduction de "Algorithmics" en allemand
Définition NEW
Algorithmics, a research area of information science, develops basic methods to efficiently use computers.
Die Algorithmik als Forschungsgebiet der Informatik entwickelt grundlegende Methoden zum effizienten Einsatz von Computern.
Algorithmics and data structure analysis are your friends!
Algorithmik und Datenstrukturanalyse sind dein Freund!
Algorithmics - the systematic development of efficient algorithms - is therefore crucial for transforming technological potential into applications that are important for technology, business, science, and our daily lives.
Algorithmik - die systematische Entwicklung effizienter Algorithmen - ist deshalb entscheidend für die Umsetzung technologischer Möglichkeiten in Anwendungen mit großer Bedeutung für Technik, Wirtschaft, Wissenschaft und unser tägliches Leben.
focus of this lecture Algorithmics is the basis for creating correct and efficient software solutions.
Algorithmik ist für das systematische Erstellen korrekter und effizienter Softwarelösungen eine wesentliche Grundlage.
The research will be carried out in four subject areas: Algorithmics for agent-based probabilistic and hybrid systems, formal methods of reactive systems and game-theoretic methods, software development and modelling languages, and finally applications and demonstrators.
Die Forschungen erfolgen in vier Themenbereichen: Algorithmik für agentenbasierte, probabilistische und hybride Systeme, Formale Modelle reaktiver Systeme und spieltheoretische Methoden, Softwaretechnische Einbettung und Modellierungssprachen, Anwendungen und Demonstratoren.
To obtain a world-spanning communications network, future route planners will perform real-time calculations of individual routes using different means of transport (Graphic: Institute for Theoretical Informatics, Chair of Algorithmics I, KIT)
Für ein weltumspannendes Verkehrsnetz sollen künftige Routenplaner individuelle Wege in unterschiedlichen Verkehrsmitteln in Echtzeit berechnen (Grafik: Institut für Theoretische Informatik, Lehrstuhl Algorithmik I, KIT)
DFG-Schwerpunktprogramm 1126 - Algorithmics of large and complex networks
POLNET - Schwerpunktprogramm 1126 - Algorithmik großer und komplexer Netzwerke
Since October 2017 I am a member of the work group Algorithmics I at the Institute of Theoretical Informatics.
Seit Oktober 2017 bin ich Mitglied der Arbeitsgruppe Algorithmik I am Institut für Theoretische Informatik.
2001 - 2008 Joint initiator and Coordinator of the DFG program 1126 "Algorithmics of Large and Complex Networks"
2001 - 2008 Mitinitiatorin und Sprecherin des DFG-Schwerpunktprogramms 1126 "Algorithmik großer und komplexer Netzwerke"
It is member of the Young Investigator Network at KIT and affiliated to the group Algorithmics I of the Institute of Theoretical Informatics.
Sie ist Mitglied im Young Investigator Network des KIT und angegliedert an den Lehrstuhl für Algorithmik I des Instituts für Theoretische Informatik.
Project within the DFG Priority Programme 1126 Algorithmics of Large and Complex Networks.
Projekt im DFG Schwerpunktprogramm 1126 Algorithmik großer und komplexer Netzwerke.
Dr. Carsten Sinz and Florian Merz work in the group "Verification Meets Algorithmics" at the KIT Institute of Theoretical Informatics and develop the static analysis tool LLBMC (Low-level Bounded Model Checker) for automatic software quality checks.
Dr. Carsten Sinz und Florian Merz entwickeln in der Forschungsgruppe „Verifikation trifft Algorithmik" am Institut für Theoretische Informatik des KIT das Statische-Analyse-Werkzeug LLBMC (Softwarequalitätsprüfung.
Basic knowledge in algorithmics is not a precondition but nevertheless very useful.
Keine Vorbedingung, aber dennoch sehr nützlich, sind Grundkenntnisse in Algorithmik.
Synonymes et analogies de "Algorithmics" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 111. Exacts: 111. Temps écoulé: 46 ms.
