OpenRaiser/Intern-Atlas huggingface dataset:
Optimization of Fast-Decodable Full-Rate STBC with Non-Vanishing Determinants
Venue: arXiv cs.IT 2011
Year: 2011

Full-rate STBC (space-time block codes) with non-vanishing determinants achieve the optimal diversity-multiplexing tradeoff but incur high decoding complexity. To permit fast decoding, Sezginer, Sari and Biglieri proposed an STBC structure with special QR decomposition characteristics. In this paper, we adopt a simplified form of this fast-decodable code structure and present a new way to optimize the code analytically. We show that the signal constellation topology (such as QAM, APSK, or PSK) has a critical impact on the existence of non-vanishing determinants of the full-rate STBC. In particular, we show for the first time that, in order for APSK-STBC to achieve non-vanishing determinant, an APSK constellation topology with constellation points lying on square grid and ring radius $\sqrt{m^2+n^2} (m,n\emph{\emph{integers}})$ needs to be used. For signal constellations with vanishing determinants, we present a methodology to analytically optimize the full-rate STBC at specific constellation dimension.
Bounds on the Complexity of Halfspace Intersections when the Bounded Faces have Small Dimension
Venue: arXiv cs.CG 2011
Year: 2011

We study the combinatorial complexity of D-dimensional polyhedra defined as the intersection of n halfspaces, with the property that the highest dimension of any bounded face is much smaller than D. We show that, if d is the maximum dimension of a bounded face, then the number of vertices of the polyhedron is O(n^d) and the total number of bounded faces of the polyhedron is O(n^d^2). For inputs in general position the number of bounded faces is O(n^d). For any fixed d, we show how to compute the set of all vertices, how to determine the maximum dimension of a bounded face of the polyhedron, and how to compute the set of bounded faces in polynomial time, by solving a polynomial number of linear programs.
Prices of Anarchy, Information, and Cooperation in Differential Games
Venue: arXiv cs.SY 2011
Year: 2011

The price of anarchy (PoA) has been widely used in static games to quantify the loss of efficiency due to noncooperation. Here, we extend this concept to a general differential games framework. In addition, we introduce the price of information (PoI) to characterize comparative game performances under different information structures, as well as the price of cooperation to capture the extent of benefit or loss a player accrues as a result of altruistic behavior. We further characterize PoA and PoI for a class of scalar linear quadratic differential games under open-loop and closed-loop feedback information structures. We also obtain some explicit bounds on these indices in a large population regime.
Polynomial Weights or Generalized Geometric Weights: Yet Another Scheme for Assigning Credits to Multiple Authors
Venue: arXiv cs.DL 2011
Year: 2011

