Miracle-dz/UniFAR-FTUs huggingface dataset:
Relationship between Locus of Control and Adherence to Alcoholic Anonymous Meetings among Persons Recovering from Substance Abuse in Nairobi County , Kenya

One of the most familiar after care programs engaged in by persons recovering from substance abuse addiction to help sustain abstinence is the Alcoholics Anonymous (AA) programs. Nevertheless, rehabilitees need to adhere to them in order to help achieve long-term abstinence. Locus of control has been shown to be associated with adherence to treatment modalities but limited studies have done on adherence to substance abuse support groups especially Alcoholic Anonymous groups because of anonymity Principe. The study therefore focused on establishing the relationship between locus of control and adherence to alcoholic anonymous group meetings. Snow ball was used to identify contact persons and access groups. Total of 90 members assented to participate in the study. Despite the popular notion that members of alcoholic anonymous groups lean towards externality, the difference between those who leaned towards internal and external locus of control was minimal. A majority of 51.5 % respondents had high levels of external locus of control compared with 48.9% who scored more on external locus of control. A positive relationship was noted between moderate levels of internal locus of control and adherence, r (16) = . 548, p<0.05.
Polish Society of Nephrology position statement on the anaemia management in patients with chronic kidney disease

Adres do korespondencji: Prof. Andrzej Więcek Katedra i Klinika Nefrologii, Transplantologii i Chorób Wewnętrznych SUM, 40-027 Katowice ul. Francuska 20-24 e-mail: awiecek@sum.edu. pl Zespół ekspertów: Prof. dr hab. Andrzej Więcek1 (przewodniczący) Prof. dr hab. Alicja Dębska-Ślizień2 Prof. dr hab. Magdalena Durlik3 Prof. dr hab. Jolanta Małyszko4 Dr hab. Teresa Nieszporek1 Prof. dr hab. Michał Nowicki5 Prof. dr hab. Bolesław Rutkowski2 Prof. dr hab. Tomasz Stompór6
Hydropolitical drivers and policy challenges in the Okavango River basin

This book has attempted to capture a range of ideas from different specialist disciplines, the data appropriate to these disciplines, and current knowledge of the Okavango River basin. These may all be used to develop a baseline on which future institutional and policy-related developments can be structured. It can thus be considered as an audit of the current state-of-the-art multidisciplinary knowledge on management issues confronting the Permanent Okavango River Basin Water Commission (OKACOM). The book started off by proposing three hypotheses. These hypotheses were discussed in some detail, and it was suggested that they could help to interpret the contents of the book. It was also suggested that the hypotheses could be tested to a certain extent, and refined where relevant, by means of the empirical nature of the case study material provided in chapters 2 to 15. What remains to be done is to assess the three hypotheses against the information provided by the case studies, as a first attempt to develop a model that can identify the underlying hydropolitical drivers, and possibly explain (or even predict) the probable future outcome. This output will then be offered to the next phase of the process, which is to commence with a more detailed hydropolitical assessment of the Okavango River basin in order to inform the process of policy formulation by the three riparian states concerned.
The Dynamics of International Trade with Variable Marginal

This paper presents a dynamic Heckscher–Ohlin–Samuelson (H–O–S) model with variable marginal impatience (of preference) in a small country economy. In the case of the increasing marginal impatience, the steady state with incomplete specialization exhibits uniqueness and saddle-point stability. On the other hand, in the case of the decreasing marginal impatience, contrary to the closed one-sector economy, the steady state with incomplete specialization does not exhibit uniqueness and saddle-point stability. We derive the trade pattern properties in the steady state. JEL Classification: F43; F11; D91
Driving in the future : a study on automotive interaction without a steering wheel

The advent of autonomous cars promises to bring disruptive change to the world of driving. Already, concepts for future fully automated vehicles indicate a trend towards abandoning the steering wheel. Consequently, exploring future interaction models becomes increasingly important for the automotive domain. This dissertation aims to determine the most relevant user preferences, expectations, and concerns to consider when designing new interaction models for driving tasks in autonomous vehicles without traditional controls such as steering wheels. To do so, a mixed-methods research approach was taken. Participants completed a lane change task experiment in a simulated autonomous vehicle using self-generated commands, either unimodal (gestures or speech) or multimodal (gestures and speech). Self-reported measures of automation trust were also taken throughout the experiment by means of a 7-point Likert scale. Once finished with the experiment, participants then took part in a semi-structured interview probing their impression on the simulated experience, their preferences of modalities and steering commands, and their error recovery behaviour. Our findings indicate that most participants would be willing to try driving in a car lacking a steering wheel despite reporting limited trust and that they would prefer using gestures to direct the car. There was also strong agreement on what specific form commands should take and how errors should be handled. Finally, the implications of the results are discussed with relevance to research and automotive interaction design. Author
Performance Analysis of Error-Correcting Method Using Separation of Chaos for Noncoherent Chaos Communications

