Miracle-dz/UniFAR-FTUs huggingface dataset:
A Fuzzy Multi-objective Optimization Method Solving the Output of Energy Storage System

The electricity consumption of a charging station is obviously fluctuant. An energy storage system is an effective device to improve the load variation of the charging station. In order to give full play to energy storage system, this paper proposes a charging and discharging control strategy of the storage system considering multi-objective including stabilizing load and economizing electric consumption, changing a bi-objective problem into a single objective problem with weights after fuzzy processing. This paper solves the problem based on Particle Swarm Optimization algorithm, and considers constraints including the demand of uninterruptible power supply and SOC at given time, which has greater practical significance. In this paper, the data of a practical integrated smart grid construction project is taken into considered. Finally, we verify the effectiveness and feasibility of the optimization strategy after simulation analysis.
TinyKey: A light-weight architecture for Wireless Sensor Networks securing real-world applications

While sharing some commonalities with a canonical computer network, Wireless Sensor Network (WSN) presents many aspects which are unique. Security mechanisms in a WSN are mainly devoted to protect both the resources from attacks and misbehavior of nodes and the information transferred throughout the network itself. While the vast majority of the works on security for WSN in literature are focusing on novel mechanisms or performance evaluation in “protected” environment like simulators or dedicated WSN testbeds, to the best of our knowledge there are no existing works describing the performance of security mechanisms in operational WSN dealing with real-world applications. In this paper, we present TinyKey, a security architecture for WSNs that takes into account pragmatic concerns of a real-work deployment. For instance, most of the approaches in literature have neglected mechanisms related to key management. TinyKey comes with an integrated key management system that can be used in any deployment. We have developed TinyKey to satisfy the security requirements of two projects funded by the local government of the Trento province in Italy that aim at developing and deploying real-world applications based on WSNs. One project aims at improving the safety of the road tunnels around the city of Trento while the second project focuses on improving the quality of life of elderly people. As a result, we have been able to measure the performances of TinyKey in real deployments.
A Mild Synthesis of New Aryl Vinyl Ethers and Diethyl 1-[(Alkyl)(cyano)methyl]vinylphosphonates via the Substitution of a 2,3-Difunctional Allyl Bromide

A novel class of aryl vinyl ethers 3 and diethyl 3-cyano-3-alkylprop-1-en-2-ylphosphonates 4 has been prepared, respectively, from coupling reaction of diethyl 1-(bromomethyl)-2-cyanovinylphosphonate 2 with phenols and Gilman reagents.
Methods for Random Modularizations of Biological Networks

Biological Networks are convenient summaries of our knowledge about interactions among components (like genes and proteins) in biological systems. When represented as mathematical graphs with nodes (components) and edges (interactions) between the nodes, they can be visualized and analyzed on systemic scales. Then, questions of structure and organization can be posed and answered as well as biological hypotheses relating the topological structure to biological phenomena investigated.
Type nanotheories: a framework for term comparison

We present in this paper Type Nanotheories (TN), a framework for representing the knowledge necessary for performing similarity comparisons between pairs of terms of the same type. TN itself uses another methodology, namely Support Outcomes, which is also introduced. Many IR and NLP applications use redundancy as a factor to increase confidence, and TN-based comparisons can determine redundancy better than simple string comparisons. Results include a showing of a 14% increase in Confidence-Weighted Score for an end-to-end QA system and an up to 68% improvement over baseline in an answer-key equivalencing experiment.
Simulation and formal analysis of visual attention

In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of an agent-based system that supports a naval officer in its task to compile a tactical picture of the situation in the field. A case study is described in which the model is used to simulate a human subject's attention. The formal analysis is based on temporal relational specifications for attentional states and for different stages of attentional processes. The model has been automatically verified against these specifications.
Solving large TÆMS problems efficiently by selective exploration and decomposition

