Miracle-dz/UniFAR-FTUs huggingface dataset:
Toward Systematic Integration of Security Policies into Web Services

In this paper, we introduce our approach for the automatic generation of BPEL (Business Process Execution Language) aspects from security policies. It is based on a synergy between policies, Aspect-Oriented Programming (AOP) and composition of web services. Our proposed approach allows first to transform security policies into BPEL aspects. Then, the generated aspects are weaved in the BPEL process of the composed web services at runtime [1]. The main contributions of our approach are: (1) Describing dynamic security policies, (2) generating automatically the BPEL aspects, (3) separating the business and security concerns of composite web services, and hence developing them separately (4) allowing the modification of the dynamic security features and web services composition at run time and (5) providing modularity for modeling cross-cutting concerns between web services.
Narcissism Guides Mate Selection: Humans Mate Assortatively, as Revealed by Facial Resemblance, following an Algorithm of “Self Seeking Like”

Theoretical studies suggest that mating and pair formation is not likely to be random. Computer simulations suggested that sex among genetically complex organisms requires mate choice strategies for its evolutionary maintenance, to reduce excessive genetic variance produced by out-crossing. One strategy achieving this aim efficiently in computer simulations is assortative mating modeled as “self seeking like”. Another one is selection of “good genes”. Assortative mating increases the probability of finding a genetically similar mate, without fomenting inbreeding, achieving assortative mating without hindering the working of other mate selection strategies which aim to maximize the search for “good genes”, optimizing the working of sex in evolutionary terms. Here we present indirect evidence that in a significant proportion of human reproductive couples, the partners show much higher facial resemblances than can be expected by random pair formation, or as the outcome of “matching for attractiveness” or the outcome of competition for the most attractive partner accessible, as had been previously assumed. The data presented is compatible with the hypothesis derived from computer simulations, that human mate selection strategies achieve various aims: “self seeking like” (including matching for attractiveness) and mating with the best available genes.
Functional Roles and Therapeutic Applications of Exosomes in Hepatocellular Carcinoma

Exosomes are important in intercellular communication. They assure the horizontal transfer of specific functional contents (i.e., proteins, lipids, RNA molecules, and circulating DNA) from donor to recipient cells. Notably, tumor-derived exosomes (TDEs) appear to be an important vehicle of specific signals in cancer, impacting on tumor growth and metastasis. Recent researches point to the characterization of exosomes in Hepatocellular Carcinoma (HCC), the major adult liver malignancy. In this review, we summarize current findings on HCC exosomes, focusing on the identification of noncoding RNAs as exosome-enriched functional regulators and new potential biomarkers. The great potential of exosomes in future HCC diagnostic and therapeutic approaches is underlined.
Management of Iron-Deficiency Anemia in Inflammatory Bowel Disease

Abstract Anemia is the most frequent complication of inflammatory bowel disease (IBD), but anemia, mostly due to iron deficiency, has long been neglected in these patients. The aim was to briefly present the pathophysiology, followed by a balanced overview of the different forms of iron replacement available, and subsequently, to perform a systematic review of studies performed in the last decade on the treatment of iron-deficiency anemia in IBD. Given that intravenous therapies have been introduced in the last decade, a systematic review performed in PubMed, EMBASE, the Cochrane Library, and the websites of WHO, FDA, and EMA covered prospective trials investigating the management of iron-deficiency anemia in IBD published since 2004. A total of 632 articles were reviewed, and 13 articles (2906 patients) with unique content were included. In general, oral supplementation in iron-deficiency anemia should be administered with a target to restore/replenish the iron stores and the hemoglobin level in a suitable way. However, in patients with IBD flares and inadequate responses to or side effects with oral preparations, intravenous iron supplementation is the therapy of choice. Neither oral nor intravenous therapy seems to exacerbate the clinical course of IBD, and intravenous iron therapy can be administered even in active disease stages and concomitantly with biologics. In conclusion, because many physicians are in doubt as to how to manage anemia and iron deficiency in IBD, there is a clear need for the implementation of evidence-based recommendations on this matter. Based on the data presented, oral iron therapy should be preferred for patients with quiescent disease stages and trivial iron deficiency anemia unless such patients are intolerant or have an inadequate response, whereas intravenous iron supplementation may be of advantage in patients with aggravated anemia or flares of IBD because inflammation hampers intestinal absorption of iron.
International Conference on Intelligent and Advanced Systems 2007 Design of a Haptic Device for Teaching Motion & Dynamics

