Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Télédétection à Amnesty International

Description

Cette séance de cours couvre le rôle de la télédétection et de la vérification numérique dans les enquêtes sur les droits humains à Amnesty International, y compris l’évolution de l’utilisation de l’imagerie satellitaire, les défis et les risques associés à l’information open source, et les méthodologies développées pour atténuer ces risques.

Source officielle

Concepts associés (25)

Droits de l'homme

vignette|Eleanor Roosevelt tenant la Déclaration universelle des droits de l'homme de 1948. vignette|La Déclaration des droits (Bill of Rights) de 1689. Les droits de l'homme (parfois écrits « droits de l'Homme »), également appelés droits humains ou droits de la personne (par exemple dans un contexte de communication gouvernementale au Canada), sont un concept à la fois philosophique, juridique et politique, selon lequel tout être humain possède des droits universels, inaliénables, quel que soit le droit positif (droit en vigueur) ou d'autres facteurs locaux tels que l'ethnie, la nationalité ou la religion.

Imagerie spatiale

thumb|Première image de la Terre prise par un satellite en orbite. Elle montre une zone éclairée par le Soleil dans l'océan Pacifique et la couverture nuageuse. L'image a été faite alors que le satellite Explorer 6 se trouvait à environ d'altitude, le . thumb|La région des Grands lacs vus depuis l'ISS en 2013 par l'astronaute canadien Chris Hadfield. L'imagerie spatiale est une technique d'observation à distance qui repose sur la prise d'images dans le domaine optique (lumière visible, infrarouge et ultraviolet) depuis l'espace par des équipements installés à bord de satellites artificiels.

Analyse des données

L’analyse des données (aussi appelée analyse exploratoire des données ou AED) est une famille de méthodes statistiques dont les principales caractéristiques sont d'être multidimensionnelles et descriptives. Dans l'acception française, la terminologie « analyse des données » désigne donc un sous-ensemble de ce qui est appelé plus généralement la statistique multivariée. Certaines méthodes, pour la plupart géométriques, aident à faire ressortir les relations pouvant exister entre les différentes données et à en tirer une information statistique qui permet de décrire de façon plus succincte les principales informations contenues dans ces données.

Science des données

La science des données est l'étude de l’extraction automatisée de connaissance à partir de grands ensembles de données. Plus précisément, la science des données est un domaine interdisciplinaire qui utilise des méthodes, des processus, des algorithmes et des systèmes scientifiques pour extraire des connaissances et des idées à partir de nombreuses données structurées ou non . Elle est souvent associée aux données massives et à l'analyse des données.

Vérification formelle

In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.

Afficher plus

Séances de cours associées (49)

Open Source en Suisse : Impact et exemples

Explore l'impact des pratiques open source en Suisse, en mettant l'accent sur leur pertinence dans les applications pratiques et les universités.

Communauté d'Architecture Open-Source: BlenderBIM

Déplacez-vous dans la communauté de l'architecture open-source, en mettant l'accent sur BlenderBIM et divers outils utilisés dans le domaine de l'architecture.

Logiciels et données : introduction

Couvre les bases logicielles, les données et la transformation numérique, y compris les étapes de développement de logiciels et les solutions open source.

Introduction à la programmation R pour la génétique et la génomique

Introduit un cours sur la génétique et la génomique, en se concentrant sur la programmation R avec des exercices interactifs.

Introduction : organisation et exigences

Couvre l'organisation des cours, les statistiques spatiales, l'analyse des données épidémiologiques et le travail de projet de groupe.

Afficher plus

Concepts associés (25)

Vérification formelle

Afficher plus