Miracle-dz/UniFAR-FTUs huggingface dataset:
Analogy Instructions Promote Efficiency of Cognitive Processes During Hockey Push-Pass Performance

Analogy instructions may promote effective skill acquisition by providing movement-specific information that can be processed as a single, meaningful unit, rather than as separate “bits” of information (Liao & Masters, 2001; Masters, 2000). Behavioral evidence suggests that information processing associated with analogy instructions is less effortful than information processing associated with explicit instructions, resulting in reduced verbal−analytical involvement in movement control (Lam, Maxwell, & Masters, 2009b). This experiment was designed to test whether analogy instructions promote higher psychomotor efficiency, characterized by greater high-&agr; power in the left hemisphere of the brain (Hillman, Apparies, Janelle, & Hatfield, 2000) and reduced coactivation between the verbal processing (left temporal lobe T7) and motor planning regions of the brain (frontal midline Fz; Hatfield & Hillman, 2001) during motor performance. Novices practiced a hockey push-pass task using an analogy instruction, explicit instructions, or no instructions (control). Push-pass accuracy during a combined task (passing coupled with decision-making) was significantly better following the analogy instruction, which suggested that information processing was less effortful. Left-temporal (T7) electroencephalography (EEG) high-&agr; power was significantly higher in the analogy condition, but T7−Fz coactivation was not significantly different among the conditions. It is possible that the analogy instruction influenced verbal aspects of information processing without impacting the efficiency of motor planning. Consequently, an analogy instruction may promote cognitive, rather than psychomotor, efficiency.
Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis

The precision and scalability of path-sensitive program analyses depend on their ability to distinguish feasible and infeasible program paths. Analyses express path feasibility as the satisfiability of conjoined branch conditions, which is then decided by cooperating decision procedures such as those in satisfiability modulo theory (SMT) solvers. Consequently, efficient underlying decision procedures are key to precise, scalable program analyses. When we investigate the branch conditions accumulated by inter-procedural path-sensitive analyses of object-oriented programs, we find that many relate to an object's dynamic type. These conditions arise from explicit type tests and the branching implicit in dynamic dispatch and type casting. These conditions share a common form that comprises a fragment of the theory of partial orders, which we refer to as type-based partial orders (TPO). State-of-the-art SMT solvers can heuristically instantiate the quantified formulae that axiomatize partial orders, and thereby support TPO constraints. We present two custom decision procedures with significantly better performance. On benchmarks that reflect inter-procedural path-sensitive analyses applied to significant Java systems, the custom procedures run three orders of magnitude faster. The performance of the two decision procedures varies across benchmarks, which suggests that a portfolio approach may be beneficial for solving constraints generated by program analyses.
Packet Random Access in CDMA Radio Networks 1

A packet random access system is considered with transmitters located at random positions inducing random received (uncontrolled) power levels. Various joint detection methods at the central receiver, such as spread ALOHA representing the basic conventional system, a decorrelation receiver, a minimum-mean square error receiver, successive interference cancelation, and a novel parallel cancellation-type multistage receiver are examined for their throughput efficiency. The multistage receiver structure proposed operates on partitions of the original spreading sequences and can be implemented as an enhancement to a matched filter receiver, that is to spread ALOHA. It is shown that this receiver provides superior throughput performance to all other detectors. It is illustrated that system load translates directly into network connectivity, and that the extent of connectivity is related to the type of detector used at the central receiver. Throughput curves and conclusions for cellular and ad hoc networks are presented and discussed.
Pengelolaan Kesan Da’i Dalam Kegiatan Dakwah di Pemuda Hijrah

