Miracle-dz/UniFAR-FTUs huggingface dataset:
OPTIMAL AND NEAR OPTIMAL CONTROL OF A TWO‐PART‐TYPE STOCHASTIC MANUFACTURING SYSTEM WITH DYNAMIC SETUPS

This paper deals with a manufacturing system consisting of a single machine subject to random failures and repairs. The machine can produce two types of parts. When the production is switched from one part type to the other, a random setup time is incurred at a constant cost rate. The objective is to track the demand, while keeping the work‐in‐process as close as possible to zero for both products. The problem is formulated as an optimal stochastic control problem. The optimal policy is obtained numerically by discretizing the continuous time continuous state opti‐mality conditions using a Markov chain approximation technique. The discretized optimality conditions are shown to correspond to an infinite horizon, discrete time, discrete state dynamic programming problem. The optimal setup policy is shown to have two different structures depending on the parameters of the system. A heuristic policy is proposed to approximate the optimal setup policy. Simulation results show that the heuristic policy is a very good approximation for sufficiently reliable systems.
Update Propagator for Joint Scalable Storage

In recent years, the scalability of web applications has become critical. Web sites get more dynamic and customized. This increases servers' workload. Furthermore, the future increase of load is difficult to predict. Thus, the industry seeks for solutions that scale well. With current technology, almost all items of system architectures can be multiplied when necessary. There are, however, problems with databases in this respect. The traditional approach with a single relational database has become insufficient. In order to achieve scalability, architects add a number of different kinds of storage facilities. This could be error prone because of inconsistencies in stored data. In this paper we present a novel method to assemble systems with multiple storages. We propose an algorithm for update propagation among different storages like multi-column, key-value, and relational databases.
Supporting parametrization of business games for multiple educational settings

The parametrization of business games benefits from the usage of a multi-tier architecture and software services. This paper shows that the multi-tier concept supports parametrization of business games for multiple educational settings, where for example the number of players, the scenario to use, and the underlying simulation model may differ each time. Using the concept of multi-tier architectures, we implemented a strict decoupling between the graphical user interface layer, the business logic layer, and the resource management layer. This decoupling is supported by using interfaces between the different services. The services have been successfully used to develop, adapt, and use the distributor game for different educational settings. Further research will focus on extending the set of services to better support changes in graphical user interfaces that players use and the specification of the services' parameters themselves using a Web-based user interface.
The fundamentals of prioritising requirements

In systems development projects the activity of prioritising requirements is carried out during the requirements engineering phase. The current trend is to develop systems that are quick-tomarket, bound by strict budget constraints, and released in progressive versions. The inherent risks with this trend include not adequately fulfilling the core requirements or simply missing important ones altogether. This research paper specifies the fundamental requirements for a prioritisation process. The research considers where prioritisation should take place during the requirements phase, and who should be involved in the prioritisation process. Current techniques such as AHP and QFD are analysed as to how well they satisfy the fundamental needs of a successful prioritisation process. A framework is described that incorporates the many aspects of prioritising requirements. These aspects include balancing the various viewpoints and goals of the stakeholders, determining the value of each stakeholder’s subjective opinion, and aligning the requirements to the business objectives of the systems development project. The Requirements Prioritisation Tool (RPT), which is based on the framework, is presented and compared with current methods. It is also evaluated with case studies for how well it satisfies the fundamental requirements of an efficient prioritisation process.
Exocyst-Dependent Membrane Addition Is Required for Anaphase Cell Elongation and Cytokinesis in Drosophila

Mitotic and cytokinetic processes harness cell machinery to drive chromosomal segregation and the physical separation of dividing cells. Here, we investigate the functional requirements for exocyst complex function during cell division in vivo, and demonstrate a common mechanism that directs anaphase cell elongation and cleavage furrow progression during cell division. We show that onion rings (onr) and funnel cakes (fun) encode the Drosophila homologs of the Exo84 and Sec8 exocyst subunits, respectively. In onr and fun mutant cells, contractile ring proteins are recruited to the equatorial region of dividing spermatocytes. However, cytokinesis is disrupted early in furrow ingression, leading to cytokinesis failure. We use high temporal and spatial resolution confocal imaging with automated computational analysis to quantitatively compare wild-type versus onr and fun mutant cells. These results demonstrate that anaphase cell elongation is grossly disrupted in cells that are compromised in exocyst complex function. Additionally, we observe that the increase in cell surface area in wild type peaks a few minutes into cytokinesis, and that onr and fun mutant cells have a greatly reduced rate of surface area growth specifically during cell division. Analysis by transmission electron microscopy reveals a massive build-up of cytoplasmic astral membrane and loss of normal Golgi architecture in onr and fun spermatocytes, suggesting that exocyst complex is required for proper vesicular trafficking through these compartments. Moreover, recruitment of the small GTPase Rab11 and the PITP Giotto to the cleavage site depends on wild-type function of the exocyst subunits Exo84 and Sec8. Finally, we show that the exocyst subunit Sec5 coimmunoprecipitates with Rab11. Our results are consistent with the exocyst complex mediating an essential, coordinated increase in cell surface area that potentiates anaphase cell elongation and cleavage furrow ingression.
Evidence of bias in estimates of influenza vaccine effectiveness in seniors.

