An official website of the United States government
Clustered coloring of graphs with bounded layered treewidth and bounded degree
More Like this
-
The search for one-step alternatives to the Generalized Method of Moment (GMM) has identified broad classes of potential estimators such as Generalized Empirical Likelihoods (GEL), Empirical Cressie-Read (ECR), Exponentially Tilted Empirical Likelihood (ETEL) and minimum discrepancy (MD) estimators. While Empirical Likelihood (EL) dominates other ECR estimators in terms of higher-order asymptotics, it lacks robustness to model misspecification. ETEL was shown to combine higher-order efficiency and robustness to misspecification, but demands strong moment generating function existence conditions. We show, both theoretically and via simulations, how to achieve the same goal under weaker moment existence conditions, within the class of MD estimators.more » « less
-
Effect systems have been a subject of active research for nearly four decades, with the most notable practical example being checked exceptions in programming languages such as Java. While many exception systems support abstraction, aggregation, and hierarchy (e.g., via class declaration and subclassing mechanisms), it is rare to see such expressive power in more generic effect systems. We designed an effect system around the idea of protecting system resources and incorporated our effect system into the Wyvern programming language. Similar to type members, a Wyvern object can have effect members that can abstract lower-level effects, allow for aggregation, and have both lower and upper bounds, providing for a granular effect hierarchy. We argue that Wyvern’s effects capture the right balance of expressiveness and power from the programming language design perspective. We present a full formalization of our effect-system design, showing that it allows reasoning about authority and attenuation. Our approach is evaluated through a security-related case study.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1016/j.ejc.2023.103730