This paper analyzes the performance of the error-correcting method, which was proposed in the previous research, using the separation and the reconstruction of chaos for noncoherent chaos communications. Especially, we focus on a number of transmitting data and a combination of symbols (i.e., data pattern). We consider that the capability of the error correction depends on the number of data and the data pattern because the proposed method performs the error correction using successive data symbols. This study performs simulations for the number of data and the data pattern, and evaluates BER performance of the proposed method.
COX-2 rs 689466 polymorphism correlates with increased lung cancer risk

Background: The aim of this study was to assess, using comprehensive meta-analysis, if there was a significant association between polymorphisms in cyclooxygenase-2 (COX-2) gene and lung cancer risk. Methods: PubMed, MEDLINE, EMBASE, Web of Science, CBM, CNKI, WanFang, and CQVIP were searched for all eligible studies through July 2018. A total of 612 citations were retrieved. Odds ratios (OR) and corresponding 95% confidence intervals (CIs) were utilized to evaluate the strength of association between COX-2 gene polymorphisms and lung cancer risk. Meta-analysis, sensitivity analysis, Begg’s funnel plot, Egger’s linear regression, and subgroup analyses were carried out to clarify and validate pooled results. Results: A total of 8 studies met the inclusion criteria and were included in the meta analysis. This current systematic review indicated that COX-2 rs689466 polymorphism correlates with increased lung cancer risk in the allele model (A vs. G), dominant model (AA vs. GG/AG), and homozygous model (AA vs. GG). According to subgroup-analysis, the AA genotype of COX-2 gene rs689466 site increased lung cancer risk in Asian populations, population-based, and hospital-based. Conclusion: COX-2 rs689466 site may moderately increase the risk of lung cancer, especially in Asian populations, PB, and HB studies. In addition, AA homozygotes may contribute to early diagnosis and prevention, providing timely treatments. Results suggest that COX-2 rs689466 polymorphism may be a potential pathogenic factor in lung cancer.
Measurement Standard Etalons : A Design Process

Material measurement standard etalons are widely recognized as critical for accurate measurement in sciences and engineering. However, there are no measurement standard etalons in software engineering yet. The absence of such a concept in software measurement can have a negative impact on software engineers and managers when they use measurement results in decision-making. Software measurement standards etalons would help verify measurement results and they should be included in the design of every software measure proposed. Since the process for establishing standard etalons for software measures has not yet been investigated, this paper addresses this issue and proposes a seven-step design process using ISO 19761: COSMIC-FFP.
Pre-processing & Segmentation Techniques Used in Automated Skin Lesion Detection Systems

The bio-medical investigation from images through computational techniques is very common in these days. Automatic Lesion extraction from skin, is very important to aid the dermatologists in the diagnosis of cancer part from skin. Usually, some skin lesions are very subjective and small, there for not detected by the clinicians by visual examination or sometimes, the clinicians have some problems in their classification. This work presents a comparative study on different techniques to pre-process the lesion image to enhance its readability and the techniques that automatically segment skin lesions from images. Moreover, pros and cons of various methods are also focused to provide a help for the researchers starting work in automated lesion detection system.
Impulse control of stochastic Navier – Stokes equations

Optimal control theory of 2uid dynamics has numerous applications such as aero= hydrodynamic control, combustion control, Tokomak magnetic fusion as well as ocean and atmospheric prediction. During the past decade several fundamental advances have been made by a number of researchers as documented in Sritharan [21,22]. In this paper we develop a new direction to this subject, namely we mathematically formulate and resolve impulse and stopping time problems. Impulse control of Navier–Stokes equations has signi7cance beyond control theory. In fact, in optimal weather prediction the task of updating the initial data optimally at strategic times can be reformulated precisely as an impulse control problem for the primitive cloud equations (which consist of the Navier–Stokes equation coupled with temperature and species evolution equations, cf. [11]), see [1,9,15]. For the study of optimal stopping problem alone, it is possible to impose regularity assumptions on the stopping cost. However, in our case, optimal stopping problems are used as intermediate steps to treat the impulse control problem through an iteration process. This dictates that we must work with stopping costs which have only continuity property. Optimal stopping and impulse control problems are very well known, particularly for di;usion processes (e.g., see the books of Bensoussan and Lions [3,4]), for degenerate
THE COMPARISON OF EMOTIONAL SELF-REGULATION OF STUDENTS IN DIFFERENT PARENTING STYLES

