Some biological features of Saprolegnia parasitica Coker - cause of fish dermatomycosis. [Translation from: Pervaya nauchnaya konferentsiya molodykh Uchenykh Biologov (Tezisy Dokladov) pp.84-86. Kiev, A.N.Ukr. SSR., 1964]

Parasitic and infectious diseases of fish, of wide distribution in fish-rearing ponds, retard to a significant extent the development of fish culture in the Ukraine. One of the diseases of fish attracting attention in connection with the general distribution of its causative agent, the fungus Saprolegnia parasitica Coker, in water-bodies of various types, appears to be dermatomycosis. The aim of this investigation is to study the conditions favouring the development of S. parasitica. Among the studied factors were water temperature and oxygen content

Model C critical dynamics of random anisotropy magnets

We study the relaxational critical dynamics of the three-dimensional random anisotropy magnets with the non-conserved n-component order parameter coupled to a conserved scalar density. In the random anisotropy magnets the structural disorder is present in a form of local quenched anisotropy axes of random orientation. When the anisotropy axes are randomly distributed along the edges of the n-dimensional hypercube, asymptotical dynamical critical properties coincide with those of the random-site Ising model. However structural disorder gives rise to considerable effects for non-asymptotic critical dynamics. We investigate this phenomenon by a field-theoretical renormalization group analysis in the two-loop order. We study critical slowing down and obtain quantitative estimates for the effective and asymptotic critical exponents of the order parameter and scalar density. The results predict complex scenarios for the effective critical exponent approaching an asymptotic regime.Comment: 8 figures, style files include

Critical behavior of the 2D Ising model with long-range correlated disorder

We study critical behavior of the diluted 2D Ising model in the presence of disorder correlations which decay algebraically with distance as $\sim r^{-a}$. Mapping the problem onto 2D Dirac fermions with correlated disorder we calculate the critical properties using renormalization group up to two-loop order. We show that beside the Gaussian fixed point the flow equations have a non trivial fixed point which is stable for $0.995<a<2$ and is characterized by the correlation length exponent $\nu= 2/a + O((2-a)^3)$. Using bosonization, we also calculate the averaged square of the spin-spin correlation function and find the corresponding critical exponent $\eta_2=1/2-(2-a)/4+O((2-a)^2)$.Comment: 14 pages, 3 figures, revtex

Deciding Entailments in Inductive Separation Logic with Tree Automata

Separation Logic (SL) with inductive definitions is a natural formalism for specifying complex recursive data structures, used in compositional verification of programs manipulating such structures. The key ingredient of any automated verification procedure based on SL is the decidability of the entailment problem. In this work, we reduce the entailment problem for a non-trivial subset of SL describing trees (and beyond) to the language inclusion of tree automata (TA). Our reduction provides tight complexity bounds for the problem and shows that entailment in our fragment is EXPTIME-complete. For practical purposes, we leverage from recent advances in automata theory, such as inclusion checking for non-deterministic TA avoiding explicit determinization. We implemented our method and present promising preliminary experimental results

Complete microtubule–kinetochore occupancy favours the segregation of merotelic attachments

Kinetochores are multi-protein complexes that power chromosome movements by tracking microtubules plus-ends in the mitotic spindle. Human kinetochores bind up to 20 microtubules, even though single microtubules can generate sufficient force to move chromosomes. Here, we show that high microtubule occupancy at kinetochores ensures robust chromosome segregation by providing a strong mechanical force that favours segregation of merotelic attachments during anaphase. Using low doses of the microtubules-targeting agent BAL27862 we reduce microtubule occupancy and observe that spindle morphology is unaffected and bi-oriented kinetochores can still oscillate with normal intra-kinetochore distances. Inter-kinetochore stretching is, however, dramatically reduced. The reduction in microtubule occupancy and inter-kinetochore stretching does not delay satisfaction of the spindle assembly checkpoint or induce microtubule detachment via Aurora-B kinase, which was so far thought to release microtubules from kinetochores under low stretching. Rather, partial microtubule occupancy slows down anaphase A and increases incidences of lagging chromosomes due to merotelically attached kinetochores

Critical behavior of the random-anisotropy model in the strong-anisotropy limit

We investigate the nature of the critical behavior of the random-anisotropy Heisenberg model (RAM), which describes a magnetic system with random uniaxial single-site anisotropy, such as some amorphous alloys of rare earths and transition metals. In particular, we consider the strong-anisotropy limit (SRAM), in which the Hamiltonian can be rewritten as the one of an Ising spin-glass model with correlated bond disorder. We perform Monte Carlo simulations of the SRAM on simple cubic L^3 lattices, up to L=30, measuring correlation functions of the replica-replica overlap, which is the order parameter at a glass transition. The corresponding results show critical behavior and finite-size scaling. They provide evidence of a finite-temperature continuous transition with critical exponents $\eta_o=-0.24(4)$ and $\nu_o=2.4(6)$. These results are close to the corresponding estimates that have been obtained in the usual Ising spin-glass model with uncorrelated bond disorder, suggesting that the two models belong to the same universality class. We also determine the leading correction-to-scaling exponent finding $\omega = 1.0(4)$.Comment: 24 pages, 13 figs, J. Stat. Mech. in pres

Predicate Abstraction for Linked Data Structures

We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often require that the programmer annotate the behavior of each procedure, for example, in the form of loop invariants and pre- and post-conditions. Predicate abstraction would be an attractive abstract domain for performing invariant inference, existing techniques are not able to reason about the heap with enough precision to verify functional properties of data structure manipulating programs. In this paper, we propose a technique that lifts predicate abstraction to the heap by factoring the analysis of data structures into two orthogonal components: (1) Alias Types, which reason about the physical shape of heap structures, and (2) Refinement Types, which use simple predicates from an SMT decidable theory to capture the logical or semantic properties of the structures. We prove ART sound by translating types into separation logic assertions, thus translating typing derivations in ART into separation logic proofs. We evaluate ART by implementing a tool that performs type inference for an imperative language, and empirically show, using a suite of data-structure benchmarks, that ART requires only 21% of the annotations needed by other state-of-the-art verification techniques