A coalgebraic definition of finite and infinite trace semantics for probabilistic transition systems has recently been given using a certain Kleisli category. In this paper this semantics is developed using a coalgebraic method which is an instance of general determinization. Once applied to discrete systems, this point of view allows the exploitation of the determinized structure by up-to tech...

The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advantages but also several disadvantages with respect to software construction. Hybrid languages featuring both prototype-based and class-based mechanisms have been proposed as a solution. Unfortunately these languages not only unify...

This paper presents a new method for company failure prediction using probabilistic neural networks. The method extracts templates through a supervised learning. Each template represents the companies having similar financial performance. A comparison between a company and a template can find out some financial problems occurring to a company and an early warning can be given if necessary. The ...

Background: Information Technology (IT) has reached a level of maturity, where IT can really meet the complexity of the construction industry. IT has reached the ability to support construction not just any more in the facilitating processes as financial services and human resources management (HR), but also to play a key role in the primary process due to the development of the building inform...

1. Problems Setting One of the tasks of the Construction office of company STOBET Ltd is to create large sheets of paper containing a lot of objects describing a building construction as tables, charts, drawings, etc. For this reason it is necessary to arrange the small patterns in a given long sheet of paper with a minimum wastage. Another task of the company is to provide a way of cutting a s...