Miracle-dz/UniFAR-FTUs huggingface dataset:
DEEP COAL LONGWALL PANEL DESIGN FOR STRONG STRATA : THE INFLUENCE OF SOFTWARE CHOICE ON RESULTS

Software is often used to construct design models used in longwall panel design. These models necessarily reduce the abundant variability found in nature to a simplified representation that, ideally, captures the relevant character­ istics of ground response to mining. The choice of stress analysis software is an important step in the modeling process. The importance of this step can be easily over­ looked, yet assumptions inherent in modeling software can have a decisive influence. An appreciation of this step is important for both practitioners and users of design model results, particularly when decision-makers are integrating results into design decisions or evaluating the adequacy of design specifications. This paper examines four different stress analysis programs or tools for analyzing stress around a single longwall panel at 610 m (2,000 ft) depth beneath overburden containing some strong strata. The four tools are: an empirical model that underlies the Analysis of Longwall Pillar Stability (ALPS) program; the three-dimensional displacement-discontinuity program MULSIM/NL; the three-dimensional flexible overburden program LaModel, which has largely superseded MULSIM/NL; and the two-dimensional volume-element program FLAC. This study examines key aspects of panel simulation, including stress transfer through the gob, stress con­ centration in abutment ribs, and stress transfer distance into abutments. MULSIM/NL and FLAC results were the most similar. LaModel results varied greatly in terms of peak stress and stress transfer, while ALPS produced the least peak stress. This study also examines the transfer­ ability of calibrated input properties between MULSIM and LaModel. For instance, displacement-discontinuity codes have been replaced, at least in part, by LaModel, yet considerable experience exists in calibrated models with older tools. Whether and how this experience can be incor­ porated into analyses using other tools is a subject of some controversy and must be approached carefully. In all cases, selecting models and properties appropriate to site condi­ tions is extremely important. INTRODUCTION
Tov Self-Evaluations : The Role of Evaluation Apprehension and Directness of Expression Explaining East-West Differences in the Likelihood of Making Favorable

The authors contend that although people in both Eastern and Western cultures are motivated to make favorable self-evaluations, the actual likelihood of expressing favorable self-evaluations in a concrete situation depends on (a) the dominant self-presentation norms in the culture, (b) how salient the norm is in the immediate situation, and (c) the availability of normatively permissible means to make favorable self-evaluations. The authors tested this proposal in three studies. Study 1 showed that given the strong influence of the modesty norm in Eastern cultures, Chinese are more comfortable making favorable self-evaluations when evaluation apprehension pressure in the immediate situation is reduced. Furthermore, Studies 2 and 3 showed that Asian Americans and Chinese are more comfortable making favorable self-evaluations when they can do it indirectly by denying possession of negative traits than when they have to do it directly by claiming possession of positive traits. In contrast, among European Americans, given the relative weak influence of the modesty norm in their culture, they are equally comfortable with making favorable self-evaluations in public and private situations through affirmation of positive selfaspects and repudiation of negative self-aspects.
2 The Tonal Properties of Pitch-Class Sets : Tonal Implication , Tonal Ambiguity , and Tonalness

This paper explores three tonal properties of pitch-class sets. Tonal implication is the key that a set implies; tonal ambiguity is the degree to which a set implies one key as opposed to several; tonalness is the degree to which a set is characteristic of the language of common-practice tonal music. I propose a simple probabilistic framework for measuring these three properties. I then examine some applications of the theory, focusing on the measurement of tonal ambiguity and how this sheds light on some issues of compositional practice and tonal analysis. Tonal Theory for the Digital Age (Computing in Musicology 15, 2007), 24–38.
THE CURATIVE ROLE OF CURCUMIN AND FLAXSEED EXTRACTS IN MICE INOCULATED WITH EAC: BIOCHEMICAL AND HISTOLOGICAL STUDY

