The construction of infant and primary school teachers’ identity during their initial professional development and first years of work (Identidoc). Summary, main results and contributions

Educators who are currently beginning their professional career at any level of the educationalsystem and who will likely have to work during the next thirty to forty years will be takingpart in the education of individuals who, with the permission of prophets and doomsayers,will live part of their lives in the 22nd century. That long but simple statement causes a bit ofvertigo as well as a good amount of reflection on the part of we educators who were trainedin the 20th century, are working in the 21st century, and are responsible for preparing peopleto build a tomorrow that is already today (Millán and Sancho, 1995). This is the starting pointof our research groups’ interest in exploring how men and women who have graduated fromteacher education programs with specializations in infant and primary education learn to beteachers, and how they establish and position themselves as teachers during their university studies and the first years of their professional life...

From "being to the self" to "become to be": on development of autonomy construction in nursing students

Objective: To understand nursing student's self-consciousness and his/her autonomy in the discipline of fundamentals of professional care in the context of a liberating pedagogical proposal. Methodology. This qualitative, case-based research in the model of Ludke and André involved 14 students participating in the discipline. Data were collected by non-participatory observation and analysis of documents. Field observation was conducted from March to July 2010 and data were collected according to the proposal of Minayo: pre-analysis, exploration of material and treatment of results. Results. We constructed two thematic units of analysis: from "being to the self" and exercise of "become to be". Conclusion. When nursing students feel more liberty, they have the opportunity to substitute the scary prospect of learning something new material to something that motivates their curiosity and leads them to become more autonomous.

Construction and application of a portable microcontrolled turbidimeter for the in situ determination of sulfate

This study reports on the construction of a turbidimeter employing light emitting diodes as radiation source at a wavelength of 405 nm, a photodiode as detector, a temperature sensor and a microcontroller used for data acquisition and processing. The turbidimeter was applied to determine sulfate concentrations in natural water employing barium chloride as reagent. Potential interferences and recovery studies were performed and an interference of 3.5 % and a recovery between 97.8 and 108 % were estimated. The analytical performance of in situ turbidimeter for the determination of sulfate was evaluated and compared with two commercial spectrophotometers and a good agreement was obtained.

Innovative Culture – Searching for Innovativeness in a Construction Company

The purpose of the thesis is to study innovativeness in a context of the construction industry especially the front-end of the innovation process. The construction industry is often considered an old-fashioned manufacturing industry. Innovations and innovativeness are rarely linked to the industry. The construction industry, as well as other industries in Finland, is facing challenges such as productivity, the climate change and internationalization. The meaning of innovations is greater than ever in continuously changing markets, for standing out from competitors or increasing the competitiveness. Traditional production methods, tight building regulations, unique buildings, one-of-a-kind project organizations and highlighting the cheapest price in building contracts are particular challenges in the construction industry. The research questions of the thesis were: - What kind of factors shift the existing company culture towards innovativeness? - What are the phases of the front-end of the innovation process? - What kind of tools and methods enable managing the front-end of the innovation process? The theoretical part of the thesis bases on the literature review. The research methodology of the empirical part was the action research and qualitative approach. Empirical data was collected by the theme interviews from three companies. The results were practical methods and experiences from innovation activities of the companies. The results of the thesis can be clarified as follows: enhancement of the innovation activities requires support and commitment of the top management, innovative culture and innovation strategy. Innovativeness can be promoted by systematical methods for example collecting ideas from employees. Controlling and managing the front-end phase is essential to succeeding. Despite that managing the front-end is the most challenging part of the innovation process, development and management of that save companies’ money, resources and prevents useless investments. Further clarification and studies are needed to find out furthermore functional tools and methods to manage innovations and implementing them to the culture of the companies.

Test automation scheme for LTE core network element

