Miracle-dz/UniFAR-FTUs huggingface dataset:
Tight Galois connections and complete distributivity

and discusses its relations with the property of complete distributivity in complete lattices. A procedure for constructing Galois connections between complete lattices is presented. The Galois connections constructed by this procedure are called tight Galois connections, and are characterized as those which satisfy certain identities. All closure operations on complete lattices are obtainable from tight Galois connections. If either of the complete lattices involved in a Galois connection is completely distributive, then the Galois connection is tight. Consequently, all Galois connections constructed by the known procedure of Birkhoff are tight. The identity mapping from a complete lattice to its dual lattice always determines a Galois connection; this Galois connection is tight if and only if the complete lattice is completely distributive. This last observation leads to a characterization of completely distributive complete lattices solely in terms of the partial ordering on them. It also provides new insight into the structure of these lattices, and enables us to prove a representation theorem which is considerably more economical than the one previously known. 2. Definitions and notations. If F is a family of subsets of a set, the intersection of F is denoted by HF, and the union of F is denoted by EF. If L is a complete lattice, then every subset K of L has a meet, which is denoted by nK, and a join, which is denoted by UK.
DEFENDING MECHANISM TO SECURENODES FROM INTERNAL ATTACK IN WSN

Wireless sensor networks have gained considerable attention in the past few years. They have found application domains in battlefield communication, homeland security, pollution sensing, and traffic monitoring. However, security threats to WSNs become increasingly varied, due to the open nature of the wireless medium an adversary can easily eavesdrop and replay or inject fabricated messages. Various cryptographic methods are used to defend against some of such attacks but very limited. For example, node compromise is another major problem of WSN security as it allows an adversary to enter inside the security perimeter of the network, which raised a serious challenge for WSNs. This paper focuses on a systematic investigation of internal attacks of wireless sensor networks, and novel framework for the security under some fixed parameters designed by the network designer, and also a reasonable model to predict the time when the highest signal noise ratio (S/N) transmitting to the sinker. "Timing control" method is to be used for protecting internal attacks in SWNs. Therefore a sinker only opens at a special time period; other time is in sleeping state and ignores any coming signals such that it can protect the network from the internal attacks within the sleeping time period. Sending rate is manipulated to control the time when the highest S/N is occurring to protect from "internal attacks. "
Modern fishing technology and profitability in a second best situation

This paper formulates a simple biomass growth model of a fishery. In this model, fish are exploited in a restricted open-access regime where a fixed number of harvesters exploit the fish stock in a myopic profit-maximizing manner. It is demonstrated that more modern fishing technology has a two-sided profitability effect, where the direct, short-run, positive effect is counterbalanced by a negative, long-run, indirect effect that slows population growth. In the steady state, it is shown that more modern technology dissipates the rent under already high exploitation pressure, while the opposite occurs if the fish stock is initially little, or moderately, exploited.
Comparative Study of Time-Frequency Decomposition Techniques for Fault Detection in Induction Motors Using Vibration Analysis during Startup Transient

Induction motors are critical components for most industries and the condition monitoring has become necessary to detect faults. There are several techniques for fault diagnosis of induction motors and analyzing the startup transient vibration signals is not as widely used as other techniques like motor current signature analysis. Vibration analysis gives a fault diagnosis focused on the location of spectral components associated with faults. Therefore, this paper presents a comparative study of different time-frequency analysis methodologies that can be used for detecting faults in induction motors analyzing vibration signals during the startup transient. The studied methodologies are the time-frequency distribution of Gabor (TFDG), the time-frequency Morlet scalogram (TFMS), multiple signal classification (MUSIC), and fast Fourier transform (FFT). The analyzed vibration signals are one broken rotor bar, two broken bars, unbalance, and bearing defects. The obtained results have shown the feasibility of detecting faults in induction motors using the time-frequency spectral analysis applied to vibration signals, and the proposed methodology is applicable when it does not have current signals and only has vibration signals. Also, the methodology has applications in motors that are not fed directly to the supply line, in such cases the analysis of current signals is not recommended due to poor current signal quality.
A Novel Fractional-Order PID Controller for Integrated Pressurized Water Reactor Based on Wavelet Kernel Neural Network Algorithm

This paper presents a novel wavelet kernel neural network (WKNN) with wavelet kernel function. It is applicable in online learning with adaptive parameters and is applied on parameters tuning of fractional-order PID (FOPID) controller, which could handle time delay problem of the complex control system. Combining the wavelet function and the kernel function, the wavelet kernel function is adopted and validated the availability for neural network. Compared to the conservative wavelet neural network, the most innovative character of the WKNN is its rapid convergence and high precision in parameters updating process. Furthermore, the integrated pressurized water reactor (IPWR) system is established by RELAP5, and a novel control strategy combining WKNN and fuzzy logic rule is proposed for shortening controlling time and utilizing the experiential knowledge sufficiently. Finally, experiment results verify that the control strategy and controller proposed have the practicability and reliability in actual complicated system.
The use of formal aesthetic principles as a tool for design conceptualisation and detailing

