Publications scientifiques

Equivalence for varieties in general and for bool in particular... Besides other applications not only the well known equivalences between the varieties Pm of Post algebras of fixed orders m and the variety

BOOL

of Boolean algebras are obtained; moreover it can be shown that the varieties Pm are the only varieties equivalent to BOOL.
...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Figure 5: homomorphism correctness conditions...ASSUMPTION (EXISTS (d: word): TRUE) opcodesnonempty: ASSUMPTION (EXISTS (o: opcodes): TRUE) ENDASSUMING cstaterec: TYPE = [# %% Input wires: acknowledgement signal from memory ack: bool, %% signals to manage memory transactions write: bool, maddr, rdword: word, %% Internal Registers % The Pipeline registers pc, pcd, pcdd: word, dstnd, dstndd: addr, stalld,...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Modeling, simulation and vr visualization of brain aneurysm blood flow... class VirtualObject -- private: DynVar!bool? Active; DynVar!bool? Focus; DynVar!Position? Pos; DynVar!Quaternion? Ori; DynVar!Position? PosRef; DynVar!Quaternion? OriRef; DynVar!Position? PosRel; DynVar!Quaternion?...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Design, implementation, and evaluation of the surface_mesh data structure...constructor Vertex_iterator(Vertex v=Vertex()) : hnd_(v) {} // / Cast to the vertex the iterator refers to operator Vertex() const { return hnd_;} // / are two iterators equal? bool operator==(const Vertex_iterator & rhs) const return (hnd_==rhs.hnd_);...
général - core.ac.uk - PDF: graphics.uni-bielefeld.de

Traductions en contexte anglais - français

4.1.7 The

bool

type The bool type represents boolean logical quantities.

3.6 – BooléensLe type boolean est celui des expressions logiques.

général - CCMatrix (Wikipedia + CommonCrawl)
bool assigned; // Bool to check if object is assigned

bool verifier(); // vérifie si le jeu est terminé

général - CCMatrix (Wikipedia + CommonCrawl)
Both operands are implicitly converted to bool and the result type is bool.

Les deux opérandes sont implicitement convertis en bool et le type du résultat est bool.

général - CCMatrix (Wikipedia + CommonCrawl)
For bool type (true/false) you can use the following bool-specific operators:

Pour les types bool (true/false) vous pouvez utiliser les opérateurs suivants spécifiques aux bools:

général - CCMatrix (Wikipedia + CommonCrawl)
Use issubclass() to check class inheritance: issubclass(bool, int) is True since bool is a subclass of int.

utilisez issubclass() pour tester l'héritage d'une classe : issubclass(bool, int) renvoie True car la classe bool est une sous-classe de int.

général - CCMatrix (Wikipedia + CommonCrawl)
Use issubclass() to check class inheritance: issubclass(bool, int) is True since bool is a subclass of int.

utilisez issubclass() pour tester l’héritage d’une classe : issubclass(bool, int) renvoie True car la class bool est une sous-classe de int.

général - CCMatrix (Wikipedia + CommonCrawl)
– (BOOL)application:(UIApplication *)application didFinishLaunchingWithOptions:(NSDictionary *)launchOptions {

Repérez à présent la méthode - (BOOL)application:(UIApplication *)application didFinishLaunchingWithOptions:(NSDictionary *)launchOptions.

général - CCMatrix (Wikipedia + CommonCrawl)
Use issubclass() to check class inheritance: issubclass(bool, int) is True since bool is a subclass of int.

Utilisez issubclass() pour tester l’héritage d’une class : issubclass(bool, int) renvoie True car la class bool est une sous-classe de int.

général - CCMatrix (Wikipedia + CommonCrawl)
Use issubclass() to check class inheritance: issubclass(bool, int) is True since bool is a subclass of int.

utilisez issubclass() pour tester l’héritage d’une classe : issubclass(bool, int) renvoie True car la classe bool est une sous-classe de int.

général - CCMatrix (Wikipedia + CommonCrawl)
The bool type represents boolean logical quantities.

Les valeurs de type bool sont des valeurs booléennes logiques.

général - CCMatrix (Wikipedia + CommonCrawl)
It turns a list with the type (Num a) => [a -> Bool] into a function with the type (Num a) => a -> [Bool].

Elle transforme une liste ayant pour type (Num a) => [a -> Bool] en une fonction ayant pour type (Num a) => a -> [Bool].

général - CCMatrix (Wikipedia + CommonCrawl)
(BOOL) application:(UIApplication *)application didFinishLaunchingWithOptions:(NSDictionary *)launchOptions {

Repérez à présent la méthode - (BOOL)application:(UIApplication *)application didFinishLaunchingWithOptions:(NSDictionary *)launchOptions.

général - CCMatrix (Wikipedia + CommonCrawl)
( BOOL )application: ( UIApplication * )application didFinishLaunchingWithOptions: ( NSDictionary * )launchOptions

Repérez à présent la méthode - (BOOL)application:(UIApplication *)application didFinishLaunchingWithOptions:(NSDictionary *)launchOptions.

général - CCMatrix (Wikipedia + CommonCrawl)
(BOOL) application:(UIApplication*)application didFinishLaunchingWithOptions:(NSDictionary *)launchOptions

Repérez à présent la méthode - (BOOL)application:(UIApplication *)application didFinishLaunchingWithOptions:(NSDictionary *)launchOptions.

général - CCMatrix (Wikipedia + CommonCrawl)
(BOOL)application:(UIApplication *)application didFinishLaunchingWithOptions: (NSDistionary *)launchOptions

Repérez à présent la méthode - (BOOL)application:(UIApplication *)application didFinishLaunchingWithOptions:(NSDictionary *)launchOptions.

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


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