Miracle-dz/UniFAR-FTUs huggingface dataset:
An ID-based Hierarchical Access Control Scheme with Constant Size Public Parameter

Many ways are proposed to reduce the secret storage space of access control in hierarchy, but no one optimizes the public parameters which are only modiﬁed by CA. Length of each public parameter is one important factor for the size and utilization of storage space. The frequent changes on the maximum length of public parameter will be a weakness for stability, in dynamic key management. Number and length of changed public parameter are considered for the interaction between CA and trusted public platform in dynamic management. The paper proposes an improved scheme to optimize storage space of public parameter for each class from variable linear size to a small constant size. Our scheme has higher utilization, stability and eﬃciency on storage space of trusted public platform and needs less interaction between CA and trusted public platform. The security of this improved scheme is proved on key recovery model.
The association of paraoxonase 1 gene L55M polymorphism with the extent and severity of coronary artery disease in the Turkish population and its dependence on gender

Objective: Coronary artery disease (CAD) is a common, complex, and progressive disorder characterized by the accumulation of lipids and fibrous elements in the arteries. It is one of the leading causes of death in industrialized nations. Oxidative modification of low-density lipoprotein (LDL) in the arterial wall plays an important role in the initiation and progression of atherosclerosis. Paraoxonase1 (PON1) is involved in lipid metabolism and is believed to protect LDL oxidation. In our study, we aimed to clarify the relationship between PON1 gene L55M polymorphism and the extent and severity of CAD. Methods: In total, 114 patients (54 males, mean age: 56.7±12.0 years; 60 females, mean age: 55.7±13.2 years) with stable angina or angina equivalent symptoms were enrolled in this prospective study. Cardiological evaluation was performed with electrocardiogram and transthoracic echocardiogram. The presence of hypertension, dyslipidemia, diabetes, and smoking status were ascertained. The patients were grouped according to their Gensini scores and gender. Genetic analysis of the PON1 gene L55M polymorphism was performed by polymerase chain reaction-restriction fragment length polymorphism. Results: We determined that the LL genotype was more prevalent in patients with Gensini score higher than or equal to 20 (p=0.026) and that this correlated with severe atherosclerotic coronary artery lesions in both gender groups, reaching a statistical significance in the female subjects (p=0.038). Conclusion: It was thought that the PON1 gene L55M polymorphism plays a significant role in CAD progression, especially in females.
Use of the Creighton Tool During a Home Visit Simulation Experience

Abstract This article describes implementation of the Creighton Simulation Evaluation Instrument to evaluate student performance during a simulated home visit experience. A total of 48 groups of students participating in the simulation were evaluated by peer evaluators and faculty. Interrater reliability was found to be low to fair. Low agreement between raters may be a result of a number of factors, including enhanced faculty familiarity with the instrument and being able to identify evidence of critical thinking being displayed by the students engaged in the simulation.
Analyzing probabilistic models in hierarchical BOA on traps and spin glasses

The hierarchical Bayesian optimization algorithm (hBOA) can solve nearly decomposable and hierarchical problems of bounded difficulty in a robust and scalable manner by building and sampling probabilistic models of promising solutions. This paper analyzes probabilistic models in hBOA on two common test problems: concatenated traps and 2D Ising spin glasses with periodic boundary conditions. We argue that although Bayesian networks with local structures can encode complex probability distributions, analyzing these models in hBOA is relatively straightforward and the results of such analyses may provide practitioners with useful information about their problems. The results show that the probabilistic models in hBOA closely correspond to the structure of the underlying optimization problem, the models do not change significantly in subsequent iterations of BOA, and creating adequate probabilistic models by hand is not straightforward even with complete knowledge of the optimization problem.
CMD: A Multidimensional Declustering Method for Parallel Data Systems

I/O parallelism appears to be a promising approach to achieving high performance in parallel database systems. In such systems, it is essential to decluster database files into fragments and spread them across multiple disks so that the DBMS software can exploit the I/O bandwidth reading and writing the diiks in parallel. In this paper, we consider the problem of declustering multidimensional data on a parallel disk system. Since the multidimensional range que-q is the main work-horse for applications accessing such data, our aim is to provide efficient support for it. A new declustering method for parallel disk systems, called coordinate modulo distribution (CMD), is proposed. Our analysis shows that the method achieves optimum parallelism for a very high percentage of range queries on multidimensional data, if the distribution of data on each dimension is stationary. We have derived the *Supported in part by National Science Foundation Grant No. IRI-9110584. iOn leave from HeiIongjiang University, P. FL China. *Computer Science F&search Dept., Lawrence Berkeley Lab. , and the Department of Marketing and Quantitative Studies, San Jose State University, San Jose, California. Permission to copy without fee all or part of this material is grantedprovided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permisJIon from the Endowment. Proceedings of the 18th VLDB Conference Vancouver, British Columbia, Canada 1992 exact conditions under which optimality is achieved. Also provided are the worst and average case bounds on multidimensional range query performance. Experimental results show that the method achieves near optimum performance in almost all cases even when the stationarity assumption does not hold. Details of the parallel algorithms for range query processing and data maintenance are also provided.
Automating the Extraction of Model-Based Software Product Lines from Model Variants (T)

