Miracle-dz/UniFAR-FTUs huggingface dataset:
ON THE FINITE DEFORMATIONS OF COMPOUND DROP DUE TO ELECTRIC FIELD

The finite deformations of compound drop containing another drop due to electric field are obtained. The fluids are homogenous, incompressible and Newtonian. The cases of concentric and eccentric particles are investigated together. The problem is investigated in quasisteady Stokes’ approximation and the initial form of the drops is spherical. The electric and hydrodynamic problems are separated and the electric one has influence on the hydrodynamic with the Maxwell’s stress tensor in the boundary conditions. The Maxwell’s equations are turned to Laplace’s equations and together with Stokes’ equations are solved with semianalytical-seminumerical method including boundary elements. The kinematic condition is used to obtain the new form to the particles. The results obtained show that due to electric field there are deformations of the inner and the outer drop. Parametrical analysis of the deformations of some dimensionless parameters of the problem is given graphically.
The Effect of Cognitive-Behavioral Marital Therapy (CBMT) on Marital Distresses among Married Couples in Ghana

Despite established limitations in Cognitive-Behavioral Marital Therapy (CBMT)in counseling clients with emotional instabilities, CBMT remains the most popular model of marital theyapy in Ghana. This quantitative study intended to ascertain the impact of Cognitive-Behavioral Marital Therapy (CBMT) on marital distresses among married couples in Ghana. The study followed a descriptive-correlational-experimental design. 50 participants selected by means of a proportionate stratified random sampling technique completed adapted versions of the Session Process and Outcome Measures-Client version (SPOM-C) and the Revised Dyadic Adjustment Scale (RDAS) questionnaires both before and after therapy. With the aid of the Predictive Analytics Software (PASW) 18 guide to Data Analysis, disparity mean values among the sample were analyzed. Data on the levels of marital distress were analyzed by descriptive frequencies. The paired t-test technique was used to analyze disparity mean values within the sample. Pearson correlation coefficient analyzed correlation between CBMT therapy outcome and the level of marital distress reported by participants. The study found that CBMT had a significant effect on participants who reported severe marital distress. This implies that CBMT is effective in treating clients who report severe marital distresses than those who report moderate or mild marital distresses in Ghana.
Utilisation of feed energy by growing ruminants

As the energy value of feeds for growing ruminants is generally calculated from the data obtained from adult sheep, the various factors which can alter the utilisation of feed energy are considered : effects of species, age, diet composition and feeding level on energy digestibility and metabolisability, methane and urinary energy losses ; effects of age, breed, diet composition and feeding level on partial efficiency of metabolisable energy (ME) for maintenance or tissue gain and on overall efficiency of ME for growth.
MECHANICAL HOST-PATHOGEN INTERACTIONS OF HEALTHCARE-ASSOCIATED INFECTIONS

iii Acknowledgments . iv Chapter 1: Introduction . 1 Chapter 2: Fluid flow actively induces colonization factor expression in Pseudomonas aeruginosa . 9 Introduction . 9 Results . 10 Discussion . 15 Materials and Methods . 20 Figures, Tables and Legends . 29 Chapter 3: Large-scale filament formation inhibits the activity of CTP synthase . 4
The Effect of Corrective Feedback on Iranian EFL Learners’ Writing Accuracy

The present study aimed to investigate the effect of corrective feedback on the accuracy of Iranian EFL learners’ writings. To do so, forty participants were selected from among the 70 learners who were learning English at Sanaie and Saba Language institutes in Malayer based on their performance on Oxford Placement Test. The forty sampled participants were randomly divided into two groups of twenty, one as the experimental group and the other as the control group of the study. The two groups took a test of writing as the pretest. The study lasted for one semester. In each session the teacher of each group assigned them a topic to be developed into an essay. The difference in the teaching phase was in giving the participants feedback. The experimental group were given feedback on their writing while the control group did not receive any type of feedback. After the writing sessions the two groups of the study received a test which served as the posttest of the study. The comparisons between the results of the posttest and pretest scores as well as those between the control and experimental groups showed a significant difference between the performance of the groups. It was concluded that corrective feedback significantly affects the writing ability of Iranian EFL learners.
Deontic Reasoning on the Basis of Consistency Considerations

