Miracle-dz/UniFAR-FTUs huggingface dataset:
Dataflow analysis for multiprocessor systems with non-starvation-free schedulers

Dataflow analysis techniques are suitable for the temporal analysis of real-time stream processing applications. However, the applicability of these models is currently limited to systems with starvation-free schedulers, such as Time-Division Multiplexing (TDM) schedulers. Removal of this limitation would broaden the application domain of dataflow analysis techniques significantly. In this paper we present a temporal analysis technique for Homogeneous Synchronous Dataflow (HSDF) graphs, that is also applicable for systems with non-starvation-free schedulers. Unlike existing dataflow analysis techniques, the proposed analysis technique makes use of an enabling-jitter characterization and iterative fixed-point computation. The presented approach is applicable for arbitrary (cyclic) graph topologies. Buffer capacity constraints are taken into account during the analysis and sufficient buffer capacities can be determined afterwards. The approach presented in this paper is the first approach that considers non-starvation-free schedulers in combination with arbitrary HSDF graphs The proposed dataflow analysis technique is implemented in a tool. This tool is used to evaluate the analysis technique using examples that illustrate some important differences with other temporal analysis methods. The case-study discusses how the method presented in this paper can be used to solve a problem with the inaccuracy of the temporal analysis results of a real-time stream processing system. This stream processing system consists of an FM receiver together with a DAB receiver application which both share a Digital Signal Processor (DSP).
Secure Integration of Service-Oriented Application

The model-driven engineering approach tries to reduce the gap between the problem domain and software implementations. In this article, we propose to use this approach for solving the complex problem of service composition with security properties. During system design, paradigms such as abstraction, separation of concerns and language def- inition are used to de ne a model of the service composition with security properties. This model is transformed into an execution model.
Restrictions of frequent frames as cues to categories: the case of Dutch

Why Dutch 12-month-old infants do not use frequent frames in early categorization Mintz (2003) proposes that very local distributional contexts of words in the input-so-called 'frequent frames'-function as reliable cues for categories corresponding to the adult verb and noun. He shows that categories resulting from frequent frames align with English grammatical categories for over 90% and that American 12-month-olds use these frequent frames to form a verbal category. Based on Dutch input and child data, I will show that frequent frames are not generally valid as a cue to categories. In a replication of Mintz (2003) for the input to Dutch children, I found that the frame-based categories aligned with Dutch grammatical categories for only 40%-71%. Furthermore, Dutch 12-month-olds did not use these cues in an experiment designed parallel to Mintz (2006). Even Dutch 16-montholds did not use the cues, although there was some development towards the English pattern between the two age groups.
Improving approximate reachability by dynamic interleavings of projections-based algorithms

Finding the set of reachable states of a digital control circuit has important applications in synthesis, analysis and verification of digital control systems. The literature contains a wide range of reachability analysis algorithms, including exact and approximate ones, with complementary or even incomparable strengths. Given a problem instance, it is practically impossible to statically identify the algorithm that would offer the best trade-off between performance and synthesis/verification objectives. In this paper, we focus on projections-based approximate reachability analysis algorithms and show that dynamically interleaving these algorithms can outperform not only the individual algorithms, but also other state-of-the-art tools. We demonstrate the effectiveness of our idea by a set of experiments.
The C-terminal Domain of the Measles Virus Nucleoprotein Is Intrinsically Disordered and Folds upon Binding to the C-terminal Moiety of the Phosphoprotein*

The nucleoprotein of measles virus consists of an N-terminal moiety, NCORE, resistant to proteolysis and a C-terminal moiety, NTAIL, hypersensitive to proteolysis and not visible as a distinct domain by electron microscopy. We report the bacterial expression, purification, and characterization of measles virus NTAIL. Using nuclear magnetic resonance, circular dichroism, gel filtration, dynamic light scattering, and small angle x-ray scattering, we show that NTAIL is not structured in solution. Its sequence and spectroscopic and hydrodynamic properties indicate that NTAIL belongs to the premolten globule subfamily within the class of intrinsically disordered proteins. The same epitopes are exposed in NTAIL and within the nucleoprotein, which rules out dramatic conformational changes in the isolated NTAILdomain compared with the full-length nucleoprotein. Most unstructured proteins undergo some degree of folding upon binding to their partners, a process termed “induced folding. ” We show that NTAILis able to bind its physiological partner, the phosphoprotein, and that it undergoes such an unstructured-to-structured transition upon binding to the C-terminal moiety of the phosphoprotein. The presence of flexible regions at the surface of the viral nucleocapsid would enable plastic interactions with several partners, whereas the gain of structure arising from induced folding would lead to modulation of these interactions. These results contribute to the study of the emerging field of natively unfolded proteins.
Recent Advances on the Simulation Models for Ad Hoc Networks: Real Traffic and Mobility Models

