English
Related papers

Related papers: Ark: A Real-World Consensus Implementation

200 papers

Though voting-based consensus algorithms in Blockchain outperform proof-based ones in energy- and transaction-efficiency, they are prone to incur wrong elections and bribery elections. The former originates from the uncertainties of…

Computer Science and Game Theory · Computer Science 2019-12-30 Shengling Wang , Xidi Qu , Qin Hu , Weifeng Lv

This paper studies linear stochastic approximation (SA) algorithms and their application to multi-agent systems in engineering and sociology. As main contribution, we provide necessary and sufficient conditions for convergence of linear SA…

Optimization and Control · Mathematics 2018-09-07 Ge Chen , Xiaoming Duan , Wenjun Mei , Francesco Bullo

Automated Audio Captioning (AAC) aims to develop systems capable of describing an audio recording using a textual sentence. In contrast, Audio-Text Retrieval (ATR) systems seek to find the best matching audio recording(s) for a given…

Computation and Language · Computer Science 2023-08-30 Etienne Labbé , Thomas Pellegrini , Julien Pinquier

Consensus protocols play a pivotal role to balance security and efficiency in blockchain systems. In this paper, we propose an evaluation framework for blockchain consensus protocols termed as AlphaBlock. In this framework, we compare the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-07-28 Haitao Xiang , Zhijie Ren , Ziheng Zhou , Ning Wang , Hanqing Jin

Rank aggregation aims to combine the preference rankings of a number of alternatives from different voters into a single consensus ranking. As a useful model for a variety of practical applications, however, it is a computationally…

Neural and Evolutionary Computing · Computer Science 2022-01-12 Yangming Zhou , Jin-Kao Hao , Zhen Li , Fred Glover

Monte Carlo (MC) methods have become very popular in signal processing during the past decades. The adaptive rejection sampling (ARS) algorithms are well-known MC technique which draw efficiently independent samples from univariate target…

Computation · Statistics 2017-10-16 Luca Martino

Most problems in Machine Learning cater to classification and the objects of universe are classified to a relevant class. Ranking of classified objects of universe per decision class is a challenging problem. We in this paper propose a…

Computation and Language · Computer Science 2020-02-11 Nidhika Yadav , Niladri Chatterjee

Online Contention Resolution Schemes (OCRS's) represent a modern tool for selecting a subset of elements, subject to resource constraints, when the elements are presented to the algorithm sequentially. OCRS's have led to some of the…

Data Structures and Algorithms · Computer Science 2024-04-03 Calum MacRury , Will Ma , Nathaniel Grammel

In this paper, we address the discrete-time average consensus problem in strongly connected directed graphs, where nodes exchange information over unreliable error-prone communication links. We enhance the Robustified Ratio Consensus…

Systems and Control · Electrical Eng. & Systems 2024-07-30 Evagoras Makridis , Themistoklis Charalambous , Christoforos N. Hadjicostis

Consensus algorithms play a critical role in blockchains and directly impact their performance. During consensus processing, nodes need to validate and order the pending transactions into a new block, which requires verifying the…

Cryptography and Security · Computer Science 2023-05-29 Wanxin Li , Collin Meese , Mark Nejad , Hao Guo

PageRank is a well-known algorithm whose robustness helps set a standard benchmark when processing graphs and analytical problems. The PageRank algorithm serves as a standard for many graph analytics and a foundation for extracting graph…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-28 Hemalatha Eedi , Sahith Karra , Sathya Peri , Neha Ranabothu , Rahul Utkoor

In this paper, we present ASPEN, an answer set programming (ASP) implementation of a recently proposed declarative framework for collective entity resolution (ER). While an ASP encoding had been previously suggested, several practical…

Current call graph generation methods for ArkTS, a new programming language for OpenHarmony, exhibit precision limitations when supporting advanced static analysis tasks such as data flow analysis and vulnerability pattern detection, while…

Software Engineering · Computer Science 2026-02-03 Yizhuo Yang , Lingyun Xu , Mingyi Zhou , Li Li

The Abstraction and Reasoning Corpus (ARC) is a challenging program induction dataset that was recently proposed by Chollet (2019). Here, we report the first set of results collected from a behavioral study of humans solving a subset of…

Human-Computer Interaction · Computer Science 2021-03-11 Aysja Johnson , Wai Keen Vong , Brenden M. Lake , Todd M. Gureckis

In the pursuit of artificial general intelligence (AGI), we tackle Abstraction and Reasoning Corpus (ARC) tasks using a novel two-pronged approach. We employ the Decision Transformer in an imitation learning paradigm to model human…

Artificial Intelligence · Computer Science 2023-06-16 Jaehyun Park , Jaegyun Im , Sanha Hwang , Mintaek Lim , Sabina Ualibekova , Sejin Kim , Sundong Kim

Blockchains combine other technologies, such as cryptography, networking, and incentive mechanisms, to enable the creation, validation, and recording of transactions between participating nodes. A consensus algorithm is used in a blockchain…

Social and Information Networks · Computer Science 2021-09-01 Oladotun Aluko , Anton Kolonin

The randomized Kaczmarz (RK) method is an iterative method for approximating the least-squares solution of large linear systems of equations. The standard RK method uses sequential updates, making parallel computation difficult. Here, we…

Numerical Analysis · Mathematics 2020-02-12 Jacob D. Moorman , Thomas K. Tu , Denali Molitor , Deanna Needell

In this paper, we address the distributed average consensus problem over directed networks in open multi-agent systems (OMAS), where the stability of the network is disrupted by frequent agent arrivals and departures, leading to a…

The Multi-valued Action Reasoning System (MARS) is an automated value-based ethical decision-making model for artificial agents (AI). Given a set of available actions and an underlying moral paradigm, by employing MARS one can identify the…

Artificial Intelligence · Computer Science 2023-02-08 Cosmin Badea

GRank is a recent graph-based recommendation approach the uses a novel heterogeneous information network to model users' priorities and analyze it to directly infer a recommendation list. Unfortunately, GRank neglects the semantics behind…

Social and Information Networks · Computer Science 2018-11-06 Bita Shams , Saman Haratizadeh