Deontic conflicts pose an important challenge to deontic logicians. The standard account —standard deontic logic, SDL— is not apt for addressing this challenge since it trivializes conflicts. Two main stratagems for gaining conflict-tolerance have been proposed: to weaken SDL in various ways, and to contextualize the reign of SDL to consistent subsets of the premise set. The latter began with the work of van Fraassen and has been further developed by Horty. In this paper we characterize this second approach in general terms. We also study three basic ways to contextualize SDL and supplement each of these with a dynamic proof theory in the framework of adaptive logics.
Cutting Down the TPTP Language (And Others)

Computer languages are likely to grow over time as they get more complex when their functionality is extended. An example of that is the TPTP language for automated theorem proving. Over time various forms of classical logics ranging from Clause Normal Form (CNF) to Typed Higher-order Form (THF) have been added, and that extended the TPTP language. This paper describes Synplifier , a tool that automatically extracts sub-languages from the TPTP language. Automatic extraction instead of manually maintaining sub-languages has the advantage of avoiding maintenance overhead as well as unnoticed divergences from the full language. Sub-languages of interest are for example CNF and First-order Form (FOF), and are extracted based on the user’s selection. Synplifier has been successfully tested by extracting CNF from the TPTP language.
SKWN: Smart and dynamic key management scheme for wireless sensor networks

In the era of the Internet of Things (IoT), we are witnessing to an unprecedented data production because of the massive deployment of wireless sensor networks (WSNs). Typically, a network of several hundred sensors is created to ensure the interactions between the cyber world and the physical world. Unfortunately, the intensive use of this kind of networks has raised several security issues. Indeed, many WSN‐based applications require secure communication in order to protect collected data. This security is generally ensured by encryption of communication between sensors, which requires the establishment of many cryptographic keys. Managing these keys, within a protocol, is an important task that guarantees the effectiveness of the security mechanism. The protocol should be intelligently adaptable not only to intrusion events but also to the security level needed by some applications. An efficient protocol optimizes also sensors energy and consequently increases the network life cycle. In this paper, we propose, a smart and dynamic key management scheme for hierarchical wireless sensor networks (SKWN). Our protocol offers three subschemes to deal with key establishment, key renewal, and new node integration. Regarding existing schemes, SKWN does not only provide reliable security mechanisms, but it also optimizes energy consumption and overheads related to the communication and memory usage. Furthermore, our approach relies on a machine learning approach to monitor the state of the network and decide the appropriate security level. We provide a formal approach and its implementation, together with simulations allowing to compare resources usage with respect to existing approaches.
R&D Spending and Stock Returns: Evidence from South Korea

This study examined how research and development (R&D) spending affects stock returns. Three strands of research make different predictions about how R&D affects stock prices. The agency theory, presented by Jensen (1986) argues that managers do not make a corporate decision on behalf of shareholders and rather pursue their personal benefits by undertaking value-reducing projects such as R&Ds. The overconfidence theory suggests that overconfident managers tend to invest more in R&D because they overvalue their ability and they are excessively optimistic about future success of the R&D investment. These two theories predict that firms that invest more in R&D earn lower returns than those that invest less. In contrast, the signaling theory predicts that high-quality firms use R&D spending as a means of communicating with the stock market to mitigate information asymmetry problem, resulting in higher returns of the firms. Using data from Korean firms listed from January 1992 to December 2015 we showed that portfolios that invested heavily in R&D earn consistently high abnormal returns and that, consequently, spending on R&D is an effective explanatory factor for stock returns. We also found that the impact R&D expenditures has on stock value was long-term, as well as short-term. Overall, these results are consistent with the signaling theory in that R&D spending is an important channel through which firms improve their values by communicating with the stock market.
CREDIT CARD FRAUDS DETECTION USING IRIS BIOMETRICS TECHNIQUE