In order to provide credible and valid simulation results it is important to built simulation models that accurately represent the environments were ad hoc networks will be deployed. Recent research results have shown that there is a disparity of 30% between protocol performance in real test beds and the one in simulation environments. In this paper we summarize the recent trends on the simulation models for ad hoc networks. First, we provide a survey of the synthetic and real traffic models used in ad hoc network simulation studies. Second, we select a representative of the most used mobility synthetic model, the real pedestrian mobility model, and the real vehicular model (for mixed traffic). We show that the real pedestrian and real vehicular model share common mobility characteristics: a) The transition matrix on both models illustrate that wireless nodes do not move from one location to another at random, but they are rather based on activities (work, shopping, college, gym); b) The dynamic membership property illustrates that nodes join and leave the simulation based on some variable distribution or patterns. Lastly, via simulations we show that when using realistic simulation models the simulation protocol performance closer reflects with the real test bed protocol performance.
Noninvasive assessment of the diabetic patient for coronary artery disease.

Type 2 diabetes has been referred to as “a cardiovascular disease associated with hyperglycemia” (1). Such inversion of traditional terminology stems, in part, from the extraordinary frequency with which heart disease occurs in this condition. Cardiovascular diseases are indeed responsible for 65% of deaths in diabetic patients, the great majority of whom have type 2 diabetes (2). The Framingham Study (3) long ago demonstrated that diabetic individuals had a two- to fivefold increased risk of developing angina, myocardial infarction, and congestive heart failure. When individuals 11-fold that of the general population (4). We recognize the link between diabetes and ischemic heart disease (IHD) on a daily basis in clinical practice, and it has been repeatedly demonstrated in a number of other epidemiological analyses (5,6,7). Even when the diabetic patient comes under appropriate medical care for vascular disease, outcomes are poorer than those of nondiabetic individuals. Specifically, mortality statistics after myocardial infarction (8) or even after revascularization procedures (9) are increased in the setting of preexisting diabetes. In addition to the obvious human costs, health care expenditures related to premature atherosclerosis are considerable, particularly when the additional costs of disability and lost productivity are calculated (4). The cause of the macrovasculopathy of diabetes becomes apparent when one considers the deleterious effects of the hyperglycemic milieu, such as protein glycosylation, increased oxidative stress, endothelial dysfunction, and an underlying procoagulant state. In type 2 diabetes, these processes conspire with additional cardiovascular risk factors associated with the metabolic syndrome: obesity, hypertension, dyslipidemia, hyperinsulinemia, decreased fibrinolysis, and further endothelial abnormalities. Offsetting this otherwise sobering picture are recent advances in cardiovascular risk reduction in patients with diabetes. A broad range of clinical trials, for instance, have unequivocally …
Efficient label encoding in segment-routing enabled optical networks

The currently standardized GMPLS protocol suite for packet over optical networks relies on hierarchical instances of signaling sessions. Such sessions have to be established and maintained also in transit nodes, leading to complex and weighty control plane implementations. A novel technology called Segment Routing (SR) has been recently proposed to address these issues. SR relies on the source routing paradigm to provide traffic engineering solutions. In particular, the computed route for a given request is expressed as a segment list applied as an header to data packets at the ingress node. Specific algorithms are then required to perform the path computation and express the computed path through an effective segment list encoding (i.e., label stack), minimizing the segment list depth (SLD) (i.e., the number of labels included in the segment list). So far, no algorithms have been proposed to jointly provide path and segment list computation in SR-based networks. In this study, an efficient segment list encoding algorithm is proposed, guaranteeing optimal path computation and limited SLD in SR-based networks. The algorithm also accounts for equal-cost multiple paths and multiple constraints. The proposed algorithm is successfully applied to different network scenarios, demonstrating its flexibility in several use cases and showing effective performance in terms of segment list depth and introduced packet overhead.
Firms, networks and markets : a survey of recent research

[fre] Cet article presente un panorama de recherches recentes sur la formation de reseaux inter-firmes. Ces reseaux sont consideres dans deux types d'environnement economique. Nous etudions tout d'abord des reseaux de collaboration horizontale entre firmes. Puis nous analysons des reseaux de relations verticales (telles que client/fournisseur). Nous examinons les architectures de reseaux strategiquement stables et la relation entre incitation individuelle et surplus social dans les reseaux. [eng] This paper presents a survey of recent research on the formation of networks between firms. The paper considers networks in two economic environments. We first consider networks of research collaboration between horizontally related firms. We then study networks between vertically related firms (such as buyers and sellers). We examine the architecture of strategically stable networks and the relation between individual incentives and social welfare in networks.
Implementing the Required Degree of Multitenancy Isolation: A Case Study of Cloud-Hosted Bug Tracking System

