search result

Cover von Counter-Intuitive Effect of Null Hypothesis on Moran’s I Tests Under Heterogenous Populations (Short Paper)

Counter-Intuitive Effect of Null Hypothesis on Moran’s I Tests Under Heterogenous Populations (Short Paper)

Year: 2023
Media group: LIPIcs
Cover von Uncovering Spatiotemporal Patterns of Travel Flows Under Extreme Weather Events by Tensor Decomposition (Short Paper)

Uncovering Spatiotemporal Patterns of Travel Flows Under Extreme Weather Events by Tensor Decomposition (Short Paper)

Year: 2023
Media group: LIPIcs
Cover von Quartets Enable Statistically Consistent Estimation of Cell Lineage Trees Under an Unbiased Error and Missingness Model (Abstract)

Quartets Enable Statistically Consistent Estimation of Cell Lineage Trees Under an Unbiased Error and Missingness Model (Abstract)

Year: 2023
Media group: LIPIcs
Cover von Two-Commodity Flow Is Equivalent to Linear Programming Under Nearly-Linear Time Reductions

Two-Commodity Flow Is Equivalent to Linear Programming Under Nearly-Linear Time Reductions

Year: 2022
Media group: LIPIcs
Cover von Shrinkage Under Random Projections, and Cubic Formula Lower Bounds for AC0 (Extended Abstract)

Shrinkage Under Random Projections, and Cubic Formula Lower Bounds for AC0 (Extended Abstract)

Year: 2021
Media group: LIPIcs
Cover von On Adaptivity Gaps of Influence Maximization Under the Independent Cascade Model with Full-Adoption Feedback

On Adaptivity Gaps of Influence Maximization Under the Independent Cascade Model with Full-Adoption Feedback

Year: 2019
Media group: LIPIcs
Cover von Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints

Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints

Year: 2018
Media group: LIPIcs
Cover von Separating Cook Completeness from Karp-Levin Completeness Under a Worst-Case Hardness Hypothesis

Separating Cook Completeness from Karp-Levin Completeness Under a Worst-Case Hardness Hypothesis

Year: 2014
Media group: LIPIcs
Cover von Termination of simply-moded well-typed logic programs under a tabled execution mechanism

Termination of simply-moded well-typed logic programs under a tabled execution mechanism

article
Year: 2001
Termination
Media group: ARTICLE
Cover von An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster–Shafer theory

An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster–Shafer theory

Year: 2013
Media group: ARTICLE
OPEN V 11.1.0.0