A new architecture based on Iris Biometric Technique is a very recent concept and it is very useful for decrease Credit Card Frauds over Internet. This technique is use for the security purpose. The non-intrusive property of iris recognition leads to several problems to the images of natural-open eyes and it is hard to increase the accuracy of iris recognition because of these problems. In order to ensure the non-intrusive property as well as achieve an iris recognition which has high accuracy simultaneously, this paper presents a novel iris recognition method based on the natural-open eyes. Firstly, makes pre-process to iris image, ensures the effective iris area adaptively. Secondly, finds all iris feature points by directional information, length information, and width information of texture, the neighboring gray information and relativity in the effective iris area. Thirdly, makes codes to feature points and figures the iris pattern by iris codes. Finally, sorts the different iris patterns by auto accommodated pattern matching method and gives the recognition results. Many experiments show the recognition rates of this method can reach 99.687% that can meet the demand of iris recognition. As compare to other methods proposed mostly this method is used for iris recognition.
A Novel Approach for Travel Package Recommendation using Probabilistic Matrix Factorization

— Recent years have witnessed an increased interest on recommendation system. Classification techniques are supervised that has classified data item into predefined class. An existing system unsupervised constraints are automatically derived from two hidden Tourist area season topic (TAST) for tourist in travel group. It used to an alternating TRAST model are unique characteristic for the travel data and cocktail.
Performance of isotropic constitutive laws in simulating failure mechanisms in scaled RC beams

Results of numerical calculations of reinforced concrete (RC) beams are presented. Based on experimental results on longitudinally reinforced specimens of different sizes and shapes are investigated. Four different continuum constitutive laws with isotropic softening are used: one defined within continuum damage mechanics, an elasto-plastic with the Rankine criterion in tension and the Drucker–Prager criterion in compression, a formulation coupling elasto-plasticity and damage mechanics and the concrete damaged plasticity (CDP) model implemented in Abaqus. In a softening regime, a non-local theory of integral format is applied to the first three constitutive laws. A fracture energy approach is utilised in CDP model. An ability to reproduce different failure mechanisms observed in experiments for each constitutive model is analysed. A comparison of force-displacement curves and crack patterns between numerical and experimental outcomes is performed.
Explicit and implicit attitudes toward heights: relationship with acrophobic symptoms and sensitivity to cognitive-behavioral treatment. A preliminary report

This study aimed to test whether implicit and explicit attitudes toward heights differ between individuals with low and high fear of heights, and whether the implicit and explicit attitudes toward heights are sensitive to a one session cognitive-behavioral treatment (CBT) in the second group. In addition, we also explored the relationships between implicit and explicit attitudes, as well as the effect of retesting on implicit attitudes. Both explicit and implicit attitudes toward heights were assessed in individuals with low (n = 49) and high levels of fear of heights (n = 83) prior to treatment, and reassessed in the second group after one session of CBT intervention in virtual reality. Results show that there are differences in both implicit (F(1, 96) = 25.155, p < . 005, partial η = . 208) and explicit attitudes (F(1, 96) = 90.970, p < . 001, partial η = . 487 for cognitive evaluation; F(1, 96) = 69.542, p < . 001, partial η = . 420 for dangerousness) between fearful and non-fearful individuals. As expected, implicit (t(48) = 3.712, p = . 001) and explicit attitudes (t(56) = 4.071, p < . 001 for dangerousness; t(57) = 5.002, p < . 001 for cognitive evaluation) favorably changed following treatment, with medium effect sizes. These findings suggest that both explicit and implicit attitudes are cognitive factors related to acrophobic symptoms and might play a role as mechanisms in the cognitive-behavioral treatment of heights related fear.
HYDROLOGICAL MODEL FOR RETRIEVING SUBSIDENCE VELOCITY FROM GPS DATA: APPLICATION TO PO DELTA AREA

