Apertium Advanced Web Interface : A first step towards interactivity and language tools convergence

This documents sums up a projectaimed at building a new web interfaceto the Apertium machine translationplatform, including pre-editing andpost-editing environments. It containsa description of the accomplished workon this project, as well as an overviewof possible evolutions.

Using tools to help cost estimating and pricing: examination of costing model's and cost breakdown's workability and their capability to cooperative work

Tämä diplomityö käsittelee työkaluja, jotka on suunniteltu kustannusten ennakointiin ja hinnan asetantaan. Aluksi on käyty läpi perinteisen ja toimintoperusteisen kustannuslaskennan perusteita. Näiden menetelmien välisiä eroja on tarkasteltu ja toimintoperusteisen kustannuslaskennan paremmin sopivuus nykypäivän yrityksille on perusteltu. Toisena käsitellään hinnoittelu. Hinnan merkitys, hinnoittelumenetelmät ja päätös lopullisesta hinnasta on käyty läpi. Hinnoittelun jälkeen esitellään kustannusjärjestelmät ja kustannusten arviointi. Nämä asiat todistavat, että tarkat kustannusarviot ovat elintärkeitä yritykselle. Tuotteen kustannusarviointi, hinnan asetanta ja tarjoaminen ovat erittäin merkityksellisiä asioita ottaen huomioon koko projektin elinkaaren ja tulevat tuotot. Nykyään on yleistä käyttää työkaluja kustannusarvioinnissa ja joskus myös hinnoittelussa. Työkalujen luotettavuus on tiedettävä, ennenkuin työkalut otetaan käyttöön. Myös työkalujen käyttäjät täytyy perehdyttää hyvin. Muuten yritys todennäköisesti kohtaa odottamattomia ja epämiellyttäviä yllätyksiä.

Benchmarking project of the Department of Electrical Engineering of Lappeenranta University of Technology

Lappeenrannan teknillisen korkeakoulun sähkötekniikan osasto muutti 1.8.2005 sähkötekniikan tutkinnon kaksiportaiseksi ja vastaamaan näin Bologna-prosessia ja Suomen yliopistolainsäädäntöä. Tutkinnonuudistuksen myötä osasto haluaa varmistaa sähkötekniikan tutkintojen laadun ja vertailtavuuden sekä parantaa opiskelijoidensekä henkilökunnan liikkuvuutta. Tutkintojen laatu ja vertailtavuus osoitetaan sähkötekniikan osaston benchmark-projektilla, jossa kerätään tietoja maisteri- ja tohtorintutkintoa tarjoavista eurooppalaisista yliopistoista. Diplomityö käsittää BM-projektin kolmannen vaiheen suunnittelun ja toteutuksen sisältäen teoriaa benchmark-projekteille tyypillisistä toimintatavoista. Hyväksi havaitut menetelmiä, kuten kyselyt ja matriisit, on tässä työssä otettu soveltuvin osin sähkötekniikan osaston BM-projektin työkaluiksi. Diplomityössä analysoidaan työkalujen avulla BM-kumppaneilta kerättyjä tietoja sekä esitetään ratkaisuja, miten sähkötekniikan osastolla voidaan jatkaa parhaiden toimintatapojen löytämistä.

Reporting Framework: Implementation and Performance Analysis

Fenix on suuri metsäteollisuuden tuotannonohjausjärjestelmä. Fenix-järjestelmän raportointi- ja tulostuspalvelut elävätvaihdekautta. Aikaisemmin käytetyt raportointityökalut ovat vanhentumassa ja neon korvattava uusilla. Uusi raportointialusta, Global Printing System (GPS), onrakennettu StreamServe Business Communication Platformin ympärille. Uuden alustan on tarkoitus hoitaa Fenixin tulostus sekä raportointitehtävät. Työ kuvaa raportointialustan toteutuksen sekä sen tärkeimmät ominaisuudet. Uuden alustan suorituskyvyssä on ollut toivomisen varaa. Etenkin suurien raporttien generoiminen on kestänyt joskus toivottoman pitkään. Työssä analysoidaan raportointialustan suorituskykyä ja etsitään mahdolliset pullonkaulat. Suorituskyvyn heikkouksiin pyritään löytämään ratkaisut ja annetaan ehdotuksia suorituskyvyn parantamiseksi. XML pohjaisena järjestelmänä GPS:n suorituskyvyssä suurta osaaesittää XML:n tehokkuus. GPS sisääntuleva data tulee XML-muodossa ja sisääntulon parsimisen tehokkuus on avaintekijöitä koko GPS:n tehokkuuden kannalta. Suorituskyvyn parantamisessa keskitytäänki vahvasti XML:n tehokkaampaan käyttöön ja esitetään ehdotuksia sen parantamiseksi.

