Miracle-dz/UniFAR-FTUs huggingface dataset:
Architectural Support for Fine-Grained Parallelism on Multi-core Architectures 217 Architectural Support for Fine-Grained Parallelism on Multi-core Architectures

In order to harness the additional compute resources of future Multi-core Architectures (MCAs) with many cores, applications must expose their thread-level parallelism to the hardware. One common approach to doing this is to decompose a program into parallel “tasks” and allow an underlying software layer to schedule these tasks on different threads. Software task scheduling can provide good parallel performance as long as tasks are large compared to the software overhead. We examine a set of Recognition, Mining, and Synthesis (RMS) applications and find that a significant number have small tasks for which software task schedulers achieve only limited parallel speedups. We propose a hardware technique to accelerate dynamic task scheduling on MCAs with many cores. We compare this hardware to highly tuned software task schedulers for a set of RMS benchmarks with small tasks. The proposed hardware delivers significant performance improvements over the best software scheduler: for 64 cores, it is 88% faster on a set of loop-parallel benchmarks and 98% faster on a set of task-parallel benchmarks.
Green resource allocation in relay-assisted multicarrier IC networks considering circuit dissipated power

In this paper, the issue of non-cooperative, green resource allocation in a multicarrier relay-assisted interference channel is considered. The energy efficiency of a given terminal is defined as the ratio between the throughput of that terminal and the consumed power. Unlike many previous contributions, as far as the computation of the consumed power is concerned, not only the transmit power, but also the dissipated circuit power which is needed to operate the device is taken into account. First, a non-cooperative power control game is devised, which admits a unique Nash equilibrium, and whose best-response-dynamics is guaranteed to converge to the unique equilibrium. For the sake of comparison, a cooperative power control algorithm is also devised. Next, the theory of potential games will be employed to address the more general issue of joint subcarrier and power control for energy efficiency maximization, devising a non-cooperative game whose best-response dynamics is guaranteed to converge to a Nash equilibrium. Finally, numerical results are provided to show the merits of the proposed algorithms.
Prevalence of HCV infection in nongastric marginal zone B-cell lymphoma of MALT.

BACKGROUND Hepatitis C virus (HCV) infection is frequently associated with B-cell non-Hodgkin's lymphomas. We investigated the prevalence of HCV infection in nongastric marginal zone lymphomas of mucosa-associated lymphoid tissue (MALT) in order to define the relationship between the viral infection and the presenting features, treatment, and outcome. METHODS We retrospectively studied 172 patients with a histological diagnosis of marginal zone B-cell lymphoma of MALT, except for stomach, and with available HCV serology, among a series of 208 patients. RESULTS HCV infection was documented in 60 patients (35%). Most HCV-positive patients (97%) showed a single MALT organ involvement. HCV-positive patients showed a more frequent involvement of skin (35%), salivary glands (25%), and orbit (15%). The majority of stage IV HCV-positive patients (71%) had a single MALT site with bone marrow involvement. The overall response rate was similar in HCV-positive (93%) and HCV-negative patients (87%). Overall survival (OS) and event-free survival (EFS) did not differ according to HCV infection. In multivariate analysis, advanced disease (stage III-IV) was associated with a poorer OS (P = 0.0001), irrespective of HCV serostatus. CONCLUSIONS This study shows that nongastric marginal zone lymphomas are characterized by a high prevalence of HCV infection. Patients with involvement of a single MALT site have the highest prevalence of HCV. HCV-positive nongastric lymphomas of MALT show an indolent course similar to HCV-negative patients and seem an ideal target for exploiting the antilymphoma activity of antiviral treatments.
Segmentation of Remote Sensing Images Using Similarity-Measure-Based Fusion-MRF Model

Classifying segments and detecting changes in terrestrial areas are important and time-consuming efforts for remote sensing image analysis tasks, including comparison and retrieval in repositories containing multitemporal remote image samples for the same area in very different quality and details. We propose a multilayer fusion model for adaptive segmentation and change detection of optical remote sensing image series, where trajectory analysis or direct comparison is not applicable. Our method applies unsupervised or partly supervised clustering on a fused-image series by using cross-layer similarity measure, followed by multilayer Markov random field segmentation. The resulted label map is applied for the automatic training of single layers. After the segmentation of each single layer separately, changes are detected between single label maps. The significant benefit of the proposed method has been numerically validated on remotely sensed image series with ground-truth data.
On the use of frequency transformations in the design of broad-band and concurrent multi-band power amplifiers

