Miracle-dz/UniFAR-FTUs huggingface dataset:
Self-consistent perturbation expansion for Bose-Einstein condensates satisfying Goldstone's theorem and conservation laws

Quantum-field-theoretic descriptions of interacting condensed bosons have suffered from the lack of self-consistent approximation schemes satisfying Goldstone's theorem and dynamical conservation laws simultaneously. We present a procedure to construct such approximations systematically by using either an exact relation for the interaction energy or the Hugenholtz-Pines relation to express the thermodynamic potential in a Luttinger-Ward form. Inspection of the self-consistent perturbation expansion up to the third order with respect to the interaction shows that the two relations yield a unique identical result at each order, reproducing the conserving-gapless mean-field theory [T. Kita, J. Phys. Soc. Jpn. 74, 1891 (2005)] as the lowest-order approximation. The uniqueness implies that the series becomes exact when infinite terms are retained. We also derive useful expressions for the entropy and superfluid density in terms of Green's function and a set of real-time dynamical equations to describe thermalization of the condensate.
Linearly-dense classes of matroids with bounded branch-width

Let M be a non-empty minor-closed class of matroids with bounded branch-width that does not contain arbitrarily large simple rank-2 matroids. For each non-negative integer n we denote by ex(n) the size of the largest simple matroid in M that has rank at most n. We prove that there exist a rational number ∆ and a periodic sequence (a0, a1, . . .) of rational numbers such that ex(n) = ∆n+ an for each sufficiently large integer n.
Método de Análise Hierárquica para Suporte à Decisão na Localização de Instalações Geradoras de Energia Solar Fotovoltaica no Estado de Sergipe

A busca por fontes de energia renovável faz parte do contexto econômico e social brasileiro no sentido de melhorar capacidade de geração, flexibilizar a matriz energética para acompanhar o constante crescimento da demanda. A obtenção de energia elétrica a partir de painéis fotovoltaicos tem sido uma das alternativas neste processo e é realizada em instalações comumente chamadas de usinas (ou parques) solares fotovoltaicos. Os parques solares apresentam uma construção relativamente simples e rápida, porém, para uma melhor captação da energia solar e rendimento requerem instalações complexas e custosas. Sendo assim, é indispensável realizar um estudo de viabilidade antes de selecionar um local para a implementação. Dentro deste estudo, destaca-se a influência da escolha da localização da usina solar. Neste sentido, este trabalho apresenta uma avaliação das potenciais regiões do estado de Sergipe que apresentam parâmetros mais atrativos para a instalação de usinas solares. Para a escolha da alternativa mais favorável em relação aos critérios considerados para a instalação da usina solar foi aplicado o método de decisão multicritério de análise hierárquica (AHP) baseado em dados gerados no processamento digital de imagens. Os resultados obtidos mostram a possibilidade de avaliação das localidades com base nos métodos aplicados, baseados em uma estrutura analítica de apoio à decisão.
Neuromusculoskeletal Rehabilitation of Severe Cerebral Palsy

Persons with Gross Motor Function Classification System (GMFCS) levels IV and V are considered as severe cerebral palsy (CP) and are non-ambulatory. These persons are at a higher risk of complications such as hip displacement (sub-luxation or dislocation), spinopelvic deformities, musculoskeletal pain, low bone mineral density and low energy fracture. The recommended management strategy at present for this group is wheelchair-aided mobility, with which none of these complications can be prevented. There is a strong need to evaluate alternative methods of treatment that can allow assisted ambulation in persons with severe CP. The role of Single Event Multilevel Lever Arm Restoration and AntiSpasticity Surgery (SEMLARASS) and protocol-based active rehabilitation on gross motor function and ambulation of non-ambulatory persons with CP at GMFCS levels IV and V is examined. Active rehabilitation involves making the person with severe CP active through most of the waking hours and participating actively in the rehabilitation. A well-planned and executed SEMLARASS, followed by intensive, protocol-based, sequenced multidisciplinary active rehabilitation, provides the persons with GMFCS levels IV and V a significant functional improvement in gross motor function and mobility.
Synthesis and Photoluminescence of Nanocrystalline ZnS:Mn^(2+)

