Miracle-dz/UniFAR-FTUs huggingface dataset:
After post-development

Along with ‘anti-development’ and ‘beyond development’, post-development is a radical reaction to the dilemmas of development. Post-development focuses on the underlying premises and motives of development; what sets it apart from other critical approaches is that it rejects development. The question is whether this is a tenable and fruitful position. Taken up first in this article are major overt positions of post-development—the problematisation of poverty, the portrayal of development as Westernisation, and the critique of modernism and science. The argument then turns to discourse analysis of development; it is argued that, in post-development, discourse analysis from a methodology turns into an ideology. Next the difference between alternative development and ‘alternatives to development’ is examined. The reasons why this difference is made out to be so large are, in my interpretation, anti-managerialism and dichotomic thinking. The article closes with a discussion of the politics of post-development and a critical assessment.
Vertebral artery stenosis

Up to a quarter of patients with vertebrobasilar ischemic stroke or TIA have a symptomatic stenosis of the vertebrobasilar arteries.1,2 Patients with vertebral artery (VA) stenosis >50% have a high risk of recurrent stroke, comparable to patients with symptomatic carotid artery stenosis, with the highest risk during the first weeks after the initial TIA or ischemic stroke.3 Endovascular treatment of symptomatic VA stenosis has appeal as a treatment option that is widely performed, despite the scarcity of evidence for its safety or benefit.
Predictors of the Psychological Well-Being of Primary Caregivers Living With a Demented Relative: A 1-Year Follow-Up Study

This 1-year follow-up study aimed to examine the predictors of change in psychological well-being, using two negative indicators (psychological distress and negative feelings about the caregiver role) and two positive indicators (positive feelings about the caregiver role and positive affect) of well-being. The sample consisted of primary caregivers (n = 180) cohabiting with a demented relative. Four variables were involved in predictive relationships with psycho logical well-being The first variable, appraisal of the disturbance from dysfunctional behaviors at Time 1, was selectively predictive of an increase in the two negative indicators over a year. The second and third variables, increased conflicts in the exchange of informal support and less frequent informal support at Time 1, were predictive of an increase in psychological distress. The fourth variable, frequent use of affective-stimulative dementia management strategies at Time 1, appeared to predict an increase in the two positive indicators of well-being. Knowledge of these four predictors can be useful in designing interventions that target the improvement of well-being.
Leptin levels in breast‐fed and formula‐fed infants

Aim: Leptin, a hormone that regulates food intake and energy metabolism, is present in breast milk and thus may be involved in body composition differences between breastfed and formula‐fed infants. The aim of this study was to evaluate whether diet and gender affect plasma leptin concentration in breastfed and formula‐fed infants during the first months of life. Methods: Anthropometric and bioelectrical impedance measurements [total body water (TBW) calculated with the Fjeld equation] were made and venous blood plasma samples were analysed for leptin concentration in healthy, exclusively breastfed or formula‐fed Italian infants in the first year of life. Infants were subdivided in two ways: three groups (periods) in relation to age, and five groups in relation to weight. Results: The average serum concentration of leptin was 7.35 ng ml‐1. Serum leptin values were higher in breastfed than in formula‐fed infants. Breastfed infants in group 1 had a statistically higher serum leptin concentration (2500–3749 g). There were no significant differences in anthropometric measurements, body mass index or skinfold thickness between breastfed and formula‐fed infants. In the periods I and II, breastfed infants had a significantly higher TBW than formula‐fed infants. Males had a significantly higher TBW than females in periods I and II. Breastfed infants in group 2 (3750–4999 g) had a significantly higher TBW than formula‐fed infants.
Performance of an inductive fault current limiter employing BSCCO superconducting cylinders

Inductive fault current limiters operating at high levels of short-circuit currents are plagued by appearance of overheated thermal domains in active superconducting elements. Excessive growth of thermal domains may lead to a fatal mechanical destruction of the superconducting element during a fault event. It has been determined that employment of superconductors with gradual dissipation onset controlled by flux relaxation processes can efficiently prevent local overheating. Operation of such elements, fabricated by melt cast technique, has been investigated experimentally in a small-scale open-core model of an inductive fault current limiter. The results of the experiments demonstrate the feasibility of application of superconducting cylinders having properties dominated by flux relaxation processes in inductive current limiters. The most important parameter of a superconducting element designated to operate in such devices is the rate of flux relaxation and its dependence on ac current amplitude. It has been found that ac losses associated with flux relaxation in the investigated cylinders allow for a reliable limiter operation at the nominal current level. Projection of the parameters of the investigated small-scale model to the full-scale device has been performed using the concept of physical modeling. The obtained results indicate that it is possible to build a full-scale device based on flux creep dissipation mechanisms for distribution networks.
Predicting Academic Performance by Data Mining Methods

