Miracle-dz/UniFAR-FTUs huggingface dataset:
Opt4J: a modular framework for meta-heuristic optimization

This paper presents a modular framework for meta-heuristic optimization of complex optimization tasks by decomposing them into subtasks that may be designed and developed separately. Since these subtasks are generally correlated, a separate optimization is prohibited and the framework has to be capable of optimizing the subtasks concurrently. For this purpose, a distinction of genetic representation (genotype) and representation of a solution of the optimization problem (phenotype) is imposed. A compositional genotype and appropriate operators enable the separate development and testing of the optimization of subtasks by a strict decoupling. The proposed concept is implemented as open source reference OPT4J [6]. The architecture of this implementation is outlined and design decisions are discussed that enable a maximal decoupling and flexibility. A case study of a complex real-world optimization problem from the automotive domain is introduced. This case study requires the concurrent optimization of several heterogeneous aspects. Exemplary, it is shown how the proposed framework allows to efficiently optimize this complex problem by decomposing it into subtasks that are optimized concurrently.
A New (n, 2n) Double Block Length Hash Function Based on Single Key Scheduling

In this paper we propose a double block length hash function called MR-MMO. Our scheme satisfies two calls of (n, 2n) block cipher and can compress 3n bits to 2n bits (n = 128 bits). The Collision Resistance (CR) and Preimage Resistance (PR) of MR-MMO are respectively 2126.70 and 2252.5. Surprisingly, the collision security bound of our scheme is the best in compare with other existing schemes. We use a single key scheduling for each compression function which is great in respect of cost and time. Additionally, it can be said that the proof technique of Weimar-DM, Tandem-DM, Hirose-DM are based on Ideal Cipher Model (ICM) while we use Weak Cipher Model (WCM) tool. Davies Meyer (DM) mode is used in the above all schemes, we also made a change using Matyas Meyer Oseas (MMO) mode. It is also obvious that the proof technique of our scheme is very simple, straightforward and easy to understand.
Effect of Hexadecyl Azelaoyl Phosphatidylcholine on Cardiomyocyte Apoptosis in Myocardial Ischemia-Reperfusion Injury: A Hypothesis

Reperfusion after myocardial ischemia can induce cardiomyocyte death, known as myocardial reperfusion injury. The pathophysiology of the process of reperfusion suggests the confluence multiple pathways. Recent studies have focused on the inflammatory response, which is considered to be the main mechanism during the process of myocardial ischemia-reperfusion injury and can cause cardiomyocyte apoptosis. Peroxisome proliferator-activated receptors gamma activated by endogenous ligands and exogenous ligand can decrease the inflammatory response in cardiomyocytes. Thiazolidinediones are synthetic, high-affinity, selective ligands for peroxisome proliferator-activated receptors gamma, and can inhibit the inflammatory response, decrease myocardial infarct size, and protect cardiac function. However, thiazolidinediones, including rosiglitazone and pioglitazone, can also contribute to adverse cardiovascular events such as congestive heart failure. Therefore, there are some limitations to the use of thiazolidinediones. Most endogenous ligands were of low affinity until hexadecyl azelaoyl phosphatidylcholine was identified as a high-affinity ligand and agonist for peroxisome proliferator-activated receptors gamma. Hexadecyl azelaoyl phosphatidylcholine binds recombinant peroxisome proliferator-activated receptors with an affinity (Kd(app) ≈40 nM) which is equivalent to rosiglitazone. Therefore, hexadecyl azelaoyl phosphatidylcholine is a specific peroxisome proliferator-activated receptors gamma agonist. Given these findings, we hypothesized that the use of hexadecyl azelaoyl phosphatidylcholine can activate the peroxisome proliferator-activated receptors gamma signal pathways and prevent the inflammatory response process of myocardial ischemia-reperfusion injury, with reduced cardiomyocyte apoptosis and death.
Genomic insights from the oleaginous model alga Nannochloropsis gaditana

Nannochloropsis species have emerged as leading phototrophic microorganisms for the production of biofuels. Several isolates produce large quantities of triacylglycerols, grow rapidly, and can be cultivated at industrial scales. Recently, the mitochondrial, plastid and nuclear genomes of Nannochloropsis gaditana were sequenced. Genomic interrogation revealed several key features that likely facilitate the oleaginous phenotype observed in Nannochloropsis, including an over-representation of genes involved in lipid biosynthesis. Here we present additional analyses on gene orientation, vitamin B12 requiring enzymes, the acetyl-CoA metabolic node, and codon usage in N. gaditana. Nuclear genome transformation methods are established with exogenous DNA integration occurring via either random incorporation or by homologous recombination, making Nannochloropsis amenable to both forward and reverse genetic engineering. Completion of a draft genomic sequence, establishment of transformation techniques, and robust outdoor growth properties have positioned Nannochloropsis as a new model alga with significant potential for further development into an integrated photons-to-fuel production platform.
An RDF Vocabulary for the Representation and Exploration of Expressions with an Illustration on Mathematical Search