Implementing the required degree of isolation between tenants is one of the significant challenges for deploying a multitenant application on the cloud. In this paper, we applied COMITRE (COmponent-based approach to Multitenancy Isolation Through request RE-routing) to empirically evaluate the degree of isolation between tenants enabled by three multitenancy patterns (i.e., shared component, tenant-isolated component, and dedicated component) for a cloud-hosted Bug tracking system using Bugzilla. The study revealed among other things that a component deployed based on dedicated component offers the highest degree of isolation (especially for database transactions where support for locking is enabled). Tenant isolation based on performance (e.g., response time) favoured shared component (compared to resource consumption (e.g., CPU and memory) which favoured dedicated component). We also discuss key challenges and recommendations for implementing multitenancy for application components in cloud-hosted bug tracking systems with guarantees for isolation between multiple tenants.
Heartbeat Cycle Length Detection by a Ballistocardiographic Sensor in Atrial Fibrillation and Sinus Rhythm

Background. Heart rate monitoring is especially interesting in patients with atrial fibrillation (AF) and is routinely performed by ECG. A ballistocardiography (BCG) foil is an unobtrusive sensor for mechanical vibrations. We tested the correlation of heartbeat cycle length detection by a novel algorithm for a BCG foil to an ECG in AF and sinus rhythm (SR). Methods. In 22 patients we obtained BCG and synchronized ECG recordings before and after cardioversion and examined the correlation between heartbeat characteristics. Results. We analyzed a total of 4317 heartbeats during AF and 2445 during SR with a correlation between ECG and BCG during AF of r = 0.70 (95% CI 0.68–0.71, P < 0.0001) and r = 0.75 (95% CI 0.73–0.77, P < 0.0001) during SR. By adding a quality index, artifacts could be reduced and the correlation increased for AF to 0.76 (95% CI 0.74–0.77, P < 0.0001, n = 3468) and for SR to 0.85 (95% CI 0.83–0.86, P < 0.0001, n = 2176). Conclusion. Heartbeat cycle length measurement by our novel algorithm for BCG foil is feasible during SR and AF, offering new possibilities of unobtrusive heart rate monitoring. This trial is registered with IRB registration number EK205/11. This trial is registered with clinical trials registration number NCT01779674.
Spatial Stimulus-response (S-R) Compatibility Effect for Hand Controls with Visual Signals on Horizontal Plane

demonstrated that when stimulus and response sets vary along both horizontal and vertical dimensions, the horizontal (right/left) locational cues are found stronger than vertical (above/below) cues, and this phenomenon is known as right/left prevalence effect [1-3]. However, there is no research study in examining the right/left prevalence effect of stimulus and response sets in transverse (right/left) and longitudinal (front/rear) dimensions. The more we have about human performance in different display-control configurations, the better and more effective will be human-machine interfaces designed to allow effective operation. This study explored the spatial compatibility effect of hand controls with visual signals presented on horizontal planes. Results showed salient spatial compatibility effect between visual signals and controls, however, there was no indication of any prevalence effect of right/left dimension over front/rear one. Results were translated into practical recommendations for design of control-horizontal display configuration.
MicroRNA-1 Negatively Regulates Expression of the Hypertrophy-Associated Calmodulin and Mef2a Genes

ABSTRACT Calcium signaling is a central regulator of cardiomyocyte growth and function. Calmodulin is a critical mediator of calcium signals. Because the amount of calmodulin within cardiomyocytes is limiting, the precise control of calmodulin expression is important for the regulation of calcium signaling. In this study, we show for the first time that calmodulin levels are regulated posttranscriptionally in heart failure. The cardiomyocyte-restricted microRNA miR-1 inhibited the translation of calmodulin-encoding mRNAs via highly conserved target sites within their 3′ untranslated regions. In keeping with its effect on calmodulin expression, miR-1 downregulated calcium-calmodulin signaling through calcineurin to NFAT. miR-1 also negatively regulated the expression of Mef2a and Gata4, key transcription factors that mediate calcium-dependent changes in gene expression. Consistent with the downregulation of these hypertrophy-associated genes, miR-1 attenuated cardiomyocyte hypertrophy in cultured neonatal rat cardiomyocytes and in the intact adult heart. Our data indicate that miR-1 regulates cardiomyocyte growth responses by negatively regulating the calcium signaling components calmodulin, Mef2a, and Gata4.
Iterative non-stationary channel estimation for LTE downlink communications