Abstract Academic failure among first‐year university students has long fuelled a large number of debates. Many educational psychologists have tried to understand and then explain it. Many statisticians have tried to foresee it. Our research aims to classify, as early in the academic year as possible, students into three groups: the ‘low‐risk’ students, who have a high probability of succeeding; the ‘medium‐risk’ students, who may succeed thanks to the measures taken by the university; and the ‘high‐risk’ students, who have a high probability of failing (or dropping out). This article describes our methodology and provides the most significant variables correlated to academic success among all the questions asked to 533 first‐year university students during November of academic year 2003/04. Finally, it presents the results of the application of discriminant analysis, neural networks, random forests and decision trees aimed at predicting those students' academic success.
Building on the positives: A psychometric review and critical analysis of the construct of Psychological Capital

The construct of Psychological Capital ( Psy Cap) focuses on the positive psychological capacities of self-efficacy, hope, optimism and resilience and their relationship with a range of desirable work attitudes, behaviours and organizational outcomes. There is now almost a decade of accumulated Psy Cap research. However, a critical and synthesized analysis of the construct in terms of its theoretical conceptualization and psychometric properties is yet to appear in the literature. Consequently, this article aims to provide a comprehensive review and analysis of the Psy Cap literature, focusing in particular on issues relevant to the psychometric profile of Psy Cap as it is currently assessed. Six directives for advancing Psy Cap research are proposed as part of an integrated research agenda aimed towards strengthening the conceptualization and measurement of Psy Cap. Practitioner points This article provides a critical and synthesized psychometric-focused review of the PsyCap construct and its application in the workplace. , Several shortcomings of the construct and its primary measure are highlighted. , Directives are proposed to further enhance the conceptualization and measurement of the construct and thus enhance its utility in the workplace. [ABSTRACT FROM AUTHOR]
Experience report: seL4: formally verifying a high-performance microkernel

We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. The verification connects an abstract operational specification in the theorem prover Isabelle/HOL to a C implementation of the microkernel. We describe how this project differs from other efforts, and examine the effect of using Haskell in a large-scale formal verification. The kernel comprises 8,700 lines of C code; the verification more than 150,000 lines of proof script.
Beauty, Belief, and Trust

In this study, the authors develop a model of the formation of public acceptability judgments. The model suggests that in judging environmental management, people apply their values for the natural environment through psychological processes involving beliefs, aesthetic experience, and trust. A key aim of the study was to explore relationships among these processes. Through a mail survey, 487 Australians judged the acceptability of forest landscape management in Southern Tasmania. Structural equation modeling with these data provided general support for the model, confirming that all of the psychological processes are significant in the formation of acceptability judgments. The most important factor was found to be beliefs about consequences for the natural environment. A new finding to emerge from exploration of the model is that aesthetic experience is informed by values, particularly use/intrinsic values for nature, and in turn influences acceptability judgments mainly by influencing beliefs about consequences for the natural environment.
Co-opting the Smarts: Why Zak Kukoff’s Autism Ambassadors Matters

Zak Kukoff casts a wide net. Autism Ambassadors is an intervention programme built on the theoretical foundation of applied behaviour analysis, progressing with stepped logic, module by module, through the minefield of “normal” that young people with autism must negotiate daily. Anyone who doubts the difficulties they encounter should read the personal story of Tim Page, erstwhile music critic and culture writer for the Washington Post. In the second year of primary school, having by then well and truly earned the dislike of his teacher, he was identified as failing to work to the best of his ability, to show neatness and care in assignments, to cooperate with the group, or to exercise self-control; he received a formal grade of “unsatisfactory” in Social Development. After Grade 2 it just got worse. “In the years since the phrase became a cliché”, he writes:
Evaluating English Landscapes—Some Recent Developments

A programme of research to develop two indices to be used as aids in the prediction of public response to issues involving landscape planning, and in particular the routing of new roads through rural areas, is described. The first index was based on assessments by 272 respondents of the attractiveness of 170 landscapes, presented as panoramas of colour transparencies. This index, which was derived by means of multiple regression statistics, may be used to predict attractiveness scores for other landscapes on the basis of nine measures of visual content. The second index was derived from assessments by 112 respondents of 63 landscapes, with and without simulated roads. An index based upon landscape attractiveness and the visible extent of the roadway was found to provide an accurate prediction of the change in assessed attractiveness due to the introduction of the road.
High Performance Computing in Remote Sensing

