Electronic voting machines have the potential to make the election process more efficient, but concerns over their reliability and security could undermine confidence in election results. The most effective way of verifying election results is by auditing physical copies of the ballots that have been verified by the voter. Since manually viewing every ballot is unrealistic, a variety of algorit...

This paper addresses the modular design of an underwater biomimetic vehicle-manipulator systems (UBVMS) propelled by undulatory fins. Motivated by the cuttlefish, which can perform flexible motions by undulatory propulsion in narrow spaces, our UBVMS with two undulatory fins is designed. The specific implementation of mechanical structure is detailed. In particular, the design philosophy of mod...

We present an extensive breakdown of the auction design space that captures the essential similarities and differences of many auction mechanisms in a format more descriptive and useful than simple taxonomies. This parametrization serves as an organizational framework in which to classify work within the field, and uncoversparameter combinations corresponding to novel mechanisms. The structured...

Robots are needed to perform important field tasks such as hazardous material clean-up, nuclear site inspection, and space exploration. Unfortunately their use is not widespread due to their long development times and high costs. To make them practical, a modular design approach is proposed. Prefabricated modules are rapidly assembled to give a low-cost system for a specific task. This paper de...

We present a framework and a methodology to build and analyse automatic provers using the ’Descente Infinie’ induction principle. A stronger connection between different proof techniques like those based on implicit induction and saturation is established by uniformly and explicitly representing them as applications of this principle. The framework offers a clear separation between logic and co...

We have studied modular self-reconfigurable robots that are capable of changing their overall shape and functionality by automatic recombination of homogenous robotic modules. Our latest model, called Modular Transformer (M-TRAN), is able to metamorphose into various 3-D configurations and generate robotic motions that are suitable to its configuration. This paper presents a review of hardware ...

Systems concerned with information hiding often use randomization to obfuscate the link between the observables and the information to be protected. The degree of protection provided by a system can be expressed in terms of the probability of error associated to the inference of the secret information. We consider a probabilistic process calculus to specify such systems, and we study how the op...

The purpose of this paper is to show the way of automatic building construction using specially designed modules. The modules are not only building blocks of the structure, but have function of automatic assemble controlled by a robot, which is also specially designed for handling the module. The shape of module is suitable for easy alignment, and automatic connection mechanism is equipped for ...

We present the RPI-MATLAB-Simulator (RPIsim) as an open source tool for research and education in multibody dynamics. RPIsim is designed and organized to be extended. Its modular design allows users to edit or add new components without worrying about extra implementation details. RPIsim has two main goals: 1. Provide an intuitive and easily extendable platform for research and education in mul...

To detect the wireless network equipment whether there is protocol vulnerability, using the method of modular design and implementation of a new suitable for Wi-Fi protocol vulnerability discovery fuzzy test framework. It can be independent of its transmission medium, produce deformity packet and implementation of the attack on the target system. The author firstly describes the wireless networ...