Miracle-dz/UniFAR-FTUs huggingface dataset:
Strictly convergent analytic structures

We give conclusive answers to some questions about definability in analytic languages that arose shortly after the work by Denef and van den Dries, [DD], on $p$-adic subanalytic sets, and we continue the study of non-archimedean fields with analytic structure of [LR3], [CLR1] and [CL1]. We show that the language $L_K$ consisting of the language of valued fields together with all strictly convergent power series over a complete, rank one valued field $K$ can be expanded, in a definitial way, to a larger language corresponding to an analytic structure (with separated power series) from [CL1], hence inheriting all properties from loc. cit., including geometric properties for the definable sets like certain forms of quantifier elimination. Our expansion comes from adding specific, existentially definable functions, which are solutions of certain henselian systems of equations. Moreover, we show that, even when $K$ is algebraically closed, one does not have quantifier elimination in $L_K$ itself, and hence, passing to expansions is unavoidable in general. We pursue this study in the wider generality of extending non-separated power series rings to separated ones, and give new examples, in particular of the analytic structure over $\mathbb{Z}[[t]]$ that can be interpreted and understood now in all complete valued fields. In a separate direction, we show in rather large generality that Weierstrass preparation implies Weierstrass division.
Official Statistics Data Integration Using Copulas

Abstract The aim of this paper is to propose a novel approach to integrate financial information, incorporating the dependence structure among the variables in the model. The approach is based on two types of graphical models: vines and non-parametric Bayesian belief nets (NPBBNs). Vines are undirected graphs, representing pair copula constructions, which are used to model the dependence structure of a set of variables. NPBBNs are directed graphs, that use pair copulas to model the dependencies, and allow US for diagnosis and prediction via conditionalization. This approach permits to aggregate information and to calibrate the results obtained with different sources of data. The illustrated methodologies are applied to two financial datasets, the first one containing data collected through a survey and the second one containing official statistics data.
The effects of reminiscence on psychological well-being in older adults: A meta-analysis

This paper presents the results of a meta-analysis to assess the effectiveness of reminiscence on psychological well-being across different target groups and treatment modalities. Fifteen controlled outcome studies were included. An overall effect size of 0.54 was found, indicating a moderate influence of reminiscence on life-satisfaction and emotional well-being in older adults. Life-review was found to have significantly greater effect on psychological well-being than simple reminiscence. In addition, reminiscence had significantly greater effect on community-dwelling adults than adults living in nursing homes or residential care. Other characteristics of participants or interventions were not found to moderate effects. It is concluded that reminiscence in general, but especially life review, are potentially effective methods for the enhancement of psychological well-being in older adults. However, a replication of effectiveness studies of the well-defined protocols is now warranted.
HUNTING BEHAVIOR AND DIET OF COOPER'S HAWKS: AN URBAN VIEW OF THE SMALL-BIRD-IN-WINTER PARADIGM

