Miracle-dz/UniFAR-FTUs huggingface dataset:
Optimal scheduling for energy harvesting transmitters with hybrid energy storage

We consider data transmission with an energy harvesting transmitter which has a hybrid energy storage unit composed of a perfectly efficient super-capacitor (SC) and an inefficient battery. The SC has finite space for energy storage while the battery has unlimited space. The transmitter can choose to store the harvested energy in the SC or in the battery. The energy is drained from the SC and the battery simultaneously. In this setting, we consider the offline throughput maximization problem by a deadline over a point-to-point channel. In contrast to previous works, the hybrid energy storage model with finite and unlimited storage capacities imposes a generalized set of constraints on the transmission policy. As such, we show that the solution generalizes that for a single battery and is obtained by applying directional water-filling algorithm multiple times.
Quantum direct communication with mutual authentication

In this paper, we first point out that some recently proposed quantum direct communi-cation (QDC) protocols with authentication are vulnerable under some specific attacks,and the secrete message will leak out to the authenticator who is introduced to authen-ticate users participating in the communication. We then propose a new protocol that iscapable of achieving secure QDC with authentication as long as the authenticator woulddo the authentication job faithfully. Our quantum protocol introduces a mutual authen-tication procedure, uses the quantum Bell states, and applies unitary transformations inthe authentication process. Then it exploits and utilizes the entanglement swapping andlocal unitary operations in the communication processes. Thus, after the authenticationprocess, the client users are left alone to communicate with each other, and the authen-ticator has no access to the secrete message. In addition, our protocol does not require adirect quantum link between any two users, who want to communicate with each other.This may also be an appealing advantage in the implementation of a practical quantumcommunication network.
Modeling and simulation for exploring human-robot team interaction requirements

Small-sized and microrobots will soon be available for deployment in large-scale forces. Consequently, the ability of a human operator to coordinate and interact with largescale robotic forces is of great interest. This paper describes the ways in which modeling and simulation have been used to explore new possibilities for human-robot interaction. The paper also discusses how these explorations have fed implementation of a unified set of command and control concepts for robotic force deployment. Modeling and simulation can play a major role in fielding robot teams in actual missions. While live testing is preferred, limitations in terms of technology, cost, and time often prohibit extensive experimentation with physical multi-robot systems. Simulation provides insight, focuses efforts, eliminates large areas of the possible solution space, and increases the quality of actual testing.
A Multidimensional Examination of the Psychological and Social Well-Being of Caregivers of a Demented Relative

This article focuses on a detailed examination of stressors, their appraised disturbance and a broad range of resources as well as on an assessment of their relationships with five dimensions of psycho-social well-being. Caregivers (n = 265) who cohabit with a demented relative composed the sample. The results indicate the importance of a multidimensional examination of both factors and well-being. Indeed, the saliency of the occurrence of the stressor and the degree of its disturbance seem to depend on the meaning of the stressor and/or its predictability/unpredictability in relation to a specific dimension of well-being. Only one stressor, the occurrence of disruptive behaviors, is linked to three dimensions of well-being (psychological distress, negative and positive feelings about the caregiver role). Stressors/appraisal factors are most often associated with negative indicators of psychological well-being (psychological distress and negative feelings about the caregiver role) than with positive indicators (positive affect and positive feelings about the caregiver role). Moreover, positive resources are linked to positive indicators of psychological well-being while negative resources emerged as relevant for negative indicators.
Proactive and reactive helping: Contrasting the positive consequences of different forms of helping

SummaryResearch on helping has identified positive consequences of helping for the helper, beneficiary, group, and organization. Recent research, however, raises concerns about contingencies that influence the outcomes of helping and suggests the need for a more nuanced perspective on the positive outcomes of helping. In this paper, we develop a novel theoretical perspective to address these contingencies by differentiating between proactive helping and reactive helping. Drawing from the two main theoretical frameworks, which have been used as the basis for studying helping—social exchange theory and functional motives theory—we discuss differences in the positive consequences of reactive and proactive helping for helpers, dyads, groups, and organizations. We submit that reactive helping facilitates heedful relationships, such that it creates and perpetuates social exchange norms thatbenefit othersin the group. Conversely, we posit that proactive helping is often based on fulfilling personal needs, such that itbenefits the selfin terms of reputational benefits, well-being, favorable self-evaluations, need satisfaction, and self-development. We discuss theoretical implications of this framework for future research on the positive consequences of helping. Copyright © 2012 John Wiley & Sons, Ltd.
Open-Source Programming of Cardiovascular Pressure-Flow Dynamics Using SimPower Toolbox in Matlab and Simulink

