Miracle-dz/UniFAR-FTUs huggingface dataset:
Topology-aware Heuristic Data Allocation Algorithm for Big Data Infrastructure

We propose a novel optimal data placement technique considering not only the data locality but also the global data access cost to improve the performance of MapReduce in cloud data centers. We first conducted analytical and experimental study to identify the performance issues of MapReduce in data center and show that MapReduce tasks which are involved in unexpected remote data access take much more communication cost and execution time, and could significant deteriorate the all over performance. To solve optimal data placement problem, we propose a topology-aware heuristic Algorithm by firstly constructing a replica-equalized structure for abstract tree structure, and then building replica-similarity structure for detail tree construction. The experimental results demonstrated that our optimal data placement approach can minimize global data access cost effectively with low communication cost and less execution time, by reducing the unexpected remote data access.
Sampling, Amplification, and Resampling

Many biological experiments for measuring the concentration levels of the gene transcripts or protein molecules involve the application of the Polymerase Chain Reaction (PCR) procedure to the gene or protein samples. To better model the results of the these experiments, we propose a new sampling scheme—sampling, amplification, and resampling (SAR)—for generating discrete data, and derive the asymptotic distribution of the SAR sample. We suggest new statistics for the test of association based on the new model, and give their asymptotic distributions. We also compare the new model with the traditional multinomial model, and show that the new model predicts a significantly larger variance for the SAR sample. This implies that, when applied to the SAR sample, the tests based on the traditional model will have a much higher type I error than expected.
A Proof Assistant Based Formalization of components in MDE

Model driven engineering (MDE) now plays a key role in the development of safety critical systems through the use of early validation and verification of models, and the automatic generation of software and hardware artifacts from the validated and verified models. In order to ease the integration of formal specification and verification technologies, various formalizations of the MDE technologies were proposed by different authors using term or graph rewriting, proof assistants, logical frameworks, etc. The use of components is also mandatory to improve the efficiency of system development. Invasive Software Composition (ISC) has been proposed by Assman to add a generic component structure to existing Domain Specific Modeling Languages in MDE. This approach is the basis of the ReuseWare toolset. We present in this paper an extension of a formal embedding of some key aspects of MDE in set theory in order to formalize ISC and prove the correctness of the proposed approach with respect to the conformance relation with the base metamodel. The formal embedding we rely on was developed by some of the authors and then implemented using the Calculus of Inductive Construction and the Coq proof-assistant. This work is a first step in the formalization of composable verification technologies in order to ease its integration for DSML extended with component features using ISC.
Balanced Wideband Phase Shifters With Good Filtering Property and Common-Mode Suppression

In this paper, a class of balanced wideband phase shifters with good filtering property and common-mode (CM) suppression is proposed, synthetically designed, and implemented. Unlike the conventional coupled-line reference branch one, the proposed balanced phase shifter has its T-shaped structure in both of main and reference branches, so as to achieve superior passband selectivity and CM rejection simultaneously. The synthesis method is then presented to design the proposed balanced wideband phase shifters with the prescribed phase shift value, passband ripple, maximum phase deviation, and fabricated bandwidth. The 30°, 45°, 60°, 75°, and 90° balanced phase shifters are theoretically designed and demonstrated. To validate the design method, two prototypes with different fractional bandwidths (FBWs) and phase shift values (Case 1: FBW = 66.7%, typical phase shift value is 30°; Case 2: FBW = 55.6%, typical phase shift value is 90°) are designed, fabricated, and measured. The synthesized, simulated, and measured results are found in good agreement with each other.
Using CASL Perfusion fMRI to Image Natural Vision

