Sökning: "Isabelle Åman"

Hittade 2 uppsatser innehållade orden Isabelle Åman.

1. 1. Störningar i ledarhundens arbete : Orsak och konsekvenser

   Kandidat-uppsats, Linnéuniversitetet/Institutionen för biologi och miljö (BOM)

   Författare :Isabelle Åman; [2016]
   Nyckelord :Aggressivitet; domesticering; ledarhund; signalering;

   Sammanfattning : Aggressivitet är ett vanligt förekommande beteende hos många arter och kan signaleras via både vokalisering och visuella signaler. Beteendet kan grunda sig i exempelvis dominans, konkurrens om en partner eller på att individen försvarar en resurs eller ett revir. LÄS MER

3. 2. Verifying Psi-calculi

   Magister-uppsats, Institutionen för informationsteknologi

   Författare :Johannes Åman Pohjola; [2010]
   Nyckelord :;

   Sammanfattning : Psi-calculi are mobile process calculi, parametrised with arbitrary nominal datatypes representing data, communication channels, assertions and conditions, as well as morphisms over those datatypes. The framework for psi-calculi has been formalised in the interactive theorem prover Isabelle, along with both strong and weak bisimulation. LÄS MER