A toolbox for simulation of the cardiovascular system has been constructed for use in Matlab Simulink (The MathWorks Inc.). The toolbox contains basic elements such as vessel segments, cardiac chambers, valves and shunts that can be graphically arranged and connected to directly simulate the circulation with the desired level of detail. The toolbox is based on the SimPower toolbox to allow simple connections between the different elements. One difficulty that remains is the need to know the values of the various parameters. The toolbox is an open-source script that is available for download. It is expected that researchers that will use the toolbox will refine it, enhance its capabilities and share their code with others.
Performance Evaluation of Different Data Mining Classification Algorithm and Predictive Analysis

Data mining is the knowledge discovery process by analyzing the large volumes of data from various perspectives and summarizing it into useful information; data mining has become an essential component in various fields of human life. It is used to identify hidden patterns in a large data set. Classification techniques are supervised learning techniques that classify data item into predefined class label. It is one of the most useful techniques in data mining to build classification models from an input data set; these techniques commonly build models that are used to predict future data trends. In this paper we have worked with different data mining applications and various classification algorithms, these algorithms have been applied on different dataset to find out the efficiency of the algorithm and improve the performance by applying data preprocessing techniques and feature selection and also prediction of new class labels.
Modelling service time distribution in cellular networks using phase-type service distributions

Third generation mobile communication networks are designed to provide a variety of high data rate services with higher quality of service (QoS) than second-generation systems. Handover becomes one of the major problems in such a mobile environment as it is of utmost importance to provide a higher guarantee that the users are able to continue their service during the entire length of the transmission, without it being blocked during the handover or loss of quality or data. Careful dimensioning of the network and the underlying teletraffic analysis plays a major role in determining the various grade of service (GoS) parameters that service providers can provide at various network loads. The channel holding time of a cell is one of the major parameters that needs to be accurately modelled in the teletraffic analysis. This paper focuses on using phase-type distributions of generalised Erlang form to model channel holding time in a mobile environment. We also present the quasi-birth-death process, which characterises the queuing models with generalized Erlang service and exponential inter-arrival distributions. Further we investigate the use of channels exclusively reserved for handover users to improve the handover performance.
' s personal copy iCAM 06 : A refined image appearance model for HDR image rendering

A new image appearance model, designated iCAM06, was developed for High-Dynamic-Range (HDR) image rendering. The model, based on the iCAM framework, incorporates the spatial processing models in the human visual system for contrast enhancement, photoreceptor light adaptation functions that enhance local details in highlights and shadows, and functions that predict a wide range of color appearance phenomena. Evaluation of the model proved iCAM06 to have consistently good HDR rendering performance in both preference and accuracy making iCAM06 a good candidate for a general-purpose tone-mapping operator with further potential applications to a wide-range of image appearance research and practice. 2007 Elsevier Inc. All rights reserved.
Generalized sphere packing bound: Applications

In this paper we study a generalization of the sphere packing bound for channels that are not regular (the size of balls with a fixed radius is not necessarily the same). Our motivation to tackle this problem is originated by a recent work by Kulkarni and Kiyavash who introduced a method, based upon tools from hypergraph theory, to calculate explicit upper bounds on the cardinalities of deletion-correcting codes. Under their setup, the deletion channel is represented by a hypergraph such that every deletion ball is a hyperedge. Since every code is a matching in the hypergraph, an upper bound on the codes is given by an upper bound on the largest matching in a hypergraph. This bound, called here the generalized sphere packing bound, can be found by the solution of a linear programming problem. We similarly study and analyze specific examples of error channels. We start with the Z channel and show how to exactly find the generalized sphere packing bound for this setup. Next studied is the non-binary limited magnitude channel both for symmetric and asymmetric errors. We focus on the case of single error and derive upper bounds on the generalized sphere packing bound in this channel. We follow up on the deletion case, which was the original motivation of the work by Kulkarni and Kiyavash, and show how to improve upon their upper bounds for the single deletion case. Finally, we apply this method for projective spaces and find its generalized sphere packing bound for the single-error case.
SMOS images restoration from L1A data: A sparsity-based variational approach

