Results 91 to 100 of about 247,708 (197)
On the strength of proof-irrelevant type theories
, 2008 We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlying a theorem prover.
Werner, Benjamin
core +1 more source
Influence of ethephon stimulation on latex physiological parameters and consequences on latex diagnosis implementation in rubber agro-industry [PDF]
, 2008 Latex Diagnosis (LD) is currently considered by Cirad and most of its rubber agro-industry partners as a routine physiological tool to optimise, at block level, the rubber yield production of the rubber plantations.
Balerin, Yannick +20 more
core
TRANSPORT CHARACTERISTICS IN AUTOMATED PRODUCTION [PDF]
In the paper manufacturing automation systems is divided into two classes: rigidautomation and flexible automation. The paper intends to highlight the decrease of transportation timewithin production processes as a result of transportation optimization ...
Elisabeta Mihaela Ciortea
core
La pensée critique en éducation : le point de vue herméneutique
Canadian Journal for New Scholars in Education, 2015 L'enseignement-apprentissage de la pensée critique est souvent lié à l'activation des capacités cognitives dans la résolution d'une situation problème ou à l'analyse rationnelle des arguments et des critères.
Sami Halhal
doaj
A mechanical behavior law for the numerical simulation of the mushy zone in welding [PDF]
, 2013 The aim of this work is to propose a mechanical behavior law dedicated to the mushy zone located between the solid phase and the weld pool in welding. The objective is to take into account of the influence of the mushy zone in the simulation of welding ...
Amin-el-Sayed, H. +3 more
core
Lien Social et PolitiquesLe vieillissement de la population migrante est un enjeu grandissant au Québec, plus particulièrement à Montréal, où 44 % des personnes âgées de 65 ans et plus sont né·es à l’extérieur du pays.
Marie-Emmanuelle Laquerre +2 more
doaj +1 more source
Emploi * Doctorat & Post-doctorat * 28 jan-10 fev 2022
Radicalisations, 2022 openaire +2 more sources
Studia Universitatis Moldaviae: Stiinte ale Educatiei, 2017 În articolul dat pentru prima dată este abordată problema privind interconexiunea și corelarea Nomenclatorului domeniilor de formare profesională și al specialităților, a Cadrului Național al Calificărilor și a Clasificatorului ocu- pațiilor, precum și ...
USM ADMIN
doaj
, 2020 2025 Guillaume Minea-Pic, Before the Gulag : Forced Labor and Security in Revolution. The Cheka/NKVD concentration camp and penitentiary system from Civil Wars to the NEP, Thèse de doctorat soutenue à l'Institut Universitaire Européen de Florence, sous la direction d’Alexander Etkind et de Juliette Cadiot, 2025. 2023 Jacinthe De Montigny, Rendre compte
openaire +2 more sources
Memòria de docència i recerca del Departament de Biblioteconomia i Documentació : curs 2002-2003
BiD: Textos Universitaris de Biblioteconomia i Documentació, 2003 1 Introducció 2 Activitat interna (òrgans de govern i comissions) 2.1 Òrgans de govern 2.1.1 Direcció del Departament 2.1.2 Consell del Departament 2.2 Grups de treball 2.2.1 Anàlisi i Llenguatges Documentals 2.2.2 Arxivística 2.2.3 Bibliografia i
Universitat de Barcelona. Departament de Biblioteconomia i Documentació
doaj