Given a regular language L, we effectively construct unary semigroup that recognizes the topological closure of L in free relative to variety semigroups generated by pseudovariety R all finite R-trivial semigroups. In particular, obtain new effective solution separation problem languages R-languages.

Music, as one of the essential elements in the filmmaking process, plays an important role in the success of a movie. Although prior studies have investigated several factors which influence movie revenue, there’s a lack of research examining the effect of search volume of movie soundtrack on the movie revenue. Therefore, we proposed the following research questions: (1) Is search volume of a m...

Cars have to be painted in two colors in a sequence where each car occurs twice; assign the two colors to the two occurrences of each car so as to minimize the number of color changes. This problem is denoted by PPW(2, 1). This version and a more general version – with an arbitrary multiset of colors for each car – were proposed and studied for the first time in 2004 by Epping, Hochstättler and...

To safeguard analytical tractability and the concavity of objective functions, the vast majority of models belonging to oligopoly theory relies on the restrictive assumption of linear demand functions. Here we lay out the analytical solution of a di erential Cournot game with hyperbolic inverse demand, where rms accumulate capacity over time à la Ramsey. The subgame perfect equilibrium is chara...

The main result of this paper is the development of a low depth carry lookahead addition technique based on threshold logic. The adders designed using this method are shown to have a very low logic depth and therefore reduced area and improved speed over conventional logic implementations.

Twelve years ago, PROCEEDINGS OF THE IEEE devoted a special section to the synchronous languages. This paper discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. The pa...