Introduction The neural substrates underlying the processes of natural scenes in everyday vision remains poorly understood which may be attributed to the much longer time-scales of natural vision than the duration of strictly controlled conditions in optimal BOLD fMRI studies, as well as the complex scenes of multiple objects moving in spatial and temporal dimensions. Recently, Arterial spin labeling (ASL) perfusion fMRI has emerged as an appealing alternative to BOLD fMRI for imaging the longitudinal processes like natural conditions because of its noninvasive quantification of absolute cerebral blood flow (CBF) and long term temporal stability (1-2). The present study used ASL perfusion fMRI to measure the brain activation pattern and explore the functional segregation and specialization during natural vision of freely viewing a cartoon movie by concurrently recording CBF and BOLD contrast images.
Proximity-Concentration versus Factor Proportion Explanation: The Case of Swedish Multinationals in the EU

Both proximity-concentration trade-off and factor proportions explanations have been forwarded to explain the existence of multinational enterprises. This paper analyses to what extent these different explanations are supported empirically, in making a first attempt to distinguish explicitly between horizontally and vertically integrated multinationals. The affiliate production share of horizontally integrated multinationals is mainly explained by low plant-level economies of scale, large host country size and similarities in relative factor endowments. Differences for vertical multinationals appear with regard to firm- and plant-level economies of scale, country size, trade costs and relative factor endowments at the national and sectoral level.
PORE-SCALE SIMULATIONS OF PORE CLOGGING AND UPSCALING WITH LARGE VELOCITIES

Computational modelling of processes at pore-scale allows to get detailed insight into their nature. It also provides tools to improve coarse-scale models in which porous medium is considered as a permeable continuum. In this paper, we use the simulations at microscale combined with an upscaling procedure and describe the impact of small changes in the pore morphology on the macroscale parameters such as porosity and permeability. The changes in pore geometry may occur due to dierent hydrogeological, geochemical, and biological mechanisms, and may result in signicant variations of the permeability. Our computations are based on realistic geometries with randomly simulated eects of pore clogging. Experiments are performed for a wide range of ow rates, thus contributing to further study of nonlinear
A Significance of VLSI Techniques for Low Power Real Time Systems

In microelectronics design, power consumption, speed of operation, are crucial constraints. Propagation delay of circuit component has an impact on such factors. Pipelining and parallel processing strategies are utilized for desirable propagation delays and hence for clock and throughput variation respectively. To some extent variation in propagation delay is responsible for power consumption reduction. In this paper, pipelining and parallel processing concepts are analyzed with reference to task scheduling in real time system. Power consumption and speed of operation issues of such systems are analyzed.
Cognitive theory of metaphor and Jerzy Wróblewski’s concept of legal interpretation

Jerzy Wróblewski is one of the most prominent and influential legal theorists in Poland. His theory of legal interpretation containing a division into linguistic, systemic and functional dimension is highly regarded by Polish legal community. However, when formulating the theory Wróblewski was aware that his theory lacks some elements. In his work he points out that despite three dimensions the result of the interpretation is still unpredictable. For instance, interpreter’s personality might be additional factor influencing legal interpretation process. In this context, Wróblewski compares the lawmaker to a composer and a subject making legal interpretation to a musician performing a piece of music. Wróblewski emphasizes the importance of such factors. However, an interpreter should disregard additional factors in the process of legal interpretation. At the time, when Wróblewski formulated his theory, the cognitive science was not developed yet. Nowadays, Lakoff Johnson’s idea of conceptual metaphors is widely known and might be one of the missing elements Wróblewski had in mind. This paper will examine such possibility and its consequences. Firstly Wróblewski’s theory of legal interpretation will be presented. Next, I will move to a brief description of Lakoff-Johnson theory. Then, it will be discussed if such approach is possible in terms of Wróblewski’s theory. Finally, the necessary modification of legal interpretation theory will be analyzed. In this part, the key question is whether the metaphorical aspect is a new dimenson of legal interpretation.
JASS : Jolly Awesome Satisfiability Solver

