Synchronizing heuristics for weakly connected automata with various topologies

Since the problem of finding a shortest synchronizing sequence for an automaton is known to be NP-hard, heuristics algorithms are used to find synchronizing sequences. There are several heuristic algorithms in the literature for this purpose. However, even the most efficient heuristic algorithm in the literature has a quadratic complexity in terms of the number of states of the automaton, and therefore can only scale up to a couple of thousands of states. It was also shown before that if an automaton is not strongly connected, then these heuristic algorithms can be used on each strongly connected component separately. This approach speeds up these heuristic algorithms and allows them to scale to much larger number of states easily. In this paper, we investigate the effect of the topology of the automaton on the performance increase obtained by these heuristic algorithms. To this end, we consider various topologies and provide an extensive experimental study on the performance increase obtained on the existing heuristic algorithms. Depending on the size and the number of components, we obtain speed-up values as high as 10000x and more

Nondestructive Testing Potential of a Magnetoacoustic Storage Correlator (MASC)

A simple magnetoacoustic storage correlator (MASC) was tested as a pulse compressor in an ultrasonic nondestructive testing application. The pulse compression ratio reached was 30. Higher compression ratios are readily available through choice of different device lengths and device operating regime. The system is flexible; it is not limited to any particular type of large time-bandwidth signal. The correlator reference signal is easily programmable and erasable, and can be changed at any time. This system offers real-time correlation signal processing at a repetition rate that is only limited by the temporal length of the large time-bandwidth signal

Genome-wide diel growth state transitions in the diatom Thalassiosira pseudonana

Marine diatoms are important primary producers that thrive in diverse and dynamic environments. They do so, in theory, by sensing changing conditions and adapting their physiology accordingly. Using the model species Thalassiosira pseudonana, we conducted a detailed physiological and transcriptomic survey to measure the recurrent transcriptional changes that characterize typical diatom growth in batch culture. Roughly 40% of the transcriptome varied significantly and recurrently, reflecting large, reproducible cell-state transitions between four principal states: (i) "dawn," following 12 h of darkness; (ii ) "dusk," following 12 h of light; (iii ) exponential growth and nutrient repletion; and (iv) stationary phase and nutrient depletion. Increases in expression of thousands of genes at the end of the reoccurring dark periods (dawn), including those involved in photosynthesis (e.g., ribulose-1,5- bisphosphate carboxylase oxygenase genes rbcS and rbcL), imply large-scale anticipatory circadian mechanisms at the level of gene regulation. Repeated shifts in the transcript levels of hundreds of genes encoding sensory, signaling, and regulatory functions accompanied the four cell-state transitions, providing a preliminary map of the highly coordinated gene regulatory program under varying conditions. Several putative light sensing and signaling proteins were associated with recurrent diel transitions, suggesting that these genes may be involved in light-sensitive and circadian regulation of cell state. These results begin to explain, in comprehensive detail, how the diatom gene regulatory program operates under varying environmental conditions. Detailed knowledge of this dynamic molecular process will be invaluable for new hypothesis generation and the interpretation of genetic, environmental, and metatranscriptomic data from field studies

Parameter Reduction in Log-normal Chain-ladder Models

Multiplicative chain-ladder (CL) models are characterized by CL factors that explain the development of claims from one period to the next. In classical CL models every development period has its own CL factor. In the present paper we give a method describing how some of these CL factors can be modeled by a joint functional dependence. This joint functional form reduces the number of model parameters needed

Software for full-color 3D reconstruction of the biological tissues internal structure

A software for processing sets of full-color images of biological tissue histological sections is developed. We used histological sections obtained by the method of high-precision layer-by-layer grinding of frozen biological tissues. The software allows restoring the image of the tissue for an arbitrary cross-section of the tissue sample. Thus, our method is designed to create a full-color 3D reconstruction of the biological tissue structure. The resolution of 3D reconstruction is determined by the quality of the initial histological sections. The newly developed technology available to us provides a resolution of up to 5 - 10 {\mu}m in three dimensions.Comment: 11 pages, 8 figure

Two-step stabilization of orbital order and the dynamical frustration of spin in the model charge-transfer insulator KCuF3

We report a combined experimental and theoretical study of KCuF3, which offers - because of this material's relatively simple lattice structure and valence configuration (d9, i.e., one hole in the d-shell) - a particularly clear view of the essential role of the orbital degree of freedom in governing the dynamical coupling between the spin and lattice degrees of freedom. We present Raman and x-ray scattering evidence that the phase behaviour of KCuF3 is dominated above the Neel temperature (T_N = 40 K) by coupled orbital/lattice fluctuations that are likely associated with rotations of the CuF6 octahedra, and we show that these orbital fluctuations are interrupted by a static structural distortion that occurs just above T_N. A detailed model of the orbital and magnetic phases of KCuF3 reveals that these orbital fluctuations - and the related frustration of in-plane spin-order-are associated with the presence of nearly degenerate low-energy spin-orbital states that are highly susceptible to thermal fluctuations over a wide range of temperatures. A striking implication of these results is that the ground state of KCuF3 at ambient pressure lies near a quantum critical point associated with an orbital/spin liquid phase that is obscured by emergent Neel ordering of the spins; this exotic liquid phase might be accessible via pressure studies.Comment: 13 pages, 3 figure

