The crucial role of System of Systems (SoS) acquisition, in which multiple distributed systems that can (and do) operate independently assemble in networks and collaborate to achieve unique capabilities [1], has been increasingly recognized by various organizations and communities. The prevalence of SoS in acquisition community is a direct result of the severe acquisition failures in the past, ...

Hepatic sinusoidal obstruction syndrome (previously named veno-occlusive disease, SOS/VOD) is a serious complication of allogeneic stem cell transplantation (HSCT). Early identification of patients at risk of SOS/VOD may possibly improve the outcome and reduce mortality. Rotation thromboelastometry (ROTEM) is global assay allowing for the precise assessment of both bleeding and thrombotic condi...

Awidely usedmethod for determiningwhether amultivariate polynomial is a sum of squares of polynomials (SOS), called SOS decomposition, is to decide the feasibility of corresponding semi-definite programming (SDP) problem which can be efficiently solved in theory. In practice, although existing SDP solvers can work out some problems of big scale, the efficiency and reliability of such method dec...

The dnaQ gene of Escherichia coli encodes the ε subunit of DNA polymerase III, which provides the 3' → 5' exonuclease proofreading activity of the replicative polymerase. Prior studies have shown that loss of ε leads to high mutation frequency, partially constitutive SOS, and poor growth. In addition, a previous study from our laboratory identified dnaQ knockout mutants in a screen for mutants ...

Resilience is the ability of a system or organization to react to and recover from disturbances with minimal effect on its dynamic stability. While the resilience of system-of systems (SoSs) depends on the reliability of their constituent systems, traditional reliability approaches cannot adequately quantify their resilience. Given the heterogeneity and often wide geographic distribution of SoS...

The Escherichia coli SOS system is a well-established model for the cellular response to DNA damage. Control of SOS depends largely on the RecA protein. When RecA is activated by single-stranded DNA in the presence of a nucleotide triphosphate cofactor, it mediates cleavage of the LexA repressor, leading to expression of the 30(+)-member SOS regulon. RecA activation generally requires the intro...

Facial reduction algorithm reduces the size of the positive semidefinite cone in SDP. The elimination method for a sparse SOS polynomial ([3]) removes unnecessary monomials for an SOS representation. In this paper, we establish a relationship between a facial reduction algorithm and the elimination method for a sparse SOS polynomial.

This paper presents an experimental investigation of the Sounds of Silence (SoS) harmony search metaheuristic for the multi-mode resource-constrained project scheduling problem (MRCPSP) using a pre-optimized starting repertoire. The presented algorithm is based on the time oriented version of the SoS harmony search metaheuristic developed by Csébfalvi et al. [1] for the single-mode resource-con...

Plotkin’s style of Structural Operational Semantics (SOS) has become a de facto standard in giving operational semantics to formalisms and process calculi. In many such formalisms and calculi, the concepts of names, variables and binders are essential ingredients. In this paper, we propose a formal framework for dealing with names in SOS. The framework is based on the Nominal Logic of Gabbay an...