Sökning: "PSI"

Visar resultat 1 - 5 av 66 avhandlingar innehållade ordet PSI.

1. 1. Physiological adaptations in two ecotypes of Fucus vesiculosus and in Fucus radicans with focus on salinity

   Författare :A Maria Gylle; Nils GA Ekelund; Stefan Falk; Pauli Snoeijs; Mittuniversitetet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Bothnian Sea; brackish; brown algae; D1; 77 K fluorescence emission; Fucus vesiculosus; Fucus radicans; light-harvest antenna; mannitol; marine; NMR; Norwegian Sea; quantum yield; photosynthetic maximum capacity Pmax ; photosystem; PSI; PSII ; PsaA; Rubisco; salinity.; Biology; Biologi; Plant physiology; Växtfysiologi;

   Sammanfattning : The in origin intertidal marine brown alga Fucus vesiculosus L. grow permanently sublittoral in the brackish Bothnian Sea, side by side with the recently discovered F. radicans L. Bergström et L. LÄS MER

3. 2. Bells and Whistles : Advanced language features in psi-calculi

   Författare :Johannes Åman Pohjola; Joachim Parrow; Björn Victor; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus. Remarkably, machine-checked proofs of standard algebraic and congruence properties of bisimilarity apply to every instance of the framework. LÄS MER

4. 3. Extending psi-calculi and their formal proofs

   Författare :Palle Raabjerg; Joachim Parrow; Björn Victor; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : Psi-calculi is a parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions for facts about data. This thesis presents broadcast psi-calculi and higher-order psi-calculi, two extensions of the psi-calculi framework, allowing respectively one-to-many communications and the use of higher-order process descriptions through conditions in the parameterised logic. LÄS MER

5. 4. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic

   Författare :Magnus Johansson; Björn Victor; Joachim Parrow; Catuscia Palamidessi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; process calculi; pi-calculus; bisimulation; operational semantics; nominal logic; Computer science; Datavetenskap; Datavetenskap; Computer Science;

   Sammanfattning : A psi-calculus is an extension of the pi-calculus with nominal data types for data structures, logical assertions, and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus. LÄS MER

7. 5. Mental health aspects of paranormal and psi related experiences

   Författare :Anneli Goulding; Göteborgs universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Parapsychology;

   Sammanfattning : This thesis aimed to investigate if paranormal beliefs and experiences represent signs of psychological ill-health or if they are neutral regarding psychological health. A further aim was to validate subjective paranormal experiences. LÄS MER