Publication

Model checking for Synchronous Java

Concepts associés (31)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

MediaWiki

MediaWiki est un moteur de wiki pour le Web. Il est utilisé par l’ensemble des projets de la Wikimedia Foundation, des wikis hébergés chez FANDOM, ainsi que par de nombreux autres wikis. Conçu pour répondre aux besoins de Wikipédia, ce moteur est en 2008 également utilisé par des entreprises comme solution de gestion des connaissances et comme système de gestion de contenu. L’entreprise américaine Novell l’utilise notamment pour plusieurs de ses sites web qui véhiculent un trafic important.

Source de tension

Une source de tension désigne les dispositifs pouvant produire une force électromotrice. Il existe plusieurs types de sources de tension ; les sources de tension stabilisées, les sources de tension symétriques, les sources de tension ajustables. Une source de tension stabilisée est une source de tension qui reste constante quelle que soit la charge appliquée. Une source de tension est représentée par une source de tension et sa résistance série interne. Cette résistance interne peut être en série avec la charge ou en parallèle.

Analyse entrée-sortie

L'analyse entrée-sortie, ou analyse entrées-sorties, est une modélisation économique utilisant le tableau entrées-sorties (TES) permettant de prévoir l'influence des changements dans un secteur d'activité particulier ou des changements de consommation sur le reste de l'économie. Il donne une représentation cohérente de la production nationale. Le tableau entrées-sorties a été conçu par le français François Quesnay au dans son Tableau économique (1759).

Tourbière

Une tourbière est une zone humide caractérisée par le fait que la synthèse de la matière organique y est plus importante que sa dégradation en raison de la saturation en eau. La végétation, en mourant, s'accumule progressivement pour former de la tourbe, un sol caractérisé par sa forte teneur en matière organique, peu ou pas décomposée. Les écosystèmes tourbeux couvrent 3 % à 5 % des surfaces terrestres émergées, mais la biodiversité y est très élevée, et ils stockent le carbone de façon très efficace.

Source-available software

Source-available software is software released through a source code distribution model that includes arrangements where the source can be viewed, and in some cases modified, but without necessarily meeting the criteria to be called open-source. The licenses associated with the offerings range from allowing code to be viewed for reference to allowing code to be modified and redistributed for both commercial and non-commercial purposes.

Bogor

Bogor est une ville d'Indonésie dans la province de Java occidental connue pour son jardin botanique. Sa population est d'un peu plus d'1 million d'habitants. La ville a le statut de kota. Bogor est également le nom du kabupaten de Bogor dans lequel se trouve la ville. Son chef-lieu est Cibinong. La kota et le kabupaten de Bogor font partie de la conurbation du Jabodetabek, qui réunit également les villes de Jakarta, Depok, Tangerang et Bekasi et les kabupaten de Tangerang et Bekasi.

Open-source software

Open-source software (OSS) is computer software that is released under a license in which the copyright holder grants users the rights to use, study, change, and distribute the software and its source code to anyone and for any purpose. Open-source software may be developed in a collaborative, public manner. Open-source software is a prominent example of open collaboration, meaning any capable user is able to participate online in development, making the number of possible contributors indefinite.

Input impedance

The input impedance of an electrical network is the measure of the opposition to current (impedance), both static (resistance) and dynamic (reactance), into a load network that is external to the electrical source network. The input admittance (the reciprocal of impedance) is a measure of the load network's propensity to draw current. The source network is the portion of the network that transmits power, and the load network is the portion of the network that consumes power.

Production for use

Production for use is a phrase referring to the principle of economic organization and production taken as a defining criterion for a socialist economy. It is held in contrast to production for profit. This criterion is used to distinguish communism from capitalism, and is one of the fundamental defining characteristics of communism. This principle is broad and can refer to an array of different configurations that vary based on the underlying theory of economics employed.

Comparison of open-source and closed-source software

Free/open-source software – the source availability model used by free and open-source software (FOSS) – and closed source are two approaches to the distribution of software. Under the closed-source model source code is not released to the public. Closed-source software is maintained by a team who produces their product in a compiled-executable state, which is what the market is allowed access to.