Rechercher dans ce blog

vendredi 11 novembre 2022

Formaldehyde dehydrogenase


Remplisseur de formulaire/Remplisseur de formulaire :
Un remplisseur de formulaire est un logiciel qui remplit automatiquement des formulaires dans une interface utilisateur. Les remplisseurs de formulaires peuvent faire partie d'un programme plus vaste, comme un navigateur Web, un gestionnaire de mots de passe ou même une solution d'authentification unique d'entreprise (E-SSO). Un remplisseur de formulaire est l'opposé d'un grattoir d'écran, qui extrait les données d'un formulaire.
Le formulaire suit_fonction/Le formulaire suit la fonction :
La forme suit la fonction est un principe de conception associé à l'architecture et au design industriel de la fin du XIXe et du début du XXe siècle en général, qui stipule que la forme d'un bâtiment ou d'un objet doit principalement être liée à sa fonction ou à son objectif.
Saisie de formulaire/Saisie de formulaire :
La capture de formulaire est une forme de malware qui fonctionne en récupérant l'autorisation et les identifiants de connexion à partir d'un formulaire de données Web avant qu'il ne soit transmis sur Internet à un serveur sécurisé. Cela permet au logiciel malveillant d'éviter le cryptage HTTPS. Cette méthode est plus efficace que le logiciel d'enregistrement de frappe car elle acquiert les informations d'identification de l'utilisateur même si elles sont saisies à l'aide d'un clavier virtuel, d'un remplissage automatique ou d'un copier-coller. Il peut ensuite trier les informations en fonction de ses noms de variable, tels que l'e-mail, le nom du compte et le mot de passe. De plus, le récupérateur de formulaire enregistrera l'URL et le titre du site Web à partir duquel les données ont été collectées.
Lettre type/Lettre type :
Une lettre type est une lettre écrite à partir d'un modèle, plutôt que d'être spécialement composée pour un destinataire spécifique. Le type le plus général de lettre type consiste en une ou plusieurs zones de texte passe-partout entrecoupées d'un ou plusieurs espaces réservés de substitution. Bien que les lettres types soient généralement destinées à un large public, de nombreuses lettres types incluent des éléments stylistiques ou des caractéristiques destinées à apparaître spécifiquement adaptées au destinataire. Par exemple, ils peuvent être signés par autopen et utiliser des fonctionnalités telles que le publipostage, qui insère automatiquement les noms des destinataires individuels.
Doublure de formulaire/Doublure de formulaire :
Les doublures de coffrage sont les doublures utilisées dans la préparation des conceptions sur les murs en béton. L'utilisation de doublures de coffrage se traduit souvent par des murs plus attrayants pour les autoroutes, les quartiers, les plages et les parcs. Les doublures de coffrage se présentent sous de nombreuses formes et conceptions différentes et peuvent produire une variété de résultats différents sur le béton. Le processus commence généralement par la détermination qu'une barrière esthétiquement intéressante est nécessaire. Ensuite, des dessins conceptuels sont réalisés par l'équipe de conception et présentés pour approbation. Une fois la conception acceptée par le quartier environnant et l'équipe de construction, les dessins évoluent en créations sculptées. Le sculpteur peut créer l'œuvre originale en utilisant une variété de médiums, tels que l'argile, le polyuréthane et la cire. Lorsque le chef-d'œuvre est terminé, un moulage est réalisé à l'aide de caoutchouc liquide synthétique, et à partir de ce moulage, des doublures de coffrage sont produites à l'image inversée de l'original. Un panneau de revêtement de coffrage est placé à l'intérieur d'un système de coffrage de béton avant que le béton n'ait été coulé et agit comme un moule contre lequel le béton doit être formé. Une fois que le béton a pris, le système de coffrage peut être retiré et la doublure de coffrage peut être retirée de la surface du béton durci. La surface de béton résultante est texturée en permanence avec le motif de la doublure de coffrage.
Forme_d'action/Forme d'action :
Les formes d'action étaient les différentes procédures par lesquelles une réclamation légale pouvait être faite pendant une grande partie de l'histoire de la common law anglaise. Selon le tribunal, un demandeur achèterait un bref à la chancellerie (ou déposerait un projet de loi) qui déclencherait une série d'événements menant finalement à un procès dans l'un des tribunaux de droit commun médiéval. Chaque bref impliquait un ensemble différent de procédures et de recours qui, ensemble, constituaient la "forme d'action". Les formes d'action ont été abolies au XIXe siècle, mais elles ont laissé une empreinte indélébile sur le droit. Au début du Moyen Âge, l'accent était mis sur la procédure employée pour porter plainte devant les cours royales du banc du roi ou des plaidoyers communs : c'était la forme de l'action, et non son fond, qui occupait la discussion juridique. Cette approche restrictive est l'une des raisons qui ont incité les justiciables à s'adresser directement au roi, ce qui a finalement conduit au développement d'un tribunal distinct connu sous le nom de Court of Chancery, dont découle le corpus de droit connu sous le nom d'équité. Le droit anglais moderne, comme dans la plupart des autres systèmes juridiques, s'intéresse désormais au fond plutôt qu'à la forme : un demandeur n'a qu'à démontrer une cause d'action valable.
Forme_de_vie_(philosophie)/Forme de vie (philosophie) :
Forme de vie ( allemand : Lebensform ) est un terme utilisé avec parcimonie par Ludwig Wittgenstein dans les ouvrages publiés à titre posthume Philosophical Investigations , On Certainty et dans certaines parties de son Nachlass . Wittgenstein dans son Tractatus Logico-Philosophicus (TLP) s'intéressait à la structure du langage, répondant à Frege et Russell. Plus tard, Wittgenstein a trouvé la nécessité de réviser le point de vue tenu dans TLP car il n'a pas résolu les problèmes concernant les propositions élémentaires. Menant à une vision révisée de son PI, toujours préoccupé par le langage, mais se concentrant maintenant sur la façon dont il est utilisé et n'insistant pas sur le fait qu'il a une structure inhérente ou un ensemble de règles. En dérivant de cela, le langage est le résultat de l'activité humaine. Le philosophe italien Giorgio Agamben reprend les concepts de Wittgenstein et les applique à l'histoire du monachisme occidental afin de repenser les conséquences de ces concepts pour faire de la politique (contemporaine). Dans The Highest Poverty - Monastic Rules and Form-of-Life, Agamben trouve des versions antérieures de la forme de vie dans les règles monastiques, se développant à partir de 'vita vel regula', 'regula et vita', 'forma vivendi' et 'forma vitae'. Agamben se penche sur le genre émergent de règles écrites à partir du 9ème siècle, et son développement à la fois en loi et quelque chose au-delà de la loi dans la forme de vie franciscaine, dans laquelle les franciscains ont remplacé l'idée que nous possédons notre vie (ou des objets en général ) avec la notion d'«usus», c'est-à-dire d'«utilisation».
Forme_du_bien/Forme du bien :
"Forme du Bien", ou plus littéralement "l'idée du bien" (ἡ τοῦ ἀγαθοῦ ἰδέα) est un concept de la philosophie de Platon. La définition du Bien est une Forme parfaite, éternelle et immuable, existant en dehors de l'espace et du temps. C'est un idéal platonicien.
Perception de la forme/Perception de la forme :
La perception de la forme est la reconnaissance des éléments visuels des objets, en particulier ceux liés aux formes, aux motifs et aux caractéristiques importantes précédemment identifiées. Un objet est perçu par la rétine comme une image bidimensionnelle,[1] mais l'image peut varier pour un même objet en fonction du contexte dans lequel il est vu, de la taille apparente de l'objet, de l'angle sous lequel il est vu, comment il est illuminé, ainsi que son emplacement dans le champ de vision.[2] Malgré le fait que chaque instance d'observation d'un objet conduit à un modèle de réponse rétinienne unique, le traitement visuel dans le cerveau est capable de reconnaître ces expériences comme analogues, permettant une reconnaissance d'objet invariante. reconnaissance|reconnaissance d'objet]]. Le traitement visuel se produit dans une hiérarchie avec les niveaux les plus bas reconnaissant les lignes et les contours, et les niveaux légèrement supérieurs effectuant des tâches telles que l'achèvement des limites et la reconnaissance des combinaisons de contours. Les niveaux les plus élevés intègrent les informations perçues pour reconnaître un objet entier. Essentiellement, la reconnaissance d'objets est la capacité d'attribuer des étiquettes aux objets afin de les catégoriser et de les identifier, distinguant ainsi un objet d'un autre. Au cours du traitement visuel, les informations ne sont pas créées, mais plutôt reformatées de manière à extraire les informations les plus détaillées du stimulus.
Form und_Zweck/Form und Zweck :
Form und Zweck (en allemand : Form and Purpose) était un magazine est-allemand qui présentait des articles sur le design. Le magazine était le journal officiel de la République démocratique allemande. Il a existé entre 1956 et 2008.
Forme/Forme :
Forma est un mot latin et italien signifiant "forme, forme, apparence". La forme latine et la forme anglaise sont utilisées de manière interchangeable comme termes informels en biologie : Forme (zoologie) Forme (botanique)
Forma (bande)/Forma (bande) :
Forma est un groupe électronique américain de Brooklyn. Le groupe a sorti deux albums complets pour Spectrum Spools en 2011 et 2012. Après un changement de line-up (John Also Bennett a remplacé la membre fondatrice Sophie Lam), ils ont sorti un EP pour le label techno new-yorkais The Bunker New York en 2014. En septembre 2016, Forma a sorti Physicalist, un album complet pour le label ambiant de longue date Kranky. Physicalist a été le premier enregistrement Forma à utiliser l'instrumentation acoustique, y compris la musique composée au piano, à la flûte et aux percussions.
Formule 1/Forme 1 :
Forma 1, ou simplement Forma, était un groupe ou une école de jeunes artistes italiens formés dans les années qui ont immédiatement suivi la fin de la Seconde Guerre mondiale. Il a été formé en 1947 et a été refondé en 1961 sous le nom de groupe Continuità.
Forma Finlandia/Forma Finlandia :
Forma Finlandia était un concours international de conception de plastiques organisé par la compagnie pétrolière finlandaise Neste entre 1986 et 1994. Il a été créé pour soutenir les objectifs d'image d'entreprise de Neste et pour promouvoir l'acceptation des plastiques en tant que matériau et la conscience environnementale liée à l'utilisation des plastiques. Le concours a été organisé trois fois: en 1986–1987, 1989–1991 et 1992–1994. La première Forma Finlandia 1986–1987 a célébré le 75e anniversaire de l'organisation finlandaise de design industriel Ornamo. Le concours était ouvert à tous mais exigeait que les créations soient nouvelles et inédites. Le grand prix a été décerné à la designer américaine Lisa Krohn pour son annuaire téléphonique, une conception pour un poste téléphonique polyvalent. deuxième catégorie pour les produits existants et leurs fabricants. En 1991, aucun Grand Prix n'a été décerné et le deuxième prix a été divisé entre deux entrées allemandes, l'ensemble d'équipements audio hifi Metropolis du groupe de travail Meta-Moderne (Wolfgang Hein, Volker Dowidat et Bernard Neelen) et un Lizard expérimental à trois roues de Julian Pahlow. Le gagnant de la catégorie entreprise était un saxophone MIDI pour Yamaha, conçu par Yasuhiro Kira. Parmi les autres lauréats de 1991 figuraient Hans-Uwe Baumann, Peter Stenlund, Corinne Chiapello, Loic Perois, Renate Eilert, Eric Chan, Philip Bro Ludvigsen, Hertha Baeumer et Bernard Sams. Les gagnants du troisième concours Forma Finlandia en 1987 comprenaient Winfried Scheuer, Giulio et Valerio Vinaccia, Matti Kähönen, Vlad Müller, Cyrille Veau, Willi Gangl, Alfred Urleb et Christian Werner.
Forma Idéale/Forma Idéale :
Forma Ideale ( serbe : Форма Идеале ) est un fabricant et détaillant serbe d'ameublement dont le siège est à Kragujevac , en Serbie .
Forma Italiae/Forma Italiae :
Forma Italiae est un projet dont le but est de compiler une carte archéologique complète et un répertoire géographique de l'Italie. Giuseppe Lugli était le fondateur du projet. Jusqu'à présent, 46 volumes ont paru en 2017. Les volumes sont publiés par Leo S. Olschki Editore à Florence, en Italie. À partir du volume 46, la série est publiée par Edizioni Quasar. L'actuelle directrice du projet est Luisa Migliorati de la "Sapienza" Università di Roma.
Forma Tadre/Forma Tadre :
Forma Tadre est un projet de musique électronique allemand interprété en solo par Andreas Meyer. La musique de Forma Tadre couvre de nombreux styles, du darkwave / Neue Deutsche Welle à l'industriel / EBM en passant par l'ambiant.
Forma Urbis_Romae/Forma Urbis Romae :
La Forma Urbis Romae ou Severan Marble Plan est une carte massive en marbre de la Rome antique, créée sous l'empereur Septime Sévère entre 203 et 211. Matteo Cadario donne des années spécifiques de 205 à 208, notant que la carte était basée sur des registres de propriété. mesurait 18 m (60 pieds) de large sur 13 m (45 pieds) de haut et a été sculpté en 150 dalles de marbre Proconnesian montées sur un mur intérieur du Temple de la Paix. Créé à une échelle d'environ 1 à 240 (Cadario déclare 1:260 à 1:270), la carte était suffisamment détaillée pour montrer les plans d'étage de presque tous les temples, thermes et insula de la ville romaine centrale. Les limites du plan ont été décidées en fonction de l'espace disponible sur le marbre, au lieu des frontières géographiques ou politiques comme le sont généralement les cartes modernes. La carte était orientée avec le sud en haut. Sur la carte figurent les noms et les plans des bâtiments publics, des rues et des maisons privées. Les créateurs ont utilisé des signes et des détails comme des colonnes et des escaliers. Le Plan a été progressivement détruit au cours du Moyen Âge, les pierres de marbre étant utilisées comme matériaux de construction ou pour faire de la chaux. En 1562, le jeune sculpteur antiquaire Giovanni Antonio Dosio a excavé des fragments de la Forma Urbis d'un site près de l'église des SS. Cosma e Damiano, sous la direction du condottiere humaniste Torquato Conti, qui avait acheté les droits de fouilles aux chanoines de l'église. Conti a fait don des fragments récupérés au cardinal Alessandro Farnese, qui les a confiés à son bibliothécaire Onofrio Panvinio et à son antiquaire Fulvio Orsini. Peu d'intérêt semble avoir été suscité par les éclats de marbre. Au total, environ 10% de la surface originale du plan a depuis été récupéré sous la forme de plus d'un millier de fragments de marbre. Une partie du plan fouillé montrait une partie du Forum d'Auguste, interprétée comme "un dessin d'exécution ou comme une preuve de l'existence d'une Forma Urbis plus ancienne".
Forma specialis/Forma specialis :
Forma specialis (pluriel : formae speciales), en abrégé f. sp. (pluriel ff. spp.) Sans italique, est un groupement taxonomique informel autorisé par le Code international de nomenclature pour les algues, les champignons et les plantes, qui s'applique à un parasite (le plus souvent un champignon) adapté à un hôte spécifique. Cette classification peut être appliquée par des auteurs qui n'estiment pas qu'un nom de sous-espèce ou de variété est approprié, et il n'est donc pas nécessaire de préciser les différences morphologiques qui distinguent cette forme. Le sens littéral du terme est « forme spéciale », mais ce groupement ne correspond pas à l'utilisation botanique plus formelle du rang taxonomique de forma ou de forme. Un exemple est Puccinia graminis f. sp. avenae, qui affecte l'avoine. Un terme alternatif dans des contextes non liés à la nomenclature biologique est la race physiologique (parfois également donnée comme race biologique, et dans ce contexte traitée comme synonyme de forme biologique), sauf que le nom d'une race est ajouté après le nom scientifique binomial (et peut être arbitraire, par exemple un code alphanumérique, généralement avec le mot "race"), par exemple "Podosphaera xanthii race S". Une forma specialis est utilisée dans le cadre du nom scientifique infraspécifique (et suit les conventions de dénomination scientifiques basées sur le latin), insérée après l'interpolation "f. sp.", Comme dans l'exemple "Puccinia graminis f. sp. Avenae".
Forma viva/Forma viva :
En Slovénie, une forma viva (du latin « forme vivante ») est une galerie de sculptures en plein air ou un musée situé dans un parc, présentant des sculptures contemporaines du monde entier. Il fait également référence à Forma Viva, un symposium annuel sur le thème de la sculpture. Les symposiums ont lieu chaque année à différents endroits en Slovénie. Les principaux sites sont à Portorož sur la péninsule de Seča (pour la pierre) et à Kostanjevica na Krki (pour le bois). Les autres sites sont Ravne na Koroškem (pour l'acier) et Maribor (pour le béton). Les symposiums sont les plus anciens actifs de leur genre au monde.
Formabilité/formabilité :
La formabilité est la capacité d'une pièce métallique donnée à subir une déformation plastique sans être endommagée. La capacité de déformation plastique des matériaux métalliques est cependant limitée dans une certaine mesure, à quel point le matériau peut subir une déchirure ou une fracture (casse). Les processus affectés par la formabilité d'un matériau comprennent : le laminage, l'extrusion, le forgeage, le profilage, l'estampage et l'hydroformage.
Formac Elektronik_GmbH/Formac Elektronik GmbH :
Formac est un fabricant européen de divers appareils PC. Formac est surtout connu pour sa gamme d'écrans TFT, ses produits de stockage de données de bureau et portables, ou historiquement pour ses cartes graphiques avancées et ses produits de conversion vidéo.
Formaciones de_Tepuyes_Natural_Monument/Formaciones de Tepuyes Natural Monument :
Le monument naturel Formaciones de Tepuyes également connu sous le nom de tepui (espagnol : Monumento Natural Formaciones de Tepuyes) Aussi Formaciones de Tepuyes est un espace naturel protégé depuis 1991, situé au Venezuela plus précisément dans les États d'Amazonas et de Bolívar. A ne pas confondre avec le parc national Canaima qui contient une partie des tepuyes. La superficie totale atteint 1 069 820 hectares de formations forestières où les formations montagneuses sont connues sous le nom de tepuy (tepui). Les tepuys sont des formations rocheuses avec des pics plats et des escarpements verticaux. Les Tepuys sont des formes résiduelles du Massif des Guayana, constituées de grès, de quartzites et de granites de l'ère pré-inca, avec des intrusions de roches diabriques. Des écosystèmes avec des espèces endémiques se sont développés à leurs sommets et sur leurs pentes. Dans l'état de Bolívar, il existe douze formations de tepuy protégées en tant que monument naturel, tandis que dans l'état d'Amazonas, treize ont été sélectionnées. Les critères de son choix ont été la configuration, la beauté des paysages et son abondante biodiversité. Dans l'état de Bolívar, Uei Tepuy (2 150 m), Kukenan Tepuy (2 650 m), Yuruani Tepuy (2 400 m), Karaurín Tepuy (2 500 m) et Ilú Tepuy (2 700 m). Les plus remarquables de l'état d'Amazonas sont le Cerro Yaví (2 300 m), le massif Parú Euaja (2 200 m) et le Cerro Tamacuari (2 300 m).
Formacja Nie%C5%BCywych_Schabuff/Formacja Nieżywych Schabuff :
Formacja Nieżywych Schabuff - Groupe pop polonais formé en 1985 à Częstochowa.
Formaela/Formaela :
Formaela ( grec : Φορμαέλα ) est un fromage à pâte dure produit exclusivement à Arachova , en Grèce . Il est célèbre dans toute la Grèce et est enregistré dans l'Union européenne en tant qu'appellation d'origine protégée depuis 1996. Le Formaela est préparé principalement à partir de lait de brebis ou de chèvre, a une coquille dure et cohésive et est de couleur jaune clair, sans trous. Il a un goût particulièrement piquant et se consomme généralement grillé ou frit. Sa composition chimique est la suivante : teneur maximale en humidité de 38 %, teneur minimale en matières grasses de 40 %.
Formaggio di_Fossa/Formaggio di Fossa :
Formaggio di Fossa (chesse de Pit en italien) est un fromage de Sogliano al Rubicone dans la région d'Émilie-Romagne en Italie. Le nom du fromage, qui signifie littéralement "fromage de la fosse", est dérivé du processus d'affinage du fromage dans des fosses spéciales creusées dans le tuf. Le fromage est actuellement produit dans les zones situées entre les vallées fluviales du Rubicon et du Marecchia. En 2009, le formaggio di fossa a obtenu le statut de Denominazione di Origine Protetta, l'équivalent italien de l'appellation d'origine protégée.
Formai de_Mut_dell%27Alta_Valle_Brembana/Formai de Mut dell'Alta Valle Brembana :
Formai de Mut dell'Alta Valle Brembana est un fromage italien préparé à partir de lait de vache cru originaire de Lombardie, en Italie. Il est préparé de la même manière que le fromage Fontina d'Aosta à Alta Valle Brembana dans les hauts pâturages et à Bergame, en Lombardie. On le trouve rarement en dehors de la Lombardie, et il est produit en "quantités très limitées". Il a été classé en appellation d'origine protégée en 1996.
Maison Formakin / Maison Formakin :
Formakin House est un manoir et un domaine du début du XXe siècle dans le Renfrewshire, en Écosse. Il est situé à 2 kilomètres (1,2 mi) au sud du Firth of Clyde et à 2,5 kilomètres (1,6 mi) à l'ouest de Bishopton. Formakin a été conçu par Robert Lorimer pour le riche homme d'affaires John Holms, bien que la maison principale n'ait jamais été achevée. Il a décliné au cours du XXe siècle, mais dans les années 1990, la restauration des bâtiments du domaine a été achevée. La maison est protégée en tant que bâtiment classé de catégorie A, et d'autres structures, y compris la porte d'entrée voûtée et les deux, sont classées de catégorie B. Les terrains sont inclus dans l'inventaire des jardins et des paysages conçus en Écosse, la liste nationale des jardins importants.
Formel/Formel :
Formel, formel, informel ou informel impliquent le respect ou le non-respect d'un ensemble d'exigences (formes, en grec ancien). Ils peuvent faire référence à :
Formelle (université)/Formelle (université) :
La salle formelle ou le repas formel est un repas organisé dans certaines des plus anciennes universités du Royaume-Uni et de la République d'Irlande (ainsi que dans certains autres pays du Commonwealth) au cours duquel les étudiants s'habillent généralement en tenue de soirée et souvent en robe pour dîner. Celles-ci se déroulent généralement dans les collèges et les salles d'Oxford, de Cambridge, de Dublin, de Durham, de St Andrews, de Bristol, de Londres, des universités australiennes de grès (Adélaïde, Melbourne, Queensland, Sydney, Tasmanie, Australie occidentale) et de Toronto. Dans un certain nombre d'universités en briques rouges, certaines salles telles que celles de Bristol, Leeds et Exeter pratiquent également des traditions similaires afin d'accroître l'interaction entre les universitaires et les étudiants et d'enrichir l'expérience d'apprentissage globale des étudiants. Les collèges de certaines universités australiennes en briques rouges, notamment l'Université nationale australienne, l'Université Monash, l'Université de la Nouvelle-Angleterre, l'Université de la Nouvelle-Galles du Sud et l'Université du sud du Queensland, organisent également des dîners formels en robe. La nature des «formels» varie considérablement entre les collèges et les salles qui les détiennent. Dans certains collèges, les formalités peuvent avoir lieu tous les soirs et ne sont qu'une deuxième séance de salle au cours de laquelle les robes sont portées et la grâce est lue. Dans d'autres collèges, les cérémonies peuvent être des événements spéciaux auxquels des invités extérieurs au collège sont fréquemment invités, souvent avec des thèmes et des ents ou «bops» associés. Entre ces deux extrêmes se situent la grande majorité des collèges.
Approches formelles_de_la_linguistique_slave/Approches formelles de la linguistique slave :
L'atelier annuel sur les approches formelles de la linguistique slave (souvent abrégé FASL) est l'une des conférences académiques internationales les plus réputées dans le domaine de la linguistique slave formelle. Chaque réunion est organisée par une université américaine ou canadienne en mai. Depuis le début jusqu'à FASL 27, les actes ont été publiés par Michigan Slavic Publications de l'Université du Michigan à Ann Arbor, MI. À partir de FASL 28, les actes sont publiés dans un numéro supplémentaire du Journal of Slavic Linguistics.
Aspects_formels_de_l'informatique/Aspects formels de l'informatique :
Formal Aspects of Computing (FAOC) est une revue scientifique à comité de lecture publiée par Springer Science+Business Media, couvrant le domaine des méthodes formelles et des sujets associés en informatique. Les rédacteurs en chef sont Jim Woodcock et Cliff Jones. La revue est associée au BCS-FACS, le British Computer Society Formal Aspects of Computing Science Specialist Group. Selon les Journal Citation Reports, la revue a un facteur d'impact de 1,170 en 2010.
Or formel/Or formel :
Formal Gold (née le 20 avril 1993 en Ontario) est un pur-sang canadien à la retraite qui a couru aux États-Unis. Il est célèbre pour avoir battu le champion du Temple de la renommée Skip Away lors de quatre de leurs six rencontres, avec des victoires majeures, notamment les Woodward Stakes, Donn Handicap et Philip H. Iselin Handicap. Il a couru trois des huit figures de vitesse Beyer les plus rapides des années 1990, ce qui lui a valu d'être reconnu comme l'un des meilleurs chevaux à n'avoir jamais remporté de championnat.
Invitation formelle/Invitation formelle :
"Formal Invite" est le deuxième single de l'album This Ain't a Game de Ray J. Il a culminé à la 35e place du classement des ventes de singles Hot R & B / Hip-Hop du magazine Billboard . Bobby Brown, Philly's Most Wanted, Tweet from Next et Derek Fisher des Los Angeles Lakers ont fait des apparitions dans la vidéo tournée pour la chanson.
Méthodes formelles_Europe/Méthodes formelles Europe :
Formal Methods Europe (FME) est une organisation dont le but est d'encourager la recherche et l'application de méthodes formelles pour l'amélioration des logiciels et du matériel dans les systèmes informatisés. Les membres de l'association sont issus du milieu universitaire et de l'industrie. Il est basé en Europe, mais a une portée internationale. FME est régie par le droit néerlandais. Les activités incluent ou ont inclus : Diffusion des résultats de la recherche et de l'expérience industrielle par le biais de conférences (tous les 18 mois) et d'événements sponsorisés ; Développement de ressources d'information pour les éducateurs; Mise en réseau pour les praticiens commerciaux par le biais de ForTIA (Formal Techniques Industry Association). Le président de FME est John Fitzgerald de l'Université de Newcastle upon Tyne, Royaume-Uni.
Public_Identifier formel/Identifiant public formel :
Un identifiant public formel (FPI) est un court extrait de texte spécialement formaté qui peut être utilisé pour identifier de manière unique un produit, une spécification ou un document. L'une de leurs utilisations les plus courantes est dans le cadre des définitions de type de document, mais elles sont également utilisées dans les formats vCard et iCalendar pour identifier le produit logiciel qui a généré des données. Plus récemment, les identificateurs de ressources uniformes (URI) et les identificateurs universels uniques (UUID) sont généralement utilisés pour identifier de manière unique les objets. Les FPI sont devenus un système hérité.
Sémantique formelle_à_Moscou/Sémantique formelle à Moscou :
Formal Semantics in Moscow (FSiM) est une conférence académique annuelle consacrée à la sémantique formelle et à la pragmatique du langage naturel.
Costume_national_thaï formel/Costume national thaïlandais formel :
Le costume national thaïlandais formel, connu en thaï sous le nom de ชุดไทยพระราชนิยม (RTGS : chut thai phra ratcha niyom, littéralement « robe thaïlandaise de l'approbation royale »), comprend plusieurs ensembles de vêtements, ou chut thai, conçus pour être utilisés comme costume national lors d'occasions formelles. Bien que décrits et destinés à être utilisés comme costume national, ils sont d'origine relativement moderne, ayant été conçus dans la seconde moitié du XXe siècle.
Guerres formelles/Guerres formelles :
Formal Wars est une série de télé-réalité australienne produite par Matchbox Productions qui a été créée sur le Seven Network le 25 juillet 2013. Dans chaque épisode, deux lycéens cèdent le contrôle de leur école à leurs parents. La série est animée par Melanie Vallejo.
Formal act_of_defection_from_the_Catholic_Church/Acte formel de défection de l'Église catholique :
Un acte formel de défection de l'Église catholique ( latin : actus formalis defectionis ab Ecclesia catholica ) était un acte juridique prouvable de l'extérieur de l'Église catholique , qui a été reconnu de 1983 à 2010 dans le Code de droit canonique comme ayant certains effets juridiques énumérées dans les canons 1086, 1117 et 1124. Le concept d'acte de défection « formel » était plus étroit que celui de défection « notoire » (publiquement connue) reconnu dans le Code de droit canonique de 1917 et encore plus étroit que le concept d'acte « de facto ». « défection. En 2006, le Conseil pontifical pour les textes législatifs a précisé en quoi consistait un acte formel de défection de l'Église catholique. Malgré la perception populaire, cet acte ne constituait pas une sortie de l'Église catholique et ne faisait pas d'un individu un ancien catholique. En 2009, après Omnium in mentem, toute mention d'un acte formel de défection de l'Église catholique et des effets juridiques qui en découlent a été supprimée du Code.
Droits_formels et_effectifs/Droits formels et effectifs :
Les droits formels et effectifs renvoient à la distinction entre les droits théoriques du légalisme et les droits mesurables au sein des politiques mises en œuvre. On soutient que l'écart entre les deux concepts découle des difficultés à concrétiser les concepts théoriques en droits effectifs gérables. En outre, bien qu'il existe un plus grand consensus concernant les droits formels, dû en partie à des motifs diplomatiques, le processus de mise en œuvre proprement dit est beaucoup plus complexe.
Principes_formels_et_matériels_de_la_théologie/Principes formels et matériels de la théologie :
Le principe formel et le principe matériel sont deux catégories dans la théologie chrétienne pour identifier et distinguer la source faisant autorité de la théologie (principe formel) de la théologie elle-même, en particulier la doctrine centrale de cette théologie (principe matériel), d'une religion, d'un mouvement religieux, d'une tradition, corps, dénomination ou organisation. Un principe formel tend à être des textes ou des dirigeants vénérés de la religion, tandis qu'un principe matériel est son enseignement central. Paul Tillich croyait que l'identification et l'application de cette paire de catégories dans la pensée théologique provenaient du XIXe siècle. Dès 1845, le théologien et historien protestant Philip Schaff en parlait dans son Principe du protestantisme. Ils ont été utilisés par le savant luthérien FE Mayer dans ses The Religious Bodies of America afin de faciliter une étude comparative de la foi et de la pratique des dénominations chrétiennes aux États-Unis. Ceci est également traité dans une brochure théologique intitulée Évangile et Écriture par la Commission sur la théologie et les relations ecclésiales de l'Église luthérienne - Synode du Missouri.
Solde formel/Solde formel :
L'équilibre formel, également appelé équilibre symétrique, est un concept de composition esthétique impliquant un poids et une importance égaux des deux côtés d'une composition.
Bal formel/Bal formel :
En topologie, une boule formelle est une extension de la notion de boule pour permettre un rayon illimité et négatif. Le concept de balle formelle a été introduit par Weihrauch et Schreiber en 1981 et le cas du rayon négatif (la balle formelle généralisée) par Tsuiki et Hattori en 2008. Plus précisément, si ( X , ré ) {\ displaystyle (X, d)} est un l'espace métrique et R + {\displaystyle \mathbb {R} ^{+}} les nombres réels non négatifs, puis un élément de B + ( X , ré ) = X × R + {\displaystyle B^{+}(X, d)=X\times \mathbb {R} ^{+}} est une boule formelle. Les éléments de B ( X , ré ) = X × R {\displaystyle B(X,d)=X\times \mathbb {R}} sont appelés boules formelles généralisées. Les boules formelles possèdent un ordre partiel ≤ {\displaystyle \leq } défini par ( X , r ) ≤ ( y , s ) {\displaystyle (x,r)\leq (y,s)} if d ( X , y ) ≤ r - s {\ displaystyle d (x, y) \ leq rs} , identique à celui défini par l'inclusion d'ensemble. Les boules formelles généralisées sont intéressantes car cet ordre partiel fonctionne aussi bien pour B + ( X , d ) {\displaystyle B^{+}(X, d)} , même si une boule formelle généralisée de rayon négatif ne correspond pas à un sous-ensemble de X {\displaystyle X} . Les boules formelles possèdent la topologie de Lawson et la topologie de Martin.
Calcul formel/Calcul formel :
En logique mathématique, un calcul formel, ou opération formelle, est un calcul systématique mais sans justification rigoureuse. Cela implique de manipuler des symboles dans une expression en utilisant une substitution générique sans prouver que les conditions nécessaires sont remplies. Essentiellement, cela implique la forme d'une expression sans tenir compte de sa signification sous-jacente. Ce raisonnement peut soit servir de preuve positive qu'une affirmation est vraie lorsqu'il est difficile ou inutile de fournir une preuve, soit d'inspiration pour la création de nouvelles définitions (complètement rigoureuses). Cependant, cette interprétation du terme formel n'est pas universellement acceptée, et certains considèrent qu'elle signifie tout à fait le contraire : un argument complètement rigoureux, comme dans la logique mathématique formelle.
Cas formel/Cas formel :
Le cas formel est un cas grammatical qui transmet le sens de faire d'une condition une qualité. Il peut être trouvé dans la langue hongroise, plus communément appelée cas essif-formel.
Inculpation formelle/Inculpation formelle :
En chimie, une charge formelle (FC ou q), du point de vue covalent de la liaison chimique, est la charge attribuée à un atome dans une molécule, en supposant que les électrons de toutes les liaisons chimiques sont partagés également entre les atomes, quelle que soit l'électronégativité relative. En termes simples, la charge formelle est la différence entre le nombre d'électrons de valence d'un atome dans un état libre neutre et le nombre attribué à cet atome dans une structure de Lewis. Lors de la détermination de la meilleure structure de Lewis (ou structure de résonance prédominante) pour une molécule, la structure est choisie de telle sorte que la charge formelle sur chacun des atomes soit aussi proche de zéro que possible. La charge formelle de tout atome dans une molécule peut être calculée par l'équation suivante : où F est la charge formelle ; V est le nombre d'électrons de valence de l'atome neutre isolément (dans son état fondamental) ; L est le nombre d'électrons de valence non liés sur cet atome dans la molécule ; et B est le nombre total d'électrons partagés dans des liaisons avec d'autres atomes de la molécule.
Analyse_de_concept_formelle/Analyse de concept formelle :
En science de l'information, l'analyse de concept formelle (FCA) est une manière raisonnée de dériver une hiérarchie de concept ou une ontologie formelle à partir d'une collection d'objets et de leurs propriétés. Chaque concept de la hiérarchie représente les objets partageant un ensemble de propriétés ; et chaque sous-concept dans la hiérarchie représente un sous-ensemble des objets (ainsi qu'un sur-ensemble des propriétés) dans les concepts au-dessus de lui. Le terme a été introduit par Rudolf Wille en 1981 et s'appuie sur la théorie mathématique des treillis et des ensembles ordonnés qui a été développée par Garrett Birkhoff et d'autres dans les années 1930. L'analyse de concept formelle trouve une application pratique dans des domaines tels que l'exploration de données, l'exploration de texte, l'apprentissage automatique, la gestion des connaissances, le Web sémantique, le développement de logiciels, la chimie et la biologie.
Consensus formel/Consensus formel :
Le consensus formel fait référence à une structure organisationnelle spécifique qui formalise à la fois les relations entre les membres d'une organisation et les processus par lesquels ils interagissent pour créer un environnement dans lequel la prise de décision par consensus peut se produire de manière spécifique, cohérente et efficace. Bien qu'il existe de nombreuses techniques de prise de décision par consensus, le consensus formel met l'accent sur le concept selon lequel le processus particulier par lequel une décision est prise est tout aussi important pour obtenir un consensus que le contenu de toute proposition ou discussion.
Contrat formel/Contrat formel :
Un contrat formel est un contrat où les parties ont signé sous scellés, tandis qu'un contrat informel est un contrat non scellé. Un sceau peut être toute impression faite sur le document par les parties au contrat. Cela se faisait traditionnellement dans de la cire indiquant les intentions des parties d'être liées par le contrat. Seules les parties à un document scellé sont les personnes qui ont des droits en vertu de celui-ci, ainsi seules les personnes parties au contrat peuvent être tenues responsables. Selon Harvey Boller, professeur JD de droit à l'Université Loyola, environ 100 % des contrats sont aujourd'hui des contrats informels. La légitimité d'un contrat, cependant, ne dépend pas du fait qu'un contrat soit formel ou informel. Les deux sont considérés comme contraignants, étant donné que tous les autres éléments d'un contrat existent. Dans lequel les deux parties conviennent de se conformer chacune aux souhaits de l'autre jusqu'à une certaine limite. Habituellement, le contrat est formé par une autorité supérieure, comme un gouvernement ou une société. La douzième édition de Business Law: Text Cases (Clarkson, Miller & Cross), indique que les contrats formels sont des "contrats qui nécessitent une forme ou une méthode de création spéciale pour être exécutoires". Il utilise des instruments négociables comme exemple de contrats formels, tels que : chèques, traites, billets à ordre et certificats de dépôt. Ces exemples sont tous tenus d'avoir une formation spéciale en vertu du Code de commerce uniforme.
Critères formels_pour_foncteurs_adjoints/Critères formels pour les foncteurs adjoints :
En théorie des catégories , une branche des mathématiques , les critères formels des foncteurs adjoints sont des critères d'existence d'un adjoint gauche ou droit d'un foncteur donné. Un critère est le suivant, qui est apparu pour la première fois dans le livre de Peter J. Freyd en 1964, Abelian Categories, an Introduction to the Theory of Functors : Un autre critère est :
Dérivé formel/Dérivé formel :
En mathématiques , la dérivée formelle est une opération sur les éléments d'un anneau polynomial ou d'un anneau de séries de puissance formelles qui imite la forme de la dérivée du calcul . Bien qu'elles paraissent similaires, l'avantage algébrique d'une dérivée formelle est qu'elle ne repose pas sur la notion de limite, qui est en général impossible à définir pour un anneau. De nombreuses propriétés de la dérivée sont vraies de la dérivée formelle, mais certaines, en particulier celles qui font des déclarations numériques, ne le sont pas. La différenciation formelle est utilisée en algèbre pour tester les racines multiples d'un polynôme.
Distinction formelle/Distinction formelle :
Dans la métaphysique scolastique, une distinction formelle est une distinction intermédiaire entre ce qui est simplement conceptuel et ce qui est entièrement réel ou indépendant de l'esprit - une distinction logique. Elle a été faite par certains philosophes réalistes de la période scolastique au XIIIe siècle, et notamment par Duns Scot.
Épistémologie formelle/Épistémologie formelle :
L'épistémologie formelle utilise des méthodes formelles de la théorie de la décision, de la logique, de la théorie des probabilités et de la théorie de la calculabilité pour modéliser et raisonner sur des questions d'intérêt épistémologique. Les travaux dans ce domaine couvrent plusieurs domaines universitaires, notamment la philosophie, l'informatique, l'économie et les statistiques. L'épistémologie formelle a eu tendance à différer quelque peu de celle de l'épistémologie traditionnelle, des sujets tels que l'incertitude, l'induction et la révision des croyances attirant plus d'attention que l'analyse des connaissances, le scepticisme et les problèmes de justification.
Vérification_d'équivalence formelle/Vérification d'équivalence formelle :
Le processus de vérification d'équivalence formelle fait partie de l'automatisation de la conception électronique (EDA), couramment utilisé lors du développement de circuits intégrés numériques, pour prouver formellement que deux représentations d'une conception de circuit présentent exactement le même comportement.
Éthique formelle/Éthique formelle :
L'éthique formelle est un système logique formel pour décrire et évaluer la « forme » par opposition au « contenu » des principes éthiques. L'éthique formelle a été introduite par Harry J. Gensler, en partie dans son manuel de logique de 1990 Symbolic Logic: Classical and Advanced Systems, mais a été plus complètement développée et justifiée dans son livre de 1996 Formal Ethics. L'éthique formelle est liée au formalisme éthique en ce sens qu'elle se concentre sur les formes de jugements moraux, mais l'exposé dans l'éthique formelle montre clairement que Gensler, contrairement aux formalistes éthiques précédents, ne considère pas l'éthique formelle comme une théorie éthique complète (de sorte que le forme correcte serait nécessaire et suffisante pour qu'un principe éthique soit "correct"). En fait, les théorèmes de l'éthique formelle pourraient être considérés comme le plus grand sous-ensemble commun des théories éthiques les plus largement reconnues, en ce sens qu'aucun de ses axiomes (à l'exception possible de la rationalité) n'est controversé parmi les philosophes de l'éthique.
Erreur formelle/Erreur formelle :
En philosophie, un sophisme formel, un sophisme déductif, un sophisme logique ou non sequitur (; latin pour "[cela] ne suit pas") est un modèle de raisonnement rendu invalide par un défaut dans sa structure logique qui peut être clairement exprimé dans une norme système logique, par exemple la logique propositionnelle. Il est défini comme un argument déductif invalide. L'argument lui-même pourrait avoir de vraies prémisses, mais avoir toujours une fausse conclusion. Ainsi, une erreur formelle est une erreur où la déduction tourne mal et n'est plus un processus logique. Cela peut ne pas affecter la vérité de la conclusion, puisque la validité et la vérité sont séparées dans la logique formelle. Alors qu'un argument logique est un non sequitur si, et seulement si, il est invalide, le terme "non sequitur" se réfère généralement à ces types d'arguments invalides qui ne constituent pas des erreurs formelles couvertes par des termes particuliers (par exemple, affirmer le conséquent). En d'autres termes, dans la pratique, "non sequitur" fait référence à une erreur formelle sans nom. Un cas particulier est une erreur mathématique, une preuve mathématique intentionnellement invalide, souvent avec l'erreur subtile et en quelque sorte cachée. Les erreurs mathématiques sont généralement conçues et exposées à des fins éducatives, prenant généralement la forme de fausses preuves de contradictions évidentes. Un sophisme formel est mis en contraste avec un sophisme informel qui peut avoir une forme logique valide et pourtant être erroné parce qu'une ou plusieurs prémisses sont fausses. Une erreur formelle, cependant, peut avoir une vraie prémisse, mais une fausse conclusion.
Jardin à la française/Jardin à la française :
Un jardin à la française est un jardin avec une structure claire, des formes géométriques et dans la plupart des cas une disposition symétrique. Son origine remonte aux jardins situés dans les zones désertiques d'Asie occidentale et protégés par des murs. Le style d'un jardin à la française se reflète dans les jardins persans d'Iran et les jardins monastiques de la fin du Moyen Âge. Il a trouvé son prolongement dans les jardins de la Renaissance italienne et a culminé dans les jardins à la française de l'époque baroque. Par sa conception, le jardin transmet à l'observateur une impression d'ordre établi et de transparence. Dans la conception des jardins, le jardin à la française est considéré comme l'opposé du jardin paysager, qui suit la nature et qui est devenu à la mode au XVIIIe siècle.
Grammaire formelle/Grammaire formelle :
Dans la théorie formelle du langage, une grammaire (lorsque le contexte n'est pas donné, souvent appelée grammaire formelle pour plus de clarté) décrit comment former des chaînes à partir de l'alphabet d'une langue qui sont valides selon la syntaxe de la langue. Une grammaire ne décrit pas la signification des chaînes ou ce qui peut être fait avec elles dans n'importe quel contexte, seulement leur forme. Une grammaire formelle est définie comme un ensemble de règles de production pour de telles chaînes dans un langage formel. La théorie du langage formel, la discipline qui étudie les grammaires formelles et les langues, est une branche des mathématiques appliquées. Ses applications se trouvent dans l'informatique théorique, la linguistique théorique, la sémantique formelle, la logique mathématique et d'autres domaines. Une grammaire formelle est un ensemble de règles de réécriture de chaînes, ainsi qu'un "symbole de début" à partir duquel la réécriture commence. Par conséquent, une grammaire est généralement considérée comme un générateur de langage. Cependant, il peut aussi parfois être utilisé comme base pour un "recognizer" - une fonction informatique qui détermine si une chaîne donnée appartient à la langue ou est grammaticalement incorrecte. Pour décrire de tels reconnaisseurs, la théorie du langage formel utilise des formalismes séparés, connus sous le nom de théorie des automates. L'un des résultats intéressants de la théorie des automates est qu'il n'est pas possible de concevoir un système de reconnaissance pour certains langages formels. L'analyse syntaxique est le processus de reconnaissance d'un énoncé (une chaîne dans les langues naturelles) en le décomposant en un ensemble de symboles et en analysant chaque un contre la grammaire de la langue. La plupart des langues ont les significations de leurs énoncés structurées en fonction de leur syntaxe - une pratique connue sous le nom de sémantique compositionnelle. Par conséquent, la première étape pour décrire le sens d'un énoncé dans le langage consiste à le décomposer partie par partie et à examiner sa forme analysée (appelée arbre d'analyse en informatique et structure profonde en grammaire générative).
loi_de_groupe_formelle/loi de groupe formelle :
En mathématiques, une loi de groupe formelle est (en gros) une série de puissances formelles se comportant comme si elle était le produit d'un groupe de Lie. Ils ont été introduits par S. Bochner (1946). Le terme groupe formel signifie parfois la même chose que la loi de groupe formelle et signifie parfois l'une de plusieurs généralisations. Les groupes formels sont intermédiaires entre les groupes de Lie (ou groupes algébriques) et les algèbres de Lie. Ils sont utilisés en théorie algébrique des nombres et en topologie algébrique.
Fonction_holomorphe formelle/Fonction holomorphe formelle :
En géométrie algébrique , une fonction holomorphe formelle le long d'une sous-variété V d'une variété algébrique W est un analogue algébrique d'une fonction holomorphe définie dans un voisinage de V . Elles sont parfois simplement appelées fonctions holomorphes lorsqu'aucune confusion ne peut survenir. Ils ont été introduits par Oscar Zariski (1949, 1951). La théorie des fonctions holomorphes formelles a été largement remplacée par la théorie des schémas formels qui la généralise : une fonction holomorphe formelle sur une variété n'est essentiellement qu'une section du faisceau de structure d'un schéma formel apparenté.
Langage formel/Langage formel :
En logique, en mathématiques, en informatique et en linguistique, un langage formel est constitué de mots dont les lettres sont extraites d'un alphabet et bien formées selon un ensemble de règles spécifiques. L'alphabet d'un langage formel se compose de symboles, de lettres ou de jetons qui s'enchaînent en chaînes du langage. Chaque chaîne concaténée à partir de symboles de cet alphabet est appelée un mot, et les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées. Un langage formel est souvent défini au moyen d'une grammaire formelle telle qu'une grammaire régulière ou une grammaire hors-contexte, qui se compose de ses règles de formation. En informatique, les langages formels sont utilisés entre autres comme base pour définir la grammaire des langages de programmation et des versions formalisées de sous-ensembles de langages naturels dans lesquels les mots du langage représentent des concepts associés à des significations ou à une sémantique particulières. Dans la théorie de la complexité computationnelle, les problèmes de décision sont généralement définis comme des langages formels, et les classes de complexité sont définies comme les ensembles de langages formels qui peuvent être analysés par des machines ayant une puissance de calcul limitée. Dans la logique et les fondements des mathématiques, les langages formels sont utilisés pour représenter la syntaxe des systèmes axiomatiques, et le formalisme mathématique est la philosophie selon laquelle toutes les mathématiques peuvent être réduites à la manipulation syntaxique des langages formels de cette manière. Le domaine de la théorie des langages formels étudie principalement les aspects purement syntaxiques de ces langages, c'est-à-dire leurs modèles structurels internes. La théorie du langage formel est née de la linguistique, comme un moyen de comprendre les régularités syntaxiques des langues naturelles.
Linguistique formelle/Linguistique formelle :
La linguistique formelle est la branche de la linguistique qui utilise des méthodes mathématiques appliquées pour l'analyse des langues naturelles. Ces méthodes comprennent les langages formels, les grammaires formelles et les expressions logiques du premier ordre. La linguistique formelle constitue également la base de la linguistique computationnelle. Depuis les années 1980, le terme est souvent utilisé pour désigner la linguistique chomskyenne.
Variété formelle / Variété formelle :
En géométrie et topologie , une variété formelle peut signifier l'un d'un certain nombre de concepts connexes: au sens de Dennis Sullivan , une variété formelle est celle dont le type d'homotopie réel est une conséquence formelle de son anneau de cohomologie réel ; algébro-topologiquement cela signifie en particulier que tous les produits de Massey disparaissent. Une notion plus forte est une variété géométriquement formelle , une variété sur laquelle tous les produits en coin de formes harmoniques sont harmoniques.
Méthodes formelles/Méthodes formelles :
En informatique, les méthodes formelles sont des techniques mathématiquement rigoureuses pour la spécification, le développement et la vérification de systèmes logiciels et matériels. L'utilisation de méthodes formelles pour la conception de logiciels et de matériel est motivée par l'attente que, comme dans d'autres disciplines d'ingénierie, la réalisation d'une analyse mathématique appropriée peut contribuer à la fiabilité et à la robustesse d'une conception. Les méthodes formelles emploient une variété de principes fondamentaux de l'informatique théorique, y compris calculs logiques, langages formels, théorie des automates, théorie du contrôle, sémantique des programmes, systèmes de types et théorie des types.
Modules formels/Modules formels :
En mathématiques, les modules formels sont un aspect de la théorie des espaces de modules (des variétés algébriques ou des fibrés vectoriels, par exemple), étroitement liée à la théorie des déformations et à la géométrie formelle. En gros, la théorie des déformations peut fournir le niveau polynomial de Taylor d'informations sur les déformations, tandis que la théorie des modules formels peut assembler des polynômes de Taylor cohérents pour créer une théorie formelle des séries de puissance. Le pas vers les espaces de modules, à proprement parler, est une question d'algébrisation, et a été largement posé sur une base solide par le théorème d'approximation d'Artin. Une déformation formelle universelle est par définition un schéma formel sur un anneau local complet, avec une fibre spéciale le schéma sur un domaine étudié, et avec une propriété universelle parmi de tels montages. L'anneau local considéré est alors porteur des modules formels.
Ontologie formelle/ontologie formelle :
En philosophie, le terme ontologie formelle est utilisé pour désigner une ontologie définie par des axiomes dans un langage formel dans le but de fournir une vision impartiale (indépendante du domaine et de l'application) de la réalité, ce qui peut aider le modélisateur de domaine ou d'application. -ontologies spécifiques (science de l'information) pour éviter les hypothèses ontologiques éventuellement erronées rencontrées dans la modélisation d'ontologies à grande échelle. En maintenant une vision indépendante de la réalité, une ontologie formelle (de niveau supérieur) acquiert les propriétés suivantes : extensibilité indéfinie : l'ontologie reste cohérente avec l'augmentation du contenu. indépendance du contenu et du contexte : tout type de « concept » peut trouver sa place. accepter différents niveaux de granularité.
Opération formelle/Opération formelle :
Le terme opération formelle peut désigner : la période opératoire formelle dans la théorie du développement cognitif de Piaget. un calcul formel en logique mathématique.
Organisation formelle/Organisation formelle :
Une organisation formelle est une organisation avec un ensemble fixe de règles de procédures et de structures intra-organisationnelles. En tant que tel, il est généralement établi par écrit, avec un langage de règles qui laisse ostensiblement peu de latitude pour l'interprétation. Le sociologue Max Weber a conçu un modèle d'organisation formelle connu sous le nom de modèle bureaucratique qui repose sur la rationalisation des activités par des normes et des procédures. C'est l'un des modèles d'organisation formelle les plus appliqués. Dans certaines sociétés et dans certaines organisations, ces règles peuvent être strictement suivies; dans d'autres, ils peuvent n'être guère plus qu'un formalisme vide de sens. Pour faciliter l'accomplissement des objectifs de l'organisation : Dans une organisation formelle, le travail est délégué à chaque individu de l'organisation. Il travaille à l'atteinte d'objectifs précis, conformes aux objectifs de l'organisation. Pour faciliter la coordination des diverses activités : L'autorité, la responsabilité et l'imputabilité des individus dans l'organisation sont très bien définies. Par conséquent, faciliter la coordination des diverses activités de l'organisation de manière très efficace. Pour faciliter l'établissement d'une relation d'autorité logique : Les responsabilités des individus dans l'organisation sont bien définies. Ils ont une place définie dans l'organisation en raison d'une structure hiérarchique bien définie inhérente à toute organisation formelle. Permettre l'application du concept de spécialisation et de division du travail. La division du travail entre les individus en fonction de leurs capacités contribue à une plus grande spécialisation et à une division du travail. Créer plus de cohésion de groupe.
Série_puissance formelle/Série puissance formelle :
En mathématiques, une série formelle est une somme infinie qui est considérée indépendamment de toute notion de convergence, et peut être manipulée avec les opérations algébriques usuelles sur les séries (addition, soustraction, multiplication, division, sommes partielles, etc.). Une série de puissances formelles est un type spécial de séries formelles, dont les termes sont de la forme où x n {\displaystyle ax^{n}} est la n {\displaystyle n} ème puissance de une variable x {\displaystyle x} ( n {\displaystyle n} est un entier non négatif), et un {\displaystyle a} est appelé le coefficient. Par conséquent, les séries de puissance peuvent être considérées comme une généralisation de polynômes, où le nombre de termes est autorisé à être infini, sans exigence de convergence. Ainsi, la série ne peut plus représenter une fonction de sa variable, simplement une séquence formelle de coefficients, contrairement à une série puissance, qui définit une fonction en prenant des valeurs numériques pour la variable dans un rayon de convergence. Dans une série de puissance formelle, les x n {\displaystyle x^{n}} ne sont utilisés que comme détenteurs de position pour les coefficients, de sorte que le coefficient de x 5 {\displaystyle x^{5}} est le cinquième terme de la séquence. En combinatoire, la méthode de génération de fonctions utilise des séries de puissance formelles pour représenter des séquences numériques et des multi-ensembles, permettant par exemple des expressions concises pour des séquences définies de manière récursive, que la récursivité puisse être explicitement résolue ou non. Plus généralement, les séries de puissance formelles peuvent inclure des séries avec n'importe quel nombre fini (ou dénombrable) de variables et avec des coefficients dans un anneau arbitraire. Les anneaux de séries formelles de puissance sont des anneaux locaux complets, ce qui permet d'utiliser des méthodes de type calcul dans le cadre purement algébrique de la géométrie algébrique et de l'algèbre commutative. Ils sont analogues à bien des égards aux entiers p-adiques, qui peuvent être définis comme des séries formelles des puissances de p.
Preuve formelle/Preuve formelle :
En logique et en mathématiques, une preuve ou dérivation formelle est une séquence finie de phrases (appelées formules bien formées dans le cas d'un langage formel), dont chacune est un axiome, une hypothèse ou découle des phrases précédentes dans la séquence par une règle d'inférence. Il diffère d'un argument en langage naturel en ce qu'il est rigoureux, sans ambiguïté et mécaniquement vérifiable. Si l'ensemble des hypothèses est vide, alors la dernière phrase d'une preuve formelle est appelée un théorème du système formel. La notion de théorème n'est pas efficace en général, donc il peut n'y avoir aucune méthode par laquelle nous pouvons toujours trouver une preuve d'une phrase donnée ou déterminer qu'il n'en existe pas. Les concepts de preuve de style Fitch, de calcul séquentiel et de déduction naturelle sont des généralisations du concept de preuve. Le théorème est une conséquence syntaxique de toutes les formules bien formées qui le précèdent dans la preuve. Pour qu'une formule bien formée soit considérée comme faisant partie d'une preuve, elle doit être le résultat de l'application d'une règle de l'appareil déductif (d'un système formel) aux formules bien formées précédentes dans la séquence de preuve. Les preuves formelles sont souvent construites à l'aide d'ordinateurs dans la démonstration interactive de théorèmes (par exemple, grâce à l'utilisation d'un vérificateur de preuves et d'un prouveur de théorèmes automatisé). De manière significative, ces preuves peuvent être vérifiées automatiquement, également par ordinateur. La vérification des preuves formelles est généralement simple, tandis que le problème de la recherche de preuves (preuve de théorème automatisée) est généralement insoluble par calcul et / ou seulement semi-décidable, selon le système formel utilisé.
Schéma formel/Schéma formel :
En mathématiques, en particulier en géométrie algébrique, un schéma formel est un type d'espace qui comprend des données sur son environnement. Contrairement à un schéma ordinaire, un schéma formel comprend des données infinitésimales qui, en fait, pointent dans une direction hors du schéma. Pour cette raison, les schémas formels apparaissent fréquemment dans des sujets tels que la théorie de la déformation. Mais le concept sert aussi à prouver un théorème tel que le théorème sur les fonctions formelles, qui sert à déduire des théorèmes d'intérêt pour les schémas usuels. Un schème localement noethérien est un schème formel localement noethérien au sens canonique : la complétion formelle le long de lui-même. En d'autres termes, la catégorie des schémas formels localement noethériens contient tous les schémas localement noethériens. Les schémas formels ont été motivés par et généralisent la théorie de Zariski des fonctions holomorphes formelles. La géométrie algébrique basée sur des schémas formels est appelée géométrie algébrique formelle.
Sciences formelles/Sciences formelles :
La science formelle est une branche de la science qui étudie les disciplines concernées par les structures abstraites décrites par les systèmes formels, telles que la logique, les mathématiques, les statistiques, l'informatique théorique, l'intelligence artificielle, la théorie de l'information, la théorie des jeux, la théorie des systèmes, la théorie de la décision et la linguistique théorique. Alors que les sciences naturelles et les sciences sociales cherchent à caractériser respectivement les systèmes physiques et les systèmes sociaux à l'aide de méthodes empiriques, les sciences formelles utilisent des outils langagiers concernés par la caractérisation des structures abstraites décrites par les systèmes formels. Les sciences formelles aident les sciences naturelles et sociales en fournissant des informations sur les structures utilisées pour décrire le monde physique et sur les déductions qui peuvent être faites à leur sujet.
Sémantique formelle/Sémantique formelle :
La sémantique formelle peut désigner : La sémantique formelle (langage naturel), l'étude du sens dans les langues naturelles d'un point de vue formel La sémantique formelle ou sémantique de la logique, l'étude des interprétations des langues naturelles formelles, généralement la notion d'implication La sémantique formelle ou sémantique (informatique), l'étude mathématique rigoureuse de la signification des langages de programmation
Sémantique formelle_(langage_naturel)/Sémantique formelle (langage naturel) :
La sémantique formelle est l'étude de la signification grammaticale dans les langues naturelles à l'aide d'outils formels issus de la logique et de l'informatique théorique. C'est un domaine interdisciplinaire, parfois considéré comme un sous-domaine à la fois de la linguistique et de la philosophie du langage. Il explique ce que signifient les expressions linguistiques et comment leurs significations sont composées à partir des significations de leurs parties. L'entreprise de la sémantique formelle peut être considérée comme celle de la rétro-ingénierie des composants sémantiques des grammaires des langues naturelles.
Sociologie formelle/Sociologie formelle :
La sociologie formelle est une approche scientifique de la sociologie développée par Georg Simmel et Leopold von Wiese. Dans ses études, Simmel s'est davantage concentré sur les formes d'interactions sociales que sur le contenu. C'est pourquoi son approche de la sociologie a été qualifiée de sociologie formelle. En sociologie formelle, un concept formel peut être appliqué pour comprendre divers événements. Du point de vue de Simmel, une forme de phénomène social est toujours associée à de nombreux événements formels. L'objectif de la sociologie formelle est de révéler que si le processus d'interaction sociale peut être très complexe, les formes sociales de ces interactions peuvent être isolées et peuvent même se trouver identiques.
Spécification formelle/Spécification formelle :
En informatique, les spécifications formelles sont des techniques basées sur les mathématiques dont le but est d'aider à la mise en œuvre de systèmes et de logiciels. Ils sont utilisés pour décrire un système, pour analyser son comportement et pour aider à sa conception en vérifiant les propriétés clés d'intérêt grâce à des outils de raisonnement rigoureux et efficaces. Ces spécifications sont formelles en ce sens qu'elles ont une syntaxe, que leur sémantique relève d'un domaine et qu'elles peuvent être utilisées pour déduire des informations utiles.
Somme formelle/Somme formelle :
En mathématiques, une somme formelle, une série formelle ou une combinaison linéaire formelle peut être : En théorie des groupes, un élément d'un groupe abélien libre, une somme d'un nombre fini d'éléments d'un ensemble de base donné multiplié par des coefficients entiers. En algèbre linéaire, un élément d'un espace vectoriel, une somme d'un nombre fini d'éléments d'un ensemble de base donné multiplié par des coefficients réels, complexes ou autres. Dans l'étude des séries (mathématiques), somme d'une séquence infinie de nombres ou d'autres quantités, considérée comme un objet mathématique abstrait, que la somme converge ou non. Dans l'étude des séries de puissance , une somme d'une infinité de monômes avec des exposants entiers positifs distincts, à nouveau considérée comme un objet abstrait indépendamment de la convergence.
Système formel/Système formel :
Un système formel est une structure abstraite utilisée pour inférer des théorèmes à partir d'axiomes selon un ensemble de règles. Ces règles, qui sont utilisées pour effectuer l'inférence des théorèmes à partir des axiomes, sont le calcul logique du système formel. Un système formel est essentiellement un « système axiomatique ». En 1921, David Hilbert a proposé d'utiliser un tel système comme fondement de la connaissance en mathématiques. Un système formel peut représenter un système bien défini de pensée abstraite. Le terme formalisme est parfois un synonyme approximatif de système formel, mais il fait également référence à un style de notation donné, par exemple la notation bra–ket de Paul Dirac.
Théorie formelle/Théorie formelle :
La théorie formelle peut faire référence à : Un autre nom pour une théorie exprimée en langage formel Un système axiomatique, quelque chose de représentable par des symboles et ses opérateurs Un système formel La théorie formelle (science politique), la modélisation théorique des systèmes sociaux basée sur la théorie des jeux et la théorie du choix, entre autres domaines interdisciplinaires
Réunion_trilogue_formelle/Réunion de trilogue formelle :
Une réunion de trilogue formelle, plus communément appelée trilogue, est un type de réunion utilisé dans le processus législatif de l'Union européenne (UE). Il tire son nom d'une forme littéraire, le trilogue, qui signifie une conversation à trois. Les négociations en trilogue ne sont pas prévues dans les traités de l'UE. Ils sont utilisés si le Conseil de l'Union européenne n'accepte pas les amendements proposés par le Parlement européen en deuxième lecture. Dans ce cas, des négociations formelles en trilogue sont menées dans le cadre d'un comité de conciliation. Un trilogue est compris comme une réunion tripartite également composite entre les acteurs impliqués dans le processus législatif des institutions de l'UE. Ces organes sont la Commission européenne (CE), le Conseil de l'Union européenne et le Parlement européen. La Commission européenne assume la fonction de médiation. Les critiques soutiennent que le recours aux trilogues est préjudiciable à la transparence du processus législatif. Ils pensent que la CE utilise ce processus pour contourner la transparence publique et l'opposition supposée que la législation proposée provoquerait. Une fois que le comité de conciliation s'est mis d'accord sur un texte, ni le Parlement ni le Conseil ne peuvent le modifier, bien que lors de leur vote final respectif (troisième lecture), ils puissent rejeter l'ensemble du texte.
Pantalon formel/pantalon formel :
Les pantalons formels , également connus sous le nom de pantalons formels à rayures ou familièrement pantalons éponge , sont des pantalons formels gris à rayures ou à motifs pour une tenue de jour dans le code vestimentaire traditionnel occidental , principalement associés à la robe formelle du matin ou deuxièmement à son costume de salon noir équivalent semi-formel . Traditionnellement fabriqué à partir de laine épaisse allant du peigné, du melton au sergé partiel, le motif est le plus souvent d'un design discret en rayures noires, argentées, blanches et gris anthracite dans diverses combinaisons (à ne pas confondre avec les rayures fines ou craie, qui sont formé de simples lignes fines espacées de manière égale). De plus, les pantalons formels peuvent également avoir des motifs à carreaux, tels que des carreaux pied-de-poule ou des plaids, bien que ces variantes soient largement considérées comme n'étant pas les plus formelles. En règle générale, les pantalons formels sont destinés à être portés avec des bretelles avec un dos en queue de poisson recouvert d'un gilet, et ont des plis pour un résultat de repassage correct et un confort. De même, pour des raisons traditionnelles de formalité, ils n'ont pas de rendez-vous, car ceux-ci sont considérés comme moins formels.
Vérification formelle/Vérification formelle :
Dans le contexte des systèmes matériels et logiciels, la vérification formelle est l'acte de prouver ou de réfuter l'exactitude des algorithmes prévus sous-jacents à un système par rapport à une certaine spécification ou propriété formelle, en utilisant des méthodes mathématiques formelles. La vérification formelle peut être utile pour prouver la exactitude de systèmes tels que : protocoles cryptographiques, circuits combinatoires, circuits numériques avec mémoire interne et logiciels exprimés sous forme de code source. La vérification de ces systèmes se fait en fournissant une preuve formelle sur un modèle mathématique abstrait du système, la correspondance entre le modèle mathématique et la nature du système étant par ailleurs connue par construction. Des exemples d'objets mathématiques souvent utilisés pour modéliser des systèmes sont : les machines à états finis, les systèmes de transition étiquetés, les réseaux de Petri, les systèmes d'addition de vecteurs, les automates temporisés, les automates hybrides, l'algèbre de processus, la sémantique formelle des langages de programmation tels que la sémantique opérationnelle, la sémantique dénotationnelle, l'axiomatique sémantique et logique de Hoare.
Tenue de soirée/Tenue de soirée :
La tenue de soirée ou la grande tenue est la catégorie du code vestimentaire occidental applicable aux occasions les plus formelles, telles que les mariages, les baptêmes, les confirmations, les funérailles, les traditions de Pâques et de Noël, en plus de certains dîners d'État, audiences, bals et courses de chevaux. Les vêtements de cérémonie sont traditionnellement divisés en vêtements de jour et de soirée, ce qui implique une robe du matin (manteau) avant 18 heures et une cravate blanche (manteau) après 18 heures. D'autres alternatives généralement autorisées, cependant, sont les versions les plus formelles des robes de cérémonie (y compris robes de cour, uniformes diplomatiques et robes académiques), uniformes de grande tenue, vêtements religieux, costumes nationaux et plus rarement redingotes (qui précédaient le manteau du matin comme tenue de jour formelle par défaut des années 1820-1920). De plus, il est souvent demandé aux vêtements de cérémonie d'être portés avec des commandes et des médailles officielles en taille réelle. Le protocole indiquant en particulier les vêtements de cérémonie traditionnels des hommes est resté pratiquement inchangé depuis le début du XXe siècle. Malgré son déclin suite à la contre-culture des années 1960, il reste observé dans des cadres formels influencés par la culture occidentale : notamment autour de l'Europe, des Amériques, de l'Afrique du Sud, de l'Australie, ainsi que du Japon. Pour les femmes, bien que les coutumes fondamentales pour les robes de bal formelles (et les robes de mariée) s'appliquent également, les changements de mode ont été plus dynamiques. Le couvre-chef formel traditionnel pour les hommes est le chapeau haut de forme, et pour les femmes, les chapeaux, etc. d'une gamme d'interprétations. Les chaussures pour hommes sont des chaussures habillées, des bottes habillées ou des escarpins et pour les femmes des escarpins habillés à talons. Dans les pays occidentaux, un code vestimentaire " formel " ou une cravate blanche signifie généralement des queues de pie pour les hommes et des robes de soirée pour les femmes. La robe la plus formelle pour les femmes est une robe de bal pleine longueur ou une robe de soirée avec des gants de soirée. Certaines fonctions de cravate blanche exigent également que les femmes portent des gants longs au-delà du coude. La tenue de soirée étant le code vestimentaire le plus formel, elle est suivie de la tenue semi-formelle, basée de manière équivalente sur un costume de salon noir de jour, une cravate noire de soirée (costume de soirée / smoking) et une robe de soirée pour les femmes. Le costume de salon masculin et la robe de cocktail féminine ne viennent à leur tour qu'après ce niveau, traditionnellement associé à une tenue informelle. Notamment, si un niveau de flexibilité est indiqué (par exemple "uniforme, jaquette ou costume de salon", comme on l'a vu au mariage royal du prince Harry et de Meghan Markle en 2018), les hôtes ont tendance à en porter l'interprétation la plus formelle. code vestimentaire afin d'épargner aux clients les désagréments d'une tenue vestimentaire. Étant donné que les versions les plus formelles des costumes nationaux sont généralement autorisées comme alternatives supplémentaires à l'uniformité des codes vestimentaires formels occidentaux, à l'inverse, puisque la plupart des cultures ont au moins intuitivement appliqué un niveau de formalité équivalent, le cadre polyvalent des codes vestimentaires formels occidentaux est ouvert à la fusion. des coutumes internationales et locales ont influencé sa compétitivité en tant que norme internationale. De ces conventions sociales dérivent à leur tour également les variantes portées lors d'occasions connexes de solennité variable, telles que des événements politiques, diplomatiques et universitaires formels, en plus de certaines fêtes telles que des cérémonies de remise de prix, des bals, des ordres fraternels, des bals de fin d'études secondaires, etc.

Aucun commentaire:

Enregistrer un commentaire

Gladiator 2000 film 2005 soundtrack""

Heureux d'être_gay / Heureux d'être gay : " Glad to Be Gay " est une chanson du groupe britannique de punk rock / new...