Protocole de communicationDans les réseaux informatiques et les télécommunications, un protocole de communication est une spécification de plusieurs règles pour un type de communication particulier. Initialement, on nommait protocole ce qui est utilisé pour communiquer sur une même couche d'abstraction entre deux machines différentes. Par extension de langage, on utilise parfois ce mot aussi aujourd'hui pour désigner les règles de communication entre deux couches sur une même machine.
Communicating sequential processesEn programmation concurrente, Communicating sequential processes (CSP) est une algèbre de processus permettant de modéliser l'interaction de systèmes. CSP intègre un mécanisme de synchronisation basé sur le principe du rendez-vous (détaillé plus loin au travers de la commande d'entrée/sortie). Combinant ce mécanisme à une syntaxe simple et concise, CSP permet l'implémentation rapide des paradigmes classiques de la concurrence, tels que producteurs/consommateurs ou lecteurs/écrivains.
Jerry FodorJerome Alan Fodor, né le à New York et mort le dans la même ville, est un philosophe américain. Il est l'un des principaux représentants du fonctionnalisme en philosophie de l'esprit et a été l'un des fondateurs de la théorie computationnelle de l'esprit. Il est l'auteur d'ouvrages importants dans les sciences cognitives sur l'hypothèse de la modularité de l'esprit et sur le langage de la pensée. Il est aussi connu pour ses arguments en épistémologie contre le réductionnisme. Le modèle de l'esprit défendu par J.
DéterminismeLe déterminisme est une théorie philosophique selon laquelle chaque événement, en vertu du principe de causalité, est déterminé par les événements passés conformément aux lois de la nature. En physique, cette idée se traduit par la notion de système déterministe, c'est-à-dire un système soumis à une dynamique qui associe à chaque condition initiale un et un seul état final. On parle également de système déterministe en automatique pour désigner un système pour lequel les mêmes entrées produisent toujours exactement les mêmes sorties, par opposition à un système stochastique pour lequel les mêmes entrées peuvent produire différentes sorties.
Pi-calculLe Pi-calcul (ou π-calcul) est un langage de programmation théorique inventé par Robin Milner. Ce langage occupe dans le domaine de l'informatique parallèle et distribuée un rôle similaire à celui du λ-calcul dans l'informatique classique. En tant que langage de programmation théorique (ou langage formel), le π-calcul ne vise pas à permettre de construire des programmes exécutables.
Gender of connectors and fastenersIn electrical and mechanical trades and manufacturing, each half of a pair of mating connectors or fasteners is conventionally assigned the designation male or female. The female connector is generally a receptacle that receives and holds the male connector. Sometimes the terms plug and socket or jack are used, particularly in reference to electrical connectors. In some cases, the pins on the connector may have the opposite nominal gender to the mounted connector, such as the RCA connector.
Arbres dans la mythologievignette|L'arbre de la Bodhi de Bodhgaya est censé être le Ficus religiosa sous lequel Gautama Bouddha a atteint l'illumination. Il est vénéré par les bouddhistes. La figue sacrée est également vénérée dans l'hindouisme et le jaïnisme . Les arbres sont significatifs dans de nombreuses mythologies et religions du monde et ont reçu des significations profondes et sacrées à travers les âges. Les êtres humains, observant la croissance et la mort des arbres, et la mort annuelle et la renaissance de leur feuillage, les ont souvent vus comme de puissants symboles de croissance, de mort et de renaissance.
