Miracle-dz/UniFAR-FTUs huggingface dataset:
Formation control of three-coleader agents in the plane via backstepping design

This paper deals with a directed formation control problem of three agents moving in the plane, where the agents have a cyclic ordering with each one required to maintain a nominated distance from its neighbor. The agent dynamics under consideration is a double integrator. Firstly, a directed formation control law based on the knowledge only of the direction of its neighbor, is designed by using the integrator backstepping technique, which can not only accomplish the desired triangle formation, but also ensure all agent speeds converge to a common velocity without collision between all agents during the motion. Secondly, with the purpose of relaxing and even overcoming the restriction of initial conditions of the agents owing to collision avoidance, we introduce the inter-agent potential functions into the design. Finally, convergence guarantees are provided by using tools from LaSalle's invariance principle. Simulation results are provided to illustrate the effectiveness of the proposed control laws.
Pro‐social behaviour and behaviour problems independently predict maternal stress

Parents of children with intellectual and developmental disabilities generally report more stress than other parents. Child behavioural features, and specifically their behaviour problems, have been shown to account for some of the variation in parents' experience of stress. However, there has been no exploration of whether the child's pro‐social behaviour is predictive of parenting stress. In the present study, 74 mothers of children with intellectual disabilities completed measures of stress and mental health and reported on their child's adaptive behaviour, problem behaviour, and pro‐social behaviour. Regression analyses revealed that the child's behaviour problems were an independent positive predictor of maternal stress, the child's pro‐social behaviour was a negative predictor of maternal stress, but adaptive behaviour was not a predictor. These results support the need for more research on the pro‐social behaviours of children with intellectual disabilities, especially their putative impact on parental well‐being.
The Influence of Educational Enrichment on Self-Efficacy and Interest Levels in Young Children

This study examined how young children's school-related self-efficacy expectations related to their exposure to enrichment or Type I activities as defined by Renzulli (1977). School-related self-efficacy was defined as children's estimation of their ability to perform general learning-related tasks, and was measured by the Self-Efficacy Scale for Young Children (SESYC). Results of a hierarchical multiple regression analysis showed that self-efficacy pretest scores were significant predictors of self-efficacy posttest scores, but not treatment condition, sex, intelligence, or any of three interaction terms. Some qualitative data suggest that the enrichment activities increased the number and range of interests of children in the treatment group considerably.
Contraction integral equation method in three‐dimensional electromagnetic modeling

The integral equation method has been proven to be an efficient tool to model three‐dimensional electromagnetic problems. Owing to the full linear system to be solved, the method has been considered effective only in the case of models consisting of a strongly limited number of cells. However, recent advances in matrix storage and multiplication issues facilitate the modeling of horizontally large structures. Iterative methods are the most feasible techniques for obtaining accurate solutions for such problems. In this paper we demonstrate that the convergence of iterative methods can be improved significantly, if the original integral equation is replaced by an equation based on the modified Green's operator with the norm less or equal to one. That is why we call this technique the Contraction Integral Equation (CIE) method. We demonstrate that application of the modified Green's operator can be treated as a preconditioning of the original problem. We have performed a comparative study of the convergence of different iterative solvers applied to the original and contraction integral equations. The results show that the most effective solvers are the BIGGSTAB, QMRCGSTAB, and CGMRES algorithms, equipped with preconditioning based on the CIE method.
Algorithms for advanced packet classification with ternary CAMs

Ternary content-addressable memories (TCAMs) have gained wide acceptance in the industry for storing and searching Access Control Lists (ACLs). In this paper, we propose algorithms for addressing two important problems that are encountered while using TCAMs: reducing range expansion and multi-match classification.Our first algorithm addresses the problem of expansion of rules with range fields¿to represent range rules in TCAMs, a single range rule is mapped to multiple TCAM entries, which reduces the utilization of TCAMs. We propose a new scheme called Database Independent Range PreEncoding (DIRPE) that, in comparison to earlier approaches, reduces the worst-case number of TCAM entries a single rule maps on to. DIRPE works without prior knowledge of the database, scales when a large number of ranges is present, and has good incremental update properties.Our second algorithm addresses the problem of finding multiple matches in a TCAM. When searched, TCAMs return the first matching entry; however, new applications require either the first few or all matching entries. We describe a novel algorithm, called Multi-match Using Discriminators (MUD), that finds multiple matches without storing any per-search state information in the TCAM, thus making it suitable for multi-threaded environments. MUD does not increase the number of TCAM entries needed, and hence scales to large databases.Our algorithms do not require any modifications to existing TCAMs and are hence relatively easy to deploy. We evaluate the algorithms using real-life and random databases.
Stroke care quality in China: Substantial improvement, and a huge challenge and opportunity

