Apprentissage automatiqueL'apprentissage automatique (en anglais : machine learning, « apprentissage machine »), apprentissage artificiel ou apprentissage statistique est un champ d'étude de l'intelligence artificielle qui se fonde sur des approches mathématiques et statistiques pour donner aux ordinateurs la capacité d'« apprendre » à partir de données, c'est-à-dire d'améliorer leurs performances à résoudre des tâches sans être explicitement programmés pour chacune. Plus largement, il concerne la conception, l'analyse, l'optimisation, le développement et l'implémentation de telles méthodes.
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
Apprentissage profondL'apprentissage profond ou apprentissage en profondeur (en anglais : deep learning, deep structured learning, hierarchical learning) est un sous-domaine de l’intelligence artificielle qui utilise des réseaux neuronaux pour résoudre des tâches complexes grâce à des architectures articulées de différentes transformations non linéaires. Ces techniques ont permis des progrès importants et rapides dans les domaines de l'analyse du signal sonore ou visuel et notamment de la reconnaissance faciale, de la reconnaissance vocale, de la vision par ordinateur, du traitement automatisé du langage.
Microsoft Office 2010Microsoft Office 2010 est une version de la suite bureautique Microsoft Office, développée et éditée par Microsoft. Sortie en , elle succède à Office 2007 et précède Office 2013. Office 2010 est la première version de Microsoft Office à proposer des versions en ligne et gratuites (Office Web Apps) de Word, Excel, PowerPoint et OneNote, disponibles sur la plupart des navigateurs actuels : Internet Explorer, Firefox, Chrome et Safari. Au , près de 200 millions de licences d'Office 2010 ont déjà été vendues.
Apprentissage par renforcement profondL'apprentissage par renforcement profond (en anglais : deep reinforcement learning ou deep RL) est un sous-domaine de l'apprentissage automatique (en anglais : machine learning) qui combine l'apprentissage par renforcement et l'apprentissage profond (en anglais : deep learning). L'apprentissage par renforcement considère le problème d'un agent informatique (par exemple, un robot, un agent conversationnel, un personnage dans un jeu vidéo, etc.) qui apprend à prendre des décisions par essais et erreurs.
Microsoft PowerPointMicrosoft PowerPoint est un logiciel de présentation édité par Microsoft. Il fait partie de la suite Microsoft Office. Microsoft PowerPoint fonctionne sous Windows et Mac OS. La version la plus récente est PowerPoint 2021. Elle fait partie de la suite Office 2021 et du service Microsoft 365. Depuis , l'application PowerPoint est disponible sur iPad, iPhone, Windows Phone et Android. Cela entre dans la logique « Office Mobile » de Microsoft de rendre ses logiciels disponibles sur le plus grand nombre de supports (ordinateurs, tablettes, smartphones).
Apprentissage par renforcementEn intelligence artificielle, plus précisément en apprentissage automatique, l'apprentissage par renforcement consiste, pour un agent autonome ( robot, agent conversationnel, personnage dans un jeu vidéo), à apprendre les actions à prendre, à partir d'expériences, de façon à optimiser une récompense quantitative au cours du temps. L'agent est plongé au sein d'un environnement et prend ses décisions en fonction de son état courant. En retour, l'environnement procure à l'agent une récompense, qui peut être positive ou négative.
Microsoft Office 2007Microsoft Office 2007, anciennement nommé Office 12, est une évolution de la suite bureautique de Microsoft depuis sa création sortie le en remplacement de Microsoft Office 2003. Parmi les nouveautés, les applications globales restent les mêmes et vient s’ajouter Office « 12 » Server et Microsoft Expression Web (succédant à FrontPage). La gamme Groove fait également son entrée dans Office 2007 avec une composante « client », Microsoft Office Groove, et une gamme « Serveurs » contenant Groove Management Server, Groove DataBridge, et Groove Relay Server.
Mac OS 8Mac OS 8 est le nom donné à la huitième révision majeure du système d'exploitation des ordinateurs Macintosh de la marque Apple. Pour la première fois il est nommé « Mac OS » (pour Macintosh Operating System), bien plus attrayant que les précédentes dénominations « Système » (ex. : Système 7). Apple ayant en effet décidé de rattraper les erreurs du Système 7 (à savoir : bugs à répétition avec les mises à jour 7.5, matériel non ou mal pris en charge, ...) en faisant disparaître tout ce qui avait trait à son prédécesseur.
Microsoft Office shared toolsMicrosoft Office shared tools are software components that are (or were) included in all Microsoft Office products. Office Delve allows Office 365 users to search and manage their emails, meetings, contacts, social networks and documents stored on OneDrive or Sites in Office 365. Delve uses machine learning and artificial intelligence In April 2015 Microsoft launched a mobile version of Office Delve in the App Store and Google Play for users with an Office 365 subscription.
Vérification formelleIn 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.
Mac OS 9Mac OS 9 est la dernière révision majeure du premier système d'exploitation des ordinateurs Macintosh d'Apple. Elle est sortie le . Mac OS 9 est très semblable à son prédécesseur Mac OS 8 et il peut être considéré comme une espèce de transition avant le passage à Mac OS X, dont toutefois l'architecture est très différente. C'est néanmoins la version la plus aboutie et la plus stable du Mac OS original : contrairement aux précédentes versions, est écrit entièrement en code compatible PowerPC, ce qui améliore son fonctionnement sur les Macintosh à base de processeur PowerPC, mais qui en contrepartie écarte les premiers Macintosh à base de Motorola 68000.
Mac ProLe Mac Pro est une station de travail 64 bits d'Apple. Il est présenté pour la première fois lors de la WWDC d’. Il remplace le Power Mac G5 dont il reprend le design, et signe la disparition de la dénomination Power Mac parmi les produits Apple. Le , Apple a mis à jour ses Mac Pro. Ces derniers pouvant accueillir deux processeurs Intel Xeon Nehalem cadencé jusqu'à . Le , Apple renouvelle sa gamme en intégrant de nouveaux processeurs Intel Xeon Westmere et la possibilité d'avoir jusqu'à douze cœurs à disposition.
Copier-collervignette|Icônes correspondant à couper/copier/coller. vignette|droite|Graffiti avec le texte « copier-coller ». Le copier-coller et le couper-coller sont des manipulations des appareils informatiques pour reproduire ou déplacer des données (texte, , fichier) depuis une source vers une destination. Ces techniques ont été inventées en 1973 par Larry Tesler qui travaillait au Xerox PARC, ou peut-être en 1968 par Douglas Engelbart du Xerox PARC, avec une démonstration publique le .
Microsoft ExcelMicrosoft Excel est un logiciel tableur de la suite bureautique Microsoft Office développé et distribué par l'éditeur Microsoft. La version la plus récente est Excel 2021. Il est destiné à fonctionner sur les plates-formes Microsoft Windows, Mac OS X, Android ou Linux (moyennant l'utilisation de Wine). Le logiciel Excel intègre des fonctions de calcul numérique, de représentation graphique, d'analyse de données (notamment de tableau croisé dynamique) et de programmation, laquelle utilise les macros écrites dans le langage VBA (Visual Basic for Applications) qui est commun aux autres logiciels de Microsoft Office.
Presentation slideA slide is a single page of a presentation. Collectively, a group of slides may be known as a slide deck. A slide show is an exposition of a series of slides or images in an electronic device or in a projection screen. Before the advent of the personal computer, a presentation slide could be a 35 mm slide viewed with a slide projector or a transparency viewed with an overhead projector. In the digital age, a slide most commonly refers to a single page developed using a presentation program such as MS PowerPoint, Apple Keynote, Google Slides, Apache OpenOffice or LibreOffice.
MacOSmacOS (auparavant Mac OS X – , puis OS X) est un système d’exploitation partiellement propriétaire développé et commercialisé par Apple depuis , dont la version la plus récente est macOS Ventura () pour la version actuelle lancée le 24 octobre 2022 et macOS Monterey (12) lancée le 25 octobre 2021 pour le grand public. Avec iOS, iPadOS, watchOS et tvOS, il fait partie des systèmes d'exploitation d'Apple. macOS est le successeur de Mac OS Classic, la principale série des systèmes d'exploitation d'Apple depuis .
États-UnisLes États-Unis (prononcé : ), en forme longue les États-Unis d'Amérique, également appelés informellement les USA ou moins exactement lAmérique ou encore les States (en anglais : United States, United States of America, US, USA, America), sont un État transcontinental dont la majorité du territoire se situe en Amérique du Nord. Les États-Unis ont la structure politique d'une république et d'un État fédéral à régime présidentiel, composé de cinquante États.
Projecteur de diapositivesUn projecteur de diapositives est un instrument d'optique permettant de visionner des diapositives par projection de l'image sur une surface blanche de grande taille (que ce soit un mur ou un écran adapté). Si son usage s'est répandu dans les années 1950, le terme « diapositif (ve) » apparaît dès 1892 dans la langue française avec la lanterne magique car le projecteur de diapositives en est le descendant direct par son principe de fonctionnement et ses buts. vignette|Un projecteur de diapositives Zett 250.