We address the problem of automating 1) the analysis of existing similar model variants and 2) migrating them into a software product line. Our approach, named MoVaPL, considers the identification of variability and commonality in model variants, as well as the extraction of a CVL-compliant Model-based Software Product Line (MSPL) from the features identified on these variants. MoVaPL builds on a generic representation of models making it suitable to any MOF-based models. We apply our approach on variants of the open source ArgoUML UML modeling tool as well as on variants of an In-flight Entertainment System. Evaluation with these large and complex case studies contributed to show how our feature identification with structural constraints discovery and the MSPL generation process are implemented to make the approach valid (i.e., the extracted software product line can be used to regenerate all variants considered) and sound (i.e., derived variants We address the problem of automating 1) the analysis of existing similar model variants and 2) migrating them into a software product line. Our approach, named MoVaPL, considers the identification of variability and commonality in model variants, as well as the extraction of a CVL-compliant Model-based Software Product Line (MSPL) from the features identified on these variants. MoVaPL builds on a generic representation of models making it suitable to any MOF-based models. We apply our approach on variants of the open source ArgoUML UML modeling tool as well as on variants of an In-flight Entertainment System. Evaluation with these large and complex case studies contributed to show how our feature identification with structural constraints discovery and the MSPL generation process are implemented to make the approach valid (i.e., the extracted software product line can be used to regenerate all variants considered) and sound (i.e., derived variants which did not exist are at least structurally valid). which did not exist are at least structurally valid).
Building block components to control a data rate in the Apache Hadoop compute platform

Resource management is one of the most indispens- able components of cluster-level infrastructure layers. Users of such systems should be able to specify their job requirements as a configuration parameter (CPU, memory, disk I/O, network I/O) that are translated into an appropriate resource reservation and resource allocation decision by the resource management function. YARN is an emerging resource management framework in the Hadoop ecosystem, which supports only memory and CPU reservation at present. In this paper, we propose a solution that takes into account the operation of the Hadoop Distributed File System to control the data rate of applications in the framework of a Hadoop compute platform. We utilize the property that a data pipe between a container and a DataNode consists of a disk I/O subpipe and a TCP/IP subpipe. We have implemented building block software components to control the data rate of data pipes between containers and DataNodes and provide a proof-of-concept with measurement results.
Learning Task-specific Bilexical Embeddings

We present a method that learns bilexical operators over distributional representations of words and leverages supervised data for a linguistic relation. The learning algorithm exploits lowrank bilinear forms and induces low-dimensional embeddings of the lexical space tailored for the target linguistic relation. An advantage of imposing low-rank constraints is that prediction is expressed as the inner-product between low-dimensional embeddings, which can have great computational benefits. In experiments with multiple linguistic bilexical relations we show that our method effectively learns using embeddings of a few dimensions.
Characterization of Oxidative Guanine Damage and Repair in Mammalian Telomeres

8-oxo-7,8-dihydroguanine (8-oxoG) and 2,6-diamino-4-hydroxy-5-formamidopyrimidine (FapyG) are among the most common oxidative DNA lesions and are substrates for 8-oxoguanine DNA glycosylase (OGG1)–initiated DNA base excision repair (BER). Mammalian telomeres consist of triple guanine repeats and are subject to oxidative guanine damage. Here, we investigated the impact of oxidative guanine damage and its repair by OGG1 on telomere integrity in mice. The mouse cells were analyzed for telomere integrity by telomere quantitative fluorescence in situ hybridization (telomere–FISH), by chromosome orientation–FISH (CO–FISH), and by indirect immunofluorescence in combination with telomere–FISH and for oxidative base lesions by Fpg-incision/Southern blot assay. In comparison to the wild type, telomere lengthening was observed in Ogg1 null (Ogg1−/−) mouse tissues and primary embryonic fibroblasts (MEFs) cultivated in hypoxia condition (3% oxygen), whereas telomere shortening was detected in Ogg1−/− mouse hematopoietic cells and primary MEFs cultivated in normoxia condition (20% oxygen) or in the presence of an oxidant. In addition, telomere length abnormalities were accompanied by altered telomere sister chromatid exchanges, increased telomere single- and double-strand breaks, and preferential telomere lagging- or G-strand losses in Ogg1−/− mouse cells. Oxidative guanine lesions were increased in telomeres in Ogg1−/− mice with aging and primary MEFs cultivated in 20% oxygen. Furthermore, oxidative guanine lesions persisted at high level in Ogg1−/− MEFs after acute exposure to hydrogen peroxide, while they rapidly returned to basal level in wild-type MEFs. These findings indicate that oxidative guanine damage can arise in telomeres where it affects length homeostasis, recombination, DNA replication, and DNA breakage repair. Our studies demonstrate that BER pathway is required in repairing oxidative guanine damage in telomeres and maintaining telomere integrity in mammals.
Semantic Image Browser: Bridging Information Visualization with Automated Intelligent Image Analysis

