Miracle-dz/UniFAR-FTUs huggingface dataset:
Prevention of Relapse/Recurrence in Major Depressive Disorder With Either Mindfulness-Based Cognitive Therapy or Cognitive Therapy

Objective: Both Mindfulness Based Cognitive Therapy (MBCT) and Cognitive Therapy (CT) enhance self-management of prodromal symptoms associated with depressive relapse, albeit through divergent therapeutic procedures. We evaluated rates of relapse in remitted depressed patients receiving MBCT and CT. Decentering and dysfunctional attitudes were assessed as treatment-specific process markers. Method: Participants in remission from Major Depressive Disorder (MDD; N = 166) were randomized to 8 weeks of either MBCT (N = 82) or CT (N = 84) and were followed for 24 months, with process markers measured every 3 months. Attendance in both treatments was high (6.3/8 session) and treatment fidelity and competence were evaluated. Relapse was defined as a return of symptoms meeting the criteria for major depression on Module A of the Structured Clinical Interview for Diagnostic and Statistical Manual of Mental Disorders (SCID). Results: Intention-to-treat analyses indicated no differences between MBCT and CT in either rates of relapse to MDD or time to relapse across 24 months of follow up. Both groups experienced significant increases in decentering and participants in CT reported greater reductions in dysfunctional attitudes. Within both treatments, participants who relapsed evidenced lower decentering scores than those who stayed well over the follow up. Conclusions: This is the first study to directly compare relapse prophylaxis following MBCT and CT directly. The lack of group differences in time to relapse supports the view that both interventions are equally effective and that increases in decentering achieved via either treatment are associated with greater protection. These findings lend credence to Teasdale et al.’s (2002) contention that, even though they may be taught through dissimilar methods, CT and MBCT help participants develop similar metacognitive skills for the regulation of distressing thoughts and emotions.
Intake of Gnetum Africanum and Dacryodes Edulis, Imbalance of Oxidant/Antioxidant Status and Prevalence of Diabetic Retinopathy in Central Africans

Objective To estimate the prevalence of DR and to correlate cardiometabolic, sociodemographic, and oxidant/antioxidant imbalance data to the prevalence of DR. Design This case-control study included type 2 DM (T2 DM) patients with DR (n = 66), T2 DM patients without DR (N = 84), and healthy controls (n = 45) without DR, in Kinshasa town. Diet, albuminemia, serum vitamins, and 8-isoprostane were examined. Results No intake of safou (OR = 2.7 95% CI 1.2–5.8; P = 0.014), low serum albumin <4.5 g/dL (OR-2.9 95% CI 1.4–5.9; P = 0.003), no intake of fumbwa (OR = 2.8 95% CI 1.2–6.5; P = 0.014), high 8-isoprostane (OR = 14.3 95% CI 4.5–46; P<0.0001), DM duration ≥5 years (OR = 3.8 95% CI 1.6–9.1; P = 0.003), and low serum vitamin C (OR = 4.5 95% CI 1.3–15.5; P = 0.016) were identified as the significant independent determinants of DR. Conclusion The important role of oxidant/antioxidant status imbalance and diet is demonstrated in DR.
Diagnosis GLY120 Antigen for the Blood and Breast Cancers Using Graphene Nanosheet

The current study designed and simulated graphene nanosensors for detection of GLY120 tumor-associated carbohydrate antigens. Graphene is a two-dimensional nanosheet that offers a high surface-to-volume ratio and high mobility which increases its sensitivity as a graphene sensor over that of other nanoparticles. The current study simulated graphene sensors with and without GLY120 tumor markers and compared the two conditions. GLY120 tumor-associated antigens are present in blood and breast tissue. When GLY120 was attached to the graphene sheet, the Fermi energy, total energy, potential energy, band structure energy and electron kinetic energy of the nanosheet changed. It was then possible to determine the difference in the curves in each state.
Simulation and application of pulsating bottom-blowing in EAF steelmaking

