Application of the Wigner-Ville distribution for the detection of rotor asymmetries and eccentricity through high-order harmonics

The diagnosis of induction machines through the use of methods based on the study of the startup current has become an issue of special interest. These techniques may provide, in certain situations (unbalanced supply voltages, load torque oscillations, variable load, etc.) and for certain faults (broken bars, eccentricity, stator short circuit, etc.) substantial advantages in comparison with the classical method, based on the Fourier spectrum of the steady-state current. Nevertheless, in the case of rotor asymmetries, these transient-based techniques have been mainly focused on the tracing of the lower sideband harmonic (LSH). In this paper, a wideband diagnosis method is proposed, in which the Wigner-Ville distribution is applied to the detection of eccentricity and other high-order components also introduced by the rotor asymmetry. It is shown that the proposed wide band analysis might help to reach a more reliable diagnosis conclusion in cases in which the tracing of commonly used harmonics may be difficult (inter-bar currents, load torque oscillations, non stationary regimes, etc.). An evaluation of the method is carried out through simulations and laboratory tests. The results show the potential of the tool for the detection and quantification of these components as a basis to diagnose such faults. © 2012 Elsevier B.V

Neonatal jaundice and its management: knowledge, attitude and practice of community health workers in Nigeria

BACKGROUND: Neonatal jaundice (NNJ) is still a leading cause of preventable brain damage, physical and mental handicap, and early death among infants in many communities. Greater awareness is needed among all health workers. The objective of the study was to assess the knowledge of primary health care workers about the description, causes, effective treatment, and sequelae of NNJ. METHODS: The setting was a local government area i.e. an administrative district within the south-western part of Nigeria. Community health workers in this area were interviewed by means of a self-administered questionnaire which focused on awareness and knowledge of neonatal jaundice and its causes, treatment and complications. RESULTS: Sixty-six community health workers participated in the survey and male-to-female ratio was 1:5. Their work experience averaged 13.5 (SD 12.7) years. Only 51.5% of the respondents gave a correct definition of NNJ. 75.8 % knew how to examine for this condition while 84.9 % knew at least two of its major causes in our environment. Also, only 54.5 % had adequate knowledge of effective treatment namely, phototherapy and exchange blood transfusion. Rather than referring affected babies to hospitals for proper management, 13.4 %, 10.4 % and 3 % of the participants would treat with ineffective drugs, natural phototherapy and herbal remedies respectively. None of the participants knew any effective means of prevention. CONCLUSION: Primary health care workers may have inadequate knowledge and misconceptions on NNJ which must be addressed concertedly before the impact of the condition on child health and well-being can be significantly reduced. We recommend regular training workshops and seminars for this purpose

An SU(N) Mott insulator of an atomic Fermi gas realized by large-spin Pomeranchuk cooling

The Hubbard model, containing only the minimum ingredients of nearest neighbor hopping and on-site interaction for correlated electrons, has succeeded in accounting for diverse phenomena observed in solid-state materials. One of the interesting extensions is to enlarge its spin symmetry to SU(N>2), which is closely related to systems with orbital degeneracy. Here we report a successful formation of the SU(6) symmetric Mott insulator state with an atomic Fermi gas of ytterbium (173Yb) in a three-dimensional optical lattice. Besides the suppression of compressibility and the existence of charge excitation gap which characterize a Mott insulating phase, we reveal an important difference between the cases of SU(6) and SU(2) in the achievable temperature as the consequence of different entropy carried by an isolated spin. This is analogous to Pomeranchuk cooling in solid 3He and will be helpful for investigating exotic quantum phases of SU(N) Hubbard system at extremely low temperatures.Comment: 20 pages, 6 figures, to appear in Nature Physic

Plastid phylogenomics resolves ambiguous relationships within the orchid family and provides a solid timeframe for biogeography and macroevolution

