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

Sans titre

Source officielle

https://mediaspace.epfl.ch/media/0_dkxn6bjf

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (32)

Type system

In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.

Sûreté du typage

La sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.

Théorie des types

En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.

Windows Search

Windows Search (also known as Instant Search) is a content index desktop search platform by Microsoft introduced in Windows Vista as a replacement for both the previous Indexing Service of Windows 2000 and the optional MSN Desktop Search for Windows XP and Windows Server 2003, designed to facilitate local and remote queries for files and non-file items in compatible applications including Windows Explorer. It was developed after the postponement of WinFS and introduced to Windows constituents originally touted as benefits of that platform.

Rendement d'une cellule photovoltaïque

vignette| Meilleurs rendements de différentes technologies de cellules photovoltaïques mesurés en laboratoire depuis 1976. Le rendement d'une cellule photovoltaïque, parfois noté η, est le rapport entre l'énergie électrique générée par effet photovoltaïque d'une part et l'énergie électromagnétique reçue par la cellule photovoltaïque sous forme de rayonnement solaire d'autre part. Avec la latitude et le climat du lieu d'installation, le rendement des cellules solaires d'un dispositif photovoltaïque détermine la production d'énergie électrique annuelle du système.

Afficher plus

Séances de cours associées (49)

Modélisation PC1D : analyse spectrale de la réponse

Explore la modélisation PC1D pour l'analyse spectrale des cellules solaires.

Introduction au PC1D

Couvre les bases du logiciel PC1D pour simuler les cellules solaires.

Concevoir des expériences d'apprentissage: projet de classe CS411

Présente le projet de classe CS411, où les élèves conçoivent et testent une leçon en utilisant des théories d'apprentissage.

Réservoirs et barrages : construction et dimensionnement hydrauliques

Explore le dimensionnement des réservoirs et des barrages en utilisant des courbes d'écoulement cumulatives et le dimensionnement des réservoirs pour les périodes sèches et pluvieuses.

Matrice à l'opérateur de densité

Explique la transformation d'une matrice à l'opérateur de densité en physique quantique.

Afficher plus

Concepts associés (32)

Rendement d'une cellule photovoltaïque

Afficher plus