Miracle-dz/UniFAR-FTUs huggingface dataset:
Propagating functional dependencies with conditions

The dependency propagation problem is to determine, given a view defined on data sources and a set of dependencies on the sources, whether another dependency is guaranteed to hold on the view. This paper investigates dependency propagation for recently proposed conditional functional dependencies (CFDs). The need for this study is evident in data integration, exchange and cleaning since dependencies on data sources often only hold conditionally on the view. We investigate dependency propagation for views defined in various fragments of relational algebra, CFDs as view dependencies, and for source dependencies given as either CFDs or traditional functional dependencies (FDs). (a) We establish lower and upper bounds, all matching, ranging from PTIME to undecidable. These not only provide the first results for CFD propagation, but also extend the classical work of FD propagation by giving new complexity bounds in the presence of finite domains. (b) We provide the first algorithm for computing a minimal cover of all CFDs propagated via SPC views; the algorithm has the same complexity as one of the most efficient algorithms for computing a cover of FDs propagated via a projection view, despite the increased expressive power of CFDs and SPC views. (c) We experimentally verify that the algorithm is efficient.
ON THE GROWTH OF A VAN DER WAERDEN-LIKE FUNCTION

Let W(3,k) denote the largest integer w such that there is a red/blue coloring of {1,2,. ,w} which has no red 3-term arithmetic progression and no block of k consecutive blue integers. We show that for some absolute constant c, W(3,k) ! k clogk for all k.
Perturbation Analyses for the QR Factorization

This paper gives perturbation analyses for $Q_1$ and $R$ in the QR factorization $A=Q_1R$, $Q_1^TQ_1=I$ for a given real $m\times n$ matrix $A$ of rank $n$ and general perturbations in $A$ which are sufficiently small in norm. The analyses more accurately reflect the sensitivity of the problem than previous such results. The condition numbers here are altered by any column pivoting used in $AP=Q_1R$, and the condition number for $R$ is bounded for a fixed $n$ when the standard column pivoting strategy is used. This strategy also tends to improve the condition of $Q_1$, so the computed $Q_1$ and $R$ will probably both have greatest accuracy when we use the standard column pivoting strategy. First-order perturbation analyses are given for both $Q_1$ and $R$. It is seen that the analysis for $R$ may be approached in two ways---a detailed "matrix--vector equation" analysis which provides a tight bound and corresponding condition number, which unfortunately is costly to compute and not very intuitive, and a simpler "matrix equation" analysis which provides results that are usually weaker but easier to interpret and which allows the efficient computation of satisfactory estimates for the actual condition number. These approaches are powerful general tools and appear to be applicable to the perturbation analysis of any matrix factorization.
Gender differences in probable posttraumatic stress disorder among police responders to the 2001 World Trade Center terrorist attack.

BACKGROUND Police responders to the 2001 World Trade Center (WTC) disaster were previously reported to have an increased prevalence of probable posttraumatic stress disorder (PTSD). METHODS Four thousand seventeen police responders (3,435 men and 582 women) were interviewed 2-3 years after 9/11/01 as part of the World Trade Center Health Registry. Demographic, occupational, and event-specific risk factors were evaluated for probable PTSD, determined by DSM-IV criteria using the Posttraumatic Stress Checklist (PCL). RESULTS Overall prevalence of probable PTSD was 8.3% (women: 13.9%; men: 7.4%, P < 0.001). Risk factors for both genders included 9/11-related injury and older age. For men, specific risk factors were: presence in WTC Towers on 9/11 and Hispanic ethnicity; and for women, witnessing horror and education less than a college degree. CONCLUSIONS Significantly higher prevalence of probable PTSD was found for female police responders. Although consistent with civilian populations, this finding contrasts with other studies of PTSD and WTC rescue and recovery workers, and police prior to 9/11.
The SARAH Domain of RASSF1A and Its Tumor Suppressor Function

