English
Related papers

Related papers: Efficient and Generic Algorithms for Quantitative …

200 papers

We study the problem of collective tree exploration in which a team of $k$ mobile agents must collectively visit all nodes of an unknown tree in as few moves as possible. The agents all start from the root and discover adjacent edges as…

Data Structures and Algorithms · Computer Science 2025-07-22 Romain Cosson , Laurent Massoulié

As network security issues continue gaining prominence, password security has become crucial in safeguarding personal information and network systems. This study first introduces various methods for system password cracking, outlines…

Cryptography and Security · Computer Science 2026-02-11 Jiazhi Mo , Hailu Kuang , Xiaoqi Li

The use of cumulative incidence functions for characterizing the risk of one type of event in the presence of others has become increasingly popular over the past decade. The problems of modeling, estimation and inference have been treated…

Methodology · Statistics 2021-06-25 Youngjoo Cho , Annette M. Molinaro , Chen Hu , Robert L. Strawderman

Designing well-connected graphs is a fundamental problem that frequently arises in various contexts across science and engineering. The weighted number of spanning trees, as a connectivity measure, emerges in numerous problems and plays a…

Data Structures and Algorithms · Computer Science 2016-04-13 Kasra Khosoussi , Gaurav S. Sukhatme , Shoudong Huang , Gamini Dissanayake

The power grid is a critical infrastructure that plays a vital role in modern society. Its availability is of utmost importance, as a loss can endanger human lives. However, with the increasing digitalization of the power grid, it also…

Cryptography and Security · Computer Science 2023-12-22 Ömer Sen , Bozhidar Ivanov , Martin Henze , Andreas Ulbig

In this paper, we introduce new learning algorithms for reducing false positives in intrusion detection. It is based on decision tree-based attribute weighting with adaptive na\"ive Bayesian tree, which not only reduce the false positives…

Cryptography and Security · Computer Science 2010-05-07 Dewan Md. Farid , Mohammad Zahidur Rahman

We present a new characterization of $k$-trees based on their reduced clique graphs and $(k+1)$-line graphs, which are block graphs. We explore structural properties of these two classes, showing that the number of clique-trees of a…

Combinatorics · Mathematics 2026-02-17 Lilian Markenzon , Allana S. S. Oliveira , Cybele T. M. Vinagre

Succinct data structures give space-efficient representations of large amounts of data without sacrificing performance. They rely one cleverly designed data representations and algorithms. We present here the formalization in Coq/SSReflect…

Programming Languages · Computer Science 2019-07-03 Reynald Affeldt , Jacques Garrigue , Xuanrui Qi , Kazunari Tanaka

In this paper, a new learning algorithm for adaptive network intrusion detection using naive Bayesian classifier and decision tree is presented, which performs balance detections and keeps false positives at acceptable level for different…

Artificial Intelligence · Computer Science 2010-07-15 Dewan Md. Farid , Nouria Harbi , Mohammad Zahidur Rahman

We provide an overview of three different query languages whose objective is to specify properties on the highly popular formalisms of fault trees (FTs) and attack trees (ATs). These are BFL, a Boolean Logic for FTs, PFL, a probabilistic…

Logic in Computer Science · Computer Science 2024-01-30 Stefano M. Nicoletti , Milan Lopuhaä-Zwakenberg , E. Moritz Hahn , Mariëlle Stoelinga

We introduce a new class of tree-based models, P-Trees, for analyzing (unbalanced) panel of individual asset returns, generalizing high-dimensional sorting with economic guidance and interpretability. Under the mean-variance efficient…

Machine Learning · Computer Science 2025-02-05 Lin William Cong , Guanhao Feng , Jingyu He , Xin He

The use of cumulative incidence functions for characterizing the risk of one type of event in the presence of others has become increasingly popular over the past decade. The problems of modeling, estimation and inference have been treated…

Methodology · Statistics 2020-11-16 Youngjoo Cho , Annette M. Molinaro , Chen Hu , Robert L. Strawderman

The normal operation of power system relies on accurate state estimation that faithfully reflects the physical aspects of the electrical power grids. However, recent research shows that carefully synthesized false-data injection attacks can…

Other Computer Science · Computer Science 2014-04-10 Suzhi Bi , Ying Jun , Zhang

Graph-based classification methods are widely used for security and privacy analytics. Roughly speaking, graph-based classification methods include collective classification and graph neural network. Evading a graph-based classification…

Cryptography and Security · Computer Science 2019-08-14 Binghui Wang , Neil Zhenqiang Gong

Tree detection techniques are often used to reduce the complexity of a posteriori probability (APP) detection in high dimensional multi-antenna wireless communication systems. In this paper, we introduce an efficient soft-input soft-output…

Information Theory · Computer Science 2011-05-10 J. W. Choi , B. Shim , A. C. Singer

The paper presents a technique for constructing noisy data structures called a walking tree. We apply it for a Red-Black tree (an implementation of a Self-Balanced Binary Search Tree) and a segment tree. We obtain the same complexity of the…

Quantum Physics · Physics 2023-05-16 Kamil Khadiev , Nikita Savelyev , Mansur Ziatdinov , Denis Melnikov

Research on the similarity of a graph to being a tree - called the treewidth of the graph - has seen an enormous rise within the last decade, but a practically fast algorithm for this task has been discovered only recently by Tamaki (ESA…

Data Structures and Algorithms · Computer Science 2019-05-06 Max Bannach , Sebastian Berndt

This paper presents a detailed comparison of a recently proposed algorithm for optimizing decision trees, tree alternating optimization (TAO), with other popular, established algorithms. We compare their performance on a number of…

Machine Learning · Computer Science 2020-03-23 Arman Zharmagambetov , Suryabhan Singh Hada , Miguel Á. Carreira-Perpiñán , Magzhan Gabidolla

This extended abstract reports on on-going research on quantum algorithmic approaches to the problem of generalised tree search that may exhibit effective quantum speedup, even in the presence of non-constant branching factors. Two…

Quantum Physics · Physics 2021-03-26 Andre Sequeira , Luis Paulo Santos , Luis Soares Barbosa

Risk assessment plays a crucial role in ensuring the security and resilience of modern computer systems. Existing methods for conducting risk assessments often suffer from tedious and time-consuming processes, making it challenging to…

Cryptography and Security · Computer Science 2023-07-27 Simon Unger , Ektor Arzoglou , Markus Heinrich , Dirk Scheuermann , Stefan Katzenbeisser