Compliance by design – Bridging the chasm between auditors and IT architects

System and process auditors assure – from an information processing perspective – the correctness and integrity of the data that is aggregated in a company’s financial statements. To do so, they assess whether a company’s business processes and information systems process financial data correctly. The audit process is a complex endeavor that in practice has to rely on simplifying assumptions. These simplifying assumptions mainly result from the need to restrict the audit scope and to focus it on the major risks. This article describes a generalized audit process. According to our experience with this process, there is a risk that material deficiencies remain undiscovered when said simplifying assumptions are not satisfied. To address this risk of deficiencies, the article compiles thirteen control patterns, which – according to our experience – are particularly suited to help information systems satisfy the simplifying assumptions. As such, use of these proven control patterns makes information systems easier to audit and IT architects can use them to build systems that meet audit requirements by design. Additionally, the practices and advice offered in this interdisciplinary article help bridge the gap between the architects and auditors of information systems and show either role how to benefit from an understanding of the other role’s terminology, techniques, and general work approach.     

Trimmed bagging

Bagging has been found to be successful in increasing the predictive performance of unstable classifiers. Bagging draws bootstrap samples from the training sample, applies the classifier to each bootstrap sample, and then averages over all obtained classification rules. The idea of trimmed bagging is to exclude the bootstrapped classification rules that yield the highest error rates, as estimated by the out-of-bag error rate, and to aggregate over the remaining ones. In this note we explore the potential benefits of trimmed bagging. On the basis of numerical experiments, we conclude that trimmed bagging performs comparably to standard bagging when applied to unstable classifiers as decision trees, but yields better results when applied to more stable base classifiers, like support vector machines.     

On the (Non-)Existence of Polynomial Kernels for P l -Free Edge Modification Problems

Given a graph G=(V,E) and a positive integer k, an edge modification problem for a graph property Π consists in deciding whether there exists a set F of pairs of V of size at most k such that the graph $H=(V,E\vartriangle F)$ satisfies the property Π. In the Π edge-completion problem, the set F is constrained to be disjoint from E; in the Π edge-deletion problem, F is a subset of E; no constraint is imposed on F in the Π edge-editing problem. A number of optimization problems can be expressed in terms of graph modification problems which have been extensively studied in the context of parameterized complexity (Cai in Inf. Process. Lett. 58:171–176, 1996; Fellows et al. in FCT, pp. 312–321, 2007; Heggernes et al. in STOC, pp. 374–381, 2007). When parameterized by the size k of the set F, it has been proved that if Π is a hereditary property characterized by a finite set of forbidden induced subgraphs, then the three Π edge-modification problems are FPT (Cai in Inf. Process. Lett. 58:171–176, 1996). It was then natural to ask (Bodlaender et al. in IWPEC, 2006) whether these problems also admit a polynomial kernel. in polynomial time to an equivalent instance (G′,k′) with size bounded by a polynomial in k). Using recent lower bound techniques, Kratsch and Wahlström answered this question negatively (Kratsch and Wahlström in IWPEC, pp. 264–275, 2009). However, the problem remains open on many natural graph classes characterized by forbidden induced subgraphs. question to characterize for which type of graph properties, the parameterized edge-modification problems have polynomial kernels. Kratsch and Wahlström asked whether the result holds when the forbidden subgraphs are paths or cycles and pointed out that the problem is already open in the case of P ₄-free graphs (i.e. cographs). This paper provides positive and negative results in that line of research. We prove that Parameterized cograph edge-modification problems have cubic vertex kernels whereas polynomial kernels are unlikely to exist for the P _l -free edge-deletion and the C _l -free edge-deletion problems for l?7 and l≥4 respectively. Indeed, if they exist, then NP?coNP/poly.     

Influenza virus NS1 protein interacts with the cellular 30 kDa subunit of CPSF and inhibits 3'end formation of cellular pre-mRNAs

Inhibition of the nuclear export of poly(A)-containing mRNAs caused by the influenza A virus NS1 protein requires its effector domain. Here, we demonstrate that the NS1 effector domain functionally interacts with the cellular 30 kDa subunit of CPSF, an essential component of the 3' end processing machinery of cellular pre-mRNAs. In influenza virus-infected cells, the NS1 protein is physically associated with CPSF 30 kDa. Binding of the NS1 protein to the 30 kDa protein in vitro prevents CPSF binding to the RNA substrate and inhibits 3' end cleavage and polyadenylation of host pre-mRNAs. The NS1 protein also inhibits 3' end processing in vivo, and the uncleaved pre-mRNA remains in the nucleus. Via this novel regulation of pre-mRNA 3' end processing, the NS1 protein selectively inhibits the nuclear export of cellular, and not viral, mRNAs.     

On the study of catalytic membrane reactor for water detritiation: Membrane characterization