The Ras association domain family 1A (RASSF1A) tumor suppressor encodes a Sav-RASSF-Hpo domain (SARAH), which is an interaction domain characterized by hWW45 (dSAV) and MST1/2 (dHpo). In our study, the interaction between RASSF1A and RASSF1C with MST1 and MST2 was demonstrated and it was shown that this interaction depends on the SARAH domain. SARAH domain-deleted RASSF1A had a similar growth-reducing effect as full-length RASSF1A and inhibited anchorage independent growth of the lung cancer cell lines A549 significantly. In cancer cells expressing the SARAH deleted form of RASSF1A, reduced mitotic rates (P = 0.001) with abnormal metaphases (P < 0.001) were observed and a significantly increased rate of apoptosis was found (P = 0.006) compared to full-length RASSF1A. Although the association with microtubules and their stabilization was unaffected, mitotic spindle formation was altered by deletion of the SARAH domain of RASSF1A. In summary, our results suggest that the SARAH domain plays an important role in regulating the function of RASSF1A.
The effect of sodium removal on the contractile response of the guinea‐pig taenia coli to carbachol.

1. The effects of Na‐free solutions (using Li, Tris, sucrose or Mg as Na substitutes) on the contractile responses, membrane depolarization and 42K efflux produced by carbachol in the smooth muscle of the guinea‐pig taenia coli have been investigated. The effect of these Na‐free solutions on intracellular ion content of the muscle has also been studied. 2. Na removal induced a pattern of changes in the tone of the muscle characteristic of the substitute used, probably reflecting changes in transmembrane Ca fluxes involving Na. 3. Contractile responses to 10 sec application of 5 x 10(‐5) M‐carbachol were greatly reduced in Na‐free solutions with all the Na substitutes used. This did not correlate with reduction in membrane depolarization or 42K efflux produced by the drug in the various Na‐free medial used. 4. Intracellular Na seems important for maintaining the contractile response, since in Na‐free solutions cellular Na levels and contractile responses were better maintained at 13 degrees than 34 degrees C and in tissues stimulated with carbachol every 10 min the final magnitude of the response was related to cellular Na content. If, however, the tissues was left unstimulated in Na‐free Mg or sucrose solution a large response could still be obtained when cellular Na content was very low. A model is described which could account for these results in terms of an intracellular Ca store released by carbachol and requiring intracellular Na. 5. In tissues continuously exposed to 10(‐4) M‐carbachol Na removal, even for only 10 sec, produced rapid relaxation, probably secondary to changes in electrical properties of the membrane caused by removal of external Na.
Out-Group Mating Threat and Disease Threat Increase Implicit Negative Attitudes Toward the Out-Group Among Men

We investigated if perceiving an out-group as a threat to one's mating opportunities enhanced the implicit negative attitudes toward that out-group. In addition, we examined the moderating effect of disease threat on the relationship between an out-group mating threat and implicit negative attitudes toward that out-group. In Experiment 1, an out-group mating threat led to stronger implicit negative out-group attitudes as measured by the Implicit Association Test, but only for men with high chronic perceived vulnerability to disease. No such effects were found among women. In Experiment 2, men in the out-group mating threat condition who were primed with disease prevalence showed significantly stronger implicit negative attitudes toward the out-group than controls. Findings are discussed with reference to the functional approach to prejudice and sex-specific motivational reactions to different out-group threats.
Stimulus-Specific Adaptation and Deviance Detection in the Rat Auditory Cortex

