Future Researcher: Welcome by Mr Leivant (Q3696570): Difference between revisions
Jump to navigation
Jump to search
(Changed an Item) |
(Added qualifier: readability score (P590521): 0.1283769706673355) |
||||||
| Property / summary: 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) / qualifier | |||||||
readability score: 0.1283769706673355
| |||||||
Revision as of 16:05, 7 March 2024
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.1283769706673355
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
Projekt puudutab Ameerika Ühendriikide Indiana ülikooli (Bloomington) professori Daniel LEIVANTi tervitamist Lorraini informaatika ja selle rakenduste uurimislaboris (LORIA) üheks aastaks. Viimase kahe aasta jooksul on Daniel LEIVANTi töö mõjutanud ja niisutanud teadusuuringuid kaudse keerukusega. Kaudse keerukuse eesmärk on töötada välja arvutipõhiste arvutuste analüütilised mudelid, võttes arvesse nende arvutuste jaoks vajalikke ressursse. See töö võimaldab nii proovida vastata põhilisi oletusi teooria keerukus ja nii pakkuda programmeerimine või tõendite süsteemid, mis integreerivad mõiste ressursse. (Estonian)
11 August 2022
0 references
Projektas susijęs su Jungtinių Amerikos Valstijų Indianos universiteto (Bloomington) profesoriaus Daniel LEIVANT sveikinimu Loreino informatikos tyrimų laboratorijoje ir jos taikymo srityje (LORIA) vienerių metų laikotarpiui. Per pastaruosius dvejus metus Daniel LEIVANT darbas įtakojo ir drėkina mokslinius tyrimus numanomu sudėtingumu. Numanomo sudėtingumo tikslas – sukurti kompiuterinių skaičiavimų analitinius modelius, atsižvelgiant į šiems apskaičiavimams reikalingus išteklius. Šis darbas leidžia tiek bandyti reaguoti į pagrindines hipotezes sudėtingumo teorijos ir tiek sukurti programavimo ar įrodymų sistemas, kurios integruoja išteklių sąvoką. (Lithuanian)
11 August 2022
0 references
Projekt se odnosi na dobrodošlicu Daniela LEIVANTA, profesora na Sveučilištu Indiana (Bloomington) u Sjedinjenim Američkim Državama, u Lorrain Laboratoriju za istraživanje informatike i njezinih primjena (LORIA) na razdoblje od jedne godine. Tijekom protekle dvije godine rad Daniela LEIVANTa utjecao je i navodnjavao istraživanja u implicitnoj složenosti. Svrha implicitne složenosti je razvoj analitičkih modela računalnih izračuna, uzimajući u obzir resurse potrebne za te izračune. Ovaj rad omogućuje i pokušati odgovoriti na temeljne pretpostavke teorije složenosti i pružiti programiranje ili dokaze sustava koji integriraju pojam resursa. (Croatian)
11 August 2022
0 references
Το έργο αφορά την υποδοχή του Daniel LEIVANT, καθηγητή στο Πανεπιστήμιο της Ιντιάνα (Bloomington) στις Ηνωμένες Πολιτείες, στο Lorrain Laboratory of Research in Informatics and its Applications (LORIA) για περίοδο ενός έτους. Τα τελευταία δύο χρόνια, το έργο του Daniel LEIVANT επηρέασε και άρδευσε την έρευνα σε έμμεση πολυπλοκότητα. Ο σκοπός της σιωπηρής πολυπλοκότητας είναι η ανάπτυξη αναλυτικών μοντέλων υπολογισμών με χρήση υπολογιστή, λαμβάνοντας υπόψη τους πόρους που απαιτούνται για τους υπολογισμούς αυτούς. Το έργο αυτό επιτρέπει τόσο να προσπαθήσουμε να ανταποκριθούμε στις θεμελιώδεις εικασίες της θεωρίας της πολυπλοκότητας όσο και να παρέχουμε συστήματα προγραμματισμού ή τεκμηρίωσης που ενσωματώνουν την έννοια των πόρων. (Greek)
11 August 2022
0 references
Projekt sa týka privítania Daniela LEIVANTA, profesora na University of Indiana (Bloomington) v Spojených štátoch, v Lorrain Laboratory of Research in Informatics and its Applications (LORIA) na obdobie jedného roka. Za posledné dva roky práca Daniela LEIVANTa ovplyvnila a zavlažovala výskum implicitnej zložitosti. Účelom implicitnej zložitosti je vyvinúť analytické modely výpočtov založených na počítači, pričom sa zohľadnia zdroje potrebné na tieto výpočty. Táto práca umožňuje, aby sa pokúsili reagovať na základné domnienky teórie zložitosti, ako aj poskytnúť programovacie alebo dôkazové systémy, ktoré integrujú pojem zdroje. (Slovak)
11 August 2022
0 references
Hanke koskee Indianan yliopiston (Bloomington) professori Daniel LEIVANTin vastaanottoa Yhdysvalloissa sijaitsevaan Lorrain Laboratory of Research in Informatics and its Applications -tutkimuslaboratorioon (LORIA) yhden vuoden ajaksi. Kahden viime vuoden aikana Daniel LEIVANTin työ on vaikuttanut ja kastellut tutkimusta implisiittisesti monimutkaisuudesta. Implisiittisen monimutkaisuuden tarkoituksena on kehittää tietokonepohjaisia laskelmia koskevia analyyttisiä malleja, joissa otetaan huomioon näihin laskelmiin tarvittavat resurssit. Tämä työ mahdollistaa sekä yrittää vastata perustavaa laatua oletuksia teorian monimutkaisuus ja sekä tarjota ohjelmointi tai näyttö järjestelmiä, jotka integroivat käsitteen resursseja. (Finnish)
11 August 2022
0 references
Projekt dotyczy przyjęcia Daniela LEIVANTA, profesora na Uniwersytecie Indiana (Bloomington) w Stanach Zjednoczonych, w Lorrain Laboratory of Research in Informatics and its Applications (LORIA) na okres jednego roku. W ciągu ostatnich dwóch lat prace Daniela LEIVANT wpłynęły na badania i nawadniały je w sposób dorozumiany. Celem ukrytej złożoności jest opracowanie analitycznych modeli obliczeń komputerowych, z uwzględnieniem zasobów niezbędnych do tych obliczeń. Praca ta pozwala zarówno próbować reagować na podstawowe przypuszczenia teorii złożoności, jak i zarówno na dostarczanie systemów programowania lub dowodów, które integrują pojęcie zasobów. (Polish)
11 August 2022
0 references
A projekt Daniel LEIVANT, az Egyesült Államok Indiana Egyetemének (Bloomington) professzora, a Lorrain Informatikai Kutatólaboratórium és annak alkalmazásai (LORIA) meghívására vonatkozik egy évig. Az elmúlt két évben Daniel LEIVANT munkája befolyásolta és öntözte a kutatást implicit komplexitásban. Az implicit komplexitás célja a számítógépes számítások analitikus modelljeinek kidolgozása, figyelembe véve az e számításokhoz szükséges erőforrásokat. Ez a munka lehetővé teszi mind a komplexitás elméletének alapvető feltételezéseire való reagálást, mind pedig az erőforrások fogalmát integráló programozási vagy bizonyítási rendszerek biztosítását. (Hungarian)
11 August 2022
0 references
Projekt se týká uvítání Daniela LEIVANTA, profesora na University of Indiana (Bloomington) ve Spojených státech, v Lorrain Laboratory of Research in informatiky a jejích aplikací (LORIA) po dobu jednoho roku. V posledních dvou letech práce Daniela LEIVANTa ovlivnila a zavlažovala výzkum v implicitní složitosti. Účelem implicitní složitosti je vyvinout analytické modely počítačových výpočtů s přihlédnutím ke zdrojům potřebným pro tyto výpočty. Tato práce umožňuje jak pokusit se reagovat na základní domněnky teorie složitosti a jak poskytnout programovací nebo důkazní systémy, které integrují pojem zdrojů. (Czech)
11 August 2022
0 references
Projekts attiecas uz Amerikas Savienoto Valstu Indiānas Universitātes (Bloomington) profesora Daniel LEIVANT uzņemšanu uz vienu gadu Lorrain laboratorijā Informātikas un tās pielietojumu jomā (LORIA). Pēdējo divu gadu laikā Daniela Leivanta darbs netieši ir ietekmējis un apūdeņojis pētījumus. Netiešās sarežģītības mērķis ir izstrādāt analītiskus modeļus datorizētiem aprēķiniem, ņemot vērā šiem aprēķiniem nepieciešamos resursus. Šis darbs ļauj gan mēģināt reaģēt uz pamata pieņēmumiem par sarežģītības teoriju, gan nodrošināt programmēšanas vai pierādījumu sistēmas, kas integrē resursu jēdzienu. (Latvian)
11 August 2022
0 references
Baineann an tionscadal le fáilte a chur roimh Daniel LEIVANT, Ollamh in Ollscoil Indiana (Bloomington) sna Stáit Aontaithe, ag Saotharlann Taighde Ionformaitice Lorrain agus a Iarratais (Loria) ar feadh tréimhse bliana. Le dhá bhliain anuas, tá tionchar ag obair Daniel LEIVANT ar thaighde uiscithe i gcastacht intuigthe. Is é is cuspóir don chastacht intuigthe samhlacha anailíseacha de ríomhanna ríomhairebhunaithe a fhorbairt, agus na hacmhainní is gá le haghaidh na ríomhanna sin á gcur san áireamh. Ligeann an obair seo araon chun iarracht a dhéanamh freagra a thabhairt ar thuairimí bunúsacha na teoirice castachta agus chun córais ríomhchlárúcháin nó fianaise a chur ar fáil a chomhtháthaíonn coincheap na n-acmhainní. (Irish)
11 August 2022
0 references
Projekt se nanaša na dobrodošlico Daniela LEIVANTA, profesorja na Univerzi v Indiani (Bloomington) v Združenih državah Amerike, v Lorrain Laboratoriju za raziskave informatike in njenih aplikacij (LORIA) za obdobje enega leta. V zadnjih dveh letih je delo Daniela LEIVANTa vplivalo in namakalo raziskave v implicitni kompleksnosti. Namen implicitne kompleksnosti je razviti analitične modele računalniško podprtih izračunov ob upoštevanju virov, potrebnih za te izračune. To delo omogoča, da se poskušamo odzvati na temeljne domneve teorije kompleksnosti in zagotoviti sisteme programiranja ali dokazov, ki združujejo pojem virov. (Slovenian)
11 August 2022
0 references
Проектът се отнася до посрещането на Daniel LEIVANT, професор в Университета в Индиана (Bloomington) в Съединените щати, в Лабораторията за изследвания в областта на информатиката и нейните приложения (LORIA) в Lorrain за период от една година. През последните две години работата на Даниел ЛАЙВАНТ е повлияла и напоявала научните изследвания в имплицитна сложност. Целта на имплицитната сложност е да се разработят аналитични модели на компютърно базирани изчисления, като се вземат предвид ресурсите, необходими за тези изчисления. Тази работа позволява както да се опита да отговори на основните предположения на теорията на сложността и двете да предоставят програмиране или доказателствени системи, които интегрират понятието за ресурси. (Bulgarian)
11 August 2022
0 references
Il-proġett jikkonċerna l-merħba ta’ Daniel LEIVANT, Professur fl-Università ta’ Indiana (Bloomington) fl-Istati Uniti, fil-Laboratorju ta’ Lorrain għar-Riċerka fl-Informatika u l-Applikazzjonijiet tiegħu (LORIA) għal perjodu ta’ sena. Matul dawn l-aħħar sentejn, il-ħidma ta’ Daniel LEIVANT influwenzat u rrigat ir-riċerka fil-kumplessità impliċita. L-għan tal-kumplessità impliċita huwa li jiġu żviluppati mudelli analitiċi ta’ kalkoli bbażati fuq il-kompjuter, filwaqt li jitqiesu r-riżorsi meħtieġa għal dawn il-kalkoli. Dan ix-xogħol jippermetti kemm li jippruvaw jirrispondu għall-konġetturi fundamentali tat-teorija tal-kumplessità u kemm biex jipprovdu programmazzjoni jew sistemi ta ‘evidenza li jintegraw il-kunċett ta’ riżorsi. (Maltese)
11 August 2022
0 references
O projeto diz respeito ao acolhimento de Daniel LEIVANT, Professor da Universidade de Indiana (Bloomington) nos Estados Unidos, no Laboratório de Investigação em Informática de Lorrain (LORIA) por um período de um ano. Nos últimos dois anos, o trabalho de Daniel LEIVANT tem influenciado e irrigado pesquisas em complexidade implícita. O objetivo da complexidade implícita é desenvolver modelos analíticos de cálculos por computador, tendo em conta os recursos necessários para esses cálculos. Este trabalho permite tanto tentar responder às conjeturas fundamentais da teoria da complexidade quanto fornecer sistemas de programação ou evidências que integram a noção de recursos. (Portuguese)
11 August 2022
0 references
Projektet vedrører modtagelse af Daniel LEIVANT, professor ved University of Indiana (Bloomington) i USA, på Lorrain Laboratory of Research in Informatics and its Applications (LORIA) i en periode på et år. I løbet af de sidste to år har Daniel LEIVANTs arbejde påvirket og kunstvandet forskning i implicit kompleksitet. Formålet med den implicitte kompleksitet er at udvikle analytiske modeller for computerbaserede beregninger under hensyntagen til de ressourcer, der er nødvendige til disse beregninger. Dette arbejde gør det muligt både at forsøge at reagere på de grundlæggende formodninger i teorien om kompleksitet og både at levere programmerings- eller dokumentationssystemer, der integrerer begrebet ressourcer. (Danish)
11 August 2022
0 references
Proiectul se referă la primirea lui Daniel LEIVANT, profesor la Universitatea din Indiana (Bloomington) din Statele Unite ale Americii, la Lorrain Laboratory of Research in Informatics and its Applications (LORIA) pentru o perioadă de un an. În ultimii doi ani, activitatea lui Daniel LEIVANT a influențat și irigat cercetarea în complexitate implicită. Scopul complexității implicite este de a elabora modele analitice de calcule pe calculator, ținând seama de resursele necesare pentru aceste calcule. Această lucrare permite atât să încerce să răspundă la ipotezele fundamentale ale teoriei complexității, cât și să ofere sisteme de programare sau dovezi care integrează noțiunea de resurse. (Romanian)
11 August 2022
0 references
Projektet gäller välkomnandet av Daniel LEIVANT, professor vid University of Indiana (Bloomington) i USA, vid Lorrain Laboratory of Research in Informatics and its Applications (LORIA) under en period av ett år. Under de senaste två åren har Daniel LEIVANTs arbete påverkat och bevattnat forskning i implicit komplexitet. Syftet med implicit komplexitet är att utveckla analytiska modeller för datorbaserade beräkningar, med beaktande av de resurser som krävs för dessa beräkningar. Detta arbete gör det möjligt att både försöka svara på de grundläggande förmodningarna i teorin om komplexitet och både tillhandahålla programmerings- eller bevissystem som integrerar begreppet resurser. (Swedish)
11 August 2022
0 references
8 June 2023
0 references
Nancy
0 references
Identifiers
LO0007486
0 references