Miracle-dz/UniFAR-FTUs huggingface dataset:
Hierarchical modeling control of a motorcycle semi-active suspension with six degree-freedoms

Hierarchical control is a new control framework in vehicle vibration control field. In this paper, a hierarchical modeling method is provided to construct a different motorcycle model compared to traditional model with six degrees of freedom (DOF) so as to design a hierarchical modeling control. The whole control framework is composed of a center control, two local controls and two uncontrollable parts. The front and rear wheel systems of a motorcycle are all dealt with two independent local 2-DOF systems. The driver and engine are acted as uncontrollable passive parts. The center control formed by an algorithm make up of some dynamic equations that harmonize local relations are deduced. The vertical and pitch accelerations of the suspension center are treated as center control objects. In example, a real time Linear Quadratic Gaussian (LQG) algorithm is adopted by two local controls, respectively. The results of simulation show that the hierarchical modeling control has less CPU time to depress response lag and improve ride quality.
Strain and displacement measurements for microsystems technology

Two distinguished methods of tracking of natural or artificial surface structures have been utilized for deformation measurements in the microscopic domain. The first method regards classic speckle photography and involves Young's fringes evaluation, the second one bases on a direct cross correlation of structures by digital image processing means. Displacement and strain values are obtained within a regular data point grid automatically. Possible resolution limits for strain values are about 1 (DOT) 10-4. The typical displacement resolution is about 10 nm, but strongly depends on the structure imaging method. In order to use the measurement data together with numerical finite element simulations interfaces have been installed. The usefulness of the applied algorithms to problems in microtechnology is illustrated by a scanning electron microscope analysis of the complex solder deformation on surface mounted devices. Another example of application deals with the measurement of thermal expansion coefficients on adhesives of the electronics industry.
Towards a market managed peer-to-peer file sharing system using token-based accounting and distributed pricing

This paper presents a token-based accounting mechanism that alleviates the free riding problem in P2P networks. On the basis of a P2P file sharing scenario it is shown how tokens are issued, certified and used as a payment in a secure and scalable way. The approach is complemented by distributed pricing as a flexible and viable scheme to incite users to share valuable content and to efficiently balance requests among all peers based on eco-
Stereo matching with linear superposition of layers

In this paper, we address stereo matching in the presence of a class of non-Lambertian effects, where image formation can be modeled as the additive superposition of layers at different depths. The presence of such effects makes it impossible for traditional stereo vision algorithms to recover depths using direct color matching-based methods. We develop several techniques to estimate both depths and colors of the component layers. Depth hypotheses are enumerated in pairs, one from each layer, in a nested plane sweep. For each pair of depth hypotheses, matching is accomplished using spatial-temporal differencing. We then use graph cut optimization to solve for the depths of both layers. This is followed by an iterative color update algorithm which we proved to be convergent. Our algorithm recovers depth and color estimates for both synthetic and real image sequences.
Wireless packet scheduling based on the cumulative distribution function of user transmission rates

In this paper, we present a new wireless scheduling algorithm based on the cumulative distribution function (cdf) and its simple modification that limits the maximum starving time. This cdf-based scheduling (CS) algorithm selects the user for transmission based on the cdf of user rates, in such a way that the user whose rate is high enough, but least probable to become higher, is selected first. We prove that the CS algorithm is equivalent to a scheduling algorithm that regards the user rates as independent and identically distributed, and the average throughput of a user is independent of the probability distribution of other users. So, we can evaluate the exact user throughput only if we know the user's own distribution, which is a distinctive feature of this proposed algorithm. In addition, we try a modification on the CS algorithm to limit the maximum starving time, and prove that the modification does not affect the average interservice time. This CS with starving-time limitation (CS-STL) algorithm turns out to limit the maximum starving time at the cost of a negligible throughput loss.
Efficient enumeration of solutions produced by closure operations

In this paper we address the problem of generating all elements obtained by the saturation of an initial set by some operations. More precisely, we prove that we can generate the closure by polymorphisms of a boolean relation with a polynomial delay. This implies for instance that we can compute with polynomial delay the closure of a family of sets by any set of "set operations" (e.g. by union, intersection, difference, symmetric difference$\dots$). To do so, we prove that for any set of operations $\mathcal{F}$, one can decide in polynomial time whether an elements belongs to the closure by $\mathcal{F}$ of a family of sets. When the relation is over a domain larger than two elements, our generic enumeration method fails for some cases, since the associated decision problem is $NP$-hard and we provide an alternative algorithm.
Recognizing: The judgment of previous occurrence.