BACKGROUND Numerous observational studies have reported that seniors who receive influenza vaccine are at substantially lower risk of death and hospitalization during the influenza season than unvaccinated seniors. These estimates could be influenced by differences in underlying health status between the vaccinated and unvaccinated groups. Since a protective effect of vaccination should be specific to influenza season, evaluation of non-influenza periods could indicate the possible contribution of bias to the estimates observed during influenza season. METHODS We evaluated a cohort of 72,527 persons 65 years of age and older followed during an 8 year period and assessed the risk of death from any cause, or hospitalization for pneumonia or influenza, in relation to influenza vaccination, in periods before, during, and after influenza seasons. Secondary models adjusted for covariates defined primarily by diagnosis codes assigned to medical encounters. RESULTS The relative risk of death for vaccinated persons compared with unvaccinated persons was 0.39 [95% confidence interval (95% CI), 0.33-0.47] before influenza season, 0.56 (0.52-0.61) during influenza season, and 0.74 (0.67-0.80) after influenza season. The relative risk of pneumonia hospitalization was 0.72 (0.59-0.89) before, 0.82 (0.75-0.89) during, and 0.95 (0.85-1.07) after influenza season. Adjustment for diagnosis code variables resulted in estimates that were further from the null, in all time periods. CONCLUSIONS The reductions in risk before influenza season indicate preferential receipt of vaccine by relatively healthy seniors. Adjustment for diagnosis code variables did not control for this bias. In this study, the magnitude of the bias demonstrated by the associations before the influenza season was sufficient to account entirely for the associations observed during influenza season.
Peripheral Serotonin Regulates Maternal Calcium Trafficking in Mammary Epithelial Cells during Lactation in Mice

Lactation is characterized by massive transcellular flux of calcium, from the basolateral side of the mammary alveolar epithelium (blood) into the ductal lumen (milk). Regulation of calcium transport during lactation is critical for maternal and neonatal health. The monoamine serotonin (5-HT) is synthesized by the mammary gland and functions as a homeostatic regulation of lactation. Genetic ablation of tryptophan hydroxylase 1 (Tph1), which encodes the rate-limiting enzyme in non-neuronal serotonin synthesis, causes a deficiency in circulating serotonin. As a consequence maternal calcium concentrations decrease, mammary epithelial cell morphology is altered, and cell proliferation is decreased during lactation. Here we demonstrate that serotonin deficiency decreases the expression and disrupts the normal localization of calcium transporters located in the apical (PMCA2) and basolateral (CaSR, ORAI-1) membranes of the lactating mammary gland. In addition, serotonin deficiency decreases the mRNA expression of calcium transporters located in intracellular compartments (SERCA2, SPCA1 and 2). Mammary expression of serotonin receptor isoform 2b and its downstream pathways (PLCβ3, PKC and MAP-ERK1/2) are also decreased by serotonin deficiency, which might explain the numerous phenotypic alterations described above. In most cases, addition of exogenous 5-hydroxy-L-tryptophan to the Tph1 deficient mice rescued the phenotype. Our data supports the hypothesis that serotonin is necessary for proper mammary gland structure and function, to regulate blood and mammary epithelial cell transport of calcium during lactation. These findings can be applicable to the treatment of lactation-induced hypocalcemia in dairy cows and can have profound implications in humans, given the wide-spread use of selective serotonin reuptake inhibitors as antidepressants during pregnancy and lactation.
Alternative prior distributions for variable selection with very many more variables than observations

The problem of variable selection in regression and the generalised linear model is addressed. We adopt a Bayesian approach with priors for the regression coefficients that are scale mixtures of normal distributions and embody a high prior probability of proximity to zero. By seeking modal estimates we generalise the lasso. Properties of the priors and their resultant posteriors are explored in the context of the linear and generalised linear model especially when there are more variables than observations. We develop EM algorithms that embrace the need to explore the multiple modes of the non log-concave posterior distributions. Finally we apply the technique to microarray data using a probit model to find the genetic predictors of osteo- versus rheumatoid arthritis. Keywords: Bayesian modal analysis, Variable selection in regression, Scale mixtures of normals, Improper Jeffreys prior, lasso, Penalised likelihood, EMalgorithm, Multiple modes, More variables than observations, Singular value decomposition, Latent variables, Probit regression.
New X-chromosomal interactors of dFMRP regulate axonal and synaptic morphology of brain neurons in Drosophila melanogaster

