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

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

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

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

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

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 composite NOT gates for quantum computation by Jones, J

Confidence at the limits of human nested cognition by Recht, S, Jovanovic, L, Mamassian, P, Balsdon, T

“…We define the theoretical and practical limits of nested cognition and discuss how this approach paves the way for a better understanding of human self-regulation.…”

Helpers at a Sapayoa nest are kin by Van Doren, BM, Hruska, JP, Dzielski, SA, Butcher, BG

A tale of two nested elastic rings by Napoli, G, Goriely, A

“…Here, we consider the problem of determining the static solutions of two nested elastic rings in the plane. If the inner ring is longer than the outer ring, it will buckle creating a space between the two rings. …”

Asymmetric equilibria of two nested elastic rings by Lombardo, F, Goriely, A, Napoli, G

Multilevel nested simulation for efficient risk estimation by Giles, M, Haji-Ali, A

“…We investigate the problem of computing a nested expectation of the form $\mathbb{P} {[\mathbb{E}[{X | Y]} \geq 0]} = \mathbb{E}{[{{H}}} ({\mathbb{E}{[X| Y])]}}$ where ${{H}}$ is the Heaviside function. …”

de Bruijn Notation as a Nested Datatype by Bird, R, Paterson, R

Disciplined, efficient, generalised folds for nested datatypes by Martin, C, Gibbons, J, Bayley, I

“…Nested (or non-uniform, or non-regular) datatypes have recursive definitions in which the type parameter changes. …”

Disciplined‚ efficient‚ generalised folds for nested datatypes by Martin, C, Gibbons, J, Bayley, I

“…Nested (or non-uniform, or non-regular) datatypes have recursive definitions in which the type parameter changes. …”