Several suggestions for a class of theories of recognition memory have been proposed during the past decade. These models address predictions about judgments of prior occurrence of an event, not the identification of what it is, The history and current status of one of these models is discussed. The model postulates the detection of familiarity and the utilization of retrieval mechanisms as additive and separate processes. The phenomenal experience of familiarity is assigned to intraevent organizational integrative processes; retrieval depends on interevent elaborative processes. Other current theoretical options are described, and relevant supportive data from the literature are reviewed. New tests of the model involving both free recall and word pair paradigms are presented. The dual process model is extended to the word frequency effect and to the recognition difficulties of amnesic patients. In general English usage the verb to recognize usually is denned as the act of perceiving something as previously known. It is an apparently clear as well as etymologically correct usage, that is, to know again. In this article the process of recognizing will be analyzed, but it will be restricted to the recognition of the prior occurrence of an event. This restriction follows psychological rather than common usage. Experimentation that addresses problems of recognition has typically required subjects to make judg. nents about prior encounters with some tar
Architecting SOT-RAM Based GPU Register File

With increase in GPU register file (RF) size, its power consumption has also increased. Since RF exists at the highest level in cache hierarchy, designing it with memories with high write latency/energy (e.g., spin transfer torque RAM) can lead to large energy loss. In this paper, we present an spin orbit torque RAM (SOT-RAM) based RF design which provides higher energy efficiency than SRAM and STT-RAM RFs while maintaining performance same as that of SRAM RF. To further improve energy efficiency of SOT-RAM based RF, we propose avoiding redundant bit-writes to RF. Compared to SRAM RF, SOT-RAM RF saves 18.6% energy and by using our technique for avoiding redundant writes, the energy saving can be increased to 44.3%, without harming performance.
Persuasion driven influence propagation in social networks

With the explosive growth of online social network services such as Facebook and Twitter, people now are providing ample opportunities to share information, ideas, and innovations among others. Studying social influence and information diffusion in online social networks can be extremely useful for various real-life applications, notably influencer marketing and viral marketing. Influence maximization problem, motivated by viral marketing applications, has received extensive attentions from social network analysis community in recent years. The goal of the problem is to find a small set of k seed nodes in a social network that maximize the influence spread under certain influence propagation models. Based on the widely adopted Independent Cascade model, a Persuasiveness Aware Cascade (PAC) model which considers social persuasion in influence propagation is proposed. In this model, the user-to-user influence probability is estimated by three types of social persuasion, namely, tie strength, peer conformity, and authority. Experiments conducted over real-world social networks suggest that the proposed model with the new social persuasion measures is more effective in describing real-world influence propagation than the well-studied propagation models for influence maximization.
On $k$-piecewise testability (preliminary report)

For a non-negative integer $k$, a language is $k$-piecewise test\-able ($k$-PT) if it is a finite boolean combination of languages of the form $\Sigma^* a_1 \Sigma^* \cdots \Sigma^* a_n \Sigma^*$ for $a_i\in\Sigma$ and $0\le n \le k$. We study the following problem: Given a DFA recognizing a piecewise testable language, decide whether the language is $k$-PT. We provide a complexity bound and a detailed analysis for small $k$'s. The result can be used to find the minimal $k$ for which the language is $k$-PT. We show that the upper bound on $k$ given by the depth of the minimal DFA can be exponentially bigger than the minimal possible $k$, and provide a tight upper bound on the depth of the minimal DFA recognizing a $k$-PT language.
Privacy Preserving and Effective User Revocation on Dynamic Groups using CP-ABE Scheme

Now a days the importance of cloud computing emerge with many sectors in order to reduce economical Cost and improve the revenue with improving cloud service usability like IaaS, SaaS and PaaS services. In this connection when group users outsource their data to the cloud among the dynamic group no assurance about user privacy ,data integrity due to lack of data leakage and modifications among group users ,such a case user authenticity , user data privacy and user revocation is to be a challenging issue with this system, thus to address all above issues we proposed a novel framework i.e. CP-ABE based secure public auditing for protecting data integrity and authenticity without compromising security and authenticity and also for effective user revocation on dynamic group members.
Electrochemically assembled quasi-periodic quantum dot arrays