Abstract We examined the predatory behavior of wintering urban Cooper's Hawks (Accipiter cooperii). Eight Cooper's Hawks (7 female, 1 male) were radio-tracked intensively during two winter periods from 1999–2001. We observed 179 attacks, 35 of which were successful, for an overall attack success rate of 20%. We recorded an additional 44 kills resulting from unobserved attacks. European Starlings (Sturnus vulgaris), Mourning Doves (Zenaida macroura), and Rock Doves (Columba livia) made up 95% of the prey attacked and 91% of the diet. Smaller birds (<70 g), such as House Sparrows (Passer domesticus), were numerous in the study area but were rarely attacked. Mammals were not included in the diet. Surprise attacks (initiated at close range, often from behind an obstruction), were more successful than “open” attacks, although the latter were more frequent. In addition, attacks on single individuals were significantly more successful than those on flocks. Nonetheless, many attacks were attempted on large flocks. Our results suggest that the smaller bird species (<70 g) in our urban study area were at low risk of predation from Cooper's Hawks. Comportamiento de Caza y Dieta de Accipiter cooperii: Una Visión Urbana del Paradigma de Aves Pequeñas durante el Invierno Resumen. Examinamos el comportamiento de depredación de individuos urbanos de la especie Accipiter cooperii durante el período de invernada. Ocho individuos (siete hembras y un macho) fueron seguidos intensamente mediante radio telemetría durante dos períodos invernales desde 1999 hasta 2001. Observamos 179 ataques, de los cuales 35 fueron exitosos, con una tasa general de éxito de ataque del 20%. Adicionalmente, registramos 44 muertes que resultaron de ataques no observados. Sturnus vulgaris, Zenaida macroura y Columba livia compusieron el 95% de las presas atacadas y el 91% de la dieta. Aves pequeñas (<70 g), como Passer domesticus, fueron muy abundantes en el área de estudio pero fueron raramente atacadas. La dieta no incluyó mamíferos. Los ataques sorpresivos (iniciados a una corta distancia, generalmente desde detrás de algún objeto) fueron más exitosos que ataques “abiertos,” aunque estos últimos fueron más frecuentes. Además, los ataques sobre individuos que se encontraban solos fueron significativamente más exitosos que aquellos sobre bandadas. Sin embargo, muchos ataques fueron intentados sobre bandadas grandes. Nuestros resultados sugieren que en nuestra área de estudio urbana las especies de aves más pequeñas (<70 g) tenían un menor riesgo de ser depredadas por A. cooperii.
Association between C-reactive protein and coronary calcium score in coronary artery disease

Background Both high-sensitivity C-reactive protein (hs-CRP) and spiral computed tomography coronary artery calcium score (CCS) are valid markers of cardiovascular risk. It is unknown whether hs-CRP is a marker of atherosclerotic burden or if it reflects a process leading to acute coronary events. Methods and results We studied the association between hs-CRP and CCS in 143 patients who were candidates for coronary artery bypass grafting (CABG). In our cross-sectional study, we found no significant association between hs-CRP and the CCS in bivariant (p = 0.162) and multivariant (p = 0.062) analyses. However, in patients who did not use statins, this association was significant and positive in the bivariant analysis (p = 0.001), but in the multivariant analysis it was negative and significant (p = 0.008). Conclusion High-sensitivity CRP was not correlated with CCS. The relationship between CRP and clinical events might not be related to atherosclerotic burden. Measures of inflammation, such as hs-CRP, and indices of atherosclerosis, such as CCS, are likely to provide distinct information regarding cardiovascular risk.
Are women better police officers? Evidence from survey experiments in Uganda

Can the feminization of public services improve quality and lower corruption? The underlying logic of such efforts is the belief that women have higher ethical standards than men. To answer this question, we examine the links between gender and policing practice using data from twelve vignette cases assessed by 600 Ugandan police officers. Our empirical strategy is based on a randomized framing experiment, which is designed to isolate the effect of gender from institutional factors and social norms. We find that the gender of the police officer depicted in the cases and victim gender are not related to the judgment of police malpractice, nor to suggested disciplinary measures. However, respondent gender matters for the reporting of misconduct and the perception of the official institutional policy of the police. Men are stricter when assessing cases along these dimensions. The results indicate that simply feminizing the police force is unlikely to enhance service quality.
Structure and evolution of the first CoRoT exoplanets: probing the brown dwarf/planet overlapping mass regime