This study aimed to compare the emotional self-regulation of students in different parenting styles. This was post-event research. Using multi-stage cluster sampling method, 300 middle and high school students in Qom in the range of 13 to 18 years old were selected as sample. The research tools included Mars`s emotional self-regulation strategies questionnaire and Baumrind`s parenting styles questionnaire. Using software SPSS, the data were analyzed by variance analysis, t-test, Pearson correlation, and regression. The results showed that there was a significant and positive relationship between permissive parenting style and emotional regulation of children. There was direct relationship between authoritative parenting style and emotional regulation of children. Also, there was an inverse relationship between authoritarian parenting style and emotional regulation of children. There was significant difference between emotional self-regulation strategies of students and different parenting styles. The results showed that there was a relationship between parenting styles and students’ emotional regulation. Therefore, it seemed a necessary that parents to be aware about the impact of their parenting styles on children's mental and emotional selfregulation.
Evidence-based verification

The ability of generating diagnostic information and performing other “post-verification” analyses is an important feature of verification tools. Traditionally these analyses rely on the proof computed during verification and hence are tightly geared to the infrastructures of these checkers. We present a framework for certifying verification results and efficiently generating diagnostic information in the domain of equivalence checking, preorder checking, and model checking of finite-state system. The central idea is to use a generic data structure called “abstract proof structure” (APS) to abstractly encode the proof structure by which a verification engine (checker) reaches its result. APS carries checker-independent evidence for justifying verification result and provides the basis for a variety of “post-verification” analyses. In this framework, APS serves as interface data structure between checkers and analysis routines. Checkers are enhanced with bookkeeping code to produce APSs as their results instead of simple “yes/no” answer. A wide range of existing checkers can be modified to produce APS without compromising their time and space complexities. We then show how APSs may be used to perform an array of “post-verification” analyses, including certification of verification result and generation of different forms of diagnostic information. An immediate usage of APS is to certify verification result by checking the internal consistency of APS submitted by checker. We provide efficient algorithms to preform such checking. The primary goal of this framework is to improve the efficiency and flexibility of diagnostic generation routines. We show that many diagnostic analyses can be preformed using APSs, including some traditional (e.g., counterexamples [7] in model checking and HML formulas [22] for bisimulation) and novel (e.g., vacuity detection [2]) diagnostic schema. We also show how winning strategies for property-checking games [43] can be built from APS. The analysis routines based on APS enjoy independence from checkers; hence they can be easily modified and migrated from one checker to another. In essence APSs help standardize the output of checkers, and analysis routines therefore can be created and executed independently, which has other interesting applications such as a client-server architectures for verification.
Online angular velocity estimated visual measurement for ping pong robot

Currently,the failure of precisely identifying and tracking the spin ball trajectory in ping pong robot's vision system leads to large errors in the predicting result.Aiming at the problem,an online nonlinear Kalman filter based visual measurement method was proposed to estimate the angular velocity.Aerodynamics theory was applied to analyze the forces acting on the spin ball.The motion equation and observation equation of the trajectory were constructed,and the nonlinear extended Kalman filter was integrated to estimate the motion states involving the angular velocity.Both simulation and actual experiments verified the effectiveness and correctness of the method.The prediction result outperformed other tracking methods.The method can also be employed in the high-speed motion tracking conditions.
Modelling Finite-State Machines in the Verification Environment using Software Design Patterns

Software design pattern is a software development technique representing a solution to a typical problem repeatedly found over a development cycle. This paper shows how State, Singleton, Mediator and Template method design patterns can be utilized to efficiently model Finite-State Machines in the Verification environment. The proposed implementation improves code readability and reusability on both active generation side and passive checking and coverage collection side. It also facilitates the maintainability, by localizing the changes upon the addition of ne w FSM states. Keywords—FSM, UVM, Design patterns
DETECTION OF MULTIPLE DIMENSIONALITIES IN TEXTUAL DATA

Dimensionality of large document collections is often detected from elbow points in eigenvalue scree plots extracted through latent semantic analysis. In the presence of multiple dimensionalities, as is frequently the case with textual data, the single change-point assumption may fail to produce accurate dimensionality estimates. In this study we propose a multiple dimensionality approach and provide a related estimation algorithm.
MARKETING PERFORMANCE MEASUREMENT IN FMCG PROPOSING AND TESTING A CONCEPTUAL MODEL

Recent years, the Marketing Science Institute considered marketing performance measurement (MPM) a priority in marketing research and managerial practice. Several contributions on the same topic have been proposed in literature. The ability to measure the marketing performance is considered, in literature, a cognitive gap that determined a decrease of marketing relevance within firm and organizations. On the basis of relevant literature on retailing and an explorative case study, it will be proposed a model to investigate MPM for a leading retailer. The model is aimed to identify antecedents of “share of purchase”, “share of wallet” and “share of visit” for a consumer goods retailer. The model will be tested on the leading chain Superò, a master franchisee of SMA Spa, under control of the French Auchan Group, located in Campania Region and owned of 27 small supermarkets.
EHES ! WORKING ! PAPERS ! IN ! ECONOMIC ! HISTORY ! ! | ! ! ! NO . ! 90 ! Spanish Land Reform in the 1930 s : Economic Necessity or Political Opportunism ?