The influence of the synthesis conditions on the properties of nanocrystalline ZnS:Mn2+ is discussed. Different Mn2+ precursors and different ratios of the precursor concentrations [S2-]/[Zn2+] were used. The type of Mn2+ precursor does not have an effect on the luminescence properties in the synthesis method described. On going from an excess of [Zn2+] to an excess of [S2-] during the synthesis, the particle diameter increases from 3.7 to 5.1 nm, which is reflected by a change in the luminescence properties. Photoluminescence measurements also showed the absence of the ZnS defect luminescence around 450 nm when an excess [S2-] is used during the synthesis. This effect is explained by the filling of sulfur vacancies. The ZnS luminescence is quenched with an activation energy of 62 meV, which is assigned to the detrapping of a bound hole from such a vacancy.
Effects of single and combined pollution of Pb, Cd and Cu on growth, metal uptake and translocation in rice

A field experiment was conducted to investigate the single and combined of lead (Pb), cadmium (Cd), and cooper (Cu) on the growth and development of rice plants and the uptake of these heavy metals by rice. The results revealed that the growth and development of rice plants were more affected by combined pollution than by single pollution. The Pb and Cd concentrations in grains under combined pollution are higher than that in single application at same level, indicating that rice grown in soils under combined pollution poses more risk to human health than under single pollution. Biological concentration factors (BCF) of different treatments of Cd and Cu change in the order as single pollution< combined pollution, implying that the upward transporting abilities of Cd and Cu absorbed by rice plants was significantly increased under combined pollution.
Disease phenotyping using deep learning: A diabetes case study

Characterization of a patient clinical phenotype is central to biomedical informatics. ICD codes, assigned to inpatient encounters by coders, is important for population health and cohort discovery when clinical information is limited. While ICD codes are assigned to patients by professionals trained and certified in coding there is substantial variability in coding. We present a methodology that uses deep learning methods to model coder decision making and that predicts ICD codes. Our approach predicts codes based on demographics, lab results, and medications, as well as codes from previous encounters. We are able to predict existing codes with high accuracy for all three of the test cases we investigated: diabetes, acute renal failure, and chronic kidney disease. We employed a panel of clinicians, in a blinded manner, to assess ground truth and compared the predictions of coders, model and clinicians. When disparities between the model prediction and coder assigned codes were reviewed, our model outperformed coder assigned ICD codes.
Genomic predictions for dry matter intake using the international reference population of gDMI

In this study, we have demonstrated that using dry matter intake (DMI) phenotypes from multiple countries increases the accuracy of genomic breeding values for this important trait, provided a multi-trait approach is used. Data from Australia, Canada, Denmark, Germany, Ireland, the Netherlands, New Zealand, United Kingdom and two institutions in the United States were combined to estimate the accuracy of genomic prediction for DMI multi-trait models. The average accuracies was 0.44, and ranged from 0.37 (Denmark) to 0.54 (the Netherlands). Enlarging the combined dataset with unique phenotypes does increase the accuracy of the genomic prediction for DMI. This stimulates further international collaboration.
N ov 2 01 8 Improving Automated Symbolic Analysis of Ballot Secrecy for E-voting Protocols : A Method Based on Sufficient Conditions Cas Cremers

We advance the state-of-the-art in automated symbolic analysis of ballot secrecy for e-voting protocols by proposing a method based on analysing three conditions that together imply ballot secrecy. Our approach has two main advantages over existing automated approaches. The first is a substantial expansion of the class of protocols and threat models that can be automatically analysed: our approach can systematically deal with (a) honest authorities present in different phases, (b) threat models in which no dishonest voters occur, and (c) protocols whose ballot secrecy depends on fresh data coming from other phases. The second advantage is that our approach can significantly improve verification efficiency, as the individual conditions are often simpler to verify. E.g., for the LEE protocol, we obtain a speedup of over two orders of magnitude. We show the scope and effectiveness of our approach using ProVerif in several case studies, including the FOO, LEE, JCJ, and Belenios protocols.
Relationship between Spiritual Transcendence and Competitive Anxiety in Male Athletes

