Refine my results

An SMT-based verification framework for software systems handling arrays

Alberti, Francesco ; Sharygina, Natasha (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015INFO003.

Recent advances in the areas of automated reasoning and first-order theorem proving paved the way to the developing of effective tools for the rigorous formal analysis of computer systems. Nowadays many formal verification frameworks are built over highly engineered tools (SMT-solvers) implementing decision procedures for quantifier- free fragments of theories of interest for (dis)proving...

Le sentiment de sécurité en milieu scolaire: analyse des dynamiques sous-jacentes aux comportements apprenants des élèves

Albisetti, Zoe Irene ; Genoud, Philippe (Dir.)

Thèse de doctorat : Université de Fribourg, 2021.

Ce travail s’intéresse au sentiment de sécurité des élèves au sein d’un groupe- classe. Une telle notion a été forgée à partir de celle de sécurité psychologique introduite dans le milieu organisationnel pour comprendre le fonctionnement des dynamiques de groupe à partir des perceptions qu’ont les individus les uns vis-à-vis des autres (Edmondson, 1999, 2003a, 2008)....

Transes et prodiges : le symbolisme et l’opérativité des trois feux hermétiques

Albrecht, Pierre-Yves ; Rüegg, François (Dir.)

Thèse de doctorat : Université de Fribourg, 2007.

Processus de légitimation des pratiques de service social : l'exercice d'une "technicité prudentielle" dans la construction quotidienne de légitimités contextualisées

Albuquerque, Cristina Maria Pinto ; Soulet, Marc-Henry (Dir.) ; Lambert, Jean-Luc (Codir.)

Thèse de doctorat : Université de Fribourg, 2004.

Modeling user information needs on mobile devices : from recommendation to conversation

Aliannejadi, Mohammad ; Crestani, Fabio (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO010.

Recent advances in the development of mobile devices, equipped with multiple sensors, together with the availability of millions of applications have made these devices more pervasive in our lives than ever. The availability of the diverse set of sensors, as well as high computational power, enable information retrieval (IR) systems to sense a user’s context and personalize their results ...

Synthesis and application of an electronically chiral mimic of CpFe

Allemann, Christophe ; Jenny, Titus (Dir.)

Thèse de doctorat : Université de Fribourg, 2002 ; No 1369.

The field of new optically active and reactive organometallic species is of tremendous interest. Within this area, (-)-(1S)-dicarbonyliodide[μ5-(2,8,8-tri-methylbicyclo[3.2.1]oct-3,6-diene)2-yl] iron (1), called 2-Me-BOD-Fe(CO)2I, emerges as a new stage in the development of chiral cyclopentadienyl-like complexes. Studying the reactivity of 1 has shown that both its non-contiguous μ5-system and...

Négociation de pratiques collaboratives et construction du rôle des intervenant-e-s à l'école

Allenbach, Marco ; Charlier, Bernadette (Dir.)

Thèse de doctorat : Université de Fribourg, 2016.

Cette recherche porte sur les professionnels ressources qui interviennent pour des élèves de classe régulière, suite à des demandes ou à des signalements, provenant des parents ou des divers acteurs de l'école. Dans le canton de Vaud, (Suisse) où nous avons effectué nos recherches, il s'agit principalement d'enseignant-e-s spécialisé-e-s itinérant-e-s, logopédistes ou orthophonistes,...

Le pastoralisme aujourd'hui en Mongolie : - continuité et changement

Altansan, Amarsanaa ; Ruegg, François (Dir.)

Thèse de doctorat : Université de Fribourg, 2014.

Soutenir les enseignant-es à l'aide de consultations scolaires : vers une pédagogie inclusive pour les élèves présentant un trouble oppositionnel avec provocation

Alvarez, Lionel ; Petitpierre, Geneviève (Dir.)

Thèse de doctorat : Université de Fribourg, 2016.

Quelles dynamiques spatiales et sociolangagières dans l'appropriation des espaces urbains par les résidents étrangers à Lausanne? : quand la photographie donne à voir les indices de cette appropriation

Alvir, Spomenka ; Gohard-Radenkovic, Aline (Dir.)

Thèse de doctorat : Université de Fribourg, 2013.