Modern sophisticated telecommunication devices require even more and more comprehensive testing to ensure quality. The test case amount to ensure well enough coverage of testing has increased rapidly and this increased demand cannot be fulfilled anymore only by using manual testing. Also new agile development models require execution of all test cases with every iteration. This has lead manufactures to use test automation more than ever to achieve adequate testing coverage and quality. This thesis is separated into three parts. Evolution of cellular networks is presented at the beginning of the first part. Also software testing, test automation and the influence of development model for testing are examined in the first part. The second part describes a process which was used to implement test automation scheme for functional testing of LTE core network MME element. In implementation of the test automation scheme agile development models and Robot Framework test automation tool were used. In the third part two alternative models are presented for integrating this test automation scheme as part of a continuous integration process. As a result, the test automation scheme for functional testing was implemented. Almost all new functional level testing test cases can now be automated with this scheme. In addition, two models for integrating this scheme to be part of a wider continuous integration pipe were introduced. Also shift from usage of a traditional waterfall model to a new agile development based model in testing stated to be successful.

Finnair’s “New Silk Road” in the New Millennium: An Analysis of the Construction of Asia and of the Company

During the past century, an increasingly diverse world provided us with opportunities for intercultural communication; especially the growth of commerce at all levels from domestic to international has made the combination of the theories of intercultural communication and international business necessary. As one of the main beneficiaries in international business in recent years, companies in airline industries have developed their international market. For instance, Finnair has developed its Asian strategy which responds to the increasing market demand for flights from Europe to Asia in the new millennium. Therefore, the company manages marketing communication in a global environment and becomes a suitable case for studying the theories of intercultural communication in the context of international marketing. Finnair implemented a large number of international advertisements to promote its Asian routes, where Asia has been constructed as a number of exotic destinations. Meanwhile, the company itself as a provider of these destinations has also been constructed contrastively. Thus, this thesis aims at research how Finnair constructs Asia and the company itself in the new millennium, and how these constructions compare with the theories of intercultural communication. This research applied the theories of international marketing, intercultural communication and culture. In order to analyze the collected corpora as Finnair’s international advertisements and its annual reports in the new millennium, the methods of content analysis and discourse analysis have been used in this research. As a result, Finnair has purposefully applied the essentialist approach to intercultural communication and constructed Asia as an exotic “Other” due to the company’s market orientation. Meanwhile, Finnair has also constructed the company itself two identities based on the same approach: as an international airline provider between Europe and Asia, as well as a part of Finnish society. The combination of intercultural communication and international marketing theories, together with the combination of the methods of content analysis and discourse analysis ensure the originality of this paper.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Equivalence and translation strategies in multilingual thesaurus construction