Pulsating bottom-blowing was proposed to strengthen the electric arc furnace (EAF) molten bath stirring. The fluid flow characteristics and stirring effects of different pulsating bottom-blowing modes on EAF molten bath were studied through water model experiments and numerical simulations. The mixing time was measured by water model experiments and the flow field characteristics of EAF molten bath were simulated by numerical simulations. Compared with conventional bottom-blowing, pulsating bottom-blowing can accelerate the fluid flow velocity and improve the stirring of molten bath. With pulsating bottom-blowing, the molten bath fluid flow field is more disorder, the fluid flow velocity increases and the dead zone volume decreases. Compared with EAF steelmaking with conventional bottom-blowing conditions, pulsating bottom-blowing technology can improve the metallurgical effects and the molten steel quality in EAF steelmaking with lower FeO content of final slag, lower phosphorus content and carbon-oxygen equilibrium of final molten steel, and lower temperature deviation.
Developing applications of the ICF in education systems: addressing issues of knowledge creation, management and transfer

Purpose: Since its endorsement, the International Classification of Functioning, Disability and Health (ICF) has been applied in many policy contexts, including education. While so far the focus has been on showing ways in which it can be used to describe functioning and disability, this article seeks to focus on its value to represent knowledge. Methods: Two applications of the ICF and ICF-CY in the context of the Swiss education system highlight ways in which the classification can be used to assist multidisciplinary teams in acquiring and mapping existing knowledge, in creating new knowledge and in applying it for specific purposes. Results: The conceptual analysis illustrates that “disability in education” is a hybrid conceptual world that needs to bridge disability-related information with information relevant for learning and education. The ICF can be used to adequately map such knowledge in complex social settings. Conclusion: More attention needs to be paid to the ICF as an information system to help negotiate between different views on reality and different areas of expertise. The selection of content and ways of representing it need to be considered in the light of the specific purposes during collaborative knowledge creation processes. Implications for Rehabilitation A sound understanding of the linkage between knowledge, information and data helps to clarify problems with the application of the ICF in everyday practice. Tool development needs to be responsive to the different information requirements across the knowledge creation cycle. Planning and decision-making can be improved if relevant information is represented in ways that facilitate adequate information processing.
Creating implementations from Promela models

SPIN is a tool to simulate and validate Protocols. PROMELA, its source language, is a formal description technique like SDL and Estelle that is based on communicating state machines. Unlike most other tools, SPIN is in the public domain and therefore is one of the most widely used formal veri cation tools today. PROMELA allows to specify distributed automatawhich can communicate using either message channels or shared memory. This contribution consists of an extension to SPIN which allows the creation of implementations from PROMELA speci cations. This can be used for the creation of test scenarios and the rapid prototyping of validated protocol implementations.
Elastic properties of human posterior eye.

This study examines the elastic properties of the human posterior retina, choroid, and sclera. Twenty-four human eyes from 30- to 74-year-old donors were obtained from an eye bank. Vertically and horizontally oriented tissue strips of the retina, choroid, and sclera (ideally n = 12 in each group) were harvested from the posterior eyes. Their thicknesses were estimated optically. The samples were stretched at 1 mm/s in 37°C saline. Stress and strain were obtained from the mechanical tests, and then the transition stress, transition strain, toe modulus, and heel modulus were calculated. Statistical analysis was performed for comparison between groups. Linear regression analyses were used to explore the relationship between the mechanical parameters and age. We found that the stress-strain relationship of the retina, choroid, and sclera were nonlinear. Except for the retinal transition strain (p = 0.0124), no statistical difference was found between the vertical and horizontal meridian in the mechanical parameters (p > 0.05). Furthermore, weak relationship was observed between some of the mechanical parameters and the donors' age. Our results suggest that there is significant anisotropy in the retina, and mechanical properties of each layer may change with age.
Scalable Discriminative Parsing for German

