Use Data-depend Function Build Message Expansion Function

We had found functions can be used to fix bits [2] by given differences. We use these functions build a message expansion function. In the message expansion function, there are some bits include message bits and incremental bits produced from message bits, these bits will be used as parameter of date-depend function. This message expansion function will fixed at lease n × 5.5 bits with given differences, and any message modification will affect at least 8 data-depend function parameter

MELT - a Translated Domain Specific Language Embedded in the GCC Compiler

The GCC free compiler is a very large software, compiling source in several languages for many targets on various systems. It can be extended by plugins, which may take advantage of its power to provide extra specific functionality (warnings, optimizations, source refactoring or navigation) by processing various GCC internal representations (Gimple, Tree, ...). Writing plugins in C is a complex and time-consuming task, but customizing GCC by using an existing scripting language inside is impractical. We describe MELT, a specific Lisp-like DSL which fits well into existing GCC technology and offers high-level features (functional, object or reflexive programming, pattern matching). MELT is translated to C fitted for GCC internals and provides various features to facilitate this. This work shows that even huge, legacy, software can be a posteriori extended by specifically tailored and translated high-level DSLs.Comment: In Proceedings DSL 2011, arXiv:1109.032

A Test Bed for Evaluating the Performance of IoT Networks

The use of smaller, personal IoT networks has increased over the past several years. These devices demand a lot of resources but only have limited access. To establish and sustain a flexible network connection, 6LoWPAN with RPL protocol is commonly used. While RPL provides a low-cost solution for connection, it lacks load balancing mechanisms. Improvements in OF load balancing can be implemented to strengthen network stability. This paper proposes a test bed configuration to show the toll of frequent parent switching on 6LoWPAN. Contiki’s RPL 6LoWPAN software runs on STM32 Nucleo microcontrollers with expansion boards for this test bed. The configuration tests frequency of parent changes and packet loss to demonstrate network instability of different RPL OFs. Tests on MRHOF for RPL were executed to confirm the working configuration. Results, with troubleshooting and improvements, show a working bed. The laid-out configuration provides a means for testing network stability in IoT networks

On Bell's theorem, quantum communication, and entanglement detection

(A) Bell's theorem rests on a conjunction of three assumptions: realism, locality and ``free will''. A discussion of these assumptions will be presented. It will be also shown that, if one adds to the assumptions the principle or rotational symmetry of physical laws, a stronger version of the theorem emerges. (B) A link between Bell's theorem and communication complexity problems will be presented. This also includes experimental realizations, which surprisingly do not involve entanglement. (C) A new sufficient and necessary criterion for entanglement of general (mixed) states is be presented. It is derived using the same geometric starting point as the inclusion of the symmetry in (A). The set of entanglement identifiers (EI's) emerging via this method contains entanglement witnesses (EW's), but they form only a subset of all EI's. Thus the method is more powerful than the one based on EW's.Comment: 10 pages, for proceedings of Foundations of Probability and Physics-5 at Vaxjo University, Swedish Southeast Academy August 24-27, 200

Robust, data-driven inference in non-linear cosmostatistics

We discuss two projects in non-linear cosmostatistics applicable to very large surveys of galaxies. The first is a Bayesian reconstruction of galaxy redshifts and their number density distribution from approximate, photometric redshift data. The second focuses on cosmic voids and uses them to construct cosmic spheres that allow reconstructing the expansion history of the Universe using the Alcock-Paczynski test. In both cases we find that non-linearities enable the methods or enhance the results: non-linear gravitational evolution creates voids and our photo-z reconstruction works best in the highest density (and hence most non-linear) portions of our simulations.Comment: 14 pages, 10 figures. Talk given at "Statistical Challenges in Modern Astronomy V," held at Penn Stat