TÆMS is a hierarchical modeling language capable of representing complex task networks with intra-task uncertainties and inter-task dependencies. The uncertainty and complexity of the application domains represented in TÆMS models often lead to very large state spaces, which push the need to design efficient solution algorithms for TÆMS problems. In this paper, we present a solver that integrates selective state space search techniques with state space decomposition techniques. Our experiments demonstrate that the solver can find an (approximately) optimal solution much faster than prior approaches.
Collaboration by passing access rights for personal protected Web resources

This paper describes how users can collaborate through sharing personal protected Web resources. Personal protected Web resources are Web pages and services that are typically password-protected. One example is a personal page on an auction site. This paper introduces capability-based access control to the World Wide Web without modifying existing servers and clients. Access rights for personal protected Web resources are represented as capabilities for the Web resources. When users collaborate, capability-based access control on the Web has two advantages over conventional access-control-list based access control. First, a user can easily pass his/her own capabilities to access Web resources to other users along with delegating tasks. For example, a parent can ask a child to bid on a PC on behalf of the parent by passing the capability to access the parent's auction page but not giving the child the password. Second, restricted capabilities are useful in passing access rights. For example, before a parent passes the capability to bid on a PC to a child, the parent can create a restricted capability that allows biding up to $100 on a PC from the original unlimited capability. The proposed method has been implemented as Web applications called CapaEdit and CapaGate in Java by using the Google Web Toolkit. Using CapaEdit, a user can interactively create a capability to access his/her personal protected Web resources with access control to hyperlinks and form parameters. The receiver of the capability can access the Web resources through CapaGate, which enforces the restrictions. Experimental results show that these Web applications perform well enough for interactive use.
Automatic ECG-Based Emotion Recognition in Music Listening

This paper presents an automatic ECG-based emotion recognition algorithm for human emotion recognition. First, we adopt a musical induction method to induce participants’ real emotional states and collect their ECG signals without any deliberate laboratory setting. Afterward, we develop an automatic ECG-based emotion recognition algorithm to recognize human emotions elicited by listening to music. Physiological ECG features extracted from the time-, and frequency-domain, and nonlinear analyses of ECG signals are used to find emotion-relevant features and to correlate them with emotional states. Subsequently, we develop a sequential forward floating selection-kernel-based class separability-based (SFFS-KBCS-based) feature selection algorithm and utilize the generalized discriminant analysis (GDA) to effectively select significant ECG features associated with emotions and to reduce the dimensions of the selected features, respectively. Positive/negative valence, high/low arousal, and four types of emotions (joy, tension, sadness, and peacefulness) are recognized using least squares support vector machine (LS-SVM) recognizers. The results show that the correct classification rates for positive/negative valence, high/low arousal, and four types of emotion classification tasks are 82.78, 72.91, and 61.52 percent, respectively.
Optimal space lower bounds for all frequency moments

We prove that any one-pass streaming algorithm which (ε, Δ)-approximates the <i>k</i>th frequency moment <i>F</i><inf><i>k</i></inf>, for any real <i>k</i> ≠ 1 and any ε = Ω(1/√m), must use Ω(1/ε²) bits of space, where <i>m</i> is the size of the universe. This is optimal in terms of ε, resolves the open questions of Bar-Yossef <i>et al</i> in [3, 4], and extends the Ω(1/ε²) lower bound for <i>F</i><inf>0</inf> in [11] to much smaller ε by applying novel techniques. Along the way we lower bound the one-way communication complexity of approximating the Hamming distance and the number of bipartite graphs with minimum/maximum degree constraints.
Adjusted artificial bee colony (ABC) algorithm for engineering problems

In this paper we present a modified algorithm which integrates artificial bee colony (ABC) algorithm with adaptive guidance adjusted for constrained engineering optimization problems. The novel algorithm improves best found solutions in some cases and improves robustness i.e. mean value and variance for number of runs in other cases by improving the algorithm's exploitation/exploration balance. Even though scout bee phase is used for exploration, we introduced adaptive parameter that at different stages of the algorithm narrows search space facilitating faster convergence. We tested our algorithm on four standard engineering benchmark problems. The experimental results show that our modified algorithm can outperform the pure ABC algorithm in most cases.
Towards fully automatic placement of security sanitizers and declassifiers