Recent phylogenomic analyses based on the maternally inherited plastid organelle have enlightened evolutionary relationships between the subfamilies of Orchidaceae and most of the tribes. However, uncertainty remains within several subtribes and genera for which phylogenetic relationships have not ever been tested in a phylogenomic context. To address these knowledge-gaps, we here provide the most extensively sampled analysis of the orchid family to date, based on 78 plastid coding genes representing 264 species, 117 genera, 18 tribes and 28 subtribes. Divergence times are also provided as inferred from strict and relaxed molecular clocks and birth–death tree models. Our taxon sampling includes 51 newly sequenced plastid genomes produced by a genome skimming approach. We focus our sampling efforts on previously unplaced clades within tribes Cymbidieae and Epidendreae. Our results confirmed phylogenetic relationships in Orchidaceae as recovered in previous studies, most of which were recovered with maximum support (209 of the 262 tree branches). We provide for the first time a clear phylogenetic placement for Codonorchideae within subfamily Orchidoideae, and Podochilieae and Collabieae within subfamily Epidendroideae. We also identify relationships that have been persistently problematic across multiple studies, regardless of the different details of sampling and genomic datasets used for phylogenetic reconstructions. Our study provides an expanded, robust temporal phylogenomic framework of the Orchidaceae that paves the way for biogeographical and macroevolutionary studies.Universidad de Costa Rica/[814-B8-257]/UCR/Costa RicaUniversidad de Costa Rica/[814-B6-140]/UCR/Costa RicaIDEA WILD/[]//Estados UnidosSociedad Colombiana de Orquideología/[]/SCO/ColombiaFundação de Amparo à Pesquisa do Estado de São Paulo/[11/08308-9]/FAPESP/BrasilFundação de Amparo à Pesquisa do Estado de São Paulo/[13/19124-1]/FAPESP/BrasilSwiss Orchid Foundation/[]//SuizaRoyal Botanic Gardens, Kew/[]//InglaterraSwedish Research Council/[2019-05191]//SueciaSwedish Foundation for Strategic Research/[FFL15-0196]/SSF/SueciaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ciencias Agroalimentarias::Jardín Botánico Lankester (JBL

Multiplex PCR for detection of plasmid-mediated colistin resistance determinants, mcr-1, mcr-2, mcr-3, mcr-4 and mcr-5 for surveillance purposes

Background and aim: Plasmid-mediated colistin resistance mechanisms have been identified worldwide in the past years. A multiplex polymerase chain reaction (PCR) protocol for detection of all currently known transferable colistin resistance genes (mcr-1 to mcr-5, and variants) in Enterobacteriaceae was developed for surveillance or research purposes. Methods: We designed four new primer pairs to amplify mcr-1, mcr-2, mcr-3 and mcr-4 gene products and used the originally described primers for mcr-5 to obtain a stepwise separation of ca 200 bp between ampli-cons. The primer pairs and amplification conditions allow for single or multiple detection of all currently described mcr genes and their variants present in Enterobacteriaceae. The protocol was validated testing 49 European Escherichia coli and Salmonella isolates of animal origin. Results: Multiplex PCR results in bovine and porcine isolates from Spain, Germany, France and Italy showed full concordance with whole genome sequence data. The method was able to detect mcr-1, mcr-3 and mcr-4 as singletons or in different combinations as they were present in the test isolates. One new mcr-4 variant, mcr-4.3, was also identified. Conclusions: This method allows rapid identification of mcr-positive bacteria and overcomes the challenges of phenotypic detection of colistin resistance. The multiplex PCR should be particularly interesting in settings or laboratories with limited resources for performing genetic analysis as it provides information on the mechanism of colistin resistance without requiring genome sequencing. © 2018, European Centre for Disease Prevention and Control (ECDC). All rights reserved

Variant-Based Decidable Satisfiability in Initial Algebras with Predicates