The practice and teaching of form-giving typically takes the starting point in enhancing the intuitive and explorative approach of form giving rather than employing available structured methods for generating form. In this paper, formal aesthetic principles are evaluated based on their potential to be applied in a generative manner. Literature studies have revealed 6 design principles, which are relevant for form development in a selection of design fields. These design principles were classified according to their connectivity with mathematical and nonmathematical theories. Although the Fibonacci sequence, Golden Ratio and Gestalt theories are most relevant for analysing and developing a balanced form, there is no evidence that these design principles were used as a guideline for designing new products or that they have been mostly applied for retrospectively analysing existing 2-D and 3-D products forms. With the potential of proactively using design principles for form studies in the conceptualization and refinement stages of the design process, design practitioners could utilise design principle templates to experiment with and determine balanced proportions as part of the design conceptualization work, prior to making design decisions mainly based on technical functionality, manufacturability and usability. This presupposes that these design principles can be used as a tool for analysing, generating and organizing new forms, which fit the working practice of the designer. However there is a risk that an overemphasis and overreliance on geometric principles may restrict serendipitous creativity in form giving.
A Study of Wearable Bio-Sensor Technologies and Applications in Healthcare

In today’s world the rapid advancements in Micro-Electromechanical Systems (MEMS) and Nano technology have improved almost all the aspects of daily life routine with the help of different smart devices such as smart phones, compact electronic devices etc. The prime example of these emerging developments is the development of wireless sensors for healthcare procedures. One kind of these sensors is wearable bio-sensors. In this paper, the technologies of two types of bio-sensors (ECG, EMG) are investigated and also compared with traditional ECG, EMG equipment. We have taken SHIMMERTM wireless sensor platform as an example of wearable biosensors technology. We have investigated the systems developed for A. Mehmood et al. A Study of Wearable Bio-Sensor Technologies and Applications in Healthcare (pp.67 77) SJCMS | P-ISSN: 2520-0755 | Vol. 1 | No. 1 | © 2017 Sukkur IBA 68 analysis techniques with SHIMMERTM ECG and EMG wearable bio-sensors and these biosensors are used in continuous remote monitoring. For example, applications in continuous health monitoring of elderly people, critical chronic patients and Fitness & Fatigue observations. Nevertheless, early fall detection in older adults and weak patients, treatment efficacy assessment. This study not only provides the basic concepts of wearable wireless bio-sensors networks (WBSN), but also provides basic knowledge of different sensor platforms available for patient’s remote monitoring. Also various healthcare applications by using bio-sensors are discussed and in last comparison with traditional ECG and EMG is presented.
Foreign Direct Investment and Economic Growth in Nigeria: Evidence from Bounds testing and ARDL Models*

This study investigated the relationship between foreign direct investment (FDI) and economic growth in Nigeria. Bounds testing approach and Autoregressive Distributed Lags (ARDL) model were used in model estimation for the period covering 1981- 2013. Results overwhelmingly show evidence that a long run (cointegrating) relationship exists between FDI and economic growth. Our error correction model was negative and statistically significant and had an error correction of approximately %43. In the short run, FDI has a small positive but insignificant effect on growth while in the long run, it has a small negative and insignificant effect. The study also examined the effect of international trade and government’s macroeconomic policies on the model and found that while economic policy had no significant effect, international trade had a strong impact on growth. Based on its findings, the study called for a review of our national policy on education to emphasize practical vocational and entrepreneurial skills in order to enhance the productivity of human resources. It also recommended that economic policy be used as a tool to diversify FDI away from the oil sector to the agricultural and manufacturing sectors where there is high potential for job creation and where growth would more easily translate to development. Keywords: Cointegration, Economic Growth, Error Correction Model, Foreign Direct Investment. JEL classification: E22, F21.
Effective stellar β -decay rates of nuclei with long-lived isomers: Al 26 and Cl 34

Isotopes with low-lying long-lived isomers can behave very differently from other isotopes in astrophysical environments. In particular, the assumption of thermal equilibrium in computing the temperature-dependent $\ensuremath{\beta}$-decay rates of such isotopes can fail below certain temperatures. We focus on the $\ensuremath{\beta}$ decay of $^{26}\mathrm{Al}$ since it is one of the most important isotopes in observational astrophysics and has a low-lying isomeric state; we compare and contrast these results with $^{34}\mathrm{Cl}$. We rule out recently reported $^{26}\mathrm{Al}$ effective $\ensuremath{\beta}$-decay rates that showed large differences from previous calculations, finding that we agree with the earlier results. We conclude that in general, effective $\ensuremath{\beta}$-decay rates should be defined separately for the ground and isomeric states at temperatures where thermal equilibrium cannot be achieved.
Churn prediction based on text mining and CRM data analysis