In this paper multi-band and broad-band power amplifier design has been studied with the help of frequency transformations on single-band power amplifiers. A 3-band power amplifier at 1 GHz, 2.4 GHz and 5 GHz was fabricated on a 0.18 μm CMOS process. Measurements show that the PA has a peak PAE of 30% while delivering an output power of +17.1 dBm at 1 GHz.
Image stitching algorithm for camber measurement in hot rolling process: Cross-correlation approach (ICCAS 2015)

In the endless hot rolling process, defects should be controlled to improve quality and productivity. Camber is one of the most significant defects which cause decreasing of quality and productivity of steel. To handle the camber, the process that measures the camber exactly should be preceded. For measuring the camber of the strip, the whole image of strip is necessary. If the camera of the measurement system can only capture the part of the strip, we should stitch the consecutive partial images from the camera to obtain the whole image of strip. In this case, the partial consecutive images are consist of two parts which are overlapped region and new additional region. To stitch the partial images properly, we should know the length of new additional region. This paper proposes a novel algorithm to obtain the length of new additional region of each images based on the cross-correlation approach which has fast computational speed and high accuracy. Experimental results are given to demonstrate the effectiveness of the proposed algorithm.
Identification of fungal oxaloacetate hydrolyase within the isocitrate lyase/PEP mutase enzyme superfamily using a sequence marker‐based method

Aspergillus niger produces oxalic acid through the hydrolysis of oxaloacetate, catalyzed by the cytoplasmic enzyme oxaloacetate acetylhydrolase (OAH). The A. niger genome encodes four additional open reading frames with strong sequence similarity to OAH yet only the oahA gene encodes OAH activity. OAH and OAH‐like proteins form subclass of the isocitrate lyase/PEP mutase enzyme superfamily, which is ubiquitous present filamentous fungi. Analysis of function‐specific residues using a superfamily‐based approach revealed an active site serine as a possible sequence marker for OAH activity. We propose that presence of this serine in family members correlates with presence of OAH activity whereas its absence correlates with absence of OAH. This hypothesis was tested by carrying out a serine mutagenesis study with the OAH from the fungal oxalic acid producer Botrytis cinerea and the OAH active plant petal death protein as test systems. Proteins 2008. © 2007 Wiley‐Liss, Inc.
A Logic-Based Benders Decomposition Approach for Mapping Applications on Heterogeneous Multicore Platforms

The development of efficient methods for mapping applications on heterogeneous multicore platforms is a key issue in the field of embedded systems. In this article, a novel approach based on the Logic-Based Benders decomposition principle is introduced for mapping complex applications on these platforms, aiming at optimizing their execution time. To provide optimal solutions for this problem in a short time, a new hybrid model that combines Integer Linear Programming (ILP) and Constraint Programming (CP) models is introduced. Also, to reduce the complexity of the model and its solution time, a set of novel techniques for generating additional constraints called Benders cuts is proposed. An extensive set of experiments has been performed in which synthetic applications described by Directed Acyclic Graphs (DAGs) were mapped to a number of heterogeneous multicore platforms. Moreover, experiments with DAGs that correspond to two real-life applications have also been performed. Based on the experimental results, it is proven that the proposed approach outperforms the pure ILP model in terms of the solution time and quality of the solution. Specifically, the proposed approach is able to find an optimal solution within a time limit of 2 hours in the vast majority of performed experiments, while the pure ILP model fails. Also, for the cases where both methods fail to find an optimal solution within the time limit, the solution of the proposed approach is systematically better than the solution of the ILP model.
Searching Game Trees in Parallel

We present a new parallel game-tree search algorithm. Our approach classifies a processor’s available work as either mandatory (necessary for the solution) or speculative (may be necessary for the solution). Due to the nature of parallel game tree search, it is not possible to keep all processors busy with mandatory work. Our algorithm ER allows potential speculative work to be dynamically ordered, thereby reducing starvation without incurring an equivalent increase in speculative loss. Measurements of ER’s performance on both random trees and trees from an actual game show that at least 16 processors can be applied profitably to a single search. These results contrast with previously published studies, which report a rapid drop-off of efficiency as the number of processors increases.
Subcutaneous Connective Tissue Reaction to a New Nano Zinc-Oxide Eugenol Sealer in Rat Model