Data degradation by radio frequency interferences (RFI) is one of the major challenges that SMOS and other interferometers radiometers missions have to face. Although a great number of the illegal emitters were turned off since the mission was launched, not all of the sources were completely removed. Moreover, the data obtained previously is already corrupted by these RFI. Thus, the recovery of brightness temperature from corrupted data by image restoration techniques is of major interest. In this work we propose a variational approach to recover a super-resolved, denoised brightness temperature map based on two spatial components: an image u that models the brightness temperature and an image o modeling the RFI. The approach is totally new to our knowledge, in the sense that it is directly and exclusively based on the visibilities (L1a data), and thus can also be considered as an alternative to other brightness temperature recovery methods.
One-way definability of two-way word transducers

Functional transductions realized by two-way transducers (or, equally, by streaming transducers or MSO transductions) are the natural and standard notion of "regular" mappings from words to words. It was shown in 2013 that it is decidable if such a transduction can be implemented by some one-way transducer, but the given algorithm has non-elementary complexity. We provide an algorithm of different flavor solving the above question, that has doubly exponential space complexity. In the special case of sweeping transducers the complexity is one exponential less. We also show how to construct an equivalent one-way transducer, whenever it exists, in doubly or triply exponential time, again depending on whether the input transducer is sweeping or two-way. In the sweeping case our construction is shown to be optimal.
Longitudinal comparison of virus load parameters and CD8 T‐cell suppressive capacity in two SIVcpz‐infected chimpanzees

In a longitudinal study we address the hypothesis that resistance to disease progression in lentivirus‐infected chimpanzees is related to potent non‐cytotoxic suppression of virus replication. In a long‐term follow‐up, the viral suppressive capacity in two simian immunodeficiency virus (SIV)cpz‐infected chimpanzees was correlated with two polymerase chain reaction (PCR)‐ and two culture‐based virus load measurements. In both animals, quantitative virus isolation (QVI) tended to decline slowly, whereas in vitro virus suppression was sustained or increased over time. In general, plasma virus loads in SIVcpz‐infected animals were maintained for extended periods of time. Based on current assays that measure virus suppressive capacity in peripheral blood, it was not possible to conclude that virus suppression played a major role in the maintenance of the disease‐free state in lentivirus‐infected chimpanzees.
Analysis of the (1, )-ES on the Parabolic Ridge

The progress rate of the (1 )-ES (Evolution Strategy) is analyzed on the parabolic ridge test function. A differentprogress behavior is observed for the (1, )-ES than for the sphere model test function. The characteristics of the progress rate picture for the plus strategy differs little from the one obtained for the sphere model, but this strategy has drastically worse progress rate values than those obtained for the comma strategy. The dynamics of the distance to the progress axis is also investigated. A theoretical formula is derived to estimate the change in this distance over generations. This formula is used to derive the expected value of the problem-specific distance to the ridge axis. The correctness of the formulae is supported by simulation results.
Regime Analysis

Informal and tacitly known rules have not figured prominently in the study of intergovernmental relations. This article deals with a research strategy that includes such rules: regime analysis. It presents an outline of the basic concepts and method used, as well as two case studies, which demonstrate the usefulness of this type of analysis.
Assessing changes over time in healthcare provider performance: Addressing regression to the mean over multiple time points

In recent years, the evaluation of healthcare provider performance has become standard for governments, insurance companies, and other stakeholders. Often, performance is compared across providers using indicators in one time period, for example a year. However it is often important to assess changes in the performance of individual providers over time. Such analyses can be used to determine if any providers have significant improvements, deteriorations, unusual patterns or systematic changes in performance. Studies which monitor healthcare provider performance in this way have to date typically been limited to comparing performance in the most recent period with performance in a previous period. It is also important to consider a longer‐term view of performance and assess changes over more than two periods. In this paper, we develop test statistics that account for variable numbers of prior performance indicators, and show that these are particularly useful for assessing consecutive improvements or deteriorations in performance. We apply the tests to coronary artery bypass graft mortality rates in New York State hospitals, and mortality data from Australian and New Zealand intensive care units. Although our applications are to medical data, the new tests have broad application in other areas.
Does the engineering culture in UK higher education advance women’s careers?

Current research suggests that increases in the number of women studying engineering and related courses have not been matched by a similar increase in women engineering professionals. This sug ests that although women are attracted to engineering, their experiences in higher education (HE) discourage them from pursuing their chosen career path. The paper explores whether the masculine culture of the engineering sector permeates the culture and curriculum in engineering HE, and if it does, what impact this has on women engineering students. This is achieved through semi‐structured, qualitative interviews with a range of female engineering students from both the pre and post 1992 university sectors. Findings indicate that while women are not deterred from pursuing their chosen engineering career, the culture and structure of the engineering education system has been designed for a male audience. This suggests that engineering HE does not benefit most female students to the same extent as male students. It is recommended that HE engineering must review its structure, culture, practices and curriculum if it is to retain female engineering graduates and to attract more women into the sector. This paper fulfils an identified gap in research on women in engineering and will be of interest to university engineering departments and faculties and the Engineering Council, as well as to those in the fields of social policy, education and equal opportunities.
Cellular Localization and Regulation of Glutamine Synthetase in Primary Cultures of Brain Cells from Newborn Mice

