Composable safety certification envisions reuse of safety case argument-fragments together with safety-relevant components in order to reduce the cost and time needed to achieve certification. The argumentfragments could cover safety aspects relevant for different contexts in which the component can be used. Creating argument-fragments for the out-of-context components is time-consuming and cur...

The main problem considered is submodular set cover, the problem of minimizing a linear function under a nondecreasing submodular constraint, which generalizes both wellknown set cover and minimum matroid base problems. The problem is NP-hard, and two natural greedy heuristics are introduced along with analysis of their performance. As applications of these heuristics we consider various specia...

In this paper a schema of graphical parameters is proposed. Based on the parameter integrity introduced by Barefoot, Entringer and Swart, members Ψ(G) of this schema have the general form Ψ(G) = min{ |S| + ψ(G − S) : S ⊂ V (G) }, where ψ(G) is another given graphical parameter. Examples include integrity, mean integrity, connectivity and vertex cover number. General results and bounds for the s...

We show that there exists a Martin-Löf random degree which has a strong minimal cover.

This paper presents an econometric analysis of land-cover change in western Honduras. Ground-truthed satellite image analysis indicates that between 1987 and 1996, net reforestation occurred in the 1,015.12 km study region. While some reforestation can be attributed to a 1987 ban on logging, the area of reforestation greatly exceeds that of previously clear-cut areas. Further, new area was also...

Global agricultural monitoring utilizes a variety of Earth observations (EO) data spanning different spectral, spatial, and temporal resolutions in order to gather information on crop area, type, condition, calendar, and yield, among other applications. Categorical requirements for space-based monitoring of major agricultural production areas have been articulated based on best practices establ...

In this paper we consider a class of partially observed dynamic systems with measurement uncertainty and present a technique for design of optimal linear output feedback controls to minimize the maximum risk. This is then extended to cover systems with uncertainty in the measurement as well as in the dynamics. These results are presented in the form of necessary conditions of optimality. Theore...