Miracle-dz/UniFAR-FTUs huggingface dataset:
Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support

The feasibility test of a hard real time system must not only take into account the temporal behavior of the application tasks but also the behavior of the run-time support in charge of executing applications. The paper is devoted to the schedulability analysis of a run-time support for distributed dependable hard real time applications. In contrast to previous works that consider rather simple run-time supports (e.g. a real time kernel made of a simple tick scheduler and an unreliable communication protocol), our work deals with a complex run-time support with fault tolerance capabilities and made of multiple tasks that invoke each other.
Experimental validation of model-based thruster fault detection for underwater vehicles

This paper describes a model-based thruster fault detection scheme for an autonomous underwater vehicle. For a vehicle equipped with servo motor based marine thrusters, the velocity and current feedback from the motor controllers can be used to derive two independent thrust approximations. The difference between the two models reveals the presence of fault conditions, and quantifies the error of the output thrust relative to the desired reference. The method is proven effective through experimental validation.
Power, performance and area prediction of 3D ICs during early stage design exploration in 45nm

In this work, the impact of across-chip temperature and power supply voltage variations, on performance predictions in 3D ICs, is investigated. To make this possible, a novel design flow is proposed to perform design exploration of 3D ICs. Power supply voltage and thermal variations are modeled, to allow accurate PPA (power, performance and area) predictions. Using the main parts of this design flow, in a system comprising hundreds of million gates, complicated mechanisms are shown to determine the performance of the system. With increasing number of dies, timing is shown to exhibit 4 distinct regions, where either temperature or voltage drop is the dominant limiting factor. Power consumption does not scale monotonically with increasing die number. As a consequence, optimum system performance is in no way achieved by minimizing temperature and voltage drop, as is assumed in the literature so far. The across-chip temperature and power supply voltage variations are finally shown to cause on average 40% increase in timing and 53% decrease in power consumption, compared to the assumption of nominal conditions.
Knickpoint evolution in a supraglacial stream

ABSTRACT Despite numerous studies of knickpoints in bedrock and alluvial channels, no detailed description of knickpoint change on ice has been reported to date. This paper presents the first investigation of knickpoint evolution within a supraglacial stream. Repeat longitudinal profile surveys of a knickpoint on Vadrec del Forno, Switzerland reveal a step height increase of 115 mm and upstream migration of 0.26 m over three days during the 2017 ablation season. Rates and magnitudes of erosion vary spatially across the knickpoint in relation to differing discharge regimes. At high discharges (∼0.013 m3 s−1), erosion is focused at the step base; at low discharges (∼0.003 m3 s−1), erosion is focused on the reach upstream of the knickpoint, at the step lip and the step-riser face. This results in replacement of knickpoint morphology, driven by frictional thermal erosion and hydraulic action. Pool formation further influences step morphology, inducing secondary circulation and increased melt at the base of the step-riser, causing steepening. Results highlight the complexities of water flow over knickpoints, demonstrating that the stream power law does not accurately characterise changing knickpoint morphology or predict retreat rates. Although morphological similarities have been reported between supraglacial and bedrock/alluvial channels, knickpoints in non-ice-walled channels will not necessarily respond to discharge similarly to those on ice due to the different erosional processes involved.
Reproducing Kernel Method for Fourth Order Singularly Perturbed Boundary Value Problem

In this paper, reproducing kernel method is proposed for solving singularly perturbed fourth order boundary value problem in 5 2 W (0,1) . The exact solutions are given in the form of series. By truncating the series, the app-roximate solutions is obtained. The errors of the approximate solutions are monotone decreasing with the increasing of nodal points. It is observed that our approach produce better numerical solutions in the sense that maximum absolute error | ei| is a minimum. Results of numerical examples demonstrate that the method is quite accurate and efficient for fourth order singular perturbed BVPs. Numerical illustrations are tabulated to demonstrate the practical usefulness of method.
A Streaming Parallel Decision Tree Algorithm

