Dictionnaire français - anglais

informatique et traitement des données - iate.europa.eu
informatique et traitement des données - iate.europa.eu
Reasoning using exclusion: an extension of clausal form... " Although we can write such an axiom in predicate calculus using the standard logical connectives, or in clause form as input to a resolution theorem prover, such representations are highly space inefficient....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Resolution-based theorem proving for shn-logics (extended abstract)In this paper we illustrate by means of an example, namely SHn-logics, a method for translation to clause form and automated theorem proving for first-order manyvalued logics based on distributive lattices with operators....
An optimality result for clause form translation AbstractThe exponential complexity in size of the standard clause form translation is often considered as a serious drawback of the resolution method....
D.: clause form conversions for boolean circuits... The standard method for converting Boolean circuits to clause form (naming every vertex) has a number of shortcomings In this paper we give a projection of several well-known clause form conversions to a simplified Boolean circuit....
Clause form conversions for boolean circuits... The standard method for converting Boolean circuits to clause form (naming every vertex) has a number of shortcomings....
informatique et traitement des données - iate.europa.eu
Extracting logic circuit structure from conjunctive normal form descriptions †... Most applications encode their domain specific constraints in Conjunctive Normal Form (CNF), which is accepted as input by most efficient contemporary SAT solvers [1–3]....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
An on-line satisfiability algorithm for conjunctive normal form expressions with two literalsThis paper describes two algorithms for determining the satisfiability of Boolean conjunctive normal form expressions limited to two literals per clause (2-SAT) extending the classic effort of Aspvall, Plass, and Tarjan....
A linear-time transformation of linear inequalities into conjunctive normal form... Keywords & Phrases: Linear inequalities, Conjunctive Normal Form, Horn cardinality clauses....
On conjunctive normal form satisfiabilityThis paper focuses on algorithms that solve CSAT (conjunctive normal form satisfiability) by searching for a satisfying truth assignment for the given formula F....
The representational power of conjunctive normal form... This paper examines the representational power of conjunctive normal form Boolean expressions to establish a proper hierarchy for finite languages, where the language of an expression is defined to be the set of bit strings corresponding...

Publications scientifiques

Le logement social et l'espace intermédiaire extérieur: proposition d'un contrat social
... Ce papier propose un contrat social sous forme de clauses que les habitants et les services de l'État doivent respecter pour la bonne tenu...
... This paper propose a social contract with clauses that inhabitants and State services must respect for the good external intermediate space performance and its appropriation in a legal way.
politique tarifaire / Europe / marché du travail - core.ac.uk - PDF: www.ssoar.info
1towards efficient mus extractionMinimally Unsatisfiable Subformulas (MUS) find a wide range of practical applications, including product configura-tion, knowledge-based validation, and hardware and software design and verification....
informatique et traitement des données - core.ac.uk - PDF: ulir.ul.ie
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....
général - core.ac.uk - PDF: www.scientific.net
Synthesis of polyaniline (pani) in nano-reaction field of cellulose nanofiber (cnf), and carbonization... Carbonization of PANI/CNF allows production of nano-fine form with shape preserved carbonization (SPC)
général - core.ac.uk - PDF: core.ac.uk
Filtration and catalytic performance of blended ts-1/cnf composite catalyst... The filtration performance of the blended TS-1/CNF composite in aqueous system and its catalytic performance on ammoximation of cyclohexanone were studied....
général - core.ac.uk - PDF: www.scopus.com
Simulating circuit-level simplifications on cnf... It is often argued that by encoding arbitrary Boolean formulas in conjunctive normal form (CNF), structural properties of the original problem are not reflected in the CNF....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés français

Traductions en contexte français - anglais

Un programme est donc un ensemble de faits et de règles, le tout sous forme de clauses de Horn.

A program is therefore a set of facts and rules, all in the form of Horn clauses.

général - CCMatrix (Wikipedia + CommonCrawl)
Ces sujets sont inclus dans l'Accord de Partenariat Economique intérimaire sous forme de clauses qui prévoient leur négociation ultérieure.

These subjects are included in the interim economic partnership agreement as clauses which provide for them to be negotiated at a later stage.

général - CCMatrix (Wikipedia + CommonCrawl)
Ces sujets sont inclus dans l'Accord de partenariat économique intérimaire sous forme de clauses qui prévoient leur négociation ultérieure.

These subjects are included in the interim economic partnership agreement as clauses which provide for them to be negotiated at a later stage.

général - CCMatrix (Wikipedia + CommonCrawl)
Modifications prévues dans les documents contractuels initiaux, sous la forme de clauses de réexamen ou d’options claires, précises et sans équivoque.

the modifications have been provided for in the initial procurement documents in clear, precise and unequivocal review clauses.

général - CCMatrix (Wikipedia + CommonCrawl)
Des garanties de protection des personnes concernées ont été conclues avec Care.com, Inc. sous forme de clauses types de protection des données.

Suitable guarantees have been agreed with Care.com Inc. for the protection of data subjects in the form of standard data-protection clauses.

général - CCMatrix (Wikipedia + CommonCrawl)
lorsque les modifications, quelle que soit leur valeur monétaire, ont été prévues dans les documents de marchés initiaux sous la forme de clauses de réexamen

■ the changes, irrespective of their monetary value, were provided for in the initial procurement documents.

général - CCMatrix (Wikipedia + CommonCrawl)
Savoir comment les pronoms relatifs travaillent dans une phrase vous aidera à ajouter des informations descriptives importantes sous la forme de clauses relatives.

Knowing how relative pronouns work in a sentence will help you add important descriptive information in the form of relative clauses.

général - CCMatrix (Wikipedia + CommonCrawl)
le tiers qui reçoit les Données Personnelles nous a fourni des garanties adéquates sous forme de clauses standard de protection des données approuvées par les autorités réglementaires ;

the third party receiving the Personal Data has provided us with adequate safeguards in the form of standard data protection clauses approved by regulatory authorities;

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


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