Miracle-dz/UniFAR-FTUs huggingface dataset:
Automatic Distributed-Memory Parallelization and Code Generation using the Polyhedral Framework

Compiling for distributed-memory parallel architectures is considered very challenging. In spite of the large amount of work done to address this problem, no practical and efficient solution currently exists. We present new techniques for compilation of regular sequen tial programs for distributed-memory parallel architectures – typically, a cluster of multicores interconnected with a high performan ce interconnect. Compilation for distributed memory requires gene ration of communication code and its quality is key to scalable perfor mance. Our framework is implemented as a source-level transformer that uses the polyhedral compiler framework, and generates parallel code with communication expressed with the Message Passing Interfac e (MPI) library. We are able to handle sequences of arbitrarily nest ed loops with affine dependences, and generated code is parametric in he umber of processors and problem sizes. The proposed approach h as been implemented into a tool and we report experimental results o n a cluster of multicores demonstrating its effectiveness. Compar ed to all previous approaches, ours is a significant advance either (1) wi th respect to the generality of input code handled, or (2) efficiency of c ommunication code, or both. To the best of our knowledge, this is t he first work reporting end-to-end fully automatic distributed-me ory parallelization and code generation for input programs and trans formation techniques as general as those we allow.
IBM Research Report Kybos: Self-Management for Distributed Brick-Based Storage

Current tools for storage system configuration management make offline decisions, recovering from, instead of preventing, performance specification violations. The consequences are severe in a large-scale system that requires complex actions to recover from failures, and can result in a temporary shutdown of the system. We introduce Kybos, a distributed storage system that makes online, autonomous responses to system changes. It runs on clusters of intelligent bricks, which provide local enforcement of global performance and reliability specifications and so isolate both recovery and application IO traffic. A management agent within Kybos translates simple, high-level specifications into brick-level enforcement targets, invoking centralized algorithms only when taking actions that require global state. Our initial implementation shows that this approach works well.
Non-monotone differential evolution

The Differential Evolution algorithm uses an elitist selection, constantly pushing the population in a strict downhill search, in an attempt to guarantee the conservation of the best individuals. However, when this operator is combined with an exploitive mutation operator can lead to premature convergence to an undesired region of attraction. To alleviate this problem, we propose the Non-Monotone Differential Evolution algorithm. To this end, we allow the best individual to perform some uphill movements, greatly enhancing the exploration of the search space. This approach further aids algorithm's ability to escape undesired regions of the search space and improves its performance. The proposed approach utilizes already computed pieces of information and does not require extra function evaluations. Experimental results indicate that the proposed approach provides stable and reliable convergence.
Software power estimation using IPI(inter-prefetch interval) power model for advanced off-the-shelf processor

This paper addresses a problem of modeling the power consumption of advanced off-the-shelf processors. Unlike existing methods for processor power estimation, where the internal information of processor architecture such as activation of specfic modules such as pipeline stages, etc.) is available via simulation or runtime counters, power modeling method presented in this paper is to estimate the power consumption of complex off-the-shelf RISC processor without such a detailed information, only based on the information of the processor I/O signals (i.e memory access). To tackle this problem, we propose a new power model, called IPI(Instruction-Prefetch Interval) power model. The IPI represents the time interval between two consecutive instruction prefetchs. Our model has two major advantages. First, this model can consider prefetch mechanism. Most of advanced RISC processors have prefetch mechanism which makes processor power estimation difficult. IPI model is the first approach to model prefetch mechanism in processor power estimation. Second, this model can provide power variation in time and therefore it overcomes the limitation of previous work, such as instruction-level energy model. Experiments show that the proposed model yields 96% accuracy on theaverage in case of ARM1136JF-S test chip.
Highly Connected Populations and Temporal Stability in Allelic Frequencies of a Harvested Crab from the Southern Pacific Coast

For marine invertebrates with a benthic adult form and a planktonic larva phase, the connectivity among populations is mainly based on larval dispersal. While an extended larval phase will promote gene flow, other factors such as an intensive fishery and geographical barriers could lead to changes in genetic variability. In this study, the population genetic structure of the commercial crab Metacarcinus edwardsii was analyzed along 700 km of the Chilean coast. The analysis, based on eight microsatellite loci genotyped from megalopae and adult crabs, considered temporal and spatial patterns of genetic variation. The results showed no evidence of spatial patterns in genetic structure, suggesting high connectivity among the sampling sites. The temporal analysis showed no evidence of changes in allele frequencies and no evidence of a recent bottleneck. The lack of spatial structure and allele variation over time could be explained by the interaction of factors such as i) low reproductive variance due to the capability of females to store sperm in the seminal receptacle, which can be used for successive broods, ii) high larval dispersal and iii) high individual reproductive output. Using our data as priors, a genetic modelling approach coincided, predicting this temporal and spatial stability. The same analysis showed that a reduction in population size leads to the loss of genetic variability in populations, as well as of the genetic cohesiveness between populations, pointing out the importance management for species under exploitation, such as M. edwardsii.
Nonspecific complement activation by streptococcal structures. II. Properdin-independent initiation of the alternate pathway

