Miracle-dz/UniFAR-FTUs huggingface dataset:
TAILORING COUPLE THERAPY TECHNIQUES TO CLIENT NEEDS A Thesis by ANNIE C. HSUEH

Tailoring Couple Therapy Techniques to Client Needs. (December 2008) Annie C. Hsueh, B.S., University of California, San Diego Chair of Advisory Committee: Dr. Brian D. Doss Research illuminating which therapist techniques are used in care-as-usual couple therapy, and under what circumstances, can contribute to a fuller understanding of how therapy works. The overall goal of the present study was to better understand care-as-usual couple therapy by investigating session-by-session techniques and session content to determine how therapists modify them based on the timing of the session and couples’ pre-treatment characteristics. A total of 123 heterosexual couples were examined. Therapists frequently used acceptance techniques and discussion of recent or ongoing conflict or problem. Therapists typically used the same levels of techniques and session contents over a course of therapy. In addition, there were relatively few predictors of change in therapy techniques and session content.
Congenital Glaucoma Epidemiological, Clinical and Therapeutic Aspects: About 414 Eyes

Congenital glaucoma is a rare and severe pathology because it is potentially blinding. The aim of this study is to analyze the epidemiological, clinical and therapeutic aspects of this pathology in the pediatric ophthalmology department of Casablanca, Morocco. We conducted a retrospective descriptive study of all children admitted into our department from January 2002 until January 2018 for primary congenital glaucoma. The data collected concerned anamnestic and clinical parameters, management and evolution. 414 eyes belonging to 226 patients were included. The average age of diagnosis was 8.4 months, a sex ratio of 1.3, consanguinity at 61.9% with 14.2% of similar cases in the family, the mode of consultation was 85.5% done by the observation of an abnormal eye by the parents. The most common reason for consultation was megalocornea in 52%, the CG was bilateral at 82.7%, associated with a general pathology of 4.4%, the initial average IOP was of 18.2 mmHg The treatment time compared with the first consultation was 21 days on average, the most commonly used treatment was trabeculectomy associated with 5-FU at 97%, with a total success of 60.5%, partial success at 21.4% with or without hypotonic medical treatment. Surgical treatment should be instituted as soon as possible. In the absence of a well-defined consensus, the choice of the surgical method should be made taking into account the experience of the surgeon, and the age and the particularities of each patient.
Towards Formal Verification of Optimized and Industrial Multipliers

Formal verification methods have made huge progress over the last decades. However, proving the correctness of arithmetic circuits involving integer multipliers still drives the verification techniques to their limits. Recently, Symbolic Computer Algebra (SCA) methods have shown good results in the verification of both large and non-trivial multipliers. Their success is mainly based on (1) reverse engineering and identifying basic building blocks, (2) finding converging gate cones which start from the basic building blocks and (3) early removal of redundant terms (vanishing monomials) to avoid the blow-up during backward rewriting.Despite these important accomplishments, verifying optimized and technology-mapped multipliers is an almost unexplored area. This creates major barriers for industrial use as most of the designs are area and delay optimized. To overcome the barriers, we propose a novel SCA-method which supports the formal verification of a large variety of optimized multipliers. Our method takes advantage of a dynamic substitution ordering to avoid the monomial explosion during backward rewriting. Experimental results confirm the efficiency of our approach in the verification of a wide range of optimized multipliers including industrial benchmarks.
Zentrum für Europäische Integrationsforschung Center for European Integration Studies

Why and how did the two European Union countries with the worst debt levels and with yearly deficit levels double the Maastricht target in 1993 manage to get their financial affairs in shape to qualify for Economic and Monetary Union? This paper presents an explicitly institutional approach to the political economy of budget deficits. It discusses the role of one external actor, the European Union, in promoting tighter fiscal discipline in the two countries. The European Union provided an important stick for any failure not to make needed changes, namely exclusion from EMU. This stick alone, however, was not sufficient to promote change in both countries. Indeed, each state made fundamental institutional changes that put the fulfillment of the Maastricht criteria within reach. Consistent with their respective electoral systems and coalition structures, Italy delegated significant power on the making and the enforcement of the budget to a strong finance minister, while Belgium strengthened its High Council of Finance and resorted to budgetary targets in the form of fiscal contracts. Correspondence: Department of Political Science University of Pittsburgh 4T23 Forbes Quadrangle Pittsburgh, PA 15260 Phone 412-624-4478, Fax 412-648-7277 e-mail: hallerb+@pitt.edu The author would like to thank Miriam Golden, William Keech, Helen Milner, Gianfranco Pasquino, Alberta Sbragia, Georges Steinlet, Rolf Strauch, Jürgen von Hagen, and Katja Weber for their helpful comments. The author would also like to thank officials at the European Commission, Directorate General II, the Belgian Finance Ministry, and the Flemish Regional Government for their time and assistance.
Hope as a behavior and cognitive process