HYDROLOGICAL MODEL FOR RETRIEVING SUBSIDENCE VELOCITY FROM GPS DATA: APPLICATION TO PO DELTA AREA E. Vitagliano1, R. Di Maio1, E. Piegari1, U. Riccardi1, J.P. Boy2, M. Fabris3, V. Achilli3 1 Dipartimento di Scienze della Terra, dell’Ambiente e delle Risorse, Università di Napoli Federico II, Napoli, Italy 2 EOST-IPGS Université de Strasbourg, Strasbourg, France 3 Dipartimento di Ingegneria Civile, Edile ed Ambientale, Università di Padova, Padova, Italy
STRIVING TO VALIDATE COMPETENCE VERSUS STRIVING TO ATTAIN NORMATIVE SUPERIORITY

Students encounter many obstacles during learning. When difficulties arise, some display willingness to overcome them with sustained effort and persistence, while others despair and give up prematurely. These differences in student responses and degrees of psychological well-being toward impediments cannot be attributed entirely to differences in student ability. Two students with similar ability and achievement history often demonstrate vastly different reactions to the same challenges and potential failures. Why do such differences exist? In this chapter, we focus on two underlying purposes with AU: To indicate corrections to these proofs, please use Adobe Acrobat 10.0 or lower (a full version is required, Acrobat Reader alone will not work). Under the Tools tab, select Comment and Markup, use the STICKY NOTE feature to indicate a correction or change you require. Please DO NOT directly edit the pdf. If you do not have Adobe Acrobat, please print out the proofs, make all corrections (please make them legible), and send us a hard copy of the corrected chapters. DO NOT copy or save the files to Word and try and send us corrections, they will not be accepted.
Causal Inference for Theory Building in Software Evolution

Most academic disciplines have a strong focus on theories. In software engineering and software evolution however, there is a distinct lack. We propose a new methodology to construct and validate theories of software evolution. This methodology utilises causal inference to deﬁne and test causal relations. We explore this iterative methodology by exercising it and reﬂect on the utility
Technostress and Personality Traits – Are they Associated? – Evidence from Indian Bankers

The technology usage which mostly results in technostress varies from person to person. This explains the importance of personality traits which leads to different capabilities of coping up with strain experienced by extensive technology use. The change in the technology used at workplace is inevitable; therefore it is necessary to train bank employees on the basis of their customized needs. For this, study of personality is required to be assessed, so that the resistance towards the technology change can be minimized. The results are based on both primary and secondary mode of research study. Six hundred respondents were interviewed through questionnaire from various public, private, SBI & Associates and foreign sector banks in Punjab and Haryana.The present study is conducted on the basis of the NEO-PIR scale given by Paul T. Costa and Robert and the relation of personality traits like neuroticism, extroversion, conscientiousness, agreeableness and openness etc. with strain experienced by bank employees of commercial banks were analysed. It is need of the hour to take behavioural aspects of human force working rather than only taking into consideration of aspects regarding financial and technological advancements.
Survey on Hybrid Approach for Fraud Detection in Health Insurance

: Any act committed with the intent to obtain a fraudulent outcome from an insurance process is referred as Insurance fraud. When a claimant attempts to obtain some benefit or advantage to which they are not entitled then that attempt is considered as insurance fraud. Since last decades, Fraud and abuse on medical claims became a major concern for health insurance companies. Data mining techniques are applied to detect and avoid such frauds. This includes analysis of the characteristics of health care insurance data, some preliminary knowledge of health care system and its fraudulent behaviors. This paper surveys various Data mining techniques applied to various applications. Data mining technique is divided into supervised and unsupervised learning techniques to detect fraudulent claims. But, each of the above techniques has its own set of advantages and disadvantages, So a novel hybrid approach for detecting fraudulent claims in health insurance industry is need to be proposed, by combining the advantages of both the techniques.
Cholesterol Profile and Gut Microbial Population of Laying Hens Treated with L-Dopa Supplemented Diets

