Constructive set theoryAxiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach. On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle (), constructive set theories often require some logical quantifiers in their axioms to be set bounded, motivated by results tied to impredicativity.
Graphisme 2DLe graphisme 2D, ou graphisme en deux dimensions, est la génération par le biais d'un ordinateur, d' principalement issues de modèles en deux dimensions (tels que des modèles géométriques en 2D, des textes et des images numériques) et des techniques spécifiques qui leur sont affiliées. Le mot peut aussi bien se référer à la branche de l'informatique qui comprend ces techniques que pour les modèles eux-mêmes.
Architecture logicielleL’architecture logicielle décrit d’une manière symbolique et schématique les différents éléments d’un ou de plusieurs systèmes informatiques, leurs interrelations et leurs interactions. Contrairement aux spécifications produites par l’analyse fonctionnelle, le modèle d'architecture, produit lors de la phase de conception, ne décrit pas ce que doit réaliser un système informatique mais plutôt comment il doit être conçu de manière à répondre aux spécifications. L’analyse décrit le « quoi faire » alors que l’architecture décrit le « comment le faire ».
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Infographie tridimensionnelleLa synthèse d'images tridimensionnelles, souvent appelée infographie tridimensionnelle ou infographie 3D (3D pour trois dimensions : x, y, z, les trois axes qui constituent le repère orthonormé de la géométrie dans l'espace), est un ensemble de techniques notamment issues de la CAO qui permet la représentation d'objets en perspective sur un moniteur d'ordinateur. Elle est actuellement très utilisée en art numérique dans l'industrie du film, initiée par les studios Pixar, Disney, DreamWorks, Blue Sky, Illumination et ILM et, .
Spatial epidemiologySpatial epidemiology is a subfield of epidemiology focused on the study of the spatial distribution of health outcomes; it is closely related to health geography. Specifically, spatial epidemiology is concerned with the description and examination of disease and its geographic variations. This is done in consideration of “demographic, environmental, behavioral, socioeconomic, genetic, and infections risk factors." Disease Mapping Disease maps are visual representations of intricate geographic data that provide a quick overview of said information.
Computer-supported collaborationComputer-supported collaboration research focuses on technology that affects groups, organizations, communities and societies, e.g., voice mail and text chat. It grew from cooperative work study of supporting people's work activities and working relationships. As net technology increasingly supported a wide range of recreational and social activities, consumer markets expanded the user base, enabling more and more people to connect online to create what researchers have called a computer supported cooperative work, which includes "all contexts in which technology is used to mediate human activities such as communication, coordination, cooperation, competition, entertainment, games, art, and music" (from CSCW 2023).
Impression 3Dalt=Une grenouille en plastique bleue est en cours de construction par une imprimante 3D|vignette|Objet imprimé en 3D par une Ultimaker 2 Go vignette|Imprimante 3D dans un fab lab béninois.L'impression 3D ou fabrication additive regroupe les procédés de fabrication permettant de créer des pièces en volume par ajout de matière en couches successives. Elle s'oppose à la fabrication soustractive. Cette famille de procédés a commencé à se développer au début des années 1980 avec pour objectif principal de faciliter le prototypage rapide, puisque le coût de production est pratiquement indépendant de la quantité produite.
Life skillsLife skills are abilities for adaptive and positive behavior that enable humans to deal effectively with the demands and challenges of life. This concept is also termed as psychosocial competency. The subject varies greatly depending on social norms and community expectations but skills that function for well-being and aid individuals to develop into active and productive members of their communities are considered as life skills.
Constructivisme (mathématiques)En philosophie des mathématiques, le constructivisme est une position vis-à-vis des mathématiques qui considère que l'on ne peut effectivement démontrer l'existence d'objets mathématiques qu'en donnant une construction de ceux-ci, une suite d'opérations mentales qui conduit à l'évidence de l'existence de ces objets. En particulier, les constructivistes ne considèrent pas que le raisonnement par l'absurde est universellement valide, une preuve d'existence par l'absurde (c-à-d une preuve où la non-existence entraîne une contradiction) ne conduisant pas en soi à une construction de l'objet.
Comportement organisationnelLe comportement organisationnel est une discipline carrefour qui regroupe l'étude et le management du comportement humain au sein des organisations ainsi que l'étude et le management de ces organisations. Il reprend, aux niveaux de l'individu, du groupe et de l'organisation, les concepts de la psychologie individuelle (et plus particulièrement la psychologie du travail devenue la psychologie organisationnelle), la psychologie sociale au niveau du groupe, la sociologie et plus particulièrement la sociologie des organisations et la sociologie du conflit, l'anthropologie et les sciences politiques.
Psychologie du travail et des organisationsLa psychologie du travail et des organisations est une branche de la psychologie qui s'intéresse aux phénomènes psychiques et aux comportements des individus au travail. Plus concrètement, la psychologie du travail se préoccupe de questions telles que la santé et le bien-être au travail, l'accompagnement professionnel des salariés ainsi que les nouvelles formes de travail et nouveaux modèles d'activité apparus à la suite d'évolutions sociétales récentes.