This investigation discussed the role of curcumin and flaxseed in defeating induced solid tumours with the subcutaneous inoculation of mice with Ehrlich Ascites Carcinoma (EAC) in a definite volume (3X10 cells). Once the tumours were formed, the mice were divided into four groups (control, tumour untreated, curcumin and flaxseed) groups. Each group contains six mice. By the end of experimentation (28 days) after tumour formation, mice were dissected and histological examination for liver and kidney were performed in all groups. Also, the levels of liver functions (ALT & AST), kidney functions (Urea & Creatinine), oxidant and antioxidant enzymes (MDA, SOD and CAT) were measured in all tested groups. This study could state that Curcumin and flaxseed modulated the histological structures of both liver and kidney close to normal patterns. Also, treatments could modified the elevated values of (ALT, AST, Urea, Creatinine and MDA) and decreased levels of (SOD and CAT) towards the normal values. Treatments with Curcumin and flaxseed also reduced the tumour volumes significantly.
INTEGRATION OF INFRASONIC MODELS WITH OCEAN WAVE SPECTRA AND ATMOSPHERIC SPECIFICATIONS TO PRODUCE GLOBAL ESTIMATES OF MICROBAROM SIGNAL LEVELS

Severe weather in the ocean generates infrasonic signals in the 0.1-0.5 Hz frequency band that can propagate for thousands of kilometers. The source generation mechanism for these microbarom signals is attributed to the nonlinear interaction of surface ocean waves, which are predicted to radiate acoustically only if the swells are almost opposite in direction and of a near identical frequency. We study the statistics of microbarom signals detected at International Monitoring System (IMS) station I59US, Hawaii, to identify features that may be used to assess array performance in the microbarom range. For selected storm systems, we use the global ocean wave estimates produced by National Oceanic and Atmospheric Administration’s (NOAA’s) Wavewatch 3 (WW3) to estimate the spatial and temporal distribution of the acoustic source spectra induced by nonlinear ocean wave interactions. We then use empirical amplitude scaling relationships to predict microbarom signal levels and peak frequencies. Results are presented with a view toward applications in storm and sea-state evolution and how these affect infrasonic detection thresholds in the microbarom frequency band. 25th Seismic Research Review Nuclear Explosion Monitoring: Building the Knowledge Base
Behavior of Brick Infilled Reinforced Concrete Frames Under Reversed Cyclic Loading F

Structural frames are often filled with masonry walls serving as partitions or as cladding. Although infills usually are not considered in the structural design, their influence on the behavior of the frame is considerable. Up until the infills cracks, the contribution of the infill to both lateral stiffness and strength is very significant. The infill also changes the dynamic characteristics of the frame. The change in lateral stiffness, strength and natural period of the frame structure due to the presence of infills change the behavior of the building under seismic action. The object of this study was to investigate the behavior of such infilled frames under seismic loads. For this purpose, six two story, one bay brick infilled frames were tested under reversed cyclic loading simulating seismic action. Furtheremore, six infill panels were tested to determine the infill characteristics. Effects of plaster and concrete quality on infilled frames behavior were the main parameters investigated. The behavior of the infilled frames was compared with the behavior of bare frames. Analytical works was done to understand the stiffness, strength and behavior of these types of frames. As a result of these studies, conclusions were drawn related to the behavior of these types of infilled reinforced concrete frames.
BioASQ 5 b – Query-based Summarisation Techniques for Selecting the Ideal Answers

Macquarie University’s contribution to the BioASQ challenge (Task 5b Phase B) focused on the use of query-based extractive summarisation techniques for the generation of the ideal answers. Four runs were submitted, with approaches ranging from a trivial system that selected the first n snippets, to the use of deep learning approaches under a regression framework. Our experiments and the ROUGE results of the five test batches of BioASQ indicate surprisingly good results for the trivial approach. Overall, most of our runs on the first three test batches achieved the best ROUGE-SU4 results in the challenge.
Adaptive sidelobe reduction applied to ultrasound imaging