The purpose of this study was the relationship between spiritual transcendence and competitive anxiety in athletes. For this field, 400 of men athletes in Kermanshah city by stratified sampling were selected and completed the spiritual transcendence and competitive anxiety scales. Results of Pierson correlation indicated that was positive correlation between connectedness (r=0.331), prayer fulfillment (r=0.411), universality (r=0.156) and spiritual transcendence(r=0.234) with sportive self-confidence, and negative correlation between connectedness (r=-0.124), prayer fulfillment (r=-0.443), universality (r=0.415) and spiritual transcendence (r=-0.397) with sportive self-confidence with somatic anxiety and between prayer fulfillment (r=-0.271), universality (r=-0.312) and spiritual transcendence (r=-0.221) with sportive self-confidence with somatic anxiety. Results of multiple regression by inter method showed that connectedness, prayer fulfillment and universality were explained 0.287 variance of competitive anxiety (cognitive-somatic) and this variables were explained 0.319 variance of sportive self-confidence (p<0/05).
Perceiving and Using Genre by Form – An Eye-Tracking Study

Abstract This paper reports on an approach to the analysis of genre recognition using eye-tracking. The researchers focused on eight different types of e-mail, such as calls for papers, newsletters and spam, which were chosen to represent different genres. The study involved the collection of oculographic behaviour data metrics, such as fixations and saccades to highlight the ways in which people view the features of genres. We found that genre analysis based on purpose and form (layout features, etc) was an effective means of identifying the characteristics of these e-mails. The research, carried out on a group of 24 participants, highlighted their interaction with the e-mail texts and the visual cues or features perceived as well as the strategies they employed for the processing of the texts. The results showed that readers can determine the purpose and form of genres, that form and content can occasionally be separable, that some features cause fixations and that some readers are prompted to respond by using saccadic behaviour (e.g. regressive saccades) over the shape of the e-mails (form).
Effect of Hypothyroidism on Sperms Characteristics in Testes and Epididymides of Male Albino Rats

The effect of hypothyroidism induced by carbimazole (CBZ) on the male reproductive system was investigated using 52 adults of albino male rats weighing 250-300 g treated orally with two doses of CBZ, 80 and 160 mg / kg body weight while control animals were given distilled water orally-Testing was done after 2, 4, 6, 8 weeks of treatment. The results showed a significant decrease in the percentage of live sperms and sperm numbers in the testis and epididymis (head and tail) while a significant increase was observed in the percentage of abnormal sperms in those parts of reproductive system (both significantly at p ≤ 0.001). This study confirms the existence of a clear effect of thyroid hormones disorder on the productivity and effectiveness of the male reproductive system in rat.
Assimilation of special observations taken during the INDOEX and its impact on the global analysis-forecast system

