Future Researcher: Welcome by Mr Leivant (Q3696570): Difference between revisions

From EU Knowledge Graph
Jump to navigation Jump to search
(‎Created 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 or...)
(‎Changed label, description and/or aliases in pt)
 
(11 intermediate revisions by 2 users not shown)
label / nllabel / nl
 
Toekomstige onderzoeker: Welkom door de heer Leivant
label / itlabel / it
 
Futuro ricercatore: Benvenuto di Leivant
label / eslabel / es
 
Futuro investigador: Bienvenida a cargo del Sr. Leivant
label / etlabel / et
 
Tulevased teadlased: Hr Leivanti tervitussõnad
label / ltlabel / lt
 
Būsimas mokslo darbuotojas: Leivant sveikinimo žodis
label / hrlabel / hr
 
Budući istraživač: Dobrodošlica g. Leivanta
label / ellabel / el
 
Μελλοντικός Ερευνητής: Υποδοχή από τον κ. Leivant
label / sklabel / sk
 
Budúci výskumný pracovník: Privítanie pána Leivanta
label / filabel / fi
 
Tuleva tutkija: Leivantin tervetuliaissanat
label / pllabel / pl
 
Przyszły naukowiec: Powitanie komisarza Leivanta
label / hulabel / hu
 
Jövőbeli kutató: Leivant úr köszöntője
label / cslabel / cs
 
Budoucí výzkumný pracovník: Uvítání panem Leivantem
label / lvlabel / lv
 
Topošais pētnieks: Leivant kga uzruna
label / galabel / ga
 
Taighdeoir don Todhchaí: Fáilte ón Uasal Leivant
label / sllabel / sl
 
Prihodnji raziskovalec: Pozdravni govor g. Leivanta
label / bglabel / bg
 
Бъдещ изследовател: Приветствие от г-н Leivant
label / mtlabel / mt
 
Riċerkatur Futur: Merħba mis-Sur Leivant
label / ptlabel / pt
 
Investigador do Futuro: Alocução de boas-vindas do Deputado Leivant
label / dalabel / da
 
Fremtidig forsker: Velkommen ved Leivant
label / rolabel / ro
 
Cercetător viitor: Cuvânt de bun venit din partea dlui Leivant
label / svlabel / sv
 
Framtida forskare: Välkomsthälsning av Leivant
description / bgdescription / bg
 
Проект Q3696570 във Франция
description / hrdescription / hr
 
Projekt Q3696570 u Francuskoj
description / hudescription / hu
 
Projekt Q3696570 Franciaországban
description / csdescription / cs
 
Projekt Q3696570 ve Francii
description / dadescription / da
 
Projekt Q3696570 i Frankrig
description / nldescription / nl
 
Project Q3696570 in Frankrijk
description / etdescription / et
 
Projekt Q3696570 Prantsusmaal
description / fidescription / fi
 
Projekti Q3696570 Ranskassa
description / frdescription / fr
 
Projet Q3696570 en France
description / dedescription / de
 
Projekt Q3696570 in Frankreich
description / eldescription / el
 
Έργο Q3696570 στη Γαλλία
description / gadescription / ga
 
Tionscadal Q3696570 sa Fhrainc
description / itdescription / it
 
Progetto Q3696570 in Francia
description / lvdescription / lv
 
Projekts Q3696570 Francijā
description / ltdescription / lt
 
Projektas Q3696570 Prancūzijoje
description / mtdescription / mt
 
Proġett Q3696570 fi Franza
description / pldescription / pl
 
Projekt Q3696570 we Francji
description / ptdescription / pt
 
Projeto Q3696570 na França
description / rodescription / ro
 
Proiectul Q3696570 în Franța
description / skdescription / sk
 
Projekt Q3696570 vo Francúzsku
description / sldescription / sl
 
Projekt Q3696570 v Franciji
description / esdescription / es
 
Proyecto Q3696570 en Francia
description / svdescription / sv
 
Projekt Q3696570 i Frankrike
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
Amount0.1283769706673355
Unit1
Property / summary
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 ordinateur en prenant en compte les ressources à 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 à la fois à fournir des systèmes de programmation ou de preuve qui intègrent la notion de ressources. (German)
 
Property / summary: 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 ordinateur en prenant en compte les ressources à 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 à la fois à fournir des systèmes de programmation ou de preuve qui intègrent la notion de ressources. (German) / rank
Normal rank
 
