Miracle-dz/UniFAR-FTUs huggingface dataset:
Decentralized low-rank matrix completion

This paper introduces algorithms for the decentralized low-rank matrix completion problem. Assume a low-rank matrix W = [W<sub>1</sub>,W<sub>2</sub>, . ,W<sub>L</sub>]. In a network, each agent ℓ observes some entries of W<sub>ℓ</sub>. In order to recover the unobserved entries of W via decentralized computation, we factorize the unknown matrix W as the product of a public matrix X, common to all agents, and a private matrix Y = [Y<sub>1</sub>,Y<sub>2</sub>, . ,Y<sub>L</sub>], where Y<sub>ℓ</sub> is held by agent ℓ. Each agent ℓ alternatively updates Y<sub>ℓ</sub> and its local estimate of X while communicating with its neighbors toward a consensus on the estimate. Once this consensus is (nearly) reached throughout the network, each agent ℓ recovers W<sub>ℓ</sub> = XY<sub>ℓ</sub>, and thus W is recovered. The communication cost is scalable to the number of agents, and W<sub>ℓ</sub> and Y<sub>ℓ</sub> are kept private to agent ℓ to a certain extent. The algorithm is accelerated by extrapolation and compares favorably to the centralized code in terms of recovery quality and robustness to rank over-estimate.
Media-Based MIMO: A New Frontier in Wireless Communications

The idea of Media-based Modulation (MBM), is based on embedding information in the variations of the transmission media (channel state). This is in contrast to legacy wireless systems where data is embedded in a Radio Frequency (RF) source prior to the transmit antenna. MBM offers several advantages vs. legacy systems, including "additivity of information over multiple receive antennas", and "inherent diversity over a static fading channel". MBM is particularly suitable for transmitting high data rates using a single transmit and multiple receive antennas (Single Input-Multiple Output Media-Based Modulation, or SIMO-MBM). However, complexity issues limit the amount of data that can be embedded in the channel state using a single transmit unit. To address this shortcoming, the current article introduces the idea of Layered Multiple Input-Multiple Output Media-Based Modulation (LMIMO-MBM). Relying on a layered structure, LMIMO-MBM can significantly reduce both hardware and algorithmic complexities, as well as the training overhead, vs. SIMO-MBM. Simulation results show excellent performance in terms of Symbol Error Rate (SER) vs. Signal-to-Noise Ratio (SNR). For example, a $4\times 16$ LMIMO-MBM is capable of transmitting $32$ bits of information per (complex) channel-use, with SER $ \simeq 10^{-5}$ at $E_b/N_0\simeq -3.5$dB (or SER $ \simeq 10^{-4}$ at $E_b/N_0=-4.5$dB). This performance is achieved using a single transmission and without adding any redundancy for Forward-Error-Correction (FEC). This means, in addition to its excellent SER vs. energy/rate performance, MBM relaxes the need for complex FEC structures, and thereby minimizes the transmission delay. Overall, LMIMO-MBM provides a promising alternative to MIMO and Massive MIMO for the realization of 5G wireless networks.
Neural repetition suppression: evidence for perceptual expectation in object-selective regions

It is an established finding that neuronal activity is decreased for repeated stimuli. Recent studies revealed that repetition suppression (RS) effects are altered by manipulating the probability with which stimuli are repeated. RS for faces is more pronounced when the probability of repetition is high than when it is low. This response pattern is interpreted with reference to the predictive coding (PC) account, which assumes that RS is influenced by top-down expectations. Recent findings challenge the generality of PC accounts of RS by showing repetition probability does not modulate RS for other visual stimuli than faces. However, a number of findings on visual processing are in line with PC. Thus, the influence of repetition probability on RS effects during object processing requires careful reinvestigations. In the present fMRI study, object pictures were presented in a high (75%) or low (25%) repetition probability context. We found increased RS in the high-probability context compared to the low-probability context in the left lateral occipital complex (LOC). The dorsal-caudal and the ventral-anterior subdivisions of the LOC revealed similar neuronal responses. These results indicate that repetition probability effects can be found for other visual objects than faces and provide evidence in favor of the PC account.
Do Consumers Respond to Marginal or Average Price? Evidence from Nonlinear Electricity Pricing

