Burrows-wheeler transform in secondary memory

Master’s Thesis in Computer Engineering

A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

BiYacc: Roll your parser and reflective printer into one

In: A. Cunha, E. Kindler (eds.): Proceedings of the Fourth International Workshop on Bidirectional Transformations (Bx 2015), L’Aquila, Italy, July 24, 2015, published at http://ceur-ws.org

In vivo neuropathology of cortical changes in elderly persons with schizophrenia.

BACKGROUND: Elderly schizophrenia patients frequently develop cognitive impairment of unclear etiology. Magnetic resonance imaging (MRI) studies revealed brain structural abnormalities, but the pattern of cortical gray matter (GM) volume and its relationship with cognitive and behavioral symptoms are unknown. METHODS: Magnetic resonance scans were taken from elderly schizophrenia patients (n = 20, age 67 +/- 6 SD, Mini-Mental State Examination [MMSE] 23 +/- 4), Alzheimer's disease (AD) patients (n = 20, age 73 +/- 9, MMSE 22 +/- 4), and healthy elders (n = 20, age 73 +/- 8, MMSE 29 +/- 1). Patients were assessed with a comprehensive neuropsychological and behavioral battery. Cortical pattern matching and a region-of-interest analysis, based on Brodmann areas (BAs), were used to map three-dimensional (3-D) profiles of differences in patterns of gray matter volume among groups. RESULTS: Schizophrenia patients had 10% and 11% lower total left and right GM volume than healthy elders (p < .001) and 7% and 5% more than AD patients (p = .06 and ns). Regions that had both significantly less gray matter than control subjects and gray matter volume as low as AD mapped to the cingulate gyrus and orbitofrontal cortex (BA 30, 23, 24, 32, 25, 11). The strongest correlate of gray matter volume in elderly schizophrenia patients, although nonsignificant, was the positive symptom subscale of the Positive and Negative Syndrome Scale, mapping to the right anterior cingulate area (r = .42, p = .06). CONCLUSIONS: The orbitofrontal/cingulate region had low gray matter volume in elderly schizophrenia patients. Neither cognitive impairment nor psychiatric symptoms were significantly associated with structural differences, even if positive symptoms tended to be associated with increased gray matter volume in this area.

Mechanisms of Symptomatic Spinal Cord Ischemia After TEVAR: Insights From the European Registry of Endovascular Aortic Repair Complications (EuREC).

Abstract Purpose: To test the hypothesis that simultaneous closure of at least 2 independent vascular territories supplying the spinal cord and/or prolonged hypotension may be associated with symptomatic spinal cord ischemia (SCI) after thoracic endovascular aortic repair (TEVAR). Methods: A pattern matching algorithm was used to develop a risk model for symptomatic SCI using a prospective 63-patient single-center cohort to test the positive predictive value (PPV) of prolonged intraoperative hypotension and/or simultaneous closure of at least 2 of 4 the vascular territories supplying the spinal cord (left subclavian, intercostal, lumbar, and hypogastric arteries). This risk model was then applied to data extracted from the multicenter European Registry on Endovascular Aortic Repair Complications (EuREC). Between 2002 and 2010, the 19 centers participating in EuREC reported 38 (1.7%) cases of symptomatic spinal cord ischemia among the 2235 patients in the database. Results: In the single-center cohort, direct correlations were seen between the occurrence of symptomatic SCI and both prolonged intraoperative hypotension (PPV 1.00, 95% CI 0.22 to 1.00, p = 0.04) and simultaneous closure of at least 2 independent spinal cord vascular territories (PPV 0.67, 95% CI 0.24 to 0.91, p = 0.005). Previous closure of a single vascular territory was not associated with an increased risk of symptomatic spinal cord ischemia (PPV 0.07, 95% CI 0.01 to 0.16, p = 0.56). The combination of prolonged hypotension and simultaneous closure of at least 2 territories exhibited the strongest association (PPV 0.75, 95% CI 0.38 to 0.75, p<0.0001). Applying the model to the entire EuREC cohort found an almost perfect agreement between the predicted and observed risk factors (kappa 0.77, 95% CI 0.65 to 0.90). Conclusion: Extensive coverage of intercostal arteries alone by a thoracic stent-graft is not associated with symptomatic SCI; however, simultaneous closure of at least 2 vascular territories supplying the spinal cord is highly relevant, especially in combination with prolonged intraoperative hypotension. As such, these results further emphasize the need to preserve the left subclavian artery during TEVAR.

Precession electron diffraction in the transmission electron Microscope: electron crystallography and orientational mapping

