Government
Japan's space rovers send pictures back after first ever successful landing on asteroid
Two tiny robots have landed safely on an asteroid after a Japanese spacecraft dropped them there on Friday. The scientists behind the historic mission expressed their delight as the rovers sent back the first images from the surface of the space rock Ryugu. Dubbed MINERVA-II1, the robotic explorers are the first of their kind to be successfully landed on an asteroid. The Japanese space agency JAXA announced that both units were operational after a period of silence between the unmanned spacecraft Hayabusa-2 depositing them and connection being established with the team on Earth. "I cannot find words to express how happy I am that we were able to realise mobile exploration on the surface of an asteroid," said Hayabusa-2 project manager Dr Yuichi Tsuda.
AI Learns to Guide Planetary Rovers Without GPS
A Mars rover roaming the red planet cannot whip out a smartphone to check its location based on GPS. Instead, the robotic explorer must take panoramic pictures of the surrounding landscape so that a human back on Earth can painstakingly compare the ground images with Mars satellite maps taken from above by orbiting spacecraft. Locating a Mars mission after it first touches down, using that manual process of scrutinizing landscape features and making image comparisons, can take up to 24 hours. What's more, it still requires at least thirty minutes to confirm a rover's updated location after it's on the move. But a new AI approach that trains deep learning algorithms to perform the necessary image comparisons could reduce the localization process to mere seconds.
The World Bank's latest tool for fighting famine: Artificial intelligence
Despite being a slow-moving disaster, famine is notoriously difficult to predict. The reason for this, experts say, is that severe food shortages are hardly ever about food supply alone. A famine might be triggered by drought or some other climatic interference in crop production, but other powerful forces usually bring the scourge to full bloom: food price inflation, political instability, military conflict and even too much rain. "The root cause of famine is extremely complex," said Franck Bousquet, senior director of the World Bank Fragility, Conflict, and Violence Group (FCV). "Usually, the poorest and most vulnerable are the most affected and the least able to cope with shocks that other populations can absorb. Out of the last 10 major famines, nine have resulted from conflict and war."
Neural Networks with Structural Resistance to Adversarial Attacks
In adversarial attacks to machine-learning classifiers, small perturbations are added to input that is correctly classified. The perturbations yield adversarial examples, which are virtually indistinguishable from the unperturbed input, and yet are misclassified. In standard neural networks used for deep learning, attackers can craft adversarial examples from most input to cause a misclassification of their choice. We introduce a new type of network units, called RBFI units, whose non-linear structure makes them inherently resistant to adversarial attacks. On permutation-invariant MNIST, in absence of adversarial attacks, networks using RBFI units match the performance of networks using sigmoid units, and are slightly below the accuracy of networks with ReLU units. When subjected to adversarial attacks, networks with RBFI units retain accuracies above 90% for attacks that degrade the accuracy of networks with ReLU or sigmoid units to below 2%. RBFI networks trained with regular input are superior in their resistance to adversarial attacks even to ReLU and sigmoid networks trained with the help of adversarial examples. The non-linear structure of RBFI units makes them difficult to train using standard gradient descent. We show that networks of RBFI units can be efficiently trained to high accuracies using pseudogradients, computed using functions especially crafted to facilitate learning instead of their true derivatives. We show that the use of pseudogradients makes training deep RBFI networks practical, and we compare several structural alternatives of RBFI networks for their accuracy.
Covfefe: A Computer Vision Approach For Estimating Force Exertion
Aggarwal, Vaneet, Asadi, Hamed, Gupta, Mayank, Lee, Jae Joong, Yu, Denny
Cumulative exposure to repetitive and forceful activities may lead to musculoskeletal injuries which not only reduce workers' efficiency and productivity, but also affect their quality of life. Thus, widely accessible techniques for reliable detection of unsafe muscle force exertion levels for human activity is necessary for their well-being. However, measurement of force exertion levels is challenging and the existing techniques pose a great challenge as they are either intrusive, interfere with human-machine interface, and/or subjective in the nature, thus are not scalable for all workers. In this work, we use face videos and the photoplethysmography (PPG) signals to classify force exertion levels of 0\%, 50\%, and 100\% (representing rest, moderate effort, and high effort), thus providing a non-intrusive and scalable approach. Efficient feature extraction approaches have been investigated, including standard deviation of the movement of different landmarks of the face, distances between peaks and troughs in the PPG signals. We note that the PPG signals can be obtained from the face videos, thus giving an efficient classification algorithm for the force exertion levels using face videos. Based on the data collected from 20 subjects, features extracted from the face videos give 90\% accuracy in classification among the 100\% and the combination of 0\% and 50\% datasets. Further combining the PPG signals provide 81.7\% accuracy. The approach is also shown to be robust to the correctly identify force level when the person is talking, even though such datasets are not included in the training.
Resilient Computing with Reinforcement Learning on a Dynamical System: Case Study in Sorting
Faust, Aleksandra, Aimone, James B., James, Conrad D., Tapia, Lydia
In particular, reinforcement learning (RL) and feedback control can be used to help a robot achieve a goal. Taking advantage of this body of work, this paper formulates general computation as a feedback-control problem, which allows the agent to autonomously overcome some limitations of standard procedural language programming: resilience to errors and early program termination. Our formulation considers computation to be trajectory generation in the program's variable space. The computing then becomes a sequential decision making problem, solved with reinforcement learning (RL), and analyzed with Lyapunov stability theory to assess the agent's resilience and progression to the goal. We do this through a case study on a quintessential computer science problem, array sorting. Evaluations show that our RL sorting agent makes steady progress to an asymptotically stable goal, is resilient to faulty components, and performs less array manipulations than traditional Quicksort and Bubble sort.
WiRe57 : A Fine-Grained Benchmark for Open Information Extraction
Lรฉchelle, William, Gotti, Fabrizio, Langlais, Philippe
We build a reference for the task of Open Information Extraction, on five documents. We tentatively resolve a number of issues that arise, including inference and granularity. We seek to better pinpoint the requirements for the task. We produce our annotation guidelines specifying what is correct to extract and what is not. In turn, we use this reference to score existing Open IE systems. We address the non-trivial problem of evaluating the extractions produced by systems against the reference tuples, and share our evaluation script. Among seven compared extractors, we find the MinIE system to perform best.
Complexity of Shift Bribery in Committee Elections
Bredereck, Robert, Faliszewski, Piotr, Niedermeier, Rolf, Talmon, Nimrod
Given an election, a preferred candidate p, and a budget, the SHIFT BRIBERY problem asks whether p can win the election after shifting p higher in some voters' preference orders. Of course, shifting comes at a price (depending on the voter and on the extent of the shift) and one must not exceed the given budget. We study the (parameterized) computational complexity of S HIFT BRIBERY for multiwinner voting rules where winning the election means to be part of some winning committee. We focus on the well-established SNTV, Bloc, k-Borda, and Chamberlin-Courant rules, as well as on approximate variants of the Chamberlin-Courant rule, since the original rule is NP-hard to compute. We show that SHIFT BRIBERY tends to be harder in the multiwinner setting than in the single-winner one by showing settings where SHIFT BRIBERY is easy in the single-winner cases, but is hard (and hard to approximate) in the multiwinner ones. Moreover, we show that the non-monotonicity of those rules which are based on approximation algorithms for the Chamberlin-Courant rule sometimes affects the complexity of SHIFT BRIBERY.
Japanese spacecraft drops two rovers onto asteroid surface in first mission of its kind
A Japanese spacecraft has dropped two small rovers onto the surface of an asteroid zooming through space. If they land safely, the unmanned Hayabusa-2 would be the first spacecraft to ever successfully place robotic rovers onto a space rock. Japan's space agency (JAXA) hopes that the mission will provide clues about the origin of the solar system. The agency is expecting to receive data from the rovers at some point on Saturday confirming whether or not the mission has been a success. Hayabusa-2 first arrived near the asteroid, known as Ryugu and situated 280 million km (170 million miles) from Earth, in June.
Statistical Estimation of Malware Detection Metrics in the Absence of Ground Truth
Du, Pang, Sun, Zheyuan, Chen, Huashan, Cho, Jin-Hee, Xu, Shouhuai
The accurate measurement of security metrics is a critical research problem because an improper or inaccurate measurement process can ruin the usefulness of the metrics, no matter how well they are defined. This is a highly challenging problem particularly when the ground truth is unknown or noisy. In contrast to the well perceived importance of defining security metrics, the measurement of security metrics has been little understood in the literature. In this paper, we measure five malware detection metrics in the {\em absence} of ground truth, which is a realistic setting that imposes many technical challenges. The ultimate goal is to develop principled, automated methods for measuring these metrics at the maximum accuracy possible. The problem naturally calls for investigations into statistical estimators by casting the measurement problem as a {\em statistical estimation} problem. We propose statistical estimators for these five malware detection metrics. By investigating the statistical properties of these estimators, we are able to characterize when the estimators are accurate, and what adjustments can be made to improve them under what circumstances. We use synthetic data with known ground truth to validate these statistical estimators. Then, we employ these estimators to measure five metrics with respect to a large dataset collected from VirusTotal. We believe our study touches upon a vital problem that has not been paid due attention and will inspire many future investigations.