Miracle-dz/UniFAR-FTUs huggingface dataset:
Development of an Experimental Testbed for Research in Lithium-Ion Battery Management Systems

Advanced electrochemical batteries are becoming an integral part of a wide range of applications from household and commercial to smart grid, transportation, and aerospace applications. Among different battery technologies, lithium-ion (Li-ion) batteries are growing more and more popular due to their high energy density, high galvanic potential, low self-discharge, low weight, and the fact that they have almost no memory effect. However, one of the main obstacles facing the widespread commercialization of Li-ion batteries is the design of reliable battery management systems (BMSs). An efficient BMS ensures electrical safety during operation, while increasing battery lifetime, capacity and thermal stability. Despite the need for extensive research in this field, the majority of research conducted on Li-ion battery packs and BMS are proprietary works conducted by manufacturers. The available literature, however, provides either general descriptions or detailed analysis of individual components of the battery system, and ignores addressing details of the overall system development. This paper addresses the development of an experimental research testbed for studying Li-ion batteries and their BMS design. The testbed can be configured in a variety of cell and pack architectures, allowing for a wide range of BMS monitoring, diagnostics, and control technologies to be tested and analyzed. General considerations that should be taken into account while designing Li-ion battery systems are reviewed and different technologies and challenges commonly encountered in Li-ion battery systems are investigated. This testbed facilitates future development of more practical and improved BMS technologies with the aim of increasing the safety, reliability, and efficiency of existing Li-ion battery systems. Experimental results of initial tests performed on the system are used to demonstrate some of the capabilities of the developed research testbed. To the authors’ knowledge, this is the first work that addresses, at the same time, the practical battery system development issues along with the theoretical and technological challenges from cell to pack level.
LOCAL CLUB CONDENSATION AND L-LIKENESS

Abstract We present a forcing to obtain a localized version of Local Club Condensation, a generalized Condensation principle introduced by Sy Friedman and the first author in [3] and [5]. This forcing will have properties nicer than the forcings to obtain this localized version that could be derived from the forcings presented in either [3] or [5]. We also strongly simplify the related proofs provided in [3] and [5]. Moreover our forcing will be capable of introducing this localized principle at κ while simultaneously performing collapses to make κ become the successor of any given smaller regular cardinal. This will be particularly useful when κ has large cardinal properties in the ground model. We will apply this to measure how much L-likeness is implied by Local Club Condensation and related principles. We show that Local Club Condensation at κ+ is consistent with ¬☐κ whenever κ is regular and uncountable, generalizing and improving a result of the third author in [14], and that if κ ≥ ω2 is regular, CC(κ+) - Chang’s Conjecture at κ+ - is consistent with Local Club Condensation at κ+, both under suitable large cardinal consistency assumptions.
Query Optimization to Meet Performance Guarantees for Wide Area Applications

Recent technology advances have enabled mediated query processing with Internet accessible WebSources. A characteristic of WebSources is that their access costs exhibit transient behavior. These costs depend on the network and server workloads, which are often affected by the time of day, day, etc. Given a distribution of access costs, a potential optimization strategy is based on the least expected cost (LEC). An LEC optimizer chooses WebSource(s) for remote relations, and query execution plan(s), that minimize the expected cost of the plan. A drawback of LEC optimization is that it is not a good predictor of the actual performance of a query. In a noisy environment, the actual latency (response time) of a query will occur within some range of values. A performance guarantee (PG) for a noisy environment will correspond to "at least X percentage of queries will have a latency of less than T units of time". In this paper, we propose an optimizer strategy that is sensitive to the objective of meeting performance guarantees (PG). For each query plan, a PG sensitive optimizer uses both the expected value of the cost distribution of the plan, as well as the expected delay of the plan. The delay is the deviation above the expected value. The plan is then characterized by an Expected–Cost–Delay (ECD) utility measure based on the expected value and expected delay of the cost distribution. The optimizer can choose different strategies to match a desired performance guarantee. The optimizer behavior can be optimistic, where it ignores the expected delay, or it can be conservative, where it emphasizes the expected delay. This trade-off of optimizer behavior is controlled by a cost factor and a delay factor. We examine various characteristics that impact the behavior of the PG optimizer. We validate our strategy using a simulation based study of the optimizer’s aggregate behavior, for a set of queries and a set of remote relations on WebSources. We also experimentally validate the optimizer using traces of access costs for real WebSources.
Performance analysis of a statistical and an evolutionary neural network based classifier for the prediction of industrial bankruptcy

