We prove that finding a Nash equilibrium of a game is hard, assuming the existence of
indistinguishability obfuscation and one-way functions with sub-exponential hardness. We …

In this paper we present two mathematical formulations and a heuristic approach for the train
load planning problem of import containers at a seaport container terminal. The problem …

Mathematical notation is a structured, open, and ambiguous language. In order to support
mathematical notation in MKM applications one must necessarily take into account …

This paper describes a light-weight, content-based, functional query language. The
mathematical services query language (MSQL) has been developed for querying …

The recent Web services resource framework suite (WSRF) of evolving standards promises
to realize the merging of Web services with the statefull resource management specific for …

This paper describes a light-weight, content-based, functional query language. The
mathematical services query language (MSQL) has been developed for querying …

The amount of machine oriented data on the web as well as the deployment of agent/Web
Services are simultaneously increasing. This poses a service-discovery problem for client …

This paper describes a semantic extension to the Mathematical Services Query Language
(MSQL). MSQL is a language for querying registry-published mathematical Web service …

Service description and discovery offer complementary challenges, but in both cases, the
problem is finding the right trade-off between accuracy and generality that will result in a …

Recent software engineering concepts, like software as a service, allow the extension of the
legacy code lifetime and the reduction of software maintenance costs. In particular, exposing …