Consensus in the presence of mortal Byzantine faulty processes

We consider the problem of reaching agreement in distributed systems in which some processes may deviate from their prescribed behavior before they eventually crash. We call this failure model “mortal Byzantine”. After discussing some application examples where this model is justified, we provide matching upper and lower bounds on the number of faulty processes, and on the required number of rounds in synchronous systems. We then continue our study by varying different system parameters. On the one hand, we consider the failure model under weaker timing assumptions, namely for partially synchronous systems and asynchronous systems with unreliable failure detectors. On the other hand, we vary the failure model in that we limit the occurrences of faulty steps that actually lead to a crash in synchronous systems.     

A biologically inspired active compliant joint using local positive velocity feedback (LPVF).

Starting from studies which revealed that positive feedback is found in the control system for walking in arthropods, we have constructed a new positive feedback driven joint that can be used for solving compliant motion tasks. We propose two different joint constructions each of which shows passive compliance. Based on these joints we introduce three different local positive velocity feedback (LPVF) controllers and discuss their properties in the context of motion generation in closed kinematic chains. The third circuit named undelayed dLPVF is used for the control of a compliant planar manipulator which turns a crank. Our concept is of highly decentralized nature and follows the idea of embodiment. In our case this means that a process which is controlled by LPVF controllers reveals its nature when the controllers interact with this process.     

Inverse random under sampling for class imbalance problem and its application to multi-label classification

In this paper, a novel inverse random under sampling (IRUS) method is proposed for the class imbalance problem. The main idea is to severely under sample the majority class thus creating a large number of distinct training sets. For each training set we then find a decision boundary which separates the minority class from the majority class. By combining the multiple designs through fusion, we construct a composite boundary between the majority class and the minority class. The proposed methodology is applied on 22 UCI data sets and experimental results indicate a significant increase in performance when compared with many existing class-imbalance learning methods. We also present promising results for multi-label classification, a challenging research problem in many modern applications such as music, text and image categorization.     

A review of instance selection methods

In supervised learning, a training set providing previously known information is used to classify new instances. Commonly, several instances are stored in the training set but some of them are not useful for classifying therefore it is possible to get acceptable classification rates ignoring non useful cases; this process is known as instance selection. Through instance selection the training set is reduced which allows reducing runtimes in the classification and/or training stages of classifiers. This work is focused on presenting a survey of the main instance selection methods reported in the literature.     

ATP and Presentation Service for Mizar Formalizations

This paper describes the Automated Reasoning for Mizar ( $\textsf{Miz}\mathbb{AR}$ ) service, which integrates several automated reasoning, artificial intelligence, and presentation tools with Mizar and its authoring environment. The service provides ATP assistance to Mizar authors in finding and explaining proofs, and offers generation of Mizar problems as challenges to ATP systems. The service is based on a sound translation from the Mizar language to that of first-order ATP systems, and relies on the recent progress in application of ATP systems in large theories containing tens of thousands of available facts. We present the main features of $\textsf{Miz}\mathbb{AR}$ services, followed by an account of initial experiments in finding proofs with the ATP assistance. Our initial experience indicates that the tool offers substantial help in exploring the Mizar library and in preparing new Mizar articles.     

Neural architecture for robotic vision sensor that discounts uneven illumination in a manufacturing environment

Computer vision algorithms for inspection or pick-and-place operations often depend on spatially uniform illumination of a workplace. This necessitates expensive lighting fixtures. To discount effects of uneven illumination we designed and tested a neural network that can adaptively control light sensitivity at the photosensor level. Our neural network architecture consists of multiple layers with hexagonally arranged nodes. All nodes have partially overlapping receptive fields of different spatial frequencies. Feedforward connections are excitatory while feedback pathways subserve lateral inhibition. The outputs of these nodes are combined so as to maximize the signal-to-noise ratio while constantly resetting thresholds to maintain high sensitivity. Our connectionist architecture can account for many characteristics attributed to the lightness constancy phenomenon observed in biological systems. The results suggest that our module maintains high sensitivity over the whole domain of intensities without interfering with transmission of visual information embedded in spatial discontinuities of intensity.     

Evaluation of six night vision enhancement systems: qualitative and quantitative support for intelligent image processing

OBJECTIVE: An evaluation study was conducted to answer the question of which system properties of night vision enhancement systems (NVESs) provide a benefit for drivers without increasing their workload. BACKGROUND: Different infrared sensor, image processing, and display technologies can be integrated into an NVES to support nighttime driving. Because each of these components has its specific strengths and weaknesses, careful testing is required to determine their best combination. METHOD: Six prototypical systems were assessed in two steps. First, a heuristic evaluation with experts from ergonomics, perception, and traffic psychology was conducted. It produced a broad overview of possible effects of system properties on driving. Based on these results, an experimental field study with 15 experienced drivers was performed. Criteria used to evaluate the development potential of the six prototypes were the usability dimensions of effectiveness, efficiency, and user satisfaction (International Organization for Standardization, 1998). RESULTS: Results showed that the intelligibility of information, the easiness with which obstacles could be located in the environment, and the position of the display presenting the output of the system were of crucial importance for the usability of the NVES and its acceptance. Conclusion: All relevant requirements are met best by NVESs that are positioned at an unobtrusive location and are equipped with functions for the automatic identification of objects and for event-based warnings. APPLICATION: These design recommendations and the presented approach to evaluate the systems can be directly incorporated into the development process of future NVESs.