Locating bugs is challenging but one of the most important activities in software development and maintenance phase because there are no certain rules to identify all types of bugs. Existing automatic bug localization tools use various heuristics based on test coverage, pre-determined buggy patterns, or textual similarity with bug report, to rank suspicious program elements. However, since thes...

We study the communication cost of collecting correlated data at a sink over a network. This is motivated by the correlated data gathering in sensor networks and the internet. In many energy-constrained wireless sensor networks, nodes cooperatively forward correlated sensed data to data sinks. For the internet case, huge amount of correlated network traces need to be collected for management pu...

Entropy is a general concept that appears in different settings with different meanings. Thus, it measures disorder in physics, uncertainty in information theory, minimum code length in coding theory, (pseudo-)randomness in measure-preserving dynamical systems, complexity in topological dynamics, and algorithmic complexity in computer science. As for its importance, let us remind that it enters...

In this work we demonstrate various weaknesses of the random number generator (RNG) in the OpenSSL cryptographic library. We show how OpenSSL’s RNG, knowingly in a low entropy state, potentially leaks low entropy secrets in its output, which were never intentionally fed to the RNG by client code, thus posing vulnerabilities even when in the given usage scenario the low entropy state is respecte...

We carry out a comparison between observations and hydrodynamic simulations of entropy profiles of groups and clusters of galaxies. We use the Tree+SPH GADGET code to simulate four halos of sizes in the M500 = 1.0 − 16 × 10 13 h −1 M⊙ range, corresponding to poor groups up to Virgo-like clusters. We concentrate on the effect of introducing radiative cooling, star formation, and a variety of non...

A number of new functionalities have been added to the Alloy Theoretic Automated Toolkit (ATAT) since it was last reviewed in this journal in 2002. ATAT can now handle multicomponent multisublattice alloy systems, nonconfigurational sources of entropy (e.g. vibrational and electronic entropy), Special Quasirandom Structures (SQS) generation, tensorial cluster expansion construction and includes...

In this paper we present an unsupervised neural network which exhibits competition between units via inhibitory feedback. The operation is such as to minimize reconstruction error, both for individual patterns, and over the entire training set. A key difference from networks which perform principal components analysis, or one of its variants, is the ability to converge to non-orthogonal weight ...

The variable length code design of a complete quadtree-based video codec is addressed, in which we jointly optimize the entropy-coding for the parameters of motion-compensated prediction together with the residual coding. The quadtree coding scheme selected for this optimization allows easy access to the rate-distortion costs, thus making it possible to perform rate-distortion optimized bit all...

We first present a useful characterization of additive (stabilizer) quantum error– correcting codes. Then we present several examples of nonadditive codes. We show that there exist infinitely many non-trivial nonadditive codes with different minimum distances, and high rates. In fact, we show that nonadditive codes that correct t errors can reach the asymptotic rate R = 1− 2H2(2t/n), where H2(x...