Stroke is The first two authors contributed equally. the leading cause of death and adult disability in China. Although evidence-based clinical interventions have been identified to improve care and outcomes in stroke, significant gaps still exist between guideline recommendations and clinical practice in China. Regional and national stroke registries have been used to assess the benchmark of stroke care quality, provide feedback on compliance with evidence-based performance measures to health care providers, and continuously improve stroke care quality without increasing additional medical costs in the past several decades worldwide. In China, stroke care has become a national priority. A series of stroke care quality assessment and improvement actions was initiated by the Ministry of Health to increase the detection of high-risk populations with stroke, rate of adherence to evidence-based process performance measures of stroke care, and stroke care organization development, aiming to decrease the burden of stroke. China National Stroke Registries have been started in 2007, and they are conducted every 3 to 5 years. A carotid disease screen and intervention project for communities was initiated in 2009. The Chinese Stroke Association, founded in 2015, launched the Chinese Stroke Center Alliance to increase the stroke center design in the near future. In this article, we described these stroke care actions and progression, summarized the benchmark and improvement of stroke care quality, and outlined the future plans in China.
How does spatial heterogeneity influence resilience to climatic changes? Ecological dynamics in southeast Madagascar

Conceptual models suggest a link between spatial heterogeneity, diversity, and resilience, but few empirical studies exist to demonstrate such an ecological relationship. In this study, we investigated the nature of spatial heterogeneity and resilience of two forest fragments from Madagascar's highly endangered littoral forest, and two nearby sites in the surrounding ericoid grassland. This ecosystem has been subjected to a number of large environmental disturbances over the last 6000 years, including a late Holocene sea-level rise of 1–3 m above the present level, pronounced drought events, and natural and anthropogenic fires. The aims were to determine the driving mechanisms for heterogeneity and to compare the impact of large environmental disturbances among the four sites. Overall, our results indicate that, contrary to previous assumptions of continuous forest cover, the ecosystem was already spatially heterogeneous prior to the arrival of humans. Differences in groundwater, nutrients, and fires main.
Hemispheric Organization of Visual Memories

This study investigates the hemispheric organization of visual memories. In five experiments, we examine the processes associated with the recognition of line patterns that are flashed laterally during a study phase. The first three experiments demonstrate a recognition advantage for patterns presented at test in the same (rather than in the opposite) hemifield in which they were presented during a previous study phase. This difference was obtained even when stimuli were presented in different locations within the same hemifield. Experiment shows that patterns presented centrally during the recognition phase elicit ERPs that are systematically more negative over the hemisphere contralateral to the side at which they were presented during the study phase. In Experiment 5, however, we found that subjects were unable to indicate the side of initial presentation of the patterns. The results suggest that the memory traces left by laterally presented stimuli are more easily accessible in the contralateral hemisphere, which suggests a contralateral organization of visual memories.
Work values of surviving and non‐surviving managers during economic recession

Purpose – The purpose of this research is to compare work values of surviving and non‐surviving managers during a period of general economic recession in Hong Kong associated with the Asian financial crisis.Design/methodology/approach – Involving a natural field experiment, data on work values were collected from ethnic Chinese Hong Kong managers employed by local companies. The two sub‐samples were established over the period of study, from 1995 to 1998, but all variables concerning these two groups were measured in 1995, well before the Asian financial crisis struck in 1997.Findings – Results indicate that survivors attached more importance to independence in work and to have influence in the organisation than the non‐survivors. On the other hand, non‐surviving managers attached more importance to responsibility and to have an opportunity to meet people and interact with them than survivors.Research limitations/implications – In future studies, the longitudinal investigation can be improved, non‐Asian l.
Baclofen Treatment for Chronic Posttraumatic Stress Disorder

OBJECTIVE: Previous studies have shown the efficacy of γ-aminobutyric acid B (GABAB) receptor agonists in treating anxiety in patients with panic disorder and in treating depression and anxiety in alcoholic patients. We hypothesized that baclofen, a GABAB agonist, would be an effective treatment in the symptomatic management of veterans with chronic posttraumatic stress disorder (PTSD). METHODS: Fourteen male veterans with chronic, combat-related PTSD were enrolled in an open-label, 8-week, monotherapy trial of baclofen titrated to a maximum of 80 mg/d in 3 divided doses. The primary outcome measure was the Clinician-Administered PTSD Scale (CAPS), and secondary outcome measures included the Hamilton Rating Scale for Anxiety, the Hamilton Rating Scale for Depression, the Global Assessment of Functioning Scale, and the Clinical Global Impressions. RESULTS: In the 11 patients who completed the 8-week trial, the mean total CAPS score decreased significantly from baseline (from 82.9 ± 16.1 to 63.5 ± 21.2). The avoidance and hyperarousal subscales showed significant decreases (from 36.2 ± 6.2 to 26.5 ± 9.6 and from 31.9 ± 6.5 to 22.1 ± 7.1, respectively), whereas the re-experiencing subscale remained unchanged. Significant improvements were also noted on all secondary outcome measures. Treatment response was noted within the first 4 weeks of treatment and was maintained throughout the trial. Baclofen therapy was well tolerated, as only 1 patient dropped out due to adverse effects. CONCLUSIONS: Baclofen therapy was effective in treating both the PTSD symptoms and accompanying depression and anxiety in patients with chronic PTSD due to combat. Larger, double-blind, placebo-controlled studies are needed to confirm the efficacy of baclofen in the treatment of PTSD.
Enhanced Vector Signal Transmission Over Double-Sideband Carrier-Suppressed Optical Millimeter-Waves Through a Small LO Feedthrough