Property / summary: 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 ordinateur en prenant en compte les ressources à 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 à la fois à fournir des systèmes de programmation ou de preuve qui intègrent la notion de ressources. (German) / qualifier
point in time: 27 November 2021
Timestamp+2021-11-27T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
 
Property / contained in Local Administrative Unit
 
Property / contained in Local Administrative Unit: Nancy / 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)
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
Timestamp+2021-12-01T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
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
Timestamp+2021-12-06T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 13 January 2022
Timestamp+2022-01-13T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 14 January 2022
Timestamp+2022-01-14T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
Το έργο αφορά την υποδοχή του Daniel LEIVANT, καθηγητή στο Πανεπιστήμιο της Ιντιάνα (Bloomington) στις Ηνωμένες Πολιτείες, στο Lorrain Laboratory of Research in Informatics and its Applications (LORIA) για περίοδο ενός έτους. Τα τελευταία δύο χρόνια, το έργο του Daniel LEIVANT επηρέασε και άρδευσε την έρευνα σε έμμεση πολυπλοκότητα. Ο σκοπός της σιωπηρής πολυπλοκότητας είναι η ανάπτυξη αναλυτικών μοντέλων υπολογισμών με χρήση υπολογιστή, λαμβάνοντας υπόψη τους πόρους που απαιτούνται για τους υπολογισμούς αυτούς. Το έργο αυτό επιτρέπει τόσο να προσπαθήσουμε να ανταποκριθούμε στις θεμελιώδεις εικασίες της θεωρίας της πολυπλοκότητας όσο και να παρέχουμε συστήματα προγραμματισμού ή τεκμηρίωσης που ενσωματώνουν την έννοια των πόρων. (Greek)
Property / summary: Το έργο αφορά την υποδοχή του Daniel LEIVANT, καθηγητή στο Πανεπιστήμιο της Ιντιάνα (Bloomington) στις Ηνωμένες Πολιτείες, στο Lorrain Laboratory of Research in Informatics and its Applications (LORIA) για περίοδο ενός έτους. Τα τελευταία δύο χρόνια, το έργο του Daniel LEIVANT επηρέασε και άρδευσε την έρευνα σε έμμεση πολυπλοκότητα. Ο σκοπός της σιωπηρής πολυπλοκότητας είναι η ανάπτυξη αναλυτικών μοντέλων υπολογισμών με χρήση υπολογιστή, λαμβάνοντας υπόψη τους πόρους που απαιτούνται για τους υπολογισμούς αυτούς. Το έργο αυτό επιτρέπει τόσο να προσπαθήσουμε να ανταποκριθούμε στις θεμελιώδεις εικασίες της θεωρίας της πολυπλοκότητας όσο και να παρέχουμε συστήματα προγραμματισμού ή τεκμηρίωσης που ενσωματώνουν την έννοια των πόρων. (Greek) / rank
 
Normal rank
Property / summary: Το έργο αφορά την υποδοχή του Daniel LEIVANT, καθηγητή στο Πανεπιστήμιο της Ιντιάνα (Bloomington) στις Ηνωμένες Πολιτείες, στο Lorrain Laboratory of Research in Informatics and its Applications (LORIA) για περίοδο ενός έτους. Τα τελευταία δύο χρόνια, το έργο του Daniel LEIVANT επηρέασε και άρδευσε την έρευνα σε έμμεση πολυπλοκότητα. Ο σκοπός της σιωπηρής πολυπλοκότητας είναι η ανάπτυξη αναλυτικών μοντέλων υπολογισμών με χρήση υπολογιστή, λαμβάνοντας υπόψη τους πόρους που απαιτούνται για τους υπολογισμούς αυτούς. Το έργο αυτό επιτρέπει τόσο να προσπαθήσουμε να ανταποκριθούμε στις θεμελιώδεις εικασίες της θεωρίας της πολυπλοκότητας όσο και να παρέχουμε συστήματα προγραμματισμού ή τεκμηρίωσης που ενσωματώνουν την έννοια των πόρων. (Greek) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
Проектът се отнася до посрещането на Daniel LEIVANT, професор в Университета в Индиана (Bloomington) в Съединените щати, в Лабораторията за изследвания в областта на информатиката и нейните приложения (LORIA) в Lorrain за период от една година. През последните две години работата на Даниел ЛАЙВАНТ е повлияла и напоявала научните изследвания в имплицитна сложност. Целта на имплицитната сложност е да се разработят аналитични модели на компютърно базирани изчисления, като се вземат предвид ресурсите, необходими за тези изчисления. Тази работа позволява както да се опита да отговори на основните предположения на теорията на сложността и двете да предоставят програмиране или доказателствени системи, които интегрират понятието за ресурси. (Bulgarian)
Property / summary: Проектът се отнася до посрещането на Daniel LEIVANT, професор в Университета в Индиана (Bloomington) в Съединените щати, в Лабораторията за изследвания в областта на информатиката и нейните приложения (LORIA) в Lorrain за период от една година. През последните две години работата на Даниел ЛАЙВАНТ е повлияла и напоявала научните изследвания в имплицитна сложност. Целта на имплицитната сложност е да се разработят аналитични модели на компютърно базирани изчисления, като се вземат предвид ресурсите, необходими за тези изчисления. Тази работа позволява както да се опита да отговори на основните предположения на теорията на сложността и двете да предоставят програмиране или доказателствени системи, които интегрират понятието за ресурси. (Bulgarian) / rank
 