We propose a new algorithm for building decision tree classifiers. The algorithm is executed in a distributed environment and is especially designed for classifying large data sets and streaming data. It is empirically shown to be as accurate as a standard decision tree classifier, while being scalable for processing of streaming data on multiple processors. These findings are supported by a rigorous analysis of the algorithm's accuracy. The essence of the algorithm is to quickly construct histograms at the processors, which compress the data to a fixed amount of memory. A master processor uses this information to find near-optimal split points to terminal tree nodes. Our analysis shows that guarantees on the local accuracy of split points imply guarantees on the overall tree accuracy.
Isolation and characterization of "Methanosphaera cuniculi" sp. nov

A nonmotile, gram-positive, spherical organism was isolated from the intestinal tracts of rabbits. Both hydrogen and methanol were required for growth. No methane was produced from hydrogen-carbon dioxide, formate, acetate, methylamines, ethanol, or isopropanol. The optimum pH was 6.8, and the optimum temperature was 35 to 40 degrees C. The DNA G+C content is 23 mol%. The pseudomurein cell wall contained serine. These characteristics and the immunological fingerprinting results are consistent with its placement in the genus Methanosphaera as a new species.
Hybrid logics on linear structures: expressivity and complexity

We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algorithmically well behaved. Therefore, they are well suited for the specification of certain properties of computational systems. We show that hybrid logics are more expressive than usual modal and temporal logics on linear structures, and exhibit a hierarchy of hybrid languages. We determine the complexities of the satisfiability problem for these languages and define an existential fragment of hybrid logic for which satisfiability is still NP-complete. Finally, we examine the linear time model checking problem for hybrid logics and its complexity.
Compositional Changes of B and T Cell Subtypes during Fingolimod Treatment in Multiple Sclerosis Patients: A 12-Month Follow-Up Study

Background and objective The long term effects of fingolimod, an oral treatment for relapsing-remitting (RR) multiple sclerosis (MS), on blood circulating B and T cell subtypes in MS patients are not completely understood. This study describes for the first time the longitudinal effects of fingolimod treatment on B and T cell subtypes. Furthermore, expression of surface molecules involved in antigen presentation and costimulation during fingolimod treatment are assessed in MS patients in a 12 month follow-up study. Methods Using flow cytometry, B and T cell subtypes, and their expression of antigen presentation, costimulation and migration markers were measured during a 12 month follow-up in the peripheral blood of MS patients. Data of fingolimod-treated MS patients (n = 49) were compared to those from treatment-naive (n = 47) and interferon-treated (n = 27) MS patients. Results In the B cell population, we observed a decrease in the proportion of non class-switched and class-switched memory B cells (p<0.001), both implicated in MS pathogenesis, while the proportion of naive B cells was increased during fingolimod treatment in the peripheral blood (PB) of MS patients (p<0.05). The remaining T cell population, in contrast, showed elevated proportions of memory conventional and regulatory T cells (p<0.01) and declined proportions of naive conventional and regulatory cells (p<0.05). These naive T cell subtypes are main drivers of MS pathogenesis. B cell expression of CD80 and CD86 and programmed death (PD) -1 expression on circulating follicular helper T cells was increased during fingolimod follow-up (p<0.05) pointing to a potentially compensatory mechanism of the remaining circulating lymphocyte subtypes that could provide additional help during normal immune responses. Conclusions MS patients treated with fingolimod showed a change in PB lymphocyte subtype proportions and expression of functional molecules on T and B cells, suggesting an association with the therapeutic efficacy of fingolimod.
CTU-Mine: An Efficient High Utility Itemset Mining Algorithm Using the Pattern Growth Approach