Generative lexicalized parsing models, which are the mainstay for probabilistic parsing of English, do not perform as well when applied to languages with different language-specific properties such as free(r) word order or rich morphology. For German and other non-English languages, linguistically motivated complex treebank transformations have been shown to improve performance within the framework of PCFG parsing, while generative lexicalized models do not seem to be as easily adaptable to these languages. In this paper, we show a practical way to use grammatical functions as first-class citizens in a discriminative model that allows to extend annotated treebank grammars with rich feature sets without having to suffer from sparse data problems. We demonstrate the flexibility of the approach by integrating unsupervised PP attachment and POS-based word clusters into the parser.
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles

Recent advances in embedded systems and underwater communications raised the autonomy levels in unmanned underwater vehicles (UUVs) from human-driven and scripted to adaptive and self-managing. UUVs can execute longer and more challenging missions, and include functionality that enables adaptation to unexpected oceanic or vehicle changes. As such, the simulated UUV exemplar UNDERSEA introduced in our paper facilitates the development, evaluation and comparison of self-adaptation solutions in a new and important application domain. UNDERSEA comes with predefined oceanic surveillance UUV missions, adaptation scenarios, and a reference controller implementation, all of which can easily be extended or replaced.
IODisk: disk-type i/o interface for browsing digital contents

We propose a disk-type I/O interface, IODisk, which helps users browse various digital contents intuitively in their living environment. IODisk mainly consists of a forcefeedback mechanism integrated in the rotation axis of a disk. Users can control the playing speed/direction contents (e.g., videos or picture slideshows) in proportion to the rotational speed/direction of the disk. We developed a prototype system and some applications.
Bayesian problem-solving applied to scheduling

This dissertation describes several advances to the theory and practice of artificial intelligence scheduling and constraint-satisfaction techniques. I have developed and implemented these techniques during the construction of DTS, the Decision-Theoretic Scheduler, and its successor, SchedKit, a toolkit of scheduling algorithms and data structures. The dissertation describes and analyzes the three orthogonal approaches to improving a scheduler's performance. These are: (1) reducing the size of the state space to be searched, (2) reducing the per state cost of state generation and evaluation, and (3) reducing the number of states examined by selective search. To reduce the size of the state space. I have developed several new preprocessing algorithms designed to exploit resource constraints, including resource capacity and resource/task compatibility. Experiments show that it is possible to exploit resource capacity constraints efficiently despite their inherently disjunctive nature. To reduce the cost of state generation, I employ computational geometry data structures that optimize incremental heuristic evaluation, constraint-checking and state-variable maintenance. These data structures can be compiled from a formal attribute grammar specification of the heuristics and constraints. Experience with these techniques in DTS shows significant speedups and other advantages over manually-coded software. Finally, to reduce the number of states examined during search, I have applied the Bayesian Problem-Solving (BPS) approach to the problem of search ordering in backtracking algorithms. The approach estimates, for each subtree, the search cost and probability that a solution exists. These estimates are conditioned on raw heuristic features used by other ordering techniques from the literature. Experiments with the BPS ordering heuristic on a state-of-the-art propositional satisfiability solver show that it overcomes a performance anomaly of an existing strong heuristic on two sets of benchmark problems.
Stress: perspectives on its impact on cognition and pharmacological treatment

Stress in life is unavoidable, affecting everyone on a daily basis. Psychological stress in mammals triggers a rapidly organized response for survival, but it may also cause a variety of behavioral disorders and damage cognitive function. Stress is associated with biases in cognitive processing; some of the most enduring memories are formed by traumatic events. Our understanding of how cognition is shaped by stress is still relatively primitive; however, evidence is rapidly accumulating that the ‘mature’ brain has a great capacity for plasticity and that there are numerous ways through which pharmacological therapeutics could rescue cognitive function and regain cognitive balance. In this review, we discuss recent advances in our understanding of the interplay between stress and cognitive processes and potential therapeutic approaches to stress-related behavioral and cognitive disorders.
Improving the performance of space shift keying (SSK) modulation via opportunistic power allocation

