Dictionnaire anglais - français

CNF

informatique et traitement des données - iate.europa.eu
The normal conjunctive form (CNF) or clausal form uses a product of sums:

La forme normale conjonctive (FNC) ou forme clausale utilise un produit de sommes :

général - CCMatrix (Wikipedia + CommonCrawl)
1towards efficient mus extraction... MUSes also find application in re-cent Maximum Satisfiability algorithms and in CNF formula redundancy removal....
informatique et traitement des données - core.ac.uk - PDF: ulir.ul.ie
CNF
informatique et traitement des données - iate.europa.eu
Synthesis of polyaniline (pani) in nano-reaction field of cellulose nanofiber (cnf), and carbonizationPolymerization of aniline in the presence of cellulose nano-fiber (CNF) is carried out....
général - core.ac.uk - PDF: core.ac.uk
On converting cnf to dnfThe best-known representations of boolean functions f are those as disjunctions of terms (DNFs) and as conjunctions of clauses (CNFs)....
Filtration and catalytic performance of blended ts-1/cnf composite catalystCarbon nanofiber (CNF) is a novel carbon based catalyst support....
Research on properties of cnf/glass fiber/epoxy composites... In the present investigation, carbon nano fibers (CNF) were dispersed in epoxy matrix to form CNF/glass fiber/epoxy composites....
CNF
informatique et traitement des données - iate.europa.eu
The method further includes producing (1004) a Conjunctive Normal Form (CNF) encoding of the combined model data and producing (1006) a smooth deterministic Decomposable Negation Normal Form (sd-DNNF) representation of the CNF encoding.

Le procédé consiste en outre à produire (1004) un codage de forme normale conjonctive (FNC) des données de modèle combinées et à produire (1006) une représentation de forme normale négative décomposable régulière déterministe (sd-DNNF) du codage FNC.

informatique et traitement des données - wipo.int
A propositional formula is in conjunctive normal form (CNF), if it is a conjunction of clauses.

Une proposition est en forme normale conjonctive (FNC) si elle est composée de conjonctions de disjonctions.

général - CCMatrix (Wikipedia + CommonCrawl)
Since all propositional formulae can be converted into an equivalent formula in conjunctive normal form, proofs are often based on the assumption that all formulae are CNF.

Puisque toutes les formules logiques peuvent être converties en une formule équivalente en forme normale conjonctive, les épreuves sont souvent basées sur l`hypothèse que toutes les formules sont de type CNF.

général - CCMatrix (Wikipedia + CommonCrawl)
Since all logical formulae can be converted into an equivalent formula in conjunctive normal form, proofs are often based on the assumption that all formulae are CNF.

Puisque toutes les formules logiques peuvent être converties en une formule équivalente en forme normale conjonctive, les épreuves sont souvent basées sur l`hypothèse que toutes les formules sont de type CNF.

général - CCMatrix (Wikipedia + CommonCrawl)
In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of clauses, where a clause is a disjunction of literals.

En logique booléenne et en calcul des propositions, une forme normale conjonctive (FNC) est une normalisation d'une expression logique qui est une conjonction de clauses, autrement dit une conjonction de disjonction de littéraux.

général - CCMatrix (Wikipedia + CommonCrawl)
Équivalences et forme prénexe pour les formules booléennes quantifiées.La plupart des procédures pour résoudre le problème de validité desformules booléennes quantifiées prennent en entrée seulement des formules sous forme normale conjonctive....
général - core.ac.uk - PDF: okina.univ-angers.fr
CNF
informatique et traitement des données - iate.europa.eu

Publications scientifiques

Accumulation of laminin and type iv collagen in the kidney in congenital nephrosis
... The aim of this study was to evaluate qualitatively the occurrence of the basement membrane proteins laminin and type IV collagen in the kidneys of ten infants with congenital nephrotic syndrome of the Finnish type (CNF) aged from 3 to 23 months and to compare the results with those for age-matched controls....
... De jeunes malades CNF avec des changements morphologiques discrets dans leurs reins avaient seulement des augmentations focales et minimes de la quantité de matrice mésangiale mais au fur et à mesure de la progression de la maladie, les BMs des capillaires glomérulaires, les artères rénales et les tubules atrophiés étaient également atteints, et étaient plus épais que la normale....
général - core.ac.uk -
Minéralisation in situ de nano-hydroxyapatite sur nanofibre de cellulose bifonctionnelle / alcool polyvinylique / hydrogel d'alginate de sodium par impression 3d
...manufacturing by 3D printing of scaffolds for in-situ mineralization of hydroxyapatite using aqueous suspensions of alginate and polyvinyl alcohol (PVA)-grafted cellulose nanofibers (CNF)....
commercialisation / production et structures agricoles / recherche et propriété intellectuelle - core.ac.uk -
Fonctionnalisation de nanofibrilles de cellulose pour le développement de dispositifs médicaux biosourcés
...the ever-increasing academic and industrial interest for wood derived nanocellulose, the present work investigated the chemical surface modification of cellulose nanofibrils (CNFs) for biomedical application....
général - core.ac.uk -
Pathology of fetal congenital nephrosis: immunohistochemical and ultrastructural studies
... The kidneys of four human fetuses aged 18 to 20 weeks of gestation with congenital nephrosis of the Finnish type (CNF) were studied by immunohistochemistry and electron microscopy to elucidate the pathogenesis of the disease....
... Les reins de quatre foetus humains âgés de 18 à 20 semaines de gestation atteints de néphrose congénitale du type Finlandais (CNF) ont été étudiés en immunohistochimie et microscopie électronique pour élucider la physiopathologie de la maladie...
Europe / recherche et propriété intellectuelle / activité agricole - core.ac.uk -