Introduction: Given the aging population, it is necessary to develop strategies for the prevention and promotion of mental health in the elderly. Hope as the ability to trace and maintain paths can be used as a key construct for these strategies, promoting cognitive health if stimulated. Objective: Evaluate the behavior and cognitive development of elderly people through hope training as a clinical strategy for health promotion. Methods: A clinical experiment with a comparative and cross-sectional design. There were 2 data collection phases over a 6-month period. The sample comprised 51 participants, divided into groups having received either more or less than 6 months of stimulation. The instruments used were the Mini-Mental State Examination (MMSE), Geriatric Depression Scale (GDS), and Expectations/Hope Scale About the Future and Life's Guidance. The Wilcoxon signed-ranks test (t test) was used to analyze the data. Results: Hope in addition to cognitive stimulation shows more significant results in elderly people at initial stimulation (0.18), mainly at the permanence and troubleshooting on the paths concerned; this corresponds with the results obtained for hope (0.18). Depressive symptomatology showed significant differences among the 2 groups (0.39 and 0.02). In the between-groups comparisons, only GDS showed significance (0.46). Hope training has an impact on the remission of depressive symptoms and, despite increased hope levels, training was effective for the reduction of depression symptoms for up to 6 months, thereafter only playing a maintenance role. Broadly, hope has been shown to promote elderly people's mental health.
AN ABSTRACT OF THE THESIS OF Ghadeer Alkubaish for the degree of Master of Science in Computer Science presented on February 24, 2020. Title: Integrating Side Effects in Variational Programs Using Algebraic Effects Abstract approved:

approved: Eric Walkingshaw Variational programming supports efficiently executing many related programs at once by encoding all of the programs in one “variational program” that captures the differences among them statically and explicitly. An open problem in variational programming is how to handle side effects—if two program variants perform different side effects, we cannot separate the effect of one variant from the other since the outside world is not variational. A potential solution is to create variation-aware execution environments for variational programs, for example, a variational file system that keeps track of file variants corresponding to program variants. However, it is infeasible to do this for all kinds of effects. Also, there are different ways to handle the interaction of effects and variation that are incompatible with each other, preventing a one-size-fits-all solution. In this thesis, we argue that algebraic effects can be used to resolve the problem of combining variation and effects by enabling programmers to flexibly and incrementally extend a variational programming environment to handle new kinds of effects. We present a proof-of-concept prototype in the Eff programming language that demonstrates how a variational programming environment can be extended to support file input/output. Crucially, such extensions are done at the library level, which enables handling new kinds of effects and handling existing effects in multiple ways, both of which are essential in variational programming applications. c ©Copyright by Ghadeer Alkubaish February 24, 2020 All Rights Reserved Integrating Side Effects in Variational Programs Using Algebraic Effects
Enhanced Bitcoin Protocol with Effective Block Creation and Verification by Trusted Miners

The Distributed nature of Bitcoin introduces security issues that necessitate security-specific enhancements in Bitcoin protocol. Therefore, proposing a method of incorporating criteria check and verification process for miners to participate in the mining process and join the mining pool respectively. The proposed idea mitigates double spending, block withholding, and 51 percentage attacks. In addition, an increase in the rate of Bitcoin users necessitates performance improvement. Hence, proposing an effective approach of refining the existing block creation and verification strategy for improving transaction rate without compromising security.
Parallel Enhancement in M-learning and Mobile Computing

This paper provides an introduction to the application and new enhancement of Mobile technology and Mobile Computing in technical learning system. Mobile devices can be using every human to be interaction and access to knowledge resources every time in anywhere. With respect to wide application possibilities of mobile learning, investigating learners’ acceptance towards it, an essential issue. The paper presents the M-learning approach as the next generation of E-Learning, whereas the next generation of the learning systems will provide easy access and widely available to all who wish to be part of it. The paper also highlights the benefits and future challenges of mobile learning in our technical learning system and environment. By exploring the capabilities of M-learning technologies, it is possible to construct a picture of how different components of M-Learning can be implemented. Portable digital assistants (PDAs), Short Message Service (SMS) messaging via mobile phone, and podcasts via MP3 players.
Price Risks and the Lead-Lag Relationship between the Futures and Spot Prices of Soybean, Wheat and Corn

