Lean Methods and Digital Technologies in Healtchare

The experiences of several healthcare organizations were considered to distinguish the most frequently used lean tools, the success and failure factors, and the obstacles that may appear while implementing lean. As a result, two approaches to “go lean” were defined, and analyzed from the prospective of the applicability to healthcare processes. Industrialization of healthcare was studied, and the most promising digital technology tools to improve healthcare process were highlighted. Finally, the analysis of healthcare challenges and feasible ways to address them was conducted and presented as the main result of this work. The possible ways of implementation of the findings and limitations were described in the conclusion.

How computer programmers work : understanding software development in practise

Hur arbetar en framgångsrik programmerare? Uppgifterna att programmera datorspel och att programmera industriella, säkerhetskritiska system verkar tämligen olika. Genom en noggrann empirisk undersökning jämför och kontrasterar avhandlingen dessa två former av programmering och visar att programmering innefattar mer än teknisk förmåga. Med utgångspunkt i hermeneutisk och retorisk teori och med hjälp av både kulturvetenskap och datavetenskap visar avhandlingen att programmerarnas tradition och värderingar är grundläggande för deras arbete, och att båda sorter av programmering kan uppfattas och analyseras genom klassisk texttolkningstradition. Dessutom kan datorprogram betraktas och analyseras med hjälp av klassiska teorier om talproduktion i praktiken - program ses då i detta sammanhang som ett slags yttranden. Allt som allt förespråkar avhandlingen en återkomst till vetenskapens grunder, vilka innebär en ständig och oupphörlig cyklisk rörelse mellan att erfara och att förstå. Detta står i kontrast till en reduktionistisk syn på vetenskapen, som skiljer skarpt mellan subjektivt och objektivt, och på så sätt utgår från möjligheten att uppnå fullständigt vetande. Ofullständigt vetande är tolkandets och hermeneutikens domän. Syftet med avhandlingen är att med hjälp av exempel demonstrera programmeringens kulturella, hermeneutiska och retoriska natur.

Sustainable Computer Science Education

As the world becomes more technologically advanced and economies become globalized, computer science evolution has become faster than ever before. With this evolution and globalization come the need for sustainable university curricula that adequately prepare graduates for life in the industry. Additionally, behavioural skills or “soft” skills have become just as important as technical abilities and knowledge or “hard” skills. The objective of this study was to investigate the current skill gap that exists between computer science university graduates and actual industry needs as well as the sustainability of current computer science university curricula by conducting a systematic literature review of existing publications on the subject as well as a survey of recently graduated computer science students and their work supervisors. A quantitative study was carried out with respondents from six countries, mainly Finland, 31 of the responses came from recently graduated computer science professionals and 18 from their employers. The observed trends suggest that a skill gap really does exist particularly with “soft” skills and that many companies are forced to provide additional training to newly graduated employees if they are to be successful at their jobs.

Formal development of resilient distributed systems

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 complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Searching to combine technologies for safer food attainment

Campylobacteriosis is an infection frequently acquired through the consumption of animal origin products. Chicken can be considered the main responsible cause in the transmission chain of this disease. Ionizing radiation was used to verify the reduction of the microbiological load of Campylobacter jejuni present in chicken liver, which, in natura, can present contamination in up to 100% of the cases. The doses of irradiation used were: 0.20 kGy, 0.27 kGy, 0.30 kGy and 0.35 kGy. The samples of chicken liver were acquired in aviaries, local supermarkets and large chain supermarkets. The samples were analyzed for Campylobacter at FIOCRUZ. Irradiation was performed at COPPE/UFRJ, using a Gamma Cell Irradiator with a 60Co gamma source. Only the frozen sample acquired at the local supermarket did not contain the bacterium. Campylobacter sp. was present in all other samples, even when using procedures and technologies that aimed at the impediment of the presence of this bacterium in food and, consequently, at the protection of human health. On the whole, the results were satisfactory; nevertheless, it is known that the bacterial growth conditions required by this bacterium are uncommon when compared to other enteropathogenic bacteria.

Postharvest technologies for mangosteen (Garcinia mangostana L.) conservation

The application of technologies to extend the postharvest life of mangosteen fruit was studied and compared to storage at 25 °C/70-75%R.H (25 °C control treatment). The fruits were packed in expanded polystyrene (EPS) trays (5 fruits/tray). Five treatments were carried out at 13 °C/ 90-95% RH: application of carnauba wax coating, lecithin + CMC (carboxymethyl cellulose) coating, 50 µm LDPE (low density polyethylene) film coating, 13 µm PVC (Polyvinyl chloride), and non-coated sample (13 °C control treatment). Physicochemical analyses were performed twice a week. A statistical design was completely randomized with 8 repetitions for each treatment plus the control treatment. The results were submitted to variance analysis, and the averages compared by the Tukey test at 5% probability. Among the quality parameters analyzed, more significant differences were observed for weight loss, texture, and peel moisture content. The results showed that the maximum storage period for mangosteen at 25 °C is two weeks; while storage at13 °C can guarantee the conservation of this fruit for 25 days. Therefore, the treatment at 13 °C/90-95% RH without the use of coatings and films was more effective and economical.