Kehilangan tokoh bagi para pemuda muslim merupakan masalah ummat hari ini. Fenomena ‘dai muda’ yang meramaikan majelis ta’lim dengan penampilan yang tidak seperti dai pada umumnya adalah kabar yang menggembirakan. Mereka berdakwah dengan menggunakan ciri khas dan pendekatan yang berbeda tetapi dapat diterima oleh kelompok anak muda. metode dakwah yang lebih segar dan inovatif ini menjadikan dakwah lebih menarik. Penelitian ini mengungkapkan pengelolaan kesan seorang dai muda, bernama Ustad Handy Bonny dalam berdakwah. Penelitian ini menggunakan teori pengelolaan kesan (Impression Management) Erving Goffman dengan metode kualitatif pendekatan Dramaturgi. Hasil dari penelitian ini menunjukan bahwa Ustad Handy Bonny melakukan pengelolaan kesan dengan baik menghasilkan citra yang baik dihadapan publik. Ia menggunakan media sosial sebagai panggung dalam berdakwah dengan tema dan desain yang menarik. Ustad Handy Bonny juga berpenampilan “casual” sehingga dapat diterima oleh anak muda dengan mudah. Ia juga bertingkah laku dengan santun, santai, tidak menggurui, menggunakan bahasa yang ringan tetapi tetap menjaga etika dan kesopanan. Dengan mengetahui pengelolaan kesan pada da’i diharapkan pesan dakwah untuk menyeru ke jalan Allah bisa tercapai dengan baik.
Scale-invariant Clustering with Minimum Volume Ellipsoids Scale-invariant Clustering with Minimum Volume Ellipsoids

This paper develops theory and algorithms concerning a new metric for clustering data. The metric minimizes the total volume of clusters, where the volume of a cluster is defined as the volume of the minimum volume ellipsoid (MVE) enclosing all data points in the cluster. This metric is scale-invariant, that is, the optimal clusters are invariant under an affine transformation of the data space. We introduce the concept of outliers in the new metric and show that the proposed method of treating outliers asymptotically recovers the data distribution when the data comes from a single multivariate Gaussian distribution. Two heuristic algorithms are presented that attempt to optimize the new metric. On a series of empirical studies on real and simulated data sets, we show that volume-based clustering outperforms k-means clustering.
Temporal feedback for tweet search with non-parametric density estimation

This paper investigates the temporal cluster hypothesis: in search tasks where time plays an important role, do relevant documents tend to cluster together in time? We explore this question in the context of tweet search and temporal feedback: starting with an initial set of results from a baseline retrieval model, we estimate the temporal density of relevant documents, which is then used for result reranking. Our contributions lie in a method to characterize this temporal density function using kernel density estimation, with and without human relevance judgments, and an approach to integrating this information into a standard retrieval model. Experiments on TREC datasets confirm that our temporal feedback formulation improves search effectiveness, thus providing support for our hypothesis. Our approach out-performs both a standard baseline and previous temporal retrieval models. Temporal feedback improves over standard lexical feedback (with and without human judgments), illus- trating that temporal relevance signals exist independently of document content.
Aging, androgens, and the metabolic syndrome in a longitudinal study of aging.

BACKGROUND Based on Adult Treatment Panel III criteria, we previously reported that the prevalence of the metabolic syndrome (MS) increased with aging; was higher if elevated 2-h plasma postglucose challenge values were included as a criterion; and was greater in men, compared with women. The aim of this study was to evaluate the relationship between the MS and circulating androgen levels in a cohort of men in the Baltimore Longitudinal Study of Aging. METHODS AND RESULTS Study participants were Caucasian community-dwelling adult men in the Baltimore Longitudinal Study of Aging, who underwent a fasting 2-h oral glucose tolerance test and had serum concentrations of total testosterone (T), dehydroepiandrosterone sulfate, and SHBG levels measured. The prevalence of the MS was 4, 21, 21, and 18% for men between the ages of 20 and 39, 40 and 59, 60 and 79, and 80 and 94 yr, respectively. Total T and SHBG were inversely related to the development of the MS over a mean follow-up period of 5.8 yr (range 1.5-14.0 yr), whereas the free T index and body mass index were positively related to the incidence of the MS. Age alone did not predict the development of the MS, nor did the inclusion of abnormal 2-h plasma postglucose challenge levels in the classification of the MS. Stepwise proportional hazards regression analyses showed that among the various measurements, SHBG levels exerted the greatest influence on development of the MS. CONCLUSION The prevalence of the MS increased with aging, and this was associated with lower androgen levels. Lower total T and SHBG predicted a higher incidence of the MS.
A physically based model for the topographic control on shallow landsliding

