Towards resource usage analysis of miniZinc models

We present a method for the static resource usage analysis of MiniZinc models. The analysis can infer upper bounds on the usage that a MiniZinc model will make of some resources such as the number of constraints of a given type (equality, disequality, global constraints, etc.), the number of variables (search variables or temporary variables), or the size of the expressions before calling the solver. These bounds are obtained from the models independently of the concrete input data (the instance data) and are in general functions of sizes of such data. In our approach, MiniZinc models are translated into Ciao programs which are then analysed by the CiaoPP system. CiaoPP includes a parametric analysis framework for resource usage in which the user can define resources and express the resource usage of library procedures (and certain program construets) by means of a language of assertions. We present the approach and report on a preliminary implementation, which shows the feasibility of the approach, and provides encouraging results.

False anglicisms in the Spanish language of fashion and beauty

Many works have already dealt with anglicisms in Spanish, especially in science and information technologies. However, despite the high and growing number of English terms incorporated daily by the language of fashion, it has received comparative less attention in lexicographic and terminological studies than that of other areas, such as science or business. For several reasons, which include prestige or peer pressure, Spanish has not only adopted English words with new meanings and usage, but also contains other forms based on English patterns which users seem to consider more accurate or expressive. This paper concentrates on false anglicisms as indicators of some of the special relationships and influences between languages arising from the pervasive presence of English. We shall look at the Spanish language of fashion, which, in addition to genuine anglicisms, has for some time been using English words with different meanings, or even created items of its own (or imported them from other languages) with the appearance of English words. These false anglicisms, which have proven extremely popular in receiving languages (not only in Spanish) have frequently been disseminated by youth magazines and the new digital media, both in general spheres and in fashion-specific contexts.

Dekâiku'l-hakâik : manuscript, undated

A work on subtleties of Persian vocabulary. Discusses nuances of and differences in meaning between homographs or near-homographs and words derived from similar stems. Pronunciations, etymologies, differences in usage discussed. Poems used as examples.

Nazi-deutsch, a glossary of contemporary German usage, with appendices on government, military and economic institutions,

"A revised and enlarged edition of the 'Dictionary of Nazi terms' compiled for the Office of European Economic Research."--Acknowledgments.

Lexique latin-français a l'usage des classes élémentaires extrait du dictionnaire latin-français de L. Quicherat et augmenté des principaux noms historiques et géographiques /

Mode of access: Internet.

Lexique grec-français contenant tous les mots des divers opuscules grecs ...; précédé de tableaux des declinaisons et conjugaisons, et suivi d'un précis sur les nombres, les monnaies ... A l'usage des classes de grammaire et d'humanités.

Mode of access: Internet.

La femme dans la littérature latine; recueil de textes latins à l'usage des jeunes filles /

Mode of access: Internet.

Lettre sur les sourds et muets : á l'usage de ceux qui entendent [et] qui parlent, avec des additions ..

Mode of access: Internet.

Grammaire anglaise d'après le système d'Ollendorff à l'usage des franca̜is.

"The reader": 103 p. at end.

Syntaxe de la langue latine à l'usage des classes moyennes du Collége royal français ...

Mode of access: Internet.

Les Latins : pages principales des auteurs du programme et morceaux choisis des auteurs latins à l'usage des lycées et collèges de garçons et de filles. Classes supérieures. Livre d'explications annoté /

Mode of access: Internet.

Nouveau dictionnaire de poche : français-anglais et anglais-français, contenant tous les mots généralement en usage et autorisés par les meilleurs auteurs /

Mode of access: Internet.

Nouveau dictionnaire français-italien-allemand, d'après Mozin, Filippi et Adelung, à l'usage des trois nations. Enrichi des noms propre des nations et des personnes, et des mots français de nouvelle création, depuis le commencement de la Révolution.

Mode of access: Internet.

Conseils sur l'art d'écrire; principes de composition et de style à l'usage des élèves des lycées et collèges et de l'enseignement primaire supérieur,

"Cet ouvrage a paru d'abord dans une collection destinée aux jeunes filles."--Avertissement.

Longman dictionary of scientific usage /

Mode of access: Internet.