Faced that the dynamics of the global economy and international politics has produced price risks in the agricultural commodity markets of some countries, we study the lead-lag relationship between the futures and spot prices and market volatility of staple commodities to help make forecasts and manage risk. We design some indexes ? "long-term equilibrium", "power of short-term error correction", " Granger causality", "share of information" and "spillover effect" to quantify the lead-lag relationship. Characteristics of futures prices are analyzed with statistical methods and E-GARCH model. The results suggest that spot prices can incorporate the information in futures prices, and move affected by futures prices. This study also identifies the characteristics of trends such as seasonality and asymmetric volatility, which sheds light on some of the key price risks in these commodity markets. In addition, when a commodity is to be harvested or its price affected by bullish news and policies, regulators and traders should pay more attention to price risks, particularly for types of futures with long-lasting volatility, such as soybeans.
A Chinese Event Trigger Inference Approach Based on Markov Logic Networks

Currently, previous Chinese argument extraction approaches mainly focus on feature engineering and trigger expansion, which cannot exploit inner relation between trigger mentions in same document. To address this issue, the authors bring forward a novel trigger inference mechanism, which based on Markov Logic Network. Head morpheme, the probabilities of a trigger mention fulfilling true and pseudo events from the training set and the relationships between trigger mentions are used to infer those trigger mentions with lack of effective context information or low confidences in testing set. Experimental results on the ACE 2005 Chinese corpus show that our approach outperforms the baseline, with the improvements of 3.65% and 2.51% in trigger identification and event type classification respectively.
Real-world study on clinical outcomes of nucleos(t)ide analogues antiviral therapy in patients with chronic hepatitis B

Nucleos(t)ide analogues (NAs) are widely used for antiviral therapy in patients with chronic hepatitis B (CHB), but real-world data on treatment patterns and long-term clinical outcomes are not always available. Using data from electronic medical records between January 2011 and December 2016 in Shanghai, China, we evaluated patient characteristics, treatment patterns and clinical outcomes in patients with CHB. There were 6688 patients in the study cohort. The incidences of cirrhosis and hepatocellular carcinoma (HCC) were 41.0 ‰ and 6.8 ‰ person-years, respectively. There were more cirrhosis and HCC cases among patients who had shorter NA treatment duration (<365 days), or who were less compliant (<80%). In addition, increased risk of cirrhosis and HCC was observed in patients who did not achieve hepatitis B surface antigen (HBsAg) loss/seroconversion. Moreover, patients with cirrhosis developed after antiviral treatments had a higher incidence of HCC (adjusted hazard ratio 15.86, 95% confidence interval 7.35 – 34.24). Good compliance with treatment and longer treatment duration significantly decreased the risk of developing cirrhosis and HCC. HBsAg loss seemed to be a protective factor for cirrhosis/HCC in NAs-treated patients with CHB, and cirrhosis was a confirmed risk factor for HCC development as expected.
The Use of Hinged Craniotomy in Comparison to Cisternostomy for Avoiding Bone Flap Replacement Second Surgery in Cases of Decompressive Craniotomy in Traumatic Brain Injury

Introduction: Acute post traumatic subdural hematoma is a clinical condition with increased morbidity and mortality despite the developments in neurosurgery and urgent intervention is required to have best clinical outcome. We will evaluate hinged craniotomy technique in terms of offering adequate brain decompression plus avoiding removal of bone flap which requires second replacement surgery in comparison to cisternostomy effect. Material and Methods: A prospective study was conducted over 30 patients with traumatic acute subdural hematoma presented to neurotrauma unit in Cairo University hospitals from January 2017 to February 2018, operated by hinged craniotomy plus evacuation of hematoma and duroplasty. We avoid rapping the head with elastic bandage post-operative. Generous subcutaneous dissection (5 - 7 cm) all around skin flap was done routinely. Effect of brain decompression was evaluated by measuring the level of brain in relation to skull in post-operative computerized topography. Results: Twenty-one patients operated with initial GCS less than eight. Ten cases (33%) show that cortical surface in relation to skull bone was at inner table, nine cases (30%) at diploid layer and two cases (6.7%) at outer table in post-operative CT brain. Twenty patients died (66.7%); eight patients (26.6%) became fully conscious and two patients (6.7%) had vegetative outcome. No re-operation was done in any of our patients. Conclusion: Hinged craniotomy may be a safe and effective alternative technique with comparable results to cisternotomy in cases of traumatic brain injury that require decompression to avoid second surgery, especially in centres lacking cisternostomy experience. Although gaining cisternostomy experience may help in other indications, future prospective studies with larger number are required.
Recognition of Point Sets Objects in Realistic Scenes