A Geometric Approach to CP Violation: Applications to the MCPMFV SUSY Model

We analyze the constraints imposed by experimental upper limits on electric dipole moments (EDMs) within the Maximally CP- and Minimally Flavour-Violating (MCPMFV) version of the MSSM. Since the MCPMFV scenario has 6 non-standard CP-violating phases, in addition to the CP-odd QCD vacuum phase \theta_QCD, cancellations may occur among the CP-violating contributions to the three measured EDMs, those of the Thallium, neutron and Mercury, leaving open the possibility of relatively large values of the other CP-violating observables. We develop a novel geometric method that uses the small-phase approximation as a starting point, takes the existing EDM constraints into account, and enables us to find maximal values of other CP-violating observables, such as the EDMs of the Deuteron and muon, the CP-violating asymmetry in b --> s \gamma decay, and the B_s mixing phase. We apply this geometric method to provide upper limits on these observables within specific benchmark supersymmetric scenarios, including extensions that allow for a non-zero \theta_QCD.Comment: 34 pages, 16 eps figures, to appear in JHE

Clinical assessment of hand oedema: A systematic review

Introduction: Assessment of oedema after trauma or surgery is important to determine whether treatment is effective and to detect change over time. Volumetry is referred to as the ‘gold standard’ method of measuring volume. However, this has practical limitations and other methods are available. The aim of this systematic review was to evaluate the psychometric properties of alternative methods used to assess hand oedema. Methods: A search of electronic bibliographic databases was undertaken for any studies published in English reporting the psychometric evaluation of a method for measuring hand oedema, in an adult population with hand swelling from surgery, trauma or stroke. The Consensus‐based Standards for the Selection of health Measurement Instruments (COSMIN) checklist was used to evaluate the methodological quality. Results: Six studies met the inclusion criteria. Three methods were identified assessing hand oedema: perometry, visual inspection and the figure-of-eight tape measure, all were compared to volumetry. Four different psychometric properties were assessed. Studies scored fair or poor on COSMIN criteria. There is low-quality evidence supporting the use of the figure-of-eight tape measure to assess hand volume. The perometer systematically overestimated volume and visual estimation had poor sensitivity and specificity. Discussion: The figure-of-eight tape measure is the best alternative to volumetry for hand oedema. Benefits include reduced cost and time while having comparable reliability to the ‘gold standard’. Further research is needed to compare methods in patients with greater variability of conditions and with isolated digit oedema. Visual estimation of hand oedema is not recommended

Stellar spectroscopy: Fermions and holographic Lifshitz criticality

Electron stars are fluids of charged fermions in Anti-de Sitter spacetime. They are candidate holographic duals for gauge theories at finite charge density and exhibit emergent Lifshitz scaling at low energies. This paper computes in detail the field theory Green's function G^R(w,k) of the gauge-invariant fermionic operators making up the star. The Green's function contains a large number of closely spaced Fermi surfaces, the volumes of which add up to the total charge density in accordance with the Luttinger count. Excitations of the Fermi surfaces are long lived for w <~ k^z. Beyond w ~ k^z the fermionic quasiparticles dissipate strongly into the critical Lifshitz sector. Fermions near this critical dispersion relation give interesting contributions to the optical conductivity.Comment: 38 pages + appendices. 9 figure

Bovine explant model of degeneration of the intervertebral disc

BACKGROUND: Many new treatments for degeneration of the intervertebral disc are being developed which can be delivered through a needle. These require testing in model systems before being used in human patients. Unfortunately, because of differences in anatomy, there are no ideal animal models of disc degeneration. Bovine explant model systems have many advantages but it is not possible to inject any significant volume into an intact disc. Therefore we have attempted to mimic disc degeneration in an explant bovine model via enzymatic digestion. METHODS: Bovine coccygeal discs were incubated with different concentrations of the proteolytic enzymes, trypsin and papain, and maintained in culture for up to 3 weeks. A radio-opaque solution was injected to visualise cavities generated. Degenerative features were monitored histologically and biochemically (water and glycosaminoglycan content, via dimethylmethylene blue). RESULTS AND CONCLUSION: The central region of both papain and trypsin treated discs was macro- and microscopically fragmented, with severe loss of metachromasia. The integrity of the surrounding tissue was mostly in tact with cells in the outer annulus appearing viable. Biochemical analysis demonstrated greatly reduced glycosaminoglycan content in these compared to untreated discs. We have shown that bovine coccygeal discs, treated with proteolytic enzymes can provide a useful in vitro model system for developing and testing potential new treatments of disc degeneration, such as injectable implants or biological therapies