This work investigates the potential of coconut shell for air-steam gasification using thermodynamic equilibrium model. A thermodynamic equilibrium model considering tar and realistic char conversion was developed using MATLAB software to predict the product gas composition. After comparing it with experimental results the prediction capability of the model is enhanced by multiplying equilibriu...

The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its factors. It applies to first-order logic, and limitations for its use have recently been revealed by Rabinovich (2007). We sharpen the results of Rabinovich by showing that the composition method is applicable to the async...

When studying games played on finite arenas, the arena is given explicitly, hiding the underlying structure of the arena. We study games where the global arena is a product of several smaller, constituent arenas. We investigate how these “global games” can be solved by playing “component games” on the constituent arenas. To this end, we introduce two kinds of products of arenas. Moreover, we de...

In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express variability, and can be used to automate the derivation process. Nevertheless, this may be highly complex due to possible interactions between selected features and the artifacts realizing them. Deriving concrete produ...

In this position paper we describe a set of interaction patterns that have been used to facilitate the composition of components in the product-line architecture of a robot control system. The primary purpose of standardizing component interaction is to reduce the learning curve of the inner working of the product-line architecture. Secondary it results in increased readability of the architect...

Software product lines comprise techniques to tailor a program by selecting features. Selected features translate into sequenced program transformations which extend a base program. However, a sequence translated from the user selection can be inefficient to execute. In this paper, we show how we optimize sequences of refactoring transformations to reduce the composition time for product line p...

It is known that determination problem of the bandwidth for an arbitrary graph is NP-complete. This paper establishes the bandwidth for the composition of a complete bipartite graph with other graphs; the strong product of a complete bipartite graph with a complete graph, a path, a cycle; and the tensor product of a complete graph with a complete graph.

Objective: To develop a composition database of a number of foods representative of different categories of gluten-free products in the Italian diet. Design: The database was built using the nutritional composition of the products, taking into consideration both the composition of the ingredients and the nutritional information reported on the product label. Setting: The nutrient composition of...

OBJECTIVE To develop a composition database of a number of foods representative of different categories of gluten-free products in the Italian diet. DESIGN The database was built using the nutritional composition of the products, taking into consideration both the composition of the ingredients and the nutritional information reported on the product label. SETTING The nutrient composition o...