Fragile X syndrome is a neuro-developmental disease caused by transcriptional inactivation of the gene FMR1 (fragile X mental retardation 1) and loss of its protein product FMRP. FMRP has multiple neuronal functions which are implemented together with other proteins. To better understand these functions, the aim of this study was to reveal new protein interactors of dFMRP. In a forward genetic screen, we isolated ethyl-metanesulphonate-induced X-chromosomal modifier mutations of dfmr1. Four of them were identified and belong to the genes: peb/hindsight, rok, shaggy and ras. They are dominant suppressors of the dfmr1 overexpression wing phenotype ‘notched wings’. These mutations dominantly affected the axonal and synaptic morphology of the lateral ventral neurons (LNv's) in adult Drosophila brains. Heterozygotes for each of them displayed effects in the axonal growth, pathfinding, branching and in the synapse formation of these neurons. Double heterozygotes for both dfmr1-null mutation and for each of the suppressor mutations showed robust genetic interactions in the fly central nervous system. The mutations displayed severe defects in the axonal growth and synapse formation of the LNv's in adult brains. Our biochemical studies showed that neither of the proteins – Rok, Shaggy, Peb/Hnt or Ras – encoded by the four mutated genes regulates the protein level of dFMRP, but dFMRP negatively regulates the protein expression level of Rok in the brain. Altogether, these data suggest that Rok, Shaggy, Peb/Hnt and Ras are functional partners of dFMRP, which are required for correct wing development and for neuronal connectivity in Drosophila brain.
Vestibular rehabilitation with virtual reality in spinocerebellar ataxia

The purpose of this study was to verify the benefits of the vestibular rehabilitation (VR) with virtual reality through the assessment before and after the application of the Berg Balance Scale (BBS) in four cases of spinocerebellar ataxia (SCA). The cases were underwent the following procedures: anamnesis, ear inspection, vestibular assessment and application of the BBS before and after VR with virtual reality using games from Wii Fit device. The cases describe four patients that were diagnosed with genetically inherited SCA (two type 2, one type 3 and one still under investigation), three of them were female and one was male, with ages ranging from 30 to 62 years. The patients presented otoneurological symptoms and the vestibular test showed the presence of semi-spontaneous nystagmus, absence of post-rotational nystagmus, hyporeflexia, and asymmetric directional preponderance of the nystagmus in the caloric test. Patients from cases 1 and 2 have showed an improvement in motor coordination and in body balance, even though the score presented by the BBS had demonstrated medium risk for falling before and after the exercises. In case 3, the patient’s loss of balance and BBS score have improved, presenting low risk of falling; whereas the patient in case 4 did not show any improvement in the assessment after the exercises. This case study shows the applicability of VR exercises with virtual stimuli in SCA with improved motor coordination and postural balance.
Smart Systems and Simple Agents: Industry Pricing by Parallel Rules

A standard macroeconomic premise asserts that the aggregate economy is a single, smart representative agent using dynamic programming. This paper explores an alternative conjecture that the dynamic behavior of markets is often better interpreted as a collection of many heterogeneous, rule-of-thumb agents who are loosely-coupled in smart systems — much like the contrast of a single serial processor with global information versus parallel processors with limited communications. The illustration used in this paper is the contrast between an Euler equation for a manufacturing producer price index and variants of Jacobi solutions of an open-Leontief model of producer prices in a distributed production system.
The impact of momentary pain and fatigue on physical activity in women with osteoarthritis.

OBJECTIVE To examine the daily life patterns of both pain and fatigue symptoms and objective physical activity (using ambulatory monitoring) in women with symptomatic lower extremity osteoarthritis (OA), and to evaluate how momentary symptoms impact physical activity levels. METHODS Sixty women age >or=55 years (40 with knee or hip OA and 20 matched controls) participated in an observational study involving 2 laboratory visits and a 5-day home data collection period. During the home period physical activity levels were assessed continuously, and symptoms were inputted 6 times a day into an enhanced accelerometer at prespecified time points. RESULTS In the OA group as compared with the control group over the 5-day period, average physical activity was significantly lower (P = 0.02) and peak physical activity tended to be lower (P = 0.06). Although pain and fatigue overall were of moderate severity in this cohort, fatigue escalated throughout each day. In a hierarchical linear model, fatigue was most strongly associated with physical activity (beta = -30.1, P < 0.0001). Pain was more weakly associated with physical activity and in the direction opposite to what was hypothesized (beta = 16.9, P = 0.04). CONCLUSION Momentary reports of fatigue negatively predicted physical activity levels and were much more strongly related to physical activity than momentary pain. In order to help women with knee or hip OA manage symptoms and become more physically active, it may be important to emphasize fatigue management.
Construction of minimal DFAs from biological motifs

Deterministic finite automata (DFAs) are constructed for various purposes in computational biology. Little attention, however, has been given to the efficient construction of minimal DFAs. In this article, we define simple non-deterministic finite automata (NFAs) and prove that the standard subset construction transforms NFAs of this type into minimal DFAs. Furthermore, we show how simple NFAs can be constructed from two types of patterns popular in bioinformatics, namely (sets of) generalized strings and (generalized) strings with a Hamming neighborhood.
A Rate-Splitting Based Bound-Approaching Transmission Scheme for the Two-User Symmetric Gaussian Interference Channel with Common Messages

This paper is concerned with a rate-splitting based transmission strategy for the two-user symmetric Gaussian interference channel that contains common messages only. Each transmitter encodes its common message into multiple layers by multiple codebooks that are drawn from one separate code book, and transmits the superposition of the messages corresponding to these layers; each receiver decodes the messages from all layers of the two users successively. Two schemes are proposed for decoding order and optimal power allocation among layers respectively. With the proposed decoding order scheme, the sum-rate can be increased by rate-splitting, especially at the optimal number of rate-splitting, using average power allocation in moderate and weak interference regime. With the two proposed schemes at the receiver and the transmitter respectively, the sum-rate achieves the inner bound of HK without time-sharing. Numerical results show that the proposed optimal power allocation scheme with the proposed decoding order can achieve significant improvement of the performance over equal power allocation, and achieve the sum-rate within two bits per channel use (bits/channel use) of the sum capacity.
Eco-Labeled Seafood: Determinants for (Blue) Green Consumption

Eco-certification has become an increasingly popular market-based tool in the endeavor to reduce negative environmental impacts from fisheries and aquaculture. In this study, we aimed at investigating which psychological consumer characteristics influence demand for eco-labeled seafood by correlating consumers’ stated purchasing of eco-labeled seafood to nine variables: environmental knowledge regarding seafood production, familiarity with eco-labels, subjective knowledge, pro-environmental self-identification, sense of personal responsibility, concern for negative environmental impacts from seafood production, perceived consumer effectiveness, gender and education. Questionnaires were distributed to consumers in Stockholm, Sweden, and the data were tested with multiple regression analysis using linear modeling and model averaging ( n = 371). Two variables were the best predictors of stated purchasing of eco-labeled seafood: (i) recognition and understanding of eco-labels for seafood (Marine Stewardship Council, Fish for Life, Aquaculture Stewardship Council and KRAV); and (ii) concern for negative environmental impacts associated with seafood production. Meanwhile, consumer environmental knowledge was a weaker predictor. Results from this study suggest that strengthening the emotional component of consumer decision-making and improving the level of consumer familiarity with seafood eco-labels could stimulate more pro-environmental seafood consumption.
Adaptive Ant Colony Algorithm for the VRP Solution of Logistics Distribution

In order to conquer the premature convergence problem and lower the cost of computing of the basic Ant Colony Algorithm (ACA), we present an adaptive ant colony algorithm, named AACA, coupled with a Pareto Local Search (PLS) algorithm and apply to the Vehicle Routing Problem (VRP) and Capacitated VRP (CVRP). By using the information entropy, the algorithm adjusts the pheromone updating strategy adaptively. Experiments on various aspects of the algorithm and computational results for some benchmark problems are reported. We compare our approach with some classic, powerful meta-heuristics and show that the proposed approach can obtain the better quality of the solutions.
A nuanced understanding of Internet use and non-use among the elderly

This article examines explanations for both Internet use and non-use by older individuals. Older adults are often considered a homogeneous group with uniform reasons for Internet non-use, or when they are online, practising a uniform range of activities. The study gathered data concerning senior non-users through a national telephone survey. Data concerning senior Internet users were obtained through a nationally representative online survey. The findings suggest that although a substantial part of the senior Internet non-users live in surroundings that enable Internet uptake, they seem to be less eager or unable to do so. Important differences among senior non-users are based on gender, age, education, household composition and attitude towards the Internet. Differences among users were based on life stage, social environment and psychological characteristics. This article thus reveals that older citizens are a very diverse group in which some are more likely to be digitally excluded than others.
Position Paper : The Potential of Sampling for Dynamic Analysis

This paper presents an argument for distributing dynamic software analyses to large populations of users in order to locate bugs that cause security flaws. We review a collection of dynamic analysis systems and show that, despite a great deal of effort from the research community, their performance is still too low to allow their use in the field. We then show that there are effective sampling mechanisms for accelerating a wide range of powerful dynamic analyses. These mechanisms reduce the rate at which errors are observed by individual analyses, but this loss can be offset by the subsequent increase in test population. Nevertheless, there are unsolved issues in this domain that deserve attention if this technique is to be widely utilized.