Miracle-dz/UniFAR-FTUs huggingface dataset:
An objective verification system for thunderstorm risk forecasts

An objective verification system for the Met Office's 5‐day thunderstorm and cumulonimbus (CB) risk forecasts is described. The forecasts are designed specifically to forecast the impact of CB on aviation in the London Terminal Manoeuvring Area, known as the London TMA, and are produced by meteorologists at the Met Office. Challenges faced in developing the verification system resulting from the subjective nature of the forecasts themselves and the limitations of the data (from the UK Air Navigation Service Provider [UK ANSP]) available to assess the true impact on aviation are discussed. The forecasts include the likelihood of medium impact events as well as the likelihood of high impact events resulting from thunderstorms. A unique approach has been taken to verifying these forecasts which has involved working closely with the primary user, the UK ANSP. An objective verification system has been developed to assess the forecast accuracy across all lead times for high and medium impact events. This system provides the tools necessary for routine, year‐on‐year evaluation of the forecast performance.
Active Labour Market Policies in Greece : Challenges and responses during the economic crisis 1

The effects of recession in Greece and the austerity measures promoted in the framework of Economic Adjustment Programmes had a devastating impact in the labour market. Although several reforms have been introduced in the labour market and social protection, doubts are expressed whether the solutions adopted have been effective so far to mitigate the effects of the crisis. This paper aims to explore the role of active labour market policies in Greece during the economic crisis and the necessary conditions to enhance their contribution in reducing the social repercussions of the crisis. Τhe findings from the analysis of existing literature show that there are several challenges for promoting active labour market policies, particularly in a recession, provided that they will not substitute the fundamental guarantees of income replacement and that will be associated with a comprehensive policy of job creation, while preserving the public character and the role of the state that should not be undermined under the pretext of budgetary constraints.
METALLOPROTEINASE 9 IN THE TUMOR AND PERITUMORAL TISSUE AS PROGNOSTIC MARKER IN BREAST CANCER PATIENTS

Introduction: Breast cancer is one of the most common malignancies among women all over the world. Tumor microenvironment represents one of the main regulators of tumorigenesis. We investigated the role of matrix metalloproteinases (MMP-9) concentration in peritumoral tissue as a prognostic marker in breast cancer patients. Methods: ELISA test was used to determine total MMP-9 concentration in carcinoma and peritumoral tissue sample in patients with breast cancer. Comparison of MMP-9 protein expression with clinicopathological parameters was evaluated. Results: Peritumoral tissue at 3 cm distance from tumor produces more MMP-9 than the tumor itself. Ratio of concentrations of MMP-9 in tumor and peritumoral tissue considerably changes in favor of peritumoral tissue with the increase of tumor size and involvement of axillary lymph nodes. In N0 stage concentration ratio of MMP-9 in the tumor and peritumoral tissues is 1: 1.44, but in N2 stage ratio is 1: 26.5. Conclusion: In patients with breast cancer even in an early stadium there is a change in MMP-9 concentration in peritumoral tissue. We can extract the group of patients at increased risk for the development of lymph node metastasis. A statistically significant difference between the concentrations of MMP-9 in peritumoral tissue and cancer tissue exists only in the case of metastatic disease.
D B ] 5 M ar 2 01 8 Universal ( and Existential ) Nulls July 30 , 2018