Nonlinear pricing and taxation complicate economic decisions by creating multiple marginal prices for the same good. This paper provides a framework to uncover consumers' perceived price of nonlinear price schedules. I exploit price variation at spatial discontinuities in electricity service areas, where households in the same city experience substantially different nonlinear pricing. Using household-level panel data from administrative records, I find strong evidence that consumers respond to average price rather than marginal or expected marginal price. This sub-optimizing behavior makes nonlinear pricing unsuccessful in achieving its policy goal of energy conservation and critically changes the welfare implications of nonlinear pricing.
Cross-Intersecting Families of Partial Permutations

For positive integers $r$ and $n$ with $r\leq n$, let $\mathcal{P}_{n,r}$ be the family of all sets $\{(x_1,y_1),\dots,(x_r,y_r)\}$ such that $x_1,\dots,x_r$ are distinct elements of $[n]:=\{1,\dots,n\}$ and $y_1,\dots,y_r$ are also distinct elements of $[n]$. $\mathcal{P}_{n,n}$ describes permutations of $[n]$. For $r<n$, $\mathcal{P}_{n,r}$ describes $r$-partial permutations of $[n]$. Families $\mathcal{A}_1,\dots,\mathcal{A}_k$ of sets are said to be cross-intersecting if, for any distinct $i$ and $j$ in $[k]$, any set in $\mathcal{A}_i$ intersects any set in $\mathcal{A}_j$. A sharp bound for the sum of sizes of cross-intersecting subfamilies of $\mathcal{P}_{n,n}$ has recently been established by the author. We generalize this bound by showing that, if $\mathcal{A}_1,\dots,\mathcal{A}_k$ are cross-intersecting subfamilies of $\mathcal{P}_{n,r}$, then (i) $\sum_{i=1}^k|\mathcal{A}_i|\leq{n\choose r}\frac{n! }{(n-r)! }$ if $k\leq\frac{n^2}{r}$ and (ii) $\sum_{i=1}^k|\mathcal{A}_i|\leq k{n-1\choose r-1}\frac{(n-1)! }{(n-r)! }$ if $k\geq\frac{n^2}{r}$. We also determine the structures for which the bound is attained when $r<n$. Our main tool is an extension of Katona's cyclic permutation method.
Online Scheduling for Resource Allocation of Differentiated Services : Optimal Settings and Sensitivity Analysis

In this paper we investigate in detail the properties of a dynamic resource allocation scheme that utilizes online measurements to optimally adjust scheduling weights and to achieve the required QoS, under a given pricing structure. Extending our previous work, we consider here an additional important QoS parameter, namely, the average queueing delay, in order to provision favorable QoS guarantees for all classes of traffic, especially the delay-sensitive one. The objective of this paper is to formally investigate optimal settings that guarantee an improved QoS performance, and develop fundamental insights based on a detailed, case-by-case mathematic model that takes into account all the relevant QoS parameter constraints.
Organ-specific autoimmune diseases induced in mice by elimination of T cell subset. I. Evidence for the active participation of T cells in natural self-tolerance; deficit of a T cell subset as a possible cause of autoimmune disease