In the present dissertation, multilingual thesauri were approached as cultural products and the focus was twofold: On the empirical level the focus was placed on the translatability of certain British-English social science indexing terms into the Finnish language and culture at a concept, a term and an indexing term level. On the theoretical level the focus was placed on the aim of translation and on the concept of equivalence. In accordance with modern communicative and dynamic translation theories the interest was on the human dimension. The study is qualitative. In this study, equivalence was understood in a similar way to how dynamic, functional equivalence is commonly understood in translation studies. Translating was seen as a decision-making process, where a translator often has different kinds of possibilities to choose in order to fulfil the function of the translation. Accordingly, and as a starting point for the construction of the empirical part, the function of the source text was considered to be the same or similar to the function of the target text, that is, a functional thesaurus both in source and target context. Further, the study approached the challenges of multilingual thesaurus construction from the perspectives of semantics and pragmatics. In semantic analysis the focus was on what the words conventionally mean and in pragmatics on the ‘invisible’ meaning - or how we recognise what is meant even when it is not actually said (or written). Languages and ideas expressed by languages are created mainly in accordance with expressional needs of the surrounding culture and thesauri were considered to reflect several subcultures and consequently the discourses which represent them. The research material consisted of different kinds of potential discourses: dictionaries, database records, and thesauri, Finnish versus British social science researches, Finnish versus British indexers, simulated indexing tasks with five articles and Finnish versus British thesaurus constructors. In practice, the professional background of the two last mentioned groups was rather similar. It became even more clear that all the material types had their own characteristics, although naturally not entirely separate from each other. It is further noteworthy that the different types and origins of research material were not used to represent true comparison pairs, and that the aim of triangulation of methods and material was to gain a holistic view. The general research questions were: 1. Can differences be found between Finnish and British discourses regarding family roles as thesaurus terms, and if so, what kinds of differences and which are the implications for multilingual thesaurus construction? 2. What is the pragmatic indexing term equivalence? The first question studied how the same topic (family roles) was represented in different contexts and by different users, and further focused on how the possible differences were handled in multilingual thesaurus construction. The second question was based on findings of the previous one, and answered to the final question as to what kinds of factors should be considered when defining translation equivalence in multilingual thesaurus construction. The study used multiple cases and several data collection and analysis methods aiming at theoretical replication and complementarity. The empirical material and analysis consisted of focused interviews (with Finnish and British social scientists, thesaurus constructors and indexers), simulated indexing tasks with Finnish and British indexers, semantic component analysis of dictionary definitions and translations, coword analysis and datasets retrieved in databases, and discourse analysis of thesauri. As a terminological starting point a topic and case family roles was selected. The results were clear: 1) It was possible to identify different discourses. There also existed subdiscourses. For example within the group of social scientists the orientation to qualitative versus quantitative research had an impact on the way they reacted to the studied words and discourses, and indexers placed more emphasis on the information seekers whereas thesaurus constructors approached the construction problems from a more material based solution. The differences between the different specialist groups i.e. the social scientists, the indexers and the thesaurus constructors were often greater than between the different geo-cultural groups i.e. Finnish versus British. The differences occurred as a result of different translation aims, diverging expectations for multilingual thesauri and variety of practices. For multilingual thesaurus construction this means severe challenges. The clearly ambiguous concept of multilingual thesaurus as well as different construction and translation strategies should be considered more precisely in order to shed light on focus and equivalence types, which are clearly not self-evident. The research also revealed the close connection between the aims of multilingual thesauri and the pragmatic indexing term equivalence. 2) The pragmatic indexing term equivalence is very much context-depended. Although thesaurus term equivalence is defined and standardised in the field of library and information science (LIS), it is not understood in one established way and the current LIS tools are inadequate to provide enough analytical tools for both constructing and studying different kinds of multilingual thesauri as well as their indexing term equivalence. The tools provided in translation science were more practical and theoretical, and especially the division of different meanings of a word provided a useful tool in analysing the pragmatic equivalence, which often differs from the ideal model represented in thesaurus construction literature. The study thus showed that the variety of different discourses should be acknowledged, there is a need for operationalisation of new types of multilingual thesauri, and the factors influencing pragmatic indexing term equivalence should be discussed more precisely than is traditionally done.

Challenges of business process automation for small and medium enterprises

The aim of the study was to examine problems that small and medium enterprises are facing during the implementation of business process automation projects. Study reveals problems from the point of view of companies who are implementing automation projects and from the point of view of IT-integrators who are specifying in IT solutions for small and medium companies.

Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments

Systems biology is a new, emerging and rapidly developing, multidisciplinary research field that aims to study biochemical and biological systems from a holistic perspective, with the goal of providing a comprehensive, system- level understanding of cellular behaviour. In this way, it addresses one of the greatest challenges faced by contemporary biology, which is to compre- hend the function of complex biological systems. Systems biology combines various methods that originate from scientific disciplines such as molecu- lar biology, chemistry, engineering sciences, mathematics, computer science and systems theory. Systems biology, unlike “traditional” biology, focuses on high-level concepts such as: network, component, robustness, efficiency, control, regulation, hierarchical design, synchronization, concurrency, and many others. The very terminology of systems biology is “foreign” to “tra- ditional” biology, marks its drastic shift in the research paradigm and it indicates close linkage of systems biology to computer science. One of the basic tools utilized in systems biology is the mathematical modelling of life processes tightly linked to experimental practice. The stud- ies contained in this thesis revolve around a number of challenges commonly encountered in the computational modelling in systems biology. The re- search comprises of the development and application of a broad range of methods originating in the fields of computer science and mathematics for construction and analysis of computational models in systems biology. In particular, the performed research is setup in the context of two biolog- ical phenomena chosen as modelling case studies: 1) the eukaryotic heat shock response and 2) the in vitro self-assembly of intermediate filaments, one of the main constituents of the cytoskeleton. The range of presented approaches spans from heuristic, through numerical and statistical to ana- lytical methods applied in the effort to formally describe and analyse the two biological processes. We notice however, that although applied to cer- tain case studies, the presented methods are not limited to them and can be utilized in the analysis of other biological mechanisms as well as com- plex systems in general. The full range of developed and applied modelling techniques as well as model analysis methodologies constitutes a rich mod- elling framework. Moreover, the presentation of the developed methods, their application to the two case studies and the discussions concerning their potentials and limitations point to the difficulties and challenges one encounters in computational modelling of biological systems. The problems of model identifiability, model comparison, model refinement, model inte- gration and extension, choice of the proper modelling framework and level of abstraction, or the choice of the proper scope of the model run through this thesis.

