Miracle-dz/UniFAR-FTUs huggingface dataset:
On Mutual Support of Modern and Traditional Access Control Models with UCON and BLP as Case Study

Access control is essential to computer security, especially in an open, distributed, networked communication environment. Modern access control model such as UCON aims at accommodating general requirements. Traditional one such as BLP focuses on specific properties, e.g. confidentiality. Both of these two realms have their limitations. Taking UCON and BLP as case study, this paper explores mutual support of modern and traditional access control models. It investigates BLP's adaptable characteristic in the UCON perspective. First, it constructs properties in the UCON language to manifest the BLP adaptability, which shows that the BLP adaptability can be ensured to function correctly by the UCON framework. Further, it proposes a formal specification for the BLP adaptability under the UCON framework with the Temporal Logic of Actions, which demonstrates that the BLP adaptability is in good consistency with the UCON model. The significance of the paper is twofold. On the one hand, it exhibits that adaptable quality of the traditional BLP model may be ensured theoretically by the philosophy of modern access control. On the other hand, it enriches the real sense of modern access control models by strengthening the power of traditional access control models.
Similarity-based Techniques for Trust Management

A network of people having established trust relations and a model for propagation of related trust scores are fundamental building blocks in many of todayŠs most successful e-commerce and recommendation systems. Many online communities are only successful if sufficient mutual trust between their members exists. Users want to know whom to trust and how much to trust in the competence and benevolence of other community members in a specific application domain. However, the web of trust is often too sparse to predict trust values between non-familiar people with high accuracy. Since, at least in large online communities, a user has experience with only a very small fraction of the other community members. Thus, very often there will be no trust relation to an intended new partner of an e-commerce transaction at all. The process of building trust is hereby performed in two different ways. First, one can establish trust (or distrust) by gaining direct experience with another party. Of course, every positive event increases the assumed trustworthiness of the trustee while every negative one reduces it. Second, one can gain trust based on recommendations of third parties. If, e.g., Alice has high trust in Bob’s ability to assess the trustworthiness of other people, Bob has similar trust in Claire’s recommendations, and Claire considers David trustable based on her personal experience with him, then Alice gains also trust in David even if she has no or very limited knowledge of him at all. This form of propagated trust is called trust transitivity. Trust transitivity may provide additional information to alleviate the consequences of the sparsity and possible cold-start problems. Such approaches are helpful, provided that a complete trust path exists between the two users. Based on the two forms of trust, a so-called web of trust between community members is created which is often used in recommender systems helping users of e-commerce applications to get an idea about the trustworthiness of their mostly personally unknown cooperation partners. Unfortunately, however, these webs of trust are often too sparse to be helpful in practice since — at least in large online communities — a user has experience with only a very small fraction of the other community members. Thus, very often there will be no trust relation to an intended new partner of an e-commerce transaction at all (Kim et al., 2008). An alternative approach to the problem is advocated in this chapter. Based on collaborative filtering one can exploit the like-mindedness resp. similarity of individuals to infer trust to yet unknown parties which increases the trust relations in the web. For instance, if one knows that with respect to a specific property, two parties are trusted alike by a large number of different 11
Structure of layered WSe_2 thin films with ultralow thermal conductivity

Crystallographic ordering and defects in WSe_2 thin films with ultralow thermal conductivity are characterized by electron imaging and diffraction in cross-sectional geometry. The results show that the film consists of oriented, coherent crystallites that are a few nanometers in diameter. Two films of different thickness with different thermal conductivity are compared. We show that the film with a lower thermal conductivity is characterized by less coherent crystallites with a greater degree of misorientation.
Diabetes and foot infection: more than double trouble

Infection of foot ulcers is a common, often severe and costly complication in diabetes. Many factors linked to the host, mainly immune defects, neuropathy and arteriopathy, as well as bacteria‐related factors, interact in a complex way and account for the susceptibility of diabetic individuals to foot infections, the severity of such infections and difficulty to treat them.
Velcade: U.S. FDA approval for the treatment of multiple myeloma progressing on prior therapy.