Frequent pattern mining discovers patterns in transaction databases based only on the relative frequency of occurrence of items without considering their utility. For many real world applications, however, utility of itemsets based on cost, profit or revenue is of importance. The utility mining problem is to find itemsets that have higher utility than a user specified minimum. Unlike itemset support in frequent pattern mining, itemset utility does not have the anti-monotone property and so efficient high utility mining poses a greater challenge. Recent research on utility mining has been based on the candidate-generation-and-test approach which is suitable for sparse data sets with short patterns, but not feasible for dense data sets or long patterns. In this paper we propose a new algorithm called CTU-Mine that mines high utility itemsets using the pattern growth approach. We have tested our algorithm on several dense data sets, compared it with the recent algorithms and the results show that our algorithm works efficiently.
Investigating Intense Rainfall Influence on Distance Measurement with a Time-of-Flight Camera Sensor Using Optical Ray-Tracing Simulation Technique

Robust, fast and reliable examination of the surroundings is essential for further advancements in autonomous driving and robotics. Time-of-Flight (ToF) camera sensors are a key technology to measure surrounding objects and their distances on a pixel basis in real-time. Environmental effects, like rain in front of the sensor, can influence the distance accuracy of the sensor. Here we use an optical ray-tracing based procedure to examine the rain effect on the ToF image. Simulation results are presented for experimental rain droplet distributions, characteristic of intense rainfall at rates of 25 mm/h and 100 mm/h. The ray-tracing based simulation data and results serve as an input for developing and testing rain signal suppression strategies.
Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design

ル カ シ ュ ビ ッ ツ の 無限値 論理 をべ 一 ス に した フ ァ ジ ィ アブ ダク シ ョ ン を提案す る. 一般 に多値論 埋 に おける modus ponens や modus tolens で は推 論結果 は 一 意 に決 まらず,真 理値 の 集合 と して 得 られる. 本研究で は ある制限 さ れ た 状況で行なわ れ る modus ponens と modus tolens に つ い て 考察 し , そ の 状況下 で の 推論 (因 果推論 と呼ぶ )に関する仮説を導入 する. そ して そ れ に従 えば推 論結果が 一 意 に 定 まる こ とを示す。 次 に , こ の 因果推論 に基づ い て導出可能とい う概念 と与えられ た フ ァ ジ ィ 集合 を導出す るフ ァ ジ ィ 説明 の 概念 を導入 し, それ らの 性質 と解構造 に つ い て 議 論す る,さら に フ ァ ジ ィ ア ブ ダクシ ョ ン を こ の フ ァ ジ ィ 説明 を導 く手続きとして 定義す る. 最 後 に , 提 案 した フ ァ ジ ィ ア ブ ダ ク シ ョ ン を用 い た 計算例 を示す.
Java tools for teaching speech recognition

In this paper, we present our concept for a sequence of experiments with speech recognizers used in teaching speech recognition techniques. The experiments are performed with a combination of own tools and the hidden Markov toolkit (HTK). The first experiment demonstrates speaker dependent recognition based on the dynamic time warp algorithm. In the course of this experiment all utterances from the students are recorded and used to build up a data base. Both the recognizer and the tool used for viewing and editing the speech data are written in Java making them platform independent and easy to extend. The recorded speech data is then utilized to train and test a speaker independent recognizer.
Mining Actor-level Structural and Neighborhood Evolution for Link Prediction in Dynamic Networks

Link prediction problem in network science has experienced extensive methodological improvements and simultaneously, spawned over numerous applications. In relation to evolutionary network analysis, different dynamic link prediction methods in network science not only support the prediction of future links but also assist in modelling network dynamics. The concept of constructing dynamic similarity metrics by considering the actor-level evolution of network structure and associated neighborhoods has been widely ignored for the purpose of dynamic link prediction. This study attempts to propose two dynamic similarity metrics for the purpose of dynamic link prediction in longitudinal networks through mining evolutionary information. These metrics consider the similarity between network structural and neighborhood changes over time incident to non-connected actor pairs. These metrics are then used as dynamic features in supervised link prediction model and performances are compared against two baseline static similarity metrics (i.e., AdamicAdar and Katz). Higher performance scores achieved by these features, examined in this study, exemplifies them as prospective candidates not only for dynamic link prediction task but also in understanding the growth pattern of dynamic networks.
The specificity of the interaction between αB-crystallin and desmin filaments and its impact on filament aggregation and cell viability