Corporate failure has been causing not only considerable concern to the banks, government and financial institutions, but also financial embarrassment to the industrial units by seriously threatening their very viability. Therefore developing a model to predict potential industrial sickness as an early warning screen is the need of the hour. Various prediction models using financial ratios as predictor variables and employing statistical techniques or neural networks as classifiers have been proposed. However, these models consider the selection of only a few financial ratios according to a choice based criteria. In this aspect, an earlier investigation by the authors on the application of principal component analysis (PCA) which allows any number of financial ratios as input thereby dispensing with the need to choose selective financial ratios, has turned out to be beneficial. Its ultimate function is to reduce the dimensionality of data sets and represent the same by a set of principal components, which intrinsically represent the information content of all the financial ratios put together. In this study we analyze the performance of two prediction models making use of the principal components of financial ratios as their input but with multiple discriminant analysis and an evolutionary neural network as their classifiers, The performance has been analyzed over financial data of 72 Indian manufacturing companies for the financial years 1998-2001, with 21 financial ratios as predictors
Angiogenesis in the female reproductive system

In adult tissues, capillary growth (angiogenesis) occurs normally during tissue repair, such as in healing of wounds and fractures. Rampant capillary growth is associated with various pathological conditions, including tumor growth, retinopathies, hemangiomas, fibroses and rheumatoid arthritis. The female reproductive organs (i.e., ovary, uterus, and placenta) exhibit dynamic, periodic growth and regression accompanied by equally dramatic changes in rates of blood flow. It is not surprising, therefore, that they are some of the few adult tissues in which angiogenesis occurs as a normal process. Thus, the female reproductive system provides a unique model for studying regulation of angiogenesis during growth and differentiation of normal adult tissues. Ovarian, uterine, and placental tissues recenüy have been shown to contain and produce angiogenic and anti‐angiogenic factors. This review discusses the current state of knowledge regarding angiogenic processes and their regulation in female reproductive tissues. In addition, implications of this research for regulation of fertility as well as for control of angiogenesis in other normal and pathological processes are discussed. —Reynolds, L. P.; Killilea, S. D. ; Redmer, D. A. Angiogenesis in the female reproductive system. FASEB J. 6: 886‐892; 1992.
Bandwidth-aware routing for TDMA-based mobile ad hoc networks

Interference problem makes a significant impact on the performance of a mobile ad hoc network. The paper studies TDMA-based timeslot allocation to schedule links efficiently, and presents an efficient distributed timeslot assignment algorithm, which is used together with the route discovery mechanism of AODV to setup bandwidth-aware QoS routes B-AODV. Simulation results show that compared with the shortest path routing, our proposed QoS routing algorithm increases packet delivery ratio and improve end-to-end average packet delay.
In Vitro Cestocidal Activity of Thymol on Mesocestoides corti Tetrathyridia and Adult Worms

Nothing is known about the possible effect of thymol or other compounds of essential oils against the adult worms of cestodes. The aim of the present work was to determine in vitro cestodicidal activity of thymol against Mesocestoides corti adult worms. Moreover, the in vitro effect on tetrathyridia was also demonstrated. Tetrathyridia exposed to different concentrations of thymol showed a concentration and time-dependent effect. At lower concentrations, the main change observed was mainly in morphology, with larvae exhibiting an elongation of the body. When tetrathyridia were exposed to higher concentrations, increased surface alterations and damage were detected. The body appeared elongated and flattened, and a complete loss of morphology and microtriches was observed. Thymol was able to kill M. corti tetrathyridia, since following inoculation of treated parasites in mice no parasites could be recovered. The effect on M. corti adult worms was dose and time-dependent. Changes in motility coincide with the tissue damage were observed at the structural and ultrastructural level. Thymol caused severe damages to both developmental stages analyzed. Damages were more significant in fully segmented worms. The data reported in this paper demonstrate a clear in vitro effect of thymol against M. corti tetrathyridia and adult worms.
Scalable similar image search by joint indices

Text-based image search is able to return desired images for simple queries, but has limited capabilities in finding images with additional visual requirements. As a result, an image is usually used to help describe the appearance requirements. In this demonstration, we show a similar image search system that can support the joint textual and visual query. We present an efficient and effective indexing algorithm, neighborhood graph index, which is suitable for millions of images, and use it to organize joint inverted indices to search over billions of images.
COMPLEXITY-PENALIZED MODEL SELECTION FOR FEEDWATER INFERENTIAL MEASUREMENTS IN NUCLEAR POWER PLANTS