Minimum variance beamforming has been recently attended in medical ultrasound imaging. In spite of its capabilities in suppressing interferences resulting in an enhanced resolution, its computational complexity is a serious restriction for its implementing. In this paper, we study the outcomes of applying a class of parametric windows, in which the parameters are adaptively determined. Furthermore, we develop a new parametric window with improved resolution. The method employs a single realization full array data to estimate the interfering signals, based on which, the parameters of a parametric window are calculated in a way to minimize the squared value of the output. The structure of the window along with the additional L 2 norm constraint, guarantee the desired signal i.e. the signal received from on-axis, is passed without degradation, while minimizing the interferences. The most important advantage of the method presented here is the complexity proportional to the number of array elements, which is like a delay and sum beamformer, as well as outperforming it in resolution and contrast. The method also indicates better contrast than minimum variance beamformer.
A ug 2 01 7 The Unfolding Semantics of Functional Programs

The idea of using unfolding as a way of computing a program semantics has been applied successfully to logic programs and has shown itself a powerful tool that provides concrete, implementable results, as its outcome is actually source code. Thus, it can be used for characterizing not-so-declarative constructs inmostly declarative languages, or for static analysis. However, unfolding-based semantics has not yet been applied to higher-order, lazy functional programs, perhaps because some functional features absent in logic programs make the correspondence between execution and unfolding not as straightforward. This work presents an unfolding semantics for higher-order, lazy functional programs and proves its adequacy with respect to a given operational semantics. Finally, we introduce some applications of our semantics.
Control for RDF : Experimental Results

One of the current barriers towards realizing the huge potential of Future Internet is the protection of sensitive information, i.e., the ability to selectively expose (or hide) information to (from) users depending on their access privileges. In this work we discuss the experiments conducted with our repository independent, portable across platforms system that supports fine-grained enforcement of RDF access control.
Growth indices and yield of wheat ( Triticum aestivum L . ) as influenced by irrigation scheduling and organic manures

A field experiment was conducted under loamy sand soil during two consecutive rabi seasons of 2014-15 and 2015-16 at S.K. N. College of Agriculture, Jobner, Rajasthan study to the effect of irrigation scheduling and organic manures on growth, yield and quality of wheat. The treatments consisted of five irrigation scheduling i.e. I1 (irrigation at critical stages), I2 (0.9 IW/CPE ratio), I3 (0.6 IW/CPE ratio at vegetative phase + 0.8 IW/CPE ratio at reproductive phase), I4 (0.6 IW/CPE ratio at vegetative phase + 1.0 IW/CPE ratio at reproductive phase) and I5 (0.8 IW/CPE ratio at vegetative phase + 1.0 IW/CPE ratio at reproductive phase) in main plots and four organic manures (control, FYM @ 15 t/ha, VC @ 6 t/ha and FYM @ 7.5 t + VC @ 3 t/ha) in sub plots were replicated four times in split plot design. The pooled data results showed that irrigation applied at 0.9 IW/CPE ratio (I2) recorded the maximum values of growth indices (matter accumulation per metre row length, leaf area index, leaf area duration, crop growth rate, relative growth rate and net assimilation rate) and yield (grain, straw, biological and HI) proved significantly superior over I1, I4 and I3 except treatment I5. Results further indicated that application of FYM at 7.5 t + VC at 3 t/ha (M3) recorded significantly higher growth indices (matter accumulation per metre row length, leaf area index, leaf area duration, crop growth rate, relative growth rate and net assimilation rate), yield (grain, straw, biological and HI) and being at par with M2 proved superior over rest of the treatments. Scheduling of irrigation to wheat either at 0.9 IW/CPE ratio throughout the growth or 0.8 IW/CPE ratio at vegetative phase + 1.0 IW/CPE ratio at reproductive phase brought about significantly higher growth indices and yield (grain, straw and biological). So far as saving of irrigation water is concerned, irrigating the crop with 0.8 IW/CPE ratio at vegetative phase + 1.0 IW/CPE ratio at reproductive phase was most effective as the above schedule besides producing almost equal yields also curtailed one irrigation with highest water use efficiency.
HANDLING STATE SPACE EXPLOSION IN COMPONENT-BASED SYSTEMS: A REVIEW

