Miracle-dz/UniFAR-FTUs huggingface dataset:
Global Stabilization of Stochastic Nonlinear Systems Via $C^1$ and $C^{\infty }$ Controllers

The problem of designing <inline-formula><tex-math notation="LaTeX">$C^1$</tex-math></inline-formula> or <inline-formula><tex-math notation="LaTeX">$C^\infty$</tex-math></inline-formula> controllers for a class of stochastic nonlinear systems (SNSs) in lower-triangular form is studied in this note. By using the well-known backstepping method, the concept of homogeneity with monotone degrees (HWMD) and the sign function approach, we construct a <inline-formula><tex-math notation="LaTeX">$C^1$</tex-math></inline-formula> state feedback controller recursively. Meanwhile, by employing a polynomial Lyapunov function with sign functions, we prove that the solution to SNSs is globally asymptotically stable in probability. Furthermore, based on the concept of HWMD, it shows that <inline-formula><tex-math notation="LaTeX">$C^1$</tex-math></inline-formula> controllers for a class of three-dimensional SNSs can be modified to <inline-formula><tex-math notation="LaTeX">$C^{\infty }$</tex-math> </inline-formula> controllers under certain conditions. Finally, two simulation examples are given to demonstrate the effectiveness of the proposed controllers.
Correlation between accelerated tests and outdoor exposure of coil coated chromate and chromate free systems

Despite the good corrosion resistance of chromate coatings, there is a general agreement in eliminating the Cr(VI) compounds for corrosion protection owing to their health hazards. Coil coaters are looking for maintained or improved anticorrosion properties. Therefore, coil coated materials painted with conventional polyester topcoat and with either standard strontium chromate or water based epoxy Cr(III) primer were evaluated through a battery of accelerated and outdoor exposure tests. Physicochemical properties, corrosion potential and electrochemical impedance were measured before and after exposure of coated panels in salt spray, humidity or weathering chambers. Experimental results showed that the conventional chromatised polyester primer/polyester topcoat system provides better protective properties than the water base epoxy primer with Cr(III)/polyester system. This was also observed in replicated panels exposed outdoor but just after two years. The protection mechanism was analysed on the basis of the experimental results and the applied formulation type.
Efficacy of Paroxetine and Amitriptyline in Posttraumatic Stress Disorder : An Open-label Comparative Study

Amaç: Bu çalışmanın amacı çatışma ile ilişkili Travma Sonrası Stres Bozukluğu (TSSB) olan askerlerde amitriptilin ve paroksetinin etkinliğini değerlendirmektir. Yöntem: Çalışmaya Gülhane Askeri Tıp Akademisi Psikiyatri Servisinde yatan, kronik nitelik kazanmış TSSB tanısı konulan 50 hasta alındı. Primer ölçümler “Clinician Administered Post Traumatic Stress Disorder Scale” (CAPS), Klinik Genel İzlenim-Şiddet Ölçeği (CGI-S) ve Klinik Genel İzlenimİyileşme Ölçeği (CGI-I) ile yapıldı. Hastalar tedavi gruplarına (25 hasta paroksetin, 25 hasta amitiriptilin) rasgele seçildi ve 12 haftalık tedavi protokolüne alındılar. Paroksetin grubundan 22, amitriptilin grubundan 20 hasta çalışma protokolünü tamamladı. Bulgular: Paroksetin ve amitriptilin tedavisi yanıt oranları sırasıyla % 31.8 ve% 55 idi. Gruplar arasında CAPS toplam puanı değişimlerinde anlamlı bir fark var iken, anksiyete ve depresyon puanlarındaki değişim, CGI-şiddet ve CGIilerleme için fark bulunmadı. Sonuç: Çatışma ile ilişkili TSSB olgularının tedavisinde hem paroksetin hem de amitriptilinin etkili olduğu söylenebilir. İki grup arasında istatistiksel bir fark olmamakla birlikte amitriptilin ile tedavi cevabı daha yüksek olma eğilimindedir. CAPS 2 belirti kümeleri açısından bakıldığında amitriptilinin intruziv belirtiler ve aşırı uyarılma belirtilerini daha fazla azalttığı görülmektedir.
Exploiting redundancy to conserve energy in storage systems