Within quantitative marketing, churn prediction on a single customer level has become a major issue. An extensive body of literature shows that, today, churn prediction is mainly based on structured CRM data. However, in the past years, more and more digitized customer text data has become available, originating from emails, surveys or scripts of phone calls. To date, this data source remains vastly untapped for churn prediction, and corresponding methods are rarely described in literature. Filling this gap, we present a method for estimating churn probabilities directly from text data, by adopting classical text mining methods and combining them with state-of-the-art statistical prediction modelling. We transform every customer text document into a vector in a high-dimensional word space, after applying text mining pre-processing steps such as removal of stop words, stemming and word selection. The churn probability is then estimated by statistical modelling, using random forest models. We applied these methods to customer text data of a major Swiss telecommunication provider, with data originating from transcripts of phone calls between customers and call-centre agents. In addition to the analysis of the text data, a similar churn prediction was performed for the same customers, based on structured CRM data. This second approach serves as a benchmark for the text data churn prediction, and is performed by using random forest on the structured CRM data which contains more
Improved function and geriatric depression scale profile in outpatients with parkinson’s disease through the participation in Lee Silverman Voice Therapy BIG® program

The role of exercise in the treatment of Parkinson’s Disease (PD) has become increasingly important in recent years [1-5]. Individuals with PD who exercise gained or maintained function and mobility [4-7], improved cognitive functioning [8], exhibited lower risk for falls [9,10], and improved quality of life [1,11,12]. They also required less assistance from caregivers and had slower rates of cognitive decline than those who exercised less frequently or did not exercise in a 1-year follow-up study [3]. In addition to medication, exercise is now viewed as a primary option in the early stages of PD to potentially slow progression [3]. Programs targeting the major impairments experienced by individuals with Parkinson’s Disease have included general exercise training in the form of treadmill training, Tai Chi, and strength training, among others.These appear to have neuroprotective effects [13]. Lee Silverman Voice Therapy® (LSVT) has been developed to specifically target the bradykinesia and hypokinesia associated with PD [14]. Named for a benefactor with PD, Lee Silverman Voice Therapy – Loud® was the first to demonstrate positive effects of improved healthy vocal loudness and sensory perception of the vocal effort [15].
Mean exit time from convex hypersurfaces

L. Karp and M. Pinsky proved that, for small radius R, the mean exit time function ER of an extrinsic R-ball in a hypersurface Pn-l C iR is bounded from below by the corresponding function ER defined on an extrinsic R-ball in RW-. A counterexample given by C. Mueller proves that this inequality doesn't holds in the large. In this paper we show that, if P is convex, then the inequality holds for all radii. Moreover, we characterize the equality and show that analogous results are true in the sphere.
Motivations of Turkish Pre-service Teachers to Choose Teaching as a Career

This study was conducted to investigate the motivations of 974 Turkish pre-service teachers for choosing teaching as a career and to examine their perceptions about the teaching profession. Correlations, t test, ANCOVAs and MANCOVAs were used to explore the relationships among participants’ motivations and perceptions, and to make comparisons according to different characteristics such as gender, different specialism, number of times participants had entered the university entrance examination, and rank of their preference of teaching as a profession. The results showed that the social and personal utility value and prior teaching and learning experiences were the highly rated motivation factors. The findings also revealed how the general image of teaching as a career held in the social-cultural context of Turkish society shaped participants’ motivations and perceptions.
Oscillatory effects and the magnetic susceptibility of carriers in inversion layers

Oscillatory effects in a strong magnetic field B and magnetic susceptibility are investigated, as applied to 2D systems, in which the twofold spin degeneracy is lifted by the spin-orbit-interaction Hamiltonian HSO= alpha ( sigma *k). nu . The term HSO is shown to change greatly the usual patterns of B-1-periodic oscillations; some oscillations are strongly suppressed due to the diminishing of the gaps between adjacent levels, and new oscillations appear due to intersections of levels.
Economic experiments as a tool for agricultural policy evaluation: insights from the European CAP

