A semantic editor, providing services like completion and code browsing, can help users to quickly develop high-quality source code. However, a lot of languages still lack semantic editor support due to the difficulty and costs of development. Tool generation and reuse can greatly alleviate this development task. Specifically, tool generation from a formal specification, such as reference attribut

Languages differ with respect to which element they select as the subject in passive of ditransitive verbs: either the active indirect object (the goal argument) or the active direct object (the theme argument). In standard American English, e.g., only the goal argument may be promoted, as shown by the difference between (1b) and (1c). (1) a. John gave Mary a red bike yesterday. b. Mary was give

A method for rapidly assessing a patient's arterial stiffness and hence risk of developing cardiovascular disease (CVD) without resorting to laborious blood tests is presented. Simple measurement of a patient's volume pulse measured at the finger-tip (digital volume pulse) using an infrared light absorption detector placed on the index finger is sufficient to predict their CVD risk. Suitable featu

Social Welfare Legislation in Politics and Administration. A Study of Parallel Norm Crating Processes.

In a free-electron laser (FEL), the technique of wiggler tapering enables the sustained growth of radiation power beyond the initial saturation. With the goal to develop anX-ray FEL in the terawatt power regime, it is important to utilize this technique and optimize the taper profile,giving the wiggler parameter as a function of the distance along the wiggler line. This article examines two method

A hypothesis on the mechanism of ''salt-scaling'' of porous building materials is described. The hypothesis is based on theories on frost heaving in soils and observations made on micro ice-lens growth in cement paste specimens. The main principle is that ice crystals close to the surface are able to feed from the remaining liquid phase of the outer salt solution after freezing has begun. Though t

Popular Abstract in English N/AAquatic systems worldwide receive large amounts of organic carbon from terrestrial sources. This ‘allochthonous’ organic carbon (AlloOC) affects critical physical and chemical properties of freshwater ecosystems, with consequences for food web structures and exchange of greenhouse gases with the atmosphere. In the boreal region, loadings of AlloOC are particularly high due to leaching from huge or

In this paper, we analyze expediting decisions in a continuous-time, continuous-stage serial supply chain facing a Poisson demand process. For each unit in the chain, one must decide at which speed it should be moved downstream, given the state of the system, so as to minimize total supply chain costs. We decompose the problem into a set of one-dimensional subproblems that can be easily solved and