Future Researcher: Welcome by Mr Leivant (Q3696570): Difference between revisions
Jump to navigation
Jump to search
(Removed claim: summary (P836): 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é implizite a pour objectif de développer des modèles analytiques des calculs sur...) |
(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...) |
||||||||||||||
| Property / summary | |||||||||||||||
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) | |||||||||||||||
| Property / summary: 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) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / summary: 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) / qualifier | |||||||||||||||
point in time: 1 December 2021
| |||||||||||||||
Revision as of 10:22, 1 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
Identifiers
LO0007486
0 references