This article assesses the potential contribution of economic experiments to evidence-based policy making in the field of agriculture, with a special focus on the EU's Common Agricultural Policy (CAP). CAP evaluation mostly relies on standard tools such as farm and market simulation models, calibrated with EU-wide statistical data; statistical and econometric analysis of survey data; and a range of qualitative methods such as interviews with stakeholders, focus group or internet-based public consultation. Yet, the CAP has changed considerably over the past decades, requiring adaptations of its evaluation toolbox. A detailed review of existing studies using economic experiments for designing and evaluating agricultural policies provides the backbone for a comprehensive assessment of the complementarity of experimental approaches with standard evaluation tools. The article further provides recommendations aiming at facilitating inclusion of economic experiments into the CAP evaluation toolbox based on conclusions drawn from a workshop organized with experts, academics, and policy makers of Directorate-General for Agriculture and Rural Development of the European Commission.
Digital reading strategies in computer english

This paper focuses on the use of web-based discourse by three Spanish undergraduate students in Computer Engineering. Key lexico-grammatical features in Computer English have been analysed by means of corpus linguistics techniques, for which word statistics and collocation functions in the WordSmith concordancer have been highly useful. The information was then used to compare the students' results. The students' reading skills have been evaluated in the documentation process of the three final projects, required prior to their graduation as engineers. Overall observations point to code-switching, re-wording, and key vocabulary identification as strategies that the students demonstrate to be able to operate with significantly after on-line reading. The students also rely more on Internet discourse as a main source of feedback for their projects and useful tool for work. Two of the projects have dealt with the design and use of interactive platforms for language learning (via two different approaches), while the third project has focused on the management of e-learning with the use of Squeak, a special language for programming. The assessment of the three students' reading / interpretation skills has taken place by means of written tasks and personal interviews.
Nonstationarity in Southern Hemisphere Climate Variability Associated with the Seasonal Breakdown of the Stratospheric Polar Vortex

AbstractStatistical models of climate generally regard climate variability as anomalies about a climatological seasonal cycle, which are treated as a stationary stochastic process plus a long-term seasonally dependent trend. However, the climate system has deterministic aspects apart from the climatological seasonal cycle and long-term trends, and the assumption of stationary statistics is only an approximation. The variability of the Southern Hemisphere zonal-mean circulation in the period encompassing late spring and summer is an important climate phenomenon and has been the subject of numerous studies. It is shown here, using reanalysis data, that this variability is rendered highly nonstationary by the organizing influence of the seasonal breakdown of the stratospheric polar vortex, which breaks time symmetry. It is argued that the zonal-mean tropospheric circulation variability during this period is best viewed as interannual variability in the transition between the springtime and summertime regimes.
Antioxidant activity, S-alk(en)yl-l-cysteine sulfoxide and polyphenol content in onion (Allium cepa L.) cultivars are associated with their genetic background

Mitrová K. , Hrbek V. , Svoboda P., Hajšlová J., Ovesná J. (2016): Antioxidant activity, S-alk(en)yl-lcysteine sulfoxide and polyphenol content in onion (Allium cepa L.) cultivars are associated with their genetic background. Czech J. Food Sci., 34: 127–132. Six onion cultivars Bingo, Dormo, Elenka, Elbrus, Spirit, and Sturon grown in the Czech Republic for commercial purposes were analysed to investigate the content of health-promoting compounds. The results showed that at harvest time, cysteine sulfoxide content varied from 32.38 to 44.16 g/kg of dry weight, polyphenol content was between 2.66 and 3.37 g/kg of dry weight, and antioxidant activity ranged from 0.75 to 0.83 g/kg. Cv. Bingo had the highest level of the analysed compounds. The cultivars were concurrently analysed by DNA (microsatellite) markers. Dendrograms based on the chemical composition and DNA analysis were almost identical. This finding confirms the dependence of the secondary metabolite content on onion genotype.
4 Monitoring Sentence Comprehension

Psycholinguists have no way of directly observing the sentence-comprehension process. Therefore, they have on the one hand assessed the complexity of sentence processing by means of global measures of comprehension difficulty (paraphrasing, for instance, click location, sentence classification, or other tasks). On the other hand, they have devoted considerable ingenuity to inventing tasks that might be expected to reflect the operations of processing mechanisms during comprehension. The dependent variable in these latter tasks is reaction time(RT); as Pachella(1974) noted: "by default: there simply isn't much else that can be measured [p. 43]. " If variations in response latency correlate with experimental manipulations of the sentences being understood, they are assumed to reflect variations in the complexity of processing. Nearly all on-line studies of auditory comprehension have required subjects to monitor the sentence for a specified target. The targets are of three basic types: part of the sentence itself (a word or a sound), something wrong with the sentence (a mispronunciation), or an extraneous signal (e.g., a click) occurring during presentation of the sentence. By far the largest number of studies have involved monitoring for initial sounds of words. In this chapter we will discuss phoneme-monitoring in some detail, review word-monitoring, mispronunciation-monitoring, and tone/click-monitoring results, and conclude with a comparison and evaluation of the monitoring tasks.