CRYAB (αB-crystallin) is expressed in many tissues and yet the R120G mutation in CRYAB causes tissue-specific pathologies, namely cardiomyopathy and cataract. Here, we present evidence to demonstrate that there is a specific functional interaction of CRYAB with desmin intermediate filaments that predisposes myocytes to disease caused by the R120G mutation. We use a variety of biochemical and biophysical techniques to show that plant, animal and ascidian small heat-shock proteins (sHSPs) can interact with intermediate filaments. Nevertheless, the mutation R120G in CRYAB does specifically change that interaction when compared with equivalent substitutions in HSP27 (R140G) and into the Caenorhabditis elegans HSP16.2 (R95G). By transient transfection, we show that R120G CRYAB specifically promotes intermediate filament aggregation in MCF7 cells. The transient transfection of R120G CRYAB alone has no significant effect upon cell viability, although bundling of the endogenous intermediate filament network occurs and the mitochondria are concentrated into the perinuclear region. The combination of R120G CRYAB co-transfected with wild-type desmin, however, causes a significant reduction in cell viability. Therefore, we suggest that while there is an innate ability of sHSPs to interact with and to bind to intermediate filaments, it is the specific combination of desmin and CRYAB that compromises cell viability and this is potentially the key to the muscle pathology caused by the R120G CRYAB.
Double coverage ambulance location modeling using fuzzy traveling time

In this paper, one of the novel issues of the world regarding the location of ambulance stations within a given area to cover the maximum amount of demand is studied. In this study, the classic version of location problem is improved using the double coverage models so that two radii are considered for covering. Furthermore, the developed study contains the meaningful factors indicating the demand for each patient location covered by each station (vehicle location). In the proposed model, the uncertainty existed in the travel time between the patient locations and vehicle locations have been considered as triangular fuzzy numbers. To solve the proposed model, the goal programming approach is applied in the GAMS software and desired outputs have been achieved. The obtained results represent a significant improvement compared to the past models with uncertainty.
Electrically small meanderly folded patch antennas

This paper introduces a novel small antenna structures - meanderly folded patch antennas - and discusses performance properties of several miniaturized versions. All antenna versions operate on the basic mode TM010. The influence of the number of meanders, size of the antenna, quality factor Q, frequency bandwidth BW and directivity is discussed.
Posttraumatic stress disorder symptom severity and control beliefs as the predictors of academic burnout amongst adolescents following the Wenchuan Earthquake

ABSTRACT Background: Previous studies indicate that posttraumatic stress disorder (PTSD) and control beliefs can affect burnout and their unique role in this situation has been examined, but fewer studies have examined their combined role in adolescent’s academic burnout following traumatic events. Objective: This study examined the combined effect of PTSD symptom severity and control beliefs on academic burnout among adolescents, and assessed the moderating role of primary and secondary control beliefs in the relation between PTSD symptom severity and academic burnout. Methods: Seven hundred and forty-five adolescents were investigated using self-report questionnaires, and a series of regression equations examined the impact of PTSD severity and control beliefs on academic burnout. Results: PTSD symptom severity is associated positively with academic burnout, while primary and secondary control beliefs have a negative relation with academic burnout. In addition, primary control beliefs buffer the positive effects of PTSD symptom severity on academic burnout. We found that the positive relation between PTSD symptom severity and academic burnout in the low primary control beliefs group is more intense than that found in the high primary control beliefs group. Conclusions: PTSD symptom severity is a risk factor, whereas primary and secondary control beliefs are protective factors in academic burnout. In addition, PTSD symptom severity and primary control beliefs have a combined effect on academic burnout in adolescents following natural disasters.
Psychological distress in patients with chronic atrophic gastritis: the risk factors, protection factors, and cumulative effect