Biological impact assessment of nanomaterial used in nanomedicine. Introduction to the NanoTEST project.

Therapeutic nanoparticles (NPs) are used in nanomedicine as drug carriers or imaging agents, providing increased selectivity/specificity for diseased tissues. The first NPs in nanomedicine were developed for increasing the efficacy of known drugs displaying dose-limiting toxicity and poor bioavailability and for enhancing disease detection. Nanotechnologies have gained much interest owing to their huge potential for applications in industry and medicine. It is necessary to ensure and control the biocompatibility of the components of therapeutic NPs to guarantee that intrinsic toxicity does not overtake the benefits. In addition to monitoring their toxicity in vitro, in vivo and in silico, it is also necessary to understand their distribution in the human body, their biodegradation and excretion routes and dispersion in the environment. Therefore, a deep understanding of their interactions with living tissues and of their possible effects in the human (and animal) body is required for the safe use of nanoparticulate formulations. Obtaining this information was the main aim of the NanoTEST project, and the goals of the reports collected together in this special issue are to summarise the observations and results obtained by the participating research teams and to provide methodological tools for evaluating the biological impact of NPs.

The REporting of Studies Conducted Using Observational Routinely-Collected Health Data (RECORD) Statement: Methods for Arriving at Consensus and Developing Reporting Guidelines.

OBJECTIVE: Routinely collected health data, collected for administrative and clinical purposes, without specific a priori research questions, are increasingly used for observational, comparative effectiveness, health services research, and clinical trials. The rapid evolution and availability of routinely collected data for research has brought to light specific issues not addressed by existing reporting guidelines. The aim of the present project was to determine the priorities of stakeholders in order to guide the development of the REporting of studies Conducted using Observational Routinely-collected health Data (RECORD) statement. METHODS: Two modified electronic Delphi surveys were sent to stakeholders. The first determined themes deemed important to include in the RECORD statement, and was analyzed using qualitative methods. The second determined quantitative prioritization of the themes based on categorization of manuscript headings. The surveys were followed by a meeting of RECORD working committee, and re-engagement with stakeholders via an online commentary period. RESULTS: The qualitative survey (76 responses of 123 surveys sent) generated 10 overarching themes and 13 themes derived from existing STROBE categories. Highest-rated overall items for inclusion were: Disease/exposure identification algorithms; Characteristics of the population included in databases; and Characteristics of the data. In the quantitative survey (71 responses of 135 sent), the importance assigned to each of the compiled themes varied depending on the manuscript section to which they were assigned. Following the working committee meeting, online ranking by stakeholders provided feedback and resulted in revision of the final checklist. CONCLUSIONS: The RECORD statement incorporated the suggestions provided by a large, diverse group of stakeholders to create a reporting checklist specific to observational research using routinely collected health data. Our findings point to unique aspects of studies conducted with routinely collected health data and the perceived need for better reporting of methodological issues.

Integrated Project Portfolio Management as a Tool for Strategic Steering and Business Control

Tutkielman päätavoitteena oli tutkia miten projektisalkun hallinnalla voidaan tukea organisaation strategista ohjausta ja liiketoimintaa. Tämän lisäksi avaintavoitteina oli kuvata projektisalkun hallinnan nykytilanne kohdeyrityksessä, paljastaa erityisiä kehitystarpeita ja lopulta luoda kohdeyrityksen projektisalkunhallinnalle tavoitetila. Kirjallisuuskatsauksessa pohdittiin projektisalkun hallinnan roolia ja tavoitteita, projektisalkun hallinnassa käyttävää prosessia, sekä menetelmiä ja tekniikoita, joilla salkkua hallitaan. Työn empiirisessä osassa syvennyttiin tutkimaan projektinsalkun hallintaan liittyviä erityispiirteitä kohdeyrityksessä. Tutkimustulosten huolellinen analysointi osoitti, että aikaisempi kirjallisuus ei riittävästi huomioi kokonaisvaltaisen, integroidun lähestymistavan tarvetta ja viestinnän tärkeyttä projektisalkun hallinnassa. Tutkimuksen johtopäätöksinä luotiin uusi integroitu projektisalkun hallintamalli ja määriteltiin kohdeyritykselle projektisalkun hallinnan tavoitetila sekä ne kehitysaskeleet, joita yrityksen tulisi lähitulevaisuudessa ottaa.

