Miracle-dz/UniFAR-FTUs huggingface dataset:
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Streams

We discuss the completeness of an axiomatization of Monadic Second- Order Logic (MSO) on infinite words (or streams). By using model-theoretic tools, we give an alternative proof of D. Siefkes' result that a fragment with full comprehension and induction of second-order Peano's arithmetic is com- plete w.r. t. the validity of MSO-formulas on streams. We rely on Feferman- Vaught Theorems and the Ehrenfeucht-Fra iss e method for Henkin models of second-order arithmetic. Our main technical contribution is an infinitary Feferman-Vaught Fusion of such models. We show it using Ramseyan fac- torizations similar to those for standard infinite words. We also discuss a Ramsey's theorem for MSO-definable colorings, and show that in linearly ordered Henkin models, Ramsey's theorem for additive MSO-definable col- orings implies Ramsey's theorem for all MSO-definable colorings.
Wastewater treatment plant SCADA application

The efficient administration and treatment of municipal and industrial wastewater is crucial to sustaining community health and a clean, safe environment. Applying standard SCADA solutions has a positive impact on the operations, maintenance, process development and savings for the wastewater treatment plants (WWTP). This paper describes a SCADA software application implemented on wastewater treatment plant relating to the architecture, the interface to the process hardware, the functionality and capabilities to create a comprehensive real-time applications management environment for a modern wastewater operation.
Aging, Spirituality, and Narrative: Loss and Repair

In this paper, we explore how narrative loss may impact upon one’s sense of self and the spiritual process of meaning-making and purpose. We argue that we are narrative beings that make sense of our selves and our social, physical, and ideational worlds in and through narrative and that this process, which involves matters of purpose, truth, and values, is at one and the same time a spiritual activity, as both spirituality and narrative involve a sense of openness and indeterminacy, and the generation of meaning and purpose. As we age, however, physical, mental and social changes may disrupt how we narrativize our lives, and social and ideological (or meta-) narratives might frame what stories we can tell, and how we can tell them, in ways different from the past. We explore some of the narrative losses associated with aging and then, drawing on practices in spiritual direction, discuss some possible ways of countering such losses, in particular the development of narrative literacy, the re-ignition of narrative desire, the making of narrative connections, and the deepening of autobiographical reasoning. In this way, we hope to illustrate how narrative works in the spiritual lives of older adults.
Cognitive control and unusual decisions about beauty: an fMRI study

Studies of visual esthetic preference have shown that people without art training generally prefer representational paintings to abstract paintings. This, however, is not always the case: preferences can sometimes go against this usual tendency. We aimed to explore this issue, investigating the relationship between “unusual responses” and reaction time in an esthetic appreciation task. Results of a behavioral experiment confirmed the trend for laypeople to consider as beautiful mostly representational stimuli and as not beautiful mostly abstract ones (“usual response”). Furthermore, when participants gave unusual responses, they needed longer time, especially when considering abstract stimuli as beautiful. We interpreted this longer time as greater involvement of cognitive mastering and evaluation processes during the unusual responses. Results of an fMRI experiment indicated that the anterior cingulate (ACC), orbitofrontal cortex (OFC) and insula were the main structures involved in this effect. We discuss the possible role of these areas in an esthetic appreciation task.
Adoption intention in GSS: relative importance of beliefs

Models used to study information technology (IT) adoption were adapted and applied to the group support systems (GSS) domain to determine their applicability and to assess the relative importance of beliefs about GSS in the context of adoption. The beliefs examined were relative advantage, ease of use, compatibility, and enjoyment. Four methods of measuring the relative importance of the belief constructs in predicting GSS adoption intention were evaluated. The methods involved Likert-scaled measures, conjoint measures, direct ratings of importance, and paired comparisons. Compositional analyses using three distinct models, regression, molar, and molecular, were conducted to examine the data collected under the first method. The results of the study demonstrated that the models and constructs used in other IT domains are indeed applicable in the GSS context. The relative importance of the beliefs did not converge across methods, although there was some agreement among the three compositional approaches as well as among the conjoint, direct rating, and paired comparison methods. The results point to the need for caution in utilizing and interpreting regression results and demonstrate the viability of alternative methods of studying adoption.
The Migration Experience in Africa

In this book different authors investigates the range of the migration experience in Africa. Because of the variety and complexity of the reasons which surround and underpin why African populations are so mobile, this volume adopts an eclectic approach which illustrates the diversity of theoretical positions, as well as methodological and analytical trends. Examples of the great breadth and richness of empirical insights into human migrations in the contemporary african context are also given.
Do Firms Learn More From Small or Big Successes and Failures? A Test of the Outcome-Based Feedback Learning Perspective