PARA LA DETERMINACION PRECISA DE LA ESTRUCTURA TRIDIMENSIONAL DE LA CIRCULACION ATMOSFERICA ES MUY IMPORTANTE ASIMILAR CADA OBSERVACION DE TODAS LAS FUENTES DE VARIABLES, ESPECIALMENTE SOBRE LAS REGIONES OCEANICAS ESCASAS DE DATOS. DURANTE LA FASE INTENSIVA DE CAMPO DE 1999 DEL EXPERIMENTO DEL OCEANO INDICO (INDOEX-IFP 99), SE HICIERON VARIAS OBSERVACIONES PARTICULARES SOBRE EL OCEANO INDICO QUE DIERON LA OPORTUNIDAD DE ESTUDIARLO MAS EXHAUSTIVAMENTE. EN ESTE ESTUDIO, ESTAS OBSERVACIONES PARTICULARES SE HAN ASIMILADO, JUNTO CON OTRAS OBSERVACIONES CONVENCIONALES Y NO CONVENCIONALES RECIBIDAS EN EL CENTRO NACIONAL PARA EL PRONOSTICO METEOROLOGICO DE RANGO MEDIO (NCMRWF), A TRAVES DEL SISTEMA GLOBAL DE TELECOMUNICACIONES EN SUS SISTEMA DE ANALISIS GLOBAL DE PRONOSTICO. EL PROPOSITO DE ESTE ESTUDIO ES DETERMINAR EL IMPACTO DE LOS DATOS ADICIONALES SOBRE EL SISTEMA GLOBAL DE ASIMILACION DE DATOS DEL NCMRWF, ASI COMO GENERAR MEJORES CONDICIONES INICIALES PARA SU USO FUTURO EN ESTUDIOS DE MODELADO. SE HA ESTUDIADO EL IMPACTO DE LOS GRUPOS DE DATOS EN ANALISIS Y PRONOSTICOS SUBSECUENTES DE 5 DIAS EN LOS CAMPOS MEDIOS MENSUALES. EL CAMPO MEDIO DE VIENTO MUESTRA EL FORTALECIMIENTO DE LAS TENDENCIAS DE LOS VIENTOS EN LOS NIVELES BAJOS Y EL FORTALECIMIENTO DEL VIENTO ALREDEDOR DEL ANTICICLO SUBTROPICAL EN LOS NIVELES ALTOS. SE HA ENCONTRADO QUE EL IMPACTO ES MAYOR SOBRE LAS REGIONES OCEANICAS ESCASAS DE DATOS Y EN LOS NIVELES ALTOS EN COMPARACION CON LOS NIVELES BAJOS. SE HA ESTUDIADO EL IMPACTO DE ESTOS GRUPOS DE DATOS SOBRE DIFERENTES CONDICIONES INICIALES ASI COMO SOBRE EL PRONOSTICO. SE HAN OBSERVADO IMPACTOS SIGNIFICATIVOS SOBRE AQUELLAS REGIONES OCEANICAS DONDE PERSISTEN SISTEMAS SINOPTICOS BIEN DEFINIDOS.
Regret Bounds for Online Portfolio Selection with a Cardinality Constraint

Online portfolio selection is a sequential decision-making problem in which a learner repetitively selects a portfolio over a set of assets, aiming to maximize long-term return. In this paper, we study the problem with the cardinality constraint that the number of assets in a portfolio is restricted to be at most k, and consider two scenarios: (i) in the full-feedback setting, the learner can observe price relatives (rates of return to cost) for all assets, and (ii) in the bandit-feedback setting, the learner can observe price relatives only for invested assets. We propose efficient algorithms for these scenarios that achieve sublinear regrets. We also provide regret (statistical) lower bounds for both scenarios which nearly match the upper bounds when k is a constant. In addition, we give a computational lower bound which implies that no algorithm maintains both computational efficiency, as well as a small regret upper bound.
Local Refinement for Graph Partitioning Based on Level Structure

Graph partitioning is a fundamental problem in several scientific and engineering applications. In this paper, we propose a heuristic local refinement algorithm for graph partitioning, which seeks to improve the quality of separators by reducing the width of the level structure. The experiments reported in this paper show that the use of our local refinement algorithm results in a considerable improvement in the quality of partitions over conventional graph partitioning scheme based on level structure.
Decay of localized states in the SIS model

The SIS model is a stochastic double-state process, valuable to represent the epidemic spreading within idealized populations of interacting individuals. Its exact mathematical formalization has been one of the goals of recent research on dynamical processes running on networks. In particular, investigations has focused on graphs characterized by highly heterogeneous degree distributions and short average distances between nodes. Such architectures are very common in nature and are known with the name of complex networks. Besides, in the thermodynamic limit the SIS model exhibits an absorbing phase transition from a regime of short-lived active contagion to a stationary state with constant non-null density of infective individuals. Critical features such as finite size scaling can be explored thanks to traditional phase transitions tools, inherited from related non-equilibrium processes defined on a lattice. Novel developments in the study of the SIS model on networks concern structures wherein a few strongly connected hubs join a large multitude of peripheral nodes. Under such circumstances, it has been shown that the adjacency matrix which is the mathematical representation of connections pattern undergoes a localization transition, akin to localization in condensed-matter systems. Theoretical investigations suggest that a dynamical consequence is the perpetual outliving of infections within a finite number of individuals, vanishing in the large size limit. Here we inspect these predictions by means of a numerical approach applied on networks with uniform connectivity over all nodes with the exception of a single hub. The configuration model is exploited to randomly build ensembles of graphs, while a continuous time algorithm simulates the SIS dynamics. Findings partially agree with analytical conjectures. Indeed, a double peaked epidemic susceptibility is observed, indicating a modified transition occurring in two stages: by stepwise increasing the infection rate, a contagion outbreak in the hub neighbourhood anticipates the usual global transition. However, the double peak scenario is not guaranteed by the mere presence of the hub, but it turns out to be dependent on nodes degree relationships. This fact reveals a competition between the hub and the rest of the network in the disease propagation. Moreover, the precise expected threshold for the localization transition is not obeyed by simulation data.
Cognitive models of executive functions development: methodological limitations and theoretical challenges