DATA WAREHOUSING IN A GLOBAL METAL INDUSTRIAL COMPANY

Työn tavoittena oli selvittää, miten tietovarastointi voi tukea yrityksessä tapahtuvaa päätöksentekoa. Tietovarastokomponenttien ja –prosessien kuvauksen jälkeen on käsitelty tietovarastoprojektin eri vaiheita. Esitettyä teoriaa sovellettiin käytäntöön globaalissa metalliteollisuusyrityksessä, jossa tietovarastointikonseptia testattiin. Testauksen perusteella arvioitiin olemassa olevan tiedon tilaa sekä kahden käytetyn ohjelmiston toimivuutta tietovarastoinnissa. Yrityksen operatiivisten järjestelmien tiedon laadun todettiin olevan tutkituilta osin epäyhtenäistä ja puutteellista. Siksi tiedon suora yrityslaajuinen hyödyntäminen luotettavien ja hyvälaatuisten raporttien luonnissa on vaikeaa. Lisäksi eri yksiköiden välillä havaittiin epäyhtenäisyyttä käytettyjen liiketoiminnan käsitteiden sekä järjestelmien käyttötapojen suhteen. Testauksessa käytetyt ohjelmistot suoriutuivat perustietovarastoinnista hyvin, vaikkakin joitain rajoituksia ja erikoisuuksia ilmenikin. Työtä voidaan pitää ennen varsinaista tietovarastoprojektia tehtävänä esitutkimuksena. Jatkotoimenpiteinä ehdotetaan testauksen jatkamista nykyisillä työkaluilla kohdistaen tavoitteet konkreettisiin tuloksiin. Tiedon laadun tärkeyttä tulee korostaa koko organisaatiossa ja olemassa olevan tiedon laatua pitää parantaa tulevaisuudessa.

Reporting for account and sales management

Tutkimuksen tavoitteena oli kerätä Elcoteq Network Oyj:n myyntihenkilöiden tietotarpeet ja konkretisoida ne raportoinnin kautta. Tutkimus keskittyi asiakasvirran eri vaiheissa tarvittavaan asiakas- ja projektikohtaiseen tietoon. Tarkoituksena oli parantaa raportointia vastaamaan asiakkaan ja sales case:n hallintaa alkaen asiakasvirran uusasiakasvaiheesta ja projektin arvioinnista. Tietotarpeet kerättiin haastattelujen avulla ja osallistumalla aiheeseen liittyviin projekteihin. Haastattelujen ja teorian avulla projektiliiketoiminnan avainpiirteet ja asiakaskannattavuuteen vaikuttavat tekijät kerättiin yhteen ja muutettiin konkretiaksi raportoinnin parannusehdotuksien kautta. Tutkimus osoitti, että myyntihenkilöiden näkökulmasta olisi muodostettava uudet raportit tukemaan asiakkaan ja projektin hallintaa. Ennustettu voidaan verrata toteutuneeseen ja sekä asikkuuden, että sales case:n seuranta paranee uusien raporttien avulla. Budjetit, sekä asiakaskohtaiset tavoitteet voidaan laatia luotettavimmin ja kokonaiskuva asiakkuuden ja projektin kannattavuudesta pystytään näkemään ko. raporteista sekä graafein, että numeerisena tietona.

Oston ja ostovaraston raportoinnin ja mittariston kehittäminen toiminnanohjausjärjestelmän pohjalta