Stimulus-specific adaptation (SSA) is the specific decrease in the response to a frequent (‘standard’) stimulus, which does not generalize, or generalizes only partially, to another, rare stimulus (‘deviant’). Stimulus-specific adaptation could result simply from the depression of the responses to the standard. Alternatively, there may be an increase in the responses to the deviant stimulus due to the violation of expectations set by the standard, indicating the presence of true deviance detection. We studied SSA in the auditory cortex of halothane-anesthetized rats, recording local field potentials and multi-unit activity. We tested the responses to pure tones of one frequency when embedded in sequences that differed from each other in the frequency and probability of the tones composing them. The responses to tones of the same frequency were larger when deviant than when standard, even with inter-stimulus time intervals of almost 2 seconds. Thus, SSA is present and strong in rat auditory cortex. SSA was present even when the frequency difference between deviants and standards was as small as 10%, substantially smaller than the typical width of cortical tuning curves, revealing hyper-resolution in frequency. Strong responses were evoked also by a rare tone presented by itself, and by rare tones presented as part of a sequence of many widely spaced frequencies. On the other hand, when presented within a sequence of narrowly spaced frequencies, the responses to a tone, even when rare, were smaller. A model of SSA that included only adaptation of the responses in narrow frequency channels predicted responses to the deviants that were substantially smaller than the observed ones. Thus, the response to a deviant is at least partially due to the change it represents relative to the regularity set by the standard tone, indicating the presence of true deviance detection in rat auditory cortex.
Enhanced cellular uptake and long-term retention of chitosan-modified iron-oxide nanoparticles for MRI-based cell tracking

Tracking cells after therapeutic transplantation is imperative for evaluation of implanted cell fate and function. In this study, ultrasmall superparamagnetic iron oxide nanoparticles (USPIO NPs) were surface functionalized with water-soluble chitosan, a cationic polysaccharide that mediates enhanced endocytic uptake, endosomal escape into the cytosol, and subsequent long-term retention of nanoparticles. NP surface and chitosan were independently fluorescently labeled. Our NPs enable NP trafficking studies and determination of fate beyond uptake by fluorescence microscopy as well as tracking of labeled cells as localized regions of hypointensity in T2*-weighted magnetic resonance imaging (MRI) images. Adult rat neural stem cells (NSCs) were labeled with NPs, and assessment of NSC proliferation rates and differentiation potential revealed no significant differences between labeled and unlabeled NSCs. Significantly enhanced uptake of chitosan NPs in comparison to native NPs was confirmed by transmission electron microscopy, nuclear magnetic resonance (NMR) spectroscopy and in vitro cellular MRI at 11.7 Tesla. While only negligible fractions of native NPs enter cells, chitosan NPs appear within membranous vesicles within 2 hours of exposure. Additionally, chitosan-functionalized NPs escaped from membrane-bound vesicles within days, circumventing NP endo-lysosomal trafficking and exocytosis and hence enabling long-term tracking of labeled cells. Finally, our labeling strategy does not contain any NSC-specific reagents. To demonstrate general applicability across a variety of primary and immortalized cell types, embryonic mouse NSCs, mouse embryonic stem cells, HEK 293 kidney cells, and HeLa cervical cancer cells were additionally exposed to chitosan-USPIO NPs and exhibited similarly efficient loading as verified by NMR relaxometry. Our efficient and versatile labeling technology can support cell tracking with close to single cell resolution by MRI in vitro, for example, in complex tissue models not optically accessible by confocal or multi-photon fluorescence microscopy, and potentially in vivo, for example, in animal models of human disease or injury.
Integrating Decision Support and Social Networks

We elaborate on the shifting of decision support systems towards social networking, which is based on the concepts of Web 2.0 and Semantic Web technology. As the characteristics of the relevant components are different from traditional decision support systems, we present necessary adaptations when adopting social networks for decision support within an organization. We also present organizational obstacles when adopting/using such systems and clues to overcome them.
Model‐based Clustering of Binary Longitudinal Atopic Dermatitis Disease Histories by Latent Class Mixture Models

Atopic dermatitis is a skin disease which affects mainly children, has a very strong genetical component, and manifests itself clinically as flexural excema in connection with torturing itching. The course of disease is notoriously changeable and runs in phases, therefore it is difficult to predict the future course of disease. To improve prediction it would be interesting to identify clusters of children with different disease histories because this would shed light on common genetic and environmental risk factors.
Hydro‐geomorphic behavior of contrasting tropical landscapes and critical zone response to changing climate