Bortezomib (formerly PS-341), a promising new drug for the treatment of multiple myeloma, recently received accelerated approval from the U.S. Food and Drug Administration (FDA) for the therapy of patients with progressive myeloma after previous treatment. Two phase II studies of bortezomib used the same schedule of twice-weekly i.v. dosing for the first 2 weeks of each 3-week cycle. In a randomized study of 54 patients, two doses were compared (1.0 and 1.3 mg/m2) and objective responses occurred at both dose levels (23% versus 35%), including one complete response in each arm. In the other phase II study, 202 heavily pretreated patients (median of six prior therapies) all received the same schedule at 1.3 mg/m2. Of 188 evaluable patients, complete responses occurred in five (3%) and partial responses occurred in 47 (25%). The median duration of response was 365 days. The most clinically relevant adverse events were asthenic conditions, nausea, vomiting, diarrhea, thrombocytopenia, and a peripheral neuropathy that often was painful. This report highlights the FDA analysis supporting the accelerated approval.
Genetic variation in the eicosanoid pathway is associated with non-small-cell lung cancer (NSCLC) survival

Globally, lung cancer results in more deaths worldwide than any other cancer, indicating a need for better treatments. Members of the eicosanoid metabolism pathway represent promising therapeutic targets, as several enzymes involved in the generation of these lipids are dysregulated in many cancers and their inhibition reduces lung cancer growth in mouse models. However, genetic variation of enzymes involved in eicosanoid metabolism has not been adequately examined for association with lung cancer. The goal of this study was to determine whether germline genetic variation altering eicosanoid producing enzyme function and/or expression are associated with differences in lung cancer survival. We examined the association of genetic variation with mortality within eicosanoid metabolism genes in 395 non-small-cell lung cancer (NSCLC) cases from the Southern Community Cohort Study (SCCS). A total of 108 SNPs, both common and rare, in 19 genes, were examined for association. No common or rare variants were associated with lung cancer survival across the entire study population. However, rare variants in ALOX15B (arachidonate 15-lipoxygenase, type B) and the common variant rs12529 in AKR1C3 (prostaglandin F synthase) were associated with NSCLC mortality in women and African Americans, respectively. Rare variants in ALOX15B were associated with greater mortality in women (HR = 2.10, 95% CI = 1.25–3.54, p-value = 0.005). The major allele of rs12529 in AKCR1C3 associated with improved survival in African Americans (HR = 0.74, 95% CI = 0.59–0.92, p-value = 0.008). The lack of genetic associations among all NSCLC cases and the association among women only for rare variants in ALOX15B may, in part, explain the better NSCLC survival observed among women. These results raise the possibility that some subgroups within the NSCLC population may benefit from drugs targeting eicosanoid metabolism.
Concurrent granulomatous Pneumocystis carinii and Mycobacterium xenopi pneumonia: an unusual manifestation of HIV immune reconstitution disease

This report of concurrent granulomatous Pneumocystis carinii pneumonia (GPCP) and Mycobacterium xenopi pneumonia (MXIP) in a patient with advanced HIV disease 3–5 weeks after commencing antiretroviral therapy (ART) fits the syndrome of HIV immune reconstitution/restoration disease (IRD). It may also be a unique window into the immunology of granulomatous inflammation.
Structural Reforms and Growth in Transition: A Meta-Analysis

The present fiscal difficulties of many countries amplify the call for structural reforms. To provide stylized facts on how reforms worked in the past, we quantitatively review 60 studies estimating the relation between reforms and growth. These studies examine structural reforms carried out in 26 transition countries around the world. Our results show that an average reform caused substantial costs in the short run, but had strong positive effects on long-run growth. Reforms focused on external liberalization proved to be more beneficial than others in both the short and long run. The findings hold even after correction for publication bias and misspecifications present in some primary studies.
Glycerol for Acute Stroke