Abstract: The cellular distribution of glutamine synthetase was determined by indirect immunofluorescence in cultures of dissociated brain cells from newborn mice. The enzyme could be detected in about 40% of all cells, among which cells with astrocytic morphology were clearly identified. Treatment with the glucocorticoid dexamethasone led to a strong increase in the number of positively stained cells. Enzyme induction by dexamethasone was maximal after 36 h and at a concentration of 0.1 μM. Under these conditions glutamine synthetase specific activity was elevated about sixfold. Steroid hormones other than corticosteroids had no effect. The basal activity in these cultures was near that found in brains of newborn mice, but far below the activity in adult brains, showing that in culture the normal development of these cells is disturbed. A comparison of glial and neuronal cell lines showed that glutamine synthetase is present in both types of cell lines at a very low specific activity. Inducibility of this enzyme by dexamethasone was found in glial but not in neuronal cell lines.
FreeDigiter: a contact-free device for gesture control

We present FreeDigiter, an interface for mobile devices which enables rapid entry of digits using finger gestures. FreeDigiter is an infrared proximity sensor with a dual axis accelerometer and requires little signal processing. Initial laboratory experiments attain accuracy rates of 99.0%; and the system is tolerant to highly varying lighting conditions. The FreeDigiter system requires little power and could be implemented in a very small form factor appropriate for controlling in ear hearing aids, small MP3 players, and hands-free mobile phone headsets.
Sharing of clinical trial data among trialists: a cross sectional survey

Objective To investigate clinical trialists’ opinions and experiences of sharing of clinical trial data with investigators who are not directly collaborating with the research team. Design and setting Cross sectional, web based survey. Participants Clinical trialists who were corresponding authors of clinical trials published in 2010 or 2011 in one of six general medical journals with the highest impact factor in 2011. Main outcome measures Support for and prevalence of data sharing through data repositories and in response to individual requests, concerns with data sharing through repositories, and reasons for granting or denying requests. Results Of 683 potential respondents, 317 completed the survey (response rate 46%). In principle, 236 (74%) thought that sharing de-identified data through data repositories should be required, and 229 (72%) thought that investigators should be required to share de-identified data in response to individual requests. In practice, only 56 (18%) indicated that they were required by the trial funder to deposit the trial data in a repository; of these 32 (57%) had done so. In all, 149 respondents (47%) had received an individual request to share their clinical trial data; of these, 115 (77%) had granted and 56 (38%) had denied at least one request. Respondents’ most common concerns about data sharing were related to appropriate data use, investigator or funder interests, and protection of research subjects. Conclusions We found strong support for sharing clinical trial data among corresponding authors of recently published trials in high impact general medical journals who responded to our survey, including a willingness to share data, although several practical concerns were identified.
Breast Cancer Data Analytics With Missing Values: A study on Ethnic, Age and Income Groups

An analysis of breast cancer incidences in women and the relationship between ethnicity and survival rate has been an ongoing study with recorded incidences of missing values in the secondary data. In this paper, we study and report the results of breast cancer survival rate by ethnicity, age and income groups from the dataset collected for 53593 patients in South East England between the years 1998 and 2003. In addition to this, we also predict the missing values for the ethnic groups in the dataset. The principle findings in our study suggest that: 1) women of white ethnicity in South East England have a highest percentage of survival rate when compared to the black ethnicity, 2) High income groups have higher survival rates to that of lower income groups and 3) Age groups between 80-95 have lower percentage of survival rate.
A Spatial Bargaining Theory of Government Formation in Parliamentary Systems

A theory of government formation in parliamentary systems is developed from a model incorporating policy-oriented parties with spatial preferences and a formation process in which parties are selected in sequence to attempt to form a government. A government is formed when the policy proposed by the party selected is sustained on a vote of confidence. The equilibria identify the government and the policy it will implement and depend on the configuration of preferences and on the government formation process. For example, in a political system with two large parties and one small party and in which one of the two large parties will be selected to attempt to form a government, the government will be formed by a large party with the support of the small party. The policy will reflect the preferences of the small party but will be closer to the ideal point of the large party.