Component-based design is a diﬀerent way of constructing systems which offers numerous beneﬁts, in particular, decreasing the complexity of system design. However, deploying components into a system is a challenging and error-prone task. Model checking is one of the reliable methods that automatically and systematically analyses the correctness of a given system. Its brute-force check of the state space signiﬁcantly expands the level of conﬁdence in the system. Nevertheless, model checking is limited by a critical problem so-called Sate Space Explosion (SSE) . To beneﬁt from model checking, appropriate methods to reduce SSE, is required. In two last decades, a great number of methods to mitigate the state space explosion have been proposed which have many similarities, dissimilarities, and unclear concepts in some cases. This research, ﬁrstly, aims at present a review and brief discussion of the methods of handling SSE problem and classify them based on their similarities, principle and characteristics. Second, it investigates the meth-ods for handling SSE problem in verifying Component-based system (CBS) and provides insight into CBS veriﬁcation limitations that have not been addressed yet. The analysis in this research has revealed the patterns, speciﬁc features, and gaps in the state-of-the-art methods. In addition, we identiﬁed and discussed suitable methods to soften SSE problem in CBS and underlined the key challenges for future research eﬀorts.
Growth Regulators Affect the Growth and Biochemical Activity of Curcuma longa Plants Grown in vitro

This study aimed to evaluate the in vitro growth and biochemical activity of Curcuma longa explants using different MS medium formulations and growth regulators. In all the experiments, plants were grown in MS medium supplemented with agar (6.5 g L-1) and pH adjusted to 5.8. In the first assay, the MS culture medium at 70% strength, supplemented with 30 g L-1 of sucrose, and without the addition of activated carbon, resulted in the highest number of shoots. The sucrose concentration of 60 g L-1, combined with the addition of actived charcoalin half-strength MS medium, resulted in the increased root dry mass, root collar diameter, and relative chlorophyll index. In the second assay, the highest root collar diameter and dry matter of shoots and roots were found in the MS medium supplemented with 4.44 BAP, 0.46 KIN, and 1.08 NAA. The MS medium with 8.88 BAP, 0.92 KIN, and 2.16 μM NAA resulted in the highest number of shoots (7.75), number of leaves (35), and shoot length (88.57 mm). The antioxidant activity was significantly higher in the treatments that resulted in better plantlets growth performance, demonstrating that the antioxidant activity is related to other factors such as a possible role of growth regulators on the elicitation of compounds in plants. Superoxide dismutase had a high enzymatic activity in both assays, whereas the enzymatic activity of catalase and ascorbate peroxidase was dependent on the culture media used.
THE WEIGHTED MEDIAN TEST FOR FINITE POPULATION SAMPLES I. Introduction

Inference methods for medians estimated from a complex finite population sample (possibly stratified, clustered and unequally weighted) are not well developed. A method for constructing confidence intervals for medians from such samples was justified by Woodruff (1952) and is presented in Kish (1965, Section 12.9) and Hansen, Hurwitz and Madow (1953, Section 10.18 of Vol. I and Section 10.7 of Vol. I I). This method is quite general and can be applied to most any survey where the variance is estimable. While the approach can be used to test the difference between any two subgroup medians (see Kish, 1953), it does not directly apply to the analysis of more than two subgroups. On the other hand, the well known Brown and Mood (1951) median test (see Lindgren, 1968 or Conover, 1980) provides a method for testing the equality of the medians from several different subgroups but is not directly applicable to complex finite population samples. Mood (1954) showed that for normal shift alternatives, the asynptotic relative efficiency of the median test compared to the t-test is 2/%. This paper adapts the median test to complex finite population sample data.
A brief introduction to approximate groups

