Selaus nimekkeen mukaan kokoelmassa 1 Luonnontieteet

Viitteet 80-99 / 272

    • Examining human-centered design practice in the mobile apps era 

      Eshet, Eyal
      TUCS Dissertations : 212 (Turku Centre for Computer Science (TUCS), 10.06.2016)
      Human-Centered Design (HCD) is a well-recognized approach to the design of interactive computing systems that supports everyday and professional lives of people. To that end, the HCD approach put central emphasis on the ...

    • Excessive functions, Appell polynomials and optimal stopping 

      Ta, Bao Quoc (Åbo Akademi - Åbo Akademi University, 15.05.2014)
      The main topic of the thesis is optimal stopping. This is treated in two research articles. In the first article we introduce a new approach to optimal stopping of general strong Markov processes. The approach is based ...

    • Exit times for some processes with normally distributed noise 

      Jung, Brita (Åbo Akademi - Åbo Akademi University, 31.10.2014)
      Denna avhandling handlar om metoder för att hitta begränsningar för det asymptotiska beteendet hos en förväntad uthoppstid från ett område omkring en xpunkt för processer som har normalfördelad störning. I huvudsak behandlas ...

    • Explicit results in theory of zeros and prime numbers 

      Palojärvi, Neea (Åbo Akademi - Åbo Akademi University, 28.08.2020)
      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 ...

    • Exploring magnetocaloric materials by ab-initio methods 

      Martinho Vieira, Rafael (Åbo Akademi University & Uppsala University, 26.04.2024)
      This thesis explores the characterization of magnetocaloric materials from first-principles calculations, emphasizing entropy variation associated with the magnetocaloric effect. The study happens in the context of the ...

    • Facilitation and Feedbacks in Seagrass Communities : Testing the Role and Context-Dependency of Ecosystem Engineers 

      Meysick, Lukas (Åbo Akademi - Åbo Akademi University, 18.12.2020)
      In physically unstable habitats such as coastal soft sediments, facilitative interactions are essential for structuring associated ecological communities. Here, habitat amelioration by ecosystem engineers such as seagrasses, ...

    • Fast LC-MS detection of cyanobacteria peptide hepatotoxins – method development for determination of total contamination levels in biological materials 

      Neffling, Milla-Riina (Åbo Akademi - Åbo Akademi University, 05.11.2010)

    • Fate of fuel-bound nitrogen and sulfur in biomass-fired Industrial boilers 

      Vainio, Emil
      Report / Åbo Akademi, Process Chemistry Centre : 14-01 (Åbo Akademi University, Process Chemistry Centre, 14.02.2014)

    • Flavobacterium psychrophilum adhesion and biofilm formation 

      Papadopoulou, Anna (Åbo Akademi - Åbo Akademi University, 18.05.2018)
      Flavobacterium psychrophilum causes serious infections in farmed rainbow trout (Oncorhynchus mykiss) and subsequent substantial economic losses to fish farmers, globally. Over the past years, few studies have conclusively ...

    • Formal Analysis of Network Routing Protocols 

      Kamali, Mojgan
      TUCS Dissertations : 242 (Turku Centre for Computer Science (TUCS), 23.08.2019)
      The use of wireless networks has been on the rise for some time now, from the ubiquitous smart phones and laptops in use everywhere, to sensor networks collecting large amounts of data. In this dissertation, we focus on ...

    • Formal development and quantitative verification of dependable systems 

      Tarasyuk, Anton
      TUCS Dissertations : 156 (Turku Centre for Computer Science (TUCS), 28.01.2013)
      Modern software-intensive systems are becoming increasingly complex. Yet we are observing the pervasive use of software in such critical infrastructures as transportation systems, healthcare, telecommunication, energy ...

    • Formal development of resilient distributed systems 

      Pereverzeva, Inna
      TUCS Dissertations : 203 (Turku Centre for Computer Science (TUCS), 02.10.2015)
      Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the ...

    • Formal Model Refinement for Complex Biological Systems 

      Sanwal, Muhammad Usman (Åbo Akademi - Åbo Akademi University, 20.03.2020)
      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, ...

    • Formal modelling for digital media distribution 

      Sandvik, Petter
      TUCS Dissertations : 206 (Turku Centre for Computer Science (TUCS), 13.11.2015)
      Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological ...

    • Fraud detection in the banking sector : a multi-agent approach 

      Buoni, Alessandro
      TUCS Dissertations : 150 (Turku Centre for Computer Science (TUCS), 08.11.2012)
      Fraud is an increasing phenomenon as shown in many surveys carried out by leading international consulting companies in the last years. Despite the evolution of electronic payments and hacking techniques there is still ...

    • From genes to communities : stress tolerance in eelgrass (Zostera marina) 

      Salo, Tiina (Åbo Akademi - Åbo Akademi University, 31.10.2014)
      Shallow coastal areas are dynamic habitats that are affected by a variety of abiotic and biotic factors. In addition to the natural environmental stress, estuarine and coastal seagrass ecosystems are exposed to effects of ...

    • From genotype to phenotype : diversity and population structure of Flavobacterium psychrophilum 

      Sundell, Krister (Åbo Akademi - Åbo Akademi University, 29.05.2015)
      Flavobacterium psychrophilum is the etiological agent of bacterial cold-water disease (BCWD) causing high fish mortalities and significant economic losses to the freshwater salmonid aquaculture industry around the world. ...

    • From protein structure to function with bioinformatics 

      Dahlström, Käthe M. (Åbo Akademi - Åbo Akademi University, 27.11.2015)
      It has long been known that amino acids are the building blocks for proteins and govern their folding into specific three-dimensional structures. However, the details of this process are still unknown and represent one of ...

    • Fuzzy ontology for knowledge mobilisation and decision support 

      Wikström, Robin (Åbo Akademi - Åbo Akademi University, 13.06.2014)
      A growing concern for organisations is how they should deal with increasing amounts of collected data. With fierce competition and smaller margins, organisations that are able to fully realize the potential in the data ...

    • Fuzzy real option analysis in patent related decision making and patent valuation 

      Wang, Xiaolu (Åbo Akademi - Åbo Akademi University, 12.06.2015)
      The shift towards a knowledge-based economy has inevitably prompted the evolution of patent exploitation. Nowadays, patent is more than just a prevention tool for a company to block its competitors from developing rival ...