Entier friableEn théorie des nombres, un nombre friable, ou lisse, est un entier naturel dont l'ensemble des facteurs premiers sont petits, relativement à une borne donnée. Les entiers friables sont particulièrement importants dans la cryptographie basée sur la factorisation, qui constitue depuis une vingtaine d'années une branche dynamique de la théorie des nombres, avec des applications dans des domaines aussi variés que l'algorithmique (problème du logarithme discret), la théorie de la sommabilité (sommation friable des séries de Fourier), la théorie élémentaire des nombres premiers (preuve élémentaire du théorème des nombres premiers de Daboussi en 1984), la méthode du cercle (problème de Waring), le modèle de Billingsley, le modèle de , l', les théorèmes de type Erdős-Wintner, etc.
Contrôle d'accès fondé sur les treillisDans le domaine de la sécurité numérique, le contrôle d'accès fondé sur les treillis (en anglais lattice-based access control, ou LBAC) est un modèle complexe de contrôle d'accès logique aux ressources qui sont placées sous son contrôle qui s'appuie sur la représentation des interactions entre toutes les combinaisons d'objets (ressources numériques, applications et ordinateurs) et les acteurs (personnes, groupes ou organizations). L'objectif du contrôle d'accès fondé sur les treillis est de permettre la mise en place de polices de sécurité du type Contrôle d'accès obligatoire.
Sécurité logicielle des smartphonesLa sécurité logicielle des smartphones ou sécurité logicielle des téléphones intelligents est devenue une préoccupation de plus en plus importante de l'informatique liée à la téléphonie mobile. Elle est particulièrement préoccupante car elle concerne la sécurité des informations personnelles disponibles au sein des smartphones. De plus en plus d'utilisateurs et d'entreprises utilisent au jour le jour des smartphones comme outils de communication mais aussi pour la planification, la gestion et l'organisation de leurs vies professionnelle et privée.
Effects of climate change on small island countriesThe effect of climate change on small island countries can be extreme because of low-lying coasts, relatively small land masses, and exposure to extreme weather. The effects of climate change, particularly sea level rise and increasingly intense tropical cyclones, threaten the existence of many island countries, island peoples and their cultures, and will alter their ecosystems and natural environments. Several Small Island Developing States (SIDS) are among the most vulnerable nations to climate change.
Alliance of Small Island StatesL'Alliance of Small Island States, en français : Alliance des petits États insulaires ou AOSIS, est une organisation intergouvernementale de pays États côtiers ou insulaires. Fondée en 1990, cette alliance a pour but de mieux faire entendre la voix des petits États insulaires en développement face aux changements climatiques, et notamment l'élévation du niveau de la mer. Elle les représente lors des conférences sur le climat et vise à les faire compter dans le débat international, en exprimant des positions communes.
Méthanisationvignette|upright=1.7|Digesteurs anaérobies : Tel-Aviv (Israël). La méthanisation est un processus biologique de dégradation des matières organiques. Elle est appelée aussi biométhanisation ou digestion anaérobie. La digestion anaérobie est le processus naturel biologique de dégradation de la matière organique en absence d'oxygène (anaérobie) ; les polluants organiques sont convertis par des micro-organismes anaérobies en un produit gazeux (dont le méthane) et une boue résiduelle, le digestat, qui ont un potentiel de réutilisation.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
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.
Hypertext Transfer Protocol SecureL'HyperText Transfer Protocol Secure (HTTPS, littéralement « protocole de transfert hypertextuel sécurisé ») est la combinaison du HTTP avec une couche de chiffrement TLS. HTTPS permet au visiteur de vérifier l'identité du site web auquel il accède, grâce à un certificat d'authentification émis par une autorité tierce, réputée fiable (et faisant généralement partie de la liste blanche des navigateurs internet et des système d'exploitation).
Proofs and RefutationsProofs and Refutations: The Logic of Mathematical Discovery is a 1976 book by philosopher Imre Lakatos expounding his view of the progress of mathematics. The book is written as a series of Socratic dialogues involving a group of students who debate the proof of the Euler characteristic defined for the polyhedron. A central theme is that definitions are not carved in stone, but often have to be patched up in the light of later insights, in particular failed proofs. This gives mathematics a somewhat experimental flavour.
Recherche en designLa recherche en design est la tentative visant à faire du design une discipline scientifique. Si cette tentative est déjà bien avancée à l'international, notamment dans les pays anglo-saxons (Royaume-Uni, États-Unis, Canada, Australie, Nouvelle-Zélande), mais aussi aux Pays-Bas, en Italie, en Scandinavie, en Turquie, au Japon, en Corée, ou encore au Brésil, elle s'est développée de manière différente dans les pays francophones (au Québec d'abord, puis plus tard en Suisse, France, Tunisie, Belgique).
Sustainable designEnvironmentally sustainable design (also called environmentally conscious design, eco-design, etc.) is the philosophy of designing physical objects, the built environment, and services to comply with the principles of ecological sustainability and also aimed at improving the health and comfort of occupants in a building. Sustainable design seeks to reduce negative impacts on the environment, the health and well-being of building occupants, thereby improving building performance.
