Miracle-dz/UniFAR-FTUs huggingface dataset:
On the interaction between ISA and cardinality constraints

ISA and cardinality constraints are among the most interesting types of constraints in data models. ISA constraints are used to establish several forms of containment among classes, and are receiving great attention in moving to object-oriented data models, where classes are organized in hierarchies based on a generalization/specialization principle. Cardinality constraints impose restrictions on the number of links of a certain type involving every instance of a given class, and can be used for representing several forms of dependencies between classes, including functional and existence dependencies. While the formal properties of each type of constraints are now well understood, little is known of their interaction. We present an effective method for reasoning about a set of ISA and cardinality constraints in the context of a simple data model based on the notions of classes and relationships. In particular, the method allows one both to verify the satisfiability of a schema and to check whether a schema implies a given constraint of any of the two kinds. We prove that the method is sound and complete, thus showing that the reasoning problem for ISA and cardinality constraints is decidable. <<ETX>>
Alteration of BACE1-dependent NRG1/ErbB4 signaling and schizophrenia-like phenotypes in BACE1-null mice

β-Site APP-cleaving enzyme 1 (BACE1) is required for the penultimate cleavage of the amyloid-β precursor protein (APP) leading to the generation of amyloid-β peptides that is central to the pathogenesis of Alzheimer's disease. In addition to its role in endoproteolysis of APP, BACE1 participates in the proteolytic processing of neuregulin 1 (NRG1) and influences the myelination of central and peripheral axons. Although NRG1 has been genetically linked to schizophrenia and NRG1+/− mice exhibit a number of schizophrenia-like behavioral traits, it is not known whether altered BACE1-dependent NRG1 signaling can cause similar behavioral abnormalities. To test this hypothesis, we analyze the behaviors considered to be rodent analogs of clinical features of schizophrenia in BACE1−/− mice with impaired processing of NRG1. We demonstrate that BACE1−/− mice exhibit deficits in prepulse inhibition, novelty-induced hyperactivity, hypersensitivity to a glutamatergic psychostimulant (MK-801), cognitive impairments, and deficits in social recognition. Importantly, some of these manifestations were responsive to treatment with clozapine, an atypical antipsychotic drug. Moreover, although the total amount of ErbB4, a receptor for NRG1 was not changed, binding of ErbB4 with postsynaptic density protein 95 (PSD95) was significantly reduced in the brains of BACE1−/− mice. Consistent with the role of ErbB4 in spine morphology and synaptic function, BACE1−/− mice displayed reduced spine density in hippocampal pyramidal neurons. Collectively, our findings suggest that alterations in BACE1-dependent NRG1/ErbB4 signaling may participate in the pathogenesis of schizophrenia and related psychiatric disorders.
Property-based attestation for computing platforms: caring about properties, not mechanisms

Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort is the Trusted Computing Group (TCG) and the Next-Generation Secure Computing Base (NGSCB). This technology offers useful new functionalities as the possibility to verify the integrity of a platform (attestation) or binding quantities on a specific platform (sealing). In this paper, we point out the deficiencies of the attestation and sealing functionalities proposed by the existing specification of the TCG: we show that these mechanisms can be misused to discriminate certain platforms, i.e., their operating systems and consequently the corresponding vendors. A particular problem in this context is that of managing the multitude of possible configurations. Moreover, we highlight other shortcomings related to the attestation, namely system updates and backup. Clearly, the consequences caused by these problems lead to an unsatisfactory situation both for the private and business branch, and to an unbalanced market when such platforms are in wide use.To overcome these problems generally, we propose a completely new approach: the attestation of a platform should not depend on the specific software or/and hardware (configuration) as it is today's practice but only on the "properties" that the platform offers. Thus, a property-based attestation should only verify whether these properties are sufficient to fulfill certain (security) requirements of the party who asks for attestation. We propose and discuss a variety of solutions based on the existing Trusted Computing (TC) functionality. We also demonstrate, how a property-based attestation protocol can be realized based on the existing TC hardware such as a Trusted Platform Module (TPM).
How Does a Social Network Site Fan Page Influence Purchase Intention of Online Shoppers: A Qualitative Analysis

This research revisited how fan pages in the social network site created by online merchants affects the purchase intention of online shoppers using qualitative research methods. Through fine-tuning the research model developed by Jahn and Kunz (2012) which is grounded on the Uses and Gratifications Theory, the authors conducted a qualitative study through interviewing consumers who participated in fan pages. Based on their responses in the interviews, the authors reconfirmed that content-oriented needs and social interaction value of relationship-oriented needs had positive impacts on fan page usage intensity and fan page engagement, respectively. Plus, the authors discovered that content-oriented needs had a positive impact on fan page engagement. The theoretical contributions, managerial implications of this study are also discussed.
In situ measures of foraging success and prey encounter reveal marine habitat-dependent search strategies.