We proposed a new vector signal transmission scheme for double-sideband with carrier-suppressed (DSB-CS) radio-over-flber system. The traditional single-stage DSB-CS scheme will induce signal phase distortion, and is therefore not suitable for vector signal delivery. However, by taking the advantage of the intrinsic local oscillator (LO) power feedthrough at a physical mixer, we found the phase information of the received vector signal would be preserved without introducing any hardware complexity to transmitter and receiver system setup. A feasibility demonstration of transmitting tri-band 16QAM-orthogonal frequency-division multiplexing signal carried by a DSB-CS optical mm-wave has been achieved with a received error vector machine value less than 14.8% after 100-km standard single-mode fiber and over 5-m wireless distance. In addition, the optimal value and dynamic range for the LO input power was investigated and experimentally measured.
HLA polymorphism among Chinese patients with chronic plaque psoriasis: subgroup analysis

Background HLA‐Cw*06 has a strong influence on the clinical features and the susceptibility to psoriasis in different ethnicities. It is also used as a biomarker to predict the therapeutic efficacy of biologics, with inconsistent results. Additionally, most Asian patients with psoriasis do not carry HLA‐Cw*06.
Effective temperatures and radii of planet-hosting stars from IR photometry

In this paper we present and analyse determinations of eective temperatures of planet-hosting stars using infrared (IR) photometry. One of our goals is the comparison with spectroscopic temperatures to evaluate the presence of systematic eects that could alter the determination of metal abundances. To estimate the stellar temperatures we have followed a new approach based on fitting the observed 2MASS IR photometry with accurately calibrated synthetic photometry. Special care has been put in evaluating all sources of possible errors and incorporating them in the analysis. A comparison of our temperature determinations with spectroscopic temperatures published by dierent groups reveals the presence of no systematic trends and a scatter compatible with the quoted uncertainties of 0.5-1.3%. This mutual agreement strengthens the results of both the spectroscopic and IR photometry analyses. Comparisons with other photometric temperature calibrations, generally with poorer performances, are also presented. In addition, the method employed of fitting IR photometry naturally yields determinations of the stellar semi-angular diameters, which, when combined with the distances, results in estimations of the stellar radii with remarkable accuracies of 2-4%. A comparison with the only star in the sample with an empirically determined radius (HD 209458 - from transit photometry) indicates excellent agreement.
Insulin-like Growth Factor-binding Protein (IGFBP)-3 and IGFBP-5 Share a Common Nuclear Transport Pathway in T47D Human Breast Carcinoma Cells*

Insulin-like growth factor-binding proteins (IGFBPs) play an integral role in modifying insulin-like growth factor actions in a wide variety of cell types. Recent evidence suggests that IGFBP-3 and IGFBP-5 also have effects on cell growth that are insulin-like growth factor-independent. In investigating possible mechanisms for this effect, the intracellular trafficking of IGFBP-3 and IGFBP-5, both of which contain sequences with the potential for nuclear localization, was studied in T47D cells. Nuclear uptake of fluorescently labeled IGFBP-3 and IGFBP-5 was observed in a proportion of T47D cells that appeared to be rapidly dividing. IGFBP-1 and IGFBP-2, which do not possess the putative domain for nuclear translocation, were not transported to the nuclei of T47D cells. When T47D cells were preincubated with excess unlabeled IGFBP-3, nuclear localization of labeled IGFBP-3 or IGFBP-5 was not detected, indicating that their nuclear translocation involves a common pathway. Inhibition of receptor-mediated endocytosis did not affect nuclear uptake of IGFBP-3, suggesting that it uses an alternative non-classical import pathway for transport across the plasma membrane. In addition, a variant form of IGFBP-3 with a mutation in the putative nuclear localization sequence was unable to translocate to the nuclei of T47D cells, suggesting that nuclear translocation of IGFBP-3 was dependent on these carboxyl-terminal basic residues.
Simulation Study of Low Latency Network Architecture Using Mobile Edge Computing

