MaxSAT Evaluation 2020 - Benchmark: Identifying maximum probability minimal cut sets in fault trees

This paper presents a MaxSAT benchmark focused on the identification of Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We address the MPMCS problem by transforming the input fault tree into a weighted logical formula that is then used to build and solve a Weighted Partial MaxSAT problem. The benchmark includes 80 cases with fault trees of different size and composition as well as the optimal cost and solution for each case

Derby Fisheries, Individual Quotas, and Transition in the Fish Processing Industry

Processors adapt to the pulse of landings in derby fisheries by investing in large-scale facilities capable of preserving and storing fish products. In fisheries where the pulse of landings suppresses the ability of processors to meet consumer demand for fresh product, the imposition of individual quota (IQ) systems transforms the associated fish processing industry. The cost of fresh fish processing is generally lower and more malleable than that for preserved fish, and consumers may pay a price premium for fresh product, which creates an opportunity for entry by fresh-fish processors and results in higher equilibrium ex-vessel prices. Incumbent firms are likely to experience an economic dislocation due to a diminished value of nonmalleable capital used to preserve and store fish products. Our paper generalizes and provides a modeling framework for the observed changes in the British Columbian halibut harvester/processor industry complex following the introduction of an IQ system.Derby fishery, individual quotas, pulse of landings, fish processing, fresh fish, preserved fish, product forms, ex-vessel price, wholesale fish price, processing capital, malleability, Resource /Energy Economics and Policy, Q13, Q22,

A Cost Comparison of Treatments of Moderate to Severe Psoriasis

This study of the efficacy and cost-effectiveness of moderate to severe psoriasis treatments compared phototherapy, oral systemic agents, and biologics from a managed health care systems perspective. A literature review was conducted to identify published studies reporting Psoriasis Area and Severity Index (PASI) percentage improvement from baseline (PASI%) for selected treatments. The researchers then calculated total annualized costs. For each treatment, annualized cost-effectiveness was calculated by dividing total annualized costs of treatment by PASI%. The costs necessary to achieve clinically meaningful outcomes (PASI50 and PASI75) were then calculated. Of 3886 articles examined, 16 studies met inclusion criteria. Oral systemic medications, UV therapy, and UV therapy combined with acitretin appear to be the most cost-effective therapies for moderate to severe psoriasis

History-sensitive versus future-sensitive approaches to security in distributed systems

We consider the use of aspect-oriented techniques as a flexible way to deal with security policies in distributed systems. Recent work suggests to use aspects for analysing the future behaviour of programs and to make access control decisions based on this; this gives the flavour of dealing with information flow rather than mere access control. We show in this paper that it is beneficial to augment this approach with history-based components as is the traditional approach in reference monitor-based approaches to mandatory access control. Our developments are performed in an aspect-oriented coordination language aiming to describe the Bell-LaPadula policy as elegantly as possible. Furthermore, the resulting language has the capability of combining both history- and future-sensitive policies, providing even more flexibility and power.Comment: In Proceedings ICE 2010, arXiv:1010.530

MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs

This paper presents a MaxSAT benchmark focused on identifying critical nodes in AND/OR graphs. We use AND/OR graphs to model Industrial Control Systems (ICS) as they are able to semantically grasp intricate logical interdependencies among ICS components. However, identifying critical nodes in AND/OR graphs is an NP-complete problem. We address this problem by efficiently transforming the input AND/OR graph-based model into a weighted logical formula that is then used to build and solve a Weighted Partial MaxSAT problem. The benchmark includes 80 cases with AND/OR graphs of different size and composition as well as the optimal cost and solution for each case

Serving GODAE Data and Products to the Ocean Community

The Global Ocean Data Assimilation Experiment (GODAE [http:// www.godae.org]) has spanned a decade of rapid technological development. The ever-increasing volume and diversity of oceanographic data produced by in situ instruments, remote-sensing platforms, and computer simulations have driven the development of a number of innovative technologies that are essential for connecting scientists with the data that they need. This paper gives an overview of the technologies that have been developed and applied in the course of GODAE, which now provide users of oceanographic data with the capability to discover, evaluate, visualize, download, and analyze data from all over the world. The key to this capability is the ability to reduce the inherent complexity of oceanographic data by providing a consistent, harmonized view of the various data products. The challenges of data serving have been addressed over the last 10 years through the cooperative skills and energies of many individuals