OpenAIRE | Lecture | INRIA a CCSD electronic archive server | HAL Paris Nanterre

Results per page:

Sort by:

Download Results

156 research outcomes, page 1 of 16

other research product . Lecture . 2022
Traitement statistique des données manquantes-Part I Introduction to modeling
French
Authors:
Biernacki, Christophe;
Publisher: HAL CCSD
Country: France
Doctoral
other research product . Lecture . 2022
Introduction à la Digital Art History - Ce que font (ou non) le numérique à la pratiques de l’histoire de l’art
French
Authors:
Courtin, Antoine;
Publisher: HAL CCSD
Country: France
Doctoral
other research product . Lecture . 2021
Science and Innovation - revolutions and disruptions
French
Authors:
Ridoux, Olivier; Drapeau Vieira Contim, Filipe;
Publisher: HAL CCSD
Country: France
Master; Le discours de Thomas Kuhn sur les révolutions scientifiques est étayé exclusivement par l'histoire des sciences de la nature d'avant 1930. On peut donc se demander comment ce discours s'applique à la science informatique, domaine postérieur, et comment il se co...
other research product . Lecture . 2021
History of innovation concepts
French
Authors:
Ridoux, Olivier;
Publisher: HAL CCSD
Country: France
Engineering school; L'innovation en tant que processus décrit une histoire, mais le concept même d'innovation à une histoire dont la vision moderne est héritière. Ce document de cours est un "picopoly" (une sorte de flyer) qu'il est préférable d'imprimer en format A3 po...
other research product . Lecture . 2021
Frugal Gaussian clustering of huge imbalanced datasets through a bin-marginal approach
English
Authors:
Antonazzo, Filippo; Biernacki, Christophe; Keribin, Christine;
Publisher: HAL CCSD
Country: France
Doctoral
other research product . Lecture . 2021
Notes de cours sur les équations de Maxwell et leur approximation
French
Authors:
Ciarlet, Patrick;
Publisher: HAL CCSD
Country: France
Master
other research product . Lecture . 2021
Ethique du numérique, données personnelles et donnéesd’intérêt générale. Préparation à l’agrégation d’Informatique
English
Authors:
Di Cosmo, Roberto;
Publisher: HAL CCSD
Country: France
Master
other research product . Lecture . 2021
Least squares for programmers
English
Authors:
Sokolov, Dmitry; Ray, Nicolas; Corman, Étienne;
Publisher: HAL CCSD
Country: France
Doctoral; This course explains least squares optimization, nowadays a simple and well-mastered technology. We show how this simple method can solve a large number of problems that would be difficult to approach in any other way. This course provides a simple, understand...
other research product . Lecture . 2021
From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem
English
Authors:
Heijltjes, Willem; Straßburger, Lutz;
Publisher: HAL CCSD
Country: France
École thématique; These are the slides and lecture notes for a 5x90min course given online via Zoom at ESSLLI 2021. The summer school was planned to be held in Utrecht, but due the the Covid-19 crises it has been held online via Zoom.
other research product . Lecture . 2021
A general version of Curry&Feys' Finite Developments theorem is connected to Strong Normalization in the lambda calculus. This offers another viewpoint about termination of lambda tersm. (Tutorial at ISR 2021 (12th International School on Rewriting), Madrid, 5-16 July 2021)
English
Authors:
Levy, Jean-Jacques;
Publisher: HAL CCSD
Country: France
Doctoral

156 research outcomes, page 1 of 16

Field to search	Term
All fields		Add rule

Filters

Lecture INRIA a CCSD electronic archive se... HAL Paris Nanterre

Access (1)

Type (4)

Year range

Document Type (3)

Funder (2)

Country (2)

Language (2)

Source (21)

Research Community (7)

Filters

Lecture INRIA a CCSD electronic archive se... HAL Paris Nanterre

Access (1)

Type (4)

Year range

Document Type (3)

Funder (2)

Country (2)

Language (2)

Source (21)

Research Community (7)

Traitement statistique des données manquantes-Part I Introduction to modeling

Introduction à la Digital Art History - Ce que font (ou non) le numérique à la pratiques de l’histoire de l’art

Science and Innovation - revolutions and disruptions

History of innovation concepts

Frugal Gaussian clustering of huge imbalanced datasets through a bin-marginal approach

Notes de cours sur les équations de Maxwell et leur approximation

Ethique du numérique, données personnelles et donnéesd’intérêt générale. Préparation à l’agrégation d’Informatique

Least squares for programmers

From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem

A general version of Curry&Feys' Finite Developments theorem is connected to Strong Normalization in the lambda calculus. This offers another viewpoint about termination of lambda tersm. (Tutorial at ISR 2021 (12th International School on Rewriting), Madrid, 5-16 July 2021)

Advanced search in Research outcomes

Filters

Access (1)

Type (4)

Year range

Document Type (3)

Funder (2)

Country (2)

Language (2)

Source (21)

Research Community (7)

Filters

Access (1)

Type (4)

Year range

Document Type (3)

Funder (2)

Country (2)

Language (2)

Source (21)

Research Community (7)

Advanced search in
Research outcomes