Title Simulation Study of Low Latency Network Architecture Using Mobile Edge Computing Author(s) INTHARAWIJITR, Krittin; IIDA, Katsuyoshi; KOGA, Hiroyuki Citation IEICE Transactions on Information and Systems, E100.D(5), 963-972 https://doi.org/10.1587/transinf.2016NTP0003 Issue Date 2017-05 Doc URL http://hdl.handle. net/2115/71035 Rights Copyright ©2018 The Institute of Electronics, Information and Communication Engineers Type article File Information E100.D_2016NTP0003. pdf
Anti-Herpes Simplex Virus Activities of Two Novel Disulphated Cyclitols

By screening a library of sulphated compounds of low molecular weight, we have found that several cyclitol derivatives, each modified with two sulphate groups in addition to pyrrole and various aromatic moieties, inhibited infectivity of herpes simplex virus (HSV) at concentrations approximately 100 times lower than those toxic for cultured cells. These disulphated cyclitols interfered with HSV-1 attachment to cells, and efficiently reduced the cell-to-cell spread of the virus. This effect is most likely due to their low molecular weight and associated with the compounds' capability to access the narrow intercellular spaces. Furthermore, these disulphated cyclitols also inactivated infectivity of HSV. However, the virus-inactivating activities of these compounds were to some extent diminished in the presence of human cervical secretions or other protein-rich solutions suggesting that disulphated cyclitols may have some features of surfactant-type virucides. In conclusion, this new class of anti-HSV compounds offers potential for further development.
OPTIMAL POWER DISPATCH AND CONVERSION IN SYSTEMS WITH MULTIPLE ENERGY CARRIERS

This paper introduces a general optimization approach for power dispatch and conversion in power sys- tems that include multiple energy carriers such as electric- ity, natural gas, and district heating. The classical Economic Dispatch method is modied in order to account for certain system properties, such as the possibility of conversion be- tween the different energy carriers, or local overproduction and power feedback to the grid. In this work both a sys- tem model as well as an optimization approach are developed which are suitable for the integration of an arbitrary number of energy carriers. Analytical results show how the optimal conversion of power affects the marginal prices related to the different energy carriers. Finally the proposed optimization procedure is demonstrated in numerical examples.
T U M I N S T I T U T F ¨ U R I N F O R M A T I K Critical Systems Development with UML - Proceedings of the UML'03 workshop

In this paper an approach to using the UML for developing safety critical systems is presented. We describe how safety analysis may be performed on a UML system model and how this analysis can derive safety requirements for classes in the system. We show how these requirements can be expressed in the form of safety contracts using the OCL. This makes it possible to reason about the safety of individual elements of the UML model and thus makes it easier to safely change the UML design, as well as facilitating maintenance and reuse of classes or components in the system. A tool is also described which has been developed to automate some aspects of this analysis.
EFFECTS OF (‐)‐EPIGALLOCATECHIN‐3‐O‐GALLATE (GREEN TEA TANNIN) ON THE LIFE SPAN OF STROKE‐PRONE SPONTANEOUSLY HYPERTENSIVE RATS

1. Effect of (‐)‐epigallocatechin‐3‐O‐gallate (EGCG), a condensed tannin isolated from green tea leaves, on the life span and hypertensive lesions in the stroke‐prone spontaneously hypertensive rat (SHRSP) was compared with that of persimmon tannin.
SZZ revisited: verifying when changes induce fixes

Automatically identifying commits that induce fixes is an important task, as it enables researchers to quickly and efficiently validate many types of software engineering analyses, such as software metrics or models for predicting faulty components. Previous work on SZZ, an algorithm designed by Sliwerski et al and improved upon by Kim et al, provides a process for automatically identifying the fix-inducing predecessor lines to lines that are changed in a bug-fixing commit. However, as of yet no one has verified that the fix-inducing lines identified by SZZ are in fact responsible for introducing the fixed bug. Also, the SZZ algorithm relies on annotation graphs, which are imprecise in the face of large blocks of modified code, for back-tracking through previous revisions to the fix-inducing change. In this work we outline several improvements to the SZZ algorithm: First, we replace annotation graphs with line-number maps that track unique source lines as they change over the lifetime of the software; and second, we use DiffJ, a Java syntax-aware diff tool, to ignore comments and formatting changes in the source. Finally, we begin verifying how often a fix-inducing change identified by SZZ is the true source of a bug.
The Financial and Operating Performance of Privatized Firms in Austria

This paper studies the change in operating and flnancial performance of Austrian flrms that were privatized during the period of 1985-1995. We use two difierent methods to empirically evaluate the performance of privatized flrms. Using accounting data, we measure the operating performance and flnd that there is no signiflcant difierence between state ownership and privatization. Second, we use a return based event study to measure the flnancial performance of the privatization and compare it to the rest of IPOs that were launched in the same period. We flnd that the cumulative returns for the privatized flrms are signiflcantly below private flrms. These results imply that privatization in Austria was less successful compared to international evidence.