We present detailed structure and evolution calculations for the first transiting extrasolar planets discovered by the space-based CoRoT mission. Comparisons between theoretical and observed radii provide information on the internal composition of the CoRoT objects. We distinguish three different categories of planets emerging from these discoveries and from previous ground-based surveys: (i) planets explained by standard planetary models including irradiation; (ii) abnormally bloated planets; and (iii) massive objects belonging to the overlapping mass regime between planets and brown dwarfs. For the second category, we show that tidal heating can explain the relevant CoRoT objects, providing non-zero eccentricities. We stress that the usual assumption of a quick circularization of the orbit by tides, as usually done in transit light curve analysis, is not justified a priori, as suggested recently by Levrard et al. (2009), and that eccentricity analysis should be carefully redone for some observations. Finally, special attention is devoted to CoRoT-3b and to the identification of its very nature: giant planet or brown dwarf? The radius determination of this object confirms the theoretical mass-radius predictions for gaseous bodies in the substellar regime but, given the present observational uncertainties, does not allow an unambiguous identification of its very nature. This opens the avenue, however, to an observational identification of these two distinct astrophysical populations, brown dwarfs and giant planets, in their overlapping mass range, as done for the case of the 8 Jupiter-mass object Hat-P-2b. According to the presently published error bars for the radius determination and to our present theoretical description of planet structure and evolution, the high mean density of this object requires a substantial metal enrichment of the interior and is inconsistent at about the 2-sigma limit with the expected radius of a solar-metallicity brown dwarf. Within the aforementioned observational and theoretical determinations, this allows a clear identification of its planetary nature, suggesting that planets may form up to at least 8 Jupiter masses.
Fact or wishful thinking? Biased expectations in "I think I look better when I'm tanned".

OBJECTIVE To examine the impact of tanned female images on respondents' perceptions of attractiveness, healthiness, and height and weight estimations. METHOD A 3 (light, medium, or dark tan) by 2 (male or female respondent) experimental design. RESULTS Only male respondents perceived the dark-tanned woman as more physically attractive and thinner than both light- and medium-tanned women. Men also perceived the dark-tanned woman as more interpersonally attractive and healthier than the medium-tanned woman. CONCLUSIONS Campaigns targeted at males need to reduce the perceptions that tanned females are healthier, thinner, and more attractive. Educational efforts targeting females need to reduce attraction-based motivations.
UNDERSTANDING SOFTWARE PRODUCTIVITY