This paper makes two main contributions. First, it introduces Diverted Accesses, a technique that leverages the redundancy in storage systems to conserve disk energy. Second, it evaluates the previous (redundancy-oblivious) energy conservation techniques, along with Diverted Accesses, as a function of the amount and type of redundancy in the system. The evaluation is based on novel analytic models of the energy consumed by the techniques. Using these energy models and previous models of reliability, availability, and performance, we can determine the best redundancy configuration for new energy-aware storage systems. To study Diverted Accesses for realistic systems and workloads, we simulate a wide-area storage system under two file-access traces. Our modeling results show that Diverted Accesses is more effective and robust than the redundancy-oblivious techniques. Our simulation results show that our technique can conserve 20-61% of the disk energy consumed by the wide-area storage system.
Feeds That Matter: A Study of Bloglines Subscriptions

David Sifry's latest quarterly report on the state of the Blogosphere states that ``the size of the Blogosphere continues to double every six months'. According to this report there are 33.5 million weblogs and many of these are actively posting. As the Blogosphere continues to grow, finding good quality feeds is becoming increasingly difficult. In this paper we present an analysis of the feeds subscribed by a set of publicly listed Bloglines users. Using the subscription information, we describe techniques to induce an intuitive set of topics for feeds and blogs. These topic categories, and their associated feeds, are key to a number of blog-related applications, including the compilation of a list of feeds that matter for a given topic. The site FTM! (Feeds That Matter) was implemented to help users browse and subscribe to an automatically generated catalog of popular feeds for different topics.
A Pthreads-Based MPI-1 Implementation for MMU-Less Machines

AzequiaMPI is a new thread-based full conformant implementation of the MPI-1 standard for MMU-less processors. It runs on a Linux desktop and on the entire Texas Instruments TMS320C6000 family of digital signal processors, as well as on MicroBlaze and PowerPC 405, which makes AzequiaMPI a useful tool in the reconfigurable MPSoC arena. AzequiaMPI needs a Pthreads box, what in most cases means the support of an underlying operating system as Xilkernel or uClinux. This paper discusses design issues and gives memory footprint and performance figures in a Xilkernel/PowerPC405 Xilinx FPGA.
Circulating influenza virus, climatic factors, and acute myocardial infarction: a time series study in England and Wales and Hong Kong.

BACKGROUND Previous studies identifying associations between influenza and acute cardiac events may have been confounded by climatic factors. Differing seasonal patterns of influenza activity in Hong Kong and England and Wales provide a natural experiment to examine associations with myocardial infarction (MI) independent of cold weather effects. METHODS Weekly clinical and laboratory influenza surveillance data, environmental temperature and humidity data, and counts of MI-associated hospitalizations and deaths were obtained for England and Wales and for Hong Kong for the period 1998-2008. We used Poisson regression models that included environmental and seasonal variables to investigate the relationship between influenza and MI. RESULTS There were ≥1.2 million MI-associated hospitalizations and 410,204 MI-associated deaths in England and Wales, with a marked peak in the winter season. In Hong Kong, the incidence of MI, on the basis of 65,108 hospitalizations and 18,780 deaths, had a large winter and smaller summer peak, mirroring patterns of influenza activity. There was strong evidence for a link between influenza and MI both in England and Wales, where 3.1%-3.4% of MI-associated deaths (P < .001) and 0.7%-1.2% of MI-associated hospitalizations (P < .001) were attributable to influenza, and in Hong Kong, where the corresponding figures were 3.9%-5.6% (P = .018) and 3.0%-3.3% (P = .002). CONCLUSIONS Influenza was associated with an increase in MI-associated deaths and hospitalizations in 2 contrasting settings.
Species Trees from Gene Trees Despite a High Rate of Lateral Genetic Transfer: A Tight Bound (Extended Abstract)

