Miracle-dz/UniFAR-FTUs huggingface dataset:
Alembic

Partitioned Global Address Space (PGAS) environments simplify writing parallel code for clusters because they make data movement implicit - dereferencing global pointers automatically moves data around. However, it does not free the programmer from needing to reason about locality - poor placement of data can lead to excessive and even unnecessary communication. For this reason, modern PGAS languages such as X10, Chapel, and UPC allow programmers to express data-layout constraints and explicitly move computation. This places an extra burden on the programmer, and is less effective for applications with limited or data-dependent locality (e.g., graph analytics). This paper proposes Alembic, a new static analysis that frees programmers from having to manually move computation to exploit locality in PGAS programs. It works by determining regions of code that access the same cluster node, then transforming the code to migrate parts of the execution to increase the proportion of accesses to local data. We implement the analysis and transformation for C++ in LLVM and show that in irregular application kernels, Alembic can achieve 82% of the performance of hand-tuned communication (for comparison, naïve compiler-generated communication achieves only 13%).
The merits of implementing routine outcome monitoring in clinical practice.

A growing body of research (e.g., Shimokawa, Lambert, & Smart, 2010) provides evidence for a set of practices that have come to be known as routine outcome monitoring (ROM). ROM consists of using (mainly) self‐report measures of mental health functioning at the inception of treatment and frequently thereafter over the course of treatment. The purpose of such monitoring is to provide feedback to therapists (and clients) about client progress and, more importantly, possible impending treatment failure (i.e., worsening, nonresponse, premature dropout, and/or discontinuation due to perceived lack of benefit from treatment). The use of measured mental health status feedback appears to work by enhancing therapist responsiveness and collaboration with the client, just as monitoring blood sugar helps a physician and patient to manage diabetes. In this article, we wish to further define ROM and differentiate between practices associated with ROM approaches. We compare and contrast the two most widely disseminated and intensively studied systems—the Outcome Questionnaire (OQ)‐System (Lambert, 2010; Lambert et al., 2013; www. oqmeasures.com) and the Partners for Change Outcome Management System (PCOMS; Duncan & Reese, 2015; www.centerforclinicalexcellence.com, www.heartandsoulofchange.com; pcoms.com). These two systems have been applied with thousands of client samples and treatment settings and modalities. We also highlight barriers to their use and potential solutions to some of the substantial implementation issues that arise when they are instigated.
Yeast Silent Mating Type Loci Form Heterochromatic Clusters through Silencer Protein-Dependent Long-Range Interactions

The organization of eukaryotic genomes is characterized by the presence of distinct euchromatic and heterochromatic sub-nuclear compartments. In Saccharomyces cerevisiae heterochromatic loci, including telomeres and silent mating type loci, form clusters at the nuclear periphery. We have employed live cell 3-D imaging and chromosome conformation capture (3C) to determine the contribution of nuclear positioning and heterochromatic factors in mediating associations of the silent mating type loci. We identify specific long-range interactions between HML and HMR that are dependent upon silencing proteins Sir2p, Sir3p, and Sir4p as well as Sir1p and Esc2p, two proteins involved in establishment of silencing. Although clustering of these loci frequently occurs near the nuclear periphery, colocalization can occur equally at more internal positions and is not affected in strains deleted for membrane anchoring proteins yKu70p and Esc1p. In addition, appropriate nucleosome assembly plays a role, as deletion of ASF1 or combined disruption of the CAF-1 and HIR complexes abolishes the HML-HMR interaction. Further, silencer proteins are required for clustering, but complete loss of clustering in asf1 and esc2 mutants had only minor effects on silencing. Our results indicate that formation of heterochromatic clusters depends on correctly assembled heterochromatin at the silent loci and, in addition, identify an Asf1p-, Esc2p-, and Sir1p-dependent step in heterochromatin formation that is not essential for gene silencing but is required for long-range interactions.
Ground-based aerosol climatology of China: aerosol optical depths from the China Aerosol Remote Sensing Network (CARSNET) 2002–2013

