中文
相关论文

相关论文: Fault tree reliability analysis via squarefree pol…

200 篇论文

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…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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,…

计算机科学中的逻辑 · 计算机科学 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…

软件工程 · 计算机科学 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…

统计方法学 · 统计学 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…

人工智能 · 计算机科学 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…

机器学习 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

种群与进化 · 定量生物学 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…

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…

数据结构与算法 · 计算机科学 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…

机器学习 · 计算机科学 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…

人工智能 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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,…

计算复杂性 · 计算机科学 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…

统计方法学 · 统计学 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…

数据结构与算法 · 计算机科学 2016-08-30 Mikita Hradovich , Adam Kasperski , Pawel Zielinski