Reconstructing the tree of life from molecular sequences is a fundamental problem in computational biology. Modern data sets often contain a large number of genes which can complicate the reconstruction problem due to the fact that different genes may undergo different evolutionary histories. This is the case in particular in the presence of lateral genetic transfer (LGT), whereby a gene is inherited from a distant species rather than an immediate ancestor. Such an event produces a gene tree which is distinct from (but related to) the species phylogeny. In previous work, a stochastic model of LGT was introduced and it was shown that the species phylogeny can be reconstructed from gene trees despite surprisingly high rates of LGT. Both lower and upper bounds on this rate were obtained, but a large gap remained. Here we close this gap, up to a constant. Specifically, we show that the species phylogeny can be reconstructed perfectly even when each edge of the tree has a constant probability of being the location of an LGT event. Our new reconstruction algorithm builds the tree recursively from the leaves. We also provide a matching bound in the negative direction (up to a con-
Advantages of Diierential Dynamic Programming over Newton's Method for Discrete-time Optimal Control Problems

Diierential Dynamic Programming (DDP) and stagewise Newton's method are both quadratically convergent algorithms for solving discrete time optimal control problem. Although these two algorithms share many theoretical similarities, they demonstrate signii-cantly diierent numerical performance. In this paper, we will compare and analyze these two algorithms in detail, and derive another quadratically convergent algorithm which is a combination of the DDP algorithm and Newton's method. This new second-order algorithm plays a key role in the explanation of the numerical diierences between the DDP algorithm and Newton's method. The detailed algorithmic and structural diierences for these three algorithms and their impact on numerical performance will be discussed and explored. Two test problems with various dimensions solved by these three algorithms will be presented. One nonlinear test problem demonstrates that the DDP algorithm can be as much as 28 times faster than the stagewise Newton's method. The numerical comparison indicates that the DDP algorithm is numerically superior to the stagewise Newton's method.
Pruning algorithms of neural networks — a comparative study

The neural network with optimal architecture speeds up the learning process and generalizes the problem well for further knowledge extraction. As a result researchers have developed various techniques for pruning the neural networks. This paper provides a survey of existing pruning techniques that optimize the architecture of neural networks and discusses their advantages and limitations. Also the paper evaluates the effectiveness of various pruning techniques by comparing the performance of some traditional and recent pruning algorithms based on sensitivity analysis, mutual information and significance on four real datasets namely Iris, Wisconsin breast cancer, Hepatitis Domain and Pima Indian Diabetes.
Social Mood Extraction from Twitter Posts with Document Topic Model

The method proposed here analyzes the social sentiments from collected tweets that have at least 1 of 800 sentimental or emotional adjectives. By dealing with tweets posted in a half a day as an input document, the method uses Latent Dirichlet Allocation (LDA) to extract social sentiments, some of which coincide with our daily sentiments. The extracted sentiments, however, indicate lowered sensitivity to changes in time, which suggests that they are not suitable for predicting daily social or economic events. Using LDA for the representative 72 adjectives to which each of the 800 adjectives maps while preserving word frequencies permits us to obtain social sentiments that show improved sensitivity to changes in time.
Testing and evaluating tag recommenders in a live system

The challenge to provide tag recommendations for collaborative tagging systems has attracted quite some attention of researchers lately. However, most research focused on the evaluation and development of appropriate methods rather than tackling the practical challenges of how to integrate recommendation methods into real tagging systems, record and evaluate their performance. In this paper we describe the tag recommendation framework we developed for our social bookmark and publication sharing system BibSonomy. With the intention to develop, test, and evaluate recommendation algorithms and supporting cooperation with researchers, we designed the framework to be easily extensible, open for a variety of methods, and usable independent from BibSonomy. Furthermore, this paper presents a first evaluation of two exemplarily deployed recommendation methods.
A Highly Sensitive Pyroresistive All‐Organic Infrared Bolometer

Dr. R. Pfattner, Dr. V. Lebedev, Dr. E. Laukhina, Prof. V. Laukhin, Prof. C. Rovira, Prof. J. Veciana Institut de Ciència de Materials de Barcelona (ICMAB-CSIC) and Networking Research Center on Bioengineering Biomaterials and Nanomedicine (CIBER-BBN) Campus UAB, 08193 Bellaterra , Spain E-mail: laukhina@icmab.es; vecianaj@icmab.es Dr. S. C. Kumar, Dr. A. Esteban-Martin, V. Ramaiah-Badarla, Prof. M. Ebrahim-Zadeh Optical Parametric Oscillators ICFO-Institut de Ciencies Fotoniques 08860 , Castelldefels , Barcelona , Spain Prof. M. Ebrahim-Zadeh Institucio Catalana de Recerca i Estudis Avancats (ICREA) Passeig Lluis Companys 23 , Barcelona 08010 , Spain Dr. F. P. G. de Arquer, Prof. G. Konstantatos ICFO-Institut de Ciencies Fotoniques 08860 , Castelldefels , Barcelona , Spain Prof. V. Laukhin Institucio Catalana de Recerca i Estudis Avancats (ICREA) Campus UAB, 08193 Bellaterra , Spain
The two faces of plan repair

Plan repair has two faces. Alternately, a plan repair method looks like a planning method, or looks like a method that does exactly the opposite, i.e., removing actions from a plan. We propose a general framework for plan repair that shows the relation between these two alternating steps. Any plan repair method has this property. This claim is supported by showing how a number of plan repair systems fit into the presented framework. One of the advantages of a general framework is that it helps to understand existing techniques and improve upon them. As an example of this, we present a novel heuristic for plan repair that can make use of existing planning heuristics. Some initial results are provided that indicate that this heuristic is competitive with existing plan repair methods.
A microstrip UWB bandpass filter using a stub-loaded dual-mode ring resonator and a step impedance two-mode resonator

In this paper, a novel UWB bandpass filter (BPF) is developed by using a microstrip stub- loaded dual-mode ring resonator and a parallel-coupled step-impedance two-mode resonator. The advantageous features of both the stub-loaded dual-mode ring resonator and the step- impedance two-mode resonator are fully exploited, and a compact UWB filter with sharp attenuations and wide stopbands is realized, which satisfies well Japan's UWB low-band limit.
Distributed Network Design for Laplacian Eigenvalue Placement

We propose a distributed iterative algorithm in which a group of <inline-formula><tex-math notation="LaTeX">$n$</tex-math></inline-formula> autonomous agents self-organize the structure of their communication network in order to control the network's Laplacian eigenvalue spectrum. We assume that every agent has only access to a local (“myopic”) view of the network around it and that there is no centralized coordinator. With every iteration of our algorithm, the agents share <italic>local</italic> information about their myopic views of the network in order to distributedly find the most beneficial <italic>global</italic> edge addition/deletion, defined as the one that minimizes a pseudometric defined in the space of Laplacian spectra. The proposed pseudometric is defined in terms of the Laplacian spectral moments and allows for an efficient distributed implementation. The proposed approach is greedy in nature and stable by construction, that is, it locally minimizes the distance of the network's eigenvalue spectrum to a desired spectrum. We illustrate the performance of our approach with several numerical simulations.
A Research on the Stiction and Detection in the Control Valves

Stiction is a common problem in spring-diaphragm type valves, which are widely used in the process industry. A non-invasive method for detecting and quantifying stiction in control valve has been presented in this paper. Although there have been many attempts to understand and detect stiction in control valves, none of the current methods can simultaneously detect and quantify stiction. The method first detects nonlinearity in a control loop by the use of the sensitivity of the normalized bispectrum or bicoherence to the nonlinear interactions that may be present in the control error signal.If nonlinearity is detected, then controlled variable(pv) and controller output(op) signals are filtered using frequency domain wiener filter to obtain filtered pv and op signals.This work describes a model free method that can detect and quantify stiction that may be present in control valves using routine operating data obtained from the process. No additional excitation or experimentation of the plant is required.
Improving the performance of out-of-vocabulary word rejection by using support vector machines

Support Vector Machines (SVM) represents a new approach to pattern classification developed from the theory of structural risk minimization [1]. In this paper, we propose an approach to improve the performance of confidence measurements for out-of-vocabulary word rejection by using SVM. Confidence measures are computed from the information of n-best candidates and anti-word by a Hidden Markov Model (HMM) based speech recognizer. The acceptance/rejection decision for a word is based on the confidence score which is provided by SVM classifier. And the decision is performed for each word in vocabulary separately. The performance of the proposed SVM classifier is compared with method based on posterior probability and anti-word probability. Experiments of Mandarin command recognition have showed that better performance can be obtained when using the proposed method.
Recall errors in a weekly survey of diarrhoea in Guatemala: determining the optimal length of recall

SUMMARY We measured the recall error, optimal recall length and factors associated with diarrhoea in a weekly survey. Data was taken from a year-long randomized controlled trial in which characteristics of diarrhoeal episodes were recorded weekly. We labelled the recall period as days 1–6; day 1 being the day before the visit. Recall error was the percentage difference between the number of episodes reported to begin on a particular day and the mean for days 1 and 2. Generalized estimating equations were used to determine associations. Recall error was 37% on day 3 and 51% on day 5. The error was less in younger children (by 10%), severe episodes (by 29%) and when blood was present in the stool (by 18%). Diarrhoea was underreported when the recall period extended beyond 2 days. Surveys that use longer recall periods risk underestimating diarrhoea incidence and selectively capturing more severe episodes.
Growing length and time scales in glass-forming liquids

The glass transition, whereby liquids transform into amorphous solids at low temperatures, is a subject of intense research despite decades of investigation. Explaining the enormous increase in relaxation times of a liquid upon supercooling is essential for understanding the glass transition. Although many theories, such as the Adam–Gibbs theory, have sought to relate growing relaxation times to length scales associated with spatial correlations in liquid structure or motion of molecules, the role of length scales in glassy dynamics is not well established. Recent studies of spatially correlated rearrangements of molecules leading to structural relaxation, termed “spatially heterogeneous dynamics,” provide fresh impetus in this direction. A powerful approach to extract length scales in critical phenomena is finite-size scaling, wherein a system is studied for sizes traversing the length scales of interest. We perform finite-size scaling for a realistic glass-former, using computer simulations, to evaluate the length scale associated with spatially heterogeneous dynamics, which grows as temperature decreases. However, relaxation times that also grow with decreasing temperature do not exhibit standard finite-size scaling with this length. We show that relaxation times are instead determined, for all studied system sizes and temperatures, by configurational entropy, in accordance with the Adam–Gibbs relation, but in disagreement with theoretical expectations based on spin-glass models that configurational entropy is not relevant at temperatures substantially above the critical temperature of mode-coupling theory. Our results provide new insights into the dynamics of glass-forming liquids and pose serious challenges to existing theoretical descriptions.
VX-809 corrects folding defects in cystic fibrosis transmembrane conductance regulator protein through action on membrane-spanning domain 1

Misfolding of cystic fibrosis transmembrane conductance regulator protein (CFTR) causes the fatal lung disease cystic fibrosis. VX-809 was developed to suppress disease-related folding defects in CFTR. VX-809 suppresses folding defects in CFTR by modulating the conformation of membrane-spanning domain 1. VX-808 is thereby able to partially restore function to F508del-CFTR and other disease-related mutants.
Is Dark Matter Present in NGC 4736? An Iterative Spectral Method for Finding Mass Distribution in Spiral Galaxies

An iterative method for reconstructing mass distribution in spiral galaxies using a thin disk approximation is developed. As an example, the method is applied to galaxy NGC 4736; its rotation curve does not allow one to employ a model with a massive spherical halo. We find a global mass distribution in this galaxy (without nonbaryonic dark matter) that agrees perfectly with the high-resolution rotation curve of the galaxy. This mass distribution is consistent with the I-band luminosity profile with the mean mass-to-light ratio M/LI = 1.2, and it also agrees with the amount of hydrogen observed in the outermost regions of the galaxy. We predict the total mass of the galaxy to be only 3.43 × 1010 M☉. It is very close to the value predicted by the modified gravity models and much less than the currently accepted value of 5.0 × 1010 M☉ (with ≈70% of the mass in a dark matter halo).