Abstract. Long-term measurements of aerosol optical depths (AODs) at 440 nm and Angstrom exponents (AE) between 440 and 870 nm made for CARSNET were compiled into a climatology of aerosol optical properties for China. Quality-assured monthly mean AODs are presented for 50 sites representing remote, rural, and urban areas. AODs were 0.14, 0.34, 0.42, 0.54, and 0.74 at remote stations, rural/desert regions, the Loess Plateau, central and eastern China, and urban sites, respectively, and the corresponding AE values were 0.97, 0.55, 0.82, 1.19, and 1.05. AODs increased from north to south, with low values ( 0.60) in central and eastern China where industrial emissions and anthropogenic activities were likely sources. AODs were 0.20–0.40 in semi-arid and arid regions and some background areas in northern and northeastern China. AEs were > 1.20 over the southern reaches of the Yangtze River and at clean sites in northeastern China. In the northwestern deserts and industrial parts of northeast China, AEs were lower (
State-Variable-Based Transient Analysis

A state-variable-based approach to the impulse re- sponse and convolution analysis of distributed microwave circuits is developed. The state-variable approach minimizes computation time and memory requirements. It allows the use of parameter- ized nonlinear device models, thus improving robustness. Soliton generation on a nonlinear transmission line is considered as an example.
Pre-logarithmic and logarithmic fields in a sandpile model

We consider the unoriented two-dimensional Abelian sandpile model on the half-plane with open and closed boundary conditions, and relate it to the boundary logarithmic conformal field theory with central charge c=-2. Building on previous results, we first perform a complementary lattice analysis of the operator effecting the change of boundary condition between open and closed, which confirms that this operator is a weight -1/8 boundary primary field, whose fusion agrees with lattice calculations. We then consider the operators corresponding to the unit height variable and to a mass insertion at an isolated site of the upper half plane and compute their one-point functions in presence of a boundary containing the two kinds of boundary conditions. We show that the scaling limit of the mass insertion operator is a weight zero logarithmic field. Comment: 18 pages, 9 figures. v2: minor corrections + added appendix
Feature representation based on intrinsic structure discovery in high dimensional space

In this paper, an image is regarded as a collection of image patches that can be referred to as points with certain intrinsic structures/patterns in high-dimensional space. These structures contain vital information of image features and thus provide a novel method for image feature representation. To discover these intrinsic structures, we first propose neighborhood linear embedding (NLE), an unsupervised learning algorithm, to discover neighborhood relationship and global distribution of input data simultaneously. Secondly, NLE is extended to discover the clustering structure of data by incorporating with a Euclidean distance histogram and a series of band pass filters. Finally, by combining with a dimensionality reduction technique, the discovered intrinsic structures are visualized and manipulated in low-dimensional space in the format known as embeddings. The proposed NLE allows the discovery process to adapt to the characteristics of input data. In addition, it is revealed that an image feature composed of image patches can be tracked by tracking the contour containing embeddings of the corresponding image patches
Cooperative protocols for random access networks

Cooperative communications have emerged as a significant concept to improve reliability and throughput in wireless systems. On the other hand, WLANs based on random access mechanism have become popular due to ease of deployment and low cost. Since cooperation introduces extra transmissions among the cooperating nodes and therefore increases the number of packet collisions, it is not clear whether there is any benefit from using physical layer cooperation under random access. In this paper, we develop new low complexity cooperative protocols for random access that outperform the conventional non cooperative scheme for a large range of signal-to-noise ratios.
Notice of Violation of IEEE Publication PrinciplesApplication of Mobile Supply Chain Management: An Exploratory Cross-Case Analysis

The increasing utilization of mobile commerce technologies in e-business raises the question of their use in supply chain integration and management. This article presents a multiple case study investigation of the adoption of mobile technology in the supply chain. A technology-organization-environment framework of the contextual influences on technological innovation adoption is used to inform an analysis of three companies' adoption and use of mobile data solutions for sales automation, freight tracking, and service support. Analysis of the three case studies found that the relative advantage of the technological innovation and the information intensity of the company were the most important factors influencing adoption. Other factors that appeared to influence adoption included the compatibility of the technology with the company's business approach, the presence of top management support, and the degree of organizational readiness. Environmental factors such as competition within the industry or business partner influence seemed less influential for these pioneers of mobile technology use in supply-side activities.
Trafficking and Assembly of the Cold-sensitive TRPM8 Channel*

TRPM (transient receptor potential melastatin-like) channels are distinct from many other members of the transient receptor potential family in regard to their overall size (>1000 amino acids), the lack of N-terminal ankyrin-like repeats, and hydrophobicity predictions that may allow for more than six transmembrane regions. Common to each TRPM member is a prominent C-terminal coiled coil region. Here we have shown that TRPM8 channels assemble as multimers using the putative coiled coil region within the intracellular C terminus and that this assembly can be disturbed by a single point mutation within the coiled coil region. This mutant neither gives rise to functional channels nor do its subunits interact or form protein complexes that correspond to a multimer. However, they are still transported to the plasma membrane. Furthermore, wild-type currents can be suppressed by expressing the membrane-attached C-terminal region of TRPM8. To separate assembly from trafficking, we investigated the maturation of TRPM8 protein by identifying and mutating the relevant N-linked glycosylation site and showing that glycosylation is neither essential for multimerization nor for transport to the plasma membrane per se but appears to facilitate efficient multimerization and transport.
Spiritual Diversity in Couple and Family Therapy Training: Student Perspectives

iii ACKNOWLEDGEMENTS . iv LIST OF APPENDIX TABLES . vi CHAPTER ONE. INTRODUCTION . 1 CHAPTER TWO. LITERATURE REVIEW . 3 CHAPTER THREE. METHODS . 16 CHAPTER FOUR. RESULTS AND FINDINGS . 21 CHAPTER FIVE. DISCUSSION . 34 REFERENCES . 45 APPENDIX. TABLES . 53
Parametric Study on the Free-Fall Water Entry of a Sphere by Using the RANS Method

Motivated by the application of water-entry problems in the air-drop deployment of a spherical oceanographic measuring device, the free-fall water entry of a sphere was numerically investigated by using the transient Reynolds-averaged Navier–Stokes (RANS) method. A convergence study was carried out, which accounts for the mesh density and time-step independence. The present model was validated by the comparison of non-dimensional impact force with previous experimental and numerical results. Effects of parameters, such as impact velocity, radius, and mass of the sphere on the impact force and the acceleration of the sphere, are discussed. It is found that the peak value of the non-dimensional impact force is independent of the impact velocity and the radius of the sphere, while it depends on the mass of the sphere. By fitting the relationship between the peak value of the non-dimensional impact force and the non-dimensional mass, simplified formulas for the prediction of peak values of the impact force and the acceleration were achieved, which will be useful in the design of the spherical oceanographic measuring device.
Targeted and Random Mutagenesis of Ehrlichia chaffeensis for the Identification of Genes Required for In vivo Infection

Ehrlichia chaffeensis is a tick transmitted pathogen responsible for the disease human monocytic ehrlichiosis. Research to elucidate gene function in rickettsial pathogens is limited by the lack of genetic manipulation methods. Mutational analysis was performed, targeting to specific and random insertion sites within the bacterium's genome. Targeted mutagenesis at six genomic locations by homologous recombination and mobile group II intron-based methods led to the consistent identification of mutants in two genes and in one intergenic site; the mutants persisted in culture for 8 days. Three independent experiments using Himar1 transposon mutagenesis of E. chaffeensis resulted in the identification of multiple mutants; these mutants grew continuously in macrophage and tick cell lines. Nine mutations were confirmed by sequence analysis. Six insertions were located within non-coding regions and three were present in the coding regions of three transcriptionally active genes. The intragenic mutations prevented transcription of all three genes. Transposon mutants containing a pool of five different insertions were assessed for their ability to infect deer and subsequent acquisition by Amblyomma americanum ticks, the natural reservoir and vector, respectively. Three of the five mutants with insertions into non-coding regions grew well in deer. Transposition into a differentially expressed hypothetical gene, Ech_0379, and at 18 nucleotides downstream to Ech_0230 gene coding sequence resulted in the inhibition of growth in deer, which is further evidenced by their failed acquisition by ticks. Similarly, a mutation into the coding region of ECH_0660 gene inhibited the in vivo growth in deer. This is the first study evaluating targeted and random mutagenesis in E. chaffeensis, and the first to report the generation of stable mutants in this obligate intracellular bacterium. We further demonstrate that in vitro mutagenesis coupled with in vivo infection assessment is a successful strategy in identifying genomic regions required for the pathogen's in vivo growth.
Combining context ontology and landmarks for personal information management

In this paper we present our work on personal information management by exploiting both context ontology and landmarks. The context model introduced is based on location, agent, time, and category of information corresponding to the 4 Ws: where, who, when, and what. Each of them represents one dimension of an information item. Semantics of each dimension are explicitly described in the ontology for personal information items along with their inter-relation. Therefore a necessary modification of the LATCH model has been investigated in-depth for its usage for personal information management and further retrieval. Navigation in the information space is supported by the use of landmarks.
Randomized Synopses for Query Verification on Data Streams

Due to the overwhelming flow of information in many data stream applications, many companies may not be willing to acquire the necessary resources for deploying a Data Stream Management System (DSMS), choosing, alternatively, to outsource the data stream and the desired computations to a third-party. But data outsourcing and remote computations intrinsically raise issues of trust, making outsourced query verification on data streams a problem with important practical implications. Consider a setting where a continuous “GROUP BY, SUM” query is processed using a remote, untrusted server. A client with limited processing capabilities observing exactly the same stream as the server, registers the query on the server’s DSMS and receives results upon request. The client wants to verify the integrity of the results using significantly fewer resources than evaluating the query locally. Towards that goal, we propose a probabilistic verification algorithm for selection and aggregate/group-by queries, that has constant update cost per stream element, uses constant space irrespective of the result-set size, and can have arbitrarily small probability of failure. The same synopsis can be used for verifying multiple simultaneous queries on the same aggregate attributes but different selections/groupings, without any increase in space. We generalize this algorithm to allow some tolerance on the number of erroneous groups detected, in order to support semantic load shedding on the server. We also discuss the hardness of supporting random load shedding. Finally, we implement our techniques and perform an empirical evaluation using live network traffic.
The AAO 2DF QSO Redshift Survey

The study of large-scale structure through QSO clustering provides a potentially powerful route to determining the fundamental cosmological parameters of the Universe (see Croom & Shanks 1996). Unfortunately, previous QSO clustering studies have been limited by the relatively small sizes of homogeneous QSO catalogues that have been available. Although approximately 10,000 QSOs are now known (Veron-Cetty & Veron 1997), the largest catalogues suitable for clustering studies contain only 500–1000 QSOs (Boyle et al. 1990, Crampton et al. 1990, Hewett et al. 1994). Even combining all such suitable catalogues, the total number of QSOs which can be used for clustering studies is still only about 2000.
Full sky study of diffuse Galactic emission at decimeter wavelenghts

A detailed knowledge of the Galactic radio continuum is of high interest for studies of the dynamics and structure of the Galaxy as well as for the problem of foreground removal in Cosmic Microwave Background measurements. In this work we present a full-sky study of the diffuse Galactic emission at frequencies of few GHz, where synchrotron radiation is by far the dominant component. We perform a detailed combined analysis of the extended surveys at 408, 1420 and 2326 MHz (by Haslam et al. 1982; Reich 1982; Reich & Reich 1986; Jonas et al. 1998, respectively). Using the technique applied by Schlegel et al. (1998) to the IRAS data, we produce destriped versions of the three maps. This allows us to construct a nearly-full-sky map of the spectral index and of the normalization factor with sub-degree angular resolution. The resulting distribution of the spectral indices has an average of ¯ β = 2.695 and dispersion σβ = 0.120. This is representative for the Galactic diffuse synchrotron emission, with only minor effects from free-free emission and point sources. The maps produced in this work are available via ftp at cdsarc.u-strasbg.fr
A Polylogarithmic-Competitive Algorithm for the k-Server Problem

We give the first polylogarithmic-competitive randomized algorithm for the k-server problem on an arbitrary finite metric space. In particular, our algorithm achieves a competitive ratio of Õ(log3 n log2 k) for any metric space on n points. This improves upon the (2k-1)-competitive algorithm of Koutsoupias and Papadimitriou (J. ACM 1995) whenever n is sub-exponential in k.
Motion without structure

We propose a new paradigm, motion without structure, for determining the ego-motion between two frames. It is best suited for cases where reliable feature point correspondence is difficult, or for cases where the expected camera motion is large. The problem is posed as a five-dimensional search over the space of possible motions during which the structural information present in the two views is neither implicitly or explicitly used or estimated. To accomplish this search, a cost function is devised that measures the relative likelihood of each hypothesized motion. This cost function is invariant to the structure present in the scene. An analysis of the global scene statistics present in an image, together with the geometry of epipolar misalignment, suggests a measure based on the sum of squared differences between pixels in the first image and their corresponding epipolar line segments in the second image. The measure relies on a simple statistical characteristic of neighboring image intensity levels. Specifically, that the variance of intensity differences between two arbitrary points in an image is a monotonically increasing symmetrical function of the distance between the two points. This assumption is almost always true, though the size of the neighborhood over which the monotonic dependency holds varies from image to image. This range determines the maximum permissible motion between two frames, which can be quite large. Experiments with both outdoor scenes and an indoor calibrated sequence achieve very good accuracy (less then 1 pixel image displacement error) and robustness to noise.
Non-interactive differential privacy: a survey

OpenData movement around the globe is demanding more access to information which lies locked in public or private servers. As recently reported by a McKinsey publication, this data has significant economic value, yet its release has potential to blatantly conflict with people privacy. Recent UK government inquires have shown concern from various parties about publication of anonymized databases, as there is concrete possibility of user identification by means of linkage attacks. Differential privacy stands out as a model that provides strong formal guarantees about the anonymity of the participants in a sanitized database. Only recent results demonstrated its applicability on real-life datasets, though. This paper covers such breakthrough discoveries, by reviewing applications of differential privacy for non-interactive publication of anonymized real-life datasets. Theory, utility and a data-aware comparison are discussed on a variety of principles and concrete applications.
Symbolic execution for BIOS security 1

We are building a tool that uses symbolic execution to search for BIOS security vulnerabilities including dangerous memory references (call outs) by SMM interrupt handlers in UEFI-compliant implementations of BIOS. Our tool currently applies only to interrupt handlers for SMM variables. Given a snapshot of SMRAM, the base address of SMRAM, and the address of the variable interrupt handler in SMRAM, the tool uses SE to run the KLEE symbolic execution engine to search for concrete examples of a call to the interrupt handler that causes the handler to read memory outside of SMRAM. This is a work in progress. We discuss our approach, our current status, our plans for the tool, and the obstacles we face.