A verifying compiler automatically verifies the correctness of a source program before compiling it. Founded on the definition of the source language and a set of rules (a methodology) for using the language, the program’s correctness criteria and correctness argument are provided in the program text by interface specifications and invariants. This paper describes the program-verifier component...

Cystathionine has been reported to undergo enzymatic changes leading to the formation of seven membered cyclic products (Ricci, G., Santoro, L., Achilli, M., Matarese, R. M., Nardini, M., and Cavallini, D. (1983) J. Biol. Chem. 258, 10511-10517; Cavallini, D., Costa, M., Pensa, B., and Coccia, R. (1985) Biochem. Int. 10, 641-646). Gas-chromatographic and mass-spectrometric evidence reported in...

\ I~I~RODUCTION The problem of explicating the meaning of natural language discourse and how this meaning is obtained has been of central importance to the study of philosophy since the time of Aristotle. This problem has continued to perplex philosophers, linguists, psychologists, and other academicians right up to this very day, such perplexity manifesting itself in disputes such as nominalis...

Word Sense Disambiguation (WSD) is considered one of the most important problems in Natural Language Processing. Even if the problem of WSD is difficult, when we consider its bilingual version, this problem becomes to be much more complex. In this case, it is needed not only to find the correct translation, but this translation must consider the contextual senses of the original sentence (in a ...

SUMMARY Picante is a software package that provides a comprehensive set of tools for analyzing the phylogenetic and trait diversity of ecological communities. The package calculates phylogenetic diversity metrics, performs trait comparative analyses, manipulates phenotypic and phylogenetic data, and performs tests for phylogenetic signal in trait distributions, community structure and species i...

potenciales y , usando técnicas de procesamiento natural del lenguaje, exploramos el contenido de la producción informativa: sus tendencias editoriales y cobertura geográfica. Abstract In Chile, does not exist an independent entity that publishes quantitative or qualitative surveys to understand the traditional media environment and its adaptation on the Social Web. Nowadays, Chilean newsreader...

Previously, we proposed two voice-to-phoneme conversion algorithms for speaker-independent voice-tag creation specifically targeted at applications on embedded platforms, an environment sensitive to CPU and memory resource consumption [1]. These two algorithms (batch mode and sequential) were applied in a same-language context, i.e., both acoustic model training and voice-tag creation and appli...

We describe an approach to automatic source-language syntactic preprocessing in the context of Arabic-English phrase-based machine translation. Source-language labeled dependencies, that are word aligned with target language words in a parallel corpus, are used to automatically extract syntactic reordering rules in the same spirit of Xia and McCord (2004) and Zhang et al. (2007). The extracted ...

When compiling Embedded Domain Specific Languages (EDSLs) into other languages, the compiler translates types in the source language into corresponding types in the target language. The translation is often driven by a small set of rules that map a single type in the source language into a single type in the target language. This simple approach is limiting when there are multiple possible mapp...

We present a method we used for the quality estimation shared task of WMT 2012 involving IBM1 and language model scores calculated on morphemes and POS tags. The IBM1 scores calculated on morphemes and POS-4grams of the source sentence and obtained translation output are shown to be competitive with the classic evaluation metrics for ranking of translation systems. Since these scores do not req...