A model for the topographic influence on shallow landslide initiation is developed by coupling digital terrain data with near-surface through flow and slope stability models. The hydrologic model TOPOG (O'Loughlin, 1986) predicts the degree of soil saturation in response to a steady state rainfall for topographic elements defined by the intersection of contours and flow tube boundaries. The slope stability component uses this relative soil saturation to analyze the stability of each topographic element for the case of cohesionless soils of spatially constant thickness and saturated conductivity. The steady state rainfall predicted to cause instability in each topographic element provides a measure of the relative potential for shallow landsliding. The spatial distribution of critical rainfall values is compared with landslide locations mapped from aerial photographs and in the field for three study basins where high-resolution digital elevation data are available: Tennessee Valley in Marin County, California; Mettman Ridge in the Oregon Coast Range; and Split Creek on the Olympic Peninsula, Washington. Model predictions in each of these areas are consistent with spatial patterns of observed landslide scars, although hydrologic complexities not accounted for in the model (e.g., spatial variability of soil properties and bedrock flow) control specific sites and timing of debris flow initiation within areas of similar topographic control.
Tuning Mechanism for Two-Level Cache Hierarchy Intended for Instruction Caches and Low Energy Consumption

Configurable cache tuning architectures for embedded systems applications can dramatically reduce energy consumption. Existing state-of-the-art heuristics to efficiently explore large configurable cache design space has aimed at finding the cache configuration that yields the minimal energy consumption. However, as energy-driven cache optimizations may reach great energy reduction, the overall system performance is often penalized by considering only a single-metric energy cost function. In this paper, we propose an automated exploration mechanism for adjusting two-level cache hierarchies in order to reduce energy consumption for embedded applications, by keeping up the high performance computing. In our experiments, we applied our heuristic to 12 different benchmarks from the MiBench. The results show an average reduction of about 41% in the energy consumption for instruction caches when compared to existing heuristics and a reduction by about 25% the number of cycles needed to execute a given application
On the stability of input-affine nonlinear systems with sampled-data control

This paper is dedicated to the stability analysis of nonlinear sampled-data systems, which are affine in the input. Assuming that a stabilizing continuous-time controller exists and it is implemented digitally, we intend to provide sufficient asymptotic/exponential stability conditions for the sampled-data system. This allows to find an estimate of the upper bound on the asynchronous sampling periods. The stability analysis problem is formulated both globally and locally. The main idea of the paper is to address the stability problem in the framework of dissipativity theory. Furthermore, the result is particularized for the class of polynomial input-affine sampled-data systems, where stability may be tested numerically using sum of squares decomposition and semidefinite programming.
Evaluation report of integrated background modeling based on spatio-temporal features

We report evaluation results of an integrated background modeling based on spatio-temporal features. The background modeling method consists of three complementary approaches: pixel-level background modeling, region-level one and frame-level one. The pixel-level background model uses the probability density function to approximate background model. The PDF is estimated non-parametrically by using Parzen density estimation. The region-level model is based on the evaluation of the local texture around each pixel while reducing the effects of variations in lighting. The frame-level model detects sudden, global changes of the the image brightness and estimates a present background image from input image referring to a background model image. Then, objects are extracted by background subtraction. Fusing these approaches realizes robust object detection under varying illumination.
Characterisation of the Performance of Cooperative Networks in Ricean Fading Channels

We consider cooperative networks where two singleantenna users assist each other in their transmissions by relaying their partner’s messages. Both users achieve space diversity from sharing their partner’s antenna. The target applications of cooperative networks are systems in which multiple antennas cannot be supported due to size limitation and wireless systems operating in very high frequency bands where line of sight (LOS) propagation dominates and little diversity is available from conventional antenna arrays. Most present work concerning cooperative networks has assumed that the propagation channel exhibits Rayleigh fading (e.g., [1], [2], [3], [4], [5]). However, in situations where an LOS component exists the Ricean fading model is more appropriate. Consequently, this paper presents a characterisation of the performance of cooperative networks in Ricean fading channels. It will be shown that in contrast to the situation in Rayleigh fading channels, in Ricean fading channels there is a region where cooperation is not advantageous, even though the inter-user SNRs are reasonably high. This is of interest particularly in high-frequency applications where LOS propagation often predominates. Also, in Ricean channels having low K-factor values, the gain from cooperating is found to be greater than that available in Rayleigh channels.
Reduction of the Number of Major Representative Allergens: From Clinical Testing to 3-Dimensional Structures

Vast amounts of allergen sequence data have been accumulated, thus complicating the identification of specific allergenic proteins when performing diagnostic allergy tests and immunotherapy. This study aims to rank the importance/potency of the allergens so as to logically reduce the number of allergens and/or allergenic sources. Meta-analysis of 62 allergenic sources used for intradermal testing on 3,335 allergic patients demonstrated that in southern China, mite, sesame, spiny amaranth, Pseudomonas aeruginosa, and house dust account for 88.0% to 100% of the observed positive reactions to the 62 types of allergenic sources tested. The Kolmogorov-Smironov Test results of the website-obtained allergen data and allergen family featured peptides suggested that allergen research in laboratories worldwide has been conducted in parallel on many of the same species. The major allergens were reduced to 21 representative allergens, which were further divided into seven structural classes, each of which contains similar structural components. This study therefore has condensed numerous allergenic sources and major allergens into fewer major representative ones, thus allowing for the use of a smaller number of allergens when conducting comprehensive allergen testing and immunotherapy treatments.
Generating fair meshes with G/sup 1/ boundary conditions

We present a new algorithm to create fair discrete surfaces satisfying prescribed G/sup 1/ boundary constraints. All surfaces are built by discretizing a partial differential equation based on pure geometric intrinsics. The construction scheme is designed to produce meshes that are partitioned into regular domains. Using this knowledge in advance we can develop a fast iterative algorithm resulting in surfaces of high aesthetic quality that have no local mean curvature extrema in the interior.
DX-compactor: distributed X-compaction for SoCs

The emergence of System-on-Chip (SoC) devices has led to a complex on-chip interconnect structure that consumes significant area. Distributed compaction is a test response compaction scheme for an SoC that aims at reducing the area occupied for the purpose of testing the chip. This technique involves the design of compactors for individual cores on the chip. These are interconnected suitably to achieve the required functionality while reducing the area overhead by decreasing the length and the number of interconnects that are routed from scan chain outputs to the output pins. The distributed compaction technique matches the performance of an X-Compactor in terms of error detection and X-masking.
Principles of Adjustable Interactions

In this paper, we seek to model natural human-robot interactions in human-robot teams that support adjustable autonomy and interactions. We present a theoretical characterization of interaction efficiency. We then perform case studies to validate this theoretical framework. Specifically, in one case study we compare interaction efficiency between a shared control teleoperation algorithm and traditional manual-control teleoperation. We then perform another case study in which we analyze the neglect tolerance of a point-topoint interaction scheme. The principles learned from these case studies should help to build more effective human-robot systems.
Dissociable neural imprints of perception and grammar in auditory functional imaging

In language processing, the relative contribution of early sensory and higher cognitive brain areas is still an open issue. A recent controversial hypothesis proposes that sensory cortices show sensitivity to syntactic processes, whereas other studies suggest a wider neural network outside sensory regions. The goal of the current event‐related fMRI study is to clarify the contribution of sensory cortices in auditory syntactic processing in a 2 × 2 design. Two‐word utterances were presented auditorily and varied both in perceptual markedness (presence or absence of an overt word category marking “‐t”), and in grammaticality (syntactically correct or incorrect). A multivariate pattern classification approach was applied to the data, flanked by conventional cognitive subtraction analyses. The combination of methods and the 2 × 2 design revealed a clear picture: The cognitive subtraction analysis found initial syntactic processing signatures in a neural network including the left IFG, the left aSTG, the left superior temporal sulcus (STS), as well as the right STS/STG. Classification of local multivariate patterns indicated the left‐hemispheric regions in IFG, aSTG, and STS to be more syntax‐specific than the right‐hemispheric regions. Importantly, auditory sensory cortices were only sensitive to the overt perceptual marking, but not to the grammaticality, speaking against syntax‐inflicted sensory cortex modulations. Instead, our data provide clear evidence for a distinction between regions involved in pure perceptual processes and regions involved in initial syntactic processes. Hum Brain Mapp, 2012. © 2011 Wiley Periodicals, Inc.
Biomechanical modeling of the 3D center of mass trajectory during walking

In this study, we propose to simulate the center of mass trajectory during walking using a tridimensional Extended Inverted Pendulum model. For the single support trajectory simulation, we consider a modified tridimensional inverted pendulum introducing the forward displacement of its pivot point as the center of pressure translation. The model introduces a representation of the double support center of mass trajectory using the displacement of a tridimensional single pendulum around a mobile double support pivot point. The results show that the introduction of the center of pressure and the double support pivot point translations leads to reduce the center of mass vertical excursion. Besides, the model accurately predicts the center of mass lateral displacements whatever the chosen combination of stride length and width, and walking speed.
Effect of Temporal Relationships in Associative Rule Mining for Web Log Data

The advent of web-based applications and services has created such diverse and voluminous web log data stored in web servers, proxy servers, client machines, or organizational databases. This paper attempts to investigate the effect of temporal attribute in relational rule mining for web log data. We incorporated the characteristics of time in the rule mining process and analysed the effect of various temporal parameters. The rules generated from temporal relational rule mining are then compared against the rules generated from the classical rule mining approach such as the Apriori and FP-Growth algorithms. The results showed that by incorporating the temporal attribute via time, the number of rules generated is subsequently smaller but is comparable in terms of quality.
T Cells + Memory CD8 Efficient Activation of Influenza A-Specific Requirement of Mature Dendritic Cells for

It is critical to identify the developmental stage of dendritic cells (DCs) that is most efﬁcient at inducing CD8 1 T cell responses. Immature DCs can be generated from monocytes with GM-CSF and IL-4, while maturation is accomplished by the addition of stimuli such as monocyte-conditioned medium, CD40 ligand, and LPS. We evaluated the ability of human monocytes and immature and mature DCs to induce CD8 1 effector responses to inﬂuenza virus Ags from resting memory cells. We studied replicating virus, nonreplicating virus, and the HLA-A*0201-restricted inﬂuenza matrix protein peptide. Sensitive and quantita-tive assays were used to measure inﬂuenza A-speciﬁc immune responses, including MHC class I tetramer binding assays, enzyme-linked immunospot assays for IFN- g production, and generation of cytotoxic T cells. Mature DCs were demonstrated to be superior to immature DC in eliciting IFN- g production from CD8 1 effector cells. Furthermore, only mature DCs, not immature DCs, could expand and differentiate CTL precursors into cytotoxic effector cells over 7 days. An exception to this was immature DCs infected with live inﬂuenza virus, because of the virus’s known maturation effect. Finally, mature DCs pulsed with matrix peptide induced CTLs from highly puriﬁed CD8 1 T cells without requiring CD4 1 T cell help. These differences between DC stages were independent of Ag concentrations or the number of immature DCs. In contrast to DCs, monocytes were markedly inferior or completely ineffective stimulators of T cell immunity. Our data with several qualitatively different assays of