Spanish land reform, involving the break-up of the large southern estates, was a central issue during the first decades of the twentieth century. This paper uses new provincial data on landless workers, land prices and agrarian wages to consider if government intervention was needed because of the failure of the free action of markets to redistribute land. Our evidence shows that the relative number of landless workers decreased significantly from 1860 to 1930 before the approval of the 1932 Land Reform. This was due to two interrelated market forces: the falling ratio between land prices and rural wages, which made land cheaper for landless workers to rent and buy land plots, and structural change that drained rural population from the countryside. Given that rural markets did not restrict access to land, the governmentinitiated land redistribution had no clear-cut economic justification. JEL classification: N54, N53, Q15.
Progress in the Study of Tropical Cyclone Structure and Intensity Changes

Current understanding of tropical cyclone (TC) structure and intensity changes has been reviewed in this article. Recent studies in this area tend to focus on two issues: 1) what factors determine the maximum potential intensity (MPI) that a TC can achieve given the thermodynamic state of the atmosphere and the ocean? and 2) what factors prevent the TCs from reaching their MPIs? Although the MPI theories appear mature, recent studies of the so-called superintensity pose a potential challenge. It is notable that the maximum intensities reached by real TCs in all ocean basins are generally lower than those inferred from the theoretical MPI, indicating that internal dynamics and external forcing from environmental flow prohibit the TC intensification most and limit the TC intensity. It remains to be seen whether such factors can be included in improved MPI approaches. Among many limiting factors, the unfavorable environmental conditions, especially the vertical shear-induced asymmetry in the inner core region and the cooling of sea surface due to the oceanic upwelling in the inner core region, have been postulated as the primary impediment to a TC reaching its MPI. However, recent studies show that the mesoscale processes, which create asymmetries in the TC core region, play key roles in TC structure and intensity changes. These include the inner and outer spiral rainbands, convectively coupled vortex Rossby waves, eyewall cycles, and embedded mesovortices in TC circulation. It is also through these inner core processes that the external environmental flow affects the TC structure and intensity changes. It is proposed that future research be focused on improving the understanding of how the eyewall processes respond to all external forcing and affect the TC structure and intensity changes. Rapid TC intensity changes (both strengthening and weakening) are believed to involve complex interactions between different scales and to be worthy of future research.
APPLICATION OF LOGIC PROGRAMMING TECHNIQUE ON MARITIME ACCIDENT ANALYSIS

Maritime accident is a serious problem. Such problems are difficult to solve and traditionally regulations are enforced to solve these problems. The principal idea behind applying regulations is to control the human decisions/actions so that the marine systems are designed and operated within the safety limits. Despite all sorts of efforts and technological developments, significant accidents are occurring and investigations suggest that accident problems mostly trigger from human decisions/actions. Hence, the authors view accident problem as logic problem and thereby, applies logic programming technique in accident analysis and prediction. In this paper the authors discuss some elementary aspects of the development of logic predicates for reasoning based on crew actions and perceptions. Recent real world accident cases are studied in order to develop the predicates. The study suggests that logic programming technique can be utilized for maritime accident prediction and various root causes of accidents can be analysed. Recommendations on future developments have been proposed and discussed briefly.
Safely and automatically updating in-network ACL configurations with intent language

In-network Access Control List (ACL) is an important technique in ensuring network-wide connectivity and security. As cloud-scale WANs today constantly evolve in size and complexity, in-network ACL rules are becoming increasingly more complex. This presents a great challenge to the updating process of ACL configurations: network operators are frequently required to update "tangled" ACL rules across thousands of devices to meet diverse business requirements, and even a single ACL misconfiguration may lead to network disruptions. Such increasing challenges call for an automated system to improve the efficiency and correctness of ACL updates. This paper presents Jinjing, a system that aids Alibaba's network operators in automatically and correctly updating ACL configurations in Alibaba's global WAN. Jinjing allows the operators to express in a declarative language, named LAI, their update intent (e.g., ACL migration and traffic control). Then, Jinjing automatically synthesizes ACL update plans that satisfy their intent. At the heart of Jinjing, we develop a set of novel verification and synthesis techniques to rigorously guarantee the correctness of update plans. In Alibaba, our operators have used Jinjing to efficiently update their ACLs and have thus prevented significant service downtime.