Introduction: The aim of this animal study was to evaluate the histological response of the new nano zinc-oxide eugenol (NZOE) sealer in comparison with Pulp Canal Sealer (ZOE based) and AH-26 (epoxy resin sealer). Methods and Materials: A total of 27 Wistar rats were used. Four polyethylene tubes were implanted in the back of each rat (three tubes containing the test materials and an empty tube as a control). Then, 9 animals were sacrificed at each interval of 15, 30 and 60 days, and the implants were removed with the surrounding tissues.Samples were evaluated for the presence of inflammatory cell (mononuclear cell), vascular changes, fibrous tissue formation and present of giant cell. Comparisons between groups and time-periods were performed using the Kruskal-Wallis and Mann-Whitney U non-parametric tests. The level of significance was set at 0.05. Results: No significant difference was observed in tissue reactions and biocompatibility pattern of three sealers during 3 experimental periods (P<0.05). In all groups the tissue behavior showed tendency to decrease the irritation effect over time. Conclusion: The new nano zinc-oxide eugenol sealer has histocompatibility properties comparable to conventional commercial sealers.
Limit Cycle Generation for Multi-Modal and 2-Dimensional Piecewise Affine Control Systems

This paper considers a limit cycle control problem of a multi-modal and 2-dimensional piecewise affine control system. Limit cycle control means a controller design method to generate a limit cycle for given piecewise affine control systems. First, we deal with a limit cycle synthesis problem and derive a new solution of the problem. In addition, theoretical analysis on the rotational direction and the period of a limit cycle is shown. Next, the limit cycle control problem for piecewise affine control system is formulated. Then, we obtain matching conditions such that the piecewise affine control system with the state feedback law corresponds to the reference system which generates a desired limit cycle. Finally, in order to indicate the effectiveness of the new method, a numerical simulation is illustrated. paper. The outline of this paper is as follows. We first consider a limit cycle synthesis problem and derive its new solution in Section II. Some theoretical properties are also shown. Then, in Section III, a formulation of limit cycle control problem is presented, and necessary and sufficient conditions for the problem, which are called matching conditions, are derived. Finally, a numerical simulation is shown in order to confirm the effectiveness of the new method in Section IV.
Statistical challenges in measuring hindrance in activities and participation of clients with acquired brain injury

Worldwide, many people incur an acquired brain injury which involves different function limitations in activities and participation. The encompassing objective of this study contains in finding statistical ways to analyze the hindrance in activities and participation of patients with acquired brain injury. Data as a result of the FINAH digital measuring instrument were available from 22 patients and their caregivers. A total of 53 ICF-items across different themes related to activities and participation, were used to measure the amount of hindrance caused by the brain injury. Factor analysis and latent class analysis were considered based on simulated data, to measure associations between items and to find underlying constructs. As a manner of illustration, both methods provided some different results, but items within a theme did not always correlate more often compared to items between themes. Generalized estimating equations (GEE) and generalized linear mixed models (GLMMs) were used to measure the effect of covariates on the experience of hindrance and the assessment quality of the professional caregiver. In 67% of the evaluations of the professional caregivers, the hindrance assessment was done properly. Theme had an effect on hindrance experience and assessment quality, with the largest amount of hindrance and smallest probability of correct assessment in mobility activities and the smallest amount of hindrance and best assessment for items related to interpersonal interactions and relationships. Setting was found to be a borderline case, with larger probability of hindrance experience for patients in the chronic setting compared to the ambulatory setting. Based on the results of the GLMM, patients indicated the smallest amount of hindrance, whereas professional caregivers reported the largest amount of hindrance. Moreover, using the GLMM, setting had an effect on the assessment quality with a better performance of the caregivers from the ambulatory setting and more overestimation of hindrance by caregivers from the chronic care setting.
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving

Administrative Role Based Access Control ARBAC is one of the most widespread framework for the management of access-control policies. Several automated analysis techniques have been proposed to help maintaining desirable security properties of ARBAC policies. One of the main limitation of available analysis techniques is that the set of users is bounded. In this paper, we propose a symbolic framework to overcome this limitation. We design an automated analysis technique that can handle both a bounded and an unbounded number of users by adapting recent methods for the symbolic model checking of infinite state systems that use first-order logic and SMT solving techniques. An extensive experimental evaluation confirms the scalability of the proposed technique.
Why (PO)MDPs Lose for Spatial Tasks and What to Do About It

In this deliberately inﬂammatory paper, we claim that everything you believe about (PO)MDPs is wrong. More speciﬁcally, we claim that (PO)MDPs are so general as to be nearly useless in many cases of practical interest and that we should specialize rather than generalize. We are mostly concerned with problems involving real, physical systems operating in a real, physical world (the same real, physical world that we live in). In particular, we are interested in spatial navigation, but we believe that this claim holds for a number of other key problem areas as well. Our abstraction eﬀorts to date have focused on extending the reach of (PO)MDP models while maintaining their basic world-view. We claim that a proﬁtable approach for the future is to cleave RL into a number of sub-disciplines, each studying important “special cases”. By doing so, we will be able to take advantage of the properties of these cases in ways that our current (PO)MDP frameworks are unable to.
EXTRACT: New extraction algorithm of association rules from frequent itemsets

