The phylogeny of Anophelinae revisited: inferences about the origin and classification of Anopheles (Diptera: Culicidae)

© 2015 Royal Swedish Academy of Sciences. "This is the pre-peer reviewed version of the following article: Harbach, R. E. and I. J. Kitching (2016). "The phylogeny of Anophelinae revisited: inferences about the origin and classification of Anopheles (Diptera: Culicidae)." Zoologica Scripta 45(1): 34-47, which has been published in final form at http://onlinelibrary.wiley.com/doi/10.1111/zsc.12137/full. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Self-Archiving.

The phylogenetic conundrum of Lutzia(Diptera: Culicidae: Culicini): a cautionary account of conflict and support

This is an open access article, available to all readers online, published under a creative commons licensing (https://creativecommons.org/licenses/by/4.0/). This document is the author's submitted version of the journal article. You are advised to consult the publisher's version if you wish to cite from it

On Optimal TCM Encoders

An asymptotically optimal trellis-coded modulation (TCM) encoder requires the joint design of the encoder and the binary labeling of the constellation. Since analytical approaches are unknown, the only available solution is to perform an exhaustive search over the encoder and the labeling. For large constellation sizes and/or many encoder states, however, an exhaustive search is unfeasible. Traditional TCM designs overcome this problem by using a labeling that follows the set-partitioning principle and by performing an exhaustive search over the encoders. In this paper we study binary labelings for TCM and show how they can be grouped into classes, which considerably reduces the search space in a joint design. For 8-ary constellations, the number of different binary labelings that must be tested is reduced from 8!=40320 to 240. For the particular case of an 8-ary pulse amplitude modulation constellation, this number is further reduced to 120 and for 8-ary phase shift keying to only 30. An algorithm to generate one labeling in each class is also introduced. Asymptotically optimal TCM encoders are tabulated which are up to 0.3 dB better than the previously best known encoders

Heterogeneity in thymic emigrants: implications for thymectomy and immunosenescence.

The development of mature, antigen-inexperienced (naive) T cells begins in the thymus and continues after export into the periphery. Post-thymic maturation of naive T cells, in humans, coincides with the progressive loss of markers such as protein tyrosine kinase 7 (PTK7) and platelet endothelial cell adhesion molecule-1 (CD31). As a consequence, subpopulations of naive T cells can be recognised raising questions about the processes that give rise to the loss of these markers and their exact relationship to recent thymic emigrants (RTE). Here, we combine a mathematical survival analysis approach and data from healthy and thymectomised humans to understand the apparent persistence of populations of 'veteran' PTK7 (+) T cells in thymectomised individuals. We show that a model of heterogeneity in rates of maturation, possibly linked to natural variation in TCR signalling thresholds or affinity for self-antigens, can explain the data. This model of maturation predicts that the average post-thymic age of PTK7 (+) T cells will increase linearly with the age of the host suggesting that, despite the immature phenotype, PTK7 (+) cells do not necessarily represent a population of RTE. Further, the model predicts an accelerated increase in the average post-thymic age of residual PTK7 (+) T cells following thymectomy and may also explain in part the prematurely aged phenotype of the naive T cell pool in individuals thymectomised early in life

Concordant preferences for actual height and facial cues to height

Physical height has a well-documented effect on human mate preferences. In general, both sexes prefer opposite-sex romantic relationships in which the man is taller than the woman, while individual preferences for height are affected by a person’s own height. Research in human mate choice has demonstrated that attraction to facial characteristics, such as facial adiposity, may reflect references for body characteristics. Here, we tested preferences for facial cues to height. In general, increasing apparent height in men’s faces and slightly decreasing apparent height in women’s faces maximizes perceived attractiveness. Individual preferences for facial cues to height were predicted by self-reported preferences for actual height. Furthermore, women’s own height predicted opposite-sex preferences for facial cues to apparent height, though this finding did not extend to male participants. These findings validate the use of facial cues to height and demonstrate a further component of facial attractiveness that reflects preferences for body characteristics.Publisher PDFPeer reviewe

Spatially-Coupled LDPC Codes for Decode-and-Forward Relaying of Two Correlated Sources over the BEC

We present a decode-and-forward transmission scheme based on spatially-coupled low-density parity-check (SC-LDPC) codes for a network consisting of two (possibly correlated) sources, one relay, and one destination. The links between the nodes are modeled as binary erasure channels. Joint source-channel coding with joint channel decoding is used to exploit the correlation. The relay performs network coding. We derive analytical bounds on the achievable rates for the binary erasure time-division multiple-access relay channel with correlated sources. We then design bilayer SC-LDPC codes and analyze their asymptotic performance for this scenario. We prove analytically that the proposed coding scheme achieves the theoretical limit for symmetric channel conditions and uncorrelated sources. Using density evolution, we furthermore demonstrate that our scheme approaches the theoretical limit also for non-symmetric channel conditions and when the sources are correlated, and we observe the threshold saturation effect that is typical for spatially-coupled systems. Finally, we give simulation results for large block lengths, which validate the DE analysis.Comment: IEEE Transactions on Communications, to appea

Prospects for intermediate mass black hole binary searches with advanced gravitational-wave detectors

We estimated the sensitivity of the upcoming advanced, ground-based gravitational-wave observatories (the upgraded LIGO and Virgo and the KAGRA interferometers) to coalescing intermediate mass black hole binaries (IMBHB). We added waveforms modeling the gravitational radiation emitted by IMBHBs to detectors' simulated data and searched for the injected signals with the coherent WaveBurst algorithm. The tested binary's parameter space covers non-spinning IMBHBs with source-frame total masses between 50 and 1050 $\text{M}_{\odot}$ and mass ratios between $1/6$ and 1$\,$. We found that advanced detectors could be sensitive to these systems up to a range of a few Gpc. A theoretical model was adopted to estimate the expected observation rates, yielding up to a few tens of events per year. Thus, our results indicate that advanced detectors will have a reasonable chance to collect the first direct evidence for intermediate mass black holes and open a new, intriguing channel for probing the Universe over cosmological scales.Comment: 9 pages, 4 figures, corrected the name of one author (previously misspelled

Z2SAL: a translation-based model checker for Z

Despite being widely known and accepted in industry, the Z formal specification language has not so far been well supported by automated verification tools, mostly because of the challenges in handling the abstraction of the language. In this paper we discuss a novel approach to building a model-checker for Z, which involves implementing a translation from Z into SAL, the input language for the Symbolic Analysis Laboratory, a toolset which includes a number of model-checkers and a simulator. The Z2SAL translation deals with a number of important issues, including: mapping unbounded, abstract specifications into bounded, finite models amenable to a BDD-based symbolic checker; converting a non-constructive and piecemeal style of functional specification into a deterministic, automaton-based style of specification; and supporting the rich set-based vocabulary of the Z mathematical toolkit. This paper discusses progress made towards implementing as complete and faithful a translation as possible, while highlighting certain assumptions, respecting certain limitations and making use of available optimisations. The translation is illustrated throughout with examples; and a complete working example is presented, together with performance data

Confirmatory factor analysis of the Test of Performance Strategies (TOPS) among adolescent athletes

The aim of the present study was to examine the factorial validity of the Test of Performance Strategies (TOPS; Thomas et al., 1999) among adolescent athletes using confirmatory factor analysis. The TOPS was designed to assess eight psychological strategies used in competition (i.e. activation, automaticity, emotional control, goal-setting, imagery, negative thinking, relaxation and self-talk,) and eight used in practice (the same strategies except negative thinking is replaced by attentional control). National-level athletes (n = 584) completed the 64-item TOPS during training camps. Fit indices provided partial support for the overall measurement model for the competition items (robust comparative fit index = 0.92, Tucker-Lewis index = 0.88, root mean square error of approximation = 0.05) but minimal support for the training items (robust comparative fit index = 0.86, Tucker-Lewis index = 0.81, root mean square error of approximation = 0.06). For the competition items, the automaticity, goal-setting, relaxation and self-talk scales showed good fit, whereas the activation, emotional control, imagery and negative thinking scales did not. For the practice items, the attentional control, emotional control, goal-setting, imagery and self-talk scales showed good fit, whereas the activation, automaticity and relaxation scales did not. Overall, it appears that the factorial validity of the TOPS for use with adolescents is questionable at present and further development is required

Conductivity and quasinormal modes in holographic theories

We show that in field theories with a holographic dual the retarded Green's function of a conserved current can be represented as a convergent sum over the quasinormal modes. We find that the zero-frequency conductivity is related to the sum over quasinormal modes and their high-frequency asymptotics via a sum rule. We derive the asymptotics of the quasinormal mode frequencies and their residues using the phase-integral (WKB) approach and provide analytic insight into the existing numerical observations concerning the asymptotic behavior of the spectral densities.Comment: 24 pages, 3 figure