---
_id: '2265'
abstract:
- lang: eng
  text: Coordinated migration of newly-born neurons to their target territories is
    essential for correct neuronal circuit assembly in the developing brain. Although
    a cohort of signaling pathways has been implicated in the regulation of cortical
    projection neuron migration, the precise molecular mechanisms and how a balanced
    interplay of cell-autonomous and non-autonomous functions of candidate signaling
    molecules controls the discrete steps in the migration process, are just being
    revealed. In this chapter, I will focally review recent advances that improved
    our understanding of the cell-autonomous and possible cell-nonautonomous functions
    of the evolutionarily conserved LIS1/NDEL1-complex in regulating the sequential
    steps of cortical projection neuron migration. I will then elaborate on the emerging
    concept that the Reelin signaling pathway, acts exactly at precise stages in the
    course of cortical projection neuron migration. Lastly, I will discuss how finely
    tuned transcriptional programs and downstream effectors govern particular aspects
    in driving radial migration at discrete stages and how they regulate the precise
    positioning of cortical projection neurons in the developing cerebral cortex.
alternative_title:
- Advances in Experimental Medicine and Biology
article_processing_charge: No
author:
- first_name: Simon
  full_name: Hippenmeyer, Simon
  id: 37B36620-F248-11E8-B48F-1D18A9856A87
  last_name: Hippenmeyer
  orcid: 0000-0003-2279-1061
citation:
  ama: 'Hippenmeyer S. Molecular pathways controlling the sequential steps of cortical
    projection neuron migration. In: Nguyen L, ed. <i> Cellular and Molecular Control
    of Neuronal Migration</i>. Vol 800. Springer; 2014:1-24. doi:<a href="https://doi.org/10.1007/978-94-007-7687-6_1">10.1007/978-94-007-7687-6_1</a>'
  apa: Hippenmeyer, S. (2014). Molecular pathways controlling the sequential steps
    of cortical projection neuron migration. In L. Nguyen (Ed.), <i> Cellular and
    Molecular Control of Neuronal Migration</i> (Vol. 800, pp. 1–24). Springer. <a
    href="https://doi.org/10.1007/978-94-007-7687-6_1">https://doi.org/10.1007/978-94-007-7687-6_1</a>
  chicago: Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps
    of Cortical Projection Neuron Migration.” In <i> Cellular and Molecular Control
    of Neuronal Migration</i>, edited by Laurent Nguyen, 800:1–24. Springer, 2014.
    <a href="https://doi.org/10.1007/978-94-007-7687-6_1">https://doi.org/10.1007/978-94-007-7687-6_1</a>.
  ieee: S. Hippenmeyer, “Molecular pathways controlling the sequential steps of cortical
    projection neuron migration,” in <i> Cellular and Molecular Control of Neuronal
    Migration</i>, vol. 800, L. Nguyen, Ed. Springer, 2014, pp. 1–24.
  ista: 'Hippenmeyer S. 2014.Molecular pathways controlling the sequential steps of
    cortical projection neuron migration. In:  Cellular and Molecular Control of Neuronal
    Migration. Advances in Experimental Medicine and Biology, vol. 800, 1–24.'
  mla: Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps of
    Cortical Projection Neuron Migration.” <i> Cellular and Molecular Control of Neuronal
    Migration</i>, edited by Laurent Nguyen, vol. 800, Springer, 2014, pp. 1–24, doi:<a
    href="https://doi.org/10.1007/978-94-007-7687-6_1">10.1007/978-94-007-7687-6_1</a>.
  short: S. Hippenmeyer, in:, L. Nguyen (Ed.),  Cellular and Molecular Control of
    Neuronal Migration, Springer, 2014, pp. 1–24.
corr_author: '1'
date_created: 2018-12-11T11:56:39Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2025-09-29T11:12:48Z
day: '01'
department:
- _id: SiHi
doi: 10.1007/978-94-007-7687-6_1
editor:
- first_name: Laurent
  full_name: Nguyen, Laurent
  last_name: Nguyen
external_id:
  isi:
  - '000333646000002'
intvolume: '       800'
isi: 1
language:
- iso: eng
month: '01'
oa_version: None
page: 1 - 24
publication: ' Cellular and Molecular Control of Neuronal Migration'
publication_status: published
publisher: Springer
publist_id: '4679'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Molecular pathways controlling the sequential steps of cortical projection
  neuron migration
type: book_chapter
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 800
year: '2014'
...
---
_id: '2275'
abstract:
- lang: eng
  text: "Energies with high-order non-submodular interactions have been shown to be
    very useful in vision due to their high modeling power. Optimization of such energies,
    however, is generally NP-hard. A naive approach that works for small problem instances
    is exhaustive search, that is, enumeration of all possible labelings of the underlying
    graph. We propose a general minimization approach for large graphs based on enumeration
    of labelings of certain small patches. \r\nThis partial enumeration technique
    reduces complex high-order energy formulations to pairwise Constraint Satisfaction
    Problems with unary costs (uCSP), which can be efficiently solved using standard
    methods like TRW-S. Our approach outperforms a number of existing state-of-the-art
    algorithms on well known difficult problems (e.g. curvature regularization, stereo,
    deconvolution); it gives near global minimum and better speed. \r\nOur main application
    of interest is curvature regularization. In the context of segmentation, our partial
    enumeration technique allows to evaluate curvature directly on small patches using
    a novel integral geometry approach.\r\n"
article_processing_charge: No
author:
- first_name: Carl
  full_name: Olsson, Carl
  last_name: Olsson
- first_name: Johannes
  full_name: Ulen, Johannes
  last_name: Ulen
- first_name: Yuri
  full_name: Boykov, Yuri
  last_name: Boykov
- first_name: Vladimir
  full_name: Kolmogorov, Vladimir
  id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
  last_name: Kolmogorov
citation:
  ama: 'Olsson C, Ulen J, Boykov Y, Kolmogorov V. Partial enumeration and curvature
    regularization. In: IEEE; 2014:2936-2943. doi:<a href="https://doi.org/10.1109/ICCV.2013.365">10.1109/ICCV.2013.365</a>'
  apa: 'Olsson, C., Ulen, J., Boykov, Y., &#38; Kolmogorov, V. (2014). Partial enumeration
    and curvature regularization (pp. 2936–2943). Presented at the ICCV: International
    Conference on Computer Vision, Sydney, Australia: IEEE. <a href="https://doi.org/10.1109/ICCV.2013.365">https://doi.org/10.1109/ICCV.2013.365</a>'
  chicago: Olsson, Carl, Johannes Ulen, Yuri Boykov, and Vladimir Kolmogorov. “Partial
    Enumeration and Curvature Regularization,” 2936–43. IEEE, 2014. <a href="https://doi.org/10.1109/ICCV.2013.365">https://doi.org/10.1109/ICCV.2013.365</a>.
  ieee: 'C. Olsson, J. Ulen, Y. Boykov, and V. Kolmogorov, “Partial enumeration and
    curvature regularization,” presented at the ICCV: International Conference on
    Computer Vision, Sydney, Australia, 2014, pp. 2936–2943.'
  ista: 'Olsson C, Ulen J, Boykov Y, Kolmogorov V. 2014. Partial enumeration and curvature
    regularization. ICCV: International Conference on Computer Vision, 2936–2943.'
  mla: Olsson, Carl, et al. <i>Partial Enumeration and Curvature Regularization</i>.
    IEEE, 2014, pp. 2936–43, doi:<a href="https://doi.org/10.1109/ICCV.2013.365">10.1109/ICCV.2013.365</a>.
  short: C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.
conference:
  end_date: 2013-12-08
  location: Sydney, Australia
  name: 'ICCV: International Conference on Computer Vision'
  start_date: 2013-12-01
date_created: 2018-12-11T11:56:42Z
date_published: 2014-03-03T00:00:00Z
date_updated: 2025-09-29T14:28:16Z
day: '03'
ddc:
- '000'
department:
- _id: VlKo
doi: 10.1109/ICCV.2013.365
external_id:
  isi:
  - '000351830500367'
file:
- access_level: open_access
  checksum: 4a74b5c92d6dcd2348c2c10ec8dd18bf
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:09:30Z
  date_updated: 2020-07-14T12:45:36Z
  file_id: '4754'
  file_name: IST-2016-566-v1+1_iccv13_part_enumeration.pdf
  file_size: 378601
  relation: main_file