Solutions for Time-Critical Remote Sensing Applications The recent use of latest-generation sensors in airborne and satellite platforms is producing a nearly continual stream of high-dimensional data, which, in turn, is creating new processing challenges. To address the computational requirements of time-critical applications, researchers have begun incorporating high performance computing (HPC) models in remote sensing missions. High Performance Computing in Remote Sensing is one of the first volumes to explore state-of-the-art HPC techniques in the context of remote sensing problems. It focuses on the computational complexity of algorithms that are designed for parallel computing and processing. A Diverse Collection of Parallel Computing Techniques and Architectures The book first addresses key computing concepts and developments in remote sensing. It also covers application areas not necessarily related to remote sensing, such as multimedia andvideo processing. Each subsequent chapter illustrate s a specific parallel computing paradigm, including multiprocessor (cluster-based) systems, large-scale and heterogeneous networks of computers, grid computing platforms, and specialized hardware architectures for remotely sensed data analysis and interpretation. An Interdisciplinary Forum to Encourage Novel Ideas The extensive reviews of current and future developments combined with thoughtful perspectives on the potential challenges of adapting HPC paradigms to remote sensing problems will undoubtedly foster collaboration and development among many fields.
Banks ALBUTEROL AND EFFICACY IN COMPARISON WITH PLACEBO AND RACEMIC LOW-DOSE LEVALBUTEROL IN CHILDREN WITH ASTHMA : SAFETY Services

One hundred three children remained in the study at the 4-year follow-up. Thirty-five percent had been diagnosed with asthma by pediatric allergists and 10.7% had episodes of wheezing, but were not diagnosed with asthma. Eighty-five percent of patients had specific IgE levels against at least 1 of the following 5 food allergens (egg white, milk, wheat, soybean, and rice). HDM-specific IgE increased from 11% at registration to 59% at the 1-year follow-up and 87% at the 4-year follow-up. Patients who developed BA showed early appearance of HDM-specific IgE and persistently high levels of food-specific IgE. Male sex, a positive family history of BA, and the appearance of HDM-specific IgE were identified as significant risk factors for the early development of BA, but the significance of these parameters decreased afterward. A positive family history of AD, the outcome of AD, and the keeping of furred pets were also identified as risk factors during part of the follow-up years. During the 4-year follow-up period, AD cleared in 33.8%, improved in 51.4%, was unchanged in 11.7% and worsened in 2.9% of the patients. Conclusions. The early appearance of HDM-specific IgE antibodies in early childhood is a major risk factor for the subsequent development of BA in children with AD. However , the influence decreases after longer follow-up. Reviewer's Comments. This study supports the idea that early atopic sensitization to food is a risk factor for subsequent inhalant sensitization and, therefore, a risk factor for the development of asthma. Risk factors appeared to shift during the 4-year follow-up, but this may have been influenced by the loss of 39% if the original study population. Furred animals also appeared to be a risk factor in the development of asthma, contrary to some recent studies claiming that a pet in the home might have some protective effect. Unfortunately, the authors did not obtain animal-specific IgE levels. Studies in infants with AD where oc-clusive bedding is used as an intervention to reduce HDM sensitization and possibly, by extension, asthma, would prove interesting. Purpose of the Study. To assess whether the severity of asthma is associated with sensitization to airborne molds rather than to other seasonal or perennial allergens. Study Population. One thousand one hundred thirty-two adults 20 to 44 years old with current asthma and with skin prick test results. Methods. Participating centers of the European Community Respiratory Health Survey of over 30 centers (13 countries) randomly …
Affiliation and Independence Issues in Marriage.

The present study applied the affiliation-independence model of relationships to marital functioning. Twenty-five distressed couples beginning marital therapy and 25 nondistressed couples completed the LockeWallace Marital Adjustment Scale, the Edwards Personal Preference Schedule, the Marital Conventionalization Scale, and an inventory assessing relationship problems in four specific areas. It was hypothesized that (a) an individual feeling emotionally uninvolved in a marriage is negatively correlated with his or her own affiliation motivation, (b) feeling emotionally neglected by one's partner is negatively correlated with the partner's affiliation motivation, (c) feeling controlled by one's partner is negatively correlated with one's own independence motivation and positively correlated with the partner's independence motivation, and (d) feeling confined in the marriage is positively correlated with one's own independence motivation. These hypotheses were supported in both the distressed and nondistressed samples. The ramifications of these and other unpredicted findings are discussed.
Observers are Unnecessary for Output-Feedback Control of Lagrangian Systems

