Straggler-Proofing Massive-Scale Distributed Matrix Multiplication with D-Dimensional Product Codes

Author(s):  
Tavor Baharav ◽  
Kangwook Lee ◽  
Orhan Ocal ◽  
Kannan Ramchandran
Author(s):  
Yaniv Aspis ◽  
Krysia Broda ◽  
Alessandra Russo ◽  
Jorge Lobo

We introduce a novel approach for the computation of stable and supported models of normal logic programs in continuous vector spaces by a gradient-based search method. Specifically, the application of the immediate consequence operator of a program reduct can be computed in a vector space. To do this, Herbrand interpretations of a propositional program are embedded as 0-1 vectors in $\mathbb{R}^N$ and program reducts are represented as matrices in $\mathbb{R}^{N \times N}$. Using these representations we prove that the underlying semantics of a normal logic program is captured through matrix multiplication and a differentiable operation. As supported and stable models of a normal logic program can now be seen as fixed points in a continuous space, non-monotonic deduction can be performed using an optimisation process such as Newton's method. We report the results of several experiments using synthetically generated programs that demonstrate the feasibility of the approach and highlight how different parameter values can affect the behaviour of the system.


1983 ◽  
Author(s):  
I. V. Ramakrishnan ◽  
P. J. Varman

2019 ◽  
Vol 12 (3) ◽  
pp. 202-211
Author(s):  
Yuancheng Li ◽  
Rong Huang ◽  
Xiangqian Nie

Background: With the rapid development of the Internet, the number of web spam has increased dramatically in recent years, which has wasted search engine storage and computing power on a massive scale. To identify the web spam effectively, the content features, link features, hidden features and quality features of web page are integrated to establish the corresponding web spam identification index system. However, the index system is highly correlation dimension. Methods: An improved method of autoencoder named stacked autoencoder neural network (SAE) is used to realize the reduction of the web spam identification index system. Results: The experiment results show that our method could reduce effectively the index of web spam and significantly improves the recognition rate in the following work. Conclusion: An autoencoder based web spam indexes reduction method is proposed in this paper. The experimental results show that it greatly reduces the temporal and spatial complexity of the future web spam detection model.


Author(s):  
Alex J. Bellamy

This is the first of two chapters to examine states that have bucked the regional trend. North Korea stands out as the only state in East Asia that continues to employ mass atrocities as a matter of state policy. This chapter explains why the forces that promoted peace in other parts of the region (state consolidation and responsibility, the developmental trading state, habits of multilateralism, and power politics) failed to achieve the same effects in these two countries. It then looks at the contemporary situation to ascertain the prospects for reform and the likelihood of future reductions in the incidence of mass atrocities. It finds that the state relies on mass coercion to maintain itself in power and that there is little prospect of imminent reform, whilst state collapse remains a viable possibility that could precipitate mass atrocities on a massive scale.


Sign in / Sign up

Export Citation Format

Share Document