Complex expressions, as used in mathematics and logics, account for a large part of human knowledge. It is therefore desirable to allow for their representation in RDF and for their exploration through semantic search. We propose an RDF vocabulary that fulfills three objectives. The first objective is the accurate representation of expressions in standard RDF, so that expressive mathematical search is made possible. We here propose a syntactic extension of Turtle and SPARQL for the concise notation of such expressions. The second objective is the automated generation of expression labels that are close to usual mathematical notations (e.g., infix operators, symbols). The third objective is the compatibility with existing practice and legacy data in the Semantic Web community for the representation of expressions and structures (e.g., OWL/RDF, SPIN). We illustrate the use of this vocabulary on mathematical search using SEWELIS, a tool for the guided exploration and edition of RDF graphs, and discuss the benefits compared to state-of-the-art in mathematical search.
University of Huddersfield Repository Assessing Hitting Skill in Baseball using Simulated and Representative Tasks

Previous research has demonstrated that the ability to accurately anticipate the outcome of dynamic and representative situations under standardized conditions is an effective predictor of skill-level in many complex domains, including sport (for a review, see Suss & Ward, 2015). Moreover, skill at anticipating the outcome as early as possible, in addition to making the correct anticipatory decision, and skill at recognizing the play are equally important (e.g., Fadde, 2006; Jones & Miles, 1978; Savelsbergh, Williams, Van Der Kamp, & Ward, 2002). The current research aims to leverage this body of research in developing and evaluating a commercially available software tool designed for the assessment of such sports skills developed by Axon Sports. In this research we use the Axon Sports Baseball Hitting Assessment tool to measure anticipation and recognition skill in an NCAA baseball team. The results provide support that recognition and anticipation accuracy are useful indicators of skill in sport and extend the application of this body of work into a real-world setting.
Cardiac Autonomic Modulation Is Determined by Gender and Is Independent of Aerobic Physical Capacity in Healthy Subjects

Background Aerobic physical capacity plays an important role in reducing morbidity and mortality rates in subjects with cardiovascular diseases. This action is often related to an improvement in the autonomic modulation of heart rate variability (HRV). However, controversies remain regarding the effects of physical training on cardiac autonomic control in healthy subjects. Therefore, our objective was to investigate whether aerobic capacity interferes with the autonomic modulation of HRV and whether gender differences exist. Methods Healthy men and women (N=96) were divided into groups according to aerobic capacity: low (VO2: 22-38 ml/kg-1 min-1), moderate (VO2: 38-48 ml/kg-1 min-1) and high (VO2 >48 ml/kg-1 min-1.) We evaluated the hemodynamic parameters and body composition. The autonomic modulation of HRV was investigated using spectral analysis. This procedure decomposes the heart rate oscillatory signal into frequency bands: low frequency (LF=0.04-0.15Hz) is mainly related to sympathetic modulation, and high frequency (HF=0.15-0.5Hz) corresponds to vagal modulation. Results Aerobic capacity, regardless of gender, determined lower values of body fat percentage, blood pressure and heart rate. In turn, the spectral analysis of HRV showed that this parameter did not differ when aerobic capacity was considered. However, when the genders were compared, women had lower LF values and higher HF values than the respective groups of men. Conclusion The results suggest that aerobic physical capacity does not interfere with HRV modulation; however, the cardiac modulatory balance differs between genders and is characterized by a greater influence of the autonomic vagal component in women and by the sympathetic component in men.
Robustness of multiple testing procedures against dependence

An important aspect of multiple hypothesis testing is controlling the significance level, or the level of Type I error. When the test statistics are not independent it can be particularly challenging to deal with this problem, without resorting to very conservative procedures. In this paper we show that, in the context of contemporary multiple testing problems, where the number of tests is often very large, the difficulties caused by dependence are less serious than in classical cases. This is particularly true when the null distributions of test statistics are relatively light-tailed, for example, when they can be based on Normal or Student's t approximations. There, if the test statistics can fairly be viewed as being generated by a linear process, an analysis founded on the incorrect assumption of independence is asymptotically correct as the number of hypotheses diverges. In particular, the point process representing the null distribution of the indices at which statistically significant test results occur is approximately Poisson, just as in the case of independence. The Poisson process also has the same mean as in the independence case, and of course exhibits no clustering of false discoveries. However, this result can fail if the null distributions are particularly heavy-tailed. There clusters of statistically significant results can occur, even when the null hypothesis is correct. We give an intuitive explanation for these disparate properties in light- and heavy-tailed cases, and provide rigorous theory underpinning the intuition.
Combinatorial models for topology-based geometric modeling

