Miracle-dz/UniFAR-FTUs huggingface dataset:
Pseudo test collections for training and tuning microblog rankers

Recent years have witnessed a persistent interest in generating pseudo test collections, both for training and evaluation purposes. We describe a method for generating queries and relevance judgments for microblog search in an unsupervised way. Our starting point is this intuition: tweets with a hashtag are relevant to the topic covered by the hashtag and hence to a suitable query derived from the hashtag. Our baseline method selects all commonly used hashtags, and all associated tweets as relevance judgments; we then generate a query from these tweets. Next, we generate a timestamp for each query, allowing us to use temporal information in the training process. We then enrich the generation process with knowledge derived from an editorial test collection for microblog search. We use our pseudo test collections in two ways. First, we tune parameters of a variety of well known retrieval methods on them. Correlations with parameter sweeps on an editorial test collection are high on average, with a large variance over retrieval algorithms. Second, we use the pseudo test collections as training sets in a learning to rank scenario. Performance close to training on an editorial test collection is achieved in many cases. Our results demonstrate the utility of tuning and training microblog search algorithms on automatically generated training material.
AtCAND1, A HEAT-Repeat Protein That Participates in Auxin Signaling in Arabidopsis1

Auxin affects many aspects of plant growth and development. We previously used chemical genetics to dissect auxin-signaling mechanisms and identified a small molecule, sirtinol, that constitutively activated auxin signaling (Y. Zhao et al. [2003], Science 301: 1107–1110). Here we describe the isolation, characterization, and cloning of an Arabidopsis mutant Atcand1-1 that emerged from a genetic screen for mutants insensitive to sirtinol. Loss-of-function mutants of AtCAND1 were resistant to sirtinol and auxin, but not to gibberellins or brassinolide. Atcand1 displayed developmental phenotypes similar to those of axr1, namely, short petioles, downwardly curling leaves, short inflorescence, and reduced fertility. AtCAND1 is homologous to human CAND1, a protein that is composed almost entirely of HEAT-repeat units and has been implicated in regulating the assembly and disassembly of the SCF protein degradation machinery. Taken together with previous biochemical studies, this work helps to elucidate the roles of AtCAND1 in protein degradation and auxin signaling.
I ¨ I Infsys R R A R P Q  E D L  A T-a

Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas, including the Semantic Web, data and information integration, peer-to-peer data management, and ontology-based data access. An important requirement there is the ability to answer complex queries beyond instance retrieval, taking into account constraints expressed in a knowledge base. We consider this task for positive 2-way regular path queries (P2RPQs) over knowledge bases in the expressive DL ZIQ. P2RPQs are more general than conjunctive queries, union of conjunctive queries, and regular path queries from the literature. They allow regular expressions over roles and data joins that require inverse paths. The DLZIQ extends the core DLALC with qualified number restrictions, inverse roles, safe Boolean role expressions, regular expressions over roles, and concepts of the form ∃P.Self in the style of the DL SRIQ. Using techniques based on two-way tree-automata, we first provide as a stepping stone an elegant characterization of TBox and ABox satisfiability testing which gives us a tight ET bound for this problem. We then establish a double exponential upper bound for answering P2RPQs overZIQ knowledge bases; this bound is tight. Our result significantly pushes the frontier of 2ET decidability of query answering in expressive DLs, both with respect to the query language and the considered DL. Furthermore, by reducing the well known DL SRIQ to ZIQ (with an exponential blowup in the size of the knowledge base), we also provide a tight 2ET upper bound for knowledge base satisfiability in SRIQ and establish the decidability of query answering for this significant fragment of the new OWL 2 standard. 1KRDB Research Centre, Free University of Bozen-Bolzano, Italy. E-mail: calvanese@inf.unibz. it 2Institute of Information Systems, Vienna University of Technology, Austria. E-mail: eiter@kr.tuwien. ac.at 3Institute of Information Systems, Vienna University of Technology, Austria. E-mail: ortiz@kr.tuwien. ac.at Acknowledgements: We are very grateful to Oliver Carton, Orna Kupferman, and Moshe Vardi for their kind and valuable advise on automata-theoretic questions. We owe particular thanks to Yoad Lustig and Nir Piterman for providing a proof sketch connected to Lemma 5.16. This work has been partially supported by the Austrian Science Fund (FWF) grant P20840, the Mexican National Council for Science and Technology (CONACYT) grant 187697, and the EU project OntoRule (IST-2009-231875). Some results of this paper have appeared, in preliminary form, in a conference paper in Proc. AAAI ’07 [16]. Copyright c © 2010 by the authors INFSYS RR 1843-09-04 I
Localization of the mei-1 gene product of Caenorhaditis elegans, a meiotic-specific spindle component