Predators are thought to reduce travel speed and increase turning rate in areas where resources are relatively more abundant, a behavior termed "area-restricted search. " However, evidence for this is rare, and few empirical data exist for large predators. Animals exhibiting foraging site fidelity could also be spatially aware of suitable feeding areas based on prior experience; changes in movement patterns might therefore arise from the anticipation of higher prey density. We tested the hypothesis that regions of area-restricted search were associated with a higher number of daily speed spikes (a proxy for potential prey encounter rate) and foraging success in southern elephant seals (Mirounga leonina), a species exhibiting both area-restricted searches and high interannual foraging site fidelity. We used onshore morphological measurements and diving data from archival tags deployed during winter foraging trips. Foraging success was inferred from in situ changes in relative lipid content derived from measured changes in buoyancy, and first-passage time analysis was used to identify area-restricted search behavior. Seals exhibited relatively direct southerly movement on average, with intensive search behavior predominantly located at the distal end of tracks. The probability of being in search mode was positively related to changes in relative lipid content; thus, intensively searched areas were associated with the highest foraging success. However, there was high foraging success during the outward transit even though seals moved through quickly without slowing down and increasing turning rate to exploit these areas. In addition, the probability of being in search mode was negatively related to the number of daily speed spikes. These results suggest that movement patterns represent a response to prior expectation of the location of predictable and profitable resources. Shelf habitat was 4-9 times more profitable than the other habitats, emphasizing the importance of the East Antarctic shelf for this and other predators in the region. We have provided rare empirical data with which to investigate the relationship between predator foraging strategy and prey encounter/ foraging success, underlining the importance of inferring the timing and spatial arrangement of successful food acquisition for interpreting foraging strategies correctly.
Expression and genetic variability of PCDH11Y, a gene specific to Homo sapiens and candidate for susceptibility to psychiatric disorders

Synaptogenesis, the formation of functional synapses, is a crucial step for the development of the central nervous system. Among the genes involved in this process are cell adhesion molecules, such as protocadherins and neuroligins, which are essential factors for the identification of the appropriate partner cell and the formation of synapses. In this work, we studied the expression and the genetic variability of two closely related members of the protocadherin family PCDH11X/Y, located on the X and the Y chromosome, respectively. PCDH11Y is one of the rare genes specific to the hominoid lineage, being absent in other primates. Expression analysis indicated that transcripts of the PCDH11X/Y genes are mainly detected in the cortex of the human brain. Mutation screening of 30 individuals with autism identified two PCDH11Y polymorphic amino acid changes, F885V and K980N. These variations are in complete association, appeared during human evolution approximately 40,000 years ago and represent informative polymorphisms to study Y chromosome variability in populations. We studied the frequency of these variants in males with autism spectrum disorders (n = 110), attention deficit hyperactivity disorder (ADHD; n = 61), bipolar disorder (n = 61), obsessive‐compulsive disorder (n = 51), or schizophrenia (n = 61) and observed no significant differences when compared to ethnically‐matched control populations. These findings do not support the role of PCDH11Y, or more generally of a frequent specific Y chromosome, in the susceptibility to these neuropsychiatric disorders. © 2005 Wiley‐Liss, Inc.
Prevalence of low monoamine oxidase function in alcoholism.

Several studies have found a trend for low platelet monoamine oxidase activity (MAO) in alcoholism but with a great deal of overlap in MAO activity of alcoholics versus controls. The main objective of this study was to carry out a detailed assessment of MAO function that included the measurement of key kinetic parameters (i.e., Km, Vmax) in three groups of male subjects: (a) 51 hospitalized chronic alcoholics, (b) 16 recovering alcoholics with 2-10 years of abstinence, and (c) 21 controls. MAO activity was assayed radiochemically with [14C]tyramine as substrate (43-729 microM). The present study demonstrated that alcoholics had low platelet MAO activity (p less than 0.05). Kinetic analysis revealed a substantial reduction (p less than 0.01) in enzyme Vmax values of chronic and recovering alcoholics. Greater than 95% of the alcoholics had Vmax values lower than the smallest value of control subjects. Moreover, 100% of the alcoholics in both groups exhibited exceedingly low Vmax values that were below the 25th percentile of controls. In summary, results of MAO Vmax determinations provided us with a better separation of the alcoholics from controls. Measurements of platelet MAO function that include enzyme Vmax may provide us a reliable biochemical marker for alcoholism.
Mental Practice to Facilitate Learning When Physical Practice is Unsafe: A Pilot Study