The haptic interface or force feedback device improves the quality of human computer interaction by accommodating the sense of touch in a computer simulation. A haptic device enables a two way communication between the user and the host computer. The applications of force feedback device cover a wide area such as in medical training, systems for the visually impaired, engineering research, and creative art-work. The role of haptic feedback varies depending on the applications in question and the devices used. This includes haptic as a teaching tool, and a communication aid. Despite the benefits of haptic feedback, its deployment to support interactions in a virtual environment is still slow. This is due to the high cost of the haptic devices in the market. We address this issue by presenting a conceptual framework in designing and implementing a cost-effective haptic device; building on similar concepts obtained from existing technologies. The device is developed using those gadgets that are mainly available in-house. It is projected that haptic feedback generated from the device could benefit teaching abstract concepts to students.
International Journal of Hospitality Management Transformational Leadership, Innovation Climate, Creative Self-efficacy and Employee Creativity: a Multilevel Study

Highlighting the implications of transformational leadership, the study examines the role of transfor-mational leadership in predicting employee creativity. The study also investigates the mediating role of innovation climate and moderating role of creative self-efficacy. A study was carried out on a sample included a dyad of 372 employees and their immediate supervisors. The findings indicate that transforma-tional leaders can foster a climate for innovation that promotes employee creativity. Further, a significant moderating role of creative self-efficacy was found in the relationship between innovation climate and employee creativity. The findings reveal that employees with high creative-self-efficacy resort to creative behavior when they receive a supportive innovation climate.
A novel NREM and REM parasomnia with sleep breathing disorder associated with antibodies against IgLON 5 : a case series , pathological features , and characterization of the antigen

Lidia Sabater, PhD1,*, Carles Gaig, MD1,2,3,*, Ellen Gelpi, MD1,4,*, Luis Bataller, MD5,7, Jan Lewerenz, MD6, Estefanía Torres-Vega, BSc7, Angeles Contreras, MD8, Bruno Giometto, MD9, Yaroslau Compta, MD2, Cristina Embid, MD3,10, Isabel Vilaseca, MD3,11, Alex Iranzo, MD1,2,3, Joan Santamaría, MD1,2,3, Josep Dalmau, MD1,12,13, and Francesc Graus, MD1,2 1Institut d'Investigacions Biomèdiques August Pi i Sunyer (IDIBAPS), Barcelona, Spain
Prediction of Perceived Sound Quality of Synthetic Speech