The potentially important influence of climate change on landscape evolution and on critical zone processes is not sufficiently understood. The relative contribution of hydro‐climatic factors on hillslope erosion rates may significantly vary with topography at the watershed scale. The objective of this study is to quantify the hydro‐geomorphic behavior of two contrasting landscapes in response to different climate change scenarios in the Luquillo Critical Zone Observatory, a site of particular geomorphological interest, in terms of hillslope erosion and rainfall‐triggered landslides. We investigate the extent to which hillslope erosion and landslide occurrence remain relatively invariant with future hydro‐climatic perturbations. The adjacent Mameyes and Icacos watersheds are studied, which are underlain by contrasting lithologies. A high resolution coupled hydro‐geomorphic model based on tRIBS (Triangulated Irregular Network‐based Real‐time Integrated Basin Simulator) is used. Observations of landslide activity and hillslope erosion are used to evaluate the model performance. The process‐based model quantifies feedbacks among different hydrologic processes, landslide occurrence, and topsoil erosion and deposition. Simulations suggest that the propensity for landslide occurrence in the Luquillo Mountains is controlled by tropical storms, subsurface water flow, and by non‐climatic factors, and is expected to remain significant through 2099. The Icacos watershed, which is underlain by quartz diorite, is dominated by relatively large landslides. The relative frequency of smaller landslides is higher at the Mameyes watershed, which is underlain by volcaniclastic rock. While projections of precipitation decrease at the study site may lead to moderate decline in hillslope erosion rates, the simulated erosional potential of the two diverse landscapes likely remains significant. © 2018 John Wiley & Sons, Ltd.
Conscious Vision for Action Versus Unconscious Vision for Action?

David Milner and Melvyn Goodale's dissociation hypothesis is commonly taken to state that there are two functionally specialized cortical streams of visual processing originating in striate (V1) cortex: a dorsal, action-related "unconscious" stream and a ventral, perception-related "conscious" stream. As Milner and Goodale acknowledge, findings from blindsight studies suggest a more sophisticated picture that replaces the distinction between unconscious vision for action and conscious vision for perception with a tripartite division between unconscious vision for action, conscious vision for perception, and unconscious vision for perception. The combination excluded by the tripartite division is the possibility of conscious vision for action. But are there good grounds for concluding that there is no conscious vision for action? There is now overwhelming evidence that illusions and perceived size can have a significant effect on action (Bruno & Franz, 2009; Dassonville & Bala, 2004; Franz & Gegenfurtner, 2008; McIntosh & Lashley, 2008). There is also suggestive evidence that any sophisticated visual behavior requires collaboration between the two visual streams at every stage of the process (Schenk & McIntosh, 2010). I nonetheless want to make a case for the tripartite division between unconscious vision for action, conscious vision for perception, and unconscious vision for perception. My aim here is not to refute the evidence showing that conscious vision can affect action but rather to argue (a) that we cannot gain cognitive access to action-guiding dorsal stream representations, and (b) that these representations do not correlate with phenomenal consciousness. This vindicates the semi-conservative view that the dissociation hypothesis is best understood as a tripartite division.
Resounding failure to replicate links between developmental language disorder and cerebral lateralisation

Background It has been suggested that failure to establish cerebral lateralisation may be related to developmental language disorder (DLD). There has been weak support for any link with handedness, but more consistent reports of associations with functional brain lateralisation for language. The consistency of lateralisation across different functions may also be important. We aimed to replicate previous findings of an association between DLD and reduced laterality on a quantitative measure of hand preference (reaching across the midline) and on language laterality assessed using functional transcranial Doppler ultrasound (fTCD). Methods From a sample of twin children aged from 6;0 to 11;11 years, we identified 107 cases of DLD and 156 typically-developing comparison cases for whom we had useable data from fTCD yielding a laterality index (LI) for language function during an animation description task. Handedness data were also available for these children. Results Indices of handedness and language laterality for this twin sample were similar to those previously reported for single-born children. There were no differences between the DLD and TD groups on measures of handedness or language lateralisation, or on a categorical measure of consistency of left hemisphere dominance. Contrary to prediction, there was a greater incidence of right lateralisation for language in the TD group (19.90%) than the DLD group (9.30%), confirming that atypical laterality is not inconsistent with typical language development. We also failed to replicate associations between language laterality and language test scores. Discussion and Conclusions Given the large sample studied here and the range of measures, we suggest that previous reports of atypical manual or language lateralisation in DLD may have been false positives.
The Role of Methylation in the Intrinsic Dynamics of B- and Z-DNA