Complement consumption by isolated membranes and walls from Group A streptococci and various other gram-positive microbes has been tested. These microbial structures were found to activate the alternate complement pathway. However, unlike endotoxin, inulin, or other plant polysaccharides, activation of complement by our material was found to bypass properdin. The activating factor(s) also differs from cobra venom in its/their requirement for factor D. Preliminary experiments suggest this factor isolated from membranes to be a protein and to have a mol wt greater than 40-60,000 daltons. Our studies have led us to speculate that the phylogenetic role of the alternate complement pathway may be the primordial nonspecific defense system which has retained certain fundamental aspects up to the present time.
Multicast Scaling Law in Multichannel Multiradio Wireless Networks

This paper addresses the issue of multicast scaling performance in multichannel multiradio (MC-MR) networks. Under the assumption of both limited bandwidth and node tunability, a total fixed bandwidth W is equally split into c channels with 0 <; m ≤ c interfaces equipped on each node for channel switching. The network contains totally n nodes, each serving as a source with k randomly and uniformly selected destinations. We try to give a comprehensive picture of multicast scalings by investigating both the static and mobile networks, with the metrics being capacity and delay. Previous literature [9] has indicated that unicast capacity is solely determined by the ratio of channels to interfaces c/m in MC-MR networks. However, in multicast our problem is made more complicated by the interplay among k, c/m and node mobility (if considered in mobile scenario). We characterize their impact on multicast scaling and obtain three remarkable findings from our results. First, we find capacity loss exists in static networks even if the ratio c/m = O(log n) (We use the following notation throughout our paper: f(n) = O(g)(n))⇔ limsupn→∞g(n)/f(n)<; ∞, f(n) = Ω(g(n) ⇔ lim infn→∞g(n)/f(n) <;, ∞ f(n) = Θ(g(n)) ⇔ f(n) = O(g(n)) and g(n) = O(f(n)), f(n) = Θ(·)̃: The corresponding order Θ(·) which contains a logartihmic order. ) when k is close to Θ(n). This differs from unicast that is free of capacity loss as long as c=m 1/4 O(log n). Second, mobility is manifested to improve multicast capacity in MC-MR networks, where two major capacity bottlenecks, i.e., connectivity and interference constraints, in static networks can be effectively broken. Third, a largely reduced delay is possible by simply seeking for multichannel reuse in 2-hop algorithm without redundancy. This even outperforms the delay scaling in single channel framework [26], where a delay smaller than Θ(√n long k) is not achievable even with more than Θ(√n log k) relay nodes involved in 2-hop mode. As a high-level summary of our results, our work discloses analytically where the performance improvement and degradation exhibit in MC-MR networks, meanwhile unifying the previous bounds on unicast (setting k 1/4 1) in [9].
InProv : Visualizing Provenance Graphs with Radial Layouts and Time-Based Hierarchical Grouping

In provenance research, the large scale of data sets often complicates analysis and understanding. One solution is visualization, a tool that enables scientists and analysts to understand large data sets. The standard format for visualizing provenance is the node-link diagram. However, while effective for understanding local activity, the node-link diagram fails to offer a high-level summary of the relationships within a provenance graph. By focusing on the node-link diagram as the de facto method for graph visualization, the community has failed to explore alternative means that may be more effective. Visualizing filesystem provenance with a radial-based tree layout that is sorted by the time at which system activity occurred instead provides increased accuracy for identifying the high-level activity of a data set. The first contribution of this research is a task taxonomy for filesystem provenance data analysis based on my interviews with domain experts. The second contribution, developed in order to make InProv more effective by identifying the most important nodes and processes in a system, is a new time-based hierarchical grouping method for provenance data. The third contribution is the design of InProv, a radial layout visualization tool for browsing filesystem provenance data over time. Finally, I contribute statistically significant evidence that our radial based layout for filesystem provenance data is more accurate and easier to use than traditional node-link diagrams. A copy of InProv will be made open source-available. In the meantime, please email mdboyd@college.harvard. edu to request a copy.
Laplacians of Covering Complexes

The Laplace operator on a simplicial complex encodes information about the adjacencies between simplices. A relationship between simplicial complexes does not always translate to a relationship between their Laplacians. In this paper we look at the case of covering complexes. A covering of a simplicial complex is built from many copies of simplices of the original complex, maintaining the adjacency relationships between simplices. We show that for dimension at least one, the Laplacian spectrum of a simplicial complex is contained inside the Laplacian spectrum of any of its covering complexes. Acknowledgements: This research was conducted at Canisius College with funding by the NSF. The author would like to thank Dr. Terrence Bisson for his contributions. Page 2 RHIT Undergrad. Math. J., Vol. 12, no. 1
Cooperative Adaptive Cruise Control in Real Traffic Situations