This paper investigates the performance of objective speech and audio quality measures for the prediction of perceived sound quality of synthetic speech. A number of existing quality measures have been applied to synthetic speech generated by different speech synthesizers such like LP synthesizer, HSM synthesizer, STRAIGHT synthesizer and several HMM based text-to-speech synthesis systems. The subjective quality rating were obtained using the ITU-T P.85 methodology designed to evaluate the quality of synthetic speech along three dimension: speech naturalness, speech similarity, and overall quality. The correlation of several quality measures with these three subjective rating scales were evaluated among normal subjects. This paper reports the correlations of five objective measures with these three subjective measures and point out the research direction in the future.
THE DOUBLY REGULARIZED SUPPORT VECTOR MACHINE 591 model (

The standard L2-norm support vector machine (SVM) is a widely used tool for classification problems. The L1-norm SVM is a variant of the standard L2norm SVM, that constrains the L1-norm of the fitted coefficients. Due to the nature of the L1-norm, the L1-norm SVM has the property of automatically selecting variables, not shared by the standard L2-norm SVM. It has been argued that the L1-norm SVM may have some advantage over the L2-norm SVM, especially with high dimensional problems and when there are redundant noise variables. On the other hand, the L1-norm SVM has two drawbacks: (1) when there are several highly correlated variables, the L1-norm SVM tends to pick only a few of them, and remove the rest; (2) the number of selected variables is upper bounded by the size of the training data. A typical example where these occur is in gene microarray analysis. In this paper, we propose a doubly regularized support vector machine (DrSVM). The DrSVM uses the elastic-net penalty, a mixture of the L2-norm and the L1-norm penalties. By doing so, the DrSVM performs automatic variable selection in a way similar to the L1-norm SVM. In addition, the DrSVM encourages highly correlated variables to be selected (or removed) together. We illustrate how the DrSVM can be particularly useful when the number of variables is much larger than the size of the training data (p n). We also develop efficient algorithms to compute the whole solution paths of the DrSVM.
Router-Level Spam Filtering Using TCP Fingerprints: Architecture and Measurement-Based Evaluation

Email spam has become costly and difficult to manage in recent years. Many of the mechanisms used for controlling spam are located at local SMTP servers and end-host machines. These mechanisms can place a significant burden on mail servers and end-host machines as the number spam messages received continues to increase. We propose a preliminary architecture that applies spam detection filtering at the router-level using light-weight signatures for spam senders. We argue for using TCP headers to develop fingerprint signatures that can be used to identify spamming hosts based on the specific operating system and version from which the email is sent. These signatures are easy to compute in a light-weight, stateless fashion. More importantly, only a small amount of fast router memory is needed to store the signatures that contribute a significant portion of spam. We present simple heuristics and architectural enhancements for selecting signatures which result in a negligible false positive rate. We evaluate the effectiveness of our approach on data sets collected at two different vantage points simultaneously, the University of Wisconsin-Madison and a corporation in Tokyo, Japan over a one month period. We find that by targeting 100 fingerprint signatures, we can reduce the amount of received spam by 28-59% with false positive ratio less than 0.05%. Thus, our router-level approach works effectively to decrease the workload of subsequent anti-spam filtering mechanisms, such as, DNSBL look up, and content filtering. Our study also leverages the AS numbers of spam senders to discover the origin of the majority of spam seen in our data sets. This information allows us to pin-point effective network locations to place our router-level spam filters to stop spam close to the source. As a byproduct of our study, the extracted TCP fingerprints reveal signatures which originate all over the world but only send spam indicating the potential existence of global-scale spamming infrastructures.
Surveying personal device ecosystems with cross-device applications in mind

To inform the design of cross-device applications, it is important to know what devices users typically have within reach in various settings in the home, in the workplace and on the move. We report on a survey carried out using an online questionnaire and discuss the most significant findings that should be taken into account in cross-device scenarios. The results are based on 293 participants covering a wide range of ages, nationalities, professions and living arrangements.
Effective exercise modality to reduce insulin resistance in women with type 2 diabetes.

OBJECTIVE The purpose of this study was to evaluate whether a combined resistance and aerobic training program would improve insulin sensitivity compared with aerobic training alone in postmenopausal women with type 2 diabetes. A second objective was to relate the improved insulin sensitivity to changes in abdominal adipose tissue (AT) and thigh muscle density. RESEARCH DESIGN AND METHODS A total of 28 obese postmenopausal women with type 2 diabetes were randomly assigned to one of three 16-week treatments: control, aerobic only training (Ae only), or aerobic plus resistance training (Ae+RT). Pre- and posttreatment outcome measures included glucose disposal by hyperinsulinemic-euglycemic clamp and computed tomography scans of abdominal AT and mid-thigh skeletal muscle. RESULTS Glucose infusion rates increased significantly (P < 0.05) in the Ae+RT group. Both exercise groups had reduced abdominal subcutaneous and visceral AT and increased muscle density. The Ae+RT training group exhibited a significantly greater increase in muscle density than the Ae only group. Improved glucose disposal was independently associated with changes in subcutaneous AT, visceral AT, and muscle density. Muscle density retained a relationship with glucose disposal after controlling for abdominal AT. CONCLUSIONS Adding resistance training to aerobic training enhanced glucose disposal in postmenopausal women with type 2 diabetes. The improved insulin sensitivity is related to loss of abdominal subcutaneous and visceral AT and to increased muscle density.
Segregating multiple groups of heterogeneous units in robot swarms using abstractions

This paper addresses the problem of segregation of groups of heterogeneous units in robot swarms. We propose a controller that can drive robots in a way that each group composed of robots of a similar type will form clusters while maintaining segregation from other groups. The approach is based on abstractions created to represent each group of robots and an artificial potential function used to segregate the groups. Different from previous works on swarm segregation, we can mathematically guarantee that by using our approach the system will always converge to a state where multiple dissimilar groups are segregated. Moreover, in some situations, our controller does not require all robots to have information about all the other robots in the system. We demonstrate the effectiveness of our controller with simulations with different types of robots and varying number of robots and groups.
Methylenetetrahydrofolate Reductase Gene Polymorphisms and Cardiovascular Diseases

A growing body of evidence suggests that mutations in MTHFR gene are involved in cardiovascular diseases (CVD) - cardiac development, atherosclerosis, myocardial infarction, heart failure, hypertension, aneurysms- and several other disease- cancers, neurological and metabolic disorders. Genetic variations in other genes are added risk for CVD- a leading cause of morbidity and mortality around the globe. Accumulating data over the decade has enhanced our understanding of MTHFR deficiency and diseases associated risk. The frequency of MTHFR 677 C→T and 1298 A→C gene mutations varies substantially in different regions of the world among different racial and ethnic groups. In particular, 677C→T and 1298 A→C variant are associated with clinical manifestation of almost all noncommunicable diseases. This review describes the roles of MTHFR gene mutation in CVD and prospective therapies for heart disease treatment.
Build your own clarithmetic II

Clarithmetics are number theories based on computability logic (see this http URL ). Formulas of these theories represent interactive computational problems, and their "truth" is understood as existence of an algorithmic solution. Various complexity constraints on such solutions induce various versions of clarithmetic. The present paper introduces a parameterized/schematic version CLA11(P1,P2,P3,P4). By tuning the three parameters P1,P2,P3 in an essentially mechanical manner, one automatically obtains sound and complete theories with respect to a wide range of target tricomplexity classes, i.e. combinations of time (set by P3), space (set by P2) and so called amplitude (set by P1) complexities. Sound in the sense that every theorem T of the system represents an interactive number-theoretic computational problem with a solution from the given tricomplexity class and, furthermore, such a solution can be automatically extracted from a proof of T. And complete in the sense that every interactive number-theoretic problem with a solution from the given tricomplexity class is represented by some theorem of the system. Furthermore, through tuning the 4th parameter P4, at the cost of sacrificing recursive axiomatizability but not simplicity or elegance, the above extensional completeness can be strengthened to intensional completeness, according to which every formula representing a problem with a solution from the given tricomplexity class is a theorem of the system. This article is published in two parts. The previous Part I has introduced the system and proved its soundness, while the present Part II is devoted to a completeness proof and some corollaries of the main results.
An Algorithm for Mining Top K Influential Community Based Evolutionary Outliers in Temporal Dataset

Identifying outlier objects against main community evolution trends is not only meaningful itself for the purpose of finding novel evolution behaviors, but also helpful for better understanding the mainstream of community evolution. With the definition of community belongingness matrix of data objects, we constructed the transition matrix to least square optimize the pattern of evolutionary quantity between two consecutive belongingness snapshots. A set of properties about the transition matrix is discussed, which reveals its close relation to the step by step community membership change. The transition matrix is further optimized using robust regression methods by minimizing the disturbance incurred by the outliers, and the outlier factor of the anomalous object was defined. Being aware that large proportion of trivial but nomadic objects may exist in large datasets. This paper focus only on the influential community evolutionary outliers which both show remarkable difference from the main body of their community and sharp changes of their membership role within the communities. An algorithm on detection such kind of outliers are purposed in the paper. Experimental results on both synthetic and real world datasets show that the proposed approach is highly effective and efficient in discovering reasonable influential evolutionary community outliers.
On the Notion of Topic

The aim of this paper is to discuss the notion of what we call the topic of a sentence, and compare it with similar or related notions employed in other theories, in order to show on which basis the notion of topic can be usefully defined. We shall consider, on the one hand, the approaches elaborated by Mathesius, Firbas, Daneš and our own which originate in the Prague School (Section 2.1), and the related proposals made by Halli day, Krifka and Vallduví (Section 2.2). We conclude these discussions by providing a specification of the notion of the topic of a sentence which in our opinion is systematic in that it covers a wide range of phenomena and has been integrated into an overall descriptive framework (Section 3). Then, we shall compare our notion of topic with the notion of center as proposed by the centering theory (Section 4).
Small GTPase Rab40c Associates with Lipid Droplets and Modulates the Biogenesis of Lipid Droplets

The subcellular location and cell biological function of small GTPase Rab40c in mammalian cells have not been investigated in detail. In this study, we demonstrated that the exogenously expressed GFP-Rab40c associates with lipid droplets marked by neutral lipid specific dye Oil red or Nile red, but not with the Golgi or endosomal markers. Further examination demonstrated that Rab40c is also associated with ERGIC-53 containing structures, especially under the serum starvation condition. Rab40c is increasingly recruited to the surface of lipid droplets during lipid droplets formation and maturation in HepG2 cells. Rab40c knockdown moderately decreases the size of lipid droplets, suggesting that Rab40c is involved in the biogenesis of lipid droplets. Stimulation for adipocyte differentiation increases the expression of Rab40c in 3T3-L1 cells. Rab40c interacts with TIP47, and is appositionally associated with TIP47-labeled lipid droplets. In addition, over-expression of Rab40c causes the clustering of lipid droplets independent of its GTPase activity, but completely dependent of the intact SOCS box domain of Rab40c. In addition, Rab40c displayed self-interaction as well as interaction with TIP47 and the SOCS box is essential for its ability to induce clustering of lipid droplets. Our results suggest that Rab40c is a novel Rab protein associated with lipid droplets, and is likely involved in modulating the biogenesis of lipid droplets.
Timing Anomalies Reloaded

Computing tight WCET bounds in the presence of timing anomalies ‐ found in almost any modern hardware architecture ‐ is a major challenge of timing analysis. In this paper, we renew the discussion about timing anomalies, demonstrating that even simple hardware architectures are prone to timing anomalies. We furthermore complete the list of timing-anomalous cache replacement policies, proving that the most-recently-used replacement policy (MRU) also exhibits a domino effect. 1998 ACM Subject Classification B.2. 2
A passive 2nd-order sigma-delta modulator for low-power analog-to-digital conversion

A passive 2nd-order sigma-delta modulator based on a cascade of first-order lowpass filters was designed, fabricated, and tested. A lumped RC filter is added in the loop of a conventional 1st-order passive sigma-delta modulator in order to improve the linearity of its transfer function. A low power edge-triggered comparator was designed and fabricated along with lumped components in ON Semiconductor's C5 500-nm process. The implementation achieved a THD below 1% for all frequencies between 10 Hz and 5 kHz. With a 5 V supply the power consumption of the sigma-delta modulator is 64.5 uW to 150 uW depending on the input signal.