Näkökulmia 3D-tulostuksen opetukseen ja koulutukseen

Additive manufacturing, or 3D printing, is globally one of most interesting area in developing of manufacturing technologies. This technology is suitable for fabrication off industrial products and it interests actors in fields of computer sciences, economics, medical sciences and design&arts. Additive manufacturing is often referred as third industrial revolution: first revolution was invention of steam engines in 18th century and second was industrial revolution started by Henry Ford in 1920s. Companies should be able to test suitability of their products for additive manufacturing and 3D printing but also how much better products could be when products are totally re-designed so that all potential of this new technology can be utilized. This is where education has its importance; new generations who enter working life should be educated to know of additive manufacturing and 3D printing, its advantages but also of it limits. There has to be also possibility to educate industry and people already working there, so that industrial implementation could be done successfully. This is especially very valid for Finland. Education is strongly needed so that Finnish industry can maintain its competence in global markets. Role of education is extremely important when a new technology is industrially implemented. Additive manufacturing and 3D printing offers freedom to design new products, production and generally ways of doing things. Development, planning and execution of education for additive manufacturing and 3D printing is challenging as this area develops very fast. New innovations are coming almost every month. Planning of education for additive manufacturing and 3D printing requires collection pieces of data from various of sources. Additive manufacturing and 3D printing industry and its development has to be followed frequently, and material for additive manufacturing and 3D printing has to be renewed frequently.

Computational models for and from biology : simple gene assembly and reaction systems

The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention overtime. An excellent example of this type of research is natural computing which stands on the borderline between biology and computer science. The contribution of research done in natural computing is twofold: on one hand, it sheds light into how nature works and how it processes information and, on the other hand, it provides some guidelines on how to design bio-inspired technologies. The first direction in this thesis focuses on a nature-inspired process called gene assembly in ciliates. The second one studies reaction systems, as a modeling framework with its rationale built upon the biochemical interactions happening within a cell. The process of gene assembly in ciliates has attracted a lot of attention as a research topic in the past 15 years. Two main modelling frameworks have been initially proposed in the end of 1990s to capture ciliates’ gene assembly process, namely the intermolecular model and the intramolecular model. They were followed by other model proposals such as templatebased assembly and DNA rearrangement pathways recombination models. In this thesis we are interested in a variation of the intramolecular model called simple gene assembly model, which focuses on the simplest possible folds in the assembly process. We propose a new framework called directed overlap-inclusion (DOI) graphs to overcome the limitations that previously introduced models faced in capturing all the combinatorial details of the simple gene assembly process. We investigate a number of combinatorial properties of these graphs, including a necessary property in terms of forbidden induced subgraphs. We also introduce DOI graph-based rewriting rules that capture all the operations of the simple gene assembly model and prove that they are equivalent to the string-based formalization of the model. Reaction systems (RS) is another nature-inspired modeling framework that is studied in this thesis. Reaction systems’ rationale is based upon two main regulation mechanisms, facilitation and inhibition, which control the interactions between biochemical reactions. Reaction systems is a complementary modeling framework to traditional quantitative frameworks, focusing on explicit cause-effect relationships between reactions. The explicit formulation of facilitation and inhibition mechanisms behind reactions, as well as the focus on interactions between reactions (rather than dynamics of concentrations) makes their applicability potentially wide and useful beyond biological case studies. In this thesis, we construct a reaction system model corresponding to the heat shock response mechanism based on a novel concept of dominance graph that captures the competition on resources in the ODE model. We also introduce for RS various concepts inspired by biology, e.g., mass conservation, steady state, periodicity, etc., to do model checking of the reaction systems based models. We prove that the complexity of the decision problems related to these properties varies from P to NP- and coNP-complete to PSPACE-complete. We further focus on the mass conservation relation in an RS and introduce the conservation dependency graph to capture the relation between the species and also propose an algorithm to list the conserved sets of a given reaction system.

The role of business model in computer game development organizations

The computer game industry has grown steadily for years, and in revenues it can be compared to the music and film industries. The game industry has been moving to digital distribution. Computer gaming and the concept of business model are discussed among industrial practitioners and the scientific community. The significance of the business model concept has increased in the scientific literature recently, although there is still a lot of discussion going on on the concept. In the thesis, the role of the business model in the computer game industry is studied. Computer game developers, designers, project managers and organization leaders in 11 computer game companies were interviewed. The data was analyzed to identify the important elements of computer game business model, how the business model concept is perceived and how the growth of the organization affects the business model. It was identified that the importance of human capital is crucial to the business. As games are partly a product of creative thinking also innovation and the creative process are highly valued. The same applies to technical skills when performing various activities. Marketing and customer relationships are also considered as key elements in the computer game business model. Financing and partners are important especially for startups, when the organization is dependent on external funding and third party assets. The results of this study provide organizations with improved understanding on how the organization is built and what business model elements are weighted.

Open source solutions for multiplatform graphics programming

New emerging technologies in the recent decade have brought new options to cross platform computer graphics development. This master thesis took a look for cross platform 3D graphics development possibilities. All platform dependent and non real time solutions were excluded. WebGL and two different OpenGL based solutions were assessed via demo application by using most recent development tools. In the results pros and cons of the each solutions were noted.