Many combinatorial (topological) models have been proposed in geometric modeling, computational geometry, image processing or analysis, for representing subdivided geometric objects, i.e. partitionned into cells of different dimensions: vertices, edges, faces, volumes, etc. We can distinguish among models according to the type of cells (regular or not regular ones), the type of assembly ("manifold" or "non manifold"), the type of representation (incidence graphs or ordered models), etc.
Using Multi-Level Security Annotations to Improve Software Assurance

Current annotation technologies suffer from poor coverage over the development process phases, limited support for the broad scope of the security requirement types and inadequate interconnection between different process phases. In this paper, we introduce the concept of multi-level security annotation for software artifacts, which addresses these problems. Multi-level security annotations are traceable trough the development phases to provide a light-weight, user-friendly alternative to full-fledged assurance methodologies and simplify the system evolution over time with respect to security.
Non-abelian (p,q) strings in the warped deformed conifold

We calculate the tension of (p,q)-strings in the warped deformed conifold using the non-Abelian DBI action. In the large flux limit, we find exact agreement with the recent expression obtained by Firouzjahi, Leblond and Henry-Tye up to and including order 1/M2 terms if q is also taken to be large. Furthermore using the finite q prescription for the symmetrised trace operation we anticipate the most general expression for the tension valid for any (p,q). We find that even in this instance, corrections to the tension scale as 1/M2 which is not consistent with simple Casimir scaling.
An Introduction to Trends in Extreme Weather and Climate Events: Observations, Socioeconomic Impacts, Terrestrial Ecological Impacts, and Model Projections*

Weather and climatic extremes can have serious and damaging effects on human society and infrastructure as well as on ecosystems and wildlife. Thus, they are usually the main focus of attention of the news media in reports on climate. There are some indications from observations concerning how climatic extremes may have changed in the past. Climate models show how they could change in the future either due to natural climate fluctuations or under conditions of greenhouse gas-induced warming. These observed and modeled changes relate directly to the understanding of socioeconomic and ecological impacts related to extremes.
for Neuronal Signaling ? Spontaneous Neurotransmission : An Independent Pathway

Physiol. Soc. ESSN: 1548-9221. Visit our website at http://www.the-aps.org/. American Physiological Society, 9650 Rockville Pike, Bethesda MD 20814-3991. ©2011 Int. Union Physiol. Sci./Am. the physiological developments. It is published bimonthly in February, April, June, August, October, and December by (formerly published as News in Physiological Science) publishes brief review articles on major Physiology by gest on O cber 9, 2016 http://physioline.physiology. org/ D ow nladed fom
Managerial strategies to make incentives meaningful and motivating

Purpose Policy makers are applying market-inspired competition and financial incentives to drive efficiency in healthcare. However, a lack of knowledge exists about the process whereby incentives are filtered through organizations to influence staff motivation, and the key role of managers is often overlooked. The purpose of this paper is to explore the strategies managers use as intermediaries between financial incentives and the individual motivation of staff. The authors use empirical data from a local case in Swedish specialized care. Design/methodology/approach The authors conducted an exploratory qualitative case study of a patient-choice reform, including financial incentives, in specialized orthopedics in Sweden. In total, 17 interviews were conducted with professionals in managerial positions, representing six healthcare providers. A hypo-deductive, thematic approach was used to analyze the data. Findings The results show that managers applied alignment strategies to make the incentive model motivating for staff. The managers’ strategies are characterized by attempts to align external rewards with professional values based on their contextual and practical knowledge. Managers occasionally overruled the financial logic of the model to safeguard patient needs and expressed an interest in having a closer dialogue with policy makers about improvements. Originality/value Externally imposed incentives do not automatically motivate healthcare staff. Managers in healthcare play key roles as intermediaries by aligning external rewards with professional values. Managers’ multiple perspectives on healthcare practices and professional culture can also be utilized to improve policy and as a source of knowledge in partnership with policy makers.
A Private Gateway for Investigating IoT Data Management

