Brain\u2013Computer Interface-Based Adaptive Automation to Prevent Out-Of-The-Loop Phenomenon in Air Traffic Controllers Dealing With Highly Automated Systems

Increasing the level of automation in air traffic management is seen as a measure to increase the performance of the service to satisfy the predicted future demand. This is expected to result in new roles for the human operator: he will mainly monitor highly automated systems and seldom intervene. Therefore, air traffic controllers (ATCos) would often work in a supervisory or control mode rather than in a direct operating mode. However, it has been demonstrated how human operators in such a role are affected by human performance issues, known as Out-Of-The-Loop (OOTL) phenomenon, consisting in lack of attention, loss of situational awareness and de-skilling. A countermeasure to this phenomenon has been identified in the adaptive automation (AA), i.e., a system able to allocate the operative tasks to the machine or to the operator depending on their needs. In this context, psychophysiological measures have been highlighted as powerful tool to provide a reliable, unobtrusive and real-time assessment of the ATCo's mental state to be used as control logic for AA-based systems. In this paper, it is presented the so-called "Vigilance and Attention Controller", a system based on electroencephalography (EEG) and eye-tracking (ET) techniques, aimed to assess in real time the vigilance level of an ATCo dealing with a highly automated human-machine interface and to use this measure to adapt the level of automation of the interface itself. The system has been tested on 14 professional ATCos performing two highly realistic scenarios, one with the system disabled and one with the system enabled. The results confirmed that (i) long high automated tasks induce vigilance decreasing and OOTL-related phenomena; (ii) EEG measures are sensitive to these kinds of mental impairments; and (iii) AA was able to counteract this negative effect by keeping the ATCo more involved within the operative task. The results were confirmed by EEG and ET measures as well as by performance and subjective ones, providing a clear example of potential applications and related benefits of AA

Spreading of a Macroscopic Lattice Gas