Genetic evidence suggests that the product of the mei-1 gene of Caenorhabditis elegans is specifically required for meiosis in the female germline. Loss-of-function mei-1 mutations block meiotic spindle formation while a gain-of-function allele instead results in spindle defects during the early mitotic cleavages. In this report, we use immunocytochemistry to examine the localization of the mei-1 product in wild-type and mutant embryos. During metaphase of meiosis I in wild- type embryos, mei-1 protein was found throughout the spindle but was more concentrated toward the poles. At telophase I, mei-1 product colocalized with the chromatin at the spindle poles. The pattern was repeated during meiosis II but no mei-1 product was visible during the subsequent mitotic cleavages. The mei-1 gain-of-function allele resulted in ectopic mei-1 staining in the centers of the microtubule- organizing centers during interphase and in the spindles during the early cleavages. This aberrant localization is probably responsible for the poorly formed and misoriented cleavage spindles characteristic of the mutation. We also examined the localization of mei-1(+) product in the presence of mutations of genes that genetically interact with mei-1 alleles. mei-2 is apparently required to localize mei-1 product to the spindle during meiosis while mel-26 acts as a postmeiotic inhibitor. We conclude that mei-1 encodes a novel spindle component, one that is specialized for the acentriolar meiotic spindles unique to female meiosis. The genes mei-2 and mel-26 are part of a regulatory network that confines mei-1 activity to meiosis.
Impaired Immunogenicity of a Meningococcal Factor H-Binding Protein Vaccine Engineered To Eliminate Factor H Binding

ABSTRACT Meningococcal factor H-binding protein (fHbp) is a promising antigen that is part of two vaccines in clinical development. The protein specifically binds human complement factor H (fH), which downregulates complement activation on the bacterial surface and enables the organism to evade host defenses. In humans, the vaccine antigen forms a complex with fH, which may affect anti-fHbp antibody repertoire and decrease serum bactericidal activity by covering important fHbp epitopes. In a recent study, fHbp residues in contact with fH were identified from a crystal structure. Two fHbp glutamate residues that mediated ion-pair interactions with fH were replaced with alanine, and the resulting E218A/E239A mutant no longer bound the fH fragment. In the present study, we generated the E218A/E239A mutant recombinant protein and confirmed the lack of fH binding. By enzyme-linked immunosorbent assay (ELISA), the mutant fHbp showed similar respective concentration-dependent inhibition of binding of four bactericidal anti-fHbp monoclonal antibodies (MAbs) to fHbp, compared with inhibition by the soluble wild-type protein. In two mouse strains, the mutant fHbp elicited up to 4-fold-lower IgG anti-fHbp antibody titers and up to 20-fold-lower serum bactericidal titers than those elicited by the wild-type fHbp vaccine. Thus, although introduction of the two alanine substitutions to eliminate fH binding did not appear to destabilize the molecule globally, the mutations resulted in decreased immunogenicity in mouse models in which neither the mutant nor the wild-type control vaccine bound fH. These results cast doubt on the vaccine potential in humans of this mutant fHbp.
Requisite skills for new MIS hires

Rapidly changing technology makes the information systems (IS) field a highly dynamic one. IS professionals must possess the requisite skills to be successful in this environment. At an April 1988 meeting of The University of Georgia - MIS Industry Advisory Board, twenty Board members ranked the skills that new MIS graduates should have if they seek an entry-level position as a programmer, systems analyst, or end-user support professional. Separate ranked lists were generated through Collaborative Work System (CWS) software so that required skills could be compared across entry-level positions. The findings provide insights about the changing needs of industry and implications for academic programs in colleges and universities.
Brain oscillatory activity during motor preparation: effect of directional uncertainty on beta, but not alpha, frequency band

In time-constraint activities, such as sports, it is advantageous to be prepared to act even before knowing precisely what action will be needed. Here, we studied the relation between neural oscillations during motor preparation and amount of uncertainty about the direction of the upcoming target. Ten right-handed volunteers participated in a cued center-out task. A brief visual cue identified the region of space in which the target would appear. Three cue sizes were used to vary the amount of information about the direction of the upcoming target. The target appeared at a random location within the region indicated by the cue, and the participants moved a joystick-controlled cursor toward it. Time-frequency analyses showed phasic increases of power in low (delta/theta: <7 Hz) and high (gamma: >30 Hz) frequency-bands in relation to the onset of visual stimuli and of the motor response. More importantly in regard to motor preparation, there was a tonic reduction of power in the alpha (8–12 Hz) and beta (14–30 Hz) bands during the period between cue presentation and target onset. During motor preparation, the main source of change of power of the alpha band was localized over the contralateral sensorimotor region and both parietal cortices, whereas for the beta-band the main source was the contralateral sensorimotor region. During cue presentation, the reduction of power of the alpha-band in the occipital lobe showed a brief differentiation of condition: the wider the visual cue, the more the power of the alpha-band decreased. However, during motor preparation, only the power of the beta-band was dependent on directional uncertainty: the less the directional uncertainty, the more the power of the beta-band decreased. In conclusion, the results indicate that the power in the alpha-band is associated briefly with cue size, but is otherwise an undifferentiated indication of neural activation, whereas the power of the beta-band reflects the level of motor preparation.
Robust stability and performance of adaptive jitter supression in laser beam pointing

