This paper presents compact regions to synthesize a Petri net from a partial language. We synthesize a Petri net using the theory of regions. Let there be a partial language, every region definition provides an inequality system and a solution of this system is called a region. Every region defines a valid place where a place is valid if it enables every word of the partial language. The new co...

In this paper, we propose the inclusion of a set of valid inequalities derived using a lifting procedure into a lot scheduling model applied to the soft-drink production. The set of valid inequalities is derived from constraints associated with the scheduling decisions. A computational study conducted to evaluate the quality of the proposed reformulation and how the lifted inequalities relate t...

(2) |ξ − ξ′| ≥ rm γm(ξ′) . If we assume that ξ′ is also a simple root, then clearly a symmetry argument also proves the inequality (1) and, hence, the present proof remains valid. But this added assumption is unnecessary. To correct the proof of Theorem 3.2 essentially all that is needed is to switch ξ and ξ′; i.e., assume that ξ′ is a simple root while relaxing the simplicity assumption on ξ. ...

In the quadratic traveling salesman problem a cost is associated with any three nodes traversed in succession. This structure arises, e. g., if the succession of two edges represents energetic conformations, a change of direction or a possible change of transportation means. In the symmetric case, costs do not depend on the direction of traversal. We study the polyhedral structure of a lineariz...

This study aims to determine the level of income inequality, relationship between Economic Growth and Income Inequality, Kuznets Hypothesis. The method used is Williamson Index, Theil Entropy Pearson Correlation, results obtained from Index Indeks districts/cities in Province NusaiSoutheastern West 2001-2020 show a trim inequality with values ​​of 0.22 0.02. Correlation Regencies/Citiesiin Nusa...

We analyze wage growth and changes in wage inequality in eleven European countries between 1994 and 2001. The data base used throughout is the User Data Base (UDB) of the European Community Household Panel (ECHP). The decomposition analysis is carried out independently for both genders. Following Juhn, Murphy and Pierce (1991 and 1993) we split the current wage into components to isolate the fo...

We present a new approach to implement an object bitempo-ral database where both valid-time and transaction-time are represented. It is based on the DataBase Version model, which allows an eecient management of object versions. This facilitates the manipulation of past events and allows a straightforward representation of branching evolution in valid-time.

A temporal database schema models objects or concepts with time-related or time-variant properties and a derived database contains measurements or descriptions concerning these temporal properties. The modelling of temporal information in a temporal database has an impact on the consistency of the database. Of course, this temporal information can be queried. In some cases, information in the q...

In data warehouses measures are analyzed along different dimensions. Although the structures of these dimensions change over time, data warehouse tools currently in use are not able to deal with these modifications in a sophisticated way. In this paper we present a bitemporal extension of the COMET metamodel. This extension enables us to represent not only the valid time of structural modificat...

We investigate the growth of the number wk of walks of length k in undirected graphs as well as related inequalities. We provide an insight into the relations between certain combinatorial properties of graphs and (spectral) algebraical characterizations in terms of eigenvalues and eigenvectors of the adjacency matrix. We show that the inequality w2a · w2(a+b+c) ≥ w2a+c · w2(a+b)+c is valid for...