Construction Plan Image Service for Mobile Devices

The forthcoming media revolution of exchanging paper documents to digital media in construction engineering requires new tools to be developed. The basis of this bachelor’s thesis was to explore the preliminary possibilities of exporting imagery from a Building Information Modelling –software to a mobile phone on a construction yard. This was done by producing a Web Service which uses the design software’s Application Programming Interface to interact with a structures model in order to produce the requested imagery. While mobile phones were found lacking as client devices, because of limited processing power and small displays, the implementation showed that the Tekla Structures API can be used to automatically produce various types of imagery. Web Services can be used to transfer this data to the client. Before further development the needs of the contractor, benefits for the building master and inspector and the full potential of the BIM-software need to be mapped out with surveys.

Automated Software Testing in Machine Automation

The problem of software (SW) defaults is becoming more and more topical because of increasing amount of the SW and its complication. The majority of these defaults are founded during the test part that consumes about 40-50% of the development efforts. Test automation allows reducing the cost of this process and increasing testing effectiveness. In the middle of 1980 the first tools for automated testing appeared and the automated process was implemented in different kinds of SW testing. In short time, it became obviously, automated testing can cause many problems such as increasing product cost, decreasing reliability and even project fail. This thesis describes automated testing process, its concept, lists main problems, and gives an algorithm for automated test tools selection. Also this work presents an overview of the main automated test tools for embedded systems.

Animal Lovers, Bridge-Builders, and Supervising Watchdogs: Framing and Civil Society Construction by Japanese Pro-Animal Organizations in the Kansai and Tokyo Areas

Unlike their counterparts in Europe and America, the citizen organizations acting for the well-being of animals in Japan have not received scholarly attention. In this research, I explore the activities of twelve Japanese pro-animal organizations in Tokyo and Kansai area from the perspective of social movement and civil society studies. The concept of a ‘pro-animal organization’ is used to refer generally to the collectives promoting animal well-being. By using the collective action frame analysis and the three core framing tasks – diagnostic, prognostic, and motivational – as the primarily analytical tools, I explore the grievances, tactics, motivational means, constructions of agency and identity as well as framing of civil society articulated in the newsletters and the interviews of the twelve organizations I interviewed in Japan in 2010. As the frame construction is always done in relation to the social and political context, I study how the organizations construct their roles as civil society actors in relation to other actors, such as the state, and the idea of citizen activism. The deficiencies in the animal welfare law and lack of knowledge among the public are identified as the main grievances. The primary tactic to overcome these problems was to educate and inform the citizens and authorities, because most organizations lack the channels to influence politically. The audiences were mostly portrayed as either ignorant bystanders or potential adherents. In order to motivate people to join their cause and to enforce the motivation within the organization, the organizations emphasized their uniqueness, proved their efficiency, claimed credit and celebrated even small improvements. The organizations tended to create three different roles for citizen pro-organizations in civil society: reactive, apolitical and emphatic animal lovers concentrating on saving individual animals, proactive, educative bridge-builders seeking to establish equal collaborative relations with authorities, and corrective, supervising watchdogs demanding change in delinquencies offending animal rights. Based on the results of this research, I suggest that by studying how and why the different relations between civil society and the governing actors of the state are constructed, a more versatile approach to citizens’ activism in its context can be achieved.