A finite subgroup of a group G is a finite subset stable under product. It is tempting to investigate what happens if we consider finite subsets that are almost stable under products. Are they close to genuine subgroups in some meaningful sense? Before answering this question, we need to make precise what we mean by “almost stable”. The subject of approximate groups first attempts to do just that, and then tackles the more general problem of classifying such objects. The formal definition of an approximate group given in Definition 1.2 below was introduced by T. Tao [2008] and was in part motivated by its use in the groundbreaking work of Bourgain and Gamburd [2008b] on superstrong approximation for Zariski dense subgroups of SL.2;Z/. However the origins of the concept can be traced much earlier and people have been studying approximate groups much before they were even defined. A significant part of additive number theory as it developed in the last fifty years, and in particular the study of sets of integers with small doubling (e.g., Freiman’s theorem; see Theorem 1.9 below), was precisely about understanding abelian approximate groups. Similarly the sum-product phenomenon (see Theorem 2.5), which played a key role in superstrong approximation especially in the early developments of the subject (e.g., in [Helfgott 2008]), is equivalent to classifying approximate subgroups of the affine group fx 7! axC bg. This article intends to give a brief introduction to this subject and present some of its recent developments. Worthwhile expository readings on the same topics include [Green 2009; 2012; Breuillard et al. 2013b; Pyber and Szabó 2014].
Enrichment of Phosphatidylethanolamine in Viral Replication Compartments via Co-opting the Endosomal Rab 5 Small GTPase by a Positive-Strand RNA Virus

Positive-strand RNA viruses build extensive membranous replication compartments to support replication and protect the virus from antiviral responses by the host. These viruses require host factors and various lipids to form viral replication complexes (VRCs). The VRCs built by Tomato bushy stunt virus (TBSV) are enriched with phosphatidylethanolamine (PE) through a previously unknown pathway. To unravel the mechanism of PE enrichment within the TBSV replication compartment, in this paper, the authors demonstrate that TBSV co-opts the guanosine triphosphate (GTP)-bound active form of the endosomal Rab5 small GTPase via direct interaction with the viral replication protein. Deletion of Rab5 orthologs in a yeast model host or expression of dominant negative mutants of plant Rab5 greatly decreases TBSV replication and prevents the redistribution of PE to the sites of viral replication. We also show that enrichment of PE in the viral replication compartment is assisted by actin filaments. Interestingly, the closely related Carnation Italian ringspot virus, which replicates on the boundary membrane of mitochondria, uses a similar strategy to the peroxisomal TBSV to hijack the Rab5-positive endosomes into the viral replication compartments. Altogether, usurping the GTP-Rab5–positive endosomes allows TBSV to build a PE-enriched viral replication compartment, which is needed to support peak-level replication. Thus, the Rab family of small GTPases includes critical host factors assisting VRC assembly and genesis of the viral replication compartment.
meaningful correlation between managers' emotional intelligence and staffs' organizational citizenship behavior and also between self-awareness skills, self-control, self-stimulation, social consciousness and managers' social skills and staffs' organizational citizenship behavior. [Soleyman Iranzade

The main goal of this research is to study managers' emotional intelligence and its role in improving organizational citizenship behavior of staffs in Eastern Azerbaijan State Water and Waste Water Company. This research is a descriptive one. The population under investigation includes managers and staffs of Eastern Azerbaijan State Water and Waste Water Company and since it involves two different groups, the organization managers are selected by consensus and the staffs group of each management was selected by using a simple random sampling. We used emotional intelligence test's normalized questionnaire of Shring (for managers) and organizational citizenship behavior questionnaire of Podsakoff et al (for staffs) to collect data. The results showed that there is a meaningful correlation between managers' emotional intelligence and staffs' organizational citizenship behavior and also between self-awareness skills, self-control, self-stimulation, social consciousness and managers' social skills and staffs' organizational citizenship behavior. [Soleyman Iranzadeh, Morteza Khodakhah Amlashi. Managers' emotional intelligence and its role in improving organizational citizenship behavior of staffs. (Case study: Eastern Azerbaijan State Water and Waste Water Company). Life Sci J 2012;9(2s):54-63] (ISSN:1097-8135). http://www.lifesciencesite. com. 10
SHOGUN - A Large Scale Machine Learning Toolbox

We have developed an R Interface for our Machine Learning Toolbox SHOGUN. It features algorithms to train hidden markov models and learn regression and 2-class classification problems. While the toolbox’s focus is on kernel methods such as Support Vector Machines, it also implements a number of linear methods like Linear Discriminant Analysis, Linear Programming Machines and Perceptrons. It provides a generic SVM object interfacing to seven dierent