Filtyp
In other hazardous complex socio-technical systems in society, e.g. nuclear power and aviation, systems-theoretical assumptions are considered a promising way to better understand and manage safety. In this paper, two fundamental approaches to road safety were assessed in the light of a systems theory approach. One approach, is based on a premise where individual road-users are solely responsible
We study the problem of obtaining lower bounds for polynomial calculus (PC) and polynomial calculus resolution (PCR) on proof degree, and hence by [Impagliazzo et al. '99] also on proof size. [Alekhnovich and Razborov'03] established that if the clause-variable incidence graph of a CNF formula F is a good enough expander, then proving that F is unsatisfiable requires high PC/PCR degree. We further
Archaeological collections are crucial in heritage studies and are used every day for training archaeologists and cultural heritage specialists. The recent developments in 3D acquisition and visualization technology has contributed to the rapid emergence of a large number of 3D collections, whose production is often justified as the democratization of data and knowledge production. Despite the fac
The past several decades have illustrated an enormous interest in noble metal nanoparticles for their superior catalytic activity, however, their industrial use is very restricted due to inefficient recovery leading to potential contamination of products and the environment. Immobilised nanoparticles illustrate promising results for scaling up processes, and can be successfully applied for various
One of the major features of prostate cancer (PCa) is its heterogeneity, which often leads to uncertainty in cancer diagnostics and unnecessary biopsies as well as overtreatment of the disease. Novel non-invasive tests using multiple biomarkers that can identify clinically high-risk cancer patients for immediate treatment and monitor patients with low-risk cancer for active surveillance are urgent
Given the tremendous phenomenological success of the Standard Model (SM) framework, it becomes increasingly important to understand to what extent its specific structure dynamically emerges from unification principles. In this study, we present a novel anomaly-free supersymmetric (SUSY) Grand Unification model based upon gauge trinification [SU(3)]3 symmetry and a local SU (2) F× U (1) F family sy
Two deep learning techniques for classification on corrupt data are investigated and compared by performance. A simple imputation before classification is compared to imputation using a Variational Autoencoder (VAE). Both single and multiple imputation using the VAE are considered and compared in classification performance for different types and levels of corruption, and for different sample size
Wireless communication nowadays is playing a vital role in real-life data transmission. This communication can be machine-to-machine or human to machine communication. In each of these categories, reliability and low latency data transmission are critical factors of success transmission in case the number of devices in a certain area increases. In this thesis, I mainly investigate on smart manufac
Det här är ett resultat av många års visioner. Visioner om hur Kyrkbacken kunde utvecklas till ett skärgårdscentrum, visioner om hur man förtätar en sådan typ av miljö, visioner om hur framtiden ser ut för skärgårdsstäder och visioner om hur man skapar skärgårdsmiljöer som är livskraftiga och levande, året runt. Min målsättning med examensarbetet är att utgående ifrån en noggrann analys och kartlThe purpose of this thesis is to create a vision of the future Nagu. Nagu consists of two main islands and 3000 smaller islands located south of Turku in Parainen. Todaythe small town of Kyrkbacken, Nagu, is among the biggest service and tourism centres of the archipelago region – but only during summertime. The aim of the thesis is to create a living Kyrkbacken, throughout the year. The thesis
This thesis describes a method for concluding attributes of a star (including ages, temperatures, chemical element abundances) from its spectra. The method was developed by the 4MOST (4-metre Multi-Object Spectroscopic Telescope) consortium. How the model outputs stellar attributes by receiving spectra is too complicated to be included in one thesis, so only introductions of numerical methods whic
As more modern technical devices with cameras are accessible to people, more photos are taken and the amount of data that is available has vastly increased. Researchers have learnt to utilise this and use images for various purposes with Deep Learning based Computer Vision. For instance, one can teach a computer to perform an automated inventory, which could be a very time consuming task. Libraria
A laboratory procedure is described for measuring methane potentials of organic solid waste. Triplicate reactors with 10 grams of volatile solids were incubated at 55 degreesC with 400 ml of inoculum from a thermophilic biogas plant and the methane production was followed over a 50-day period by regular measurements of methane on a gas chromatograph. The procedure involves blanks as well as cellul
Adrenocorticotrophic hormone (ACTH) facilitates the synthesis of adrenal glucocorticoids by maintaining the enzymes that control the side-chain cleavage of cholesterol, the rate-limiting step in the biosynthesis of steroids 1]. Thus, ACTH is involved in the control of adrenal lipid metabolism. Recent studies have revealed that treatment with ACTH in pharmacological dosage also influences plasma li
