Solid modelingSolid modeling (or solid modelling) is a consistent set of principles for mathematical and computer modeling of three-dimensional shapes (solids). Solid modeling is distinguished within the broader related areas of geometric modeling and computer graphics, such as 3D modeling, by its emphasis on physical fidelity. Together, the principles of geometric and solid modeling form the foundation of 3D-computer-aided design and in general support the creation, exchange, visualization, animation, interrogation, and annotation of digital models of physical objects.
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).
Recherche opérationnelleLa recherche opérationnelle peut être définie comme l'ensemble des méthodes et techniques rationnelles orientées vers la recherche du meilleur choix dans la façon d'opérer en vue d'aboutir au résultat visé ou au meilleur résultat possible ou encore au résultat optimal. Elle fait partie des « aides à la décision » dans la mesure où elle propose des modèles conceptuels en vue d'analyser et de maitriser des situations complexes pour permettre aux décideurs de comprendre, d'évaluer les enjeux et d'arbitrer ou de faire les choix les plus efficaces.
Littératurevignette|Fragonard, La Liseuse. La littérature est l’ensemble des œuvres écrites ou orales auxquelles on reconnaît une valeur esthétique ; c'est un art exprimant un idéal de beauté. Grâce aux productions littéraires, elle permet de manifester des émotions et de révéler aux lecteurs ou aux auditeurs ce qu'une personne a dans le cœur. La littérature vise à éduquer, à communiquer des pensées, à influencer et même à séduire.
Littérature indienneLa littérature indienne est riche de son très ancien corpus de contes et d'épopées, et d'une littérature moderne et contemporaine, d'une grande diversité linguistique. En effet l'Inde compte 22 langues dites nationales et 2 langues officielles, une grande quantité d'œuvres a été produite, dans ces différentes langues, au fil du temps. Les formes orale et écrite sont aussi importantes l'une que l'autre. La littérature traditionnelle hindoue tient une grande place dans la culture indienne.
Consensus realityConsensus reality is that which is generally agreed to be reality, based on a consensus view. The appeal to consensus arises from the idea that humans do not fully understand or agree upon the nature of knowledge or ontology, often making it uncertain what is real, given the vast inconsistencies between individual subjectivities. Humans can, however, seek to obtain some form of consensus, with others, of what is real.
Triboluminescencethumb|Triboluminescence dans le quartz. La triboluminescence est un phénomène optique dans lequel la lumière est engendrée par la cassure de liens asymétriques dans un cristal, quand ce matériau est gratté, cassé ou frotté. C’est une variante de la luminescence ; le terme vient du grec tribein (frotter) et du latin lumen (lumière). Par exemple, un diamant peut commencer à luire alors qu’il est frotté. Cela arrive occasionnellement aux diamants lorsqu'une face est polie ou coupée pendant le processus de la taille.
