The macros described in this paper yield an extension of the IPQX theorem mechanism. It is designed is to satisfy the different requirements of various journals. Thus, the layout of the "theorems" can be manipulated by determining a "style". This article describes not only the use, but also the definition, of the necessary macros.

We aim to use statistical machine translation technology to correct grammar errors and style issues in monolingual text. Here, as a feasibility test, we focus on depassivization in German and we abstract from surface forms to parts of speech. Our results are not yet satisfactory but yield useful insights into directions for improvement.

BACKGROUND AND AIMS Late-acting self-incompatibility (LSI), in which selfed flowers fail to form fruits despite apparently successful growth of the pollen tubes to the ovules, is a contentious and still poorly understood phenomenon. Some studies have indicated pollen tube-pistil interactions, and major gene control. Others favour an early acting inbreeding depression explanation. METHODS Expe...

"> In the present study, transesterification of soybean oil to Fatty Acid Methyl Ester (FAME) was carried out in the microreactor. The system performance was <span style="font-size: 9pt; color: #000000; ...

Arsenic (As) is a toxic metalloid which is usually found in rice fields as a contamination and has negative effects on the plant growth and reduces the crop yield. Similar to heavy metals, the deleterious effects of As may be due to, at least in part, the amount of absorbed As and disturbance of the plant water status. I...

Carbon black or soot is a carbon rich material which is widely used as a modifier and filler. Usually carbon black is produced via thermal decomposition of heavy <span style="font-size: 10pt; color: #0...

We propose a novel method for interactive editing of motion data based on motion decomposition. Our method employs Independent Component Analysis (ICA) to separate motion data into visually meaningful components called style components. The user then interactively identifies suitable style components and manipulates them based on a proposed set of operations. In particular, the user can transfe...

The Valuation of Caps, Floors and Swaptions in a Multi-Factor Spot-Rate Model. We build a multi-factor, no-arbitrage model of the term structure of interest rates. The stochastic factors are the short-term interest rate and the premia of the futures rates over the short-term interest rate. In the three-factor version of the model, for example, the rst factor is the threemonth LIBOR, the second ...