Browsing and retrieving images from large image collections are becoming common and important activities. Semantic image analysis techniques, which automatically detect high level semantic contents of images for annotation, are promising solutions toward this problem. However, few efforts have been made to convey the annotation results to users in an intuitive manner to enable effective image browsing and retrieval. There is also a lack of methods to monitor and evaluate the automatic image analysis algorithms due to the high dimensional nature of image data, features, and contents. In this paper, we propose a novel, scalable semantic image browser by applying existing information visualization techniques to semantic image analysis. This browser not only allows users to effectively browse and search in large image databases according to the semantic content of images, but also allows analysts to evaluate their annotation process through interactive visual exploration. The major visualization components of this browser are multi-dimensional scaling (MDS) based image layout, the value and relation (VaR) display that allows effective high dimensional visualization without dimension reduction, and a rich set of interaction tools such as search by sample images and content relationship detection. Our preliminary user study showed that the browser was easy to use and understand, and effective in supporting image browsing and retrieval tasks
Compiling Abstract State Machines to C++

: Abstract State Machines (ASMs) have been widely used to specify software and hardware systems. Only a few of these speciﬁcations are executable, although there are several interpreters and some compilers. This paper introduces a compilation scheme to transform an ASM speciﬁcation in the syntax of the ASM-Workbench into C ++. In particular, we transform algebraic types, pattern matching, functional expressions, dynamic functions, and simultaneous updates to C ++ code. The main aim of this compilation scheme is to preserve the speciﬁcation structure in the generated code without generating ineﬃcient code. The implemented compiler was used successfully in the industrial FALKO application at Siemens Corporate Technology.
Hot-Box Testing of Building Envelope Assemblies—A Simplified Procedure for Estimation of Minimum Time of the Test

Cost of performing hot-box experiments on building envelope assemblies is relatively high. That is why proper estimation of the minimum amount of time necessary to achieve required test accuracy is critical to all hot-box operators. In this paper, two methods are proposed for determining wall specimen time constants, for the hot-box apparatus testing. The requirements published in ASTM C1363-05 “Standard Test Method for the Thermal Performance of Building Materials and Envelope Assemblies by Means of a Hot Box Apparatus,” concerning determination of the time to reach the steady state of heat flow are discussed. One method requires numerical calculations of the response factors with subsequent determination of time constants. The second method makes use of the approximate relation between the time constant and the product of resistance, capacity, and a structure factor. Both methods may serve for the optimization of the minimum test time during hot-box experiments.
The structure of zonal jets in geostrophic turbulence

Abstract The structure of zonal jets arising in forced-dissipative, two-dimensional turbulent flow on the $\ensuremath{\beta} $ -plane is investigated using high-resolution, long-time numerical integrations, with particular emphasis on the late-time distribution of potential vorticity. The structure of the jets is found to depend in a simple way on a single non-dimensional parameter, which may be conveniently expressed as the ratio ${L}_{\mathit{Rh}} / {L}_{\varepsilon } $ , where ${L}_{\mathit{Rh}} = \sqrt{U/ \ensuremath{\beta} } $ and ${L}_{\varepsilon } = \mathop{ (\varepsilon / {\ensuremath{\beta} }^{3} )}\nolimits ^{1/ 5} $ are two natural length scales arising in the problem; here $U$ may be taken as the r.m.s. velocity, $\ensuremath{\beta} $ is the background gradient of potential vorticity in the north–south direction, and $\varepsilon $ is the rate of energy input by the forcing. It is shown that jet strength increases with ${L}_{\mathit{Rh}} / {L}_{\varepsilon } $ , with the limiting case of the potential vorticity staircase, comprising a monotonic, piecewise-constant profile in the north–south direction, being approached for ${L}_{\mathit{Rh}} / {L}_{\varepsilon } \ensuremath{\sim} O(10)$ . At lower values, eddies created by the forcing become sufficiently intense to continually disrupt the steepening of potential vorticity gradients in the jet cores, preventing strong jets from developing. Although detailed features such as the regularity of jet spacing and intensity are found to depend on the spectral distribution of the forcing, the approach of the staircase limit with increasing ${L}_{\mathit{Rh}} / {L}_{\varepsilon } $ is robust across a variety of different forcing types considered.
GPU-Based 3D Cellular Surface Texture Relighting