ABSTRACT The purpose of this study was to examine the impact of a prescribed mental practice (MP) home program on participants’ ability to perform a newly learned floor-to-chair transfer and their ability to direct a caregiver in that transfer. Three community-dwelling older adults volunteered to participate in the intervention, which consisted of a traditional transfer training session followed by a 6-week MP home program involving repeated mental rehearsal of the transfer. Transfer performance was scored at baseline and three times over 12 weeks. Two of the three participants demonstrated improvement in transfer performance throughout the intervention program and retained the improvement through a 6-week nonintervention period. None of the participants demonstrated a consistent ability to direct a caregiver. This study indicates a positive influence of an MP home program on performance and retention of a floor-to-chair transfer over time. It did not support the use of MP to promote the ability to direct a caregiver.
First‐year university science and engineering students’ understanding of plagiarism

This paper is a case study of first‐year science and engineering students’ understandings of plagiarism. Students were surveyed for their views on scenarios illustrating instances of plagiarism in the context of the academic work and assessment of science and engineering students. The aim was to explore their understandings of plagiarism and their judgement about the seriousness of each incident, and to shed light on the decisions they might make in response to such situations. The data indicated that although students could provide sound definitions of plagiarism, they did not always appreciate the scope of class‐based activity that constitutes plagiarism. Some examples of plagiarism were regarded as less serious than others, and in contradiction with the institution’s policy. Students also generally favoured more lenient penalties than provided for by policy. The purpose of the study was to ascertain first‐year students’ developmental needs in relation to academic honesty, plagiarism and appropriate acknowledgement of others’ work.
Dialogue Involvement as a Social Influence Technique

When a request is preceded by a casual dialogue, the approached person is more likely to comply than when the same request follows a monologue. This effect appeared to be strong and replicable in a series of field studies. Across experiments, the issues discussed in conversations between the confederates and the participants and the nature of the critical request varied, suggesting that the effect is generalized. In social situations, the two basic modes of communication (dialogue and monologue) are characteristic of different types of interactions. Dialogue is characteristic of encounters with one’s friends and acquaintances, whereas monologue is more prevalent in contacts with strangers. As a result of social learning, a dialogue makes us prone to treat a stranger as someone we know and thus become more eager to comply with her or his requests. Although the results obtained in the studies are consisted with this model, alternative explanations and limitations of the research also are discussed.
Fetal alcohol spectrum disorders and their persisting sequelae in adult life.

INTRODUCTION The present review describes the different variants of Fetal Alcohol Spectrum Disorders (FASD) as a consequence of maternal alcohol abuse during pregnancy. According to international findings, some 3000 to 4000 affected newborns may be expected annually in Germany. Detection of these individuals in clinical practice is insufficient. METHOD Selective review of the literature and report of own findings based on longitudinal studies. RESULTS Key features of FASD are short stature, microcephaly, various dysmorphic features, in severe cases amongst others consisting of congenital heart disease and dysplasias of the skeleton and urogenital system, varying degrees of developmental delay including mental retardation, and a positive history of maternal alcohol abuse during pregnancy. Longitudinal studies in young adulthood show that independent of the severity of FASD the key features remain associated with limitations of an independent life-style. DISCUSSION Pathogenesis of FASD is not sufficiently clear and there is no causal treatment. Thus, besides prevention and information, early diagnosis, installation of fostering or adoption, and intensive psychosocial care including selection of appropriate schooling, occupational counselling and supportive care in adulthood are mandatory.
η Carinae: Binarity Confirmed

We report the recovery of a spectroscopic event in η Carinae in 1997/1998 after a prediction by Damineli in 1996. A true periodicity with P = 2020 ± 5 days (0.2% uncertainty) is obtained. The line intensities and the radial velocity curve display a phase-locked behavior, implying that the energy and dynamics of the event repeat from cycle to cycle. This rules out S Doradus oscillation or multiple shell ejection by an unstable star as the explanation of the spectroscopic events. A colliding-wind binary scenario is supported by our spectroscopic data and by X-ray observations. Although deviations from a simple case exist around periastron, intensive monitoring during the next event (mid-2003) will be crucial to our understanding of the system.
Incentive-Centered Design in Information Security

Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives provided to induce desired behavior. Sometimes these incentives are properly aligned, and the humans don't represent a vulnerability. But often, a misalignment of incentives causes a weakness in the system that can be exploited by clever attackers. Incentive-centered design tools help us understand these problems, and provide design principles to alleviate them. We describe incentivecentered design and some tools it provides. We provide a number of examples of security problems for which Incentive Centered Design might be helpful. We elaborate with a general screening model that offers strong design principles for a class of security problems.
The Moon: Sources of the Crustal Magnetic Anomalies

