Future Researcher: Welcome by Mr Leivant (Q3696570)
Jump to navigation
Jump to search
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
Il progetto riguarda l'accoglienza di Daniel LEIVANT, professore presso l'Università dell'Indiana (Bloomington) negli Stati Uniti, presso il Lorrain Laboratory of Research in Informatics and its Applications (LORIA) per un periodo di un anno. Negli ultimi due anni, il lavoro di Daniel LEIVANT ha influenzato e irrigato la ricerca in una complessità implicita. L'obiettivo della complessità implicita è quello di sviluppare modelli analitici di calcoli basati su computer, tenendo conto delle risorse necessarie per tali calcoli. Questo lavoro permette sia di cercare di rispondere alle congetture fondamentali della teoria della complessità sia di fornire sistemi di programmazione o di evidenza che integrino la nozione di risorse. (Italian)
13 January 2022
0 references
El proyecto se refiere a la bienvenida de Daniel LEIVANT, profesor de la Universidad de Indiana (Bloomington) en los Estados Unidos, en el Lorrain Laboratory of Research in Informatics and its Applications (LORIA) por un período de un año. En los últimos dos años, el trabajo de Daniel LEIVANT ha influido e irrigado en la investigación en complejidad implícita. El propósito de la complejidad implícita es desarrollar modelos analíticos de cálculos computarizados, teniendo en cuenta los recursos necesarios para estos cálculos. Este trabajo permite tanto tratar de responder a las conjeturas fundamentales de la teoría de la complejidad como tanto proporcionar sistemas de programación o evidencia que integren la noción de recursos. (Spanish)
14 January 2022
0 references
Identifiers
LO0007486
0 references