Herein we describe our experiences constructing and testing a hybrid satisfiability solver (JASS), i.e., one that combines both the lookahead and conflict-driven architectures for solving satisfiability problems. We present our approach to creating the solver, give an insight in the implementation process and compare the execution of the hybrid solver on some problems to the execution of a pure lookahead solver on the same problems. In the end we determine whether or not combining the algorithms provides a useful optimization, if there is an increase in performance at all.
Symposium: aphasia rehabilitation in multilingual contexts

Background: Steady aging in the world’s population, driven by a reduction in birth rates and an increase in life expectancy, is estimated to intensify the prevalence of age-related neurological disabilities worldwide, especially from stroke. Although a stroke can occur at any age, more than two thirds of all strokes occur after age 65. Between 2015 and 2030, the number of people aged 60 years or over is projected to grow by 56%, from 901 million to 1.4 billion worldwide (United Nations, 2015). Reflecting this global population trend, by 2030, the number of stroke survivors is projected to reach 73 million, much of the increase estimated to occur in medically underserved, lowand middle-income countries (Feigin et al., 2014). Global and local strategies are mandated to address the rehabilitation needs of the projected larger adult caseloads in stroke care (Centeno, 2015, 2017; Hallowell, 2017; Johnson, Onuma, Owolabi, & Sachdev, 2016). While high numbers of stroke survivors are estimated to have aphasia, a common poststroke disability, aphasia caseloads similarly are estimated to considerably be multiethnic and multilingual. Growth in local diversity environments with multiple co-existing ethnic groups, combined with new immigrant arrivals (United Nations, 2015), will result in expanded ethnic diversity in many areas. The number of international migrants across the world progressively has grown to reach 244 million individuals in 2015 from 173 million in 2000 (United Nations, 2015). Extensive heterogeneity in linguistic profiles, including bilingualism and multilingualism, and life realities, including socio-economic circumstances and sociocultural histories, is expected particularly in large multiethnic urban centers (Centeno, 2017). Among the neurogenic communication disorders encountered by speech-language therapists (SLTs) in diverse neurorehabilitation caseloads (e.g., aphasia, dysphagia, dementia, etc.), aphasia may represent the most challenging impairment to address clinically (Centeno, 2015). Yet, despite the high prevalence of aphasia in multilingual neurorehabilitation contexts in the world, much of the aphasia research that can support rehabilitation services is based on English speakers (Beveridge & Bak, 2011). International efforts have been useful to identify experimental and professional gaps that can inform the necessary research agenda to strengthen services for communicatively impaired multiethnic adult caseloads in post-stroke care, including aphasia rehabilitation (Brewer, McCann, Worrall, & Harwood, 2015; Centeno, 2015; Penn et al., 2017). Aims: This paper will introduce the presentations in this panel by summarizing worldwide and local demographic and epidemiological trends that support the steady growth of multiethnic caseloads with aphasia in neurorehabilitation programs across the world.
Towards user-centric data management: individual mobility analytics for collective services

We are under the big data microscope, and our digital traces are an inestimable source of awareness to deeply understand mobility phenomena as well as economic trends, social relationships and so on. Setting the focus of the big data microscope to capture human systematic behavior is surely a promising direction. The proposed vision is a methodological framework aimed to deal with intelligent personal data store that are able to automatically perform individual data mining, and that can provide proactive suggestions and support decisions, allow to share individual profiles in order to reach a level of knowledge comparable to those belonged to a collective system, and suggest interactions between individual and collective data mining in order to overtake the level of complex society knowledge extracted by the state-of-art methods. The study of individuals profiles, and the comparison and interactions with collective patterns, is dramatically helpful both for the novel detailed information retrieved through the methodological framework and for the possibility to deal at the same time with privacy issues.
Hydroxymethylcytosine and demethylation of the γ-globin gene promoter during erythroid differentiation

