Search for dissertations about: "functional decomposition"

Showing result 1 - 5 of 102 swedish dissertations containing the words functional decomposition.

2. 1. Advances in Functional Decomposition: Theory and Applications

   Author : Andrés Martinelli; Elena Dubrova; Jon Muzio; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; computer science; electronic system design; Boolean decomposition; binary decision diagram; logic synthesis; graph algorithm; Computer science; Datavetenskap;

   Abstract : Functional decomposition aims at finding efficient representations for Boolean functions. It is used in many applications, including multi-level logic synthesis, formal verification, and testing. This dissertation presents novel heuristic algorithms for functional decomposition. READ MORE

4. 2. Functional Traits in Sphagnum

   Author : Fia Bengtsson; Håkan Rydin; Gustaf Granath; Cronberg Nils; Sari Juutinen; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; peat mosses; functional traits; NPP; decay resistance; N2 fixation; desiccation resistance; climate; Biology with specialization in Ecological Botany; Biologi med inriktning mot ekologisk botanik;

   Abstract : Peat mosses (Sphagnum) are ecosystem engineers that largely govern carbon sequestration in northern hemisphere peatlands. I investigated functional traits in Sphagnum species and addressed the questions: (I) Are growth, photosynthesis and decomposition and the trade-offs between these traits related to habitat or phylogeny?, (II) Which are the determinants of decomposition and are there trade-offs between metabolites that affect decomposition?, (III) How do macro-climate and local environment determine growth in Sphagnum across the Holarctic?, (IV) How does N2 fixation vary among different species and habitats?, (V) How do species from different microtopographic niches avoid or tolerate desiccation, and are leaf and structural traits adaptations to growth high above the water table?Photosynthetic rate and decomposition in laboratory conditions (innate growth and decay resistance) were related to growth and decomposition in their natural habitats. READ MORE

5. 3. The architecture of the aging brain : functional reorganization, structural changes, and the role of dopamine receptors

   Author : Robin Pedersen; Alireza Salami; Anna Rieckmann; Anders Wåhlin; Lars Nyberg; Roser Sala-Llonch; Umeå universitet; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; brain architecture; functional connectivity; dopamine; aging; cognition; memory; functional magnetic resonance imaging; positron emission tomography; graph theory; Laplacian eigenmapping; gradient;

   Abstract : Aging is associated with reorganization of functional brain architecture, potentially leading tocognitive decline in older age. However, the mechanisms responsible for alterations in functionalbrain architecture remain poorly understood. READ MORE

6. 4. A song of ice and mud : Interactions of microbes with roots, fauna and carbon in warming permafrost-affected soils

   Author : Sylvain Monteux; Ellen Dorrepaal; Frida Keuper; James T. Weedon; Joshua Schimel; Umeå universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; microbial communities; permafrost; functional limitations; rhizosphere; SOM decomposition; soil fauna; climate change; carbon dioxide;

   Abstract : Permafrost-affected soils store a large quantity of soil organic matter (SOM) – ca. half of worldwide soil carbon – and currently undergo rapid and severe warming due to climate change. READ MORE

7. 5. Dominator-based Algorithms in Logic Synthesis and Verification

   Author : René Krenz-Bååth; Johnny Öberg; Joao Marques-Silva; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; graph dominators; formal verification; logic synthesis; equivalence checking; decomposition; Electrical engineering; Elektroteknik;

   Abstract : Today's EDA (Electronic Design Automation) industry faces enormous challenges. Their primary cause is the tremendous increase of the complexity of modern digital designs. Graph algorithms are widely applied to solve various EDA problems. READ MORE