A great deal of research on sanitizer placement, sanitizer correctness, checking path validity, and policy inference, has been done in the last five to ten years, involving type systems, static analysis and runtime monitoring and enforcement. However, in pretty much all work thus far, the burden of sanitizer placement has fallen on the developer. However, sanitizer placement in large-scale applications is difficult, and developers are likely to make errors, and thus create security vulnerabilities. This paper advocates a radically different approach: we aim to fully automate the placement of sanitizers by analyzing the ow of tainted data in the program. We argue that developers are better off leaving out sanitizers entirely instead of trying to place them. This paper proposes a fully automatic technique for sanitizer placement. Placement is static whenever possible, switching to run time when necessary. Run-time taint tracking techniques can be used to track the source of a value, and thus apply appropriate sanitization. However, due to the runtime overhead of run-time taint tracking, our technique avoids it wherever possible.
Physical activity, biomarkers, and disease outcomes in cancer survivors: a systematic review.

BACKGROUND Cancer survivors often seek information about how lifestyle factors, such as physical activity, may influence their prognosis. We systematically reviewed studies that examined relationships between physical activity and mortality (cancer-specific and all-cause) and/or cancer biomarkers. METHODS We identified 45 articles published from January 1950 to August 2011 through MEDLINE database searches that were related to physical activity, cancer survival, and biomarkers potentially relevant to cancer survival. We used the Preferred Reporting Items for Systematic Reviews and Meta-Analyses Statement to guide this review. Study characteristics, mortality outcomes, and biomarker-relevant and subgroup results were abstracted for each article that met the inclusion criteria (ie, research articles that included participants with a cancer diagnosis, mortality outcomes, and an assessment of physical activity). RESULTS There was consistent evidence from 27 observational studies that physical activity is associated with reduced all-cause, breast cancer-specific, and colon cancer-specific mortality. There is currently insufficient evidence regarding the association between physical activity and mortality for survivors of other cancers. Randomized controlled trials of exercise that included biomarker endpoints suggest that exercise may result in beneficial changes in the circulating level of insulin, insulin-related pathways, inflammation, and, possibly, immunity; however, the evidence is still preliminary. CONCLUSIONS Future research directions identified include the need for more observational studies on additional types of cancer with larger sample sizes; the need to examine whether the association between physical activity and mortality varies by tumor, clinical, or risk factor characteristics; and the need for research on the biological mechanisms involved in the association between physical activity and survival after a cancer diagnosis. Future randomized controlled trials of exercise with biomarker and cancer-specific disease endpoints, such as recurrence, new primary cancers, and cancer-specific mortality in cancer survivors, are warranted.
Quantitative Assessment of Regional Myocardial Function in Mice by Tissue Doppler Imaging: Comparison With Hemodynamics and Sonomicrometry

