...

Composite materials offer an appealing combination of low weight and high strength that is especially sought after in high-performance applications. The use of composite materials has and is continuing to increase, and the use of the material has been shown to provide substantial weight savings in for example aircraft design. With an increased use of composite materials follows an increased dem...

Article history: Received 30 September 2007 Accepted 11 December 2008 Available online30December2008

In this course, one main objective is to demonstrate the wide applicability of operations research tools to real systems. Hence, we will focus on modeling and analysis of various economic and social problems as illustrated by examples from the literature. Although we will not cover any solution technique in depth, we will introduce some new analysis tools that are typically outside the scope of...

An exponential dominating set of graph $G = (V,E )$ is a subset $Ssubseteq V(G)$ such that $sum_{uin S}(1/2)^{overline{d}{(u,v)-1}}geq 1$ for every vertex $v$ in $V(G)-S$, where $overline{d}(u,v)$ is the distance between vertices $u in S$ and $v  in V(G)-S$ in the graph $G -(S-{u})$. The exponential domination number, $gamma_{e}(G)$, is the smallest cardinality of an exponential dominating set....

Web service composition is the process of synthesizing a new composite service using a set of available Web services in order to satisfy a client request that cannot be treated by any available Web services. The Web services space is a dynamic environment characterized by a huge number of elements. Furthermore, many Web services are offering similar functionalities. In this paper we propose a m...

M 2 RTSS is a main-memory storage system, which has been under recent development at Seoul National University as a vehicle for high-performance and real-time database application research. To deal with requirements from various applications, M 2 RTSS architecture is designed to have extensibility in many aspects of storage system functionality. One crucial aspect of such extensibility is that ...

In recent work, symmetric dagger-monoidal (SDM) categories have emerged as a convenient categorical formalization of quantum mechanics. The objects represent physical systems, the morphisms physical operations, whereas the tensors describe composite systems. Classical data turn out to correspond to Frobenius algebras with some additional properties. They express the distinguishing capabilities ...

We give necessary conditions for the mixing of states on bipartite quantum systems, which are independent of the eigenvalues of these mixed states and based on the algebraic-geometric invariants introduced in [1]. These are further constraints except the previously known constraints based on majorization of eigenvalues ([2,3,4]). One implication of our results is that for some special mixed sta...