Organ-specific autoimmune diseases such as oophoritis, gastritis, thyroiditis, and orchitis were induced in female or male nude (nu/nu) mice by the transfer of nu/+spleen cells from which particular Lyt T cell subset(s) had been removed: nu/+spleen cells treated with anti-Lyt- 1 plus complement (C) caused disease in recipient nude mice; anti-Lyt-2 plus C-treated spleen cells, in contrast, did not. The cells responsible for disease induction are believed to be Thy-1+, Lyt-1-, 2,3- (Thy-1, Lyt-1, 2,3), since spleen cells treated with mixed antisera, including anti-Lyt-1 and anti-Lyt-2, plus C, could induce the disease with almost the same incidence as anti-Lyt-1 plus C-treated cells (oophoritis 50%, gastritis 25%, thyroiditis 10-20%, and orchitis 40%). Cells treated with mixed antisera of anti-Thy-1, anti-Lyt-1, and anti-Lyt-2, plus C, could not induce autoimmune disease. Each induced autoimmune disease could be adoptively transferred to other nude mice via spleen cells, with resulting histological lesion of corresponding organs and development of specific circulating autoantibodies. Since anti-Thy-1 plus C treatment of donor spleen cells abrogated the capacity to transfer the disease, we conclude that T cells are required as effector cells, and that these may develop from Lyt-1-, 2,3- cells. Lyt-1+, 2,3- cells were demonstrated to have suppressive activity upon the development of the diseases; induction of autoimmunity was completely inhibited by the cotransfer of Lyt-1+, 2,3- cells with Lyt-1- , 2,3- cells. When anti-Lyt-2 plus C-treated cells (i.e., Lyt-1+, 2,3- and Lyt-1-, 2,3- cells) were mixed with anti-Lyt-1 and anti-Lyt-2 plus C-treated cells (i.e., Lyt-1-, 2,3- cells) in various ratios, then transferred to nude mice, the development of each autoimmune disease was clearly inhibited, even by small doses of Lyt-1+, 2,3- cells. The autoimmune disease we were able to induce was quite similar to human organ-specific autoimmune disease in terms of the spectrum of organs involved, histopathological features, and the development of autoantibodies to corresponding organ components (oocytes, parietal cells, thyroid colloid, including thyroglobulin, and sperm). (ABSTRACT TRUNCATED AT 400 WORDS)
Cartoon-Style Rendering of Motion from Video

The contribution of this paper is a novel non-photorealistic rendering (NPR) system capable of rendering motion within a video sequence in artistic styles. A variety of cartoon-style motion cues may be inserted into a video sequence, including augmentation cues (such as streak lines, ghosting, or blurring) and deformation cues (such as squash and stretch or drag effects). Users may select from the gamut of available styles by setting parameters
TMT: Object-Oriented Text Classification Library

The purpose of the TMT (Text Mining Tools) library is to enable the use of modern text-mining techniques for natural languages on cross-platform environments that can be applied equally well to research and development of end-user text-mining applications. The paper is structured as follows. Section 2 discusses the related work. Section 3 describes the functionalities of the library, whereas Section 4 describes its usage. Section 5 concludes the paper.
Continual Improvement with Integrated Management System

Management Systems are powerful tools for businesses to manage quality , environmental and occupational health and safety requirements . where once these systems were considered as stand alone control mechanisms , industry is now opting to increase the efficiency of these documented systems through a more integrated approach . System integration offers a significant step forward, where there are similarities between system components , reducing duplication and adminstration costs and increasing efficiency . At first , this paper reviews integrated management system structure and its benefits. The second part of this paper focuses on the one example implementation of such a system at Imam Khomeini Hospital and in final part of the paper will be discuss outcomes of that proccess .
PEST : Programs to Evaluate Software Testing Tools and Techniques

PEST is a collection of reference materials for the empirical evaluation and comparison of software testing techniques. Often the publication of a new testing technique or strategy includes a theoretical analysis and an ad hoc empirical evaluation. Because each researcher usually uses a different set of programs for an empirical evaluation, there is little basis for comparison between different techniques. The project objective is to develop and make available to software testing researchers and tool vendors a set of reference materials for the empirical evaluation and comparison of software testing techniques. This set of reference materials includes a diverse suite of program modules that can be the subject of a testing technique, testing support tools and examples of using PEST. Each module contains a program specification, a correct implementation in C that can be used as an oracle and several faulty C implementations, each seeded with a single fault from a commonly available fault taxonomy. The programs are designed such that a common test harness can be used to execute each faulty variant over test data for comparison against the oracle. This allows for the computation of metrics to compare the relative effectiveness of test data generated by different techniques.
Electromigration in Flip-chip solder joints

With the portable devices becoming smaller and more compact in size, flip-chip technology has been adopted for fine-pitch packaging in microelectronics industry. Area array of tiny solder joints can be fabricated on Si chips to achieve high-density packaging. In addition, as the required performance continues to increase, the input/output (I/O) pin count of flip-chip products has dramatically increased and the current that each bump needs to carry continues to increase, resulting in higher current density flowing in each solder bump. Therefore, electromigration (EM) has become an important reliability issue in solder joints. It has been reported that serious current crowding and Joule heating are responsible for the failure mechanism. In this talk, role of current crowding and Joule heating on void formation and propagation will be presented. Furthermore, the methods for relieving current crowding and Joule heating will be discussed to prolong electromigration lifetime
The Prospects for Multi-Cloud Deployment of SaaS Applications with Container Orchestration Platforms