Intelligent transport systems (ITS) require low-latency dependable wireless communication links between transmitter and receiver. In vehicular communication scenarios communication channels are highly dispersive which makes the design of appropriate channel estimators especially difficult. In this paper we address the problem of non-stationary vehicular channel estimation for 3GPP long term evolution (LTE) which is recently investigated for its usability in ITS applications. We present an iterative reduced-rank channel estimator for the LTE downlink utilizing a subspace representation based on discrete prolate spheroidal sequences. The subspace is adapted to the time-varying delay and Doppler-spread for each received frame with a hypothesis test. This hypothesis test is adapted to the specific pilot grid in LTE. With this setup we can achieve a twofold reduction in the number of required iterations to achieve a frame error rate (FER) below 10-1 for a relative velocity range of 0 to 400 km/h, a delay spread of 0 to 4.7 μs at a signal-to-noise ratio (SNR) of 13 dB.
Responding to Global Pressure: The Role of Private Partnership and Public Agencies in the Sinos Valley, Brazil

This paper sums up the experience of a Brazilian cluster of small and medium enterprises in the Sinos Valley. It shows that cooperation amongst local enterprises strengthens their ability to compete globally and that business associations can play an important role in identifying the key problems and proposing solutions. This paper was prepared for the Inter-American Development Bank's conference, "Building a Modern and Effective Business Development Services Industry in Latin America and the Caribbean", held in Rio de Janeiro, Brazil on March 3rd-5th, 1999.
Preference for geometric patterns early in life as a risk factor for autism.

CONTEXT Early identification efforts are essential for the early treatment of the symptoms of autism but can only occur if robust risk factors are found. Children with autism often engage in repetitive behaviors and anecdotally prefer to visually examine geometric repetition, such as the moving blade of a fan or the spinning of a car wheel. The extent to which a preference for looking at geometric repetition is an early risk factor for autism has yet to be examined. OBJECTIVES To determine if toddlers with an autism spectrum disorder (ASD) aged 14 to 42 months prefer to visually examine dynamic geometric images more than social images and to determine if visual fixation patterns can correctly classify a toddler as having an ASD. DESIGN Toddlers were presented with a 1-minute movie depicting moving geometric patterns on 1 side of a video monitor and children in high action, such as dancing or doing yoga, on the other. Using this preferential looking paradigm, total fixation duration and the number of saccades within each movie type were examined using eye tracking technology. SETTING University of California, San Diego Autism Center of Excellence. PARTICIPANTS One hundred ten toddlers participated in final analyses (37 with an ASD, 22 with developmental delay, and 51 typical developing toddlers). MAIN OUTCOME MEASURE Total fixation time within the geometric patterns or social images and the number of saccades were compared between diagnostic groups. RESULTS Overall, toddlers with an ASD as young as 14 months spent significantly more time fixating on dynamic geometric images than other diagnostic groups. If a toddler spent more than 69% of his or her time fixating on geometric patterns, then the positive predictive value for accurately classifying that toddler as having an ASD was 100%. CONCLUSION A preference for geometric patterns early in life may be a novel and easily detectable early signature of infants and toddlers at risk for autism.
Challenges and Opportunities for Cancer Vaccines in the Current NSCLC Clinical Scenario

This review is aimed to focus on NSCLC as an emerging and promising model for active immunotherapy and the challenges for its inclusion in the current clinical scenario. Cancer vaccines for NSCLC have been focused as a therapeutic option based on the identification of a tumor hallmark and the active immunization with the related molecules that triggers cellular and/or humoral responses that consequently destroy or delay the rate of malignant progression. This therapeutic intervention in an established disease state has been aimed to impact into prolonging patient´s survival with ethically accepted quality of life. Understanding of relationship between structure and function in cancer vaccines is essential to interpret their opportunities to impact into prolonging survival and increasing quality of life in cancer patients. It is widely accepted that the failure of the cancer vaccines in the NSCLC scenario is related with its introduction in the advanced disease stages and poor performance status of the patients due to the combination of the tumor induced immunosuppression with the immune senescence. Despite first, second and emerging third line of onco-specific treatments the life expectancy for NSCLC patients diagnosed at advanced stages is surrounding the 12 months of median survival and in facts the today real circumstances are extremely demanding for the success inclusion of cancer vaccines as therapeutic choice in the clinical scenario. The kinetics of the active immunizations encompasses a sequential cascade of clinical endpoints: starting by the activation of the immune system, followed by the antitumor response and finalizing with the consequential impact on patients’ overall survival. Today this cascade of clinical endpoints is the backbone for active immunization assessment and moreover the concept of cancer vaccines, applied in the NSCLC setting, is just evolving as a complex therapeutic strategy, in which the opportunities for cancer vaccines start from the selection of the target cancer hallmark, followed by the vaccine formulation and its platforms for immune potentiating, also cover the successful insertion in the standard of care, the chronic administration beyond progression disease, the personalization based on predictors of response and the potential combination with other targeted therapies.