Universal Image Steganalytic Method

In the paper we introduce a new universal steganalytic method in JPEG file format that is detecting well-known and also newly developed steganographic methods. The steganalytic model is trained by MHF-DZ steganographic algorithm previously designed by the same authors. The calibration technique with the Feature Based Steganalysis (FBS) was employed in order to identify statistical changes caused by embedding a secret data into original image. The steganalyzer concept utilizes Support Vector Machine (SVM) classification for training a model that is later used by the same steganalyzer in order to identify between a clean (cover) and steganographic image. The aim of the paper was to analyze the variety in accuracy of detection results (ACR) while detecting testing steganographic algorithms as F5, Outguess, Model Based Steganography without deblocking, JP Hide&Seek which represent the generally used steganographic tools. The comparison of four feature vectors with different lengths FBS (22), FBS (66) FBS(274) and FBS(285) shows promising results of proposed universal steganalytic method comparing to binary methods

MIRU-VNTR genotyping of Mycobacterium tuberculosis strains using QIAxcel technology: a multicentre evaluation study

Molecular genotyping of M.tuberculosis is an important laboratory tool in the context of emerging drug resistant TB. The standard 24-loci MIRU-VNTR typing includes PCR amplification followed by the detection and sizing of PCR fragments using capillary electrophoresis on automated sequencers or using agarose gels. The QIAxcel Advanced system might offer a cost-effective medium-throughput alternative.Performance characteristics of the QIAxcel Advanced platform for the standard 24 VNTR loci panel was evaluated at two centres on a total of 140 DNA specimens using automated capillary electrophoresis as a reference method. Additionally 4 hypervariable MIRU-VNTR loci were evaluated on 53 crude DNA extracts. The sizing accuracy, interlaboratory reproducibility and overall instrument's performance were assessed during the study.An overall concordance with the reference method was high reaching 98.5% and 97.6% for diluted genomic and crude DNA extracts respectively. 91.4% of all discrepancies were observed in fragments longer than 700bp. The concordance for hypervariable loci was lower except for locus 4120 (96.2%). The interlaboratory reproducibility agreement rates were 98.9% and 91.3% for standard and hypervariable loci, respectively. Overall performance of the QIAxcel platform for M.tuberculosis genotyping using a panel of standard loci is comparable to that of established methods for PCR fragments up to 700bp. Inaccuracies in sizing of longer fragments could be resolved through using in-house size markers or introduction of offset values. To conclude, the QiaXcel system could be considered an effective alternative to existing methods in smaller reference and regional laboratories offering good performance and shorter turnaround times

4-Dimensional BF Theory as a Topological Quantum Field Theory

Starting from a Lie group G whose Lie algebra is equipped with an invariant nondegenerate symmetric bilinear form, we show that 4-dimensional BF theory with cosmological term gives rise to a TQFT satisfying a generalization of Atiyah's axioms to manifolds equipped with principal G-bundle. The case G = GL(4,R) is especially interesting because every 4-manifold is then naturally equipped with a principal G-bundle, namely its frame bundle. In this case, the partition function of a compact oriented 4-manifold is the exponential of its signature, and the resulting TQFT is isomorphic to that constructed by Crane and Yetter using a state sum model, or by Broda using a surgery presentation of 4-manifolds.Comment: 15 pages in LaTe

Cross-shell excitation in two-proton knockout: Structure of 52^{52}Ca

The two-proton knockout reaction $^9$Be($^{54}$Ti,$^{52}$Ca$+ \gamma$) has been studied at 72 MeV/nucleon. Besides the strong feeding of the $^{52}$Ca ground state, the only other sizeable cross section proceeds to a 3$^-$ level at 3.9 MeV. There is no measurable direct yield to the first excited 2$^+$ state at 2.6 MeV. The results illustrate the potential of such direct reactions for exploring cross-shell proton excitations in neutron-rich nuclei and confirms the doubly-magic nature of $^{52}$Ca

Completeness and Incompleteness of Synchronous Kleene Algebra

Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), was proposed by Prisacariu as a tool for reasoning about programs that may execute synchronously, i.e., in lock-step. We provide a countermodel witnessing that the axioms of SKA are incomplete w.r.t. its language semantics, by exploiting a lack of interaction between the synchronous product operator and the Kleene star. We then propose an alternative set of axioms for SKA, based on Salomaa's axiomatisation of regular languages, and show that these provide a sound and complete characterisation w.r.t. the original language semantics.Comment: Accepted at MPC 201

Chern-Simons Field Theories with Non-semisimple Gauge Group of Symmetry

Subject of this work is a class of Chern-Simons field theories with non-semisimple gauge group, which may well be considered as the most straightforward generalization of an Abelian Chern-Simons field theory. As a matter of fact these theories, which are characterized by a non-semisimple group of gauge symmetry, have cubic interactions like those of non-abelian Chern-Simons field theories, but are free from radiative corrections. Moreover, at the tree level in the perturbative expansion,there are only two connected tree diagrams, corresponding to the propagator and to the three vertex originating from the cubic interaction terms. For such theories it is derived here a set of BRST invariant observables, which lead to metric independent amplitudes. The vacuum expectation values of these observables can be computed exactly. From their expressions it is possible to isolate the Gauss linking number and an invariant of the Milnor type, which describes the topological relations among three or more closed curves.Comment: 16 pages, 1 figure, plain LaTeX + psfig.st

Partial derivative automata formalized in Coq

In this paper we present a computer assisted proof of the correctness of a partial derivative automata construction from a regular expression within the Coq proof assistant. This proof is part of a for- malization of Kleene algebra and regular languages in Coq towards their usage in program certification.Fundação para a Ciência e Tecnologia (FCT) Program POSI, RESCUE (PTDC/EIA/65862/2006), SFRH/BD/33233/2007

Non Abelian BF theories with sources and 2-D gravity

We study the interaction of non-Abelian topological $BF$ theories defined on two dimensional manifolds with point sources carrying non-Abelian charges. We identify the most general solution for the field equations on simply and multiply connected two-manifolds. Taking the particular choice of the so-called extended Poincar\'e group as the gauge group we discuss how recent discussions of two dimensional gravity models do fit in this formalism.Comment: 20 pages, Latex, To appear in Phys Rev D5

How magic is the magic 68Ni nucleus?

We calculate the B(E2) strength in 68Ni and other nickel isotopes using several theoretical approaches. We find that in 68Ni the gamma transition to the first 2+ state exhausts only a fraction of the total B(E2) strength, which is mainly collected in excited states around 5 MeV. This effect is sensitive to the energy splitting between the fp shell and the g_{9/2}orbital. We argue that the small experimental B(E2) value is not strong evidence for the double-magic character of 68Ni.Comment: 4 pages, 4 figure