The mechanism responsible for developmental stage-specific regulation of γ-globin gene expression involves DNA methylation. Previous results have shown that the γ-globin promoter is nearly fully demethylated during fetal liver erythroid differentiation and partially demethylated during adult bone marrow erythroid differentiation. The hypothesis that 5-hydroxymethylcytosine (5hmC), a known intermediate in DNA demethylation pathways, is involved in demethylation of the γ-globin gene promoter during erythroid differentiation was investigated by analyzing levels of 5-methylcytosine (5mC) and 5hmC at a CCGG site within the 5′ γ-globin gene promoter region in FACS-purified cells from baboon bone marrow and fetal liver enriched for different stages of erythroid differentiation. Our results show that 5mC and 5hmC levels at the γ-globin promoter are dynamically modulated during erythroid differentiation with peak levels of 5hmC preceding and/or coinciding with demethylation. The Tet2 and Tet3 dioxygenases that catalyze formation of 5hmC are expressed during early stages of erythroid differentiation and Tet3 expression increases as differentiation proceeds. In baboon CD34+ bone marrow-derived erythroid progenitor cell cultures, γ-globin expression was positively correlated with 5hmC and negatively correlated with 5mC at the γ-globin promoter. Supplementation of culture media with Vitamin C, a cofactor of the Tet dioxygenases, reduced γ-globin promoter DNA methylation and increased γ-globin expression when added alone and in an additive manner in combination with either DNA methyltransferase or LSD1 inhibitors. These results strongly support the hypothesis that the Tet-mediated 5hmC pathway is involved in developmental stage-specific regulation of γ-globin expression by mediating demethylation of the γ-globin promoter.
We present a new approach to extracting spatially and temporally continuous ground deformation fields from interferometric synthetic aperture radar ( InSAR ) data

[1] We present a new approach to extracting spatially and temporally continuous ground deformation fields from interferometric synthetic aperture radar (InSAR) data. We focus on unwrapped interferograms from a single viewing geometry, estimating ground deformation along the line-of-sight. Our approach is based on a wavelet decomposition in space and a general parametrization in time. We refer to this approach as MInTS (Multiscale InSAR Time Series). The wavelet decomposition efficiently deals with commonly seen spatial covariances in repeat-pass InSAR measurements, since the coefficients of the wavelets are essentially spatially uncorrelated. Our time-dependent parametrization is capable of capturing both recognized and unrecognized processes, and is not arbitrarily tied to the times of the SAR acquisitions. We estimate deformation in the wavelet-domain, using a cross-validated, regularized least squares inversion. We include a model-resolution-based regularization, in order to more heavily damp the model during periods of sparse SAR acquisitions, compared to during times of dense acquisitions. To illustrate the application of MInTS, we consider a catalog of 92 ERS and Envisat interferograms, spanning 16 years, in the Long Valley caldera, CA, region. MInTS analysis captures the ground deformation with high spatial density over the Long Valley region.
Experiment 1 : ABR Gap Thresholds and Gap Detection Thresholds Method

Lynne A. Werner Richard C. Folsom Lisa R. Mancl Connie L. Syapin University of Washington Seattle Gap detection is a commonly used measure of temporal resolution, although the mechanisms underlying gap detection are not well understood. To the extent that gap detection depends on processes within, or peripheral to, the auditory brainstem, one would predict that a measure of gap threshold based on the auditory brainstem response (ABR) would be similar to the psychophysical gap detection threshold. Three experiments were performed to examine the relationship between ABR gap threshold and gap detection. Thresholds for gaps in a broadband noise were measured in young adults with normal hearing, using both psychophysical techniques and electrophysiological techniques that use the ABR. The mean gap thresholds obtained with the two methods were very similar, although ABR gap thresholds tended to be lower than psychophysical gap thresholds. There was a modest correlation between psychophysical and ABR gap thresholds across participants. ABR and psychophysical thresholds for noise masked by temporally continuous, high-pass, or spectrally notched noise were measured in adults with normal hearing. Restricting the frequency range with masking led to poorer gap thresholds on both measures. High-pass maskers affected the ABR and psychophysical gap thresholds similarly. Notched-noise-masked ABR and psychophysical gap thresholds were very similar except that low-frequency, notched-noise-masked ABR gap threshold was much poorer at low levels. The ABR gap threshold was more sensitive to changes in signal-to-masker ratio than was the psychophysical gap detection threshold. ABR and psychophysical thresholds for gaps in broadband noise were measured in listeners with sensorineural hearing loss and in infants. On average, both ABR gap thresholds and psychophysical gap detection thresholds of listeners with hearing loss were worse than those of listeners with normal hearing, although individual differences were observed. Psychophysical gap detection thresholds of 3and 6-month-old infants were an order of magnitude worse than those of adults with normal hearing, as previously reported; however, ABR gap thresholds of 3-month-old infants were no different from those of adults with normal hearing. These results suggest that ABR gap thresholds and psychophysical gap detection depend on at least some of the same mechanisms within the auditory system.
Stably splitting BG