Precession electron diffraction (PED) is a hollow cone non-stationary illumination technique for electron diffraction pattern collection under quasikinematicalconditions (as in X-ray Diffraction), which enables “ab-initio” solving of crystalline structures of nanocrystals. The PED technique is recently used in TEMinstruments of voltages 100 to 300 kV to turn them into true electron iffractometers, thus enabling electron crystallography. The PED technique, when combined with fast electron diffraction acquisition and pattern matching software techniques, may also be used for the high magnification ultra-fast mapping of variable crystal orientations and phases, similarly to what is achieved with the Electron Backscatter Diffraction (EBSD) technique in Scanning ElectronMicroscopes (SEM) at lower magnifications and longer acquisition times.

Application of text-mining for updating protein post-translational modification annotation in UniProtKB.

BACKGROUND: The annotation of protein post-translational modifications (PTMs) is an important task of UniProtKB curators and, with continuing improvements in experimental methodology, an ever greater number of articles are being published on this topic. To help curators cope with this growing body of information we have developed a system which extracts information from the scientific literature for the most frequently annotated PTMs in UniProtKB. RESULTS: The procedure uses a pattern-matching and rule-based approach to extract sentences with information on the type and site of modification. A ranked list of protein candidates for the modification is also provided. For PTM extraction, precision varies from 57% to 94%, and recall from 75% to 95%, according to the type of modification. The procedure was used to track new publications on PTMs and to recover potential supporting evidence for phosphorylation sites annotated based on the results of large scale proteomics experiments. CONCLUSIONS: The information retrieval and extraction method we have developed in this study forms the basis of a simple tool for the manual curation of protein post-translational modifications in UniProtKB/Swiss-Prot. Our work demonstrates that even simple text-mining tools can be effectively adapted for database curation tasks, providing that a thorough understanding of the working process and requirements are first obtained. This system can be accessed at http://eagl.unige.ch/PTM/.

Pankkitoiminnan riskienhallinta ja riskienhallintaraportointi Puolassa

Tutkimuksessa tarkastellaan julkisesti noteerattujen pankkien riskienhallintaraportoinnin nykykäytäntöä Puolassa. Tutkimus jakaantuu kahteen osaan: Tutkimuksen ensimmäisessä osassa esitellään pankkitoimintaa, pankkitoiminnan riskejä ja riskienhallintaa. Pankkitoiminnan riskejä ovat luotto- ja markkinariskit, lisäksi puhutaan operatiivisista ja ympäristöriskeistä. Tutkimuksen toisessa osassa selvitetään ja kuvataan sitä, millaista on tutkimuksen kohdeyritysten riskienhallinta ja riskienhallintaraportointi, tutkimuksen tarkoituksena on myös verrata pankkien riskienhallintaraportointia keskenään. Tutkimuksen kohteena on 13 Varsovan pörssissä listattua pankkia. Tutkimusaineistona käytetään näiden pankkien vuoden 2005 vuosikertomuksia. Kysymyksessä on laadullinen tapaustutkimus, jolle on tyypillistä kuvaileva ja selittävä tutkimusote. Aineiston analyysimenetelmänä on käytetty pattern matchingiä, jonka avulla tutkitaan aineistosta löytyviä riskienhallintaraportoinnin osatekijöitä/indikaattoreita ja verrataan niitä oletettuihin malleihin. Tutkittujen riskienhallintaraporttien perusteella voidaan todeta, että pankkitoiminnan ydinriskeistä: luotto-, korko-, valuutta- ja likviditeettiriskeistä raportoidaan hyvin. Sen sijaan puutteita löytyy operatiivisten ja ympäristöriskien raportoinnista. Suurin osa pankeista raportoi operatiivisista riskeistä, mutta raportointi on pintapuolista ja analysointi puuttuu. Ympäristöriskeistä raportointi ei ole yleistä. Raportoinnin laajuus ja informatiivisuus vaihtelevat pankkien kesken: Suuret, kansainväliset pankkikonsernit raportoivat riskeistään laajasti ja informatiivisesti, kun taas pienemmillä, kansallisilla pankeilla raportointi jää usean pankin kohdalla suppeaksi. Syitä raportoinnin eroille on monia: Yksi syistä on IFRS-standardien vakiintumaton käyttö pienimmillä, kansallisilla pankeilla verrattuna kansainvälisiin pankkikonserneihin. Kansainvälisillä pankkikonserneilla on paremmat valmiudet raportoida riskienhallinnastaan verrattuna pienimpiin pankkeihin, jotka julkaisivat tilinpäätöksensä ensimmäistä kertaa IFRS-standardien mukaisesti vuonna 2005. Yhtenä selittävänä tekijänäraportoinnin eroille voidaan myös mainita omistuspohja: sijoittajainformaation merkitys on korostunut erityisesti organisaatioissa, joissa on laaja, kansainvälinen omistuspohja. Sen sijaan valtio-omisteisessa yrityksessä sijoittajainformaation merkitys on vähäisempi. Myös yrityskulttuuri vaikuttaa siihen, missä laajuudessa, ja mitä tietoa yritys antaa julkisuuteen. Pankit ovat myös tarkkoja maineestaan, mitä tietoa voidaan julkaista ja mitä vaikutuksia tiedon julkaisemisellaon yrityskuvaan. Sen sijaan pankin koolla ei välttämättä ole vaikutusta riskienhallintaraportoinnin laajuuteen ja informatiivisuuteen.