What affects software productivity and how do we improve it? This report examines the current state of the art in software productivity measurement. In turn, it describes a framework for understanding software productivity, some fundamentals of measurement, surveys empirical studies of software productivity, and identifies challenges involved in measuring software productivity. A radical alternative to current approaches is suggested: to construct, evaluate, deploy, and evolve a knowledge-based `software productivity modeling and simulation system' using tools and techniques from the domain of software process engineering.
Investigating pair-programming in a 2nd-year software development and design computer science course

This paper presents the results of a pair programming experiment conducted at the University of Auckland (NZ) during the first semester of 2004. It involved 300 second year Computer Science students attending a software design and construction course. We investigated similar issues to those reported in [26] and employed a subset of the questionnaires used by Laurie Williams et al. on the experiments presented in [26]. Our results support the use of pair programming as an effective programming/design learning technique.
Scientific Content Analysis (SCAN) Cannot Distinguish Between Truthful and Fabricated Accounts of a Negative Event

The Scientific Content Analysis (SCAN) is a verbal veracity assessment method that is currently used worldwide by investigative authorities. Yet, research investigating the accuracy of SCAN is scarce. The present study tested whether SCAN was able to accurately discriminate between true and fabricated statements. To this end, 117 participants were asked to write down one true and one fabricated statement about a recent negative event that happened in their lives. All statements were analyzed using 11 criteria derived from SCAN. Results indicated that SCAN was not able to correctly classify true and fabricated statements. Lacking empirical support, the application of SCAN in its current form should be discouraged.
How Writers Search: Analyzing the Search and Writing Logs of Non-fictional Essays

Many writers of non-fictional texts engage intensively in exploratory web search scenarios during their background research on the essay topic. Though understanding such search behavior is necessary for the development of search engines that specifically support writing tasks, it has neither been systematically recorded nor analyzed. This paper contributes part of the missing research: We report on the outcomes of a large-scale corpus construction initiative to acquire detailed interaction logs of writers who were given a writing task on 150 pre-defined TREC topics. The corpus is freely available to foster research on exploratory search. Each essay is at least 5000 words long and comes with a chronological log of search queries, result clicks, web browsing trails, and fine-grained writing revisions that reflect the task completion status. To ensure reproducibility, a fully-fledged, static web search environment has been created on top of the ClueWeb09 corpus as part of our initiative. In this paper, we present initial analyses of the recorded search interaction logs and overview insights gained from them: (1) essay writing behavior corresponds to search patterns that are rather stable for the same writer, (2) fact-checking queries often conclude a writing task, (3) recurring anchor queries are often submitted to not lose the main themes or to explore new directions, (4) query terms can be learned while searching and reading, (5) the number of submitted queries is not a good indicator for task completion.
Contractions on a manifold polarized by an ample vector bundle

A complex manifold $X$ of dimension $n$ together with an ample vector bundle $E$ on it will be called a {\sf generalized polarized variety}. The adjoint bundle of the pair $(X,E)$ is the line bundle $K_X + det(E)$. We study the positivity (the nefness or ampleness) of the adjoint bundle in the case $r := rank (E) = (n-2)$. If $r\geq (n-1)$ this was previously done in a series of paper by Ye-Zhang, Fujita, Andreatta-Ballico-Wisniewski. If $K_X+detE$ is nef, then by the Kawamata-Shokurov base point free theorem, it supports a contraction; i.e. a map $\pi :X \longrightarrow W$ from $X$ onto a normal projective variety $W$ with connected fiber and such that $K_X + det(E) = \pi^*H$, for some ample line bundle $H$ on $W$. We describe those contractions for which $dimF \leq (r-1)$. We extend this result to the case in which $X$ has log terminal singualarities. In particular this gives the Mukai's conjecture1 for singular varieties. We consider also the case in which $dimF = r$ for every fibers and $\pi$ is birational. Hard copies of the paper are available.
Advanced pairwise structure alignments of proteins and analysis of conformational changes

MOTIVATION Comparing the 3D structures of two proteins or analyzing the structural changes undergone by a protein upon ligand binding or when it crystallizes under different conditions, can be both tricky and tedious, especially when the two proteins are distantly related, or when the structural changes are complex. Readily accessible tools for performing these tasks automatically and reliably should therefore be welcome. RESULTS We describe a web interface to several automatic procedures for performing pairwise structure superposition in a flexible manner, for detailed analyses of conformational changes and for displaying the results in a pictorial fashion. AVAILABILITY This interface can be accessed at the Brussels and Cuba Web sites, respectively: http://www.ucmb. ulb.ac. be/SCMBB/Tools.htmland http://bio.cigb. edu.cu.
Sharing the classroom: A professional development opportunity for teachers and social workers

This article examines the impact of a service-learning program based on positive youth development and social and emotional learning principles in two high-poverty urban middle schools. A longitudinal mixed-methods design was implemented, and qualitative data analysis yielded unexpected results associated with the professional development of teachers and social workers involved in the program. The data suggests that participation in weekly program sessions for students contributed to positively shifting adults’ perceptions of students, and expanding the repertoire of classroom management strategies, which, in turn, overflowed into other areas of the school culture. This case analysis proposes a theoretical shift to interdisciplinary professional development that incorporates social and emotional learning strategies implemented in the classroom and through service learning as part of a comprehensive program.
Comparison of intraductal ultrasonography-directed and cholangiography-directed endoscopic retrograde biliary drainage in patients with a biliary obstruction

Background/Aims: Endoscopic retrograde biliary drainage (ERBD) has become a standard procedure in patients with a biliary obstruction. Intraductal ultrasonography (IDUS) has emerged as a new tool for managing extrahepatic biliary diseases. IDUS-directed ERBD can be performed without conventional cholangiography (CC). The goal of this study was to assess the effectiveness and safety of IDUS-directed ERBD compared to CC-directed ERBD in patients with an extrahepatic biliary obstruction. Methods: A total of 210 patients who had undergone IDUS-directed ERBD (IDUS-ERBD, n = 105) and CC-directed ERBD (CC-ERBD, n = 105) between October 2013 and April 2014 were analyzed retrospectively. The primary outcome measure was the procedural success rate. Secondary outcome measures included clinical outcomes, total procedure time, radiation exposure time, and overall complication rates. Results: The total technical success rate of ERBD was 100% (105/105) in the IDUS-ERBD and CC-ERBD groups. Mean procedure time was slightly prolonged in the IDUS-ERBD group than that in the CC-ERBD group (32.1 ± 9.9 minutes vs. 28.4 ± 11.6 minutes, p = 0.023). Mean radiation exposure time was one-third less in the IDUS-ERBD group than that in the CC-ERBD group (28.0 ± 49.3 seconds vs. 94.2 ± 57.3 seconds, p < 0.001). No significant differences in complication rates were detected between the groups. Conclusions: IDUS-ERBD was equally effective and safe as CC-ERBD in patients with an extrahepatic biliary obstruction. Although IDUS-ERBD increased total procedure time, it significantly decreased radiation exposure.
INTRODUCING THE OTAM : EXPLORING USERS ’ PERCEPTIONS OF THEIR ON-GOING INTERACTION WITH ADOPTED TECHNOLOGIES Shirlee-ann Knight

A common criticism directed at Davis’ (1986; 1989) Technology Acceptance Model relates to its failure to adequately frame the “experienced” user’s ongoing adoption and exploitation of information technologies. Given the pervasive nature of technology into individual users’ ongoing, everyday communication and information interactions, along with the “new adopter” becoming an increasingly rare entity, the TAM is in danger of becoming a somewhat obsolete framework for investigating user-technology interaction. Presented is critical analysis of the development and current state of the TAM, followed by a proposed addition to the existing Perceived Usefulness (PU) and Perceived Ease of Use (PEoU) TAM constructs. The paper contends that the inclusion of a third broad construct, Perception of Interaction (PoI) allows researchers to develop an investigative framework which facilitates an exploration of users’ ongoing and changing perceptions of the such things as the predictability of their technology interaction processes. The paper represents one the few inductive TAM investigations.
Analysis of the Peak-To-Average Power Ratio for OFDM/OQAM

OFDM/OQAM is now a recognized alternative to conventional OFDM for the transmission of signals over multipath fading channels. Indeed with OFDM/OQAM an appropriate pulse-shaping can be introduced to fight against time and frequency dispersion. This paper focuses on a theoretical and experimental analysis of the peak-to-average power ratio (PAPR) for OFDM/OQAM. It is shown that the best complementary cumulative density function (CCDF) is obtained with orthogonal prototype filters
The effects of multiple forms of disgust exposure on the processing of emotional photographic images

Exposure to disgust has been found to influence both short term attentional processes and decision making. This thesis proposed to investigate the extent to which disgust exposure can also influence emotion processing and evaluation – specifically of real world photographic images. To this end, both behavioural and event related potential (ERP) paradigms were utilised. Disgust was induced in multiple ways – through videos, written scenarios and briefly presented prime images. After exposure to disgusting prime images, participants high in disgust propensity were quicker to respond to disgust targets (a congruence effect that was not obtained for fear targets preceded by fear primes). After reading disgusting sentences, participants who were high in disgust propensity were more likely to judge pleasant food images (as well as disgusting images) as unpleasant (but not other pleasant images) thus reconfirming the relationship between disgust and digestion. ERP data revealed that individuals high in attentional shifting ability had a suppressed Late Positive Potential (LPP) to both disgusting and threatening images but that this effect was washed out through reading disgusting scenarios. After exposure to disgusting videos, attentional focus was associated with an increased LPP response to disgust (but not fear) images. There was a strong occipital LPP enhancement for disgust (over both fear and neutral) that was independent of disgust exposure and could represent an electrophysiological marker of disgust processing. The results demonstrate that both the processing of disgusting images, as well as the processing of emotional images of a variety of content (both positive and negative), can be affected by disgust exposure. These effects can be seen early in processing and also influence later emotional assessments, and are strongly dependent on individual differences in disgust propensity and attentional control. The results highlight the extent to which disgust can influence multiple short-term emotion processing mechanisms.