file_date_updated: 2020-07-14T12:45:36Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
page: 2936 - 2943
publication_status: published
publisher: IEEE
publist_id: '4669'
pubrep_id: '566'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Partial enumeration and curvature regularization
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2014'
...
---
_id: '2281'
abstract:
- lang: eng
  text: We consider two-dimensional Bose-Einstein condensates with attractive interaction,
    described by the Gross-Pitaevskii functional. Minimizers of this functional exist
    only if the interaction strength a satisfies {Mathematical expression}, where
    Q is the unique positive radial solution of {Mathematical expression} in {Mathematical
    expression}. We present a detailed analysis of the behavior of minimizers as a
    approaches a*, where all the mass concentrates at a global minimum of the trapping
    potential.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Yujin
  full_name: Guo, Yujin
  last_name: Guo
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Guo Y, Seiringer R. On the mass concentration for Bose-Einstein condensates
    with attractive interactions. <i>Letters in Mathematical Physics</i>. 2014;104(2):141-156.
    doi:<a href="https://doi.org/10.1007/s11005-013-0667-9">10.1007/s11005-013-0667-9</a>
  apa: Guo, Y., &#38; Seiringer, R. (2014). On the mass concentration for Bose-Einstein
    condensates with attractive interactions. <i>Letters in Mathematical Physics</i>.
    Springer. <a href="https://doi.org/10.1007/s11005-013-0667-9">https://doi.org/10.1007/s11005-013-0667-9</a>
  chicago: Guo, Yujin, and Robert Seiringer. “On the Mass Concentration for Bose-Einstein
    Condensates with Attractive Interactions.” <i>Letters in Mathematical Physics</i>.
    Springer, 2014. <a href="https://doi.org/10.1007/s11005-013-0667-9">https://doi.org/10.1007/s11005-013-0667-9</a>.
  ieee: Y. Guo and R. Seiringer, “On the mass concentration for Bose-Einstein condensates
    with attractive interactions,” <i>Letters in Mathematical Physics</i>, vol. 104,
    no. 2. Springer, pp. 141–156, 2014.
  ista: Guo Y, Seiringer R. 2014. On the mass concentration for Bose-Einstein condensates
    with attractive interactions. Letters in Mathematical Physics. 104(2), 141–156.
  mla: Guo, Yujin, and Robert Seiringer. “On the Mass Concentration for Bose-Einstein
    Condensates with Attractive Interactions.” <i>Letters in Mathematical Physics</i>,
    vol. 104, no. 2, Springer, 2014, pp. 141–56, doi:<a href="https://doi.org/10.1007/s11005-013-0667-9">10.1007/s11005-013-0667-9</a>.
  short: Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
corr_author: '1'
date_created: 2018-12-11T11:56:44Z
date_published: 2014-02-01T00:00:00Z
date_updated: 2025-09-29T11:12:19Z
day: '01'
department:
- _id: RoSe
doi: 10.1007/s11005-013-0667-9
external_id:
  arxiv:
  - '1301.5682'
  isi:
  - '000330128000002'
intvolume: '       104'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1301.5682
month: '02'
oa: 1
oa_version: Preprint
page: 141 - 156
publication: Letters in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '4653'
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the mass concentration for Bose-Einstein condensates with attractive interactions
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 104
year: '2014'
...
---
_id: '2285'
abstract:
- lang: eng
  text: GABAergic inhibitory interneurons control fundamental aspects of neuronal
    network function. Their functional roles are assumed to be defined by the identity
    of their input synapses, the architecture of their dendritic tree, the passive
    and active membrane properties and finally the nature of their postsynaptic targets.
    Indeed, interneurons display a high degree of morphological and physiological
    heterogeneity. However, whether their morphological and physiological characteristics
    are correlated and whether interneuron diversity can be described by a continuum
    of GABAergic cell types or by distinct classes has remained unclear. Here we perform
    a detailed morphological and physiological characterization of GABAergic cells
    in the dentate gyrus, the input region of the hippocampus. To achieve an unbiased
    and efficient sampling and classification we used knock-in mice expressing the
    enhanced green fluorescent protein (eGFP) in glutamate decarboxylase 67 (GAD67)-positive
    neurons and performed cluster analysis. We identified five interneuron classes,
    each of them characterized by a distinct set of anatomical and physiological parameters.
    Cross-correlation analysis further revealed a direct relation between morphological
    and physiological properties indicating that dentate gyrus interneurons fall into
    functionally distinct classes which may differentially control neuronal network
    activity.
acknowledgement: 'Funded by Deutsche Forschungsgemeinschaft. Grant Numbers: SFB 505,
  SFB 780, BA1582/2-1 Excellence Initiative of the German Research Foundation (Spemann
  Graduate School). Grant Number: GSC-4 Lichtenberg Professorship-Award (VW-Foundation);
  Schram-Foundation; Excellence Initiative Brain Links-Brain Tools. The authors thank
  Drs. Jonas-Frederic Sauer and Claudio Elgueta for critically reading the manuscript.
  They also thank Karin Winterhalter, Margit Northemann and Ulrich Nöller for technical
  assistance.'
article_processing_charge: No
author:
- first_name: Jonas
  full_name: Hosp, Jonas
  last_name: Hosp
- first_name: Michael
  full_name: Strüber, Michael
  last_name: Strüber
- first_name: Yuchio
  full_name: Yanagawa, Yuchio
  last_name: Yanagawa
- first_name: Kunihiko
  full_name: Obata, Kunihiko
  last_name: Obata
- first_name: Imre
  full_name: Vida, Imre
  last_name: Vida
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
- first_name: Marlene
  full_name: Bartos, Marlene
  last_name: Bartos
citation:
  ama: Hosp J, Strüber M, Yanagawa Y, et al. Morpho-physiological criteria divide
    dentate gyrus interneurons into classes. <i>Hippocampus</i>. 2014;23(2):189-203.
    doi:<a href="https://doi.org/10.1002/hipo.22214">10.1002/hipo.22214</a>
  apa: Hosp, J., Strüber, M., Yanagawa, Y., Obata, K., Vida, I., Jonas, P. M., &#38;
    Bartos, M. (2014). Morpho-physiological criteria divide dentate gyrus interneurons
    into classes. <i>Hippocampus</i>. Wiley-Blackwell. <a href="https://doi.org/10.1002/hipo.22214">https://doi.org/10.1002/hipo.22214</a>
  chicago: Hosp, Jonas, Michael Strüber, Yuchio Yanagawa, Kunihiko Obata, Imre Vida,
    Peter M Jonas, and Marlene Bartos. “Morpho-Physiological Criteria Divide Dentate
    Gyrus Interneurons into Classes.” <i>Hippocampus</i>. Wiley-Blackwell, 2014. <a
    href="https://doi.org/10.1002/hipo.22214">https://doi.org/10.1002/hipo.22214</a>.
  ieee: J. Hosp <i>et al.</i>, “Morpho-physiological criteria divide dentate gyrus
    interneurons into classes,” <i>Hippocampus</i>, vol. 23, no. 2. Wiley-Blackwell,
    pp. 189–203, 2014.
  ista: Hosp J, Strüber M, Yanagawa Y, Obata K, Vida I, Jonas PM, Bartos M. 2014.
    Morpho-physiological criteria divide dentate gyrus interneurons into classes.
    Hippocampus. 23(2), 189–203.
  mla: Hosp, Jonas, et al. “Morpho-Physiological Criteria Divide Dentate Gyrus Interneurons
    into Classes.” <i>Hippocampus</i>, vol. 23, no. 2, Wiley-Blackwell, 2014, pp.
    189–203, doi:<a href="https://doi.org/10.1002/hipo.22214">10.1002/hipo.22214</a>.
  short: J. Hosp, M. Strüber, Y. Yanagawa, K. Obata, I. Vida, P.M. Jonas, M. Bartos,
    Hippocampus 23 (2014) 189–203.
date_created: 2018-12-11T11:56:46Z
date_published: 2014-02-01T00:00:00Z
date_updated: 2025-09-29T11:11:47Z
day: '01'
ddc:
- '570'
department:
- _id: PeJo
doi: 10.1002/hipo.22214
external_id:
  isi:
  - '000329879300006'
file:
- access_level: open_access
  checksum: ff6bc75a79dbc985a2e31b79253e6444
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:15:54Z
  date_updated: 2020-07-14T12:45:37Z
  file_id: '5178'
  file_name: IST-2016-461-v1+1_Hosp_et_al-2014-Hippocampus.pdf
  file_size: 801589
  relation: main_file
file_date_updated: 2020-07-14T12:45:37Z
has_accepted_license: '1'
intvolume: '        23'
isi: 1
issue: '2'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '02'
oa: 1
oa_version: Published Version
page: 189 - 203
publication: Hippocampus
publication_status: published
publisher: Wiley-Blackwell
publist_id: '4646'
pubrep_id: '461'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Morpho-physiological criteria divide dentate gyrus interneurons into classes
tmp:
  image: /images/cc_by_nc.png
  legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
  short: CC BY-NC (4.0)
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 23
year: '2014'
...
---
_id: '2407'
abstract:
- lang: eng
  text: 'Two definitions of the effective mass of a particle interacting with a quantum
    field, such as a polaron, are considered and shown to be equal in models similar
    to the Fröhlich polaron model. These are: 1. the mass defined by the low momentum
    energy E(P)≈E(0)+P2/2 M of the translation invariant system constrained to have
    momentum P and 2. the mass M of a simple particle in an arbitrary slowly varying
    external potential, V, described by the nonrelativistic Schrödinger equation,
    whose ground state energy equals that of the combined particle/field system in
    a bound state in the same V.'
author:
- first_name: Élliott
  full_name: Lieb, Élliott
  last_name: Lieb
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Lieb É, Seiringer R. Equivalence of two definitions of the effective mass of
    a polaron. <i>Journal of Statistical Physics</i>. 2014;154(1-2):51-57. doi:<a
    href="https://doi.org/10.1007/s10955-013-0791-z">10.1007/s10955-013-0791-z</a>
  apa: Lieb, É., &#38; Seiringer, R. (2014). Equivalence of two definitions of the
    effective mass of a polaron. <i>Journal of Statistical Physics</i>. Springer.
    <a href="https://doi.org/10.1007/s10955-013-0791-z">https://doi.org/10.1007/s10955-013-0791-z</a>
  chicago: Lieb, Élliott, and Robert Seiringer. “Equivalence of Two Definitions of
    the Effective Mass of a Polaron.” <i>Journal of Statistical Physics</i>. Springer,
    2014. <a href="https://doi.org/10.1007/s10955-013-0791-z">https://doi.org/10.1007/s10955-013-0791-z</a>.
  ieee: É. Lieb and R. Seiringer, “Equivalence of two definitions of the effective
    mass of a polaron,” <i>Journal of Statistical Physics</i>, vol. 154, no. 1–2.
    Springer, pp. 51–57, 2014.
  ista: Lieb É, Seiringer R. 2014. Equivalence of two definitions of the effective
    mass of a polaron. Journal of Statistical Physics. 154(1–2), 51–57.
  mla: Lieb, Élliott, and Robert Seiringer. “Equivalence of Two Definitions of the
    Effective Mass of a Polaron.” <i>Journal of Statistical Physics</i>, vol. 154,
    no. 1–2, Springer, 2014, pp. 51–57, doi:<a href="https://doi.org/10.1007/s10955-013-0791-z">10.1007/s10955-013-0791-z</a>.
  short: É. Lieb, R. Seiringer, Journal of Statistical Physics 154 (2014) 51–57.