Normal rank
Property / summary: Проектът се отнася до посрещането на Daniel LEIVANT, професор в Университета в Индиана (Bloomington) в Съединените щати, в Лабораторията за изследвания в областта на информатиката и нейните приложения (LORIA) в Lorrain за период от една година. През последните две години работата на Даниел ЛАЙВАНТ е повлияла и напоявала научните изследвания в имплицитна сложност. Целта на имплицитната сложност е да се разработят аналитични модели на компютърно базирани изчисления, като се вземат предвид ресурсите, необходими за тези изчисления. Тази работа позволява както да се опита да отговори на основните предположения на теорията на сложността и двете да предоставят програмиране или доказателствени системи, които интегрират понятието за ресурси. (Bulgarian) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
O projeto diz respeito ao acolhimento de Daniel LEIVANT, professor da Universidade de Indiana (Bloomington) nos Estados Unidos, no Lorrain Laboratory of Research in Informatics and its Applications (LORIA) por um período de um ano. Nos últimos dois anos, o trabalho de Daniel LEIVANT influenciou e irrigou a investigação em complexidade implícita. O objetivo da complexidade implícita é desenvolver modelos analíticos de cálculos baseados em computador, tendo em conta os recursos necessários para esses cálculos. Este trabalho permite tanto tentar responder às conjecturas fundamentais da teoria da complexidade como fornecer sistemas de programação ou evidência que integrem a noção de recursos. (Portuguese)
Property / summary: O projeto diz respeito ao acolhimento de Daniel LEIVANT, professor da Universidade de Indiana (Bloomington) nos Estados Unidos, no Lorrain Laboratory of Research in Informatics and its Applications (LORIA) por um período de um ano. Nos últimos dois anos, o trabalho de Daniel LEIVANT influenciou e irrigou a investigação em complexidade implícita. O objetivo da complexidade implícita é desenvolver modelos analíticos de cálculos baseados em computador, tendo em conta os recursos necessários para esses cálculos. Este trabalho permite tanto tentar responder às conjecturas fundamentais da teoria da complexidade como fornecer sistemas de programação ou evidência que integrem a noção de recursos. (Portuguese) / rank
 
Normal rank
Property / summary: O projeto diz respeito ao acolhimento de Daniel LEIVANT, professor da Universidade de Indiana (Bloomington) nos Estados Unidos, no Lorrain Laboratory of Research in Informatics and its Applications (LORIA) por um período de um ano. Nos últimos dois anos, o trabalho de Daniel LEIVANT influenciou e irrigou a investigação em complexidade implícita. O objetivo da complexidade implícita é desenvolver modelos analíticos de cálculos baseados em computador, tendo em conta os recursos necessários para esses cálculos. Este trabalho permite tanto tentar responder às conjecturas fundamentais da teoria da complexidade como fornecer sistemas de programação ou evidência que integrem a noção de recursos. (Portuguese) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / summary
 
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)
Property / summary: 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) / rank
 
Normal rank
Property / summary: 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) / qualifier
 
point in time: 11 August 2022
Timestamp+2022-08-11T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / date of last update
 
8 June 2023
Timestamp+2023-06-08T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / date of last update: 8 June 2023 / rank
 
Normal rank
Property / location (string)
 
Nancy
Property / location (string): Nancy / rank
 
Normal rank
Property / coordinate location
 
48°41'37.39"N, 6°11'0.28"E
Latitude48.6937223
Longitude6.1834097
Precision1.0E-5
Globehttp://www.wikidata.org/entity/Q2
Property / coordinate location: 48°41'37.39"N, 6°11'0.28"E / rank
 
