Future Researcher: Welcome by Mr Leivant (Q3696570): Difference between revisions
Jump to navigation
Jump to search
(Created claim: summary (P836): Das Projekt betrifft die Aufnahme von Herrn Daniel LEIVANT, Professor an der University of Indiana (Bloomington) in den Vereinigten Staaten, dem Lothringen Forschungslabor für Informatik und seine Anwendungen (LORIA) für eine Dauer von einem Jahr. In den letzten zwei Jahren hat die Arbeit von Daniel LEIVANT die implizite Komplexitätsforschung beeinflusst und bewässert. Die implizite Komplexität zielt darauf ab, analytische Modelle für computerge...) |
(Changed label, description and/or aliases in nl, and other parts: Adding Dutch translations) |
||||||||||||||
| label / nl | label / nl | ||||||||||||||
Toekomstige onderzoeker: Welkom door de heer Leivant | |||||||||||||||
| Property / summary | |||||||||||||||
Het project betreft de verwelkoming van Daniel LEIVANT, professor aan de Universiteit van Indiana (Bloomington) in de Verenigde Staten, aan het Lorrain Laboratory of Research in Informatica and its Applications (LORIA) voor een periode van één jaar. Het werk van Daniel LEIVANT heeft de afgelopen twee jaar onderzoek in impliciete complexiteit beïnvloed en geïrrigeerd. Het doel van impliciete complexiteit is het ontwikkelen van analytische modellen van computerberekeningen, waarbij rekening wordt gehouden met de voor deze berekeningen benodigde middelen. Dit werk maakt het zowel mogelijk om te reageren op de fundamentele vermoedens van de theorie van complexiteit en zowel om programmering of bewijs systemen te bieden die het begrip middelen integreren. (Dutch) | |||||||||||||||
| Property / summary: Het project betreft de verwelkoming van Daniel LEIVANT, professor aan de Universiteit van Indiana (Bloomington) in de Verenigde Staten, aan het Lorrain Laboratory of Research in Informatica and its Applications (LORIA) voor een periode van één jaar. Het werk van Daniel LEIVANT heeft de afgelopen twee jaar onderzoek in impliciete complexiteit beïnvloed en geïrrigeerd. Het doel van impliciete complexiteit is het ontwikkelen van analytische modellen van computerberekeningen, waarbij rekening wordt gehouden met de voor deze berekeningen benodigde middelen. Dit werk maakt het zowel mogelijk om te reageren op de fundamentele vermoedens van de theorie van complexiteit en zowel om programmering of bewijs systemen te bieden die het begrip middelen integreren. (Dutch) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / summary: Het project betreft de verwelkoming van Daniel LEIVANT, professor aan de Universiteit van Indiana (Bloomington) in de Verenigde Staten, aan het Lorrain Laboratory of Research in Informatica and its Applications (LORIA) voor een periode van één jaar. Het werk van Daniel LEIVANT heeft de afgelopen twee jaar onderzoek in impliciete complexiteit beïnvloed en geïrrigeerd. Het doel van impliciete complexiteit is het ontwikkelen van analytische modellen van computerberekeningen, waarbij rekening wordt gehouden met de voor deze berekeningen benodigde middelen. Dit werk maakt het zowel mogelijk om te reageren op de fundamentele vermoedens van de theorie van complexiteit en zowel om programmering of bewijs systemen te bieden die het begrip middelen integreren. (Dutch) / qualifier | |||||||||||||||
point in time: 6 December 2021
| |||||||||||||||
Revision as of 17:10, 6 December 2021
Project Q3696570 in France
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Future Researcher: Welcome by Mr Leivant |
Project Q3696570 in France |
Statements
27,455.0 Euro
0 references
54,910.0 Euro
0 references
50.0 percent
0 references
1 October 2015
0 references
30 June 2017
0 references
Université de Lorraine
0 references
Le projet concerne l’accueil de Monsieur Daniel LEIVANT, Professeur à l'Université d'Indiana (Bloomington) aux Etats-Unis, au Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) pour une durée d’un an. Au cours des deux dernières années, le travail de Daniel LEIVANT a influencé et irrigué la recherche en complexité implicite. La complexité implicite a pour objectif de développer des modèles analytiques des calculs sur ordinateur en prenant en compte les ressources nécessaires à ces calculs. Ces travaux permettent à la fois d’essayer de répondre aux conjectures fondamentales de la théorie de la complexité et à la fois à fournir des systèmes de programmation ou de preuve qui intègrent la notion de ressources. (French)
0 references
The project concerns the welcome of Daniel LEIVANT, Professor at the University of Indiana (Bloomington) in the United States, at the Lorrain Laboratory of Research in Informatics and its Applications (LORIA) for a period of one year. Over the past two years, Daniel LEIVANT’s work has influenced and irrigated research in implicit complexity. The purpose of implicit complexity is to develop analytical models of computer-based calculations, taking into account the resources required for these calculations. This work allows both to try to respond to the fundamental conjectures of the theory of complexity and both to provide programming or evidence systems that integrate the notion of resources. (English)
22 November 2021
0 references
Das Projekt betrifft die Aufnahme von Herrn Daniel LEIVANT, Professor an der University of Indiana (Bloomington) in den Vereinigten Staaten, dem Lothringen Forschungslabor für Informatik und seine Anwendungen (LORIA) für eine Dauer von einem Jahr. In den letzten zwei Jahren hat die Arbeit von Daniel LEIVANT die implizite Komplexitätsforschung beeinflusst und bewässert. Die implizite Komplexität zielt darauf ab, analytische Modelle für computergestützte Berechnungen zu entwickeln, wobei die für diese Berechnungen erforderlichen Ressourcen berücksichtigt werden. Diese Arbeiten ermöglichen es sowohl zu versuchen, die grundlegenden Vermutungen der Komplexitätstheorie zu reagieren und sowohl Programmier- oder Beweissysteme, die das Konzept der Ressourcen integrieren. (German)
1 December 2021
0 references
Het project betreft de verwelkoming van Daniel LEIVANT, professor aan de Universiteit van Indiana (Bloomington) in de Verenigde Staten, aan het Lorrain Laboratory of Research in Informatica and its Applications (LORIA) voor een periode van één jaar. Het werk van Daniel LEIVANT heeft de afgelopen twee jaar onderzoek in impliciete complexiteit beïnvloed en geïrrigeerd. Het doel van impliciete complexiteit is het ontwikkelen van analytische modellen van computerberekeningen, waarbij rekening wordt gehouden met de voor deze berekeningen benodigde middelen. Dit werk maakt het zowel mogelijk om te reageren op de fundamentele vermoedens van de theorie van complexiteit en zowel om programmering of bewijs systemen te bieden die het begrip middelen integreren. (Dutch)
6 December 2021
0 references
Identifiers
LO0007486
0 references