Executive functions (EF) have been defined as a series of high- er-order cognitive processes which allow the control of thought, behavior and affection according to the achievement of a goal. Such processes pre- sent a lengthy postnatal development which matures completely by the end of adolescence. In this article we make a review of some of the main mod- els of EF development during childhood. The aim of this work is to de- scribe the state of the art related to the topic, identifying the main theoreti- cal difficulties and methodological limitations associated with the different proposed paradigms. Finally, some suggestions are given to cope with such difficulties, emphasizing that the development of an ontology of EF could be a viable alternative to counter them. We believe that future researches should guide their efforts toward the development of that ontology.
Self-rotation of resonant elliptically polarized light in collision-free rubidium vapor

Self-rotation (SR) of elliptically polarized light resonant with atoms in a collision-free vapor is investigated experimentally and theoretically. Results of density matrix calculations are compared to measurements of SR on the Rb D1 and D2 lines. It is noted that SR eects involving individual hyperne transitions are suppressed due to Doppler broadening, and so previously unrecognized eects arising from the interaction of light with multiple hyperne transitions can become dominant. PACS. 42.50. Gy, 42.50. Hz, 32.80. Bx Interaction with an elliptically polarized light eld can cause an initially isotropic medium to become dichroic and birefringent. The resultant circular birefringence and linear dichroism induce rotation of the polarization ellipse of the light. In the present work, we investigate this eect, known as self-rotation (SR), occurring in a rubidium vapor in which the eect of collisions can be neglected. The vapor is subject to narrow-band cw light near-resonant with the Rb D1 (795 nm, 2 S 1 ! 2 P 1 ) and D2 (780 nm, 2 S 1 ! 2 P 3 ) transitions. Under these conditions, as we discuss below, the previously unrecognized
Passive and active immunity of broiler chickens against Campylobacter jejuni and ways of disease transmission

The study deals with passive and active immunity of fifty-three broiler chickens after infection with culture of Campylobacter jejuni. Potential transfer of infection by faecal-oral and aerogenic routes was also investigated. Cloacal swabs and ceacal content were analyzed microbiologically. Identification of C. jejuni was carried out by polymerase chain reaction. Observation of passive immunity of broilers from 3 days of age showed that no transfer of C. jejuni infection occurred up to 12 day post-infection (p.i.). Observations of active immunity in fourteen 21 days old chickens infected with C. jejuni showed that 6 chickens were positive on day 3 p.i. and all infected chickens were positive on day 5 p.i. Investigations of the transfer of C. jejuni by faecal-oral route revealed positivity in two broilers on day 3 p.i. and in all tested chickens on day 5 p.i. Aerogenic transfer of infection was not recorded. This was one of the first studies in our country dealing with passive and active immunity of broiler chickens against C. jejuni and spreading of this zoonotic disease. Campylobacteriosis, PCR, microbiological examination, disease transfer The food chain is considered one of the most important ways of transfer of alimentary infections among animals and humans. The spreading of infections in poultry production is related to insufficient hygiene of rearing which is stressful to housed birds and results in increased numbers of heterophils (Bedaňova et al. 2007). Campylobacter jejuni is world-wide considered the principal cause of human diarrhoeal diseases and gastroenteritis transmissible in food. Campylobacteriosis is a zoonosis; many animals serve as reservoirs of this infectious disease. Campylobacter sp. enters the environment also via drinking water contaminated with excrements of animals, birds or infected people (Nogva et al. 2000). The aim of the study was to investigate passive and active immunity of broiler chickens against C. jejuni and potential transfer of this disease by faecal-oral and aerogenic routes.