Context: In recent years, UML-based domain-specific model languages (DSMLs) have become a popular option in model-driven development projects. However, making informed design decisions for such DSMLs involves a large number of non-trivial and inter-related options. These options concern the language-model specification, UML extension techniques, concrete-syntax language design, and modeling-too...

Recently, tree planting has become popular under NAPA. For decades, many tree planting projects were implemented to reduce the vulnerability of ecosystems and societies. Despite all of these, tree-dependent livelihoods remain vulnerable, which leaves doubt on the benefit of tree planting to enhance the resilience of livelihoods to climatic shocks. This suggests that much can be learned from the...

Software product line engineering is dedicated to planned reuse of software components based upon a common platform, from which single products may be derived. The common platform consists of different types of artefacts like requirements, specifications, architecture definitions, source code, and so forth. Only recently, research projects have been started dealing with model-driven development...

In the classical multi-armed bandit problem, at each stage, the player has to choose one from N given projects (arms) to generate a reward depending on the arm played and its current state. The state process of each arm is modeled by a Markov chain and the transition probability is priorly known. The goal of the player is to maximize the expected total reward. One variant of the problem, the so...

 Background: Number of Iranian articles published in ISI journals has increased significantly in recent years. Despite the quantitative progress, studies performed in Iran represent low collaboration in research therefore, we decided to evaluate collaboration in Golestan University of Medical Sciences (GOUMS) research projects. Methods: In this cross-sectional study, all GOUMS researc...

Within the STEVIN1 project Large Scale Syntactic Annotation of written Dutch (LASSY), a manually corrected treebank of 1 million words is constructed. Lassy is part of a series of annotation projects for modern written and spoken Dutch. More specifically, it is an extension of the D-Coi and CGN projects,2 and constitutes the core of SoNaR, a 500 million words reference corpus of modern written ...

Unionfs is a stackable file system that virtually merges a set of directories (called branches) into a single logical view. Each branch is assigned a priority and may be either read-only or read-write. When the highest priority branch is writable, Unionfs provides copy-on-write semantics for read-only branches. These copyon-write semantics have lead to widespread use of Unionfs by LiveCD projec...

Due to brutal business competition, new product development (NPD) has become a key factor for promoting business sustainability. To help a company determine the direction of NPD for the future, this study applies the fuzzy analytical hierarchy procedure (AHP) and fuzzy data envelopment analysis (DEA) to develop an evaluation and ranking methodology, assisting decision makers to select NPD proje...

Section 1110 of the Social Security Act provides for a cooperative research grants program. The grants given by the Social Security Administration under this program are to nonprofit organizations for research in the broad area of social security. Reports on two recently completed grants projects are summarized below. Similar summaries will be published in the BULLETIN as the projects are concl...

This is the final report for ARO Grant DAAL03-88-K-0082, with investigators D.W. Loveland, A.W. Biermann and G. Nadathur. This grant impacted several projects undertaken by these investigators within the Duke C.S. Department. The METEOR theorem proving project focussed on a parallel implementation of the Model Elimination proof procedure, but discovered that the sequential version is also very ...