This paper studies the robustness and performance of an adaptive scheme for suppression of laser beam jitter in the presence of unmodeled dynamics in a continuous-time formulation. To demonstrate the level of performance that can be achieved in the case of known disturbances, at first we consider the ideal case (non-adaptive) when a complete information about characteristics of the noise-corrupted periodic disturbance is available. Then the adaptive case when the disturbance is unknown with time-varying characteristics is investigated. The results show under what conditions jitter suppression can be achieved and what parameters contribute to the performance of the adaptive control scheme. Numerical simulations are given to demonstrate the efficacy of the robust adaptive control law.
Nonradiative Recombination in Multiple Layer In(Ga)As Quantum-Dot Lasers

The segmented contact technique has been used to study the effects on nonradiative recombination of stacking multiple quantum-dot layers. As the number of stacked layers is increased a shift in the balance of dots in the bimodal dot distribution is observed due to a reduction in the number in the smaller dot size subset. This is attributed to an increase in the density of defect islands, as the number of layers is increased, that preferentially take material from the smaller dots, and lead to an increased level of nonradiative recombination per layer at low injection level. A second nonradiative process is apparent at higher injection level, which is related to the population of the small dot size subset. Spontaneous radiative efficiency was improved in a five-layer sample where the large to small dot size energy separation and relative density of the large dot size subset were increased.
Serious Pseudomonas aeruginosa infection in healthy children: case report and review of the literature

Correspondence: Luigi Viola, Pediatric Intensive Care Unit, Institute of Pediatrics, University Hospital “ A. Gemelli ” Largo A. Gemelli 8, 00168 Rome, Italy. Email: viogio@katamail.com Received 7 May 2003; revised 28 October 2004; accepted 28 February 2005. Pseudomonas aeruginosa (PA) is an aerobic gram-negative bacterium that grows in moist environments. The most severe infections occur in adult and pediatric patients with acquired or primitive immunological abnormalities, or submitted to invasive therapeutic procedures. It is also responsible for severe nosocomial infections, in particular respiratory infections in patients with chronic lung diseases (e.g. cystic fi brosis), sepsis and meningitis. Some authors report cases of PA communityacquired pneumonia in previously healthy adults; there are also case reports of healthy children with severe PA infections. 1 – 12
Cross-cultural perspectives in human development : theory, research, and applications

Introduction - T S Saraswathi PART ONE: THEORETICAL PERSPECTIVES Ecocultural Perspectives on Human Psychological Development - John W Berry Wanted - Lutz H Eckensberger A Contextualized Psychology: Plea for a Cultural Psychology Based on Action Theory Ontogeny as the Interface between Biology and Culture - Heidi Keller Evolutionary Considerations Theoretical Framework in Cross-Cultural Developmental Psychology - Pierre R Dasen An Attempt at Integration Human Development across Culture - Cigdem Kagitcibasi A Contextual-Functional Analysis and Implication for Intervention PART TWO: RESEARCH AND APPLICATIONS Conceptualizing Human Development and Education in Sub-Saharan Africa at the Interface of Indigenous and Exogenous Influences - A Bame Nsamenang Modernization and Change in Adolescent Social Life - Alice Schlegel Adolescence without Family Disengagement - Reed Larson et al The Daily Family Life of Indian Middle Class Teenagers From Research Projects to Nationwide Programme - Sevda Bekman The Mother-Child Education Programme of Turkey Counting on Everyday Mathematics - Anita Rampal Current Issues and Trends in Early Childhood Education - Lilian G Katz
Tumor demarcation of MRI scan using KMCG vector quantization algorithm

In this paper, texture based segmentation algorithms are considered for comparison. The problem with some of these methods is, they need human interaction for accurate and reliable segmentation. Human interaction is in terms of providing some initial knowledge externally for segmentation. This knowledge is in terms of a small amount of labeled data for some or all classes. This is usually time-consuming and expensive. Segmentation based on Gray level co-occurrence matrix gives better result for variance but computational complexity is more. Watershed gives over segmentation. Morphological provides better segmentation but edges can not get eliminated whereas for segmentation using Kekre's Median Codebook Generation (KMCG) algorithm shows proper tumor demarcation by avoiding other part of the image.
Population‐based drug‐related anaphylaxis in children and adolescents captured by South Carolina Emergency Room Hospital Discharge Database (SCERHDD) (2000–2002)

