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

Complexity of propositional nested circumscription and nested abnormality theories by Cadoli, M, Eiter, T, Gottlob, G

Nested Datatypes by Bird, R, Meertens, L

From nesting to dressing by Janik, R, Łukowski, T

MLMC for nested expectations by Giles, MB

“…This paper discusses progress and future research possibilities in applying MLMC ideas to nested expectations of the form 𝔼[𝑔(𝔼[𝑓(𝑋,𝑌)|𝑋])], with an outer expectation with respect to one random variable X, and an inner conditional expectation with respect to a second random variable Y . …”

On the semantics of nested datatypes by Martin, C, Gibbons, J

“…The initial algebra semantics of nested datatypes was proved to be valid in a wide class of categories. …”

Nesting probabilistic programs by Rainforth, T

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

On the Semantics of Nested Datatypes by Martin, C, Gibbons, J

“…Nested (or non-regular or non-uniform) datatypes are recursively defined parameterised datatypes in which the parameter of the datatype changes in the recursive call. …”

Generalised Folds for Nested Datatypes by Bird, R, Paterson, R

Assessing nest building in mice. by Deacon, R

“…For small rodents, nests are important in heat conservation as well as reproduction and shelter. …”

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

Scalable querying of nested data by Smith, J, Benedikt, M, Nikolic, M, Shaikhha, A

“…The framework employs a combination of query compilation techniques, an efficient data representation for nested collections, and automated skew-handling. We provide an extensive experimental evaluation, demonstrating significant improvements provided by the framework in diverse scenarios for nested collection programs.…”

Supramolecular nesting of cyclic polymers. by Kondratuk, D, Perdigão, L, Esmail, A, O'Shea, J, Beton, P, Anderson, H

“…Scanning tunnelling microscopy reveals that nesting occurs in combination with stacking when nanorings are deposited under vacuum, whereas when they are deposited directly from solution under ambient conditions there is stacking or nesting, but not a combination of both.…”

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. …”

Polytypic Functions Over Nested Datatypes by Hinze, R

“…Meertens on the semantics of non-regular or nested datatypes suggests that an extension to general datatypes is not entirely straightforward. …”

On the language of nested tuple generating dependencies by Kolaitis, P, Pichler, R, Sallinger, E, Savenkov

“…We also analyze the structure of the core of universal solutions with respect to nested GLAV mappings and develop useful tools for telling apart SO tgds from nested tgds. …”

Nested and Crossed Dependencies and the Existence of Traces by Dalrymple, M, King, T

Polytypic Functions Over Nested Datatypes by Hinze, R

Nested composite NOT gates for quantum computation by Jones, J

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