Design and implementation of machine vision system for the mobile assembly robot

The review of intelligent machines shows that the demand for new ways of helping people in perception of the real world is becoming higher and higher every year. This thesis provides information about design and implementation of machine vision for mobile assembly robot. The work has been done as a part of LUT project in Laboratory of Intelligent Machines. The aim of this work is to create a working vision system. The qualitative and quantitative research were done to complete this task. In the first part, the author presents the theoretical background of such things as digital camera work principles, wireless transmission basics, creation of live stream, methods used for pattern recognition. Formulas, dependencies and previous research related to the topic are shown. In the second part, the equipment used for the project is described. There is information about the brands, models, capabilities and also requirements needed for implementation. Although, the author gives a description of LabVIEW software, its add-ons and OpenCV which are used in the project. Furthermore, one can find results in further section of considered thesis. They mainly represented by screenshots from cameras, working station and photos of the system. The key result of this thesis is vision system created for the needs of mobile assembly robot. Therefore, it is possible to see graphically what was done on examples. Future research in this field includes optimization of the pattern recognition algorithm. This will give less response time for recognizing objects. Presented by author system can be used also for further activities which include artificial intelligence usage.

Managing Finnish-Russian Business Relationships and Networks During Conflicts

This thesis examines management of business relationships during conflicts. The context of this study is the international political conflict which started in 2013 and is still affecting international trade relations in 2016. More specifically, this study researches the effects of the conflict in Finnish-Russian trade. The research aim is to identify the implications of a political conflict in the Finnish-Russian business relationships and networks. Furthermore, the study will explore how does a company adapt or overcome the challenges and barriers posed by the international business environment. This research combines relevant theories in management of business relationships and networks in order to review the research data through a critical research frame. The theoretical frameworks are different structures of business relationship development processes, various stages of interaction, and characteristics and functions of business relationships. Moreover, this study will examine the effect of interdependency, commitment and trust in trade relations. Also, what are the important exchange processes and how do these processes affect business relationship and overall performance of joint business operations. Qualitative single case study method was used in this research. Case company was a Finnish multinational company. To understand the changes, the data was collected and analysed through process research approach by pattern-matching and drawing temporal bracketing over two different periods of time, first period in years 2011-2013 and second period in years 2014-2016. Empirical data was collected through a semi-structured interview and additional data was collected from internal and external secondary data sources. The findings of the study confirmed the relationship between trade and conflict. However, the effects are not significant for a company in grocery retail industry which has had earlier experience in Russia and has managed its business relationships and operations effectively. Macroeconomic factors affect companies operating in foreign dynamic markets and in order to sustain changes and to adapt, companies should invest in their business relationships. Trust-based relationships and a higher level of commitment allow companies to have more efficient and beneficial outcomes before and during uncertainty. Furthermore, well-maintained and coordinated business relationships provide the ability to adapt and overcome challenges during uncertainty. Such relationships have information, financial and social exchange processes which allow the partnering firms to have successful business relationship management in dynamic market environments.

A Compiler for the dependently typed language Beluga

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage.

Génération de résumés par abstraction