It has been recognized that previous experiences can provide different types of feedback. However, it has not been systematically explored why firms are more likely to learn effectively from certain types of experience than others. From a feedback-based learning perspective, we argue that it is useful not only to focus on feedback valence (success or failure experiences) but also to examine feedback saliency (the magnitude of the experience’s influence). Based on a sample of acquisitions by U.S. firms, our results indicate that a firm’s success experience drives up the premium that it pays for a subsequent acquisition, whereas a failure experience reduces this subsequent premium. Moreover, we find that the magnitude of the effects of the four types of experiences—small failure, big failure, small success, and big success—does not follow a symmetrical pattern of inverse effects.
Genomic Prediction with Pedigree and Genotype × Environment Interaction in Spring Wheat Grown in South and West Asia, North Africa, and Mexico

Developing genomic selection (GS) models is an important step in applying GS to accelerate the rate of genetic gain in grain yield in plant breeding. In this study, seven genomic prediction models under two cross-validation (CV) scenarios were tested on 287 advanced elite spring wheat lines phenotyped for grain yield (GY), thousand-grain weight (GW), grain number (GN), and thermal time for flowering (TTF) in 18 international environments (year-location combinations) in major wheat-producing countries in 2010 and 2011. Prediction models with genomic and pedigree information included main effects and interaction with environments. Two random CV schemes were applied to predict a subset of lines that were not observed in any of the 18 environments (CV1), and a subset of lines that were not observed in a set of the environments, but were observed in other environments (CV2). Genomic prediction models, including genotype × environment (G×E) interaction, had the highest average prediction ability under the CV1 scenario for GY (0.31), GN (0.32), GW (0.45), and TTF (0.27). For CV2, the average prediction ability of the model including the interaction terms was generally high for GY (0.38), GN (0.43), GW (0.63), and TTF (0.53). Wheat lines in site-year combinations in Mexico and India had relatively high prediction ability for GY and GW. Results indicated that prediction ability of lines not observed in certain environments could be relatively high for genomic selection when predicting G×E interaction in multi-environment trials.
An analysis of dormancy, ABA responsiveness, after-ripening and pre-harvest sprouting in hexaploid wheat (Triticum aestivum L.) caryopses

Embryo and caryopsis dormancy, abscisic acid (ABA) responsiveness, after-ripening (AR), and the disorder pre-harvest sprouting (PHS) were investigated in six genetically related wheat varieties previously characterized as resistant, intermediate, or susceptible to PHS. Timing of caryopsis AR differed between varieties; AR occurred before harvest ripeness in the most PHS-susceptible, whereas AR was slowest in the most PHS-resistant. Whole caryopses of all varieties showed little ABA-responsiveness during AR; PHS-susceptible varieties were responsive at the beginning of the AR period whereas PHS-resistant showed some responsiveness throughout. Isolated embryos showed relatively little dormancy during grain-filling and most varieties exhibited a window of decreased ABA-responsiveness around the period of maximum dry matter accumulation (physiological maturity). Susceptibility to PHS was assessed by overhead misting of either isolated ears or whole plants during AR; varieties were clearly distinguished using both methods. These analyses allowed an investigation of the interactions between the different components of seed development, compartments, and environment for the six varieties. There was no direct relationship between speed of caryopsis AR and embryo dormancy or ABA-responsiveness during seed maturation. However, the velocity of AR of a variety was closely associated with the degree of susceptibility to PHS during AR suggesting that these characters are developmentally linked. Investigation of genetic components of AR may therefore aid breeding approaches to reduce susceptibility to PHS.
Bulge-Disk Decomposition of 659 Spiral and Lenticular Galaxy Brightness Profiles

We present one of the largest homogeneous sets of spiral and lenticular galaxy brightness profile decompositions completed to date. The 659 galaxies in our sample have been fitted with a de Vaucouleurs law for the bulge component and an inner-truncated exponential for the disk component. Of the 659 galaxies in the sample, 620 were successfully fitted with the chosen fitting functions. The fits are generally well defined, with more than 90% having rms deviations from the observed profile of less than 0.35 mag. We find no correlations of fitting quality, as measured by these rms residuals, with either morphological type or inclination. Similarly, the estimated errors of the fitted coefficients show no significant trends with type or inclination. These decompositions form a useful basis for the study of the light distributions of spiral and lenticular galaxies. The object base is sufficiently large that well-defined samples of galaxies can be selected from it.
Effects of Whole Body Vibration Training on Muscle Strength and Sprint Performance in Sprint-Trained Athletes