Intelligent vehicle cooperation based on reliable communication systems contributes not only to reducing traffic accidents but also to improving traffic flow. Adaptive cruise control (ACC) systems can gain enhanced performance by adding vehicle-vehicle wireless communication to provide additional information to augment range sensor data, leading to cooperative ACC (CACC). This paper presents the design, development, implementation, and testing of a CACC system. It consists of two controllers, one to manage the approaching maneuver to the leading vehicle and the other to regulate car-following once the vehicle joins the platoon. The system has been implemented on four production Infiniti M56s vehicles, and this paper details the results of experiments to validate the performance of the controller and its improvements with respect to the commercially available ACC system.
Individuals' Life Structures in the Early Adulthood Period Based on Levinson's Theory.

1 Correspondence to: Yahya Aktu, Department of Social Services and Counseling, Siirt University, Eruh, Siirt Turkey. Email: aktuyahya@gmail.com 2 Department of Educational Sciences, Faculty of Education, Gaziosmanpaşa University, Tokat Turkey. Email: tahsinilhan73@gmail.com Citation: Aktu, Y. , & İlhan, T. (2017). Individuals’ life structures in the early adulthood period based on Levinson’s theory. Educational Sciences: Theory & Practice, 17, 1383–1403. http://dx.doi. org/10.12738/estp.2017. 4.0001 Abstract Early adulthood is one of the important milestones considered within lifelong development in the relevant literature. Adulthood is examined through various theories; however, universality of many of these is still being discussed. One of these theories is Levinson’s theory of life structure. Thus, the current research aims to examine the extent to which Levinson’s theory of individual life structure is valid in Turkish society. The current study, with a qualitative design, was based on phenomenology approach. Participants were selected through maximum variation sampling among purposive sampling methods. Participants included 28 young adults living in seven geographically different regions. Data collection was conducted with The Form of Individual Life Structure Evaluation developed by researchers. Data were analyzed through content analysis in NVivo8.0 software. Through content analysis, self-representation and social relationships themes were obtained based on life structure category. Current research results showed that participants accomplished the tasks of modifying their life structures in a transitional period (ages 28-33 and 40-45) of their lives and the tasks of preserving their life structures in a building period (ages 34-39) of their lives. The findings indicated that participants in a transitional period built change-oriented metaphors and those in a building period built stability-oriented metaphors.
Network-Based Robust$H_infty$Filtering for Uncertain Linear Systems

The problem of network-based robust Hinfin filtering for uncertain linear systems is investigated. Different from the design of the traditional filter, the effects of the network-induced delay and data dropout on the performance of a filtering-error system are considered. The derived criteria for Hinfin performance analysis of the filtering-error system and filter design are expressed as a set of linear matrix inequalities, which can be solved by using convex optimization method. Numerical examples show the effectiveness of the design method
Random variate generation for multivariate unimodal densities

A probability density on a finite-dimensional Euclidean space is orthounimodal with a given mode if within each orthant (quadrant) defined by the mode, the density is a monotone function of each of its arguments individually. Up to a linear transformation, most of the commonly used random vectors possess orthounimodal densities. To generate a random vector from a given orthounimodal density, several general-purpose algorithms are presented; and an experimental performance evaluation illustrates the potential efficiency increases that can be achieved by these algorithms versus naive rejection.
Processing Object-Orientation-Based Direction Queries in Spatial Databases

Abstract : Direction based spatial relationships are critical in many domains including geographic information systems (GIS) and image interpretation. They are also frequently used as selection conditions in spatial queries. In this paper, we explore processing of queries based on object-orientation-based directional relationships. A new Open Shape based strategy (OSS) is proposed. OSS converts the processing of the direction predicates to the processing of topological operations between open shapes and closed geometry objects. Since OSS models the direction region as an OpenShape it does not need to know the boundary of the embedding world and also eliminating the computation related to the world boundary. We perform algebraic analysis as well as experimental evaluation for OSS. The experimental result demonstrates that the OSS consistently outperforms classical range query strategy both in I/O and CPU cost.
Multiparameter physiological signal reconstruction using NARX Neural Networks