Previously unmapped Apollo 16 subsatellite magnetometer data collected at low altitudes over the lunar near side are presented. Medium-amplitude magnetic anomalies exist over the Fra Mauro and Cayley Formations (primary and secondary basin ejecta emplaced 3.8 to 4.0 billion years ago) but are nearly absent over the maria and over the craters Copernicus, Kepler, and Reiner and their encircling ejecta mantles. The largest observed anomaly (radial component ∼21 gammas at an altitude of 20 kilometers) is exactly correlated with a conspicuous light-colored deposit on western Oceanus Procellarum known as Reiner γ. Assuming that the Reiner γ deposit is the source body and estimating its maximum average thickness as 10 meters, a minimum mean magnetization level of 5.2 � 2.4 x 10–2 electromagnetic units per gram, or ∼500 times the stable magnetization component of the most magnetic returned sample, is calculated. An age for its emplacement of ≤ 2.9 billion years is inferred from photogeologic evidence, implying that magnetization of lunar crustal materials must have continued for a period exceeding 1 billion years.
European Union Decision Making: The Role of Sub-National Authorities

This article assesses how and to what extent sub-national authorities (SNAs) are represented in EU decision making. In particular, we compare the European goals and strategies of British sub-national authorities with those of their counterparts in Germany. Our central argument is that SNAs starting from very different positions face many of the same challenges and problems, even if their domestic constitutional positions remain the most important determinant of their influence at the EU level. Influence in EU decision making derives largely from effective coalition building, both with other like-minded actors but also, inevitably in the case of sub-national authorities, with central governments. Our case study highlights the enormous diversity of relationships between central governments and ‘their’ SNAs across the Union. It thus encourages scepticism about the feasibility of a ‘Europe of the Regions’.
Uplink scheduling for LTE 4G video surveillance system

Due to the proliferation of applications for the Internet of Things, an increasing number of machine to machine (M2M) devices are being deployed. In particular, one of the M2M applications, video surveillance, has been widely discussed. Long Term Evolution (LTE), which can provide a high rate of data transmission and wide range of coverage, is a promising standard to serve as an M2M video surveillance system. In this paper, we study a performance maximization problem in an LTE video surveillance system. Given a set of objects and a set of cameras, each camera has its own performance grade and its own coverage. The goal is to maximize the performance of the system by allocating limited resources to cameras while all objects should be monitored by the selected cameras. We propose a heuristic method to select the cameras and allocate resources to them to solve the problem. Moreover, to reduce the load of the LTE system, a dynamic adjustment method is also proposed.
A Hybrid One-Way ANOVA Approach for the Robust and Efficient Estimation of Differential Gene Expression with Multiple Patterns

Background Identifying genes that are differentially expressed (DE) between two or more conditions with multiple patterns of expression is one of the primary objectives of gene expression data analysis. Several statistical approaches, including one-way analysis of variance (ANOVA), are used to identify DE genes. However, most of these methods provide misleading results for two or more conditions with multiple patterns of expression in the presence of outlying genes. In this paper, an attempt is made to develop a hybrid one-way ANOVA approach that unifies the robustness and efficiency of estimation using the minimum β-divergence method to overcome some problems that arise in the existing robust methods for both small- and large-sample cases with multiple patterns of expression. Results The proposed method relies on a β-weight function, which produces values between 0 and 1. The β-weight function with β = 0.2 is used as a measure of outlier detection. It assigns smaller weights (≥ 0) to outlying expressions and larger weights (≤ 1) to typical expressions. The distribution of the β-weights is used to calculate the cut-off point, which is compared to the observed β-weight of an expression to determine whether that gene expression is an outlier. This weight function plays a key role in unifying the robustness and efficiency of estimation in one-way ANOVA. Conclusion Analyses of simulated gene expression profiles revealed that all eight methods (ANOVA, SAM, LIMMA, EBarrays, eLNN, KW, robust BetaEB and proposed) perform almost identically for m = 2 conditions in the absence of outliers. However, the robust BetaEB method and the proposed method exhibited considerably better performance than the other six methods in the presence of outliers. In this case, the BetaEB method exhibited slightly better performance than the proposed method for the small-sample cases, but the the proposed method exhibited much better performance than the BetaEB method for both the small- and large-sample cases in the presence of more than 50% outlying genes. The proposed method also exhibited better performance than the other methods for m > 2 conditions with multiple patterns of expression, where the BetaEB was not extended for this condition. Therefore, the proposed approach would be more suitable and reliable on average for the identification of DE genes between two or more conditions with multiple patterns of expression.