Työn tavoitteena oli kehittää Stora Enson Varkauden tehtaiden oston ja osto-varastojen raportointia ja toiminnan mittaamista toiminnanohjausjärjestelmän käyttöönottoprojektin yhteydessä. Työssä selvitettiin suorituskykymittareiden merkitystä yrityksen toiminnalle ja mittareista muodostettavalta mittaus-järjestelmältä vaadittavia ominaisuuksia. Lisäksi kartoitettiin materiaali-toimintojen yhteyttä koko yrityksen toimintaan. Työ painottuu SAP R/3:n materiaalihallinnon raporttien kartoittamiseen. Lisäksi työssä käsitellään Varenso Oy:n johtamisjärjestelmästä, Latukoneesta, saatavia mittareita. Mittariston kehittämisprosessi sisälsi käytössä olevien mittareiden arvioinnin, uusien mittareiden kartoittamisen sekä mittareiden karsinnan ja valinnan. Valituille mittareille luotiin raportointipohjat, joiden avulla niitä jatkossa seurataan. SAP R/3:n materiaalihallinnon raportointimahdollisuudet ovat laajat, mutta ne eivät kuitenkaan vielä kata kaikkia oston ja ostovarastojen raportointitarpeita. Mittaamisen ja raportoinnin kehittäminen edelleen vaatii SAP R/3:n raportointiominaisuuksien laajempaa käyttöönottoa tai muiden työkalujen hyödyntämistä raportoinnin tukena.

The FaceUOC Project : An Open Social Learning experience by the Open University of Catalonia

The possibilities and expansion of the use of Web 2.0 has opened up a world of possibilities in online learning. In spite of the integration of these tools in education major changes are required in the educational design of instructional processes.This paper presents an educational experience conducted by the Open University of Catalonia using the social network Facebook for the purpose of testing a learning model that uses a participation and collaboration methodology among users based on the use of open educational resources.- The aim of the experience is to test an Open Social Learning (OSL) model, understood to be a virtual learning environment open to the Internet community, based on the use of open resources and on a methodology focused on the participation and collaboration of users in the construction of knowledge.- The topic chosen for this experience in Facebook was 2.0 Journeys: online tools and resources. The objective of this 5 weeks course was to provide students with resources for managing the various textual, photographic, audiovisual and multimedia materials resulting from a journey.- The most important changes in the design and development of a course based on OSL are the role of the teacher, the role of the student, the type of content and the methodology:- The teacher mixes with the participants, guiding them and offering the benefit of his/her experience and knowledge.- Students learn through their participation and collaboration with a mixed group of users.- The content is open and editable under different types of license that specify the level of accessibility.- The methodology of the course was based on the creation of a learning community able to self-manage its learning process. For this a facilitator was needed and also a central activity was established for people to participate and contribute in the community.- We used an ethnographic methodology and also questionnaires to students in order to acquire results regarding the quality of this type of learning experience.- Some of the data obtained raised questions to consider for future designs of educational situations based on OSL:- Difficulties in breaking the facilitator-centred structure- Change in the time required to adapt to the system and to achieve the objectives- Lack of commitment with free courses- The trend to return to traditional ways of learning- Accreditation- This experience has taught all of us that education can happen any time and in any place but not in any way.

Web Application Performance Testing

Web application performance testing is an emerging and important field of software engineering. As web applications become more commonplace and complex, the need for performance testing will only increase. This paper discusses common concepts, practices and tools that lie at the heart of web application performance testing. A pragmatic, hands-on approach is assumed where applicable; real-life examples of test tooling, execution and analysis are presented right next to the underpinning theory. At the client-side, web application performance is primarily driven by the amount of data transmitted over the wire. At the server-side, selection of programming language and platform, implementation complexity and configuration are the primary contributors to web application performance. Web application performance testing is an activity that requires delicate coordination between project stakeholders, developers, system administrators and testers in order to produce reliable and useful results. Proper test definition, execution, reporting and repeatable test results are of utmost importance. Open-source performance analysis tools such as Apache JMeter, Firebug and YSlow can be used to realise effective web application performance tests. A sample case study using these tools is presented in this paper. The sample application was found to perform poorly even under the moderate load incurred by the sample tests.

Business intelligence –järjestelmä integraation tukena kansainvälisessä yrityksessä

