324,205 research outputs found
Taxonomic status of Sterictiphora sorbi Kontuniemi (Hymenoptera: Argidae)
No full textThis article describes several diagnostic characters to positively distinguish Sterictiphora sorbi Kontuniemi, 1966 from S. geminata (Gmelin, 1790) and from S. longicornis Chevin, 1982. S. sorbi is removed from synonymy with S. geminata
Immunity properties of the s-degrees
No full textWe investigate immunity properties of the s-degrees. In particular we show that neither the immune nor the hyperimmune s-degrees are upwards closed since there exist
s-degrees such that is hyperimmune, but is immune free. We also show that there is no hyperhyperimmune set A such that , where is the complement of the halting set and denotes the finite-branch version of s-reducibility
Ueber die abführende Wirkung des Fluidextracts aus den Beeren der Eberesche (Vogelbeeren, Extr. fluid. Sorbi aucupariae). (Med. Obozrenie, 1900, S. 93)
No full textUEBER DIE ABFÜHRENDE WIRKUNG DES FLUIDEXTRACTS AUS DEN BEEREN DER EBERESCHE (VOGELBEEREN, EXTR. FLUID. SORBI AUCUPARIAE). (MED. OBOZRENIE, 1900, S. 93)
Le Physiologiste Russe (-)
Le Physiologiste Russe (2) (a0005)
Ueber die abführende Wirkung des Fluidextracts aus den Beeren der Eberesche (Vogelbeeren, Extr. fluid. Sorbi aucupariae). (Med. Obozrenie, 1900, S. 93) (2) (p0339
Innovative method for quench localization in superconducting high-order magnets
No full textThe quench event is the transition into the normal resistive state of superconducting magnets. Since this critical event can damage the magnet and limit its performance, huge efforts in the scientific community are spent to localize its development and study the relevant causes. Conventional methods for quench detection, such as voltage taps, are embedded in the magnet, representing a poten- tial risk of short circuits during the coil operation. Less invasive methods, such as quench antennas, have many advantages but can be applied to few magnet designs. During my PhD research, I developed an innovative idea based on the analysis of the magnetic field perturbation induced by superconducting hysteresis magnetization. Using standard field measurement technologies, I demonstrated that the residual superconducting magnetization of the high-order corrector magnets for the CERN High-Luminosity LHC upgrade allows the quench position reconstruction with high efficiency and accuracy. With these techniques, we found different quench devel- opments not measured by standard methods. The excellent results encouraged the implementation of this analysis for future superconducting magnets
Generalized computable numerations and nontrivial rogers semilattices
No full textWe outline the general approach to the notion of a computable numeration in the frames of
which computable numerations of families of arithmetic sets are studied
Embedding finite lattices into the \Sigma-0-2 enumeration degrees
No full textWe show that every finite lattice is embeddable into the enumeration degrees via a lattice-theoretic embedding which preserves 0 and 1
Isomorphism types and theories of Rogers semilattices of arithmetical numberings
No full textWe investigate differences in isomorphism types and elementary
theories of Rogers semilattices of arithmetical numberings,
depending on different levels of the arithmetical hierarchy. It is
proved that new types of isomorphism appear as the arithmetical
level increases. It is also proved the incompleteness of the
theory of the class of all Rogers semilattices of any fixed level.
Finally, no Rogers semilattice of any infinite family at
arithmetical level is weakly distributive, whereas
Rogers semilattices of finite families are always distributive
Intuitionistic logic and Muchnik degrees
No full textWe prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional logic. This complements a now classic result of Skvortsova for the Medvedev lattice
- …