Methylation of cytosine at the 5-carbon position (5mC) is observed in both prokaryotes and eukaryotes. In humans, DNA methylation at CpG sites plays an important role in gene regulation and has been implicated in development, gene silencing, and cancer. In addition, the CpG dinucleotide is a known hot spot for pathologic mutations genome-wide. CpG tracts may adopt left-handed Z-DNA conformations, which have also been implicated in gene regulation and genomic instability. Methylation facilitates this B-Z transition but the underlying mechanism remains unclear. Herein, four structural models of the dinucleotide d(GC)5 repeat sequence in B-, methylated B-, Z-, and methylated Z-DNA forms were constructed and an aggregate 100 nanoseconds of molecular dynamics simulations in explicit solvent under physiological conditions was performed for each model. Both unmethylated and methylated B-DNA were found to be more flexible than Z-DNA. However, methylation significantly destabilized the BII, relative to the BI, state through the Gp5mC steps. In addition, methylation decreased the free energy difference between B- and Z-DNA. Comparisons of α/γ backbone torsional angles showed that torsional states changed marginally upon methylation for B-DNA, and Z-DNA. Methylation-induced conformational changes and lower energy differences may contribute to the transition to Z-DNA by methylated, over unmethylated, B-DNA and may be a contributing factor to biological function.
Employment protection and productivity: evidence from firm-level panel data in Japan

Recent developments in the literature on Employment Protection Legislation (EPL) have revealed that changing the stringency of employment protection can lead to extensive consequences outside the labour market, by affecting firms’ production decisions or workers’ commitment levels. This article provides the first empirical evaluation of the comprehensive effect of restrictions on firing employees in Japan, by exploiting the variations in court decisions. We find that judgements lenient to workers significantly reduce firms’ total-factor productivity growth rate. The effect on capital is mixed and inconclusive, although we obtain modest evidence that an increase in firing costs induces a negative scale effect on capital inputs.
Metastatic patterns in small-cell lung cancer: correlation of autopsy findings with clinical parameters in 537 patients.

Postmortem material from 537 patients included in various protocols of intensive combination chemotherapy or chemoradiotherapy for the management of small-cell anaplastic carcinoma of the lung (SCLC) has been reviewed. Patterns of residual or recurrent disease were analyzed in relation to pretreatment clinical parameters. Residual primary tumor (P less than .05), regional lymph node involvement (P less than .01), hepatic (P less than .01), bone (P less than .05), and renal metastases (P less than .05) were all significantly less frequent among patients with initially limited-stage disease compared with extensively staged patients. The frequency of residual intrathoracic tumor and metastatic pattern did not significantly differ between partial responders (PRs) and nonresponders (NRs). Patients with limited disease achieving a complete remission had a lower frequency of intrathoracic tumor (P less than .001) at autopsy compared with limited-stage PRs. However, for extensive-stage patients the pattern of residual disease was essentially independent of tumor response. Prior surgery was associated with a reduced burden of metastases only in those who underwent a radical resection. The addition of radiotherapy to the primary tumor and mediastinum failed to modify the autopsy distribution of residual tumor compared with that in patients treated with chemotherapy alone. Metastatic patterns were similar with or without prophylactic abdominal radiotherapy, while prophylactic cranial irradiation (PCl) did not prevent the development of cerebral metastases in patients whose systemic response to treatment was either partial or nonexistent. However, a beneficial effect of PCl in compete responders (CRs) was not excluded.