Miracle-dz/UniFAR-FTUs huggingface dataset:
An Application Driven Analysis of the ParalleX Execution Model

Exascale systems, expected to emerge by the end of the next decade, will require the exploitation of billion-way parallelism at multiple hierarchical levels in order to achieve the desired sustained performance. The task of assessing future machine performance is approached by identifying the factors which currently challenge the scalability of parallel applications. It is suggested that the root cause of these challenges is the incoherent coupling between the current enabling technologies, such as Non-Uniform Memory Access of present multicore nodes equipped with optional hardware accelerators and the decades older execution model, i.e., the Communicating Sequential Processes (CSP) model best exemplified by the message passing interface (MPI) application programming interface. A new execution model, ParalleX, is introduced as an alternative to the CSP model. In this paper, an overview of the ParalleX execution model is presented along with details about a ParalleX-compliant runtime system implementation called High Performance ParalleX (HPX). Scaling and performance results for an adaptive mesh refinement numerical relativity application developed using HPX are discussed. The performance results of this HPX-based application are compared with a counterpart MPI-based mesh refinement code. The overheads associated with HPX are explored and hardware solutions are introduced for accelerating the runtime system.
Turing instability for a two dimensional semi-discrete Oregonator model

In this paper, a semi-discrete (time continuous but two-dimensional spatially discrete) Oregonator model has been given in the microscopic domain, and Turing instability theory analysis is discussed in detail. Turing instability conditions have been deduced by combining linearization method and inner product technique. Various patterns such as spiral wave, target wave, stripes and spotlike patterns are selectively obtained from numerical simulations in the Turing instability region. In particular, the effect of both system parameters and initial value on pattern formation is numerically proved.
Professional School Counselors as Cultural Consultants

The purpose of our study was to explore the alignment of the Council for the Accreditation of Counseling and Related Educational Programs School Counseling Diversity Standards with items on the School-Wide Cultural Competence Observation Checklist (SCCOC). A modified Delphi study methodology was chosen which resulted in one or more of the CACREP School Counseling Diversity Standards aligning with 31 of the 33 SCCOC items. These findings suggest the SCCOC is a viable training tool for use in counselor education programs.
1 Complex Wavelet Packets-based DWMT for Digital Subscriber Line

It is well known today that Discrete Multi-Tone (DMT) modulation is an attractive technique for copper wire access technology (e.g. Asymmetric and Very-high-rate Digital Subscriber Line). Discrete Wavelet Multi-Tone (DWMT) is a variant high-performance transmission technique, which is based on the application of wavelet filter bank. However, it was shown in the work that complex wavelet system is very attractive for DWMT. It is usu ally implemented using parallel filter bank, which have strict design constraints. Instead, two design methods, based on wavelet packet modulation, were proposed depending on the orthogonality conditions between the subcarriers. The performances of DWMT system and the standard DMT system were examined under different noise conditions in an ADSL and VDSL environments.
Technical Challenges in the Derivation of Human Pluripotent Cells

It has long been discovered that human pluripotent cells could be isolated from the blastocyst state of embryos and called human embryonic stem cells (ESCs). These cells can be adapted and propagated indefinitely in culture in an undifferentiated manner as well as differentiated into cell representing the three major germ layers: endoderm, mesoderm, and ectoderm. However, the derivation of human pluripotent cells from donated embryos is limited and restricted by ethical concerns. Therefore, various approaches have been explored and proved their success. Human pluripotent cells can also be derived experimentally by the nuclear reprogramming of somatic cells. These techniques include somatic cell nuclear transfer (SCNT), cell fusion and overexpression of pluripotent genes. In this paper, we discuss the technical challenges of these approaches for nuclear reprogramming, involving their advantages and limitations. We will also highlight the possible applications of these techniques in the study of stem cell biology.
Compositional verification of material handling systems

The design of properly working material handling systems (MHS) is a difficult process as these systems consist of a vast number of single elements with dedicated controls. While currently these systems are usually validated using simulation, formal methods provide a means to analyze the complete behavior of a system. However, these methods can often only be applied to systems of a moderate size, which hampers their application to verify real-world systems. This paper presents an approach to the compositional verification of MHS, which is based on the theory of assume-guarantee reasoning. The approach has been implemented in a tool that automatically carries out the verification. The application of the approach is shown using a real-world example.
Robust Oscillations and Bifurcations in CellularNeural