In this Letter, we show that the performance of Space Shift Keying (SSK) modulation can be improved via opportunistic power allocation methods. For analytical tractability, we focus on a 2 × 1 Multiple-Input-Multiple-Output (MIMO) system setup over correlated Rayleigh fading channels. A closed-form solution of the optimal power allocation problem is derived, and it is shown that the transmit-power of each transmit-antenna should be chosen as a function of the power imbalance ratio and correlation coefficient of the transmit-receive wireless links. Numerical results are shown to substantiate the analytical derivation and the claimed performance improvement.
Interactive Humanoid Robots for a Science Museum

One objective of the Intelligent Robotics and Communication Laboratories is to develop an intelligent communication robot that supports people in an open everyday environment by interacting with them. A humanoid robot can help achieve this objective because its physical structure lets it interact through human-like body movements such as shaking hands, greeting, and pointing. Both adults and children are more likely to understand such interactions than interactions with an electronic interface such as a touch panel or buttons. To behave intelligently during an interaction, a robot requires many types of information about its environment and the people with whom it interacts. However, in open everyday environments, simple recognition functions such as identifying an individual are difficult because the presence and movement of a large number of people as well as unfavorable illumination and background conditions affect the robot's sensing ability. We integrated humanoid robots and ubiquitous sensors in an autonomous system to assist visitors at an Osaka Science Museum exhibit
Time affordances: the time factor in diagnostic usability heuristics

A significant body of usability work has addressed the issue of response time in interactive systems. The sharp increase in desktop and networked systems changes the user's focus to a more active diagnostic viewpoint. Today's more experienced networked user is now engaged in complicated activities for which the issue is whether the system is carrying out the appropriate task and how well it is proceeding with tasks that may vary in response time from instantaneous to tens of minutes. We introduce the concept of a time affordance and a set of principles for determining whether the diagnostic information available to the user is rich enough to prevent unproductive and even destructive actions due to an unclear understanding of progress.
Personality and Presence in Virtual Reality: Does Their Relationship Depend on the Used Presence Measure?

In virtual reality (VR) applications the user's subjective experiences and responses to the same VR technology, like the presence experience, can differ enormously between people. Such interindividual differences are not well examined yet. The aim of the present study was to examine the relationship between personality variables and presence in VR. Thirty female participants completed different personality questionnaires before they were exposed to an interactive and immersive virtual environment. Afterward, they completed various presence questionnaires to determine whether correlations between personality and presence depend on the used presence measure, or if different presence questionnaires reveal comparable results. Significant positive correlations were found among the different presence questionnaires. Nevertheless, personality variables like impulsive tendencies, empathy, locus of control, or the Big Five personality traits showed heterogeneous correlations with presence, depending on the presence questionnaire used. Absorption seemed to be the best predictor for the feeling of presence in VR and showed the strongest relationship with presence, independent of the used presence measure. Mental imagination, perspective taking, and immersive tendencies showed significant correlations with presence too, which were comparable between different presence measures. Hence, to find valid and meaningful relationships between personality variables and presence in VR it is beneficial to use different measures to assess presence. This work was partially supported by the Neuro Center Styria (NCS) in Graz, Austria and the European Community Seventh Framework Programme (FP7/2007 2013), Grant Agreement nr. 258169. We are grateful to M. Pröll, M. Lancelle, V. Settgast, and D. Fellner of the Institute of Computer Graphics and Knowledge Visualization (Graz University of Technology) for technical assistance and to Guilherme Wood for proofreading the manuscript.
Potential of all‐cellulose composites in corrugated board applications: Comparison of chemical pulp raw materials