BACKGROUND Brain oedema is a major cause of early death after stroke. A 10% solution of glycerol is a hyperosmolar agent that is claimed to reduce brain oedema. OBJECTIVES To determine whether intravenous (I.V.) glycerol treatment in acute stroke, either ischaemic or haemorrhagic, influences death rates and functional outcome in the short or long term, and whether the treatment is safe. SEARCH STRATEGY The Cochrane Stroke Group trials register was searched (January 2003), and some trialists were personally contacted. SELECTION CRITERIA All completed, randomised and quasi-randomised, controlled, published and unpublished comparisons, evaluating clinical outcome in which I.V. glycerol treatment was initiated within the first days after stroke onset. DATA COLLECTION AND ANALYSIS Two reviewers independently applied the inclusion criteria, assessed the trial quality and extracted data and this was checked with all co-reviewers. Death from all causes, functional outcome, and adverse effects were analysed. MAIN RESULTS Eleven completed, randomised trials comparing I.V. glycerol and control were considered. Analysis of death during the scheduled treatment period for acute ischaemic and/or haemorrhagic stroke was possible in 10 trials where 482 glycerol treated patients were compared with 463 control patients. Glycerol was associated with a non-significant reduction in the odds of death within the scheduled treatment period (Odds Ratio (OR) 0.78, 95% Confidence Intervals (CI) 0.58 to 1.06). Among patients with definite or probable ischaemic stroke, glycerol was associated with a significant reduction in the odds of death during the scheduled treatment period (OR 0.65, 95% CI 0.44 to 0.97). However, at the end of the scheduled follow up period, there was no significant difference in the odds of death (OR 0.98, 95% CI 0.73 to 1.31). Functional outcome was reported in only two studies but there were non-significantly more patients who had a good outcome at the end of scheduled follow up (OR 0.73, 95% CI 0.37 to 1.42). Haemolysis seems to be the only relevant adverse effect of glycerol treatment. REVIEWERS' CONCLUSIONS This systematic review suggests a favourable effect of glycerol treatment on short term survival in patients with probable or definite ischaemic stroke but the confidence intervals were wide and the magnitude of the treatment effect may be only minimal. Due to the relatively small number of patients, and that the trials were performed in the pre-CT era, the results must be interpreted cautiously. The lack of evidence of benefit in long term survival does not support the routine or selective use of glycerol treatment in patients with acute stroke.
Evidence of agomelatine's antidepressant efficacy: the key points

Depressive disorders are of the highest socioeconomic and health-economic importance, as they are the psychiatric disorders that most frequently cause psychosocial disability. Despite the progress that has been made, currently available pharmacotherapies for depression still have a limited antidepressant efficacy with a delayed onset of several weeks, and still cause side effects; these unmet needs represent important reasons to continue to search for novel treatment options. A disorganization of circadian rhythms has been suggested to play an important role in the pathophysiology of major depression, and complaints regarding disturbed sleep are frequent in depressed patients. As endogenous melatonin secretion underlies the regulation of circadian rhythms, compounds with activity at melatonergic receptors have been proposed as potential novel therapeutics. Agomelatine (S-20098), a compound with agonistic properties at MT1 and MT2 receptors and antagonistic properties at the 5-HT2C receptor, has been shown preclinically to exhibit robust antidepressant effects in several experimental paradigms. Clinical trials, including phase III studies, have now demonstrated the superior efficacy of agomelatine in comparison with placebo, and a similar efficacy in comparison with active comparators, for the treatment of major depression. Agomelatine was even effective in severely depressed patients. In all studies published so far, agomelatine was found to be safe and its overall tolerability profile was superior to that of selective serotonin reuptake inhibitors and selective serotonin and noradrenaline reuptake inhibitors.
Down syndrome and transposition of the great arteries

Abstract There is an old adage in paediatric cardiology that, despite the high prevalence and wide spectrum of CHD, transposition of the great arteries does not occur in trisomy 21. We present a case of transposition of the great arteries, ventricular septal defect, and pulmonary stenosis in a patient with trisomy 21.
Abstraction and Model Checking in the PEPA Plug-In for Eclipse

