Reconnaissance automatique de la parolevignette|droite|upright=1.4|La reconnaissance vocale est habituellement traitée dans le middleware ; les résultats sont transmis aux applications utilisatrices. La reconnaissance automatique de la parole (souvent improprement appelée reconnaissance vocale) est une technique informatique qui permet d'analyser la voix humaine captée au moyen d'un microphone pour la transcrire sous la forme d'un texte exploitable par une machine.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
ComptabilitéLa comptabilité est un ensemble de systèmes d'information subjectifs ayant pour objet la mesure de la valeur des moyens et des résultats d'une entité. La comptabilité repose sur un ensemble de conventions et de règles de représentation. La comptabilité est un système subjectif c'est-à-dire qu'elle propose une représentation particulière des informations, et donc du réel, en fonction du sujet qui a défini les conventions et règles. Plusieurs comptabilités coexistent.
Geophysical definition of planetThe International Union of Geological Sciences (IUGS) is the internationally recognized body charged with fostering agreement on nomenclature and classification across geoscientific disciplines. However, they have yet to create a formal definition of the term planet. As a result, there are various geophysical definitions in use among professional geophysicists, planetary scientists, and other professionals in the geosciences. Many professionals opt to use one of several of these geophysical definitions instead of the definition voted on by the International Astronomical Union.
Comptabilité de gestionLa comptabilité de gestion, ou la comptabilité analytique, est un système d'information comptable (exprimé en unités monétaires) qui permet d'informer les dirigeants (ou managers) des organisations afin de prendre des décisions de gestion. L'expression « comptabilité de gestion » a remplacé progressivement l'expression comptabilité analytique en France dans les années 1980. Mais les deux expressions sont parfaitement synonymes.
Outlook.comOutlook.com est un service de messagerie web gratuit de la société Microsoft. Créé en 1996 par Jack Smith sous le nom de « Hotmail », ce service est acquis en 1997 par Microsoft, qui le renomme MSN Hotmail, puis Windows Live Hotmail. Jack Smith eut l'idée d'accéder à une adresse de courrier électronique depuis n'importe quel ordinateur à travers le monde. Quand Sabeer Bhatia lui proposa la création d'une entreprise, il cherche un nom finissant par « mail ». Il finit par choisir le terme HoTMaiL reprenant les consonnes du sigle HTML.
Microsoft OutlookMicrosoft Outlook (officiellement Microsoft Office Outlook) est un gestionnaire d'informations personnelles et un client de courrier électronique propriétaire édité par Microsoft. Ce logiciel informatique fait partie de la suite bureautique Microsoft Office. Bien qu'il soit principalement utilisé en tant qu'application de courrier électronique, il propose aussi un calendrier et un gestionnaire de tâche et de contact.
Principes comptables françaisLes principes comptables français sont les objectifs, hypothèses, contraintes, règles qui gouvernent la comptabilité. Ensemble, ils forment le référentiel comptable (cadre conceptuel), c'est-à-dire le socle de fondements à la base de tous travaux comptables. La comptabilité générale doit fournir à ses différents utilisateurs (actionnaires, salariés, partenaires, administration fiscale, etc.) une information fiable du point de vue économique.
