|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Initiation à MATLAB
[Ressource pédagogique]
Date de publication :
20090901 |
Auteur(s) :
Louisnard Olivier |
Editeur(s) :
Ecole des Mines d'Albi-Carmaux |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ce cours d'initiation à MATLAB a été conçu à l'École des Mines d'Albi-Carmaux pour les élèves-ingénieur de 2ème année. Il n'a pas vocation à se substituer à la documentation MATLAB, très bien faite, illustrée de nombreux exemples, et surtout consultable sur le WEB. Son objectif principal est de démystifier l'idée couramment répandue que MATLAB est un logiciel difficile à utiliser, et devrait perme...
Référencé le :
16-09-2021
|
|
MOOC L'Intelligence Artificielle… avec intelligence !
[Ressource pédagogique]
Date de publication :
20200406 |
Auteur(s) :
ALEXANDRE Frédéric, VIEVILLE Thierry, DE QUATREBARBES Sophie |
Editeur(s) :
INRIA, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
L’IA vous fait peur ? Vous en entendez parler à toutes les sauces ? Les humains seraient bons pour la casse ? Mais c’est quoi l’intelligence (artificielle) au fait ? Class’Code IAI est un Mooc citoyen accessible à toutes et à tous de 7 à 107 ans pour se questionner, expérimenter et comprendre ce qu’est l’Intelligence Artificielle… avec intelligence !
Ce cours a pour but de : décrypter le discours...
Référencé le :
16-09-2021
|
|
Cfacile : Introduction au langage C
[Ressource pédagogique]
Date de publication :
20100111 |
Auteur(s) :
Boufflet Jean-Paul, Trigano Philippe, Benmimoun Amir |
Editeur(s) :
Université de Technologie de Compiègne, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Cfacile est un support interactif de cours pour l'apprentissage des concepts de base de l’algorithmique et de la programmation en C, à destination des débutants. Il comporte quatre parties : une base théorique structurée sous la forme de 9 chapitres de cours, un ensemble d'exercices interactifs, deux jeux éducatifs interactifs et des simulations pédagogiques.
Les chapitres abordent les bases de l...
Référencé le :
20-02-2020
|
|
Pourquoi créer des nouveaux langages de programmation ?
[Ressource pédagogique]
Date de publication :
20190128 |
Auteur(s) :
Henrio Ludovic |
Editeur(s) :
Inria / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
De nouveaux langages de programmation ainsi que des outils permettant de transformer ou d’analyser les programmes émergent chaque année grâce à la recherche dans ce domaine. Qu'est-ce qu'un bon langage ? Et surtout, pourquoi en crée-t-on toujours plus ?...
Référencé le :
16-09-2019
|
|
Mon programme est-il bien protégé contre les cyberattaques ?
[Ressource pédagogique]
Date de publication :
20181213 |
Auteur(s) :
Rezk Tamara |
Editeur(s) :
Institut National de Recherche en Informatique et en Automatique / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Écrire du code sûr et s’assurer que celui-ci satisfait des propriétés de sécurité est nécessaire pour contrer d’éventuelles cyberattaques. Mais ce n’est pas suffisant. Encore faut-il que le programme qui sera exécuté par l’ordinateur soit sûr. Vous avez bien lu : écrire un programme sûr et s’assurer qu’il s’exécute de manière sûre sont deux choses bien distinctes....
Référencé le :
04-09-2019
|
|
Preuves de programmes en coq
[Ressource pédagogique]
Date de publication :
20120921 |
Auteur(s) :
Bertot Yves |
Editeur(s) :
Inria, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur...
Référencé le :
05-06-2018
|
|
Global Constraint Catalog
[Ressource pédagogique]
Date de publication :
20150615 |
Auteur(s) :
BELDICEANU Nicolas Beldiceanu, RAMPON Jean-Xavier |
Editeur(s) :
IMT Atlantique, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms....
Référencé le :
26-04-2018
|
|
Introduction Constraint Programming
[Ressource pédagogique]
Date de publication :
20150618 |
Auteur(s) :
BELDICEANU Nicolas |
Editeur(s) :
IMT Atlantique, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
This first module introduces basic constraints in constraint programming. Constraint programming is used to represent a problem so as succinct, ie ideally with few variables and few constraints.
The first part explain in natural langage a programming constraint and give interpreting of the notation used.
The second part focus on the constraint "alldifferent", and the last part focus on the const...
Référencé le :
26-04-2018
|
|
Constraints programming
[Ressource pédagogique]
Date de publication :
20150618 |
Auteur(s) :
BELDICEANU Nicolas |
Editeur(s) :
IMT Atlantique, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
This second module deals with application-oriented constraints.
At the end of this module, the learner will be able to master the core constraints.
Référencé le :
26-04-2018
|
|
MOOC Introduction à HTML5 - Animations et jeux
[Ressource pédagogique]
Date de publication :
20160111 |
Auteur(s) :
PLANTEC Jean-Yves |
Editeur(s) :
Groupe INSA, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Vous avez envie de développer des animations ou des petits jeux pour le web, mais sans trop savoir comment vous y prendre ; vous avez peut-être entendu parler d'HTML5, mais vous n'avez pas de connaissance particulière des langages web. En revanche, vous avez quelques notions d'algorithmique et peut-être que vous programmez déjà un peu. Ce MOOC est pour vous. Mais si vous avez déjà une expérience d...
Référencé le :
11-04-2018
|
|