Synonymes et termes associés anglais

Traductions en contexte anglais - français

This type of formulas are called CNF formulas (where CNF means “conjunctive normal form”).

On s’intéresse en particulier aux formules du type que j’ai donné précédemment, qui sont appelées des formules « CNF » (pour « conjunctive normal form »).

général - CCMatrix (Wikipedia + CommonCrawl)
The CNF may be added to the furnish and processed to paper, or the CNF may be added as a coating onto a partially dried web of paper.

Les CNF peuvent être ajoutées à la composition de fabrication et transformées en papier, ou bien elles peuvent être ajoutées comme revêtement sur une bande de papier partiellement séchée.

industrie du bois - wipo.int
The Young's modulus of a CNT/CNF material is measured by applying an axial compressive force on the CNT/CNF array and measuring the applied forces and the induced displacements.

Le module de Young d'un matériau CNT/CNF est mesuré en appliquant une force de compression axiale sur le réseau CNT/CNF, et en mesurant les forces appliquées et les déplacements induits.

industrie mécanique - wipo.int
CNF dissidents founded the Kamerun United National Congress (KUNC) judging CNF as too cautious on the subject of the claim.

Les dissidents du CNF ont fondé le Kamerun United National Congress (KUNC), jugeant le CNF trop prudent en la matière.

général - CCMatrix (Wikipedia + CommonCrawl)
CNF dissidents founded the Kamerun United National Congress (KUNC) judging CNF as too cautious on the subject of the claim.

Des dissidents du CNF fondent le Kamerun United National Congress (KUNC) jugeant le CNF trop frileux sur la question de la revendication.

général - CCMatrix (Wikipedia + CommonCrawl)
The CNF may optionally be combined with a starch and a starch crosslinker.

Les CNF peuvent éventuellement être combinées à un amidon et à un agent de réticulation de l'amidon.

industrie du bois - wipo.int
Congenital nephrotic syndrome of the Finnish yype (CNF)

/Syndrome néphrotique congénital (type finlandais)

général - CCMatrix (Wikipedia + CommonCrawl)
Generally, users waive any claim against CV-CNF on whatever basis and undertake to indemnify CV-CNF from and against any action that CV-CNF may have to defend or file for a reason attributable to the user.

Plus généralement, l’utilisateur renonce à toute action contre le CV-CNF à quelque titre que ce soit et le garantit contre toute action que le CV-CNF aurait le cas échéant à subir ou à intenter du fait de l'utilisateur.

général - CCMatrix (Wikipedia + CommonCrawl)
CNF-FAI militia during the Spanish Revolution, 1936

Miliciennes de la CNT-FAI lors de la Révolution sociale espagnole de 1936.

général - CCMatrix (Wikipedia + CommonCrawl)
○ This app includes the latest Canadian Nutrient File (CNF) database

○ Cette application comprend la plus récente base de données du Fichier canadien sur les éléments nutritifs (FCÉN).

général - CCMatrix (Wikipedia + CommonCrawl)
Wrist support and coffee cups (50% CNF / 50% polymer).

Support de poignet et tasses à café (50% CNF / 50% polymère).

général - CCMatrix (Wikipedia + CommonCrawl)
The research will focus on cellulose nanofiber (CNF) production, drying, functionalization and compounding with thermoplastics, building on UMaine’s leadership in CNF technology and extrusion research.

La recherche sera axée sur la production, le séchage, la fonctionnalisation et le compoundage de nanofibres de cellulose (CNF) avec des thermoplastiques, en s'appuyant sur le leadership d'UMaine dans la technologie CNF et la recherche en extrusion.

général - CCMatrix (Wikipedia + CommonCrawl)
This is equivalent to the "CNF number" used before 2013.

Ce numéro correspond au « numéro du FDC » utilisé avant 2013.

général - CCMatrix (Wikipedia + CommonCrawl)
A novel hybrid lithium-ion anode material based on coaxially coated Si shells on carbon nanofibers (CNF).

L'invention concerne une nouvelle substance anodique hybride aux ions lithium à base de coiffes de silicium s'emboîtant coaxialement sur des nanofibres de carbone.

électronique et électrotechnique - wipo.int
The research will focus on cellulose nanofiber (CNF) production, drying, functionalization and compounding with thermoplastics, building on UMaine's leadership in CNF technology and extrusion research.

La recherche sera axée sur la production, le séchage, la fonctionnalisation et le compoundage de nanofibres de cellulose (CNF) avec des thermoplastiques, en s'appuyant sur le leadership d'UMaine dans la technologie CNF et la recherche en extrusion.

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues