Sökning: "Pi"

Visar resultat 11 - 15 av 319 avhandlingar innehållade ordet Pi.

  1. 11. Membrane lipids and their transfer proteins in β-cells

    Författare :Beichen Xie; Olof Idevall-Hagren; Anders Tengholm; Jen Liou; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Ca2 ; PKC; E-Syt1; TMEM24; ER-PM contact; PI 4; 5 P2; phosphoinositides; β-cell; insulin; optogenetics; Biology with specialization in Molecular Cell Biology; Biologi med inriktning mot molekylär cellbiologi;

    Sammanfattning : Insulin secretion from β-cells is essential for glucose homeostasis and is often dysregulated in diabetes. Intracellular Ca2+ and membrane lipids cooperate to control insulin secretion with high spatial and temporal precision. LÄS MER

  3. 12. Formalising process calculi

    Författare :Jesper Bengtson; Joachim Parrow; Daniel Hirschkoff; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; process calculi; interactive theorem proving; nominal logic; pi-calculus; CCS; psi-calculi; Computer science; Datalogi; Datavetenskap; Computer Science;

    Sammanfattning : As the complexity of programs increase, so does the complexity of the models required to reason about them. Process calculi were introduced in the early 1980s and have since then been used to model communication protocols of varying size and scope. LÄS MER

  4. 13. 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

  5. 14. Structure and mechanism of iron and magnesium chelatases - at the heme-chlorophyll branch-point

    Författare :Michel Fodje; Lunds universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Molecular biophysics; pi-helix; secondary structure; AAA; porphyrin metallation; chelatase; Molekylär biofysik;

    Sammanfattning : Tetrapyrroles are synthesised through a single branched biosynthetic pathway. Heme and chlorophyll are synthesised from the common intermediate protoporphyrin IX at the heme-chlorophyll branch-point. LÄS MER

  7. 15. Ammonium Feedback Control in Wastewater Treatment Plants

    Författare :Linda Åmand; Bengt Carlsson; Peter Vanrolleghem; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; aeration control; ammonium feedback control; biological nitrogen removal; full-scale experiments; gain scheduling control; PI control; process control; repetitive control; wastewater treatment; Elektroteknik med inriktning mot reglerteknik; Electrical Engineering with specialization in Automatic Control;

    Sammanfattning : The aeration process is often the single largest consumer of electricity in a wastewater treatment plant. Aeration in biological reactors provides microorganisms with oxygen which is required to convert ammonium to nitrate. Ammonium is toxic for aqueous ecosystems and contributes to eutrophication. LÄS MER