date_created: 2018-12-11T11:57:29Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:57:18Z
day: '01'
doi: 10.1007/s10955-013-0791-z
extern: '1'
intvolume: '       154'
issue: 1-2
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1304.1780
month: '01'
oa: 1
oa_version: Submitted Version
page: 51 - 57
project:
- _id: 26450934-B435-11E9-9278-68D0E5697425
  name: NSERC Postdoctoral fellowship
publication: Journal of Statistical Physics
publication_status: published
publisher: Springer
publist_id: '4519'
quality_controlled: '1'
status: public
title: Equivalence of two definitions of the effective mass of a polaron
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 154
year: '2014'
...
---
_id: '248'
abstract:
- lang: eng
  text: For any pencil of conics or higher-dimensional quadrics over ℚ, with all degenerate
    fibres defined over ℚ, we show that the Brauer–Manin obstruction controls weak
    approximation. The proof is based on the Hasse principle and weak approximation
    for some special intersections of quadrics over ℚ, which is a consequence of recent
    advances in additive combinatorics.
acknowledgement: While working on this paper the first two authors were supported
  by EPSRC grant EP/E053262/1, and the first author was further supported by ERC grant
  306457.
author:
- first_name: Timothy D
  full_name: Timothy Browning
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Lilian
  full_name: Matthiesen, Lilian
  last_name: Matthiesen
- first_name: Alexei
  full_name: Skorobogatov, Alexei N
  last_name: Skorobogatov
citation:
  ama: Browning TD, Matthiesen L, Skorobogatov A. Rational points on pencils of conics
    and quadrics with many degenerate fibres. <i>Annals of Mathematics</i>. 2014;180(1):381-402.
    doi:<a href="https://doi.org/10.4007/annals.2014.180.1.8">https://doi.org/10.4007/annals.2014.180.1.8</a>
  apa: Browning, T. D., Matthiesen, L., &#38; Skorobogatov, A. (2014). Rational points
    on pencils of conics and quadrics with many degenerate fibres. <i>Annals of Mathematics</i>.
    John Hopkins University Press. <a href="https://doi.org/10.4007/annals.2014.180.1.8">https://doi.org/10.4007/annals.2014.180.1.8</a>
  chicago: Browning, Timothy D, Lilian Matthiesen, and Alexei Skorobogatov. “Rational
    Points on Pencils of Conics and Quadrics with Many Degenerate Fibres.” <i>Annals
    of Mathematics</i>. John Hopkins University Press, 2014. <a href="https://doi.org/10.4007/annals.2014.180.1.8">https://doi.org/10.4007/annals.2014.180.1.8</a>.
  ieee: T. D. Browning, L. Matthiesen, and A. Skorobogatov, “Rational points on pencils
    of conics and quadrics with many degenerate fibres,” <i>Annals of Mathematics</i>,
    vol. 180, no. 1. John Hopkins University Press, pp. 381–402, 2014.
  ista: Browning TD, Matthiesen L, Skorobogatov A. 2014. Rational points on pencils
    of conics and quadrics with many degenerate fibres. Annals of Mathematics. 180(1),
    381–402.
  mla: Browning, Timothy D., et al. “Rational Points on Pencils of Conics and Quadrics
    with Many Degenerate Fibres.” <i>Annals of Mathematics</i>, vol. 180, no. 1, John
    Hopkins University Press, 2014, pp. 381–402, doi:<a href="https://doi.org/10.4007/annals.2014.180.1.8">https://doi.org/10.4007/annals.2014.180.1.8</a>.
  short: T.D. Browning, L. Matthiesen, A. Skorobogatov, Annals of Mathematics 180
    (2014) 381–402.
date_created: 2018-12-11T11:45:25Z
date_published: 2014-07-01T00:00:00Z
date_updated: 2021-01-12T06:57:44Z
day: '01'
doi: https://doi.org/10.4007/annals.2014.180.1.8
extern: 1
intvolume: '       180'
issue: '1'
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1209.0207
month: '07'
oa: 1
page: 381 - 402
publication: Annals of Mathematics
publication_status: published
publisher: John Hopkins University Press
publist_id: '7655'
quality_controlled: 0
status: public
title: Rational points on pencils of conics and quadrics with many degenerate fibres
type: journal_article
volume: 180
year: '2014'
...
---
_id: '249'
abstract:
- lang: eng
  text: 'A version of the Hardy-Littlewood circle method is developed for number fields
    K/ℚ and is used to show that nonsingular projective cubic hypersurfaces over K
    always have a K-rational point when they have dimension at least 8. '
author:
- first_name: Timothy D
  full_name: Timothy Browning
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Pankaj
  full_name: Vishe, Pankaj
  last_name: Vishe
citation:
  ama: Browning TD, Vishe P. Cubic hypersurfaces and a version of the circle method
    for number fields. <i>Duke Mathematical Journal</i>. 2014;163(10):1825-1883. doi:<a
    href="https://doi.org/10.1215/00127094-2738530">10.1215/00127094-2738530</a>
  apa: Browning, T. D., &#38; Vishe, P. (2014). Cubic hypersurfaces and a version
    of the circle method for number fields. <i>Duke Mathematical Journal</i>. Duke
    University Press. <a href="https://doi.org/10.1215/00127094-2738530">https://doi.org/10.1215/00127094-2738530</a>
  chicago: Browning, Timothy D, and Pankaj Vishe. “Cubic Hypersurfaces and a Version
    of the Circle Method for Number Fields.” <i>Duke Mathematical Journal</i>. Duke
    University Press, 2014. <a href="https://doi.org/10.1215/00127094-2738530">https://doi.org/10.1215/00127094-2738530</a>.
  ieee: T. D. Browning and P. Vishe, “Cubic hypersurfaces and a version of the circle
    method for number fields,” <i>Duke Mathematical Journal</i>, vol. 163, no. 10.
    Duke University Press, pp. 1825–1883, 2014.
  ista: Browning TD, Vishe P. 2014. Cubic hypersurfaces and a version of the circle
    method for number fields. Duke Mathematical Journal. 163(10), 1825–1883.
  mla: Browning, Timothy D., and Pankaj Vishe. “Cubic Hypersurfaces and a Version
    of the Circle Method for Number Fields.” <i>Duke Mathematical Journal</i>, vol.
    163, no. 10, Duke University Press, 2014, pp. 1825–83, doi:<a href="https://doi.org/10.1215/00127094-2738530">10.1215/00127094-2738530</a>.
  short: T.D. Browning, P. Vishe, Duke Mathematical Journal 163 (2014) 1825–1883.
date_created: 2018-12-11T11:45:26Z
date_published: 2014-07-01T00:00:00Z
date_updated: 2021-01-12T06:57:47Z
day: '01'
doi: 10.1215/00127094-2738530
extern: 1
intvolume: '       163'
issue: '10'
month: '07'
page: 1825 - 1883
publication: Duke Mathematical Journal
publication_status: published
publisher: Duke University Press
publist_id: '7653'
quality_controlled: 0
status: public
title: Cubic hypersurfaces and a version of the circle method for number fields
type: journal_article
volume: 163
year: '2014'
...
---
_id: '252'
abstract:
- lang: eng
  text: For any number field k, upper bounds are established for the number of k-rational
    points of bounded height on non-singular del Pezzo surfaces defined over k, which
    are equipped with suitable conic bundle structures over k.
author:
- first_name: Timothy D
  full_name: Timothy Browning
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Michael
  full_name: Jones, Michael S
  last_name: Jones
citation:
  ama: Browning TD, Jones M. Counting rational points on del Pezzo surfaces with a
    conic bundle structure. <i>Acta Arithmetica</i>. 2014;163(3):271-298. doi:<a href="https://doi.org/10.4064/aa163-3-6">10.4064/aa163-3-6</a>
  apa: Browning, T. D., &#38; Jones, M. (2014). Counting rational points on del Pezzo
    surfaces with a conic bundle structure. <i>Acta Arithmetica</i>. Instytut Matematyczny.
    <a href="https://doi.org/10.4064/aa163-3-6">https://doi.org/10.4064/aa163-3-6</a>
  chicago: Browning, Timothy D, and Michael Jones. “Counting Rational Points on Del
    Pezzo Surfaces with a Conic Bundle Structure.” <i>Acta Arithmetica</i>. Instytut
    Matematyczny, 2014. <a href="https://doi.org/10.4064/aa163-3-6">https://doi.org/10.4064/aa163-3-6</a>.
  ieee: T. D. Browning and M. Jones, “Counting rational points on del Pezzo surfaces
    with a conic bundle structure,” <i>Acta Arithmetica</i>, vol. 163, no. 3. Instytut
    Matematyczny, pp. 271–298, 2014.
  ista: Browning TD, Jones M. 2014. Counting rational points on del Pezzo surfaces
    with a conic bundle structure. Acta Arithmetica. 163(3), 271–298.
  mla: Browning, Timothy D., and Michael Jones. “Counting Rational Points on Del Pezzo
    Surfaces with a Conic Bundle Structure.” <i>Acta Arithmetica</i>, vol. 163, no.
    3, Instytut Matematyczny, 2014, pp. 271–98, doi:<a href="https://doi.org/10.4064/aa163-3-6">10.4064/aa163-3-6</a>.
  short: T.D. Browning, M. Jones, Acta Arithmetica 163 (2014) 271–298.
