Viitteet 1-10 / 24
Formal Model Refinement for Complex Biological Systems
(Åbo Akademi - Åbo Akademi University, 2020-03-20)
There is a big interest in building large biological models and various approaches are being used for constructing such systems. Larger models are needed in system-level approaches (such as systems biology, systems medicine, ...
Model-based Verification and Testing of Web services : Functionality, Robustness and Vulnerability Analysis
(Åbo Akademi - Åbo Akademi University, 2020-04-04)
Target Controllability of Cancer Networks
(Åbo Akademi University, 2020-06-12)
Advances in the field of complex networks theory and network biology pave a new way to define human health through the study of networks of proteins, genes, metabolites, modules across cell signaling pathways, and clinical ...
Identification of Three Conserved Interaction Zones Around the Catalytic Machinery of alpha/beta- Hydrolase Fold Enzymes
(Åbo Akademi - Åbo Akademi University, 2020-03-06)
The alpha/beta-Hydrolases (ABH) comprise one of the largest structural families of proteins, found in all organisms. Although they share low sequence similarity, the ABH fold enzymes maintain a common catalytic domain, the ...
Regulation of Notch Signaling by Intracellular Trafficking
(Åbo Akademi - Åbo Akademi University, 2020-02-21)
The Notch signaling pathway is one of the essential mediators of cell-cell communication during development of multicellular organisms. Notch signaling is based on receptors and ligands that interact between neighboring ...
Cellular regulation of the Notch signaling pathway by Notch-interacting proteins
(Åbo Akademi University, 2020-09-25)
The Notch signaling mechanism is a crucial regulator of stem cells during development and tissue regeneration. Transcriptional activation of Notch target genes requires cleavage of the Notch receptor in response to ligand ...
Hitting times in urn models and occupation times in one-dimensional diffusion models
(Åbo Akademi - Åbo Akademi University, 2020-09-11)
The main subject of this thesis is certain functionals of Markov processes. The thesis can be said to consist of three parts. The first part concerns hitting times in urnmodels, which are Markov processes in discrete time. ...
Explicit results in theory of zeros and prime numbers
(Åbo Akademi - Åbo Akademi University, 2020-08-28)
This thesis is comprised of three articles in which we prove explicit estimates for different number theoretical problems.In the first article we derive an explicit Riemann-von Mangoldt formula for the Selberg class ...
Coastal Habitats and their Importance for the Biodiversity of Faunal Communities
(Åbo Akademi - Åbo Akademi University, 2020-06-24)
Coastal habitats represent highly productive areas serving important functions for multiple organism groups. These shallow areas generally maintain high faunal biodiversity, providing important ecosystem goods and services, ...
Drivers of plankton populations in the Baltic Sea
(Åbo Akademi University, 2020-05-20)
Plankton are at the base of the food chain, and identifying their drivers is important for understanding how climate change will impact populations and communities. The main aim of my thesis was to quantify the effects of ...