Incomplete Information research is quite mature when it comes to so called existential nulls, where an existential null is a value stored in the database, representing an unknown object. For some reason universal nulls, that is, values representing all possible objects, have received almost no attention. We remedy the situation in this paper, by showing that a suitable finite representation mechanism, called Star Cylinders, handling universal nulls can be developed based on the Cylindric Set Algebra of Henkin, Monk and Tarski. We provide a finitary version of the cylindric set algebra, called Cylindric Star Algebra, and show that our star-cylinders are closed under this algebra. Moreover, we show that any First Order Relational Calculus query over databases containing universal nulls can be translated into an equivalent expression in our cylindric star-algebra, and vice versa. All cylindric star-algebra expressions can be evaluated in time polynomial in the size of the database. The representation mechanism is then extended to Naive Star Cylinders, which are star-cylinders allowing existential nulls in addition to universal nulls. For positive queries (with universal quantification), the well known naive evaluation technique can still be applied on the existential nulls, thereby allowing polynomial time evaluation of certain answers on databases containing both universal and existential nulls. If precise answers are required, certain answer evaluation with universal and existential nulls remains in coNP. Note that the problem is coNP-hard, already for positive existential queries and databases with only existential nulls. If inequalities ¬(xi ≈ xj) are allowed, reasoning over existential databases is known to be Πp2-complete, and it remains in Π p 2 when universal nulls and full first order queries are allowed.
Herbal Remedies for Weight Loss Natural Strategies

When it comes to losing weight, many have resorted to popping a pill and there are a number of untested substances that manufacturers falsely claim to lose weight. This may pose dangerous consequences for the unsuspecting public who can readily purchase harmful substances claiming to lose weight without getting proper advice from qualified and regulated practitioners such as medical herbalists and nutritionists (Corns & Metcalfe, 2002). Herbal medicines by themselves will not enable the body to lose weight. Herbalists prescribe remedies as part of a holistic approach and will recommend lifestyle and dietary changes that will be far more effective in weight loss than any herbal medicine alone. In some instances, prescribing a course of herbs will improve functions of certain organs that will assist in weight loss such as the liver, the kidneys and the circulation. Combined with proper advice about healthy eating and exercise regimes, weight loss in patients is far more effective and long-term than radical diets or taking herbs indiscriminately.
Query Expansion Techniques for Enterprise Search

Although web search remains an active research area, interest in enterprise search has waned. This is despite the fact that the market for enterprise search applications is expected to triple within the next six years, and that knowledge workers spend an average of 1.6 to 2.5 hours each day searching for information. To improve search relevancy, and hence reduce this time, an enterprisefocused application must be able to handle the unique queries and constraints of the enterprise environment. The goal of this thesis research was to develop, implement, and study query expansion techniques that are most effective at improving relevancy in enterprise search. The case-study instrument used in this investigation was a custom Apache Solr-based search application deployed at a local medium-sized manufacturing company. It was hypothesized that techniques specifically tailored to the enterprise search environment would prove most effective. Query expansion techniques leveraging entity recognition, alphanumeric term identification, intent classification, collection enrichment, and word vectors were implemented and studied using real enterprise data. They were evaluated against a test set of queries developed using relevance survey results from multiple users, using standard relevancy metrics such as normalized discounted cumulative gain (nDCG). Comprehensive analysis revealed that the current implementation of the collection enrichment and word vector query expansion modules did not demonstrate meaningful improvements over the baseline methods. However, the entity recognition, alphanumeric term identification, and query intent classification modules produced meaningful and statistically significant improvements in relevancy, allowing us to accept the hypothesis.
Merced Proceedings of the Annual Meeting of the Cognitive Science Society Title Evaluating Models of Syntactic Category Acquisition without Using a Gold Standard Permalink

A number of different measures have been proposed for evaluating computational models of human syntactic category acquisition. They all rely on a gold standard set of manually determined categories. However, children’s syntactic categories change during language development, so evaluating against a fixed and final set of adult categories is not appropriate. In this paper, we propose a new measure, substitutable precision and recall, based on the idea that words which occur in similar syntactic environments share the same category. We use this measure to evaluate three standard category acquisition models (hierarchical clustering, frequent frames, Bayesian HMM) and show that the results correlate well with those obtained using two gold-standard-based measures.
Students' performance prediction using data of multiple courses by recurrent neural network