date_created: 2018-12-11T11:45:26Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:57:59Z
day: '01'
doi: 10.4064/aa163-3-6
extern: 1
intvolume: '       163'
issue: '3'
month: '01'
page: 271 - 298
publication: Acta Arithmetica
publication_status: published
publisher: Instytut Matematyczny
publist_id: '7650'
quality_controlled: 0
status: public
title: Counting rational points on del Pezzo surfaces with a conic bundle structure
type: journal_article
volume: 163
year: '2014'
...
---
_id: '254'
abstract:
- lang: eng
  text: A new &quot;polynomial sieve&quot; is presented and used to show that almost
    all integers have at most one representation as a sum of two values of a given
    polynomial of degree at least 3.
acknowledgement: While working on this paper, the author was supported by ERC grant
  306457 and a Philip Leverhulme Prize.
article_processing_charge: No
author:
- first_name: Timothy D
  full_name: Browning, Timothy D
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
citation:
  ama: Browning TD. The polynomial sieve and equal sums of like polynomials. <i>International
    Mathematics Research Notices</i>. 2014;2015(7):1987-2019. doi:<a href="https://doi.org/10.1093/imrn/rnt350">10.1093/imrn/rnt350</a>
  apa: Browning, T. D. (2014). The polynomial sieve and equal sums of like polynomials.
    <i>International Mathematics Research Notices</i>. Oxford University Press. <a
    href="https://doi.org/10.1093/imrn/rnt350">https://doi.org/10.1093/imrn/rnt350</a>
  chicago: Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.”
    <i>International Mathematics Research Notices</i>. Oxford University Press, 2014.
    <a href="https://doi.org/10.1093/imrn/rnt350">https://doi.org/10.1093/imrn/rnt350</a>.
  ieee: T. D. Browning, “The polynomial sieve and equal sums of like polynomials,”
    <i>International Mathematics Research Notices</i>, vol. 2015, no. 7. Oxford University
    Press, pp. 1987–2019, 2014.
  ista: Browning TD. 2014. The polynomial sieve and equal sums of like polynomials.
    International Mathematics Research Notices. 2015(7), 1987–2019.
  mla: Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.”
    <i>International Mathematics Research Notices</i>, vol. 2015, no. 7, Oxford University
    Press, 2014, pp. 1987–2019, doi:<a href="https://doi.org/10.1093/imrn/rnt350">10.1093/imrn/rnt350</a>.
  short: T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019.
date_created: 2018-12-11T11:45:27Z
date_published: 2014-01-31T00:00:00Z
date_updated: 2025-09-09T12:16:44Z
day: '31'
doi: 10.1093/imrn/rnt350
extern: '1'
intvolume: '      2015'
issue: '7'
language:
- iso: eng
month: '01'
oa_version: None
page: 1987 - 2019
publication: International Mathematics Research Notices
publication_status: published
publisher: Oxford University Press
publist_id: '7648'
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1093/imrn/rnae066
  record:
  - id: '19051'
    relation: later_version
    status: public
scopus_import: '1'
status: public
title: The polynomial sieve and equal sums of like polynomials
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2015
year: '2014'
...
---
_id: '255'
abstract:
- lang: eng
  text: We investigate the Hasse principle for complete intersections cut out by a
    quadric hypersurface and a cubic hypersurface defined over the rational numbers.
article_processing_charge: No
author:
- first_name: Timothy D
  full_name: Browning, Timothy D
  id: 35827D50-F248-11E8-B48F-1D18A9856A87
  last_name: Browning
  orcid: 0000-0002-8314-0177
- first_name: Rainer
  full_name: Dietmann, Rainer
  last_name: Dietmann
- first_name: Roger
  full_name: Heath Brown, Roger
  last_name: Heath Brown
citation:
  ama: Browning TD, Dietmann R, Heath Brown R. Rational points on intersections of
    cubic and quadric hypersurfaces. <i>Journal of the Institute of Mathematics of
    Jussieu</i>. 2014;14(4):703-749. doi:<a href="https://doi.org/10.1017/S1474748014000127">10.1017/S1474748014000127</a>
  apa: Browning, T. D., Dietmann, R., &#38; Heath Brown, R. (2014). Rational points
    on intersections of cubic and quadric hypersurfaces. <i>Journal of the Institute
    of Mathematics of Jussieu</i>. Cambridge University Press. <a href="https://doi.org/10.1017/S1474748014000127">https://doi.org/10.1017/S1474748014000127</a>
  chicago: Browning, Timothy D, Rainer Dietmann, and Roger Heath Brown. “Rational
    Points on Intersections of Cubic and Quadric Hypersurfaces.” <i>Journal of the
    Institute of Mathematics of Jussieu</i>. Cambridge University Press, 2014. <a
    href="https://doi.org/10.1017/S1474748014000127">https://doi.org/10.1017/S1474748014000127</a>.
  ieee: T. D. Browning, R. Dietmann, and R. Heath Brown, “Rational points on intersections
    of cubic and quadric hypersurfaces,” <i>Journal of the Institute of Mathematics
    of Jussieu</i>, vol. 14, no. 4. Cambridge University Press, pp. 703–749, 2014.
  ista: Browning TD, Dietmann R, Heath Brown R. 2014. Rational points on intersections
    of cubic and quadric hypersurfaces. Journal of the Institute of Mathematics of
    Jussieu. 14(4), 703–749.
  mla: Browning, Timothy D., et al. “Rational Points on Intersections of Cubic and
    Quadric Hypersurfaces.” <i>Journal of the Institute of Mathematics of Jussieu</i>,
    vol. 14, no. 4, Cambridge University Press, 2014, pp. 703–49, doi:<a href="https://doi.org/10.1017/S1474748014000127">10.1017/S1474748014000127</a>.
  short: T.D. Browning, R. Dietmann, R. Heath Brown, Journal of the Institute of Mathematics
    of Jussieu 14 (2014) 703–749.
date_created: 2018-12-11T11:45:27Z
date_published: 2014-01-05T00:00:00Z
date_updated: 2021-11-16T08:07:06Z
day: '05'
doi: 10.1017/S1474748014000127
extern: '1'
intvolume: '        14'
issue: '4'
language:
- iso: eng
month: '01'
oa_version: None
page: 703 - 749
publication: Journal of the Institute of Mathematics of Jussieu
publication_status: published
publisher: Cambridge University Press
publist_id: '7647'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1017/S1474748014000279
status: public
title: Rational points on intersections of cubic and quadric hypersurfaces
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 14
year: '2014'
...
---
_id: '1629'
abstract:
- lang: eng
  text: We propose a method for propagating edit operations in 2D vector graphics,
    based on geometric relationship functions. These functions quantify the geometric
    relationship of a point to a polygon, such as the distance to the boundary or
    the direction to the closest corner vertex. The level sets of the relationship
    functions describe points with the same relationship to a polygon. For a given
    query point, we first determine a set of relationships to local features, construct
    all level sets for these relationships, and accumulate them. The maxima of the
    resulting distribution are points with similar geometric relationships. We show
    extensions to handle mirror symmetries, and discuss the use of relationship functions
    as local coordinate systems. Our method can be applied, for example, to interactive
    floorplan editing, and it is especially useful for large layouts, where individual
    edits would be cumbersome. We demonstrate populating 2D layouts with tens to hundreds
    of objects by propagating relatively few edit operations.
article_number: '15'
article_processing_charge: No
author:
- first_name: Paul
  full_name: Guerrero, Paul
  last_name: Guerrero
- first_name: Stefan
  full_name: Jeschke, Stefan
  id: 44D6411A-F248-11E8-B48F-1D18A9856A87
  last_name: Jeschke
- first_name: Michael
  full_name: Wimmer, Michael
  last_name: Wimmer
- first_name: Peter
  full_name: Wonka, Peter
  last_name: Wonka
citation:
  ama: Guerrero P, Jeschke S, Wimmer M, Wonka P. Edit propagation using geometric
    relationship functions. <i>ACM Transactions on Graphics</i>. 2014;33(2). doi:<a
    href="https://doi.org/10.1145/2591010">10.1145/2591010</a>
  apa: Guerrero, P., Jeschke, S., Wimmer, M., &#38; Wonka, P. (2014). Edit propagation
    using geometric relationship functions. <i>ACM Transactions on Graphics</i>. ACM.
    <a href="https://doi.org/10.1145/2591010">https://doi.org/10.1145/2591010</a>
  chicago: Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Edit
    Propagation Using Geometric Relationship Functions.” <i>ACM Transactions on Graphics</i>.
    ACM, 2014. <a href="https://doi.org/10.1145/2591010">https://doi.org/10.1145/2591010</a>.
  ieee: P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Edit propagation using
    geometric relationship functions,” <i>ACM Transactions on Graphics</i>, vol. 33,
    no. 2. ACM, 2014.
  ista: Guerrero P, Jeschke S, Wimmer M, Wonka P. 2014. Edit propagation using geometric
    relationship functions. ACM Transactions on Graphics. 33(2), 15.
  mla: Guerrero, Paul, et al. “Edit Propagation Using Geometric Relationship Functions.”
    <i>ACM Transactions on Graphics</i>, vol. 33, no. 2, 15, ACM, 2014, doi:<a href="https://doi.org/10.1145/2591010">10.1145/2591010</a>.
  short: P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics
    33 (2014).