Anaphylaxis is a life‐threatening condition; drug‐related anaphylaxis represents approximately 10% of all cases. We assessed the utility of a statewide emergency department (ED) database for identifying drug‐related anaphylaxis in children by developing and validating an algorithm composed of ICD‐9‐CM codes.
On the optimal search neighborhood in Mixed Wireless Sensor Networks

This paper considers the problem of improving the monitoring capability of a sparse stationary sensor network with mobile sensor nodes. The main idea is that the mobile sensors should sample the areas that are least covered (monitored) by the static sensors. Thus, a simple path planning strategy is presented that decides the next point to be visited using only “local” information. For a simplified scenario, the paper derives the optimal path strategy and extrapolates some of the properties of the scenario to a more general instance of the problem. Furthermore, the paper proposes a surrogate metric that can be used in order to determine the optimal searching neighborhood and presents extensive simulation results which indicated that this approach can achieve very good results.
Introduction to Bisimulation and Coinduction

Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis.
Determination of the equilibrium line on an alpine glacier using remote sensing data fusion techniques

High resolution remote sensing satellite data serve as a source for equilibrium line (EL) analysis on top of glaciers. Data fusion techniques are used in order to take advantage from both the multispectral and panchromatic information available from simultaneously acquired IRS-LISS and -PAN recordings. As a result of segmentation between snow and ice the EL is derived based on multispectral classification of the fused data.
ORIBATID MITES AS INTERMEDIATE HOSTS OF ANOPLOCEPHALID TAPEWORMS AND THEIR DISTRIBUTION DYNAMICS IN A DESERT SOIL ECOSYSTEM

The present study aims to evaluate the effect of anoplocephalid tapeworms mite infection on their distribution ecology and population structures. The data obtained revealed that seven species of oribatid mites collected from that chosen soil act as intermediate hosts of tapeworms of the Anoplocephalidae, as they were found to be infected by tapeworm cysticercoid. The most cited infected mite families were Oribatulidae with 5 species namely; Scheloribates laevigatus, S. zaheri, S. confundatus, Zygoribatula undulata and Z. niliaca. However, each of Galuminid and Haplozetid families is represented by only one infected species. These species are Galumna flabellifera and Xylobates lophotricus, respectively. From the parasitological point of view, the present study clarified the temporal variability of the intensity of infection among the infected mites, the prevalence of infection as well as the vertical distribution tendency of infected mites in natural habitats. According to mean intensity and prevalence of infection, the infected oribatid mites could be divided into four groups; 1- Low prevalence and heavily infected group. 2- High prevalence and heavily infected group. 3- High prevalence and moderately infected group. 4-High prevalence and lightly infected group and were found to be species dependent. The vertical distribution tendency of the infected mites is strongly correlated to the prevalence of infection.
Quantum Financial Economics of Games of Strategy and Financial Decisions

A quantum financial approach to finite games of strategy is addressed, with an extension of Nash's theorem to the quantum financial setting, allowing for an entanglement of games of strategy with two-period financial allocation problems that are expressed in terms of: the consumption plans' optimization problem in pure exchange economies and the finite-state securities market optimization problem, thus addressing, within the financial setting, the interplay between companies' business games and financial agents' behavior. A complete set of quantum Arrow-Debreu prices, resulting from the game of strategy's quantum Nash equilibrium, is shown to hold, even in the absence of securities' market completeness, such that Pareto optimal results are obtained without having to assume the completeness condition that the rank of the securities' payoff matrix is equal to the number of alternative lottery states.
Criteria Minimizing Legal and Financial Risks In Airspace Businesses

This article provides a broad description of the risks and liability aspects related to new Satellite Communications Technologies, not in terms of the value of aerospace assets, but rather of their use, that is of their capacity to generate sufficient cash flows to remunerate the subjects involved in the various phases of putting satellites into orbit. Risk Management should be employed throughout the life cycle of a project, much the way cost, schedule and content are managed. Risk, therefore, becomes the main dimension of project management treated equally as important as cost and schedule. The Outer Space Treaties, while of academic interest, have not been completely applied to commercial space ventures and the disputes that naturally arise out of those ventures. Disputes involving insurance coverage, property damage, cross-waivers of liability, subrogation, product liability, contractual disclaimers and choice of law have been resolved by the Courts using traditional legal principles that are often "hundred of years old". The results have been mixed at best. Insurers, manufacturers and operators are still faced with a lack of uniformity and the unpredictability of having their unique and complex disputes resolved by archaic legal principles and groups outside the industry.