: In this paper, we show a method to predict students’ final grades using a recurrent neural network (RNN). An RNN is a variant of a neural network that handles time series data. For this purpose, the learning logs from 937 students who attended one of six courses by two teachers were collected. Nine kinds of learning logs are selected as the input of the RNN. We examine the prediction of final grades, where the training data and test data are the logs of courses conducted in 2015 and in 2016, respectively. We also show a way to identify the important learning activities for obtaining a specific final grade by observing the values of weight of the trained RNN.
148 Part 3 . 2 Chapter # HCV-KINET DATABASE : KINETIC PARAMETER REACTIONS AND REGULATORY PROCESSES OF THE LIFE CYCLE OF THE HEPATITIS C VIRUS

Motivation: To build mathematical models that describe the dynamic behavior of the life cycle of the hepatitis C virus, the development of a database for the kinetic parameters of reactions and the regulatory processes of a given gene network is required. Results: The created HCV-KINET contained the kinetic parameters for the enzymic reactions and the regulatory processes (Km, Vmax, kcat, specific activity, Ki, IC50, the direct and reverse reaction constants, the equilibrium constants of the dissociation (Kd) and association (Ka) of protein-protein and nucleoprotein complexes, half-life of proteins, enzymes, RNA, process duration, kinetic parameters for mutant proteins and enzymes). The total number of kinetic parameter stored is 363, the coordinates for the points of the kinetic plots are stored in the HCV-KINET, too.
Seductive Behavior of Mothers of Toddlers: Occurrence, Correlates, and Family Origins.

SROUFE, L. ALAN, and WARD, MARY J. Seductive Behavior of Mothers of Toddlers: Occurrence, Correlates, and Family Origins. CHILD DEVELOPMENT, 1980, 51, 1222-1229. As part of a longitudinal study of lower-SES mothers and children through the first 5 years of life, measures of limit setting and control in a toy cleanup situation were developed. Of particular interest were a group of techniques including certain forms of sensual physical contact, sensual teasing, promises of affection, and maternal requests for affection. This category of behavior was reliably coded. In a sample of 173 mothers, 16 (9.25%) exhibited 1 or more of these behaviors. Several findings suggested a distinction between this seductive behavior and warmth or affection: (1) the behavior was directed almost exclusively to males (15 of 16); (2) it was associated with significantly more physical punishment and threats of punishment; (3) it was not related to cooperation, encouragement, or emotional support; and (4) in general, in both this context and a tool-problem situation, these 16 mothers were rated as less supportive and less effective in guiding their children than other mothers in the total sample, other mothers of boys, or mothers showing affection. Independent interviews with 36 mothers, including 8 mothers exhibiting seductive behavior, revealed clearly different family histories. The developmental implications of this pattern of maternal behavior are discussed.
Design and Development of ECG Simulator and Microcontroller Based Displayer

Cardiovascular disease is one of the major causes of mortality among developed societies. Therefore, an Electrocardiograph (ECG) device is one of the most important diagnostic devices in the medical field. Using this device, can be record and analyse electrical waves created in the heart and treat and treat cardiovascular disease. An ECG recorded electrocardiogram contains P wave, PR interval, QRS complex, ST segment, T wave, QT interval and U wave. Any changes in the ECG chart represent a type of cardiovascular disease. Using the ECG simulator, can be simulate the vital signal of the human heart and use it to inspect the correct functioning of the ECG device. Due to the fact that all medical devices are directly related to the patient, they should be checked for safety and accuracy, so that there is no risk to the patient and no problem to the diagnosis of heart disease. This article examines the Manufacture of an ECG simulator with an LCD (liquid-crystal display) that can display heart signals using this simulator.
Stable , Practical and On-line Bootstrapped Dual Policy Iteration