date_created: 2018-12-11T11:53:08Z
date_published: 2014-03-01T00:00:00Z
date_updated: 2025-09-29T13:16:25Z
day: '01'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1145/2591010
external_id:
  isi:
  - '000335009900003'
file:
- access_level: open_access
  checksum: 7f91e588a4e888610313b98271e6418e
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:11:22Z
  date_updated: 2020-07-14T12:45:07Z
  file_id: '4876'
  file_name: IST-2016-577-v1+1_2014.TOG.Paul.EditingPropagation.final.pdf
  file_size: 9832561
  relation: main_file
file_date_updated: 2020-07-14T12:45:07Z
has_accepted_license: '1'
intvolume: '        33'
isi: 1
issue: '2'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '5526'
pubrep_id: '577'
quality_controlled: '1'
status: public
title: Edit propagation using geometric relationship functions
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 33
year: '2014'
...
---
_id: '1643'
abstract:
- lang: eng
  text: We extend the notion of verifiable random functions (VRF) to constrained VRFs,
    which generalize the concept of constrained pseudorandom functions, put forward
    by Boneh and Waters (Asiacrypt’13), and independently by Kiayias et al. (CCS’13)
    and Boyle et al. (PKC’14), who call them delegatable PRFs and functional PRFs,
    respectively. In a standard VRF the secret key sk allows one to evaluate a pseudorandom
    function at any point of its domain; in addition, it enables computation of a
    non-interactive proof that the function value was computed correctly. In a constrained
    VRF from the key sk one can derive constrained keys skS for subsets S of the domain,
    which allow computation of function values and proofs only at points in S. After
    formally defining constrained VRFs, we derive instantiations from the multilinear-maps-based
    constrained PRFs by Boneh and Waters, yielding a VRF with constrained keys for
    any set that can be decided by a polynomial-size circuit. Our VRFs have the same
    function values as the Boneh-Waters PRFs and are proved secure under the same
    hardness assumption, showing that verifiability comes at no cost. Constrained
    (functional) VRFs were stated as an open problem by Boyle et al.
alternative_title:
- LNCS
author:
- first_name: Georg
  full_name: Fuchsbauer, Georg
  id: 46B4C3EE-F248-11E8-B48F-1D18A9856A87
  last_name: Fuchsbauer
citation:
  ama: 'Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De
    Prisco R, eds. <i>SCN 2014</i>. Vol 8642. Springer; 2014:95-114. doi:<a href="https://doi.org/10.1007/978-3-319-10879-7_7">10.1007/978-3-319-10879-7_7</a>'
  apa: 'Fuchsbauer, G. (2014). Constrained Verifiable Random Functions . In M. Abdalla
    &#38; R. De Prisco (Eds.), <i>SCN 2014</i> (Vol. 8642, pp. 95–114). Amalfi, Italy:
    Springer. <a href="https://doi.org/10.1007/978-3-319-10879-7_7">https://doi.org/10.1007/978-3-319-10879-7_7</a>'
  chicago: Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” In <i>SCN
    2014</i>, edited by Michel Abdalla and Roberto De Prisco, 8642:95–114. Springer,
    2014. <a href="https://doi.org/10.1007/978-3-319-10879-7_7">https://doi.org/10.1007/978-3-319-10879-7_7</a>.
  ieee: G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in <i>SCN 2014</i>,
    Amalfi, Italy, 2014, vol. 8642, pp. 95–114.
  ista: 'Fuchsbauer G. 2014. Constrained Verifiable Random Functions . SCN 2014. SCN:
    Security and Cryptography for Networks, LNCS, vol. 8642, 95–114.'
  mla: Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” <i>SCN 2014</i>,
    edited by Michel Abdalla and Roberto De Prisco, vol. 8642, Springer, 2014, pp.
    95–114, doi:<a href="https://doi.org/10.1007/978-3-319-10879-7_7">10.1007/978-3-319-10879-7_7</a>.
  short: G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer,
    2014, pp. 95–114.
conference:
  end_date: 2014-09-05
  location: Amalfi, Italy
  name: 'SCN: Security and Cryptography for Networks'
  start_date: 2014-09-03
corr_author: '1'
date_created: 2018-12-11T11:53:13Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2024-10-09T20:55:56Z
day: '01'
department:
- _id: KrPi
doi: 10.1007/978-3-319-10879-7_7
ec_funded: 1
editor:
- first_name: Michel
  full_name: Abdalla, Michel
  last_name: Abdalla
- first_name: Roberto
  full_name: De Prisco, Roberto
  last_name: De Prisco
intvolume: '      8642'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://eprint.iacr.org/2014/537
month: '01'
oa: 1
oa_version: Submitted Version
page: 95 - 114
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '259668'
  name: Provable Security for Physical Cryptography
publication: SCN 2014
publication_status: published
publisher: Springer
publist_id: '5509'
scopus_import: 1
status: public
title: 'Constrained Verifiable Random Functions '
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 8642
year: '2014'
...
---
_id: '1702'
abstract:
- lang: eng
  text: In this paper we present INTERHORN, a solver for recursion-free Horn clauses.
    The main application domain of INTERHORN lies in solving interpolation problems
    arising in software verification. We show how a range of interpolation problems,
    including path, transition, nested, state/transition and well-founded interpolation
    can be handled directly by INTERHORN. By detailing these interpolation problems
    and their Horn clause representations, we hope to encourage the emergence of a
    common back-end interpolation interface useful for diverse verification tools.
alternative_title:
- EPTCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Ashutosh
  full_name: Gupta, Ashutosh
  id: 335E5684-F248-11E8-B48F-1D18A9856A87
  last_name: Gupta
- first_name: Corneliu
  full_name: Popeea, Corneliu
  last_name: Popeea
- first_name: Andrey
  full_name: Rybalchenko, Andrey
  last_name: Rybalchenko
citation:
  ama: 'Gupta A, Popeea C, Rybalchenko A. Generalised interpolation by solving recursion
    free-horn clauses. In: <i>Electronic Proceedings in Theoretical Computer Science,
    EPTCS</i>. Vol 169. Open Publishing Association; 2014:31-38. doi:<a href="https://doi.org/10.4204/EPTCS.169.5">10.4204/EPTCS.169.5</a>'
  apa: 'Gupta, A., Popeea, C., &#38; Rybalchenko, A. (2014). Generalised interpolation
    by solving recursion free-horn clauses. In <i>Electronic Proceedings in Theoretical
    Computer Science, EPTCS</i> (Vol. 169, pp. 31–38). Vienna, Austria: Open Publishing
    Association. <a href="https://doi.org/10.4204/EPTCS.169.5">https://doi.org/10.4204/EPTCS.169.5</a>'
  chicago: Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised
    Interpolation by Solving Recursion Free-Horn Clauses.” In <i>Electronic Proceedings
    in Theoretical Computer Science, EPTCS</i>, 169:31–38. Open Publishing Association,
    2014. <a href="https://doi.org/10.4204/EPTCS.169.5">https://doi.org/10.4204/EPTCS.169.5</a>.
  ieee: A. Gupta, C. Popeea, and A. Rybalchenko, “Generalised interpolation by solving
    recursion free-horn clauses,” in <i>Electronic Proceedings in Theoretical Computer
    Science, EPTCS</i>, Vienna, Austria, 2014, vol. 169, pp. 31–38.
  ista: 'Gupta A, Popeea C, Rybalchenko A. 2014. Generalised interpolation by solving
    recursion free-horn clauses. Electronic Proceedings in Theoretical Computer Science,
    EPTCS. HCVS: Horn Clauses for Verification and Synthesis, EPTCS, vol. 169, 31–38.'
  mla: Gupta, Ashutosh, et al. “Generalised Interpolation by Solving Recursion Free-Horn
    Clauses.” <i>Electronic Proceedings in Theoretical Computer Science, EPTCS</i>,
    vol. 169, Open Publishing Association, 2014, pp. 31–38, doi:<a href="https://doi.org/10.4204/EPTCS.169.5">10.4204/EPTCS.169.5</a>.
  short: A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical
    Computer Science, EPTCS, Open Publishing Association, 2014, pp. 31–38.
conference:
  end_date: 2014-07-17
  location: Vienna, Austria
  name: 'HCVS: Horn Clauses for Verification and Synthesis'
  start_date: 2014-07-17
corr_author: '1'
date_created: 2018-12-11T11:53:33Z
date_published: 2014-12-02T00:00:00Z
date_updated: 2025-06-11T08:03:28Z
day: '02'
department:
- _id: ToHe
doi: 10.4204/EPTCS.169.5
external_id:
  arxiv:
  - '1303.7378'