Cette thèse présente le résultat de plusieurs années de recherche dans le domaine de la génération automatique de résumés. Trois contributions majeures, présentées sous la forme d'articles publiés ou soumis pour publication, en forment le coeur. Elles retracent un cheminement qui part des méthodes par extraction en résumé jusqu'aux méthodes par abstraction. L'expérience HexTac, sujet du premier article, a d'abord été menée pour évaluer le niveau de performance des êtres humains dans la rédaction de résumés par extraction de phrases. Les résultats montrent un écart important entre la performance humaine sous la contrainte d'extraire des phrases du texte source par rapport à la rédaction de résumés sans contrainte. Cette limite à la rédaction de résumés par extraction de phrases, observée empiriquement, démontre l'intérêt de développer d'autres approches automatiques pour le résumé. Nous avons ensuite développé un premier système selon l'approche Fully Abstractive Summarization, qui se situe dans la catégorie des approches semi-extractives, comme la compression de phrases et la fusion de phrases. Le développement et l'évaluation du système, décrits dans le second article, ont permis de constater le grand défi de générer un résumé facile à lire sans faire de l'extraction de phrases. Dans cette approche, le niveau de compréhension du contenu du texte source demeure insuffisant pour guider le processus de sélection du contenu pour le résumé, comme dans les approches par extraction de phrases. Enfin, l'approche par abstraction basée sur des connaissances nommée K-BABS est proposée dans un troisième article. Un repérage des éléments d'information pertinents est effectué, menant directement à la génération de phrases pour le résumé. Cette approche a été implémentée dans le système ABSUM, qui produit des résumés très courts mais riches en contenu. Ils ont été évalués selon les standards d'aujourd'hui et cette évaluation montre que des résumés hybrides formés à la fois de la sortie d'ABSUM et de phrases extraites ont un contenu informatif significativement plus élevé qu'un système provenant de l'état de l'art en extraction de phrases.

Video Object Tracking And Analysis For Computer Assisted Surgery

Pedicle screw insertion technique has made revolution in the surgical treatment of spinal fractures and spinal disorders. Although X- ray fluoroscopy based navigation is popular, there is risk of prolonged exposure to X- ray radiation. Systems that have lower radiation risk are generally quite expensive. The position and orientation of the drill is clinically very important in pedicle screw fixation. In this paper, the position and orientation of the marker on the drill is determined using pattern recognition based methods, using geometric features, obtained from the input video sequence taken from CCD camera. A search is then performed on the video frames after preprocessing, to obtain the exact position and orientation of the drill. An animated graphics, showing the instantaneous position and orientation of the drill is then overlaid on the processed video for real time drill control and navigation

Evaluation Of A Novel Method Of Real Time Computer Assisted Spine Surgery

In this paper the effectiveness of a novel method of computer assisted pedicle screw insertion was studied using testing of hypothesis procedure with a sample size of 48. Pattern recognition based on geometric features of markers on the drill has been performed on real time optical video obtained from orthogonally placed CCD cameras. The study reveals the exactness of the calculated position of the drill using navigation based on CT image of the vertebra and real time optical video of the drill. The significance value is 0.424 at 95% confidence level which indicates good precision with a standard mean error of only 0.00724. The virtual vision method is less hazardous to both patient and the surgeon

Calibration of uncertain flood inundation models using remotely sensed water levels

A traditional method of validating the performance of a flood model when remotely sensed data of the flood extent are available is to compare the predicted flood extent to that observed. The performance measure employed often uses areal pattern-matching to assess the degree to which the two extents overlap. Recently, remote sensing of flood extents using synthetic aperture radar (SAR) and airborne scanning laser altimetry (LIDAR) has made more straightforward the synoptic measurement of water surface elevations along flood waterlines, and this has emphasised the possibility of using alternative performance measures based on height. This paper considers the advantages that can accrue from using a performance measure based on waterline elevations rather than one based on areal patterns of wet and dry pixels. The two measures were compared for their ability to estimate flood inundation uncertainty maps from a set of model runs carried out to span the acceptable model parameter range in a GLUE-based analysis. A 1 in 5-year flood on the Thames in 1992 was used as a test event. As is typical for UK floods, only a single SAR image of observed flood extent was available for model calibration and validation. A simple implementation of a two-dimensional flood model (LISFLOOD-FP) was used to generate model flood extents for comparison with that observed. The performance measure based on height differences of corresponding points along the observed and modelled waterlines was found to be significantly more sensitive to the channel friction parameter than the measure based on areal patterns of flood extent. The former was able to restrict the parameter range of acceptable model runs and hence reduce the number of runs necessary to generate an inundation uncertainty map. A result of this was that there was less uncertainty in the final flood risk map. The uncertainty analysis included the effects of uncertainties in the observed flood extent as well as in model parameters. The height-based measure was found to be more sensitive when increased heighting accuracy was achieved by requiring that observed waterline heights varied slowly along the reach. The technique allows for the decomposition of the reach into sections, with different effective channel friction parameters used in different sections, which in this case resulted in lower r.m.s. height differences between observed and modelled waterlines than those achieved by runs using a single friction parameter for the whole reach. However, a validation of the modelled inundation uncertainty using the calibration event showed a significant difference between the uncertainty map and the observed flood extent. While this was true for both measures, the difference was especially significant for the height-based one. This is likely to be due to the conceptually simple flood inundation model and the coarse application resolution employed in this case. The increased sensitivity of the height-based measure may lead to an increased onus being placed on the model developer in the production of a valid model