We consider on-line model-free reinforcement learning with discrete actions, and focus on sample-efficiency and exploration quality. In this setting, value-based methods of the Q-Learning family achieve state-of-the-art results, while actor-critic algorithms, that learn an explicit actor policy in addition to their value function, do not achieve empirical results matching their theoretical promises. The majority of actor-critic algorithms combine an on-policy critic with an actor learned with Policy Gradient. In this paper, we propose an alternative to these two components. We base our work on Conservative Policy Iteration (CPI), leading to a new non-parametric actor learning rule, and Dual Policy Iteration (DPI), that motivates our use of aggressive off-policy critics. Our empirical results demonstrate a sample-efficiency and robustness superior to state-of-the-art value-based and actor-critic approaches, in three challenging environments.
Point-by-point Reply to all Referees November 1 , 2018

Iron fertilization is explored by tracking dissolved iron (DFe) through its life cycle from injection by external aeolian, sedimentary, and hydrothermal sources (birth) to burial in the sediments (death). We develop new diagnostic equations that count iron and phosphate regenerations with each passage through the biological pump and partition the ocean’s DFe concentration according to the number of its past and future regenerations. We apply these diagnostics to a family of data-constrained estimates of the iron cycle with sources tot in the range 1.9–41Gmol yr 1. We find that for states with tot>7Gmol yr 1, 5 50% of the DFe inventory has not been regenerated in the past and 85% will not be regenerated in the future. The globally averaged mean number of past and future regenerations scale with the bulk iron lifetime ⌧ ⇠ 1 tot and have ranges of 0.05–2.2 and 0.01–1.4, respectively. Memory of birth location fades rapidly with each regeneration, and DFe regenerated more than ⇠5 times is found in a pattern shaped by Southern Ocean nutrient trapping. We quantify the natural fertilization efficiency intrinsic fertilization efficiency of the unperturbed system at any point r in the ocean as the global export production resulting from 10 the DFe at r, per iron molecule. We show that this efficiency is closely related to the mean number of future regenerations that the iron will experience. At the surface, the natural intrinsic fertilization efficiency has a global mean in the range 0.7– 7mol P (mmol Fe) 1 across our family of state estimates and is largest in the central tropical Pacific, with the Southern Ocean having comparable importance only for high iron-source scenarios.
STRIKING NEW PATHS: THEORY AND METHOD IN PATH DEPENDENCE RESEARCH

In this paper we argue that the main reason for the prevailing methodological dissent in path dependence research is the futile attempt of capturing “path dependence as a whole” within either a single-method research design or a single all-encompassing theoretical mechanism. By delineating two conceptual building blocks resting on different epistemological foundations – path creation/emergence and positive feedback/lock-in – we advocate for the application of complementary methodologies. We further refine this argument by proposing a general axiomatic structure for path dependence as a theoretical concept, which allows us to derive more specific methodological suggestions.
Internet Banking and the Marginal Internet User 1

*Department of Economics, University of Bath, Bath, BA2 7AY, UK, email: J.R. Hudson@bath.ac. uk Abstract Using Heckman’s sample selection methodology to analyse individual use of Internet banking we find a negatively significant Inverse Mills ratio. This is consistent with other studies. We go on to argue that this indicates that the probability of using Internet banking declines with the marginality of the Internet user. We further link this marginality to low cost Internet access and thence trust in this access. The inverse Mills ratio squared is also significant, thus both questioning the assumption of a bivariate normal distribution between the error terms from the selection and Internet banking equations, and also suggesting that there is a nonlinear relationship between Internet user marginality and the probability of using it for Internet banking.Using Heckman’s sample selection methodology to analyse individual use of Internet banking we find a negatively significant Inverse Mills ratio. This is consistent with other studies. We go on to argue that this indicates that the probability of using Internet banking declines with the marginality of the Internet user. We further link this marginality to low cost Internet access and thence trust in this access. The inverse Mills ratio squared is also significant, thus both questioning the assumption of a bivariate normal distribution between the error terms from the selection and Internet banking equations, and also suggesting that there is a nonlinear relationship between Internet user marginality and the probability of using it for Internet banking.
OF KDD CUP ‘ 99 , NSL-KDD AND KYOTO 2006 + DATASETS