The stochastic process algebra PEPA is widely used for performance modelling, and a large part of its success is due to its rich tool support. As a compositional Markovian formalism, however, it suffers from the state space explosion problem, where even small models can lead to very large Markov chains. One way of analysing such models is to use abstraction - constructing a smaller model that bounds the properties of the original. We present an extension to the PEPA plug-in for Eclipse that enables abstracting and model checking of PEPA models. This implements two new features. The abstraction view provides a graphical interface for labelling and aggregating states of individual PEPA components. The model checking view provides an interface for constructing CSL properties, which are then verified with respect to the specified abstraction. We have an internal CSL model checker for CTMDPs, so the tool can be used as a stand-alone.
Estimating the Ancestral Recombinations Graph (ARG) as Compatible Networks of SNP Patterns

Traditionally nonrecombinant genome, i.e., mtDNA or Y chromosome, has been used for phylogeography, notably for ease of analysis. The topology of the phylogeny structure in this case is an acyclic graph, which is often a tree, is easy to comprehend and is somewhat easy to infer. However, recombination is an undeniable genetic fact for most part of the genome. Driven by the need for a more complete analysis, we address the problem of estimating the ancestral recombination graph (ARG) from a collection of extant sequences. We exploit the coherence that is observed in the human haplotypes as patterns and present a network model of patterns to reconstruct the ARG. We test our model on simulations that closely mimic the observed haplotypes and observe promising results.
SABRE: Ligand/Structure-Based Virtual Screening Approach Using Consensus Molecular-Shape Pattern Recognition

We present an efficient and rational ligand/structure shape-based virtual screening approach combining our previous ligand shape-based similarity SABRE (shape-approach-based routines enhanced) and the 3D shape of the receptor binding site. Our approach exploits the pharmacological preferences of a number of known active ligands to take advantage of the structural diversities and chemical similarities, using a linear combination of weighted molecular shape density. Furthermore, the algorithm generates a consensus molecular-shape pattern recognition that is used to filter and place the candidate structure into the binding pocket. The descriptor pool used to construct the consensus molecular-shape pattern consists of four dimensional (4D) fingerprints generated from the distribution of conformer states available to a molecule and the 3D shapes of a set of active ligands computed using SABRE software. The virtual screening efficiency of SABRE was validated using the Database of Useful Decoys (DUD) and the filtered version (WOMBAT) of 10 DUD targets. The ligand/structure shape-based similarity SABRE algorithm outperforms several other widely used virtual screening methods which uses the data fusion of multiscreening tools (2D and 3D fingerprints) and demonstrates a superior early retrieval rate of active compounds (EF(0.1%) = 69.0% and EF(1%) = 98.7%) from a large size of ligand database (∼95,000 structures). Therefore, our developed similarity approach can be of particular use for identifying active compounds that are similar to reference molecules and predicting activity against other targets (chemogenomics). An academic license of the SABRE program is available on request.
Semi-Symbolic Computation of Efficient Controllers in Probabilistic Environments

We present a semi-symbolic algorithm for synthesizing efficient controllers in a stochastic environment, implemented as an add-on to the probabilistic model checker PRISM. The user specifies the environment and the controllable actions using a Markov Decision Process (MDP), modeled in the PRISM language. Controller efficiency is defined with respect to a user-specified assignment of costs and rewards to the controllable actions. An optimally efficient strategy minimizes the ratio between the encountered costs and rewards. At the core of the implementation is the first semi-symbolic algorithm based on a recently developed strategy improvement algorithm for MDPs with ratio objectives. We show the effectiveness of our implementation using a set of benchmarks.
Building an Indonesian named entity recognizer using Wikipedia and DBPedia

