Nested Datatypes by Bird, R, Meertens, L

Nesting probabilistic programs by Rainforth, T

“…We formalize the notion of nesting probabilistic programming queries and investigate the resulting statistical implications. …”

Hierarchically nested convex VCSP by Cooper, M, Živný, S

On nesting Monte Carlo estimators by Rainforth, T, Cornish, R, Yang, H, Warrington, A, Wood, F

“…For such problems, one must nest estimators, such that terms in an outer estimator themselves involve calculation of a separate, nested, estimation. …”

Complexity of Nested Circumscription and Abnormality Theories by Cadoli, M, Eiter, T, Gottlob, G

TraNCE: transforming nested collections efficiently by Smith, JM, Benedikt, M, Moore, B, Nikolic, M

“…Nested relational query languages have long been seen as an attractive tool for scenarios involving large hierarchical datasets. …”

Nested constructs vs. sub-selects in SPARQL by Polleres, A, Reutter, J, Kostylev, E

“…The issue of subqueries in SPARQL has appeared in different papers as an extension point to the original SPARQL query language. Particularly, nested CONSTRUCT in FROM clauses are a feature that has been discussed as a potential input for SPARQL 1.1 which was resolved to be left out in favour of select subqueries under the - unproven - conjecture that such subqueries can express nested construct queries. …”

A BSP Approach to the Scheduling of Tightly−Nested Loops by Calinescu, R

Synthesizing nested relational queries from implicit specifications by Benedikt, MA, Pradic, C, Wernhard, C

“…We prove the analogous effective implicit-to-explicit result for nested relations: implicit definitions, given in the natural logic for nested relations, can be effectively converted to explicit definitions in the nested relational calculus (NRC). …”

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions by Eiter, T, Gottlob, G

Sparse nested Markov models with log-linear parameters by Shpitser, I, Evans, R, Richardson, T, Robins, J

“…Recently, a new type of graphical model, called the nested Markov model, was developed which captures equality constraints found in marginals of directed acyclic graph (DAG) models. …”

Acyclic linear SEMs obey the nested Markov property by Shpitser, I, Evans, R, Richardson, T

“…We show that every nested Markov model can be associated with a MArG; viewed as a path diagram this MArG parametrizes the Gaussian nested Markov model. …”

Contextual equivalence for state and control via nested data by Bunting, B, Murawski, AS

Polytypic Functions Over Nested Datatypes (Extended Abstract) by Hinze, R

Non-nested adaptive timesteps in multilevel Monte Carlo computations by Giles, M, Lester, C, Whittle, J

Nested Hoare Triples and Frame Rule for Higher−order Store by Schwinghammer, J, Birkedal, L, Reus, B, Yang, H

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures by Tiu, A, Ianovski, E, Goré, R

Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests by Haase, C, Zetzsche, G

“…We study the computational complexity of existential Presburger arithmetic with (possibly nested occurrences of) a Kleene-star operator. In addition to being a natural extension of Presburger arithmetic, our investigation is motivated by two other decision problems. …”

Intracranial hemorrhage in patients with haematological malignancy, a nested case-control study by Estcourt, L, Holt, C, Curtis, R, Stanworth, S, Murphy, M

N2F2: hierarchical scene understanding with nested neural feature fields by Bhalgat, YS, Laina, I, Henriques, J, Zisserman, A, Vedaldi, A

“…To address this, we introduce Nested Neural Feature Fields (N2F2), a novel approach that employs hierarchical supervision to learn a single feature field, wherein different dimensions within the same high-dimensional feature encode scene properties at varying granularities. …”