Recent years have seen an increased adoption of container technology for software deployment and lightweight virtualization. More recently, container orchestration systems provide a platform for container deployment and management of cluster resources. Software-as-a-Service (SaaS) providers traditionally make use of middleware to facilitate multi-tenancy in a federated cloud. Container orchestration presents many opportunities in achieving scalability and providing cost-efficient multi-tenancy. In this paper, we outline opportunities and challenges for multi-cloud deployment of containerized SaaS applications.
On the Compositionality and Analysis of Algebraic High-level Nets on the Compositionality and Analysis of Algebraic High-level Nets

This work discusses three aspects of net theory: compositionality of nets, analysis of nets and high-level nets. Net theory has often been criticised for the diiculty of giving a compositional semantics to a net. In this work we discuss this problem form a category theoretic point of view. In category theory compositionality is represented by colimits. We show how a high-level net can be mapped into a low-level net that represents its behaviour. This construction is functorial and preserves colimits, giving a compositional semantics for these high-level nets. Using this semantics we propose some proof rules for compositional reasoning with high-level nets. Linear logic is a recently discovered logic that has many interesting properties. From a net theoretic point of view its interest lies in the fact that it is able to express resources in an analogous manner to nets. Several interpretations of Petri nets in terms of linear logic exist. In this work we study a model theoretic interpretation where the behaviour of the net gives a model of linear logic. This construction is extended to cover the algebraic high-level nets deened in this work.
Creation and Analysis of a Reading Comprehension Exercise Corpus : Towards Evaluating Meaning in Context

We discuss the collection and analysis of a cross-sectional and longitudinal learner corpus consisting of answers to reading comprehension questions written by adult second language learners of German. We motivate the need for such task-based learner corpora and identify the properties which make reading comprehension exercises a particularly interesting task. In terms of the creation of the corpus, we introduce the web-based WELCOME tool we developed to support the decentralized data collection and annotation of the richly structured corpus in real-life language teaching programs. On the analysis side, we investigate the binary and the complex content-assessment classification scheme used by the annotators and the inter-annotator agreement obtained for the current corpus snapshot, at the halfway point of our four-year effort. We present results showing that for such task-based corpora, meaning assessment can be performed with reasonable agreement and we discuss several sources of disagreement.
Simultaneous EUV flare variation minimization and CMP control with coupling-aware dummification

EUV flare and CMP metal thickness are two main manufacturability concerns for nanometer process technology. The two dummification objectives, however, are conflicting with each other in nature, but existing works only tackle them separately, leading to problem-prone solutions because optimizing one would deteriorate the other. This paper presents the first work that simultaneously considers both concerns during manufacturability optimization. Given a system's point spread function, our proposed method first finds an initial solution with better-than-state-of-the-art EUV flare uniformity, then followed by gradient-guided optimization to iteratively refine density uniformity. Experimental results show the effectiveness of our method.
Parathyroid hormone receptor in intact embryonic chicken bone: characterization and cellular localization

The specific localization and the characterization of the parathyroid hormone (PTH) receptor in bone have been studied using 18-d embryonic chick calvariae and biologically active, electrolytically labeled [125I] bovine PTH(1-34). Binding was initiated by adding [125I]-bPTH(1- 34) to bisected calvariae at 30 degrees C. Steady state binding was achieved at 90 min at which time 10 mg drg wt of calvaria specifically bound 17% of the added [125I]bPTH(1-34). Nonspecific binding in the presence of 244 nM unlabeled bPTH(1-34) was less than 2%. Insulin, glucagon, and calcitonin (1 microgram/ml) did not compete for PTH binding sites. Half-maximal inhibition of binding was achieved at concentrations of unlabeled bPTH(1-34) or bPTH(1-84) of about 10 nM. The range of concentration (2-100 nM) over which bPTH(1-34) and bPTH(1- 84) stimulated cyclic 3'5'adenosine monophosphate (cAMP) production was similar to that which inhibited the binding of [125I]bPTH(1-34). Light microscope autoradiograms showed that grains were concentrated over cells (osteoblasts and progenitor cells) at the external surface of the calvariae and in trabeculae. In the presence of excess unlabeled PTH, labeling of control autoradiograms was reduced to near background levels. No labeling of osteocytes or osteoclasts was observed. At the electron microscopic level, grains were localized primarily over cell membranes. A quantitative analysis of grain distribution suggested that cellular internalization of PTH occurred.
A clickstream-based web page significance ranking metric for Web crawlers

