An apparatus and method for creating and recording both an electronic and printed ballot for each voter during voting. The system can employ a variety of vote selection techniques, all of which can lead to the generation of an electronic tally of the vote in addition to the printing of a paper ballot. The printed ballot includes only the names of the candidates for whom the voter has voted in a...

This work aims at verifying the effective possibilit). of using Linear Time Logic (LTL) as a planning language. The main advantage ofsuch a rich and expressive language isthe possibility of encoding problem specifc information, that can be of help both in reducing the search space and finding a better plan. To this purpose, w~e have implemented a planning system, PADOK (Planning with Domain Kno...

The aim of the present study was to design a new biorelevant dissolution test apparatus for evaluating floating drug delivery systems. The gastric fluid secretion rate, volume of gastric fluid present in the stomach, and gastric emptying from the pylorus opening were taken into consideration. The material of construction was borosilicate glass. In vitro dissolution testing of pharmaceutical dos...

In a batch verifying scheme, multiple RSA digital signatures can be verified simultaneously in just one exponential operation time. Currently, the verifier could not easily detect where the signature-verification fault was located in most schemes, if the batch verification fails. In this article, we proposed a new batch verifying multiple RSA digital signatures scheme based on a cube. The schem...

We propose and investigate a simply self-restored tree-type time-division- multiplexed passive optical network (TDM-PON) with duplex fiber system against the fiber failure. The new proposed optical line terminal (OLT), optical network unit (ONU), and remote node (RN) can be used to prevent and protect the occurrence of fiber failure in the self-protected tree-type PON. The protection and restor...

In 4 studies, the authors tested the contributions of visual, kinesthetic, and verbal knowledge of results to the adaptive control of reaching movements toward visual targets. The same apparatus was used in all experiments, but the procedures differed in the sensory modality of the feedback that participants (Ns = 5, 5, 6, and 6, respectively, in Experiments 1, 2, 3, and 4) received about their...

A new approach to modelling distributed systems is presented. It uses sequential processes and event synchronization as building blocks to construct a cohesive picture of the interdependent requirements for the functionality, architecture, scheduling policies, and performance attributes of a distributed system. A language called CSPS (an extension of Hoare's CSP) is used in the illustration of ...