Stored data in database can hide some knowledge, which is interesting, useful to hidden knowledge discover. In this context, an algorithms number a frequent itemsets and association rules extraction were presented. Special feature of these algorithms is to generation a large number of rules, making their exploitation a difficult task. In this paper we will introduce a new algorithm for association rules extraction. Proposed solution is based on two points, namely: frequent itemset extraction, and from these, it extracts association rules.
Estrogen Signalling and the Metabolic Syndrome: Targeting the Hepatic Estrogen Receptor Alpha Action

An increasing body of evidence now links estrogenic signalling with the metabolic syndrome (MS). Despite the beneficial estrogenic effects in reversing some of the MS symptoms, the underlying mechanisms remain largely undiscovered. We have previously shown that total estrogen receptor alpha (ERα) knockout (KO) mice exhibit hepatic insulin resistance. To determine whether liver-selective ablation of ERα recapitulates metabolic phenotypes of ERKO mice we generated a liver-selective ERαKO mouse model, LERKO. We demonstrate that LERKO mice have efficient reduction of ERα selectively within the liver. However, LERKO and wild type control mice do not differ in body weight, and have a comparable hormone profile as well as insulin and glucose response, even when challenged with a high fat diet. Furthermore, LERKO mice display very minor changes in their hepatic transcript profile. Collectively, our findings indicate that hepatic ERα action may not be the responsible factor for the previously identified hepatic insulin resistance in ERαKO mice.
Optimal Design of Adaptive Tracking Non-linear Systems * Controllers for

We pose and solve an ‘inverse optimal’ adaptive tracking problem for non-linear systems with unknown parameters. A controller is said to be inverse optimal when it minimizes a meaningful cost functional that incorporates integral penalty on the tracking error state and the control, as well as a terminal penalty on the parameter estimation error. The basis of our method is an adaptive tracking control Lyupunou function (arc/f) the existence of which guarantees the solvability of the inverse optimal problem. The controllers designed in this paper are not of certaintyequivalence type. Even in the linear case they would not be a result of solving a Riccati equation for a given value of the parameter estimate. Our abandoning of the certaintyequivalence approach is motivated by the fact that, in general, this approach does not lead to optimality of the controller with respect to the overall plant-estimator system, even though both the estimator and the controller may be optimal as separate entities. Our controllers, instead, compensate for the effect of parameter adaptation transients in order to achieve optimality of the overall system. We combine inverse optimality with backstepping to design a new class of adaptive controllers for strict-feedback systems. These controllers solve a problem left open in the previous adaptive backstepping designs, i.e. obtaining transient performance bounds that include an estimate of control effort, which is the first such result in the adaptive control literature. @ZJ 1997 Elsevier Science Ltd.
A new affine registration algorithm applied to off-line signature verification

Signature identification and verification is considered among the most popular biometric methods in the area of personal authentication. The proposed method is based on offline signature verification by a novel algorithm for affine registration of true and false signatures 2D point sets. In the novel algorithm, each point in true and false signature is considered as a complex number and from each point set, a polynomial with complex coefficients can be computed whose roots are the points in the given point set. Then a verification function is achieved based on a difference between the points which can be determined by an unknown rotation. In order to archive the rotation, two-step algorithm is employed. We first reduce the affine registration problem to a rigid registration problem, and the unknown rotation is then computed using the coefficients of these polynomials. The algorithms have shown promising results while dealing with random forgeries and simple forgeries, also it gives better recognition rates in a public signature database.
Motion Control for Fluid Animation: Flow Along a Control Path

The modeling of natural phenomena is among the most challenging problems in computer animation. The difficulty arises from the complexity of the models used to describe the motion of these phenomena. Realistic modeling of fluid motion is difficult because of the variety of detail that must be considered to create a convincing animation. Various models of fluid motion have been presented over the years, and great strides have been made in the development of realistic simulation and rendering techniques. Relatively little attention has been paid to the control of fluid flow, however. There is no easy way to incorporate control into existing simulation techniques with accuracy, as these techniques are not amenable to control. Most existing techniques also require some intuitive knowledge on the part of the animator to produce desired motion with efficiency. This is not desirable, since it can not only require a steeper learning curve, but also increase production time to achieve acceptable results. A control tool for fluid animation has been developed that allows the user to define a path along which motion is desired. The tool includes various methods to manipulate the simulation; this allows the user to choose among different levels of control. Furthermore, the tool abstracts the techniques used to influence motion in order to avoid requiring an understanding of the motion model for effective use. iii Dedicated to my father, the late Jim Coleman, for all the honest advice.