Procedural texturing is a powerful way to add details to the surface of rendered objects. The Worley basis function of Cellular Texture is the most popular one and widely used to create various kinds of solid textures. However, most applications are implemented over 2D textures, which do not present varied illumination and viewpoint information. We present a method for creating surface height maps based on cellular textures and relighting them on 3D scenes. Furthermore, we implement our algorithm on GPU and show real-time relighting performance under arbitrary lighting directions.
Modeling cache coherence misses on multicores

While maintaining the coherency of private caches, invalidation-based cache coherence protocols introduce cache coherence misses. We address the problem of predicting the number of cache coherence misses in the private cache of a parallel application when running on a multicore system with an invalidation-based cache coherence protocol. We propose three new performance models (uniform, phased and symmetric) for estimating the number of coherence misses from information about inter-core data sharing patterns and the individual core's data reuse patterns. The inputs to the uniform and phased models are the write frequency and reuse distance distribution of shared data from different cores. This input can be obtained either from profiling the target application on a single core or by analyzing the data access pattern statically, and does not need a detailed simulation of the pattern of interleaving accesses to shared data. The output of the models is an estimated number of coherence misses of the target application. The output can be combined with the number of other kinds of misses to estimate the total number of misses in each core's private cache. This output can also be used to guide program optimization to improve cache performance. We evaluate our models with a set of benchmarks from the PARSEC benchmark suite on real hardware.
ECOC comparison exercise with identical thermal protocols after temperature offset correction – instrument diagnostics by in-depth evaluation of operational parameters

Abstract. A comparison exercise on thermal-optical elemental carbon/organic carbon (ECOC) analysers was carried out among 17 European laboratories. Contrary to previous comparison exercises, the 17 participants made use of an identical instrument set-up, after correcting for temperature offsets with the application of a recently developed temperature calibration kit (Sunset Laboratory Inc, OR, US). Temperature offsets reported by participants ranged from −93 to +100 °C per temperature step. Five filter samples and two sucrose solutions were analysed with both the EUSAAR2 and NIOSH870 thermal protocols. z scores were calculated for total carbon (TC); nine outliers and three stragglers were identified. Three outliers and eight stragglers were found for EC. Overall, the participants provided results between the warning levels with the exception of two laboratories that showed poor performance, the causes of which were identified and corrected through the course of the comparison exercise. The TC repeatability and reproducibility (expressed as relative standard deviations) were 11 and 15% for EUSAAR2 and 9.2 and 12% for NIOSH870; the standard deviations for EC were 15 and 20% for EUSAAR2 and 20 and 26% for NIOSH870. TC was in good agreement between the two protocols, TCNIOSH870 = 0.98 × TCEUSAAR2 (R2 = 1.00, robust means). Transmittance (TOT) calculated EC for NIOSH870 was found to be 20% lower than for EUSAAR2, ECNIOSH870 = 0.80 × ECEUSAAR2 (R2 = 0.96, robust means). The thermograms and laser signal values were compared and similar peak patterns were observed per sample and protocol for most participants. Notable deviations from the typical patterns indicated either the absence or inaccurate application of the temperature calibration procedure and/or pre-oxidation during the inert phase of the analysis. Low or zero pyrolytic organic carbon (POC), as reported by a few participants, is suggested as an indicator of an instrument-specific pre-oxidation. A sample-specific pre-oxidation effect was observed for filter G, for all participants and both thermal protocols, indicating the presence of oxygen donors on the suspended particulate matter. POC (TOT) levels were lower for NIOSH870 than for EUSAAR2, which is related to the heating profile differences of the two thermal protocols.
On the Structure of Spectra of Modulated Travelling Waves

Modulated travelling waves are solutions to reaction-diffusion equations that are time-periodic in an appropriate moving coordinate frame. They may arise through Hopf bifurcations or essential instabilities from pulses o fronts. In this article, a framework for the stability analysis of such solutions is presented: the reaction-diffusion equation is cast as an ill-posed elliptic dynamical system in the spatial variable acting upon time-periodic functions. Using this formulation, points in the esolvent set, the point spectrum, and the essential spectrum of the linearization about a modulated travelling wave are related to the existence of exponential dichotomies on appopriate intervals for the associated spatial elliptic eigenvalue problem. Fredholm properties of the linearized operator are characterized by a relative Morse-Floe index of the elliptic equation. These results are proved without assumptions on the asymptotic shape of the wave. Analogous results are true for the spectra of travelling waves to parabolic equations on unbounded cylinders. As an application, we study the existence and stability of modulated spatially-periodic patterns with long-wavelength that accompany modulated pulses.