In the early nineteen eighties, Gunnar Carlsson proved the Segal conjecture on the stable cohomotopy of the classifying space BG of a finite group G. This led to an algebraic description of the ring of stable self-maps of BG as a suitable completion of the “double Burnside ring”. The problem of understanding the primitive idempotent decompositions of the identity in this ring is equivalent to understanding the stable splittings of BG into indecomposable spectra. This paper is a survey of the developments of the last ten to fifteen years in this subject. 1. The Segal conjecture The nineteen eighties saw a number of major breakthroughs in homotopy theory. Among the most spectacular are the proofs of the nilpotence conjecture by Devinatz, Hopkins and Smith [10], the Sullivan conjecture by Haynes Miller [24], and the Segal conjecture by Gunnar Carlsson [7]. Two of these three concern the role of finite groups in homotopy theory: the Sullivan conjecture is “unstable”, while the Segal conjecture is “stable” with respect to suspension. This report is about the consequences of the Segal conjecture for the stable splittings of the classifying space of a finite group. We begin by setting the scene. Around 1960, Atiyah [3] calculated the Ktheory of the classifying space of a finite group. There is a natural map from the character ring R(G) to K(BG) which sends a complex representation V to the corresponding vector bundle EG×GV → BG. Atiyah proved that this map induces an isomorphism
Topic initiator detection on the world wide web

In this paper we introduce a new Web mining and search technique - Topic Initiator Detection (TID) on the Web. Given a topic query on the Internet and the resulting collection of time-stamped web documents which contain the query keywords, the task of TID is to automatically return which web document (or its author) initiated the topic or was the first to discuss about the topic. To deal with the TID problem, we design a system framework and propose algorithm InitRank (Initiator Ranking) to rank the web documents by their possibility to be the topic initiator. We first extract features from the web documents and design several topic initiator indicators. Then, we propose a TCL graph which integrates the Time, Content and Link information and design an optimization framework over the graph to compute InitRank. Experiments show that compared with baseline methods, such as direct time sorting, well-known link based ranking algorithms PageRank and HITS, InitRank achieves the best overall performance with high effectiveness and robustness. In case studies, we successfully detected (1) the first web document related to a famous rumor of an Australia product banned in USA and (2) the pre-release of IBM and Google Cloud Computing collaboration before the official announcement.
Space-time duality in multiple antenna channels

The concept of information transmission in a multiple antenna channel with scattering objects is studied from first physical principles. The amount of information that can be transported by electromagnetic radiation is related to the space-wavenumber and the time-frequency spectra of the system composed by the transmitting antennas and the scattering objects, and to the spatial extension of the receiving domain. The spatial information content of the field is related to the number of relevant communication modes of the channel. It is shown that for narrow-band frequency transmission space and time can be decoupled, leading to a space-time information duality principle in the computation of the capacity of the radiating system. In contrast, in the case of wide-band frequency transmission, it is shown that time and space cannot be decoupled and they jointly characterize the wave's information content.