Maximum Resilience of Artificial Neural Networks

The deployment of Artificial Neural Networks (ANNs) in safety-critical applications poses a number of new verification and certification challenges. In particular, for ANN-enabled self-driving vehicles it is important to establish properties about the resilience of ANNs to noisy or even maliciously manipulated sensory input. We are addressing these challenges by defining resilience properties of ANN-based classifiers as the maximal amount of input or sensor perturbation which is still tolerated. This problem of computing maximal perturbation bounds for ANNs is then reduced to solving mixed integer optimization problems (MIP). A number of MIP encoding heuristics are developed for drastically reducing MIP-solver runtimes, and using parallelization of MIP-solvers results in an almost linear speed-up in the number (up to a certain limit) of computing cores in our experiments. We demonstrate the effectiveness and scalability of our approach by means of computing maximal resilience bounds for a number of ANN benchmark sets ranging from typical image recognition scenarios to the autonomous maneuvering of robots.Comment: Timestamp research work conducted in the project. version 2: fix some typos, rephrase the definition, and add some more existing wor

full-FORCE: A Target-Based Method for Training Recurrent Networks

Trained recurrent networks are powerful tools for modeling dynamic neural computations. We present a target-based method for modifying the full connectivity matrix of a recurrent network to train it to perform tasks involving temporally complex input/output transformations. The method introduces a second network during training to provide suitable "target" dynamics useful for performing the task. Because it exploits the full recurrent connectivity, the method produces networks that perform tasks with fewer neurons and greater noise robustness than traditional least-squares (FORCE) approaches. In addition, we show how introducing additional input signals into the target-generating network, which act as task hints, greatly extends the range of tasks that can be learned and provides control over the complexity and nature of the dynamics of the trained, task-performing network.Comment: 20 pages, 8 figure

EFFICIENCY AND PRODUCTIVITY GROWTH IN INDIAN BANKING

This paper attempts to examine technical efficiency and productivity performance of Indian scheduled commercial banks, for the period 1979-2008. We model a multiple output/multiple input technology production frontier using semiparametric estimation methods. The endogenity of multiple outputs is addressed by semi parametric estimates in part by introducing multivariate kernel estimators for the joint distribution of the multiple outputs and correlated random effects. Output is measured as the rupee value of total loans and total investments at the end of the year. The estimates provide robust inferences of the productivity and efficiency gains due to economic reforms.Banking, Frontier efficiency, Productivity

Sumoylation silences the plasma membrane leak K+ channel K2P1.

Reversible, covalent modification with small ubiquitin-related modifier proteins (SUMOs) is known to mediate nuclear import/export and activity of transcription factors. Here, the SUMO pathway is shown to operate at the plasma membrane to control ion channel function. SUMO-conjugating enzyme is seen to be resident in plasma membrane, to assemble with K2P1, and to modify K2P1 lysine 274. K2P1 had not previously shown function despite mRNA expression in heart, brain, and kidney and sequence features like other two-P loop K+ leak (K2P) pores that control activity of excitable cells. Removal of the peptide adduct by SUMO protease reveals K2P1 to be a K+-selective, pH-sensitive, openly rectifying channel regulated by reversible peptide linkage

Challenges in video based object detection in maritime scenario using computer vision

This paper discusses the technical challenges in maritime image processing and machine vision problems for video streams generated by cameras. Even well documented problems of horizon detection and registration of frames in a video are very challenging in maritime scenarios. More advanced problems of background subtraction and object detection in video streams are very challenging. Challenges arising from the dynamic nature of the background, unavailability of static cues, presence of small objects at distant backgrounds, illumination effects, all contribute to the challenges as discussed here

Permanent Stability Bracing of CFS Trusses

Permanent stability bracing of Cold-Formed Steel (CFS) roof/floor trusses is needed for the three major planes in a truss: Top chord, Bottom Chord and Web. Primary function of bracing is to prevent lateral instability of members as well as stiffen the overall roof/floor system. Brace force is dependent on the magnitude of applied loads and the level of out-of-planeness permitted. Traditionally, 2% of the axial compression force in a member is used as the brace (restraint) force, which is based on an out-of-plane deflection of L/200 where L is the member length. Continuous Lateral Restraint (CLR) forces are accumulated from similar members in several adjacent trusses and then transferred through Diagonal Braces (DB) to the bearings or other shear resisting elements (for example, metal decking). For chord and web members, a method to determine the forces in CLR and DB is presented using a statics based approach with varying number of braces and mode shapes for a maximum permitted out-of-planeness of L/200. For the chord members with more than two CLR\u27s, a method for designing a Brace Collector Frame (BCF) based on the Net Lateral Restraining Force (NLRF) is presented