The unpredictable fast growing dimension of the World Wide Web and its non-static nature causes considerable obstacles for Web crawlers including the presence of some incorrect and irrelevant answers among search results set and the scaling issues. Hence, solutions that are more promising are in demand to provide more accurate search outcomes. Because implementing existed Web page importance metrics either link based or context based within a parallel crawler can not be an absolute solution for the coverage of authorized fresh Web content and the accuracy concerns, so employing these metrics is not the final approach within search engines' architecture. This paper proposes an analysis on clickstream data in order to discover the popularity of Web pages in crawl frontier through proposing the metric itself and presenting the experimental results on ranking the UTM Web pages based on the proposed discussed metric.
N-k-e Survivable Power System Design

We consider the problem of designing (or augmenting) an electric power system such that it satisfies the N-k-e survivability criterion while minimizing total cost. The survivability criterion requires that at least (1-e) fraction of the total demand can still be met even if any k (or fewer) of the system components fail. We formulate this problem, taking into account both transmission and generation expansion planning, as a mixed-integer program. Two algorithms are designed and tested on modified instances from the IEEE-30-Bus and IEEE- 57-Bus systems.
An approach to model and query event-based temporal data

Temporal database systems support all functions related to the management of large amounts of constantly changing data. However, current temporal database systems support a flat view of the history of data changes, in that all the changes are considered equally relevant and are, therefore, all stored in the database. However, many applications, such as monitoring and planning applications, call for more flexibility. Monitoring applications, in particular, may require that the history of a data item is stored only whenever a certain event occurs. For other applications, the history of data changes may be less important than the event causing the changes. In this paper, we propose an event-based temporal object model which allows us to keep track of selected values within the history of a data object attribute. The portions within the history of a data object which are actually stored in the database are identified by relating them to events. In the paper, besides defining the data model, we investigate the problem of querying a database with incomplete temporal information.
An improved hidden Markov model for transmembrane topology prediction

In this work, we present a hidden Markov model for predicting the topology of transmembrane proteins. Our model differs from TMHMM (Sonnhammer et al) both in the architecture of the loop submodels on both sides of the membrane and in the model training procedure. Using maximum likelihood parameter estimation with significant regularization, the model was trained and cross-validated on two sets of sequences with known topology. On the first set of 83 sequences, the prediction accuracy of our model for membrane domain locations and topology are both 89% while TMHMM reported 83% for domain locations and 77% for topology. On the second dataset of 160 sequences, our prediction accuracies are 89% for locations and 84% for topology: both surpassing significantly those of TMHMM (83% and 77%).
EEG signal separation for multi-class motor imagery using common spatial patterns based on Joint Approximate Diagonalization

The design of multiclass BCI is a very challenging task because of the need to extract complex spatial and temporal patterns from noisy multidimensional time series generated from EEG measurements. This paper proposes a Multiclass Common Spatial Pattern (MCSP) based on Joint Approximate Diagonalization (JAD) for multiclass BCIs. The proposed method based on fast Frobenius diagonalization (FFDIAG) is compared with another method based on Jacobi angles on the BCI competition IV dataset 2a. The classification accuracies obtained from 10×10-fold cross-validations on the training dataset are compared using K-Nearest Neighbor, Classification Trees and Support Vector Machine classifiers. The proposed MCSP based on FFDIAG yields an averaged accuracy of 53.6% compared to 32.8% given by the method based on Jacobi angles and 27.8% of the one versus rest CSP methods.