Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Search engineA search engine is a software system that finds web pages that match a web search. They search the World Wide Web in a systematic way for particular information specified in a textual web search query. The search results are generally presented in a line of results, often referred to as search engine results pages (SERPs). The information may be a mix of hyperlinks to web pages, images, videos, infographics, articles, and other types of files. Some search engines also mine data available in databases or open directories.
Software copyrightSoftware copyright is the application of copyright in law to machine-readable software. While many of the legal principles and policy debates concerning software copyright have close parallels in other domains of copyright law, there are a number of distinctive issues that arise with software. This article primarily focuses on topics particular to software. Software copyright is used by software developers and proprietary software companies to prevent the unauthorized copying of their software.
Chouette rayéeLa Chouette rayée (Strix varia) est une espèce de rapace nocturne appartenant à la famille des Strigidae. thumb|left|Gros plan sur une Chouette rayée à Richmond, en Virginie. L'adulte mesure 44 cm de longueur avec une envergure de 112 cm. Il a un visage pâle avec des anneaux foncés autour des yeux, un bec jaune et les yeux bruns. C'est la seule chouette typique de l'est des États-Unis qui ait les yeux bruns, toutes les autres ayant les yeux jaunes. La tête est ronde et n'a pas d'oreilles touffes, contrairement au hibou des marais.
Sony, est une société multinationale japonaise basée dans l'arrondissement de Minato à Tokyo (Japon). Elle est active dans différents domaines tels que l'électronique, la téléphonie, l'informatique, le jeu vidéo, la musique, le cinéma et l'audiovisuel en général. Sony Corporate comprend plus de cent sociétés à travers le monde, dont Sony France SA, Sony Corporation of America, Sony Music Entertainment, Sony Pictures Entertainment, Sony Interactive Entertainment et est présent dans 183 pays (voir les entreprises de Sony Corporation).
Fork (développement logiciel)Un fork (terme anglais signifiant « fourche », « bifurcation », « embranchement ») désigne dans le jargon informatique, un nouveau logiciel créé à partir du code source d'un logiciel existant. Son existence découle d’un choix politique venant de visions différentes du projet des différents acteurs qui y participent, un acteur décidant alors de créer cette dérivation pour lui imposer les idées qu’il n’a pas pu soumettre au précédent projet, une forme de schisme.
Chevêche des terriersLa Chevêche des terriers (Athene cunicularia) ou Chouette des terriers est une chouette aux longues pattes adaptées à la vie dans les prairies d'Amérique du Nord et du Sud. Elle habite les prairies de la Saskatchewan et de l'Alberta au Canada, où elle est menacée. Cependant, elle abonde dans le néotropique, où on la rencontre même en milieu urbain, typiquement dans les parcs ou aux alentours des villes. Cette chevêche possède un plumage gris-brun piqueté de blanc sur le dessus, rayé de blanc sur le ventre.
MegascopsMegascops est un genre d'oiseaux, nommés Petit-duc, appartenant à la famille des Strigidae. D'après la classification de référence (version 3.
Serveur dédié virtuelUn serveur dédié virtuel (également appelé serveur virtuel), en anglais l'appellation commerciale est virtual private server (VPS) ou virtual dedicated server (VDS) est une méthode de partitionnement d'un serveur en plusieurs serveurs virtuels indépendants qui ont chacun les caractéristiques d'un serveur dédié, en utilisant des techniques de virtualisation. Chaque serveur peut fonctionner avec un système d'exploitation différent et redémarrer indépendamment.
Second LifeSecond Life (SL) est un métavers, un univers virtuel persistant, en trois dimensions sorti en 2003 et gratuit. Ce logiciel permet à ses utilisateurs d'incarner des personnages virtuels dans un monde créé par les résidents eux-mêmes. Les utilisateurs peuvent concevoir le contenu de l'univers en ligne : vêtements, bâtiments, objets, animations et sons, ainsi qu'acquérir des parcelles de terrain dont ils obtiennent la jouissance en utilisant une monnaie virtuelle auprès de Linden Lab, la société qui édite le programme informatique open-source.