Devising a weight assignment policy for assigning credits to multiple authors of a manuscript is a challenging task. In this paper, we present a scheme for assigning credits to multiple authors that we call a polynomial weight assignment scheme. We compare our scheme with other schemes proposed in the literature.
A study of the existing linear algebra libraries that you can use from C++ (Une étude des bibliothèques d'algèbre linéaire utilisables en C++)
Venue: arXiv cs.MS 2011
Year: 2011

A study of the existing linear algebra libraries that you can use from C++
Guided Data Repair
Venue: arXiv cs.DB 2011
Year: 2011

In this paper we present GDR, a Guided Data Repair framework that incorporates user feedback in the cleaning process to enhance and accelerate existing automatic repair techniques while minimizing user involvement. GDR consults the user on the updates that are most likely to be beneficial in improving data quality. GDR also uses machine learning methods to identify and apply the correct updates directly to the database without the actual involvement of the user on these specific updates. To rank potential updates for consultation by the user, we first group these repairs and quantify the utility of each group using the decision-theory concept of value of information (VOI). We then apply active learning to order updates within a group based on their ability to improve the learned model. User feedback is used to repair the database and to adaptively refine the training set for the model. We empirically evaluate GDR on a real-world dataset and show significant improvement in data quality using our user guided repairing process. We also, assess the trade-off between the user efforts and the resulting data quality.
Linearity and Complements in Projective Space
Venue: arXiv cs.IT 2011
Year: 2011

The projective space of order $n$ over the finite field $\Fq$, denoted here as $\Ps$, is the set of all subspaces of the vector space $\Fqn$. The projective space can be endowed with distance function $d_S(X,Y) = \dim(X) + \dim(Y) - 2\dim(X\cap Y)$ which turns $\Ps$ into a metric space. With this, \emph{an $(n,M,d)$ code $\C$ in projective space} is a subset of $\Ps$ of size $M$ such that the distance between any two codewords (subspaces) is at least $d$. Koetter and Kschischang recently showed that codes in projective space are precisely what is needed for error-correction in networks: an $(n,M,d)$ code can correct $t$ packet errors and $ρ$ packet erasures introduced (adversarially) anywhere in the network as long as $2t + 2ρ< d$. This motivates new interest in such codes. In this paper, we examine the two fundamental concepts of \myemph{complements} and \myemph{linear codes} in the context of $\Ps$. These turn out to be considerably more involved than their classical counterparts. These concepts are examined from two different points of view, coding theory and lattice theory. Our discussion reveals some surprised phenomena of these concepts in $\Ps$ and leaves some interesting problems for further research.
A Longitudinal Study of Social Media Privacy Behavior
Venue: arXiv cs.SI 2011
Year: 2011

Existing constructs for privacy concerns and behaviors do not adequately model deviations between user attitudes and behaviors. Although a number of studies have examined supposed deviations from rationality by online users, true explanations for these behaviors may lie in factors not previously addressed in privacy concern constructs. In particular, privacy attitudes and behavioral changes over time have not been examined within the context of an empirical study. This paper presents the results of an Agile, sprint-based longitudinal study of Social Media users conducted over a two year period between April of 2009 and March of 2011. This study combined concepts drawn from Privacy Regulation Theory with the constructs of the Internet Users' Information and Privacy Concern model to create a series of online surveys that examined changes of Social Media privacy attitudes and self-reported behaviors over time. The main findings of this study are that, over a two year period between 2009 and 2011, respondents' privacy concerns and distrust of Social Media Sites increased significantly, while their disclosure of personal information and willingness to connect with new online friends decreased significantly. Further qualitative interviews of selected respondents identified these changes as emblematic of users developing ad-hoc risk mitigation strategies to address privacy threats.
Using Soft Computer Techniques on Smart Devices for Monitoring Chronic Diseases: the CHRONIOUS case
Venue: arXiv cs.AI 2011
Year: 2011

CHRONIOUS is an Open, Ubiquitous and Adaptive Chronic Disease Management Platform for Chronic Obstructive Pulmonary Disease(COPD) Chronic Kidney Disease (CKD) and Renal Insufficiency. It consists of several modules: an ontology based literature search engine, a rule based decision support system, remote sensors interacting with lifestyle interfaces (PDA, monitor touchscreen) and a machine learning module. All these modules interact each other to allow the monitoring of two types of chronic diseases and to help clinician in taking decision for cure purpose. This paper illustrates how some machine learning algorithms and a rule based decision support system can be used in smart devices, to monitor chronic patient. We will analyse how a set of machine learning algorithms can be used in smart devices to alert the clinician in case of a patient health condition worsening trend.
A Light Weight Protocol to Provide Location Privacy in Wireless Body Area networks
Venue: arXiv cs.CR 2011
Year: 2011

Location privacy is one of the major security problems in a Wireless Body Area Networks (WBANs). An eavesdropper can keep track of the place and time devices are communicating. To make things even worse, the attacker does not have to be physically close to the communicating devices, he can use a device with a stronger antenna. The unique hardware address of a mobile device can often be linked to the identity of the user operating the device. This represents a violation of the user's privacy. The user should decide when his/her location is revealed and when not. In this paper, we first categorize the type of eavesdroppers for WBANs, and then we propose a new scheme to provide the location privacy in Wireless Body Area Networks (WBANs).
Numerical solution of a fuzzy time-optimal control problem
Venue: arXiv cs.NA 2011
Year: 2011

In this paper, we consider a time-optimal control problem with uncertainties. Dynamics of controlled object is expressed by crisp linear system of differential equations with fuzzy initial and final states. We introduce a notion of fuzzy optimal time and reduce its calculation to two crisp optimal control problems. We examine the proposed approach on an example.
Replication Attack Mitigations for Static and Mobile WSN
Venue: arXiv cs.CR 2011
Year: 2011

Security is important for many sensor network applications. Wireless Sensor Networks (WSN) are often deployed in hostile environments as static or mobile, where an adversary can physically capture some of the nodes. once a node is captured, adversary collects all the credentials like keys and identity etc. the attacker can re-program it and replicate the node in order to eavesdrop the transmitted messages or compromise the functionality of the network. Identity theft leads to two types attack: clone and sybil. In particularly a harmful attack against sensor networks where one or more node(s) illegitimately claims an identity as replicas is known as the node replication attack. The replication attack can be exceedingly injurious to many important functions of the sensor network such as routing, resource allocation, misbehavior detection, etc. This paper analyzes the threat posed by the replication attack and several novel techniques to detect and defend against the replication attack, and analyzes their effectiveness in both static and mobile WSN.
A New Localized Network Based Routing Model in Computer and Communication networks
Venue: arXiv cs.NI 2011
Year: 2011

In view of the fact that routing algorithms are network layer entities and the varying performance of any routing algorithm depends on the underlying networks. Localized routing algorithms avoid the problems associated with the maintenance of global network state by using statistics of flow blocking probabilities. We developed a new network parameter that can be used to predict which network topology gives better performance on the quality of localized QoS routing algorithms. Using this parameter we explore a simple model that can be rewired to introduce increasing the performance. We find that this model have small characteristic path length. Simulations of random and complex networks used to show that the performance is significantly affected by the level of connectivity.
Identification of arabic word from bilingual text using character features
Venue: arXiv cs.AI 2011
Year: 2011

The identification of the language of the script is an important stage in the process of recognition of the writing. There are several works in this research area, which treat various languages. Most of the used methods are global or statistical. In this present paper, we study the possibility of using the features of scripts to identify the language. The identification of the language of the script by characteristics returns the identification in the case of multilingual documents less difficult. We present by this work, a study on the possibility of using the structural features to identify the Arabic language from an Arabic / Latin text.
Detect Related Bugs from Source Code Using Bug Information
Venue: arXiv cs.SE 2011
Year: 2011

Open source projects often maintain open bug repositories during development and maintenance, and the reporters often point out straightly or implicitly the reasons why bugs occur when they submit them. The comments about a bug are very valuable for developers to locate and fix the bug. Meanwhile, it is very common in large software for programmers to override or overload some methods according to the same logic. If one method causes a bug, it is obvious that other overridden or overloaded methods maybe cause related or similar bugs. In this paper, we propose and implement a tool Rebug- Detector, which detects related bugs using bug information and code features. Firstly, it extracts bug features from bug information in bug repositories; secondly, it locates bug methods from source code, and then extracts code features of bug methods; thirdly, it calculates similarities between each overridden or overloaded method and bug methods; lastly, it determines which method maybe causes potential related or similar bugs. We evaluate Rebug-Detector on an open source project: Apache Lucene-Java. Our tool totally detects 61 related bugs, including 21 real bugs and 10 suspected bugs, and it costs us about 15.5 minutes. The results show that bug features and code features extracted by our tool are useful to find real bugs in existing projects.
Buffers Improve the Performance of Relay Selection
Venue: arXiv cs.IT 2011
Year: 2011

We show that the performance of relay selection can be improved by employing relays with buffers. Under the idealized assumption that no buffer is full or empty, the best source-relay and the best relay-destination channels can be simultaneously exploited by selecting the corresponding relays for reception and transmission, respectively. The resulting relay selection scheme is referred to as max-max relay selection (MMRS). Since for finite buffer sizes, empty and full buffers are practically unavoidable if MMRS is employed, we propose a hybrid relay selection (HRS) scheme, which is a combination of conventional best relay selection (BRS) and MMRS. We analyze the outage probabilities of MMRS and HRS and show that both schemes achieve the same diversity gain as conventional BRS and a superior coding gain. Furthermore, our results show that for moderate buffer sizes (e.g. 30 packets) HRS closely approaches the performance of idealized MMRS and the performance gain compared to BRS approaches 3 dB as the number of relays increases.
Constraint satisfaction problems in clausal form
Venue: arXiv cs.DM 2011
Year: 2011

This is the report-version of a mini-series of two articles on the foundations of satisfiability of conjunctive normal forms with non-boolean variables, to appear in Fundamenta Informaticae, 2011. These two parts are here bundled in one report, each part yielding a chapter. Generalised conjunctive normal forms are considered, allowing literals of the form "variable not-equal value". The first part sets the foundations for the theory of autarkies, with emphasise on matching autarkies. Main results concern various polynomial time results in dependency on the deficiency. The second part considers translations to boolean clause-sets and irredundancy as well as minimal unsatisfiability. Main results concern classification of minimally unsatisfiable clause-sets and the relations to the hermitian rank of graphs. Both parts contain also discussions of many open problems.
Optimal channel allocation with dynamic power control in cellular networks
Venue: arXiv cs.NI 2011
Year: 2011

Techniques for channel allocation in cellular networks have been an area of intense research interest for many years. An efficient channel allocation scheme can significantly reduce call-blocking and calldropping probabilities. Another important issue is to effectively manage the power requirements for communication. An efficient power control strategy leads to reduced power consumption and improved signal quality. In this paper, we present a novel integer linear program (ILP) formulation that jointly optimizes channel allocation and power control for incoming calls, based on the carrier-to-interference ratio (CIR). In our approach we use a hybrid channel assignment scheme, where an incoming call is admitted only if a suitable channel is found such that the CIR of all ongoing calls on that channel, as well as that of the new call, will be above a specified value. Our formulation also guarantees that the overall power requirement for the selected channel will be minimized as much as possible and that no ongoing calls will be dropped as a result of admitting the new call. We have run simulations on a benchmark 49 cell environment with 70 channels to investigate the effect of different parameters such as the desired CIR. The results indicate that our approach leads to significant improvements over existing techniques.
Improved QPP Interleavers for LTE Standard
Venue: arXiv cs.IT 2011
Year: 2011

This paper proposes and proves a theorem which stipulates sufficient conditions the coefficients of two quadratic permutation polynomials (QPP) must satisfy, so that the permutations generated by them are identical. The result is used to reduce the search time of QPP interleavers with lengths given by Long Term Evolution (LTE) standard up to 512, by improving the distance spectrum over the set of polynomials with the largest spreading factor. Polynomials that lead to better performance compared to LTE standard are found for several lengths. Simulations show that 0.5 dB coding gains can be obtained compared to LTE standard.
Relaxed Belief Propagation for MIMO Detection
Venue: arXiv cs.IT 2011
Year: 2011

In this paper, relaxed belief propagation (RBP) based detectors are proposed for multiple-input multiple-out (MIMO) system. The factor graph is leveraged to represent the MIMO channels, and based on which our algorithms are developed. Unlike the existing complicated standard belief propagation (SBP) detector that considers all the edges of the factor graph when updating messages, the proposed RBP focuses on partial edges, which largely reduces computational complexity. In particular, relax degree is introduced in to determine how many edges to be selected, whereby RBP is a generalized edge selection based BP method and SBP is a special case of RBP having the smallest relax degree. Moreover, we propose a novel Gaussian approximation with feedback information mechanism to enable the proposed RBP detector. In order to further improve the detection performance, we also propose to cascade a minimum mean square error (MMSE) detector before the RBP detector, from which pseudo priori information is judiciously exploited. Convergence and complexity analyses, along with the numerical simulation results, verify that the proposed RBP outperform other BP methods having the similar complexity, and the MMSE cascaded RBP even outperform SBP at the largest relax degree in large MIMO systems.
Stage Staffing Scheme for Copyright Protection in Multimedia
Venue: arXiv cs.MM 2011
Year: 2011

Copyright protection has become a need in today's world. To achieve a secure copyright protection we embedded some information in images and videos and that image or video is called copyright protected. The embedded information can't be detected by human eye but some attacks and operations can tamper that information to breach protection. So in order to find a secure technique of copyright protection, we have analyzed image processing techniques i.e. Spatial Domain (Least Significant Bit (LSB)), Transform Domain (Discrete Cosine Transform (DCT)), Discrete Wavelet Transform (DWT) and there are numerous algorithm for watermarking using them. After having a good understanding of the same we have proposed a novel algorithm named as Stage Staffing Algorithm that generates results with high effectiveness, additionally we can use self extracted-watermark technique to increase the security and automate the process of watermark image. The proposed algorithm provides protection in three stages. We have implemented the algorithm and results of the simulations are shown. The various factors affecting spatial domain watermarking are also discussed.
Course on System Design (structural approach)
Venue: arXiv cs.SE 2011
Year: 2011

The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problems (structural system modeling, modular design, evaluation/comparison, revelation of bottlenecks, improvement/upgrade, multistage design, modeling of system evolution); solving methods (optimization, combinatorial optimization, multicriteria decision making); design frameworks; and applications. The course contains lectures and a set of special laboratory works. The laboratory works consist in designing and implementing a set of programs to solve multicriteria problems (ranking/selection, multiple choice problem, clustering, assignment). The programs above are used to solve some standard problems (e.g., hierarchical design of a student plan, design of a marketing strategy). Concurrently, each student can examine a unique applied problem from his/her applied domain(s) (e.g., telemetric system, GSM network, integrated security system, testing of microprocessor systems, wireless sensor, corporative communication network, network topology). Mainly, the course is targeted to developing the student skills in modular analysis and design of various multidisciplinary composite systems (e.g., software, electronic devices, information, computers, communications). The course was implemented in Moscow Institute of Physics and Technology (State University).