A software package for studying discrete time Neural Networks dynamics is presented as an eecient analysis tool having also capabilities for designing special purposes cellular neural networks (CNN's) such as period controlled oscillators , noise generators and chaotic based systems. Based on an information theory approach, an entropy associated with a given structure of the network was deened as a global descriptor of the system dynamics. Any kind of discrete time neural model with any size is allowed, including CNN's as a particular case. By performing two or one dimensional analysis trough the weights space, some new properties of the opposite-template CNN's were discovered, e.g. the existence of robustness domains which means that small controllable change in weights values implies no change in the network's entropy. Using this software package, robust chaotic networks capable of generating white-noise like signals were also discovered.
The Development and Initial Validation of a Psychoanalysis Use/Non-Use Scale among a Sample of Hong Kong Helping Professionals.

ABSTRACT This article reports on the construction and initial validation of the Psychoanalysis Use/Non-Use scale (PUNU) and the complementary Conflicts with Hong Kong Chinese Culture scale (CHKCC), developed for assessing the penetration of psychoanalysis among counseling professionals in Hong Kong. A total of 217 Hong Kong social workers, psychologists, and counselors were surveyed to assess the scales' internal psychometric properties. Factor analysis confirmed a four-factor structure for the PUNU, and a unidimensional structure for the CHKCC, with 17 and 9 items, respectively. Internal reliability of both scales was good and discriminative validity was supported by comparisons with background information. These scales could help to identify factors that affect the understanding of psychoanalysis among professionals and could be useful for educational purposes.
Behavioral Systems and Difficulty with Emotional Regulation Predict Adolescents’ Addiction Potential

Abstract Behavioral systems and emotional regulation are key components of adolescents’ emotional development. However, little is known about their role in addiction potential. This research was conducted to evaluate the role of behavioral inhibition systems (BIS), behavioral activation systems (BAS) and difficulty with emotional regulation (DER) in adolescents’ addiction potential. The present work is applied correlative research. The 1,900 participants included male adolescents from high schools in the north, south, east, and west of Tehran were the society of this research. The sample was randomly selected by using Morgan’s table for as many as 320 students. The entry criteria were gender, age, grade of education, and non-drug abuse. The research measures were behavioral activation and inhibition systems scales, the Emotion Regulation Questionnaire, as well as the Addiction Prone Personality scale. The results showed the correlations among BIS, BAS, and DER were positively significant (p < .05). The correlation between BIS and addiction potential was significantly negative (p < .05). Finally, BAS, BIS, and DER, respectively, predicted 57%, 20%, and 22% of the addiction potential? s variance. According to the findings, BAS is the best predictor of the addiction potential. It seems that reward responding and seeking pleasure, which were behavioral activation systems subscales, and DER most contributed to predicting addiction potential.
Link layer algorithms for efficient multicast service provisioning in 3G cellular systems

We introduce error control algorithms for multicast delivery in 3G cellular networks. For efficiency reasons, the delivery of multicast flows is usually achieved by allocating a common channel in the forward direction. This enables multiple users to be served by a single physical resource. However, different users are affected by independent channel error processes and new techniques, different from plain ARQ, have to be found to perform error recovery. These new algorithms are needed to deliver the multicast flow in an efficient manner and to enable a reliable, performant and network operator inexpensive, multicast service. Different hybrid ARQ algorithms for the error recovery of multicast flows over common channels are proposed and their performance is evaluated both analytically and by simulation. The proposed solutions have been found to be effective and advantageous over plain ARQ techniques. Results on the achievable video quality are reported for the multicast video streaming case by considering the H.263 video coding format.
Identifying rumor sources with different start times

We study the problem of identifying multiple rumor or infection sources in a network under the susceptible-infected (SI) model. We do not assume that the sources start infection spreading at the same time. We introduce the notion of a quasi-regular tree as the basic model, and an abstract estimator, which includes several of the single source estimators developed in the literature. We develop a general two source joint estimation algorithm based on any abstract estimator, and show that it converges to a local optimum of the estimation function if the underlying network is a quasi-regular tree. We further extend our algorithm to more than two sources, and heuristically to general graphs.
Object-associated telepointer for real-time collaborative document editing systems

Telepointers are a real-time groupware interface feature to indicate where other users are pointing. None of existing telepointer techniques, however, is capable of tracking the reference object and preserving the relative position in the face of dynamic content and view changes in real-time collaborative document editing systems. In this paper, we report a novel object-associated telepointer (OAT) technique with the following features in the face of dynamic content and view changes: (1) relocating telepointers to track the reference object; (2) preserving the position relative to the reference object; and (3) providing feedback of the telepointer relocation to the local user with a virtual local cursor. The key technique for supporting OAT is to extend the operational transformation technique with a generic Refer operation to support adjusting the reference object position. The OAT technique has been implemented in the CoWord system based on the transparent adaptation approach so that it can provide the OAT support to a range of realtime collaborative applications
Shame to be sham: addressing content-based grey hat search engine optimization

We present an initial study identifying a form of content-based grey hat search engine optimization, in which a Web page contains both potentially relevant content and manipulated content: we call such pages sham documents, because they lie in the grey area between 'ham' (clearly normal) and 'spam' (clearly fake). Sham documents are often ranked artificially high in response to certain queries, but also may contain some useful information and cannot be considered as absolute spam. We report a novel annotation effort performed with the ClueWeb09 benchmark where pages were labeled as being spam, sham, or legitimate content. Significant inter-annotator agreement rates support the claim that there are sham documents that are highly ranked by a very effective retrieval approach, yet are not spam. We also present an initial study of predictors that may indicate whether a query is the target of shamming.
The (B)link Between Amotivation and Dopamine in Psychosis: What Phasic Eye Blink Rate Reveals

ix INTRODUCTION . 1 Behavioral Findings in Schizophrenia Spectrum Disorders Relevant to Motivated Behavior . 2 The Role of Dopamine in Motivated Behavior. 3 Eye Blink Rate as an Index of Striatal Dopamine . 5 Summary and Purpose . 8 Aims . 8 METHODS . 9 Participants . 9 Measures . 10 Reward Task . 12 Eye Blink Rate . 15 Statistical Analyses . 17 RESULTS . 22 Preliminary Analyses . 22 Aim One: Establish Whether Eye Blink Rate Is Sensitive to Changes in Task Phase on the Effort-Based Reward Paradigm . 26 Aim Two: Determine the Extent to Which Behavioral Indices of Motivation (i.e., Behavioral Effort) and Baseline Predictors (i.e., State Affect, Expectations) Influence Change in Eye Blink Rate Among Key Task Phases . 29 Aim Three: What Is the Relationship Between Eye Blink Rate and Amotivation? 38 DISCUSSION . 42 What Is Eye Blink Rate a Measure of? 43 Is There a Link Between Eye Blink Rate and Amotivation? 46 Limitations and Future Directions . 48 Conclusions . 54 REFERENCES . 55
Optimization Algorithms for the Max Edge Weighted Clique Problem with Multiple Choice Constraints

Many relevant problems can be described and successfully solved using graphbased models. For instance, the side-chain placement problem in biology, the choice of efficient communication protocols in management science, backbone design in telecommunication networks and data mining applications share a common structure: they all require to find a maximum weighted clique in a suitable graph [1]. We tackle the Max Edge Weighted Clique problem with Multiple choice Constraints (MEWCMC). Given a graph with weights on both vertices and edges, and a partition of the vertex set, the MEWCMC asks to find a maximum weight clique, choosing one vertex for each class of the partition. The classical Max Weighted Clique problem has been studied from many aspects. State of the art algorithms include [3], [4] and [5]. The version of the problem involving multiple choice constraints, instead, has been tackled only recently [2]. In this paper we first introduce models for the MEWCMC based on Binary Quadratic Programming (BQP) and Integer Linear Programming (ILP); we also introduce a model suitable to obtain a semidefinite relaxation of the MEWCMC. Since using commercial solvers on these models allows to solve only small size instances, we present an exact algorithm exploiting a semidefinite relaxation of the MEWCMC, combinatorial bounding, rounding and problem reduction procedures in a branch-and-bound framework. We also describe a Tabu Search heuristic, able to quickly find good quality solutions.
Influence of the Injection Speeds on the Discharge Characteristics and Minimization of Delay Time in a Pseudospark Discharge

The study put forth demonstrates that the seed electrons average kinetic energy influences the discharge characteristics making it possible to maximize the rate of development of the virtual anode in a pseudospark, with a suitable choice of the neutral gas pressure as determined by the seed's average injection speed. This investigation also brings to light two distinct operating regimes; (1) mid-energy, where electron-impact ionization energy losses result in a decrease in the cross-section as the electrons travel downstream and (2) high-energy, where, in contrast, the ionization cross-section increases. In the latter case, both the fastest delay time and the neutral gas pressure producing this value have linear dependencies on the seed electrons energy resulting in a constant value of their product over the different injection speeds. The discharge is seeded by injecting a current pulse for a period of one nanosecond along the axis from the hollow cathode cavity back wall over a range of mean speeds corresponding to 100 to 900 V accelerations; the initial electric field is insufficient to enhance ionization throughout most of the hollow cathode backspace. Data is obtained through computer simulation using the two-dimensional kinetic plasma code OOPIC Pro. 51.50. +v, 52.75. Kq, 52.80. Tn.
Combining Classification and Transduction for Value Prediction in Speculative Plan Execution

Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is closely tied to how accurately data values are predicted at runtime. While caching is one approach that can be used to issue future predictions, it scales poorly with large data sources and is unable to make intelligent predictions given previously unseen input data, even when there is an obvious general relationship between prior input and resulting output. In this paper, we describe a novel way to combine classification and trans-duction for a more efficient and accurate value prediction strategy, one that capable of issuing predictions about previously unseen hints. We show how our approach results in significant speedups for plans that query multiple sources or sources that require multi-page navigation.
Generation of overpressure and compaction‐driven fluid flow in a Plio‐Pleistocene growth‐faulted basin, Eugene Island 330, offshore Louisiana

The complex pressure and porosity fields observed in the Eugene Island (EI) 330 field (offshore Louisiana) are thought to result from sediment loading of low‐permeability strata. In this field, fluid pressures rise with depth from hydrostatic to nearly lithostatic, iso‐pressure surfaces closely follow stratigraphic surfaces which are sharply offset by growth‐faulting, and porosity declines with effective stress. A one‐dimensional hydrodynamic model simulates the evolution of pressure and porosity in this system. If reversible (elastic) compaction is assumed, sediment loading is the dominant source of overpressure (94%). If irreversible (inelastic) compaction and permeability reduction due to clay diagenesis are assumed, then thermal expansion of pore fluids and clay dehydration provide a significant component of overpressure (>20%). The model is applied to wells on the upthrown and downthrown sides of the major growth fault in the EI 330 field. Assuming that sediment loading is the only pressure source and that permeability is a function of lithology and porosity, the observed pressure and porosity profiles are reproduced. Observation and theory support a conceptual model where hydrodynamic evolution is intimately tied to the structural and stratigraphic evolution of this progradational deltaic system.
Reducing network-on-chip energy consumption through spatial locality speculation

As processor chips become increasingly parallel, an efficient communication substrate is critical for meeting performance and energy targets. In this work, we target the root cause of network energy consumption through techniques that reduce link and router-level switching activity. We specifically focus on memory subsystem traffic, as it comprises the bulk of NoC load in a CMP. By transmitting only the flits that contain words predicted useful using a novel spatial locality predictor, our scheme seeks to reduce network activity. We aim to further lower NoC energy through microarchitectural mechanisms that inhibit datapath switching activity for unused words in individual flits. Using simulation-based performance studies and detailed energy models based on synthesized router designs and different link wire types, we show that (a) the prediction mechanism achieves very high accuracy, with an average misprediction rate of just 2.5%; (b) the combined NoC energy savings enabled by the predictor and microarchitectural support are 35% on average and up to 60% in the best case; and (c) the performance impact of these energy optimizations is negligible.
I can't tell you what i found: problems in multi-level collaborative information retrieval

In this position paper, we describe the unique challenges of collaborative information retrieval (MLCIR) in an environment where information access and visibility is not equal across all participants. We call this multi-level collaborative information retrieval, after the term used to describe an environment with differing classification levels. In contrast to traditional collaborative information retrieval, which focuses on technologies to facilitate dynamics in a group, MLCIR must be aware of the information flow in a group, making sure there is not information contamination and inadvertent disclosure of information, while still allowing for collaboration. We cover some of the challenges, and discuss impact on not just formal MLCIR domains, but also more traditional collaborative information seeking domains.
Adaptive hypermedia through contextualized open hypermedia structures

The aim of this article is to produce an alternative view of the adaptive hypermedia (AH) domain from a contextually-aware open hypermedia (OH) perspective. We believe that a wide range of AH techniques can be supported with a small number of OH structures, which can be combined together to create more complex effects, possibly simplifying the development of new AH systems. In this work we reexamine Brusilovsky's taxonomy of AH techniques from a structural OH perspective. We also show that it is possible to identify and model common structures across the taxonomy of adaptive techniques. An agent-based adaptive hypermedia system called HA3L is presented, which uses these OH structures to provide a straightforward implementation of a variety of adaptive hypermedia techniques. This enables us to reflect on the structural equivalence of many of the techniques, demonstrates the advantages of the OH approach, and can inform the design of future adaptive hypermedia systems.
Generic RC realizations of Chua's Circuit

We propose novel generic RC realizations of Chua's circuit. These realizations are based on the simplest possible models for second-order RC sinusoidal oscillators that are used to replace the active tank resonator in the classical Chua's circuit configuration. The sinusoidal oscillators are represented by circuit-independent black-box models. Hence, numerous circuit realizations can be derived.