Background—Tissue Doppler imaging (TDI) is a novel echocardiographic method to quantify regional myocardial function. The objective of this study was to assess whether myocardial velocities and strain rate (SR) could be obtained by TDI in mice and whether these indices accurately quantified alterations in left ventricular (LV) systolic function. Methods and Results—TDI was performed in 10 healthy mice to measure endocardial (vendo) and epicardial systolic velocities and SR. In further experiments, TDI indices were compared with dP/dtmax and with sonomicrometer-derived regional velocities, at rest and after administration of dobutamine or esmolol. TDI indices were also studied serially in 8 mice before and 4 and 7 hours after endotoxin challenge. Myocardial velocities and SR were obtained in all mice with low measurement variability. TDI indices increased with administration of dobutamine (vendo from 2.2±0.3 to 3.8±0.2 cm/s [P<0.01]; SR from 12±2 to 20±2 s−1 [P<0.05]) and decreased with administration of esmolol (vendo 1.4±0.2 cm/s [P<0.05]; SR 6±1 s−1 [P<0.01]). Both indices correlated strongly with dP/dtmax (r2=0.79 for SR and r2= 0.69 for vendo; both P<0.0001). SR and shortening fraction were predictors of dP/dtmax even after adjustment for the confounding effect of the other variables. Vendo correlated closely with sonomicrometer-measured velocity (r2=0.71, P<0.0005). After endotoxin challenge, decreases in both vendo and SR were detected before decreases in shortening fraction became manifest. Conclusions—Myocardial velocities and SR can be measured noninvasively in mice with the use of TDI. Both indices are sensitive markers for quantifying LV global and regional function in mice.
Speech Act Identification Using Semantic Dependency Graphs with Probabilistic Context-Free Grammars

We propose an approach for identifying the speech acts of speakers’ utterances in conversational spoken dialogue that involves using semantic dependency graphs with probabilistic context-free grammars (PCFGs). The semantic dependency graph based on the HowNet knowledge base is adopted to model the relationships between words in an utterance parsed by PCFG. Dependency relationships between words within the utterance are extracted by decomposing the semantic dependency graph according to predefined events. The corresponding values of semantic slots are subsequently extracted from the speaker's utterances according to the corresponding identified speech act. The experimental results obtained when using the proposed approach indicated that the accuracy rates of speech act detection and task completion were 95.6% and 77.4% for human-generated transcription (REF) and speech-to-text recognition output (STT), respectively, and the average numbers of turns of each dialogue were 8.3 and 11.8 for REF and STT, respectively. Compared with Bayes classifier, partial pattern tree, and Bayesian-network-based approaches, we obtained 14.1%, 9.2%, and 3% improvements in the accuracy of speech act identification, respectively.
High frequency of human papillomavirus detection in the vagina before first vaginal intercourse among females enrolled in a longitudinal cohort study.

BACKGROUND Genital human papillomavirus (HPV) infection is believed to be primarily sexually transmitted. Few studies have documented the detection of HPV in the vagina before first vaginal intercourse. METHODS We used a longitudinally followed cohort of adolescent females without prior vaginal intercourse to examine the frequency of detection of vaginal HPV and the association between first reported HPV detection and noncoital sexual behaviors. RESULTS HPV was detected in 45.5% of subjects (10 of 22) before first vaginal sex. Seven of these 10 subjects reported noncoital behaviors that, in part, might have explained genital transmission. CONCLUSIONS HPV can be detected in the vagina before first sexual intercourse, highlighting the need for early vaccination.
Controlling VUV photon fluxes in low-pressure inductively coupled plasmas

Low-pressure (a few to hundreds of millitorrs) inductively coupled plasmas (ICPs), as typically used in microelectronics fabrication, often produce vacuum-ultraviolet (VUV) photon fluxes onto surfaces comparable to or exceeding the magnitude of ion fluxes. These VUV photon fluxes are desirable in applications such as sterilization of medical equipment but are unwanted in many materials fabrication processes due to damage to the devices by the high-energy photons. Under specific conditions, VUV fluxes may stimulate etching or synergistically combine with ion fluxes to modify polymeric materials. In this regard, it is desirable to control the magnitude of VUV fluxes or the ratio of VUV fluxes to those of other reactive species, such as ions, or to discretely control the VUV spectrum. In this paper, we discuss results from a computational investigation of VUV fluxes from low-pressure ICPs sustained in rare gas mixtures. The control of VUV fluxes through the use of pressure, pulsed power, and gas mixture is discussed. We found that the ratio, β, of VUV photon to ion fluxes onto surfaces generally increases with increasing pressure. When using pulsed plasmas, the instantaneous value of β can vary by a factor of 4 or more during the pulse cycle due to the VUV flux more closely following the pulsed power.
Electrophysiological findings in entrapment of the median nerve at wrist and elbow