With the emergence of new intelligent sensing technologies such as 3D scanners and stereo vision, high-quality point clouds have become very convenient and lower cost. The research of 3D object recognition based on point clouds has also received widespread attention. Point clouds are an important type of geometric data structure. Because of its irregular format, many researchers convert this data into regular three-dimensional voxel grids or image collections. However, this can lead to unnecessary bulk of data and cause problems. In this paper, we consider the problem of recognizing objects in realistic senses. We first use Euclidean distance clustering method to segment objects in realistic scenes. Then we use a deep learning network structure to directly extract features of the point cloud data to recognize the objects. Theoretically, this network structure shows strong performance. In experiment, there is an accuracy rate of 98.8% on the training set, and the accuracy rate in the experimental test set can reach 89.7%. The experimental results show that the network structure in this paper can accurately identify and classify point cloud objects in realistic scenes and maintain a certain accuracy when the number of point clouds is small, which is very robust.
Wood decomposition is more strongly controlled by temperature than by tree species and decomposer diversity in highly species rich subtropical forests

1 –––––––––––––––––––––––––––––––––––––––– © 2018 The Authors. This is an Open Access article This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited. Subject Editor: Matty Berg Editor-in-Chief: Gerlinde De Deyn Accepted 10 November 2018 00: 1–15, 2018 doi: 10.1111/oik.04879 doi: 10.1111/oik.04879 00 1–15
Studies with a Turbulent-Flame-Speed-Closure Model for Premixed Turbulent Flame Calculations

A computational model for turbulent premixed gaseous combustion is investigated, where the combustion process is modelled in terms of a single transport equation for a reaction progress variable. Turbulent closure of the source term of the progress variable is based on a model for the turbulent flame speed. In order to check the model, numerical results are compared with experimental data from a turbulent premixed V-shaped flame, where the conditions of the approaching turbulent flow and of the chemical processes have been varied separately and systematically. Additionally, three other relations from the literature for the turbulent flame speed have been tested within this turbulent flame speed approach. Furthermore, the influence of the formal structure of the reaction term is compared with that of other common approaches (gradient approach, parabolic approach, eddy dissipation concept). While for the gradient approach the calculated flame shape agrees with the experimentally found straight lines, for the other approaches a concave bounded flame shape is found. This can be understood by analyzing the reaction rate integral across the flame brush. If the length scale of the parabolic approach would be proportional to the flame brush thickness, also here width-independence could be reached, requiring, however, additional modelling equations. Numerical model and comparison with experiment A computational model for turbulent premixed gaseous combustion is investigated, where the combustion process is modelled in terms of a single transport equation for the mean reaction progress variable c , being defined as the normalized mass fraction of products (c = 0 in the unburnt mixture and c = 1 in the products). The source term of the progress variable is modelled with c s w T u c ∇ = ρ (1) where the turbulent flame speed sT includes physico-chemical properties and local turbulence parameters of the combustible mixture [1], while the coupling to the transport equations of the flow field is done with the density calculated from the reaction progress variable. These equations have been implemented as subroutines into a computational fluid dynamics (CFD) code [2,3]. In order to check the model, numerical results are compared with experimental data from a turbulent premixed V-shaped Fig. 1: Experimental setup of turbulent V-flame. Flamestabilization
The Axiomatization of Overriding and Update^

There are only very few natural ways in which arbitrary functions can be combined. One composition operator is override: for arbitrary functions f and g, f > g is the function with domain dom( f) U dom(g) that behaves like f on dom( f) and like g on dom(g) \ dom( f ) . Another operator is update: f[g] has the same domain as f, behaves like f on dom( f) \ dom(g), and like g on dom( f) n dom(g). These operators are widely used, especially within computer science, where for instance f[g] may denote the new state that results when in state f the updates given as g are applied. It is therefore surprising that thus far no axiomatization of these operators has been proposed in the literature. As an auxiliary operator we consider the minus operator: f g is the restriction of f to the domain dom( f) \ dom(g). The update operator can be defined in terms of override and minus. We present five equations that together constitute a sound and complete axiomatization of override and minus. As part of our completeness proof, we infer a large number of useful derived laws using the proof assistant Isabelle. With the help of the SMT solver Yices, we establish independence of the axioms. Thus, our axiomatization is also minimal. Finally, we establish that override and minus are functionally complete in the sense that any operation on general functions that corresponds to a valid coloring of a Venn diagram can be described using just these two operations.
The epidemiological burden of major psychiatric disorders

Psychiatric disorders, including common mental disorders, schizophrenia, and suicide, contribute substantially to the global burden of disease in terms of both morbidity and premature mortality, making them an important issue for public mental health. Epidemiological tools quantifying the burden of psychiatric disorders are important in furthering our understanding of psychiatric disorders and informing decision-making. In this chapter, we review major epidemiological studies from the past 30 years of psychiatric epidemiology to provide an overview of the burden of common mental disorders (depression and anxiety), psychotic disorders (schizophrenia and other psychotic disorders), and suicide. We also describe how the incidence and prevalence of these disorder vary by person and place, with a particular focus on the patterns of psychiatric disorders by ethnicity. Finally, we discuss the challenge of applying epidemiological evidence to public health, highlighting key issues facing public health professionals, researchers, and policymakers working in public mental health.