ABSTRACT Inferential sensing is a method which can be used to evaluate the parameters of aphysical system based on a set of measurements related to those parameters. The mostcommon method of inferential sensing uses mathematical models to infer the parametervalue from correlated sensor values. However, inferential sensing is an ill-posed problembecause of non-uniqueness and instability of the solution. This research shows thatcomplexity-penalized model selection in the form of the minimum description lengthprinciple can be used to produce a unique solution and regularization – to stabilize thesolution. The important example of monitoring the nuclear power plant feedwater flowrate is given using data from Florida Power Corporation's Crystal River Nuclear PowerPlant. 1. INTRODUCTION In the United States, the operating limit of a nuclear power generating plant is tiedto the plant's thermal power production. The majority of Pressurized Water Reactors(PWR) utilize venturi meters to measure feedwater flowrate which is used to estimate reactor thermal power. However, venturi meters are susceptible to measurement drift dueto corrosion products building up near the meter's orifice. This fouling increases themeasured pressure drop across the meter, which in turn results in an over-estimation of theflow rate. Consequently, reactor thermal power is also overestimated. To stay withinregulatory limits, reactor operators have to derate their plants or justify a compensatingprocess. On average, the amount of derating varies from insignificant to 3% of full power.For example a derating of 2% in an 800 MWe unit will cost the utility ~$20,000 per day.To overcome this problem, an inferential sensing system has been developed at theUniversity of Tennessee to infer the "true" feedwater flow rate (Upadhyaya, 1994; Gribok,1999). Twenty four plant variables have been selected as predictor variables, based onengineering judgment and their high correlation with feedwater flow rate and a linearregression model has been chosen as a predictive tool. The predicted value of feedwaterflow rate is not affected by fouling because the linear regression model is built on the datacorresponding to the initial operation time period before fouling starts. The differencebetween the predicted value and the actual measurement defines a drift due to fouling. InGribok (1999) the existence and uniqueness of the solution (feedwater flow rate
RELATIONSHIP BETWEEN ONLINE AND FACE-TO-FACE CONNECTEDNESS AND GENERAL HEALTH AMONG UNDERGRADUATE STUDENTS IN MALAYSIA

This study was aimed at examining the relationship and differences between online connectedness and face-to-face connectedness and general health among undergraduate students in Malaysia. A quantitative research design was used and 419 participants completed the self-administered questionnaires including social connectedness scale-revised, Facebook social connectedness scale, and general health questionnaire (GHQ-12). Results of Pearson Correlation showed that social (face-to-face) connectednesss and online connectedness have significant positive correlation with general health. Moreover, Multiple Regression analysis showed that social connectedness is significant predictors for general health. This study may have implications for mental health professionals.
Performance comparison of subjective assessment methodologies for Light Field Displays

User experience of 3D visualization on light field displays depends on several technical and human factors. One of these factors is Region of Interest, which determines the properties of visualization, such as the level of zoom. In this paper we present the results of three experiments investigating the effect of level of zoom on Quality of Experience. These experiments use different subjective quality assessment methods to evaluate user experience. Beyond the subjective preference of the visualized 3D content, visual comfort is measured as well.
Regulation of insulin-producing cells in the adult Drosophila brain via the tachykinin peptide receptor DTKR

SUMMARY Drosophila insulin-like peptides (DILPs) play important hormonal roles in the regulation of metabolic carbohydrates and lipids, but also in reproduction, growth, stress resistance and aging. In spite of intense studies of insulin signaling in Drosophilag the regulation of DILP production and release in adult fruit flies is poorly understood. Here we investigated the role of Drosophila tachykinin-related peptides (DTKs) and their receptors, DTKR and NKD, in the regulation of brain insulin-producing cells (IPCs) and aspects of DILP signaling. First, we show DTK-immunoreactive axon terminations close to the presumed dendrites of the IPCs, and DTKR immunolabeling in these cells. Second, we utilized targeted RNA interference to knock down expression of the DTK receptor, DTKR, in IPCs and monitored the effects on Dilp transcript levels in the brains of fed and starved flies. Dilp2 and Dilp3, but not Dilp5, transcripts were significantly affected by DTKR knockdown in IPCs, both in fed and starved flies. Both Dilp2 and Dilp3 transcripts increased in fed flies with DTKR diminished in IPCs whereas at starvation the Dilp3 transcript plummeted and Dilp2 increased. We also measured trehalose and lipid levels as well as survival in transgene flies at starvation. Knockdown of DTKR in IPCs leads to increased lifespan and a faster decrease of trehalose at starvation but has no significant effect on lipid levels. Finally, we targeted the IPCs with RNAi or ectopic expression of the other DTK receptor, NKD, but found no effect on survival at starvation. Our results suggest that DTK signaling, via DTKR, regulates the brain IPCs.
Processor autonomy on SIMD architectures

Flynn classified high speed (parallel) computers into four categories. Of these, the single instruction stream, multiple data stream (SIMD) processor array machines have become very popular in practical parallel processing. The commercially available processor array machines display important architectural variety, while belonging to SIMD category of machines. In this paper, we further categorize the SIMD class of machines on the basis of processor autonomy of the machines, which is the capability of the individual processing elements (PEs) to act autonomously in some significant way. For each autonomy class, we provide examples and illustrate some of its important algorithmic features. We also discuss how each type of autonomy can be simulated on machines without it. We study the addressing autonomous class of machines in greater detail by discussing three algorithms on machines with and without that type of autonomy. A discussion on how processor autonomy appears in algorithms in the literature and what impact they can have in the future machines also is provided.
Risk Perception and Personality Facets