Despite the expanding use of Whole Body Vibration training among athletes, it is not known whether adding Whole Body Vibration training to the conventional training of sprint-trained athletes will improve speed-strength performance. Twenty experienced sprint-trained athletes (13 male symbol, 7 female symbol, 17-30 years old) were randomly assigned to a Whole Body Vibration group (n=10: 6 male symbol and 4 female symbol) or a Control group (n=10: 7 male symbol, 3 female symbol). During a 5-week experimental period all subjects continued their conventional training program, but the subjects of the Whole Body Vibration group additionally performed three times weekly a Whole Body Vibration training prior to their conventional training program. The Whole Body Vibration program consisted of unloaded static and dynamic leg exercises on a vibration platform (35-40 Hz, 1.7-2.5 mm, Power Plate). Pre and post isometric and dynamic (100 degrees/s) knee-extensor and -flexor strength and knee-extension velocity at fixed resistances were measured by means of a motor-driven dynamometer (Rev 9000, Technogym). Vertical jump performance was measured by means of a contact mat. Force-time characteristics of the start action were assessed using a load cell mounted on each starting block. Sprint running velocity was recorded by means of a laser system. Isometric and dynamic knee-extensor and knee-flexor strength were unaffected (p>0.05) in the Whole Body Vibration group and the Control group. As well, knee-extension velocity remained unchanged (p>0.05). The duration of the start action, the resulting start velocity, start acceleration, and sprint running velocity did not change (>0.05) in either group. In conclusion, this specific Whole Body Vibration protocol of 5 weeks had no surplus value upon the conventional training program to improve speed-strength performance in sprint-trained athletes.
Fractionating Executive Control in the Human Brain: A Within-Subjects fMRI Study

Executive control processes have been found to cluster around three factors: updating, inhibition and task switching. However, few studies have directly investigated the fractionation of executive control in the brain, and none have examined convergent and divergent patterns of neural activity for all three using matched tasks in a single scanning protocol. Using a novel paradigm that manipulates executive control demands while keeping other task demands constant, we directly assessed the dissociability of the neural correlates of updating, inhibition and task switching. Our analyses revealed diverse patterns of brain activity associated with each executive control process. Though several interpretations of the data are considered, our results provide strong evidence that executive functions are dissociable at the level of the brain.
Detecting Infeasibility and Generating Cuts for MIP using CP

We study a hybrid MIP/CP solution approach in which CP is used for detecting infeasibilities and generating cuts within a branch-and-cut algorithm for MIP. Our framework applies to MIP problems augmented by monotone constraints that can be handled by CP. We illustrate our approach on a generic multiple machine scheduling problem, and compare it to other hybrid MIP/CP algorithms.
An approximated detection method for sequential detection in wireless sensor networks

In this paper we study a sequential type-based detection scheme with the suboptimal detection rule for wireless sensor networks. First, we propose the approximation of the optimal detection rule and derive the sub-optimal detection rule. Then we compare the performances of the optimal and the suboptimal detection rules and show that the approximated detection rule provides the similar results as the optimal detection rule in terms of both average number of observations and total energy consumption. At the same time the suboptimal detection rule allows the significant reduction of the computational complexity such that the complexity and detection delay per one iteration does not depend on the number of sensor nodes in the network. That makes the proposed approximated detection rule useful for real-time application.
Proportion dominance in valuing lives: The role of deliberative thinking

Proportion responding (PR) is the preference for proportionally higher gains, such that the same absolute quantity is valued more as the reference group decreases. This research investigated this kind of proportion PR in decisions about saving lives (e.g., saving 10/10 lives is preferred to saving 10/100 lives). The results of two studies suggest that PR does not stem from an overall tendency to choose higher proportions, but rather from faulty deliberative reasoning. In particular, people who display PR are less likely to engage in deliberative reflection as measured by response time, the Process Dissociation Procedure, the Cognitive Reflection Test, a numeracy test, and a task assessing denominator neglect. This association between faulty deliberation and PR was observed only when choosing the highest proportion was non-normative because it came at the expense of absolute gains (e.g., saving 10/10 lives is preferred to saving 11/100 lives). These results help to make sense of discrepant findings in previous research, pertaining to how PR relates to biased reasoning and decision making.
Self-Signaling and Prosocial Behavior: A Cause Marketing Mobile Field Experiment

We empirically test an information economics based theory of social preferences in which ego utility and self-signaling can potentially crowd out the effect of consumption utility on choices. Two large-scale, randomized controlled field experiments involving a consumer good and charitable donations are conducted using a subject pool of actual consumers. We find that bundling relatively large charitable donations with a consumer good can generate non-monotonic regions of demand. Consumers also self-report significantly lower ratings of “feeling good about themselves” when a large donation is bundled with a large price discount for the good. The combined evidence supports the self-signaling theory whereby price discounts crowd out a consumer’s self-inference of altruism from buying a good bundled with a charitable donation. Alternative theories of motivation crowding are unable to fit the non-monotonic moments in the data. A structural model of self-signaling is fit to the data to quantify the economic magnitude of ego utility and its role in driving consumer decisions.
Assessing the Effect of Structural Adjustment Programmes on Export Performance in Developing Countries