This paper presents a review of three datasets, namely KDD Cup ‘99, NSL-KDD and Kyoto 2006+ datasets, which are widely used in researching intrusion detection in computer networks. The KDD Cup ‘99 dataset consists of five million records, each containing 41 features which can classify malicious attacks into four classes: Probe, DoS, U2R and R2L. The KDD Cup ‘99 dataset cannot reflect real traffic data since it was generated by simulation over a virtual computer network. In the NSL-KDD dataset, redundant and duplicate records form the KDD Cup ‘99 dataset are removed from training and test sets, respectively. The Kyoto 2006+ dataset is built on real three year-network traffic data which are labeled as normal (no attack), attack (known attack) and unknown attack. The Kyoto 2006+ dataset contains 14 statistical features derived from the KDD Cup ‘99 dataset and 10 additional features.
Separation and Identification of HSP-Associated Protein Complexes from Pancreatic Cancer Cell Lines Using 2 D CN / SDS-PAGE Coupled withMass Spectrometry

Protein complexes are a cornerstone of many biological processes and together they form various types of molecular machinery. A broad understanding of these protein complexes is crucial for revealing and building models of protein function and regulation. Pancreatic cancer is a highly lethal disease which is difficult to diagnose at early stage and even more difficult to cure. In this study, we applied a gradient clear native gel system combined with subsequent second-dimensional SDS-PAGE to separate protein complexes from cell lysates of SW1990 and PANC-1 pancreatic cancer cell lines with different degrees of differentiation. Ten heat-shock-protein(HSP-) associated protein complexes were separated and identified, and the differentially expressed proteins related to cancers were also found, such as HSP60, protein disulfide-isomerase A4 (ERp72), and transitional endoplasmic reticulum ATPase (TER ATPase).
Simulation of Thermal Stabilization of Soil around Various Technical Systems Operating in Permafrost

Abstract This paper presents results of a numerical study using finite-difference methods of non-stationary heat transfer processes in permafrost from heat sources generated by various technical systems (production wells) as well as from cold sources used for thermal stabilization of the soil, for example, seasonal cooling devices. In the simulation a number of climatic factors (monthly average temperature variation and power of solar radiation which are characteristic of a considered geographic place), thermal parameters and lithology of the soil, as well as the technical features of considered engineering facilities are taken into account.
A Study of the Relationship Between Moral Maturity and Respondent's Self-Rated Leadership Style

The study of moral development and the effects it has on decision making have garnered a good deal of interest in the last thirty years. Rest, Thoma, and Narvaez (1999e) discuss the cognitive schemas associated with the different levels of moral development as stated by Kohlberg (1984). Rest et al. (1999e) suggest that cognitive moral schemas present in our conscious aid our retention of factual similarities between our experiences and ultimately aid in our decision making and search for further information. This implicit moral theory is similar to the leadership theory noted as Implicit Leadership Theory or the theory that one also carries in her or his memory a certain slate of factors which they use to identify a leader’s behavior as being those of a good leader or an ineffective leader (Salter, Green, Ree, Carmody-Bubb, & Duncan, 2009).
Human Perception-based Image Enhancement Using a Deep Generative Model

In this paper we propose a deep model for perceptual image en-hancement based on generative modeling. The proposed frame-work is inspired by the Conditional Variational AutoEncoder (CVAE)which is a well-known deep generative structure. In generativemodels, there are efficient regularizers for controlling the outputdistributions using information from input data which lead to accu-rate and visually plausible results with few parameters. Additionally,we propose to use an image quality assessment network to deter-mine the best result among those obtained by the implementedCVAEs. The proposed CVAE structure models the histogram vec-tors of different color channels and parameters of image data (i.e.,the networks do not work directly on pixel values). This configu-ration makes the proposed framework capable of using images ofdifferent sizes. Qualitative and numerical evaluations on a relateddataset compared to state-of-the-art indicate superiority of the pro-posed framework in improving image quality and content.