Affiner les résultats

Langue

Université de Neuchâtel

Partner control mechanisms in repeated social interactions

Wubs, Matthias ; Bshary, Redouan (Dir.) ; Lehmann, Laurent (Codir.)

Thèse de doctorat : Université de Neuchâtel, 2017.

Les individus qui interagissent socialement doivent souvent décider entre aider leur prochain, en leur procurant un bénéfice a un possible cout, ou pas. Tandis qu'une paire d'individus s'en sort mieux si les deux s'entraident, un individu peut tirer un bénéfice relatif s'il se décide à ne pas aider tandis que l'autre l'aide. Cette situation crée un dilemme social. Parce que les...

Université de Neuchâtel

Evolution of moonwort ferns ("Botrychium", Ophioglossaceae) on local to global scales

Dauphin, Benjamin ; Grant, Jason (Dir.)

Thèse de doctorat : Université de Neuchâtel, 2017.

Les plantes ont depuis longtemps fasciné les biologistes par leur capacité à former des espèces cryptiques, des hybrides entre des espèces distinctes, de grandes tailles de génomes stables, et une large variété de systèmes reproducteurs parmi les taxons qui ont conduit à l’actuelle biodiversité des plantes. Il y a plus de 450 millions d’années, les plantes vasculaires ont émergé...

Université de Neuchâtel

Complexity of positive contactomorphisms

Dahinden, Lucas ; Schlenk, Felix (Dir.)

Thèse de doctorat : Université de Neuchâtel, 2018.

Dans cette thèse nous étudions des propriétés de croissance de volume de contactomorphismes positives en utilisant l'homologie de Rabinowitz-Floer. Nous montrons que la croissance positive de la dimension de l'homologie de Rabinowitz-Floer implique que tout contactomorphisme positive a d'entropie topologique positive. Nous trouvons deux cas où l'homologie de Rabinowitz-Floer a de croissance...

Université de Neuchâtel

Application of carbon-chlorine isotopic analysis to determine the origin and fate of chlorinated ethenes in groundwater

Badin, Alice ; Hunkeler, Daniel (Dir.) ; Schirmer, Mario (Codir.)

Thèse de doctorat : Université de Neuchâtel, 2015.

Chlorinated ethenes are ubiquitous groundwater contaminants posing a threat to one of our main drinking water sources. Despite their spill history dating back to more than 40 years ago, these contaminants are still found in groundwater in numerous industrially developed countries due to their persistence, difficult characterisation in the subsurface and resulting challenging remediation. When...

Université de Neuchâtel

An explicit approach to the Baum-Connes conjecture for some semi-direct products

Pooya, Sanaz ; Valette, Alain (Dir.)

Thèse de doctorat : Université de Neuchâtel, 2018.

On investigue la conjecture de Baum-Connes pour quelque exemples concrets. Cette conjecture est vraie pour plusieurs classes des groupes, en particulier les groupes a-T-moyennables, grâce au travail de Higson-Kasparov. En faisant référence à ce résultat on n’obtient qu’un isomorphisme abstrait. Dans cette thèse on décrira explicitement le morphisme d’assemblage des groupes...

Université de Fribourg

Institut de plurilinguisme : rapport annuel 2017 = Institut für Mehrsprachigkeit: Jahresbericht 2017

Institut de plurilinguisme

L’année qui s’est achevée a marqué un tournant pour plusieurs membres de notre équipe. Pour certains, employés de longue date au sein de notre institut, 2017 a été l’occasion d’accepter de relever un nouveau défi professionnel. Nous nous réjouissons que des chercheuses et chercheurs ayant oeuvré au sein de notre structure pendant une période plus ou moins longue se voient...

Università della Svizzera italiana

Reusing constraint proofs in symbolic analysis

Chen, Meixian ; Pezzè, Mauro (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2018 ; 2018INFO007.

Symbolic analysis is an important element of program verification and automatic testing. Symbolic analysis techniques abstract program properties as expressions of symbolic input values to characterise the program logical constraints, and rely on Satisfiability Modulo Theories (SMT) solvers to both validate the satisfiability of the constraint expression and verify the corresponding program...

Université de Fribourg

Die Energiewende in der Bundesrepublik Deutschland (1974-2017) – Reform, Revolution, oder Restauration? : Makroperspektive auf einen Dauerkonflikt

Neukirch, Mario

In: sozialpolitik.ch, 2018, vol. 1, no. 1, p. Article: 1.3

Untersucht wird die Transformation des deutschen Energiesystems im Zeitraum 1974-2017 als ein Konflikt zweier Großkoalitionen: Etablierte, die den Status quo verteidigen und Herausforderer, von denen die Energiewende gefordert bzw. technisch und wirtschaftlich umgesetzt wird. Der Analysezeitraum wird in drei zeitli-chen Phasen betrachtet. In der ersten Phase diskursiver Konfrontation fordert...

Université de Neuchâtel

Sharing emotions impacts computer-supported collaborative processes: effect of an emotion awareness tool

Avry, Sunny ; Molinary, Gaëlle

In: Revue Tranel, 2018, vol. 68, p. 85-96

There is a large consensus among researchers on the significant role of emotions in group effectiveness and performance. Emotion awareness tools (EATs) have been developed in recent years allowing members of a group to identify with their own- and their partner's emotions through a computer-mediated collaboration. In this study, we report the impact of an EAT on socio-cognitive and relational...