In a 42-day feeding trial, the effect of L-Dopa on the performance, serum cholesterol and intestinal microbial load in laying hens were investigated. One hundred and twenty layers aged 34 weeks old were allocated to five dietary treatments with eight replicates and three birds per each replicate. The birds were fed diets supplemented with graded levels of L-Dopa (0, 0.1, 0.2, 0.3 and 0.4%) in a completely randomized design. Performance parameters were monitored. On the day 42, egg, meat and blood samples were obtained to determine total cholesterol and lipoproteins using standard procedures. The ileal digesta was collected for microbial analysis. The results indicated that inclusion of L-Dopa in the diet did not affect the performance parameters and egg cholesterol profile. Serum cholesterol levels of birds fed the control diet and those on 0.1% and 0.2% L-Dopa supplemented diets were similar, but significantly higher than those fed 0.3% and 0.4% L-Dopa. The levels of cholesterol and low-density lipoproteins in the meat of the layers fed on the control diet were significantly higher than those on 0.1% and 0.3% L-Dopa, but were similar to the birds on other treatment diets. The highest and the lowest population of Escherichia coli were found in the birds on the control diet and 0.3% L-Dopa supplemented diet, respectively. The layer hens on L-Dopa supplemented diets had a significantly higher Lactobacillus count than those on the control diet. In conclusion, 0.3% L-Dopa inclusion considerably improved the cholesterol profile in the blood and meat, reduced the population of E. coli, and effectively increased the population of Lactobacillus in the laying hens.
The effect of ethnic diversity on social capital in Amsterdam neighbourhoods

This study examines, through various regression analyses, the effect of ethnic diversity on bonding and bridging social capital in Amsterdam neighbourhoods. Bonding as well as bridging social capital are measured on the collective, neighbourhood level rather than on the individual level. Bonding social capital is measured as the number of foundations in neighbourhoods, whereas bridging social capital measured as the number of leisure organizations in neighbourhoods. In addition, the study attempts to uncover the mechanisms underlying the relationship between ethnic diversity and bridging social capital through an in-depth qualitative investigation of bridging social capital organizations, namely leisure organizations. The results show that, while ethnic diversity has no significant effect on bonding social capital, ethnic diversity has a significant negative effect on bridging social capital in Amsterdam neighbourhoods. Bridging social capital seems to be harder to establish and maintain in ethnically diverse neighbourhoods, because of a lack of interpersonal trust between residents from different ethnic groups, and more importantly because of a difference in organizational interests and needs between different ethnic groups. Introduction As a consequence of a broader process of welfare state reforms led by the need and desire to cut back government spending, the Dutch government started to withdraw its responsibility for social services in the last couple of years. Nowadays the government increasingly expects from Dutch individuals that they actively devote themselves to not only their own well-being, but also to the well-being of the whole community (Newman & Tonkens, 2011). Dutch citizens are supposed to take up the responsibility for the liveability in their own environment by organizing collectively. The government should, on the other hand, confine itself to its main tasks: concern for the public good, education, safety and public order. In a 2011 memorandum on integration, cohesion and citizenship, the Ministry for Social Services and Employment argues that the government should put more trust in and shift more responsibilities to involved citizens. In the same memorandum, the Ministry contends that Dutch citizens are already actively involved in dealing with social issues and tackling problems in their direct environment. Many people are said to be socially active in neighbourhood associations and foundations. The Ministry emphasizes that neighbourhood 1 governmental memo on integration, cohesion and citizenship (2011), http://www.rijksoverheid. nl/documenten-enpublicaties/notas/2011/06/16/integratienota.html, last viewed on 15-05-2013