intvolume: '       169'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1303.7378
month: '12'
oa: 1
oa_version: Submitted Version
page: 31 - 38
publication: Electronic Proceedings in Theoretical Computer Science, EPTCS
publication_status: published
publisher: Open Publishing Association
publist_id: '5435'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Generalised interpolation by solving recursion free-horn clauses
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 169
year: '2014'
...
---
_id: '1708'
abstract:
- lang: eng
  text: It has been long argued that, because of inherent ambiguity and noise, the
    brain needs to represent uncertainty in the form of probability distributions.
    The neural encoding of such distributions remains however highly controversial.
    Here we present a novel circuit model for representing multidimensional real-valued
    distributions using a spike based spatio-temporal code. Our model combines the
    computational advantages of the currently competing models for probabilistic codes
    and exhibits realistic neural responses along a variety of classic measures. Furthermore,
    the model highlights the challenges associated with interpreting neural activity
    in relation to behavioral uncertainty and points to alternative population-level
    approaches for the experimental validation of distributed representations.
article_processing_charge: No
author:
- first_name: Cristina
  full_name: Savin, Cristina
  id: 3933349E-F248-11E8-B48F-1D18A9856A87
  last_name: Savin
- first_name: Sophie
  full_name: Denève, Sophie
  last_name: Denève
citation:
  ama: 'Savin C, Denève S. Spatio-temporal representations of uncertainty in spiking
    neural networks. In: Vol 27. Neural Information Processing Systems Foundation;
    2014:2024-2032.'
  apa: 'Savin, C., &#38; Denève, S. (2014). Spatio-temporal representations of uncertainty
    in spiking neural networks (Vol. 27, pp. 2024–2032). Presented at the NIPS: Neural
    Information Processing Systems, Montreal, Canada: Neural Information Processing
    Systems Foundation.'
  chicago: Savin, Cristina, and Sophie Denève. “Spatio-Temporal Representations of
    Uncertainty in Spiking Neural Networks,” 27:2024–32. Neural Information Processing
    Systems Foundation, 2014.
  ieee: 'C. Savin and S. Denève, “Spatio-temporal representations of uncertainty in
    spiking neural networks,” presented at the NIPS: Neural Information Processing
    Systems, Montreal, Canada, 2014, vol. 27, no. January, pp. 2024–2032.'
  ista: 'Savin C, Denève S. 2014. Spatio-temporal representations of uncertainty in
    spiking neural networks. NIPS: Neural Information Processing Systems vol. 27,
    2024–2032.'
  mla: Savin, Cristina, and Sophie Denève. <i>Spatio-Temporal Representations of Uncertainty
    in Spiking Neural Networks</i>. Vol. 27, no. January, Neural Information Processing
    Systems Foundation, 2014, pp. 2024–32.
  short: C. Savin, S. Denève, in:, Neural Information Processing Systems Foundation,
    2014, pp. 2024–2032.
conference:
  end_date: 2014-12-13
  location: Montreal, Canada
  name: 'NIPS: Neural Information Processing Systems'
  start_date: 2014-12-08
corr_author: '1'
date_created: 2018-12-11T11:53:35Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2025-06-03T11:45:08Z
day: '01'
department:
- _id: GaTk
intvolume: '        27'
issue: January
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://papers.nips.cc/paper/5343-spatio-temporal-representations-of-uncertainty-in-spiking-neural-networks.pdf
month: '01'
oa: 1
oa_version: None
page: 2024 - 2032
publication_status: published
publisher: Neural Information Processing Systems Foundation
publist_id: '5427'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spatio-temporal representations of uncertainty in spiking neural networks
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 27
year: '2014'
...
---
_id: '1733'
abstract:
- lang: eng
  text: The classical (boolean) notion of refinement for behavioral interfaces of
    system components is the alternating refinement preorder. In this paper, we define
    a distance for interfaces, called interface simulation distance. It makes the
    alternating refinement preorder quantitative by, intuitively, tolerating errors
    (while counting them) in the alternating simulation game. We show that the interface
    simulation distance satisfies the triangle inequality, that the distance between
    two interfaces does not increase under parallel composition with a third interface,
    that the distance between two interfaces can be bounded from above and below by
    distances between abstractions of the two interfaces, and how to synthesize an
    interface from incompatible requirements. We illustrate the framework, and the
    properties of the distances under composition of interfaces, with two case studies.
article_processing_charge: No
arxiv: 1
author:
- first_name: Pavol
  full_name: Cerny, Pavol
  last_name: Cerny
- first_name: Martin
  full_name: Chmelik, Martin
  id: 3624234E-F248-11E8-B48F-1D18A9856A87
  last_name: Chmelik
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Arjun
  full_name: Radhakrishna, Arjun
  id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
  last_name: Radhakrishna
citation:
  ama: Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface simulation distances.
    <i>Theoretical Computer Science</i>. 2014;560(3):348-363. doi:<a href="https://doi.org/10.1016/j.tcs.2014.08.019">10.1016/j.tcs.2014.08.019</a>
  apa: Cerny, P., Chmelik, M., Henzinger, T. A., &#38; Radhakrishna, A. (2014). Interface
    simulation distances. <i>Theoretical Computer Science</i>. Elsevier. <a href="https://doi.org/10.1016/j.tcs.2014.08.019">https://doi.org/10.1016/j.tcs.2014.08.019</a>
  chicago: Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna.
    “Interface Simulation Distances.” <i>Theoretical Computer Science</i>. Elsevier,
    2014. <a href="https://doi.org/10.1016/j.tcs.2014.08.019">https://doi.org/10.1016/j.tcs.2014.08.019</a>.
  ieee: P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface simulation
    distances,” <i>Theoretical Computer Science</i>, vol. 560, no. 3. Elsevier, pp.
    348–363, 2014.
  ista: Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. 2014. Interface simulation
    distances. Theoretical Computer Science. 560(3), 348–363.
  mla: Cerny, Pavol, et al. “Interface Simulation Distances.” <i>Theoretical Computer
    Science</i>, vol. 560, no. 3, Elsevier, 2014, pp. 348–63, doi:<a href="https://doi.org/10.1016/j.tcs.2014.08.019">10.1016/j.tcs.2014.08.019</a>.
  short: P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer
    Science 560 (2014) 348–363.
corr_author: '1'
date_created: 2018-12-11T11:53:43Z
date_published: 2014-12-04T00:00:00Z
date_updated: 2025-09-29T13:14:25Z
day: '04'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1016/j.tcs.2014.08.019
ec_funded: 1
external_id:
  arxiv:
  - '1210.2450'
  isi:
  - '000347601300009'
intvolume: '       560'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1210.2450
month: '12'
oa: 1
oa_version: Submitted Version
page: 348 - 363
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
  name: Microsoft Research Faculty Fellowship
publication: Theoretical Computer Science
publication_status: published
publisher: Elsevier
publist_id: '5392'
quality_controlled: '1'
related_material:
  record:
  - id: '2916'
    relation: earlier_version
    status: public
scopus_import: '1'
status: public
title: Interface simulation distances
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 560
year: '2014'
...
---
_id: '1761'
abstract:
- lang: eng
  text: Metal silicides formed by means of thermal annealing processes are employed
    as contact materials in microelectronics. Control of the structure of silicide/silicon
    interfaces becomes a critical issue when the characteristic size of the device
    is reduced below a few tens of nanometers. Here, we report on silicide clustering
    occurring within the channel of PtSi/Si/PtSi Schottky-barrier transistors. This
    phenomenon is investigated through atomistic simulations and low-temperature resonant-tunneling
    spectroscopy. Our results provide evidence for the segregation of a PtSi cluster
    with a diameter of a few nanometers from the silicide contact. The cluster acts
    as a metallic quantum dot giving rise to distinct signatures of quantum transport
    through its discrete energy states.
acknowledgement: This work was supported by the Agence Nationale de la Recherche and
  by the EU through the ERC Starting Grant HybridNano
author:
- first_name: Massimo
  full_name: Mongillo, Massimo
  last_name: Mongillo
- first_name: Panayotis
  full_name: Spathis, Panayotis N
  last_name: Spathis
- first_name: Georgios
  full_name: Georgios Katsaros
  id: 38DB5788-F248-11E8-B48F-1D18A9856A87
  last_name: Katsaros
- first_name: Silvano
  full_name: De Franceschi, Silvano
  last_name: De Franceschi
- first_name: Pascal
  full_name: Gentile, Pascal
  last_name: Gentile
- first_name: Riccardo
  full_name: Rurali, Riccardo
  last_name: Rurali
- first_name: Xavier
  full_name: Cartoixà, Xavier
  last_name: Cartoixà
citation:
  ama: Mongillo M, Spathis P, Katsaros G, et al. PtSi clustering in silicon probed
    by transport spectroscopy. <i>Physical Review X</i>. 2014;3(4). doi:<a href="https://doi.org/10.1103/PhysRevX.3.041025">10.1103/PhysRevX.3.041025</a>
  apa: Mongillo, M., Spathis, P., Katsaros, G., De Franceschi, S., Gentile, P., Rurali,
    R., &#38; Cartoixà, X. (2014). PtSi clustering in silicon probed by transport
    spectroscopy. <i>Physical Review X</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevX.3.041025">https://doi.org/10.1103/PhysRevX.3.041025</a>
  chicago: Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Silvano De Franceschi,
    Pascal Gentile, Riccardo Rurali, and Xavier Cartoixà. “PtSi Clustering in Silicon
    Probed by Transport Spectroscopy.” <i>Physical Review X</i>. American Physical
    Society, 2014. <a href="https://doi.org/10.1103/PhysRevX.3.041025">https://doi.org/10.1103/PhysRevX.3.041025</a>.
  ieee: M. Mongillo <i>et al.</i>, “PtSi clustering in silicon probed by transport
    spectroscopy,” <i>Physical Review X</i>, vol. 3, no. 4. American Physical Society,
    2014.
  ista: Mongillo M, Spathis P, Katsaros G, De Franceschi S, Gentile P, Rurali R, Cartoixà
    X. 2014. PtSi clustering in silicon probed by transport spectroscopy. Physical
    Review X. 3(4).
  mla: Mongillo, Massimo, et al. “PtSi Clustering in Silicon Probed by Transport Spectroscopy.”
    <i>Physical Review X</i>, vol. 3, no. 4, American Physical Society, 2014, doi:<a
    href="https://doi.org/10.1103/PhysRevX.3.041025">10.1103/PhysRevX.3.041025</a>.
  short: M. Mongillo, P. Spathis, G. Katsaros, S. De Franceschi, P. Gentile, R. Rurali,
    X. Cartoixà, Physical Review X 3 (2014).