Business intelligencellä tarkoitetaan liiketoimintatiedon hallintaan liittyviä prosesseja ja tekniikoita. Se pitää sisällään tiedon keräämiseen, tallentamiseen, analysointiin ja jakamiseen käytettyt tuotteet, tekniikat ja prosessit, joiden tavoitteena on auttaa yrityksen työntekijöitä liiketoimintaan liittyvässä päätöksenteossa. Tutkimuksen tavoitteena on tutkia uuden yritysryhmän laajuisen BI-tietojärjestelmän suunnitteluun ja käyttöönotoon liittyviä seikkoja ja luoda valmiudet BI-tietojärjestelmän kehitys- ja käyttöönottoprojektin kohdeyrityksessä, jonka toimiala on kansainvälinen terveydenhoitoalan tukkuliiketoiminta. Uuden BI-järjestelmän halutaan tukeva yritysryhmän yritysten välistä integraatiota ja tehostavan tiedonhakuun ja analysointiin liittyviä prosesseja. Tutkimus toteutettiin konstruktiivisena tutkimuksena, joka kattaa kohdeyrityksen IT-arkkitehtuurin, tietosisällön, prosessit ja organisaation raportoinnin kannalta. Lisäksi työssä suoritettiin ohjelmistovertailu kahden markkinoilla toimivan merkittävän ohjelmistotalon BI-tuotteiden välillä. Työssä havaittiin, että BI-projekti on laaja-alainen ja suuri hanke, joka ulottuu läpi koko organisaation. BI-ohjelmiston tehokas hyödyntäminen asettaa vaatimuksia erityisesti taustajärjestelmien tiedon huolelliseen mallintamiseen liittyen. Työssä saatiin pilotoinnin kautta käytännön kokemuksia uudesta järjestelmästä ja sen tarjoamista mahdollisuuksista kohdeyrityksessä.

Utilization of Incident Reporting in The Finnish Maritime Industry

Marine traffic is expected to increase rapidly in the future, both in the Baltic Sea and in the Gulf of Finland. As the number of vessels in the area increases, so does the risk of serious marine accidents. To help prevent such accidents in the future, the International Maritime Organization (IMO) has put forth the International Safety Management Code (the ISM Code), which aims to improve the safety of the vessels. The second work package of the Development of maritime safety culture (METKU) project investigates the effects of the ISM Code and potential areas of improvement in maritime safety. The first phase in the work package used a literature review to determine how maritime safety culture could be improved. Continuous improvement, management commitment and personnel empowerment and motivation were found to be essential. In the second phase, shipping companies and administrators were interviewed. It was discovered that especially incident reporting based on continuous improvement was felt to be lacking. This third phase aims to take a closer look at incident reporting and suggest improvements based on the findings. Both the IMO and national legislation encourage shipping companies in incident reporting, and on the national level a shared incident reporting system (ForeSea) is being pushed forward. The objective of this research project was to find out the IMO’s attitude towards incident reporting, to establish a theoretical framework of reference in incident reporting, and to observe how reporting is actually being employed on the seas. Existing incident reporting systems were also researched. The study was carried out using a literature review and the results previously gathered in interviews. The results of phase two were elaborated further for themes relating to incident reporting. According to the findings of this research, the theoretical background of incident reporting dates back to the early 20th century. Although some theories are widely accepted, some have also received criticism. The lack of a concise, shared terminology poses major difficulties in maritime incident reporting and in determining its efficiency. A central finding is the fact that existing incident reporting focuses mostly on information flow away from the ship, whereas the backward information flow is much less planned and monitored. In incident reporting, both nationally and internationally, stakeholders are plenty. The information produced by these parties is scattered, however, and thus not very usable. Based on this research, the centralizing of this information should be made a priority. Traditionally, the success of incident reporting has been determined statistically, from the number of reported incidents. Yet existing reporting systems have not been designed with such statistical analysis in mind, so different methodologies might yield a more comprehensive view. The previous findings of seafarers and management (including shipping companies and administration) having differing views on safety work and safety management were backed up by the results of this study. Seafarers find seamanship and storytelling important, while management wants a more systematic and broad approach on safety matters. The research project was carried out by the Centre for Maritime Studies of the University of Turku, in the Kotka unit (Maritime Logistics Research), with coordination by the Kotka Maritime Research Centre. The major financiers of the project were the European Union and the city of Kotka. The financing authority was the Regional Council of Päijät-Häme. Partners in the project were the shipping companies Finnlines Oyj, Kristina Cruises Oy, Meriaura Oy and VG-Shipping Oy, and the ports of Helsinki, Kotka and Hamina. The partners provided both funding for the project and information for the research.

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.