In 117 consecutive patients with carpal tunnel syndrome and 11 patients with a compression syndrome of the median nerve at elbow, motor and sensory conduction along the median and ulnar nerves and quantitative electromyography were compared with findings in 190 normal controls of the same age. In 25% of patients with carpal tunnel syndrome in whom motor conduction and EMG were normal, the lesion was located from abnormalities in sensory conduction. The fact that conduction along the same fibres was moderately slowed from digit to palm, severely slowed across the flexor retinaculum, and normal from wrist to elbow indicates that slowing was due to demyelination at the site of compression. Fifteen per cent of the patients with carpal tunnel syndrome had clinical and electrophysiological signs of ulnar involvement. In the other patients conduction along the ulnar nerve was as in 100 normal controls. Compression at the elbow was located by electromyographical findings rather than by abnormalities in conduction.
A condition monitoring algorithm based on image geometric analysis for substation switch

For the problem of real-time monitoring and condition decision of high-voltage substation switches, a real-time monitoring algorithm is proposed for the substation folded switch based on geometric analysis of monitoring images. Firstly, capture images containing the folded switch using the properly installed camera, and transfer them to the data processing terminal. Then, search for straight line segments representing two arms of switch using the method of image contour description, and calculate the angles between the segments using the cosine theorem. At last, determine the condition of the switch that whether it is closed well. The experimental results show that the proposed method could accurately calculate the real-time angle of the switch, and then achieve unmanned and real-time monitoring for condition of the switch.
Detection and Analysis of Urban Area Hotspots Based on Cell Phone Traffic

This paper is to explore new ways to better understand urban system emphasizing on detection and analysis of urban area hotspots through cell phone traffic data. Firstly, according to the characteristics of GSM network, Voronoi cellular network is introduced to determine the service area of the base station. Then two visualization methods are discussed through analyzing the distribution of cell phone traffic data. Next, activity patterns of residents in urban areas are discussed in macro-perspective. Additionally, an algorithm to detect hotspots of urban areas is proposed, and through the usage of the algorithm, many hotspots are found, and then, some typical hotspots are analyzed. Meanwhile, an experiment is conducted based on real cell phone traffic data during the month on February 2011, covering the entire area of Kunming, China.
Simulation of Probabilistic Sequential Systems

In this paper we introduce the idea of probability in the definition of Sequential Dynamical Systems, thus obtaining a new concept, Probabilistic Sequential System. The introduction of a probabilistic structure on Sequential Dynamical Systems is an important and interesting problem. The notion of homomorphism of our new model, is a natural extension of homomorphism of sequential dynamical systems introduced and developed by Laubenbacher and Paregeis in several papers. Our model, give the possibility to describe the dynamic of the systems using Markov chains and all the advantage of stochastic theory. The notion of simulation is introduced using the concept of homomorphisms, as usual. Several examples of homomorphisms, subsystems and simulations are given.
Wide-Band Audio Coding Based on Frequency-Domain Linear Prediction

We revisit an original concept of speech coding in which the signal is separated into the carrier modulated by the signal envelope. A recently developed technique, called frequency-domain linear prediction (FDLP), is applied for the efficient estimation of the envelope. The processing in the temporal domain allows for a straightforward emulation of the forward temporal masking. This, combined with an efficient nonuniform sub-band decomposition and application of noise shaping in spectral domain instead of temporal domain (a technique to suppress artifacts in tonal audio signals), yields a codec that does not rely on the linear speech production model but rather uses well-accepted concept of frequency-selective auditory perception. As such, the codec is not only specific for coding speech but also well suited for coding other important acoustic signals such as music and mixed content. The quality of the proposed codec at 66 kbps is evaluated using objective and subjective quality assessments. The evaluation indicates competitive performance with the MPEG codecs operating at similar bit rates.