date_created: 2018-12-11T11:53:52Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T06:53:02Z
day: '01'
doi: 10.1103/PhysRevX.3.041025
extern: 1
intvolume: '         3'
issue: '4'
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1407.5413
month: '01'
oa: 1
publication: Physical Review X
publication_status: published
publisher: American Physical Society
publist_id: '5363'
quality_controlled: 0
status: public
title: PtSi clustering in silicon probed by transport spectroscopy
type: journal_article
volume: 3
year: '2014'
...
---
_id: '17614'
abstract:
- lang: eng
  text: The first generation of stars produces a background of Lyman–Werner (LW) radiation
    which can photodissociate molecular hydrogen, increasing the mass of dark matter
    haloes required to host star formation. Previous studies have determined the critical
    mass required for efficient molecular cooling with a constant LW background. However,
    the true background is expected to increase rapidly at early times. Neglecting
    this evolution could underestimate star formation in small haloes that may have
    started to cool in the past when the LW intensity was much lower. Background evolution
    is a large source of uncertainty in pre-reionization predictions of the cosmological
    21cm signal, which can be observed with future radio telescopes. To address this,
    we perform zero-dimensional one-zone calculations that follow the density, chemical
    abundances, and temperature of gas in the central regions of dark matter haloes,
    including hierarchical growth and an evolving LW background. We begin by studying
    the physics of haloes subjected to a background that increases exponentially with
    redshift. We find that when the intensity increases more slowly than JLW(z)∝10−z/5,
    cooling in the past is a relatively small effect. We then self-consistently compute
    the cosmological LW background over z = 15–50 and find that cooling in the past
    due to an evolving background has a modest impact. Finally, we compare these results
    to three-dimensional hydrodynamical cosmological simulations with varying LW histories.
    While only a small number of haloes were simulated, the results are consistent
    with our one-zone calculations.
article_processing_charge: No
article_type: original
author:
- first_name: Eli
  full_name: Visbal, Eli
  last_name: Visbal
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Bryan
  full_name: Terrazas, Bryan
  last_name: Terrazas
- first_name: Greg L.
  full_name: Bryan, Greg L.
  last_name: Bryan
- first_name: Rennan
  full_name: Barkana, Rennan
  last_name: Barkana
citation:
  ama: Visbal E, Haiman Z, Terrazas B, Bryan GL, Barkana R. High-redshift star formation
    in a time-dependent Lyman–Werner background. <i>Monthly Notices of the Royal Astronomical
    Society</i>. 2014;445(1):107-114. doi:<a href="https://doi.org/10.1093/mnras/stu1710">10.1093/mnras/stu1710</a>
  apa: Visbal, E., Haiman, Z., Terrazas, B., Bryan, G. L., &#38; Barkana, R. (2014).
    High-redshift star formation in a time-dependent Lyman–Werner background. <i>Monthly
    Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href="https://doi.org/10.1093/mnras/stu1710">https://doi.org/10.1093/mnras/stu1710</a>
  chicago: Visbal, Eli, Zoltán Haiman, Bryan Terrazas, Greg L. Bryan, and Rennan Barkana.
    “High-Redshift Star Formation in a Time-Dependent Lyman–Werner Background.” <i>Monthly
    Notices of the Royal Astronomical Society</i>. Oxford University Press, 2014.
    <a href="https://doi.org/10.1093/mnras/stu1710">https://doi.org/10.1093/mnras/stu1710</a>.
  ieee: E. Visbal, Z. Haiman, B. Terrazas, G. L. Bryan, and R. Barkana, “High-redshift
    star formation in a time-dependent Lyman–Werner background,” <i>Monthly Notices
    of the Royal Astronomical Society</i>, vol. 445, no. 1. Oxford University Press,
    pp. 107–114, 2014.
  ista: Visbal E, Haiman Z, Terrazas B, Bryan GL, Barkana R. 2014. High-redshift star
    formation in a time-dependent Lyman–Werner background. Monthly Notices of the
    Royal Astronomical Society. 445(1), 107–114.
  mla: Visbal, Eli, et al. “High-Redshift Star Formation in a Time-Dependent Lyman–Werner
    Background.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 445,
    no. 1, Oxford University Press, 2014, pp. 107–14, doi:<a href="https://doi.org/10.1093/mnras/stu1710">10.1093/mnras/stu1710</a>.
  short: E. Visbal, Z. Haiman, B. Terrazas, G.L. Bryan, R. Barkana, Monthly Notices
    of the Royal Astronomical Society 445 (2014) 107–114.
date_created: 2024-09-05T13:30:21Z
date_published: 2014-09-22T00:00:00Z
date_updated: 2024-09-24T07:43:44Z
day: '22'
doi: 10.1093/mnras/stu1710
extern: '1'
intvolume: '       445'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/stu1710
month: '09'
oa: 1
oa_version: Published Version
page: 107-114
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
  issn:
  - 0035-8711
  - 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: High-redshift star formation in a time-dependent Lyman–Werner background
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 445
year: '2014'
...
---
_id: '17617'
abstract:
- lang: eng
  text: Most standard descriptions of Type II migration state that massive, gap-opening
    planets must migrate at the viscous drift rate. This is based on the idea that
    the disk is separated into an inner and outer region and gas is considered unable
    to cross the gap. In fact, gas easily crosses the gap on horseshoe orbits, nullifying
    this necessary premise which would set the migration rate. In this work, it is
    demonstrated using highly accurate numerical calculations that the actual migration
    rate is dependent on disk and planet parameters, and can be significantly larger
    or smaller than the viscous drift rate. In the limiting case of a disk much more
    massive than the secondary, the migration rate saturates to a constant that is
    sensitive to disk parameters and is not necessarily of the order of the viscous
    rate. In the opposite limit of a low-mass disk, the migration rate decreases linearly
    with disk mass. Steady-state solutions in the low disk mass limit show no pile-up
    outside the secondary's orbit, and no corresponding drainage of the inner disk.
article_number: L10
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Paul C.
  full_name: Duffell, Paul C.
  last_name: Duffell
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Andrew I.
  full_name: MacFadyen, Andrew I.
  last_name: MacFadyen
- first_name: Daniel J.
  full_name: D'Orazio, Daniel J.
  last_name: D'Orazio
- first_name: Brian D.
  full_name: Farris, Brian D.
  last_name: Farris
citation:
  ama: Duffell PC, Haiman Z, MacFadyen AI, D’Orazio DJ, Farris BD. The migration of
    gap-opening planets is not locked to viscous disk evolution. <i>The Astrophysical
    Journal</i>. 2014;792(1). doi:<a href="https://doi.org/10.1088/2041-8205/792/1/l10">10.1088/2041-8205/792/1/l10</a>
  apa: Duffell, P. C., Haiman, Z., MacFadyen, A. I., D’Orazio, D. J., &#38; Farris,
    B. D. (2014). The migration of gap-opening planets is not locked to viscous disk
    evolution. <i>The Astrophysical Journal</i>. American Astronomical Society. <a
    href="https://doi.org/10.1088/2041-8205/792/1/l10">https://doi.org/10.1088/2041-8205/792/1/l10</a>
  chicago: Duffell, Paul C., Zoltán Haiman, Andrew I. MacFadyen, Daniel J. D’Orazio,
    and Brian D. Farris. “The Migration of Gap-Opening Planets Is Not Locked to Viscous
    Disk Evolution.” <i>The Astrophysical Journal</i>. American Astronomical Society,
    2014. <a href="https://doi.org/10.1088/2041-8205/792/1/l10">https://doi.org/10.1088/2041-8205/792/1/l10</a>.
  ieee: P. C. Duffell, Z. Haiman, A. I. MacFadyen, D. J. D’Orazio, and B. D. Farris,
    “The migration of gap-opening planets is not locked to viscous disk evolution,”
    <i>The Astrophysical Journal</i>, vol. 792, no. 1. American Astronomical Society,
    2014.
  ista: Duffell PC, Haiman Z, MacFadyen AI, D’Orazio DJ, Farris BD. 2014. The migration
    of gap-opening planets is not locked to viscous disk evolution. The Astrophysical
    Journal. 792(1), L10.
  mla: Duffell, Paul C., et al. “The Migration of Gap-Opening Planets Is Not Locked
    to Viscous Disk Evolution.” <i>The Astrophysical Journal</i>, vol. 792, no. 1,
    L10, American Astronomical Society, 2014, doi:<a href="https://doi.org/10.1088/2041-8205/792/1/l10">10.1088/2041-8205/792/1/l10</a>.
  short: P.C. Duffell, Z. Haiman, A.I. MacFadyen, D.J. D’Orazio, B.D. Farris, The
    Astrophysical Journal 792 (2014).