Constant monitoring of a variety of physiological signals is vitally important in numerous clinical care settings. This signals are not perfect, however, and can be corrupted or lost. The loss of a signal can be devastating to the patient, as the physician may lose key information to understanding disease processes, or worse, be unaware of the patient's status in either surgery or the ICU. This study uses a NARX-type Artificial Neural Network to reconstruct portions of physiological signals that have become corrupted. The effectiveness of this network was tested using signals and guidelines from the Computing in Cardiology/Physionet 2010 challenge, “Mind the Gap. ” The NARX network performs quite well under these conditions, comparing favorably with other top entrants in the Physionet competition. Additionally, it is noted that the accuracy of the signal reconstructions also depends on which channel was corrupted. This work has important implications in many areas ranging from sports medicine and sleep studies to surgery and the ICU.
Security and Integrity of a Distributed File Storage in a Virtual Environment

Virtual environment secure file system (VSFS) is a software architecture for secure file sharing among applications with different trust levels that consists of a set of interconnected virtual machines (VMs). Application VMs (APP-VMs) run the application processes that transparently access remote shared files hosted by file system VMs (FS-VMs). Each FS-VM implements a mandatory access control (MAC) security policy to control file sharing. To define and enforce this policy, VSFS uses SELinux. Each APP-VM is labeled with a security context paired with the IP address of the VM. FS-VMs use this context to check access rights of the APP-VMs with respect to the requested files and operations. A third set of VMs, the administrative VMs (A-VMs), provides assurance about the integrity of the FS-VMs and implements anti-spoofing techniques to authenticate each file request sent by the APP-VMs. After describing the overall architecture, we discuss the security and performance results of a first prototype. These first results show that the overhead due to mandatory access control is fairly acceptable.
Slowly varying tachyon and tachyon potential

We show that the scattering amplitude of four open string scalars or tachyons on the world-volume of a Dp-brane in the bosonic string theory can be written in a universal form. The difference between this amplitude and the corresponding amplitude in the superstring theory is in an extra tachyonic pole. We show that in an α' expansion and for slowly varying fields, the amplitude is consistent with the tachyonic DBI action in which the even part of the tachyon potential is V(T) = e−((π)1/2T/α)2 with α = 1 for bosonic theory and α = (2)1/2 for superstring theory.
Voltage Temperature Monitoring System (VTMS) for a BTS Room

Although Cellular communication is getting more and more popular in our country present days, but its network improvement is hampered by the crysis of electricity. The recent decision of present Government is that they will not provide any electricity from the grid to any new BTS rooms of any Celluler operator companies like Grammen Phone, Robi, Airtel etc. These companies have to develop their own power stations either by using generators or by developing solar plants. Now a days most of the BTS rooms, that the cellular operators are installing with a generator and 48 volt battery backup. So for the synchronisation of the operation of PDB, Generator and battery, they require a device called Voltage Temperature Monitoring System or VTMS. It is a Microcontroller based controlling unit which controlls the operation of generator and battery when PDB in not available in the BTS room.
Generalized High-Order Phase Function for Parameter Estimation of Polynomial Phase Signal

The high-order phase function (HPF) has been introduced recently to estimate the parameters of a polynomial phase signal (PPS). In this correspondence, we generalize the standard HPF by introducing multiple time instants. Thus, the standard HPF can be treated as a special example of the generalized HPF with identical time instants. We propose a procedure for finding time instants minimizing the mean-square error (MSE). The proposed method achieves better performances than the high-order ambiguity function (HAF) and polynomial Wigner-Ville distribution (PWVD). The theoretical analysis as well as the Monte Carlo simulations verify the advantages such as lower MSE and lower SNR threshold for the PPS.
Dynamic observers for sensor faults detection and diagnosis

Abstract— Most observer-based methods applied in fault detection and diagnosis (FDD) schemes use the classical twodegrees of freedom observer structure in which a constant matrix is used to stabilize the observer error dynamics while a post filter helps to achieve some desired properties for the residual (fault information) signal. In this paper, we consider the use of a more general framework which is the dynamic observer structure in which an observer gain is seen as a filter designed so that the error dynamics has some desirable frequency domain characteristics. This structure offers extra degrees of freedom and we show how this freedom can be used for the sensor faults diagnosis problem with the objective to make the residual converge to the faults vector achieving detection and estimation at the same time. The use of appropriate weightings to transform this problem into a standard H∞ optimal control problem is also demonstrated. The introduced strategies are applied to the identified linear state space model of the PROCON level/flow/temperature process training system (manufactured by the Feedback Instrument Limited).
Strong magnetic field asymptotic behavior for the fermion-induced effective energy in the presence of a magnetic flux tube

In a recent paper, we presented an asymptotic formula for the fermion-induced effective energy in 3+1 dimensions in the presence of a cylindrically symmetric inhomogeneous strong magnetic field. However, there are some points which were not clearly explained. In fact, the arguments, which led us to the asymptotic formula, are based on a numerical study of the integral of Eq. (10), as we will see in the main part of this paper. The aim of this work is to present this study in detail.