Le caractère changeant ce la race en contexte migratoire: « À Montréal je ne suis pas considérée comme une personne blanche. Au Brésil, oui. ». [PDF]
Can Rev SociolSousa BA, Chamberland L.
europepmc +1 more source
Some order dualities in logic, games and choices [PDF]
We first present the concept of duality appearing in order theory, i.e. the notions of dual isomorphism and of Galois connection. Then, we describe two fundamental dualities, the duality extension/intention associated with a binary relation between two ...
Bernard Monjardet
core
[Les avantages et les risques d'exiger que les chercheurs partagent leurs données]. [PDF]
Can J Surg, 2016 McAlister VC, Harvey EJ.
europepmc +1 more source
Terminológiakivonatolás francia nyelvű szabadalmi leírásokból szabály alapú és statisztikai módszerek segítségével [PDF]
, 2013 Nagy Ágoston
core
De la construction de preuves à la programmation parallèle en logique linéaire
, 1995 This thesis aims at studying the construction of linear logic proofs and at using it as a paradigm for parallel programming. We show that inference permutability plays a crucial role in the normalization of proofs in linear logic.
Perrier, Guy
core
[34<sup>th</sup> STPI National Congress - 1<sup>st</sup> Middle East and North Africa Region Congress of clinical microbiology and infectious pathology May 22-24, 2025, Hammamet, Tunisia]. [PDF]
Med Trop Sante IntToumi PA.
europepmc +1 more source
Extensions de la logique d'équilibre par des concepts modaux
, 2015 Here-and-there (HT) logic is a three-valued monotonic logic which is intermediate between classical logic and intuitionistic logic. Equilibrium logic is a nonmonotonic formalism whose semantics is given through a minimisation criterion over HT models. It
Su, Ezgi, Iraz
core
Logique de séparation et vérification déductive
, 2011 This thesis comes within the domain of proofs of programs by deductive verification. The deductive verification generates from a program source and its specification a mathematical formula whose validity proves that the program follows its specification.
Bobot, François
core