We describe two electrochemical self-assembly processes for producing highly ordered quasi-periodic arrays of quantum dots on a surface. The advantages of these techniques are: (i) they are `gentle' and do not cause radiation damage to nanostructures unlike beam lithography, (ii) they have high throughput and are amenable to mass production unlike direct-write lithography, (iii) structures can be delineated on non-planar substrates, and (iv) the techniques are potentially orders of magnitude cheaper to implement than conventional nanosynthesis. Samples produced by these techniques have been characterized by microscopy, optical and transport measurements, Auger and x-ray. These measurements reveal intriguing properties of the nanostructures. In this paper, we describe our initial results and show the promise of such techniques for low-cost and high-yield nanosynthesis.
Resource widening versus replication: limits and performance-cost trade-off

A balanced increase of memory bandwidth and computational capabilities is going to be one of the trends in the designSof near future high-performance microprocessors. Alternative solutions are foreseen for the organization of their resources, mainly based on different degrees of resource re lication and/or adaptation of resources to the most frequenty found P o erations l? in hi hly performance demanding apphcations. or instance dou fc hng the width of buses between the register file and the first-level data cache is an exam le of design that attains similar performance results than dou ! * hng the number of buses in numerical applications. In this paper we evaluate the cost/performance trade-off of a wide set of design alternatives oriented towards having high memory bandwtdth and computin degrees o capabilities in future architectures. Different the generation of the lication and widening are the basis for ace. Performance evaluation IS based on the results obtaine t; for a large number of inner loops in the Perfect Club benchmarks. Implementation costs for the register file and functional units are estimated for different foreseen integration technologies which allow us to analyse their future availability. The results show that replicating is most effective in terms performance but results m an unafordable cost while widening has a much smaller cost but less performance. Combining a small degree of widening and replication results in the best performance/cost ratio.
Inhibition of Hypoxia-inducible Factor (HIF) Hydroxylases by Citric Acid Cycle Intermediates

The stability and transcriptional activity of the hypoxia-inducible factors (HIFs) are regulated by two oxygen-dependent events that are catalyzed by three HIF prolyl 4-hydroxylases (HIF-P4Hs) and one HIF asparaginyl hydroxylase (FIH). We have studied possible links between metabolic pathways and HIF hydroxylases by analyzing the abilities of citric acid cycle intermediates to inhibit purified human HIF-P4Hs and FIH. Fumarate and succinate were identified as in vitro inhibitors of all three HIF-P4Hs, fumarate having Ki values of 50–80 μm and succinate 350–460 μm, whereas neither inhibited FIH. Oxaloacetate was an additional inhibitor of all three HIF-P4Hs with Ki values of 400–1000 μm and citrate of HIF-P4H-3, citrate being the most effective inhibitor of FIH with a Ki of 110 μm. Culturing of cells with fumarate diethyl or dimethyl ester, or a high concentration of monoethyl ester, stabilized HIF-1α and increased production of vascular endothelial growth factor and erythropoietin. Similar, although much smaller, changes were found in cultured fibroblasts from a patient with fumarate hydratase (FH) deficiency and upon silencing FH using small interfering RNA. No such effects were seen upon culturing of cells with succinate diethyl or dimethyl ester. As FIH was not inhibited by fumarate, our data indicate that the transcriptional activity of HIF is quite high even when binding of the coactivator p300 is prevented. Our data also support recent suggestions that the increased fumarate and succinate levels present in the FH and succinate dehydrogenase-deficient tumors, respectively, can inhibit the HIF-P4Hs with consequent stabilization of HIF-αs and effects on tumor pathology.
Comparing cognitive-behavioural psychotherapy and psychoeducation for non-specific symptoms associated with indoor air: a randomised control trial protocol

Introduction Indoor air-related conditions share similarities with other conditions that are characterised by medically unexplained symptoms (MUS)-a combination of non-specific symptoms that cannot be fully explained by structural bodily pathology. In cases of indoor air-related conditions, these symptoms are not fully explained by either medical conditions or the immunological–toxicological effects of environmental factors. The condition may be disabling, including a non-adaptive health behaviour. In this multifaceted phenomenon, psychosocial factors influence the experienced symptoms. Currently, there is no evidence of clinical management of symptoms, which are associated with the indoor environment and cannot be resolved by removing the triggering environmental factors. The aim of this study is to compare the effect of treatment-as-usual (TAU) and two psychosocial interventions on the quality of life, and the work ability of employees with non-specific indoor air-related symptomatology. Methods and analyses The aim of this ongoing randomised controlled trial is to recruit 60 participants, in collaboration with 5 occupational health service units. The main inclusion criterion is the presence of indoor air-related recurrent symptoms in ≥2 organ systems, which have no pathophysiological explanation. After baseline clinical investigations, participants are randomised into interventions, which all include TAU: cognitive-behavioural psychotherapy, psychoeducation and TAU (control condition). Health-related quality of life, measured using the 15D-scale, is the primary outcome. Secondary outcomes include somatic and psychiatric symptoms, occupational factors, and related underlying mechanisms (ie, cognitive functioning). Questionnaires are completed at baseline, at 3, 6 and 12-month follow-ups. Data collection will continue until 2017. The study will provide new information on the individual factors related to indoor air-associated symptoms, and on ways in which to support work ability. Ethics and dissemination The Coordinating Ethics Committee of the Hospital District of Helsinki and Uusimaa, Finland, has granted approval for the study. The results will be published in peer-reviewed journals. Trial registration number NCT02069002; Pre-results.
Toward Evaluating Multiscale Segmentations of High Spatial Resolution Remote Sensing Images

Object-based analysis of high spatial resolution remote sensing images addresses the matter of multiscale segmentation. However, existing segmentation evaluation methods mainly focus on single-scale segmentation. In this paper, we examine the issue of supervised multiscale segmentation evaluation and propose two discrepancy measures to determine the manner in which geographic objects are delineated by multiscale segmentations. A QuickBird scene in Hangzhou, China, is used to conduct the evaluation. The results reveal the effectiveness of the proposed measures, in terms of method comparison and parameter optimization, for multiscale segmentation of high spatial resolution images. Moreover, meaningful indications for selecting suitable multiple segmentation scales are presented. The proposed measures are applicable to performance evaluation and parameter optimization for multiscale segmentation algorithms.
The immunology of hypertension

Although systemic hypertension affects a large proportion of the population, its etiology remains poorly defined. Emerging evidence supports the concept that immune cells become activated and enter target organs, including the vasculature and the kidney, in this disease. Mediators released by these cells, including reactive oxygen species, metalloproteinases, cytokines, and antibodies promote dysfunction of the target organs and cause damage. In vessels, these factors enhance constriction, remodeling, and rarefaction. In the kidney, these mediators increase expression and activation of sodium transporters, and cause interstitial fibrosis and glomerular injury. Factors common to hypertension, including oxidative stress, increased interstitial sodium, cytokine production, and inflammasome activation promote immune activation in hypertension. Recent data suggest that isolevuglandin-modified self-proteins in antigen-presenting cells are immunogenic, promoting cytokine production by the cells in which they are formed and T cell activation. Efforts to prevent and reverse immune activation may prove beneficial in preventing the long-term sequelae of hypertension and its related cardiovascular diseases.
Regulation of the replication of the murine immunoglobulin heavy chain gene locus: evaluation of the role of the 3' regulatory region

DNA replication in mammalian cells is a precisely controlled physical and temporal process, likely involving cis-acting elements that control the region(s) from which replication initiates. In B cells, previous studies showed replication timing to be early throughout the immunoglobulin heavy chain (Igh) locus. The implication from replication timing studies in the B-cell line MPC11 was that early replication of the Igh locus was regulated by sequences downstream of the C alpha gene. A potential candidate for these replication control sequences was the 3' regulatory region of the Igh locus. Our results demonstrate, however, that the Igh locus maintains early replication in a B-cell line in which the 3' regulatory region has been deleted from one allele, thus indicating that replication timing of the locus is independent of this region. In non-B cells (murine erythroleukemia cells [MEL]), previous studies of segments within the mouse Igh locus demonstrated that DNA replication likely initiated downstream of the Igh gene cluster. Here we use recently cloned DNA to demonstrate that segments located sequentially downstream of the Igh 3' regulatory region continue to replicate progressively earlier in S phase in MEL. Furthermore, analysis by two-dimensional gel electrophoresis indicates that replication forks proceed exclusively in the 3'-to-5' direction through the region 3' of the Igh locus. Extrapolation from these data predicts that initiation of DNA replication occurs in MEL at one or more sites within a 90-kb interval located between 40 and 130 kb downstream of the 3' regulatory region.
Production of Hyaluronic Acid by Streptococcus zooepidemicus on Protein Substrates Obtained from Scyliorhinus canicula Discards

This work investigates the production of hyaluronic acid (H) by Streptococcus equi subsp. zooepidemicus in complex media formulated with peptones obtained from Scyliorhinus canicula viscera by-products. Initially, in batch cultures, the greatest productions were achieved using commercial media (3.03 g/L) followed by peptones from alcalase hydrolyzed viscera (2.32 g/L) and peptones from non-hydrolyzed viscera (2.26 g/L). An increase of between 12% and 15% was found in subsequent fed-batch cultures performed on waste peptones. Such organic nitrogen sources were shown to be an excellent low-cost substrate for microbial H, saving more than 50% of the nutrient costs.
Cuisine Classification from Ingredients

In this report, the team aimed to classify 20 types of cuisines by analyzing the ingredient lists. The team approached this problem by building several feature sets and trained them with different classification algorithms. The result shows that the logistic regression is able to achieve the highest performance with an accuracy of 78.4%. The error distribution of each class is analyzed for further investigation.