We address and solve some long-standing yet well-documented open problems on output feedback tracking control of Euler-Lagrange systems with arbitrarily high relative degree; this includes underactuated systems. Our main contribution is to establish a theoretical foundation for the use of so-called dirty derivatives, a common “ad-hoc” replacement of unavailable state measurements such as generalized velocities, whence obviating the the use of observers for the purpose of position-feedback tracking control. Reminiscent of passivity-based control for robot manipulators, our control law is globally Lipschitz and the controller dynamics is linear. For relative-degree-two fully-actuated Lagrangian systems without dissipative forces (friction) and with bounded inertia matrix we establish uniform global asymptotic stability in closed loop. Furthermore, we show that our control approach applies to Lagrangian systems augmented by a chain of integrators (relative degree m+2 systems). The design method, which is based on a recursive procedure in the spirit of backstepping control, is intuitive as it exploits structural properties such as passivity and inherent input-output stability. As a corollary, we solve an output feedback global-tracking control problem for flexible-joint robots but also for systems coupled with output-feedback linearizable actuator dynamics. In addition, we discuss remaining open problems of fairly general interest in the realm of analysis and design of robust nonlinear systems.
Negative genetic correlation between traits of the Drosophila head, and interspecific divergence in head shape

For morphological traits that are negatively correlated, the genetic correlation (rg) between them might strongly influence patterns of morphological divergence and shape. Here, the pattern of divergence between two sibling species of cactophilic Drosophila, D. buzzatii and D. koepferae, is examined for two traits that are known to be negatively correlated in other Drosophila species: face width (FW) and width of both eyes (EW). Head width (HW, the sum of FW and EW, i.e. the total width of the head capsule) was also examined. Genetic and phenotypic correlations were estimated in the laboratory G2 generation of a sample of wild D. buzzatii derived from a population where D. koepferae is not present. Phenotypic correlations were also estimated in D. buzzatii and D. koepferae from another, very different, population where the species are sympatric. Consistent with studies in other Drosophila species, rg was negative and significant for the correlation between FW and EW, and positive (but nonsignificant at a matrix-wide P-value of 0.05) for the correlations of HW with both FW and EW. This well-defined correlation pattern was also consistent with the phenotypic correlations in both D. buzzatii and D. koepferae. No significant difference in these traits was detected between D. buzzatii populations, but head shape has diverged between D. buzzatii and D. koepferae. Specifically, the two negatively correlated traits, FW and EW, have evolved in opposite directions in these two species, with HW showing no significant interspecific difference. The overall picture of this divergence pattern shows a striking concordance with the present evidence of negative correlations between FW and EW, and is consistent with the notion of rg-related constraints on the pattern of interspecific differentiation.
Emerging role of Paxillin-PKL in regulation of cell adhesion, polarity and migration

Cell adhesion and motility is of fundamental importance during development, normal physiology and pathologic conditions such as tumor metastasis. Focal adhesion (FA) proteins and their dynamic interactions play a critical role in the regulation of directed cell migration upon extracellular guidance cues. Using a combination of pharmacological inhibitors, knockout and knockdown cells, dominant negative and constitutively active mutants, we recently reported that the dynamic interaction and balancing phosphorylation of paxillin-PKL(GIT2) complex were critical for the cell polarity, thus directional migration upon cell adhesion and growth factor signaling. Similarly, restricted regulation of Arf6 and Rho families GTPase activities in polarized migrating cells is implicated in recent studies using cell culture and in vivo models.
Stability Analysis of Underconstrained Cable-Driven Parallel Robots

This paper studies cable-driven parallel robots with less than six cables, in crane configuration. A geometrico-static model is provided, and the stability of static equilibrium is assessed within the framework of a constrained optimization problem. The method relies on ordinary linear-algebra routines, and it may be very simply applied to the most general architectures. Several examples are provided, concerning robots with a number of cables that range from 2 to 4.
Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach

In large companies such as Siemens and Statoil monitoring tasks are of great importance, e.g., Siemens does monitoring of turbines and Statoil of oil behaviour in wells. This tasks bring up importance of both streaming and historical (temporal) data in the Big Data challenge for industries. We present the Optique project that addresses this problem by developing an Ontology Based Data Access (OBDA) system that incorporates novel tools and methodologies for processing and analyses of temporal and streaming data. In particular, we advocate for modelling time time aware data by temporal RDF and reduce monitoring tasks to knowledge discovery and data mining.
The facilitation of picture naming in aphasia

Abstract A series of four experiments are described investigating the effects of a number of treatments on the ability of aphasic patients to retrieve picture names, at some time after the treatment is applied. Auditory word-to-picture matching, visual word-to-picture matching and semantic judgements are found to have effects lasting for up to 24 hours. It is argued that durable facilitation of aphasic word retrieval is a consequence of treatment techniques that require the patients to access the semantic representation corresponding to the picture name, and this is contrasted with the short-term effects of techniques that provide patients with information about the phonological shape of the name. The theoretical and therapeutic implications of these results are discussed.