This paper describes the development of an Indonesian NER system using online data such as Wikipedia 1 and DBPedia 2. The system is based on the Stanford NER system [8] and utilizes training documents constructed automatically from Wikipedia. Each entity, i.e. word or phrase that has a hyperlink, in the Wikipedia documents are tagged according to information that is obtained from DBPedia. In this very first version, we are only interested in three entities, namely: Person, Place, and Organization. The system is evaluated using cross fold validation and also evaluated using a gold standard that was manually annotated. Using cross validation evaluation, our Indonesian NER managed to obtain precision and recall values above 90%, whereas the evaluation using gold standard shows that the Indonesian NER achieves high precision but very low recall.
Heuristic Optimization Algorithms in Robotics

Today, Robotic is an essential technology from the entertainment to the industry. Thousands of articles have been published on Robotic. There are various types of robots such as parallel robots, industrial robots, mobile robots, autonomous mobile robots, health-care robots, military robots, entertainment robots, nano robots and swarm robots. So, this variety brings a lot of problems in Robotic. Inverse kinematic for serial robots, forward kinematic for parallel robots, path planning for mobile robots and trajectory planning for industrial robots are some of the problems in Robotic studied a lot. Some of the problems are solved easily with some mathematical equations such as forward kinematic problem for serial robots and inverse kinematic problem for parallel robots. But the problems consisting of nonlinear equations and higher order terms can’t be solved exactly with the classical methods. The forward kinematics problem of the 6 degrees of freedom (DOF) 6x6 type of Stewart Platform can be given as an example to such problems. It has been shown that there are 40 distinct solutions for this problem (Raghavan, 1993). Some of the unsolved problems with classical methods are optimization problems and heuristic optimization techniques are an alternative way for the solution of such problems. The heuristic optimization techniques produce good solutions for the higher order nonlinear problems in an acceptable solution time, when the problems aren’t solved with the classical methods (Lee & El-Sharkawi, 2008). In this chapter, first in Section 2, optimization is shortly described. The introduction and some well-known heuristic algorithms including, Genetic Algorithms(GA), Simulated Annealing(SA), Particle Swarm Optimization(PSO) and Gravitational Search Algorithm(GSA) are reviewed in Section 3. In Section 4, two well-known optimization problems in Robotic are solved with GA and PSO.
A Meta-learning Approach for Selecting between Response Automation Strategies in a Help-desk Domain

We present a corpus-based approach for the automation of help-desk responses to users' email requests. Automation is performed on the basis of the similarity between a request and previous requests, which affects both the content included in a response and the strategy used to produce it. The latter is the focus of this paper, which introduces a meta-learning mechanism that selects between different information-gathering strategies, such as document retrieval and multidocument summarization. Our results show that this mechanism outperforms a random strategy-selection policy, and performs competitively with a gold baseline that always selects the best strategy.
Multi-band reflectivity from metallic photonic crystals containing spiral-like patterns

We show by both experiment and theory that single layered metallic photonic crystals containing spiral-like patterns possess multiple resonance frequencies in linear scale, leading to multiple stop bands and pass bands for electromagnetic waves over a wide frequency regime. These resonances originate from the fine structure of single unit with spiral-like patterns, and are independent to the angle and polarization of incident waves. In additional, such a metallic plate with only one single spiral-like pattern can effectively reflect a near-filed source near the resonance frequencies. This kind of metallic photonic crystals can be applied in multi-band electromagnetic wave devices with sub-wavelength size.
A Multiresolution Approach for Shape from Shading Coupling Deterministic and Stochastic Optimization

Shape from shading is an ill-posed inverse problem for which there is no completely satisfactory solution in the existing literature. In this paper, we address shape from shading as an energy minimization problem. We first show that the deterministic approach provides efficient algorithms in terms of CPU time, but reaches its limits since the energy associated with shape from shading can contain multiple deep local minima. We derive an alternative stochastic approach using simulated annealing. The obtained results strongly outperform the results of the deterministic approach. The shortcoming is an extreme slowness of the optimization. Therefore, we propose a hybrid approach which combines the deterministic and stochastic approaches in a multiresolution framework.