Tritium waste recycling is a real economic and ecological issue. Generally under the non-valuable Q₂O form (Q = H, D or T), waste can be converted into fuel Q₂ for a fusion machine (e.g. JET, ITER) by isotope exchange reaction Q₂O + H₂ = H₂O + Q₂. Such a reaction is carried out over Ni-based catalyst bed packed in a thin wall hydrogen permselective membrane tube. This catalytic membrane reactor can achieve higher conversion ratios than conventional fixed bed reactors by selective removal of reaction product Q₂ by the membrane according to Le Chatelier's Law.This paper presents some preliminary permeation tests performed on a catalytic membrane reactor. Permeabilities of pure hydrogen and deuterium as well as those of binary mixtures of hydrogen, deuterium and nitrogen have been estimated by measuring permeation fluxes at temperatures ranging from 573 to 673 K, and pressure differences up to 1.5 bar. Pure component global fluxes were linked to permeation coefficient by means of Sieverts’ law. The thin membrane (150 μm), made of Pd–Ag alloy (23 wt.%_Ag), showed good permeability and infinite selectivity toward protium and deuterium. Lower permeability values were obtained with mixtures containing non permeable gases highlighting the existence of gas phase resistance. The sensitivity of this concentration polarization phenomenon to the composition and the flow rate of the inlet was evaluated and fitted by a two-dimensional model.     

Technical developments at the KIT gyrotron test facility

Parasitic beam tunnel oscillations have been discovered on some of the series production gyrotrons for W7-X and also on the coaxial pre-prototype gyrotron for ITER. Solutions to remedy these problems have resulted in a modified beam tunnel design, technologically close to the existing beam tunnel. The new design has successfully been tested on both the coaxial and also the f-step-tunable gyrotrons and has subsequently been implemented on one of the W7-X series-production-tubes presently undergoing factory acceptance tests in Karlsruhe.The ECRH test loads at KIT are operated under normal atmospheric conditions. Several loads have eventually failed in 1 MW long pulse experiments and KIT has therefore started to design its own loads. The first KIT-load is based on a fixed conical mirror and an aluminum cylinder coated with a lossy material for increased absorption. The new load has so far successfully been used during the acceptance tests of two 1-MW CW gyrotrons. Nevertheless a new load based on pure (uncoated) stainless steel absorbers is being developed as a backup solution for the ongoing high priority gyrotron testing.A superconducting magnet capable of rapid field changes between 4.15 and 5.67 T for frequency step-tunable gyrotrons has been procured, has demonstrated a (static) field of 7.2 T and its capability of rapid field-changes.     

The null mutant of the U(L)31 gene of herpes simplex virus 1: construction and phenotype in infected cells

Earlier studies have shown that the U(L)31 protein is homogeneously distributed throughout the nucleus and cofractionates with nuclear matrix. We report the construction from an appropriate cosmid library a deletion mutant which replicates in rabbit skin cells carrying the U(L)31 gene under a late (gamma1) viral promoter. The mutant virus exhibits cytopathic effects and yields 0.01 to 0.1% of the yield of wild-type parent virus in noncomplementing cells but amounts of virus 10- to 1,000-fold higher than those recovered from the same cells 3 h after infection. Electron microscopic studies indicate the presence of small numbers of full capsids but a lack of enveloped virions. Viral DNA extracted from the cytoplasm of infected cells exhibits free termini indicating cleavage/packaging of viral DNA from concatemers for packaging into virions, but analyses of viral DNAs by pulsed-field electrophoresis indicate that at 16 h after infection, both the yields of viral DNA and cleavage of viral DNA for packaging are decreased. The repaired virus cannot be differentiated from the wild-type parent. These results suggest the possibility that U(L)31 protein forms a network to enable the anchorage of viral products for the synthesis and/or packaging of viral DNA into virions.     

Comparison of thorium-based fuels with different fissile components in existing boiling water reactors

With the aim of investigating the technical feasibility of fuelling a conventional BWR (Boiling Water Reactor) with thorium-based fuel, computer simulations were carried out in a 2D infinite lattice model using CASMO-5. Four different fissile components were each homogenously combined with thorium to form mixed oxide pellets: Uranium enriched to 20% U-235 (LEU), plutonium recovered from spent LWR fuel (RGPu), pure U-233 and a mixture of RGPu and uranium recovered from spent thorium-based fuel. Based on these fuel types, four BWR nuclear fuel assembly designs were formed, using a conventional assembly geometry (GE14-N). The fissile content was chosen to give a total energy release equivalent to that of a UOX fuel bundle reaching a discharge burnup of about 55 MWd/kgHM. The radial distribution of fissile material was optimized to achieve low bundle internal radial power peaking. Reactor physical parameters were computed, and the results were compared to those of reference LEU and MOX bundle designs. It was concluded that a viable thorium-based BWR nuclear fuel assembly design, based on any of the fissile components, can be achieved. Neutronic parameters that are essential for reactor safety, like reactivity coefficients and control rod worths, are in most cases similar to those of LEU and MOX fuel. This is also true for the decay heat produced in irradiated fuel. However when Th is mixed with U-233, the void coefficient (calculated in 2D) can be positive under some conditions. It was concluded that it is very difficult to make savings of natural uranium by mixing LEU (20% U-235) homogenously with thorium and that mixing RGPu with thorium leads to more efficient consumption of Pu compared to MOX fuel.