The present study examined the relationship between personality facets and risk perception using the Big Five model. A broad range of hazards was considered: energy production, pollutants, sex, deviance, addictions, weapons, common individual hazards, outdoor activities, medical care, and psychotropic drugs. Key personality facets that were most predictive of risk perception compared to (or in association with) age, gender, educational level, and personality factors were identified. They were moderation and tranquility (associated with energy production or pollutants), rationality and efficiency (associated with pollutants, sex, deviance, addictions, or weapons), creativity, imagination, and reflection (associated with energy production, pollutants, or common individual hazards), self‐disclosure (associated with outdoor activities), and nurturance and tenderness (associated with sex, deviance, addictions, or medical care). These facets may be recommended for use in future studies on risk perception.
OPFE: Outsourcing Computation for Private Function Evaluation

Outsourced secure multiparty computation (SMC) protocols allow resource-constrained devices to execute input-private computation with great efficiency. Unfortunately, existing outsourced SMC protocols require that all parties know the function being evaluated, precluding applications where the function itself must remain private. We develop the first linear-complexity protocols for outsourcing private function evaluation (PFE), SMC protocols that provide input and function privacy. Assuming a semi-honest function holder, we build on existing two-party PFE constructions to develop outsourced protocols that are secure against a semi-honest, covert, or malicious outsourcing server and malicious mobile participants. To do this, we develop a garbling technique for combining public and private sub-circuits in a single computation. This allows us to apply auxiliary checks for malicious behaviour using only free-XOR gates. These protocols demonstrate the feasibility of outsourced PFE and provide a first step towards privacy-preserving applications for use in cloud computing.
Reversibility of the pulmonary function based on the partial flow-volume curve predicts the efficacy of bronchodilator therapy for treating chronic cough.

OBJECTIVE Partial expiratory flow-volume curves have the potential to detect mild bronchoconstriction because they are not affected by the modulatory effects of deep inspiration. The aim of this study was to investigate the relationship between the efficacy of bronchodilator therapy (BDT) in treating the cough and to assess the increase in the expiratory flow of the partial flow-volume curve at 40% above the residual volume level (PEF40) caused by treatment with a short-acting beta-2 agonist (SABA) in patients with chronic nonproductive cough. METHODS We measured the reversibility of PEF40 caused by a SABA in 42 patients with chronic nonproductive cough at visit 1 (day 0). The patients received BDT for six days. The visual analogue scale (VAS) was used to assess the efficacy of BDT in treating coughing at visit 2 (day 7) (0 mm, 'no cough;' 100 mm, 'no change in coughing'). RESULTS Reversibility of the PEF40 was correlated (r=0.690, p<0.001) with the VAS score determined at visit 2 and was higher in the patients with cough variant asthma (CVA) (44.9 ± 18.3%) than in those with atopic cough (13.4 ± 10.4%) (p<0.01). CONCLUSION Reversibility of the PEF40 predicted the efficacy of BDT in patients with chronic nonproductive cough and helped to identify patients with CVA.
Angle selective properties of one-dimenstion anisotropic photonic crystals

In the work it is considered an anisotropic photonic crystal with an arbitrary direction of an anisotropy axis. It is studied the dependence of the reflection coefficients on an incidence angle of a plane harmonic wave on a plane-parallel slab. It is found the resonant characteristics in the incidence angle plane. It is offered to use these as a forming of a pattern of optical radiators.
SAT Encodings of the At-Most-k Constraint Some Old , Some New , Some Fast , Some Slow

This paper examines the encoding into SAT of the ≤k(X1, . . . , Xn) constraint, which is true if and only if at most k of the Boolean variables X1, . , Xn are true. Though this is probably the constraint most commonly encoded into SAT, the encoding that is usually used is inferior to several other encodings. This paper surveys the available encodings, introduces some new encodings, and presents some experiments evaluating their performance.
Power smoothing system for wave energy converters by means of a supercapacitor-based energy storage system

One of the main issues of wave energy nowadays is the oscillation of the generated power, which is due to the oscillating nature of the waves. These power fluctuations may have an important undesired impact on the electrical grid. This paper proposes a system that compensates power oscillations in wave energy applications by means of a supercapacitor-based energy storage system. A laboratory test bench is used to emulate wave power oscillations and to partially suppress them. The paper describes the control strategy implemented in the test bench and includes experimental results for regular waves.