We present a simple mechanical model for dynamic wetting phenomena. Metallic balls spread along a periodically corrugated surface simulating molecules of liquid advancing along a solid substrate. A vertical stack of balls mimics a liquid droplet. Stochastic motion of the balls, driven by mechanical vibration of the corrugated surface, induces diffusional motion. Simple theoretical estimates are introduced and agree with the results of the analog experiments, with numerical simulation, and with experimental data for microscopic spreading dynamics.Comment: 19 pages, LaTeX, 9 Postscript figures, to be published in Phy. Rev. E (September,1966

Barycentric decomposition of quantum measurements in finite dimensions

We analyze the convex structure of the set of positive operator valued measures (POVMs) representing quantum measurements on a given finite dimensional quantum system, with outcomes in a given locally compact Hausdorff space. The extreme points of the convex set are operator valued measures concentrated on a finite set of k \le d^2 points of the outcome space, d< \infty being the dimension of the Hilbert space. We prove that for second countable outcome spaces any POVM admits a Choquet representation as the barycenter of the set of extreme points with respect to a suitable probability measure. In the general case, Krein-Milman theorem is invoked to represent POVMs as barycenters of a certain set of POVMs concentrated on k \le d^2 points of the outcome space.Comment: !5 pages, no figure

Nanohertz Frequency Determination for the Gravity Probe B HF SQUID Signal

In this paper, we present a method to measure the frequency and the frequency change rate of a digital signal. This method consists of three consecutive algorithms: frequency interpolation, phase differencing, and a third algorithm specifically designed and tested by the authors. The succession of these three algorithms allowed a 5 parts in 10^10 resolution in frequency determination. The algorithm developed by the authors can be applied to a sampled scalar signal such that a model linking the harmonics of its main frequency to the underlying physical phenomenon is available. This method was developed in the framework of the Gravity Probe B (GP-B) mission. It was applied to the High Frequency (HF) component of GP-B's Superconducting QUantum Interference Device (SQUID) signal, whose main frequency fz is close to the spin frequency of the gyroscopes used in the experiment. A 30 nHz resolution in signal frequency and a 0.1 pHz/sec resolution in its decay rate were achieved out of a succession of 1.86 second-long stretches of signal sampled at 2200 Hz. This paper describes the underlying theory of the frequency measurement method as well as its application to GP-B's HF science signal.Comment: The following article has been submitted to Review of Scientific Instruments. After it is published, it will be found at (http://rsi.aip.org/

Bohrification of operator algebras and quantum logic

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hilbert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families of projections indexed by a partially ordered set C(A) of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that C(A) consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Heyting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n-by-n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski-Mulvey) of the "Bohrification" of A, which is a commutative Rickart C*-algebra in the topos of functors from C(A) to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns-Lakser completions. Finally, we establish a connection between probability measure on the lattice of projections on a Hilbert space H and probability valuations on the internal Gelfand spectrum of A for A = B(H).Comment: 31 page

Corresponding States of Structural Glass Formers

The variation with respect to temperature T of transport properties of 58 fragile structural glass forming liquids (68 data sets in total) are analyzed and shown to exhibit a remarkable degree of universality. In particular, super-Arrhenius behaviors of all super-cooled liquids appear to collapse to one parabola for which there is no singular behavior at any finite temperature. This behavior is bounded by an onset temperature To above which liquid transport has a much weaker temperature dependence. A similar collapse is also demonstrated, over the smaller available range, for existing numerical simulation data.Comment: 6 pages, 2 figures. Updated References, Table Values, Submitted for Publicatio

The Role of Innate APOBEC3G and Adaptive AID Immune Responses in HLA-HIV/SIV Immunized SHIV Infected Macaques

This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

Manejo de florestas naturais degradadas na Amazônia: estudo de caso sobre critérios de colheita.

Este trabalho trata de uma experiência inovadora em relação a critérios para colheita de árvores em floresta natural degradada na Amazônia. A pesquisa foi desenvolvida em 535,6 ha de floresta na Fazenda Shet, em Dom Eliseu - PA, usando a base de dados do censo florestal referente a árvores com DAP &#8805; 25 cm. Os critérios para colheita das árvores consideraram, prioritariamente, os seguintes elementos: grau de sanidade, qualidade do fuste (2 e 3), diâmetro máximo a permanecer na floresta (DAP < 100 cm), árvores de menor diâmetro (25 &#8805; DAP &#8804; 55 cm), espécies com maior densidade de árvores por unidade de área, distribuição diamétrica, segundo o coeficiente de Liocourt, manutenção das espécies intensamente exploradas no passado e com população de árvores &#8804; 0,15 arv.ha-1. Foram inventariadas 46.012 árvores, pertencentes a 106 espécies, e planejadas para colheita 23,19% (10.671 árvores), aos 12 anos após a exploração anterior. Baseando-se no planejamento da colheita e seguindo os critérios, a previsão de colheita em relação à população total inventariada teve como resultado: 2,16% árvores pelo critério de sanidade; 15,45% pela forma de fuste; 0,26% pelo diâmetro máximo; 93,93% pelo menor diâmetro; 57,50% pela densidade arbórea; e 5,04% pela manutenção das espécies. A colheita foi realizada em 98,79% das árvores com sanidade comprometida; 22,20% com fuste 2 e 3; 97,39% com diâmetro máximo; 95,02% com menor diâmetro; e 90,30% com maior densidade arbórea. Foram mantidas 98,14% das espécies Astronium lecointei, Cordia goeldiana, Copaifera sp., Hymenaea courbaril, Hymenolobium petraeum, Handroanthus serratifolius e Manilkara elata, intensivamente exploradas no passado, e 98,70% de outras 53 espécies com menor abundância (&#8804; 0,15 arv.ha-1). O planejamento da exploração seguindo os critérios de colheita propostos possibilitou a extração de árvores em ciclos de 10 a 12 anos, sendo um tempo menor que o previsto pela legislação. A manutenção da diversidade de espécies arbóreas e a conservação da floresta em pé, previstas com esses critérios técnicos, podem ser alternativas para o manejo florestal ecológica e economicamente viável

Different Pattern of Immunoglobulin Gene Usage by HIV-1 Compared to Non-HIV-1 Antibodies Derived from the Same Infected Subject

A biased usage of immunoglobulin (Ig) genes is observed in human anti-HIV-1 monoclonal antibodies (mAbs) resulting probably from compensation to reduced usage of the VH3 family genes, while the other alternative suggests that this bias usage is due to antigen requirements. If the antigen structure is responsible for the preferential usage of particular Ig genes, it may have certain implications for HIV vaccine development by the targeting of particular Ig gene-encoded B cell receptors to induce neutralizing anti-HIV-1 antibodies. To address this issue, we have produced HIV-1 specific and non-HIV-1 mAbs from an infected individual and analyzed the Ig gene usage. Green-fluorescence labeled virus-like particles (VLP) expressing HIV-1 envelope (Env) proteins of JRFL and BaL and control VLPs (without Env) were used to select single B cells for the production of 68 recombinant mAbs. Ten of these mAbs were HIV-1 Env specific with neutralizing activity against V3 and the CD4 binding site, as well as non-neutralizing mAbs to gp41. The remaining 58 mAbs were non-HIV-1 Env mAbs with undefined specificities. Analysis revealed that biased usage of Ig genes was restricted only to anti-HIV-1 but not to non-HIV-1 mAbs. The VH1 family genes were dominantly used, followed by VH3, VH4, and VH5 among anti-HIV-1 mAbs, while non-HIV-1 specific mAbs preferentially used VH3 family genes, followed by VH4, VH1 and VH5 families in a pattern identical to Abs derived from healthy individuals. This observation suggests that the biased usage of Ig genes by anti-HIV-1 mAbs is driven by structural requirements of the virus antigens rather than by compensation to any depletion of VH3 B cells due to autoreactive mechanisms, according to the gp120 superantigen hypothesis

Epithelioma of Malherbe: new ultrasound patterns

<p>Abstract</p> <p>Backround</p> <p>Calcifying epithelioma of Malherbe, or Pilomatricoma, is considered an uncommon cutaneous neoplasia, normally occurring in children as a solitary, firm, asymptomatic, hard, subcutaneous, slowly growing nodule on the face, neck, or proximal upper extremity. In literature, two Pilomatricoma ultrasound patterns are described: the totally calcified nodule and the hypoechoic nodule with internal calcific foci. High frequency ultrasound has not yet been applied for routine diagnosis of Pilomatricoma. The aim of the study was to retrospectively identify specific ultrasound features.</p> <p>Methods</p> <p>We retrieved 124 histologically Pilomatricoma cases: 28 patients with 32 lesions were preoperatively evaluated with ultrasound.</p> <p>Results</p> <p>22/32 have shown a solid formation, hypoechoic, with a sharp outline. Of these 22, 10 lesions were completely calcifying and 12 partially calcified. In 3/32 lesions with uncertain diagnosis, ultrasounds showed a complex/mixed pattern with pseudo-fluid areas and microspots. 7/32 lesions with US different diagnosis included 3 complex lesions, 2 cystic lesions and 2 solid nodular lesions.</p> <p>Conclusion</p> <p>In addition to well-known ultrasound patterns (completely calcified and partially calcified) we identified three new, not yet described, patterns that constitute the 31% of the cases: complex, pseudocistyc and pseudotumoral.</p