All‐cellulose composites (ACCs) were produced using various commercially available chemical pulps by partial dissolution method using an aqueous zinc chloride (ZnCl2) solvent. Characterization methods used for defining material performance, keeping especially corrugated board products in mind, were as follows: scanning electron microscopy, tensile strength, 2‐point bending stiffness, concora medium test, and short‐span crush test. Hardwood (bleached eucalyptus), softwood (bleached spruce, bleached and unbleached pine), speciality softwood pulps (sulphite dissolving with 530 and 398 mL/g intrinsic viscosities), and annual plant pulp (bleached abaca) were investigated to give a broad overview of the potential for making ACCs. Softwood pulps, especially bleached, showed highest increase in mechanical properties across the board. Hardwood pulp showed relatively good results, and the selected annual plant pulp (abaca) responded partially negatively to treatment. Comparing unbleached and bleached softwood ACCs, it seems that bleaching is beneficial for tensile properties. However, when material comes under compressive or bending loads, unbleached pulp performs very well. Comparing sulphite dissolved pulps, it could be proven that pulps with higher intrinsic viscosities, thus higher polymerization grade, respond better to partial dissolution. It was proven that a wide set of pulps, also of lesser cellulose purity, used in the paper industry are viable for ACC production. Furthermore, results from short‐span crush test and concora medium tests show high potential of ACCs for corrugated board applications.
Software Architecture Patterns: Reflection and Advances: [Summary of the MiniPLoP Writers' Workshop at ECSA'14]

Architectural software patterns capture successful designs for recurring problems in software architecture. For the first time, a workshop in the tradition of the software-pattern conference series (e.g. PLoP, EuroPLoP) was held jointly with the European Conference on Software Architecture (ECSA 2014) in Vienna, Austria. The main objective of this workshop called MiniPLoP was to bring software architecture researchers closer to the pattern community and to introduce the writers' workshop format to them. Writers' workshop at PLoP conferences provide authors of pattern papers with high-density feedback given by peers within a limited timeframe. In addition, our workshop provided a forum to reect on the state of software architecture patterns and to discuss advances pattern research. This report contains an extended keynote abstract and summaries of the papers discussed during the workshop.
Routine mental health outcome measurement in the UK

Abstract This paper offers a short history of routine clinical outcomes measurement (RCOM) in UK mental health services. RCOM developments in primary and secondary care are described, with reference to measures currently in widespread use or likely to be implemented. Assessment procedure and completion rates are discussed. Some of the forces operating in this field are enumerated. Comparison is made with UK attempts at routine outcomes measurement in public education. This field is thus reviewed for lessons for RCOM, and opportunities and challenges considered.
On skew polynomial codes and lattices from quotients of cyclic division algebras

We propose a variation of Construction A of lattices from linear codes defined using the quotient $\Lambda/\mathfrak p\Lambda$ of some order $\Lambda$ inside a cyclic division $F$-algebra, for $\mathfrak p$ a prime ideal of a number field $F$. To obtain codes over this quotient, we first give an isomorphism between $\Lambda/\mathfrak p\Lambda$ and a ring of skew polynomials. We then discuss definitions and basic properties of skew polynomial codes, which are needed for Construction A, but also explore further properties of the dual of such codes. We conclude by providing an application to space-time coding, which is the original motivation to consider cyclic division $F$-algebras as a starting point for this variation of Construction A.
Individualized Clinical Practice Guidelines

Clinical practice guidelines (CPGs) are playing an increasing role in the evolution of evidence-based health care. CPGs involve a process in which the best evidence in translated into best practice principles that are then applied on a wide range of patients. Although there are clear benefits in terms of simplicity, applying broad recommendations on a diverse group of patients can lead to wide variations in outcomes on an individual patient level. The individualized guideline (IG) is an approach that builds on the concept of the CPG by specifying treatment recommendation based on important individual baseline characteristics. The IG approach could potentially lead to superior outcomes but necessitates a substantial increase in complexity to the CPG development process.