English
Related papers

Related papers: Fault tree reliability analysis via squarefree pol…

200 papers

Random forest is effective for prediction tasks but the randomness of tree generation hinders interpretability in feature importance analysis. To address this, we proposed DT-Sampler, a SAT-based method for measuring feature importance in…

Machine Learning · Computer Science 2023-07-26 Chao Huang , Diptesh Das , Koji Tsuda

Multi-view unsupervised feature selection (MUFS), which selects informative features from multi-view unlabeled data, has attracted increasing research interest in recent years. Although great efforts have been devoted to MUFS, several…

Machine Learning · Computer Science 2025-11-12 Minghui Lu , Yanyong Huang , Minbo Ma , Jinyuan Chang , Dongjie Wang , Xiuwen Yi , Tianrui Li

Linear tree constraints were introduced by Hofmann and Rodriguez in the context of amortized resource analysis for object oriented programs. More precisely, they gave a reduction from inference of resource types to constraint solving. Thus,…

Logic in Computer Science · Computer Science 2018-06-27 Sabine Bauer , Martin Hofmann

Dynamic Fault Trees (DFTs) are a prominent model in reliability engineering. They are strictly more expressive than static fault trees, but this comes at a price: their interpretation is non-trivial and leaves quite some freedom. This paper…

Software Engineering · Computer Science 2019-03-13 Sebastian Junges , Joost-Pieter Katoen , Marielle Stoelinga , Matthias Volk

Biological research often involves testing a growing number of null hypotheses as new data is accumulated over time. We study the problem of online control of the familywise error rate (FWER), that is testing an apriori unbounded sequence…

Methodology · Statistics 2020-03-10 Jinjin Tian , Aaditya Ramdas

All multi-component product manufacturing companies face the problem of warranty cost estimation. Failure rate analysis of components plays a key role in this problem. Data source used for failure rate analysis has traditionally been past…

Artificial Intelligence · Computer Science 2014-11-13 Karamjit Singh , Puneet Agarwal , Gautam Shroff

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

We consider the following generalization of the binary search problem. A search strategy is required to locate an unknown target node $t$ in a given tree $T$. Upon querying a node $v$ of the tree, the strategy receives as a reply an…

Data Structures and Algorithms · Computer Science 2017-02-28 Dariusz Dereniowski , Adrian Kosowski , Przemyslaw Uznanski , Mengchuan Zou

We consider a weighted counting problem on matchings, denoted $\textrm{PrMatching}(\mathcal{G})$, on an arbitrary fixed graph family $\mathcal{G}$. The input consists of a graph $G\in \mathcal{G}$ and of rational probabilities of existence…

Computational Complexity · Computer Science 2023-01-10 Antoine Amarilli , Mikaël Monet

A secure set $S$ in a graph is defined as a set of vertices such that for any $X\subseteq S$ the majority of vertices in the neighborhood of $X$ belongs to $S$. It is known that deciding whether a set $S$ is secure in a graph is…

Computational Complexity · Computer Science 2017-07-11 Bernhard Bliem , Stefan Woltran

In this paper, we provide a polynomial time algorithm to calculate the probability of a {\it ranked} gene tree topology for a given species tree, where a ranked tree topology is a tree topology with the internal vertices being ordered. The…

Populations and Evolution · Quantitative Biology 2012-03-02 Tanja Stadler , James H. Degnan

Neural Networks (NN) have recently emerged as backbone of several sensitive applications like automobile, medical image, security, etc. NNs inherently offer Partial Fault Tolerance (PFT) in their architecture; however, the biased PFT of NNs…

Machine Learning · Computer Science 2019-02-14 Manaar Alam , Arnab Bag , Debapriya Basu Roy , Dirmanto Jap , Jakub Breier , Shivam Bhasin , Debdeep Mukhopadhyay

We consider the well-studied problem of finding a spanning tree with minimum average distance between vertex pairs (called a MAD tree). This is a classic network design problem which is known to be NP-hard. While approximation algorithms…

Data Structures and Algorithms · Computer Science 2026-04-01 Tom-Lukas Breitkopf , Vincent Froese , Anton Herrmann , André Nichterlein , Camille Richer

Decision Trees are some of the most popular machine learning models today due to their out-of-the-box performance and interpretability. Often, Decision Trees models are constructed greedily in a top-down fashion via heuristic search…

Machine Learning · Computer Science 2023-02-16 Colin Sullivan , Mo Tiwari , Sebastian Thrun , Chris Piech

Poly-trees are singly connected causal networks in which variables may arise from multiple causes. This paper develops a method of recovering ply-trees from empirically measured probability distributions of pairs of variables. The method…

Artificial Intelligence · Computer Science 2013-04-11 George Rebane , Judea Pearl

Treewidth and hypertree width have proven to be highly successful structural parameters in the context of the Constraint Satisfaction Problem (CSP). When either of these parameters is bounded by a constant, then CSP becomes solvable in…

Data Structures and Algorithms · Computer Science 2022-10-14 Andre Schidler , Robert Ganian , Manuel Sorge , Stefan Szeider

We introduce a new approach to isolate the real roots of a square-free polynomial $F=\sum_{i=0}^n A_i x^i$ with real coefficients. It is assumed that each coefficient of $F$ can be approximated to any specified error bound. The presented…

Data Structures and Algorithms · Computer Science 2015-03-17 Michael Sagraloff

In this paper we study arithmetic computations in the nonassociative, and noncommutative free polynomial ring $\mathbb{F}\{x_1,x_2,\ldots,x_n\}$. Prior to this work, nonassociative arithmetic computation was considered by Hrubes, Wigderson,…

Computational Complexity · Computer Science 2017-07-07 V. Arvind , Rajit Datta , Partha Mukhopadhyay , S. Raja

Decision trees are widely used for non-linear modeling, as they capture interactions between predictors while producing inherently interpretable models. Despite their popularity, performing inference on the non-linear fit remains largely…

Methodology · Statistics 2026-04-14 Soham Bakshi , Snigdha Panigrahi

This paper deals with the recoverable robust spanning tree problem under interval uncertainty representations. A polynomial time, combinatorial algorithm for the recoverable spanning tree problem is first constructed. This problem…

Data Structures and Algorithms · Computer Science 2016-08-30 Mikita Hradovich , Adam Kasperski , Pawel Zielinski