date_created: 2024-09-05T13:34:52Z
date_published: 2014-08-14T00:00:00Z
date_updated: 2024-09-24T08:08:57Z
day: '14'
doi: 10.1088/2041-8205/792/1/l10
extern: '1'
external_id:
  arxiv:
  - '1405.3711'
intvolume: '       792'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: ' https://doi.org/10.48550/arXiv.1405.3711'
month: '08'
oa: 1
oa_version: Preprint
publication: The Astrophysical Journal
publication_identifier:
  issn:
  - 2041-8213
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: The migration of gap-opening planets is not locked to viscous disk evolution
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 792
year: '2014'
...
---
_id: '17620'
abstract:
- lang: eng
  text: We present the results of two-dimensional (2D) hydrodynamical simulations
    of circumbinary disk accretion using the finite-volume code DISCO. This code solves
    the 2D viscous Navier–Stokes equations on a high-resolution moving mesh which
    shears with the fluid flow, greatly reducing advection errors in comparison with
    a fixed grid. We perform a series of simulations for binary mass ratios in the
    range 0.026 ⩽ q ⩽ 1.0, each lasting longer than a viscous time so that we reach
    a quasi-steady accretion state. In each case, we find that gas is efficiently
    stripped from the inner edge of the circumbinary disk and enters the cavity along
    accretion streams, which feed persistent "mini disks" surrounding each black hole.
    We find that for q ≳ 0.1, the binary excites eccentricity in the inner region
    of the circumbinary disk, creating an overdense lump which gives rise to enhanced
    periodicity in the accretion rate. The dependence of the periodicity on mass ratio
    may provide a method for observationally inferring mass ratios from measurements
    of the accretion rate. We also find that for all mass ratios studied, the magnitude
    of the accretion onto the secondary is sufficient to drive the binary toward larger
    mass ratio. This suggests a mechanism for biasing mass-ratio distributions toward
    equal mass.
article_number: '134'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Brian D.
  full_name: Farris, Brian D.
  last_name: Farris
- first_name: Paul
  full_name: Duffell, Paul
  last_name: Duffell
- first_name: Andrew I.
  full_name: MacFadyen, Andrew I.
  last_name: MacFadyen
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
citation:
  ama: 'Farris BD, Duffell P, MacFadyen AI, Haiman Z. Binary black hole accretion
    from a circumbinary disk: Gas dynamics inside the central cavity. <i>The Astrophysical
    Journal</i>. 2014;783(2). doi:<a href="https://doi.org/10.1088/0004-637x/783/2/134">10.1088/0004-637x/783/2/134</a>'
  apa: 'Farris, B. D., Duffell, P., MacFadyen, A. I., &#38; Haiman, Z. (2014). Binary
    black hole accretion from a circumbinary disk: Gas dynamics inside the central
    cavity. <i>The Astrophysical Journal</i>. American Astronomical Society. <a href="https://doi.org/10.1088/0004-637x/783/2/134">https://doi.org/10.1088/0004-637x/783/2/134</a>'
  chicago: 'Farris, Brian D., Paul Duffell, Andrew I. MacFadyen, and Zoltán Haiman.
    “Binary Black Hole Accretion from a Circumbinary Disk: Gas Dynamics inside the
    Central Cavity.” <i>The Astrophysical Journal</i>. American Astronomical Society,
    2014. <a href="https://doi.org/10.1088/0004-637x/783/2/134">https://doi.org/10.1088/0004-637x/783/2/134</a>.'
  ieee: 'B. D. Farris, P. Duffell, A. I. MacFadyen, and Z. Haiman, “Binary black hole
    accretion from a circumbinary disk: Gas dynamics inside the central cavity,” <i>The
    Astrophysical Journal</i>, vol. 783, no. 2. American Astronomical Society, 2014.'
  ista: 'Farris BD, Duffell P, MacFadyen AI, Haiman Z. 2014. Binary black hole accretion
    from a circumbinary disk: Gas dynamics inside the central cavity. The Astrophysical
    Journal. 783(2), 134.'
  mla: 'Farris, Brian D., et al. “Binary Black Hole Accretion from a Circumbinary
    Disk: Gas Dynamics inside the Central Cavity.” <i>The Astrophysical Journal</i>,
    vol. 783, no. 2, 134, American Astronomical Society, 2014, doi:<a href="https://doi.org/10.1088/0004-637x/783/2/134">10.1088/0004-637x/783/2/134</a>.'
  short: B.D. Farris, P. Duffell, A.I. MacFadyen, Z. Haiman, The Astrophysical Journal
    783 (2014).
date_created: 2024-09-05T13:48:18Z
date_published: 2014-02-24T00:00:00Z
date_updated: 2024-09-24T08:23:39Z
day: '24'
doi: 10.1088/0004-637x/783/2/134
extern: '1'
external_id:
  arxiv:
  - '1310.0492'
intvolume: '       783'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: ' https://doi.org/10.48550/arXiv.1310.0492'
month: '02'
oa: 1
oa_version: Preprint
publication: The Astrophysical Journal
publication_identifier:
  issn:
  - 0004-637X
  - 1538-4357
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Binary black hole accretion from a circumbinary disk: Gas dynamics inside
  the central cavity'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 783
year: '2014'
...
---
_id: '17623'
abstract:
- lang: eng
  text: 'Residual errors in shear measurements, after corrections for instrument systematics
    and atmospheric effects, can impact cosmological parameters derived from weak
    lensing observations. Here we combine convergence maps from our suite of ray-tracing
    simulations with random realizations of spurious shear. This allows us to quantify
    the errors and biases of the triplet (Ωm,w,σ8) derived from the power spectrum
    (PS), as well as from three different sets of non-Gaussian statistics of the lensing
    convergence field: Minkowski functionals (MF), low--order moments (LM), and peak
    counts (PK). Our main results are: (i) We find an order of magnitude smaller biases
    from the PS than in previous work. (ii) The PS and LM yield biases much smaller
    than the morphological statistics (MF, PK). (iii) For strictly Gaussian spurious
    shear with integrated amplitude as low as its current estimate of σ2sys≈10−7,
    biases from the PS and LM would be unimportant even for a survey with the statistical
    power of LSST. However, we find that for surveys larger than ≈100 deg2, non-Gaussianity
    in the noise (not included in our analysis) will likely be important and must
    be quantified to assess the biases. (iv) The morphological statistics (MF,PK)
    introduce important biases even for Gaussian noise, which must be corrected in
    large surveys. The biases are in different directions in (Ωm,w,σ8) parameter space,
    allowing self-calibration by combining multiple statistics. Our results warrant
    follow-up studies with more extensive lensing simulations and more accurate spurious
    shear estimates.'
article_number: '123015'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Andrea
  full_name: Petri, Andrea
  last_name: Petri
- first_name: Morgan
  full_name: May, Morgan
  last_name: May
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Jan M.
  full_name: Kratochvil, Jan M.
  last_name: Kratochvil
citation:
  ama: Petri A, May M, Haiman Z, Kratochvil JM. Impact of spurious shear on cosmological
    parameter estimates from weak lensing observables. <i>Physical Review D</i>. 2014;90(12).
    doi:<a href="https://doi.org/10.1103/physrevd.90.123015">10.1103/physrevd.90.123015</a>
  apa: Petri, A., May, M., Haiman, Z., &#38; Kratochvil, J. M. (2014). Impact of spurious
    shear on cosmological parameter estimates from weak lensing observables. <i>Physical
    Review D</i>. American Physical Society. <a href="https://doi.org/10.1103/physrevd.90.123015">https://doi.org/10.1103/physrevd.90.123015</a>
  chicago: Petri, Andrea, Morgan May, Zoltán Haiman, and Jan M. Kratochvil. “Impact
    of Spurious Shear on Cosmological Parameter Estimates from Weak Lensing Observables.”
    <i>Physical Review D</i>. American Physical Society, 2014. <a href="https://doi.org/10.1103/physrevd.90.123015">https://doi.org/10.1103/physrevd.90.123015</a>.
  ieee: A. Petri, M. May, Z. Haiman, and J. M. Kratochvil, “Impact of spurious shear
    on cosmological parameter estimates from weak lensing observables,” <i>Physical
    Review D</i>, vol. 90, no. 12. American Physical Society, 2014.
  ista: Petri A, May M, Haiman Z, Kratochvil JM. 2014. Impact of spurious shear on
    cosmological parameter estimates from weak lensing observables. Physical Review
    D. 90(12), 123015.
  mla: Petri, Andrea, et al. “Impact of Spurious Shear on Cosmological Parameter Estimates
    from Weak Lensing Observables.” <i>Physical Review D</i>, vol. 90, no. 12, 123015,
    American Physical Society, 2014, doi:<a href="https://doi.org/10.1103/physrevd.90.123015">10.1103/physrevd.90.123015</a>.
  short: A. Petri, M. May, Z. Haiman, J.M. Kratochvil, Physical Review D 90 (2014).
date_created: 2024-09-05T13:52:25Z
date_published: 2014-12-30T00:00:00Z
date_updated: 2024-09-24T08:39:41Z
day: '30'
doi: 10.1103/physrevd.90.123015
extern: '1'
external_id:
  arxiv:
  - '1409.5130'
intvolume: '        90'
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: ' https://doi.org/10.48550/arXiv.1409.5130'
month: '12'
oa: 1
oa_version: Preprint
publication: Physical Review D
publication_identifier:
  issn:
  - 1550-7998
  - 1550-2368
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Impact of spurious shear on cosmological parameter estimates from weak lensing
  observables
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 90
year: '2014'
...