By responding to the new trend represented by the appearance of the Internet of Things (IoT), several cloud providers have started to offer specific management services. In recent years, we have already seen that cloud computing has managed to serve IoT needs by making data generation, processing and visualization tasks transparent to the users. In IoT Cloud systems developers do not only have to buy and configure sensor devices, but they also have to develop so-called gateway applications to manage the data comings from these devices. In this paper we show how to develop such a private gateway, and present a comprehensive simulation environment, where IoT Cloud applications can be investigated without initial investments. Finally, we evaluate the proposed gateway with real sensor data.
The intelligibility of German and English speech to Dutch listeners

Speech utterances in a given language are known to be less intelligible to second-language (L2) listeners than to native listeners. This study is aimed at quantifying the reduction of speech intelligibility due to non-nativeness of the listener. Two types of experiments were carried out: Speech Reception Threshold (SRT) experiments for obtaining a quantitative measure of speech intelligibility, and Letter Guessing Procedure (LGP) experiments to assess to influence of linguistic factors of non-nativeness on speech intelligibility separately. The effects of non-nativeness of listeners were found to be in the range of 1.4 to 4.4 decibel, in terms of speech-to-noise ratio that gives 50% sentence intelligibility. The magnitude of this effect depends on linguistic experience. There is a good correlation between intelligibility and linguistic entropy. To highly proficient L2 listeners, a non-native accent in L2 (similar to their own accent) reduces intelligibility. Less proficient L2 listeners do benefit from such a non-native accent in L2 speech. This indicates a naïve phonetic discrimination.
Usability Heuristics for Mobile Applications - A Systematic Review

Usability is one of the factors that most affects a software quality. The increasing adoption of mobile devices brings new usability challenges, as well as a need for specific standards for this type of product. This paper aims to conduct a systematic review of the literature, complemented by a manual and snowballing search to obtain usability heuristics and heuristic evaluations for mobile applications. The result of the study was a set of thirteen usability heuristics, specific to smartphones, related to the ten Nielsen’s heuristics. In addition, five possible ways of evaluating the usability of mobile applications are described. The specification of the heuristics found shows that they can be used both for the evaluation of already developed applications and for the prototyping of new applications, which helps developers achieve their goals regarding product quality. The main contributions of this work is the compilation of desktop usability heuristics in a new, more specific set of heuristics adapted to the mobile paradigm.
Impact of diabetes on coronary artery disease in women and men: a meta-analysis of prospective studies.

OBJECTIVE Women are at a much lower risk of coronary disease mortality than men are. It is widely believed that diabetes "erases" this female advantage, increasing the risk of heart disease much more in women than in men. In reality, the extent of this increased risk is controversial, with studies showing conflicting results and wide confidence intervals. Clarification of this issue has implications for the pathogenesis of coronary disease, and for public health efforts to reduce coronary disease in women. RESEARCH DESIGN AND METHODS We performed a meta-analysis to calculate a summary estimate of the relative risk of coronary death among women with diabetes as compared to those without. For comparison, we also calculated the analogous risk among men. All prospective cohort studies containing both men and women, and both patients with and without diabetes, were examined. Sixteen studies were identified; 10 had sufficient data for statistical analysis. RESULTS After combining studies that adjusted for other cardiac risk factors, the relative risk of coronary death from diabetes was 2.58 (95% CI 2.05-3.26) for women and 1.85 (1.47-2.33) for men. This difference is statistically significant (P = 0.045). Other sensitivity analyses did not change these estimates appreciably. CONCLUSIONS The impact of diabetes on the risk of coronary death is significantly greater for women than men. Further research is required to explain this clinically meaningful difference between the sexes.
Detección jerárquica de grupos de personas

The massive establishment of video cameras in society makes impossible the control and analysis of the enormous amount of videos files captured. For this reason, the algorithm referred to video analyses has lately gained enormous importance. Nowadays, the algorithms used for person detection under control environments, have achieved an optimum performance, although in crowded sceneries, in which a great number of occlusions among themselves occurred, the performance of the actual algorithms are not acceptable. The main objective of this project is to develop an algorithm for people detection whose main difference would be the hierarchical detection, and thus, improve the actual algorithms in high density of people settings. The key point of the project would be that the detection should not be only focused in the information of individuals, but it should also take into consideration the information from the detection of multiple people, and subsequently, improve the results obtained in this type of sceneries. At the same time, the algorithm would use the person appearance, which could be defined as a whole, or by choosing certain parts such as head, shoulder, trunk, etc. The suggested algorithm has been tested in video sequences of reference, and the results obtained demonstrate that the detection performance has improved due to the upgrades implemented.