In this thesis the feasibility of an integrated model for repository mining using Rascal is examined. To this end the SCM data sources CVS, SVN and Git are integrated into one integrated repository model named Rminer, which can be used in the data extraction and analysis phases of MSR research. First the requirements for Rminer are analysed by examining the various MSR research being done and a...

An essential task in comparative genomics is usually to decompose two or more genomes into synteny blocks, that is, segments of chromosomes with similar contents. In this paper, we study the Maximal Strip Recovery problem (MSR) [Zheng et al. 07], which aims at finding an optimal decomposition of a set of genomes into synteny blocks, amidst possible noise and ambiguities. We present a panel of n...

This paper proposes a new discriminative training method, called minimum sample risk (MSR), of estimating parameters of language models for text input. While most existing discriminative training methods use a loss function that can be optimized easily but approaches only approximately to the objective of minimum error rate, MSR minimizes the training error directly using a heuristic training p...

MSR is an unambiguous, flexible, powerful and relatively simple specification framework for crypto-protocols. It uses multiset rewriting rules over first-order atomic formulas to express protocol actions and relies on a form of existential quantification to symbolically model the generation of nonces and other fresh data. It supports an array of useful static checks that include type-checking a...

21st Century Maritime Silk Road (MSR) is of significant importance for world freight transport. The ports along the MSR present a key element involved shipping networks to support connectivity MSR. Therefore, it crucial carry an effective safety assessment ensure robustness and sustainability growing However, traditional quantitative risk analysis approaches (QRA) used in face many challenges w...

Magnetosomes are membrane-enclosed magnetite nanocrystals synthesized by magnetotactic bacteria (MTB). They display chemical purity, narrow size ranges, and species-specific crystal morphologies. Specific transmembrane proteins are sorted to the magnetosome membrane (MM). MamC is the most abundant MM protein of Magnetospirillum gryphiswaldense strain MSR-1. MamF is the second most abundant MM p...

Introduction Conclusions References Tables Figures Back Close Full Screen / Esc Papers published in Hydrology and Earth System Sciences Discussions are under open-access review for the journal Hydrology and Earth System Sciences Abstract Introduction Conclusions References Tables Figures Back Close Full Screen / Esc Abstract The often-used success rate (SR) in measuring cell-based landslide mod...

In this paper, we will first introduce a novel multiscale representation (MSR) for shapes. Based on the MSR, we will then design a surface inpainting algorithm to recover 3D geometry of blood vessels. Because of the nature of irregular morphology in vessels and organs, both phantom and real inpainting scenarios were tested using our new algorithm. Successful vessel recoveries are demonstrated w...

A single coherent total ozone dataset, called the Multi Sensor Reanalysis (MSR), has been created from all available ozone column data measured by polar orbiting satellites in the near-ultraviolet Huggins band in the last thirty years. Fourteen total ozone satellite retrieval datasets from the instruments TOMS (on the satellites Nimbus-7 and (EOS-Aura), and GOME-2 (Metop-A) have been used in th...

We consider the predictions provided by the inductive theories. For these theories predictions are performed by the Inductive Statistical (I-S) inferences. It was noted by Hempel that the I-S inference is statistically ambiguous. To avoid this ambiguity we need to use the rules that satisfy the Requirement of Maximum Specificity (RMS). The formal definition of the RMS wasn’t given by Hempel. We...