Hilbert-Post completeness for the state and the exception effects

In this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states effect, our framework can be seen as a generalization of Pretnar's work on this subject. We first introduce a relative notion of Hilbert-Post completeness, well-suited to the composition of effects. Then we prove that the exception effect is relatively Hilbert-Post complete, as well as the "core" language which may be used for implementing it; these proofs have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC

Contractual heterogeneity in strategic alliances.

We investigate firms' alliance design choices by examining alliances as multifaceted contractual forms. The analysis explores the contractual heterogeneity underlying alternative governance structures for alliances, the bundling of different contractual provisions, and the dimensionality of the contractual completeness construct. The empirical evidence indicates that the complexity of collaborative agreements ­in terms of the number and stringency of provisions­ is greater for alliances that are strategically important and that involve high levels of asset specificity. Factor analysis of tetrachoric correlations among eight contractual provisions reveals two distinct dimensions of contractual completeness. Partners with prior collaborative relationships tend to institute fewer contractual provisions for monitoring and control of an alliance. Relative to open-ended contractual agreements, time-bound alliances tend to rely less heavily on such provisions, but more so on safeguards concerning confidential and proprietary information, alliance termination, and the adjudication of disputes by third parties.alliance design; governance structures; collaborative agreements; alliance termination;

Beyond the Chart: The use of Satellite Remote Sensing for Assessing the Adequacy and Completeness Information

Chart adequacy and completeness information consists of the symbols, abbreviations and warnings used to inform mariners of the level of confidence that should be given to data on a nautical chart. This information is derived both from the nautical chart and sailing directions. However, analysis based solely on these datasets is limited without access to the sources (e.g., smooth sheets). Publically-available, multi-spectral satellite imagery and published algorithms can be used to derive estimates of the relative bathymetry in shallow, clear waters. In this study, we evaluate the potential of these methods for supplementing the procedure to assess the adequacy of hydrographic surveying and nautical charting coverage. Optically-derived bathymetry provides information in areas that have not been surveyed and monitor any seafloor changes that may have occurred since the last survey of the area. Preliminary results show that multi-spectral satellite remote sensing is also potentially beneficial as a reconnaissance tool prior to a hydrographic acoustic survey

Computing quantum discord is NP-complete

We study the computational complexity of quantum discord (a measure of quantum correlation beyond entanglement), and prove that computing quantum discord is NP-complete. Therefore, quantum discord is computationally intractable: the running time of any algorithm for computing quantum discord is believed to grow exponentially with the dimension of the Hilbert space so that computing quantum discord in a quantum system of moderate size is not possible in practice. As by-products, some entanglement measures (namely entanglement cost, entanglement of formation, relative entropy of entanglement, squashed entanglement, classical squashed entanglement, conditional entanglement of mutual information, and broadcast regularization of mutual information) and constrained Holevo capacity are NP-hard/NP-complete to compute. These complexity-theoretic results are directly applicable in common randomness distillation, quantum state merging, entanglement distillation, superdense coding, and quantum teleportation; they may offer significant insights into quantum information processing. Moreover, we prove the NP-completeness of two typical problems: linear optimization over classical states and detecting classical states in a convex set, providing evidence that working with classical states is generically computationally intractable.Comment: The (published) journal version http://iopscience.iop.org/1367-2630/16/3/033027/article is more updated than the arXiv versions, and is accompanied with a general scientific summary for non-specialists in computational complexit

Strategy Selection for Product Service Systems Using Case-based Reasoning

A product service system integrates products and services in order to lower environmental impact. It can achieve good eco-efficiency and has received increase in the last decade. This study focuses on strategy selection for product service system design. Case-based reasoning is utilized to provide suggestions for finding an appropriate strategy. To build a case database, successful PSS cases from the literature and websites were collected and formulated. Twelve indices under three categories were analyzed and selected to describe cases. A lot of successful PSS cases and their information were collected. Forty seven cases were used in this study because of the completeness of information. The analytic hierarchic process is used to find the relative weights of the factors that relate to the selection of customers. These weights are used in calculating the similarity in the case-based reasoning process. The successful strategy of the most similar case is extracted and recommended for PSS strategy determination. More than 90% of tested cases obtained an appropriate strategy from the most similar case. Finally, two new products are introduced to find the best strategy for product service system design and development using the proposed case-based reasoning system