Normal rank
Property / coordinate location: 48°41'37.39"N, 6°11'0.28"E / qualifier
 
Property / contained in NUTS
 
Property / contained in NUTS: Meurthe-et-Moselle / rank
 
Normal rank
Property / contained in NUTS: Meurthe-et-Moselle / qualifier
 

Latest revision as of 11:41, 11 October 2024

Project Q3696570 in France
Language Label Description Also known as
English
Future Researcher: Welcome by Mr Leivant
Project Q3696570 in France

    Statements

    country
    France
    0 references
    EU contribution
    27,455.0 Euro
    0 references
    budget
    54,910.0 Euro
    0 references
    co-financing rate
    50.0 percent
    0 references
    start time
    1 October 2015
    0 references
    end time
    30 June 2017
    0 references
    beneficiary name (string)
    Université de Lorraine
    0 references
    beneficiary
    Q2536134
    0 references
    coordinate location

    48°41'37.39"N, 6°11'0.28"E
    inferred from
    Local Administrative Unit
    0 references
    summary
    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)
    point in time
    22 November 2021
    readability score
    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)
    point in time
    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)
    point in time
    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)
    point in time
    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)
    point in time
    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)
    point in time
    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)
    point in time
    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)
    point in time
    11 August 2022
    0 references
    Το έργο αφορά την υποδοχή του Daniel LEIVANT, καθηγητή στο Πανεπιστήμιο της Ιντιάνα (Bloomington) στις Ηνωμένες Πολιτείες, στο Lorrain Laboratory of Research in Informatics and its Applications (LORIA) για περίοδο ενός έτους. Τα τελευταία δύο χρόνια, το έργο του Daniel LEIVANT επηρέασε και άρδευσε την έρευνα σε έμμεση πολυπλοκότητα. Ο σκοπός της σιωπηρής πολυπλοκότητας είναι η ανάπτυξη αναλυτικών μοντέλων υπολογισμών με χρήση υπολογιστή, λαμβάνοντας υπόψη τους πόρους που απαιτούνται για τους υπολογισμούς αυτούς. Το έργο αυτό επιτρέπει τόσο να προσπαθήσουμε να ανταποκριθούμε στις θεμελιώδεις εικασίες της θεωρίας της πολυπλοκότητας όσο και να παρέχουμε συστήματα προγραμματισμού ή τεκμηρίωσης που ενσωματώνουν την έννοια των πόρων. (Greek)
    point in time
    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)
    point in time
    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)
    point in time
    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)
    point in time
    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)
    point in time
    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)
    point in time
    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)
    point in time
    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)
    point in time
    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)
    point in time
    11 August 2022
    0 references
    Проектът се отнася до посрещането на Daniel LEIVANT, професор в Университета в Индиана (Bloomington) в Съединените щати, в Лабораторията за изследвания в областта на информатиката и нейните приложения (LORIA) в Lorrain за период от една година. През последните две години работата на Даниел ЛАЙВАНТ е повлияла и напоявала научните изследвания в имплицитна сложност. Целта на имплицитната сложност е да се разработят аналитични модели на компютърно базирани изчисления, като се вземат предвид ресурсите, необходими за тези изчисления. Тази работа позволява както да се опита да отговори на основните предположения на теорията на сложността и двете да предоставят програмиране или доказателствени системи, които интегрират понятието за ресурси. (Bulgarian)
    point in time
    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)
    point in time
    11 August 2022
    0 references
    O projeto diz respeito ao acolhimento de Daniel LEIVANT, professor da Universidade de Indiana (Bloomington) nos Estados Unidos, no Lorrain Laboratory of Research in Informatics and its Applications (LORIA) por um período de um ano. Nos últimos dois anos, o trabalho de Daniel LEIVANT influenciou e irrigou a investigação em complexidade implícita. O objetivo da complexidade implícita é desenvolver modelos analíticos de cálculos baseados em computador, tendo em conta os recursos necessários para esses cálculos. Este trabalho permite tanto tentar responder às conjecturas fundamentais da teoria da complexidade como fornecer sistemas de programação ou evidência que integrem a noção de recursos. (Portuguese)
    point in time
    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)
    point in time
    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)
    point in time
    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)
    point in time
    11 August 2022
    0 references
    date of last update
    8 June 2023
    0 references
    location (string)
    Nancy
    0 references

    Identifiers

    French Kohesio ID
    LO0007486
    0 references
     
    Retrieved from "https://linkedopendata.eu/w/index.php?title=Item:Q3696570&oldid=43803029"