[EN] Decision procedures can be either theory-specific, e.g., Presburger arithmetic, or theory-generic, applying to an infinite number of user-definable theories. Variant satisfiability is a theory-generic procedure for quantifier-free satisfiability in the initial algebra of an order-sorted equational theory (¿,E¿B) under two conditions: (i) E¿B has the finite variant property and B has a finitary unification algorithm; and (ii) (¿,E¿B) protects a constructor subtheory (¿,E¿¿B¿) that is OS-compact. These conditions apply to many user-definable theories, but have a main limitation: they apply well to data structures, but often do not hold for user-definable predicates on such data structures. We present a theory-generic satisfiability decision procedure, and a prototype implementation, extending variant-based satisfiability to initial algebras with user-definable predicates under fairly general conditions.Partially supported by NSF Grant CNS 14-09416, NRL under contract number N00173-17-1-G002, the EU (FEDER), Spanish MINECO project TIN2015-69175- C4-1-R and GV project PROMETEOII/2015/013. Ra´ul Guti´errez was also supported by INCIBE program “Ayudas para la excelencia de los equipos de investigaci´on avanzada en ciberseguridad”.Gutiérrez Gil, R.; Meseguer, J. (2018). Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. Lecture Notes in Computer Science. 10855:306-322. https://doi.org/10.1007/978-3-319-94460-9_18S30632210855Armando, A., Bonacina, M.P., Ranise, S., Schulz, S.: New results on rewrite-based satisfiability procedures. TOCL 10(1), 4 (2009)Armando, A., Ranise, S., Rusinowitch, M.: A rewriting approach to satisfiability procedures. I&C 183(2), 140–164 (2003)Barrett, C., Shikanian, I., Tinelli, C.: An abstract decision procedure for satisfiability in the theory of inductive data types. JSAT 3, 21–46 (2007)Bouchard, C., Gero, K.A., Lynch, C., Narendran, P.: On forward closure and the finite variant property. In: Fontaine, P., Ringeissen, C., Schmidt, R.A. (eds.) FroCoS 2013. LNCS (LNAI), vol. 8152, pp. 327–342. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40885-4_23Bradley, A.R., Manna, Z.: The Calculus of Computation - Decision Procedures with Applications to Verification. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-74113-8Cholewa, A., Meseguer, J., Escobar, S.: Variants of variants and the finite variant property. Technical report, CS Dept. University of Illinois at Urbana-Champaign (2014). http://hdl.handle.net/2142/47117Ciobaca., S.: Verification of composition of security protocols with applications to electronic voting. Ph.D. thesis, ENS Cachan (2011)Comon, H.: Complete axiomatizations of some quotient term algebras. TCS 118(2), 167–191 (1993)Comon-Lundh, H., Delaune, S.: The finite variant property: how to get rid of some algebraic properties. In: Giesl, J. (ed.) RTA 2005. LNCS, vol. 3467, pp. 294–307. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-32033-3_22Dershowitz, N., Jouannaud, J.P.: Rewrite systems. In: Handbook of Theoretical Computer Science, North-Holland, vol. B, pp. 243–320 (1990)Dovier, A., Piazza, C., Rossi, G.: A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. TOCL 9(3), 15 (2008)Dross, C., Conchon, S., Kanig, J., Paskevich, A.: Adding decision procedures to SMT solvers using axioms with triggers. JAR 56(4), 387–457 (2016)Escobar, S., Sasse, R., Meseguer, J.: Folding variant narrowing and optimal variant termination. JALP 81, 898–928 (2012)Goguen, J.A., Meseguer, J.: Models and equality for logical programming. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds.) TAPSOFT 1987. LNCS, vol. 250, pp. 1–22. Springer, Heidelberg (1987). https://doi.org/10.1007/BFb0014969Goguen, J., Meseguer, J.: Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations. TCS 105, 217–273 (1992)Gutiérrez, R., Meseguer, J.: Variant satisfiability in initial algebras with predicates. Technical report, CS Department, University of Illinois at Urbana-Champaign (2018). http://hdl.handle.net/2142/99039Jouannaud, J.P., Kirchner, H.: Completion of a set of rules modulo a set of equations. SICOMP 15, 1155–1194 (1986)Kroening, D., Strichman, O.: Decision Procedures - An algorithmic point of view. Texts in TCS. An EATCS Series. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-74105-3Lynch, C., Morawska, B.: Automatic decidability. In: Proceedings of LICS 2002, p. 7. IEEE Computer Society (2002)Lynch, C., Tran, D.-K.: Automatic decidability and combinability revisited. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 328–344. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-73595-3_22Meseguer, J.: Variant-based satisfiability in initial algebras. SCP 154, 3–41 (2018)Meseguer, J.: Strict coherence of conditional rewriting modulo axioms. TCS 672, 1–35 (2017)Meseguer, J., Goguen, J.: Initiality, induction and computability. In: Algebraic Methods in Semantics, Cambridge, pp. 459–541 (1985)Meseguer, J., Goguen, J.: Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems. I&C 103(1), 114–158 (1993)Nelson, G., Oppen, D.C.: Simplification by cooperating decision procedures. TOPLAS 1(2), 245–257 (1979)Shostak, R.E.: Deciding combinations of theories. J. ACM 31(1), 1–12 (1984)Skeirik, S., Meseguer, J.: Metalevel algorithms for variant satisfiability. In: Lucanu, D. (ed.) WRLA 2016. LNCS, vol. 9942, pp. 167–184. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-44802-2_10Stump, A., Barrett, C.W., Dill, D.L., Levitt, J.R.: A decision procedure for an extensional theory of arrays. In: Proceedings of LICS 2001, pp. 29–37. IEEE (2001)Tushkanova, E., Giorgetti, A., Ringeissen, C., Kouchnarenko, O.: A rule-based system for automatic decidability and combinability. SCP 99, 3–23 (2015

Wheat-barley hybridization – the last forty years

Abstract Several useful alien gene transfers have been reported from related species into wheat (Triticum aestivum), but very few publications have dealt with the development of wheat/barley (Hordeum vulgare) introgression lines. An overview is given here of wheat 9 barley hybridization over the last forty years, including the development of wheat 9 barley hybrids, and of addition and translocation lines with various barley cultivars. A short summary is also given of the wheat 9 barley hybrids produced with other Hordeum species. The meiotic pairing behaviour of wheat 9 barley hybrids is presented, with special regard to the detection of wheat– barley homoeologous pairing using the molecular cytogenetic technique GISH. The effect of in vitro multiplication on the genome composition of intergeneric hybrids is discussed, and the production and characterization of the latest wheat/barley translocation lines are presented. An overview of the agronomical traits (b-glucan content, earliness, salt tolerance, sprouting resistance, etc.) of the newly developed introgression lines is given. The exploitation and possible use of wheat/barley introgression lines for the most up-to-date molecular genetic studies (transcriptome analysis, sequencing of flow-sorted chromosomes) are also discussed