Abstract This study aimed to examine the psychological status among Chronic Atrophic Gastritis (CAG) patients and to find the cumulative effects of risk and protective factors. A sample of 101 CAG patients completed the investigation. Hierarchical linear regression was used to find risk and protective factors, and examine the cumulative effects in risk factor index (RFI) and protective factor index (PFI). Results showed that nine symptoms from SCL-90-R were severer among CAG patients than those in adult norm. Risk factors including positive family history of cancer and higher negative life events could predict higher GSI (β = 0.206, p = 0.023; β = 0.398, p < 0.001; R² = 0.203); more household resistant, positive coping and stronger resilience were protective factors and could predict GSI negatively (β = -0.188, p = 0.020; β = -0.350, p = 0.012; β = −0.066, p = 0.621; R² = 0.190). The GSI was positively correlated with RFI (β = 0.338, p < 0.001; R² = 0.113) and negatively related to PFI (β = −0.378, p < 0.001; R² = 0.133). In conclusion, CAG patients suffered from various psychological distress, and the protective factors should be enhanced cumulatively to protect against psychological distress.
This item is the archived peer-reviewed author-version of: Risk factors for non-suicidal self-injury among trans youth

Background: Previous research has reported high levels of non-suicidal self-injury (NSSI) in trans populations and younger age has been identified as a risk factor. Aims: To explore the prevalence of NSSI in a large group of young trans people, and to identify risk factors for this group. Main Outcome Measures : Socio-demographic variables and measures of NSSI (The Self-Injury Questionnaire), Psychopathology (Symptom Checklist 90 Revised), Self-esteem (Rosenberg Self Esteem Scale), victimization (Experiences of transphobic victimization), Interpersonal functioning (Inventory of Interpersonal Problems) and social support (Multidimensional Scale of Perceived Social Support). Methods: Two hundred and sixty eight young people attending a national gender clinic completed questionnaires assessing presence and frequency of NSSI and levels of general psychopathology, depression, anxiety, interpersonal problems, self-esteem, social support, transphobia, and information on hormone treatment. Results: A life-time presence of NSSI was identified in 46.3% of patients and 28.73% reported currently engaging in NSSI (within at least the last few months). Analyses showed that those with a life-time presence of NSSI had significantly greater general psychopathology, lower self-esteem, had suffered more transphobia, and experienced greater interpersonal problems than those without NSSI. Findings were similar when comparing current versus non-current NSSI. Overall, natal males reported less social support than natal females, but current NSSI was more common in natal females. Regression analyses confirmed that natal female gender and greater general psychopathology predicted both current and life-time NSSI. Further analyses confirmed that general psychopathology itself could be predicted by transphobic experiences, low self-esteem, and interpersonal problems, but not by the use of cross sex hormones. Conclusions: These findings confirm that NSSI is common in trans youth and emphasise the need for interventions, which decrease transphobia, increase social support and help trans youth navigate their relationships with others in order to reduce psychopathology and NSSI.
Human action recognition using multiple views: a comparative perspective on recent developments

This paper presents a review and comparative study of recent multi-view 2D and 3D approaches for human action recognition. The approaches are reviewed and categorized due to their nature. We report a comparison of the most promising methods using two publicly available datasets: the INRIA Xmas Motion Acquisition Sequences (IXMAS) and the i3DPost Multi-View Human Action and Interaction Dataset. Additionally, we discuss some of the shortcomings of multi-view camera setups and outline our thoughts on future directions of 3D human action recognition.
Multimedia Pivot Tables for Multimedia Analytics on Image Collections

We propose a multimedia analytics solution for getting insight into image collections by extending the powerful analytic capabilities of pivot tables, found in the ubiquitous spreadsheets, to multimedia. We formalize the concept of multimedia pivot tables and give design rules and methods for the multimodal summarization, structuring, and browsing of the collection based on these tables, all optimized to support an analyst in getting structural and conclusive insights. Our proposed solution provides truly interactive analytics on the visual content of image collections through concept detection results, as well as tags, geolocation, time, and other metadata. We have performed user experiments with novice users on a dataset from Flickr to improve the initial design and with expert users in marketing and multimedia analysis on two domain-specific datasets collected from Instagram. The results show that analysts are indeed capable of deriving structural and conclusive insights using the proposed multimedia analytics solution. On our website, videos of the system in action are available.