This paper analyses three aspects of the export supply response to structural adjustment programmes supported by the World Bank. First, have programmes improved programme countries’ export performance relative to non-programme countries? Second, have programmes contributed to re-orientation of production and build up of supply capacity? Third, have programmes resulted in greater export diversification? These questions are analysed by employing the ‘before-after’, ‘withwithout’ and an original extended version of the ‘modified control group’ approach. The empirical findings in this paper suggest that, although structural adjustment programmes have the expected effects in the short to medium run, they have failed to generate an appropriate supply response which could underpin lasting export expansion and diversification.
ARF induction in response to DNA strand breaks is regulated by PARP1

The ARF tumour suppressor protein, the gene of which is frequently mutated in many human cancers, plays an important role in the cellular stress response by orchestrating up-regulation of p53 protein and consequently promoting cell-cycle delay. Although p53 protein function has been clearly linked to the cellular DNA damage response, the role of ARF protein in this process is unclear. Here, we report that arf gene transcription is induced by DNA strand breaks (SBs) and that ARF protein accumulates in response to persistent DNA damage. We discovered that poly(ADP-ribose) synthesis catalysed by PARP1 at the sites of unrepaired SBs activates ARF transcription through a protein signalling cascade, including the NAD+-dependent deacetylase SIRT1 and the transcription factor E2F1. Our data suggest that poly(ADP-ribose) synthesis at the sites of SBs initiates DNA damage signal transduction by reducing the cellular concentration of NAD+, thus down-regulating SIRT1 activity and consequently activating E2F1-dependent ARF transcription. Our findings suggest a vital role for ARF in DNA damage signalling, and furthermore explain the critical requirement for ARF inactivation in cancer cells, which are frequently deficient in DNA repair and accumulate DNA damage.
MEDIATING EFFECTS OF BEHAVIORAL INTENTION BETWEEN 3G PREDICTORS AND SERVICE SATISFACTION

This paper looks at the factors that affect the adoption and satisfaction with third generation (3G) mobile phones among students at a private university in Somalia from the perspective of the Unified Theory of Acceptance and Use of Technology (UTAUT. Specifically, the objectives of the study are to 1) examine the effect of performance expectancy on students’ intention to adopt 3G; 2) explore the effect of effort expectancy on students’ intension; 3) look at the effect of social influence on students’ intention; 4) examine the effect of perceived expense on students’ intention; 5) test the effect of intention on students’ satisfaction with the service; and finally 6) test the mediating effect of intention between 3G predictors and satisfaction with the service. The study uses proportionate stratified random sampling procedure, where the faculty and gender were the main strata. The data were collected in June 2013 and a total of 395 students responded to the study. The data was analyzed using SPSS version 17.0 to answer research objectives and test its hypotheses. Using multiple Step-Wise regression, the results suggested that performance expectancy (β=.158, t=2.850, p=.005), effort expectancy (β=.106, t=2.094, p=.037), social influence (β=.358, t=6.888, p=.000), and perceived expense (β=.165, t=3.872, p=.000) had significant and positive effects on students’ intention to adopt 3G mobile technology. However, social influence (β=.358) was the best predictor for the students’ intention followed by perceived expense (β=.165). Furthermore, behavioral intention significantly mediated the relationships of predictors with satisfaction. Implications and future research scope are discussed.
Psychiatric Morbidity among a Sample of Orphanage Children in Cairo

Objective. This study identifies the prevalence of emotional and behavioral problems and the associated factors in orphanage children. Methods. This cross-sectional study was conducted in three private orphanages in Cairo. Two hundred sixty-five children of ages ranging from 6 to 12 years living in three different orphanages care systems were included in the study. A sociodemographic information form and the Child Behavior Checklist (CBCL) were used. Children were clinically interviewed and psychiatric disorders were identified. Diagnoses were done according to the manual for diagnosis and statistics of mental disorder fourth version (DSMIV). A written formal consent from the director of social solidarity was obtained before inclusion in the study. Results. The prevalence of behavioral disturbances was 64.53% among those in institutional care and the most prominent psychiatric disorders were nocturnal enuresis (23.3%), attention deficit hyperkinetic disorder (ADHD) (19.62%), oppositional defiant disorder (17.36%). Age at first admission, causes of receiving institutional care, and moves 2 or more times between institutions were significantly associated with an increased risk of behavioral and emotional problems. Conclusion. Our study showed that children living in institutions are prone to suffer from psychiatric disorders. Stability of the caregiver acts as a protective variable.