[{"corr_author":"1","status":"public","year":"2014","scopus_import":"1","publication_status":"published","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."}],"day":"01","article_processing_charge":"No","date_published":"2014-01-01T00:00:00Z","publisher":"Springer","author":[{"full_name":"Hippenmeyer, Simon","first_name":"Simon","id":"37B36620-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2279-1061","last_name":"Hippenmeyer"}],"title":"Molecular pathways controlling the sequential steps of cortical projection neuron migration","doi":"10.1007/978-94-007-7687-6_1","oa_version":"None","publist_id":"4679","external_id":{"isi":["000333646000002"]},"publication":" Cellular and Molecular Control of Neuronal Migration","type":"book_chapter","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>","short":"S. Hippenmeyer, in:, L. Nguyen (Ed.),  Cellular and Molecular Control of Neuronal Migration, 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.","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.","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>.","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>."},"date_updated":"2025-09-29T11:12:48Z","quality_controlled":"1","date_created":"2018-12-11T11:56:39Z","volume":800,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","page":"1 - 24","alternative_title":["Advances in Experimental Medicine and Biology"],"_id":"2265","department":[{"_id":"SiHi"}],"isi":1,"language":[{"iso":"eng"}],"month":"01","editor":[{"last_name":"Nguyen","first_name":"Laurent","full_name":"Nguyen, Laurent"}],"intvolume":"       800"},{"external_id":{"isi":["000351830500367"]},"oa_version":"Submitted Version","publist_id":"4669","title":"Partial enumeration and curvature regularization","doi":"10.1109/ICCV.2013.365","date_published":"2014-03-03T00:00:00Z","pubrep_id":"566","publisher":"IEEE","author":[{"last_name":"Olsson","full_name":"Olsson, Carl","first_name":"Carl"},{"last_name":"Ulen","full_name":"Ulen, Johannes","first_name":"Johannes"},{"first_name":"Yuri","full_name":"Boykov, Yuri","last_name":"Boykov"},{"last_name":"Kolmogorov","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kolmogorov, Vladimir","first_name":"Vladimir"}],"day":"03","article_processing_charge":"No","file":[{"relation":"main_file","creator":"system","file_name":"IST-2016-566-v1+1_iccv13_part_enumeration.pdf","date_created":"2018-12-12T10:09:30Z","content_type":"application/pdf","date_updated":"2020-07-14T12:45:36Z","access_level":"open_access","checksum":"4a74b5c92d6dcd2348c2c10ec8dd18bf","file_id":"4754","file_size":378601}],"year":"2014","scopus_import":"1","publication_status":"published","abstract":[{"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","lang":"eng"}],"status":"public","month":"03","ddc":["000"],"language":[{"iso":"eng"}],"page":"2936 - 2943","has_accepted_license":"1","conference":{"name":"ICCV: International Conference on Computer Vision","end_date":"2013-12-08","start_date":"2013-12-01","location":"Sydney, Australia"},"isi":1,"_id":"2275","department":[{"_id":"VlKo"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa":1,"file_date_updated":"2020-07-14T12:45:36Z","quality_controlled":"1","date_updated":"2025-09-29T14:28:16Z","date_created":"2018-12-11T11:56:42Z","citation":{"short":"C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.","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>","ista":"Olsson C, Ulen J, Boykov Y, Kolmogorov V. 2014. Partial enumeration and curvature regularization. ICCV: International Conference on Computer Vision, 2936–2943.","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.","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>.","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>."},"type":"conference"},{"external_id":{"arxiv":["1301.5682"],"isi":["000330128000002"]},"issue":"2","main_file_link":[{"url":"http://arxiv.org/abs/1301.5682","open_access":"1"}],"oa_version":"Preprint","publist_id":"4653","doi":"10.1007/s11005-013-0667-9","title":"On the mass concentration for Bose-Einstein condensates with attractive interactions","date_published":"2014-02-01T00:00:00Z","arxiv":1,"author":[{"first_name":"Yujin","full_name":"Guo, Yujin","last_name":"Guo"},{"last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","first_name":"Robert"}],"publisher":"Springer","day":"01","article_processing_charge":"No","year":"2014","scopus_import":"1","abstract":[{"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.","lang":"eng"}],"publication_status":"published","corr_author":"1","status":"public","month":"02","intvolume":"       104","language":[{"iso":"eng"}],"page":"141 - 156","department":[{"_id":"RoSe"}],"_id":"2281","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_type":"original","volume":104,"oa":1,"date_updated":"2025-09-29T11:12:19Z","quality_controlled":"1","date_created":"2018-12-11T11:56:44Z","citation":{"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>.","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.","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>","short":"Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.","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."},"publication":"Letters in Mathematical Physics","type":"journal_article"},{"doi":"10.1002/hipo.22214","title":"Morpho-physiological criteria divide dentate gyrus interneurons into classes","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.","oa_version":"Published Version","publist_id":"4646","issue":"2","external_id":{"isi":["000329879300006"]},"status":"public","scopus_import":"1","year":"2014","publication_status":"published","abstract":[{"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.","lang":"eng"}],"article_processing_charge":"No","day":"01","file":[{"relation":"main_file","creator":"system","file_name":"IST-2016-461-v1+1_Hosp_et_al-2014-Hippocampus.pdf","date_created":"2018-12-12T10:15:54Z","date_updated":"2020-07-14T12:45:37Z","content_type":"application/pdf","access_level":"open_access","checksum":"ff6bc75a79dbc985a2e31b79253e6444","file_id":"5178","file_size":801589}],"date_published":"2014-02-01T00:00:00Z","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"},{"last_name":"Obata","first_name":"Kunihiko","full_name":"Obata, Kunihiko"},{"last_name":"Vida","first_name":"Imre","full_name":"Vida, Imre"},{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M","first_name":"Peter M","last_name":"Jonas"},{"last_name":"Bartos","full_name":"Bartos, Marlene","first_name":"Marlene"}],"publisher":"Wiley-Blackwell","pubrep_id":"461","license":"https://creativecommons.org/licenses/by-nc/4.0/","page":"189 - 203","has_accepted_license":"1","_id":"2285","department":[{"_id":"PeJo"}],"isi":1,"tmp":{"short":"CC BY-NC (4.0)","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)","image":"/images/cc_by_nc.png"},"language":[{"iso":"eng"}],"month":"02","intvolume":"        23","ddc":["570"],"type":"journal_article","citation":{"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.","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>","short":"J. Hosp, M. Strüber, Y. Yanagawa, K. Obata, I. Vida, P.M. Jonas, M. Bartos, Hippocampus 23 (2014) 189–203.","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>.","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>."},"publication":"Hippocampus","date_updated":"2025-09-29T11:11:47Z","quality_controlled":"1","file_date_updated":"2020-07-14T12:45:37Z","date_created":"2018-12-11T11:56:46Z","oa":1,"volume":23,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"_id":"2407","publist_id":"4519","oa_version":"Submitted Version","page":"51 - 57","title":"Equivalence of two definitions of the effective mass of a polaron","doi":"10.1007/s10955-013-0791-z","intvolume":"       154","project":[{"name":"NSERC Postdoctoral fellowship","_id":"26450934-B435-11E9-9278-68D0E5697425"}],"month":"01","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://arxiv.org/abs/1304.1780","open_access":"1"}],"issue":"1-2","extern":"1","date_created":"2018-12-11T11:57:29Z","publication_status":"published","abstract":[{"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.","lang":"eng"}],"quality_controlled":"1","date_updated":"2021-01-12T06:57:18Z","year":"2014","type":"journal_article","publication":"Journal of Statistical Physics","citation":{"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>.","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.","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>","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.","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."},"status":"public","publisher":"Springer","author":[{"last_name":"Lieb","full_name":"Lieb, Élliott","first_name":"Élliott"},{"last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","first_name":"Robert"}],"date_published":"2014-01-01T00:00:00Z","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","oa":1,"volume":154,"day":"01"},{"publication":"Annals of Mathematics","type":"journal_article","citation":{"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.","short":"T.D. Browning, L. Matthiesen, A. Skorobogatov, Annals of Mathematics 180 (2014) 381–402.","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>","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.","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>.","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>","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>."},"status":"public","publication_status":"published","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."}],"date_created":"2018-12-11T11:45:25Z","extern":1,"year":"2014","quality_controlled":0,"date_updated":"2021-01-12T06:57:44Z","volume":180,"oa":1,"day":"01","author":[{"id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","full_name":"Timothy Browning","first_name":"Timothy D","last_name":"Browning"},{"last_name":"Matthiesen","full_name":"Matthiesen, Lilian","first_name":"Lilian"},{"first_name":"Alexei","full_name":"Skorobogatov, Alexei N","last_name":"Skorobogatov"}],"publisher":"John Hopkins University Press","date_published":"2014-07-01T00:00:00Z","doi":"https://doi.org/10.4007/annals.2014.180.1.8","title":"Rational points on pencils of conics and quadrics with many degenerate fibres","publist_id":"7655","_id":"248","page":"381 - 402","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.","issue":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1209.0207"}],"intvolume":"       180","month":"07"},{"day":"01","volume":163,"date_published":"2014-07-01T00:00:00Z","publisher":"Duke University Press","author":[{"last_name":"Browning","orcid":"0000-0002-8314-0177","id":"35827D50-F248-11E8-B48F-1D18A9856A87","first_name":"Timothy D","full_name":"Timothy Browning"},{"last_name":"Vishe","full_name":"Vishe, Pankaj","first_name":"Pankaj"}],"status":"public","publication":"Duke Mathematical Journal","citation":{"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>.","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>.","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>","short":"T.D. Browning, P. Vishe, Duke Mathematical Journal 163 (2014) 1825–1883.","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.","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."},"type":"journal_article","year":"2014","date_updated":"2021-01-12T06:57:47Z","quality_controlled":0,"abstract":[{"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. ","lang":"eng"}],"publication_status":"published","extern":1,"date_created":"2018-12-11T11:45:26Z","issue":"10","month":"07","intvolume":"       163","doi":"10.1215/00127094-2738530","title":"Cubic hypersurfaces and a version of the circle method for number fields","page":"1825 - 1883","publist_id":"7653","_id":"249"},{"extern":1,"date_created":"2018-12-11T11:45:26Z","publication_status":"published","abstract":[{"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.","lang":"eng"}],"date_updated":"2021-01-12T06:57:59Z","quality_controlled":0,"year":"2014","citation":{"ista":"Browning TD, Jones M. 2014. Counting rational points on del Pezzo surfaces with a conic bundle structure. Acta Arithmetica. 163(3), 271–298.","short":"T.D. Browning, M. Jones, Acta Arithmetica 163 (2014) 271–298.","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>","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.","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>.","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>","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>."},"type":"journal_article","publication":"Acta Arithmetica","status":"public","author":[{"orcid":"0000-0002-8314-0177","id":"35827D50-F248-11E8-B48F-1D18A9856A87","first_name":"Timothy D","full_name":"Timothy Browning","last_name":"Browning"},{"first_name":"Michael","full_name":"Jones, Michael S","last_name":"Jones"}],"publisher":"Instytut Matematyczny","date_published":"2014-01-01T00:00:00Z","volume":163,"day":"01","_id":"252","publist_id":"7650","page":"271 - 298","title":"Counting rational points on del Pezzo surfaces with a conic bundle structure","doi":"10.4064/aa163-3-6","intvolume":"       163","month":"01","issue":"3"},{"volume":2015,"related_material":{"record":[{"status":"public","id":"19051","relation":"later_version"}],"link":[{"relation":"erratum","url":"https://doi.org/10.1093/imrn/rnae066"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","publication":"International Mathematics Research Notices","citation":{"ista":"Browning TD. 2014. The polynomial sieve and equal sums of like polynomials. International Mathematics Research Notices. 2015(7), 1987–2019.","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>","short":"T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019.","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.","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>.","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>","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>."},"date_created":"2018-12-11T11:45:27Z","extern":"1","date_updated":"2025-09-09T12:16:44Z","quality_controlled":"1","language":[{"iso":"eng"}],"intvolume":"      2015","month":"01","_id":"254","page":"1987 - 2019","day":"31","article_processing_charge":"No","author":[{"last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","full_name":"Browning, Timothy D","first_name":"Timothy D"}],"publisher":"Oxford University Press","date_published":"2014-01-31T00:00:00Z","status":"public","publication_status":"published","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."}],"year":"2014","scopus_import":"1","issue":"7","title":"The polynomial sieve and equal sums of like polynomials","doi":"10.1093/imrn/rnt350","publist_id":"7648","oa_version":"None","acknowledgement":"While working on this paper, the author was supported by ERC grant 306457 and a Philip Leverhulme Prize."},{"author":[{"last_name":"Browning","orcid":"0000-0002-8314-0177","id":"35827D50-F248-11E8-B48F-1D18A9856A87","first_name":"Timothy D","full_name":"Browning, Timothy D"},{"last_name":"Dietmann","first_name":"Rainer","full_name":"Dietmann, Rainer"},{"full_name":"Heath Brown, Roger","first_name":"Roger","last_name":"Heath Brown"}],"related_material":{"link":[{"url":"https://doi.org/10.1017/S1474748014000279","relation":"erratum"}]},"publisher":"Cambridge University Press","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","date_published":"2014-01-05T00:00:00Z","volume":14,"day":"05","article_processing_charge":"No","publication_status":"published","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."}],"date_created":"2018-12-11T11:45:27Z","extern":"1","year":"2014","date_updated":"2021-11-16T08:07:06Z","citation":{"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>.","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.","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>","short":"T.D. Browning, R. Dietmann, R. Heath Brown, Journal of the Institute of Mathematics of Jussieu 14 (2014) 703–749.","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."},"publication":"Journal of the Institute of Mathematics of Jussieu","type":"journal_article","status":"public","intvolume":"        14","month":"01","language":[{"iso":"eng"}],"issue":"4","publist_id":"7647","_id":"255","page":"703 - 749","oa_version":"None","doi":"10.1017/S1474748014000127","title":"Rational points on intersections of cubic and quadric hypersurfaces"},{"publist_id":"5526","oa_version":"Submitted Version","title":"Edit propagation using geometric relationship functions","doi":"10.1145/2591010","external_id":{"isi":["000335009900003"]},"issue":"2","publication_status":"published","abstract":[{"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.","lang":"eng"}],"year":"2014","status":"public","pubrep_id":"577","publisher":"ACM","author":[{"last_name":"Guerrero","first_name":"Paul","full_name":"Guerrero, Paul"},{"id":"44D6411A-F248-11E8-B48F-1D18A9856A87","first_name":"Stefan","full_name":"Jeschke, Stefan","last_name":"Jeschke"},{"last_name":"Wimmer","first_name":"Michael","full_name":"Wimmer, Michael"},{"first_name":"Peter","full_name":"Wonka, Peter","last_name":"Wonka"}],"date_published":"2014-03-01T00:00:00Z","file":[{"file_name":"IST-2016-577-v1+1_2014.TOG.Paul.EditingPropagation.final.pdf","creator":"system","relation":"main_file","file_id":"4876","file_size":9832561,"access_level":"open_access","checksum":"7f91e588a4e888610313b98271e6418e","date_updated":"2020-07-14T12:45:07Z","content_type":"application/pdf","date_created":"2018-12-12T10:11:22Z"}],"day":"01","article_processing_charge":"No","isi":1,"_id":"1629","department":[{"_id":"ChWo"}],"has_accepted_license":"1","ddc":["000"],"intvolume":"        33","month":"03","language":[{"iso":"eng"}],"article_number":"15","date_created":"2018-12-11T11:53:08Z","file_date_updated":"2020-07-14T12:45:07Z","quality_controlled":"1","date_updated":"2025-09-29T13:16:25Z","type":"journal_article","publication":"ACM Transactions on Graphics","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>","short":"P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).","ista":"Guerrero P, Jeschke S, Wimmer M, Wonka P. 2014. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 33(2), 15.","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.","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>.","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>."},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","volume":33,"oa":1},{"date_updated":"2024-10-09T20:55:56Z","date_created":"2018-12-11T11:53:13Z","publication":"SCN 2014","type":"conference","citation":{"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>.","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.","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>","ista":"Fuchsbauer G. 2014. Constrained Verifiable Random Functions . SCN 2014. SCN: Security and Cryptography for Networks, LNCS, vol. 8642, 95–114.","ieee":"G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in <i>SCN 2014</i>, Amalfi, Italy, 2014, vol. 8642, pp. 95–114."},"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","oa":1,"volume":8642,"alternative_title":["LNCS"],"page":"95 - 114","_id":"1643","department":[{"_id":"KrPi"}],"conference":{"name":"SCN: Security and Cryptography for Networks","end_date":"2014-09-05","start_date":"2014-09-03","location":"Amalfi, Italy"},"editor":[{"last_name":"Abdalla","first_name":"Michel","full_name":"Abdalla, Michel"},{"last_name":"De Prisco","first_name":"Roberto","full_name":"De Prisco, Roberto"}],"month":"01","intvolume":"      8642","language":[{"iso":"eng"}],"scopus_import":1,"year":"2014","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."}],"publication_status":"published","status":"public","corr_author":"1","date_published":"2014-01-01T00:00:00Z","publisher":"Springer","author":[{"last_name":"Fuchsbauer","id":"46B4C3EE-F248-11E8-B48F-1D18A9856A87","full_name":"Fuchsbauer, Georg","first_name":"Georg"}],"day":"01","oa_version":"Submitted Version","publist_id":"5509","title":"Constrained Verifiable Random Functions ","doi":"10.1007/978-3-319-10879-7_7","project":[{"grant_number":"259668","_id":"258C570E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Provable Security for Physical Cryptography"}],"main_file_link":[{"open_access":"1","url":"http://eprint.iacr.org/2014/537"}],"ec_funded":1},{"month":"12","intvolume":"       169","language":[{"iso":"eng"}],"alternative_title":["EPTCS"],"page":"31 - 38","_id":"1702","department":[{"_id":"ToHe"}],"conference":{"start_date":"2014-07-17","end_date":"2014-07-17","name":"HCVS: Horn Clauses for Verification and Synthesis","location":"Vienna, Austria"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"volume":169,"date_updated":"2025-06-11T08:03:28Z","quality_controlled":"1","date_created":"2018-12-11T11:53:33Z","citation":{"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>.","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>.","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>","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.","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>","short":"A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 31–38."},"publication":"Electronic Proceedings in Theoretical Computer Science, EPTCS","type":"conference","external_id":{"arxiv":["1303.7378"]},"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1303.7378"}],"oa_version":"Submitted Version","publist_id":"5435","doi":"10.4204/EPTCS.169.5","title":"Generalised interpolation by solving recursion free-horn clauses","date_published":"2014-12-02T00:00:00Z","publisher":"Open Publishing Association","author":[{"full_name":"Gupta, Ashutosh","first_name":"Ashutosh","id":"335E5684-F248-11E8-B48F-1D18A9856A87","last_name":"Gupta"},{"full_name":"Popeea, Corneliu","first_name":"Corneliu","last_name":"Popeea"},{"last_name":"Rybalchenko","full_name":"Rybalchenko, Andrey","first_name":"Andrey"}],"arxiv":1,"article_processing_charge":"No","day":"02","scopus_import":"1","year":"2014","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."}],"publication_status":"published","status":"public","corr_author":"1"},{"issue":"January","main_file_link":[{"open_access":"1","url":"http://papers.nips.cc/paper/5343-spatio-temporal-representations-of-uncertainty-in-spiking-neural-networks.pdf"}],"title":"Spatio-temporal representations of uncertainty in spiking neural networks","publist_id":"5427","oa_version":"None","day":"01","article_processing_charge":"No","publisher":"Neural Information Processing Systems Foundation","author":[{"last_name":"Savin","id":"3933349E-F248-11E8-B48F-1D18A9856A87","first_name":"Cristina","full_name":"Savin, Cristina"},{"full_name":"Denève, Sophie","first_name":"Sophie","last_name":"Denève"}],"date_published":"2014-01-01T00:00:00Z","corr_author":"1","status":"public","abstract":[{"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.","lang":"eng"}],"publication_status":"published","year":"2014","scopus_import":"1","language":[{"iso":"eng"}],"intvolume":"        27","month":"01","conference":{"location":"Montreal, Canada","start_date":"2014-12-08","name":"NIPS: Neural Information Processing Systems","end_date":"2014-12-13"},"department":[{"_id":"GaTk"}],"_id":"1708","page":"2024 - 2032","volume":27,"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","citation":{"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.","short":"C. Savin, S. Denève, in:, Neural Information Processing Systems Foundation, 2014, pp. 2024–2032.","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.","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.","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.","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.","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."},"date_created":"2018-12-11T11:53:35Z","date_updated":"2025-06-03T11:45:08Z","quality_controlled":"1"},{"corr_author":"1","status":"public","publication_status":"published","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."}],"year":"2014","scopus_import":"1","day":"04","article_processing_charge":"No","arxiv":1,"publisher":"Elsevier","author":[{"last_name":"Cerny","first_name":"Pavol","full_name":"Cerny, Pavol"},{"last_name":"Chmelik","id":"3624234E-F248-11E8-B48F-1D18A9856A87","full_name":"Chmelik, Martin","first_name":"Martin"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"last_name":"Radhakrishna","id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","first_name":"Arjun","full_name":"Radhakrishna, Arjun"}],"date_published":"2014-12-04T00:00:00Z","doi":"10.1016/j.tcs.2014.08.019","title":"Interface simulation distances","publist_id":"5392","oa_version":"Submitted Version","ec_funded":1,"issue":"3","main_file_link":[{"url":"http://arxiv.org/abs/1210.2450","open_access":"1"}],"project":[{"call_identifier":"FP7","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989"},{"grant_number":"S11402-N23","name":"Moderne Concurrency Paradigms","call_identifier":"FWF","_id":"25F5A88A-B435-11E9-9278-68D0E5697425"},{"grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","call_identifier":"FWF"},{"grant_number":"P 23499-N23","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"external_id":{"isi":["000347601300009"],"arxiv":["1210.2450"]},"publication":"Theoretical Computer Science","type":"journal_article","citation":{"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>.","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>.","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>","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.","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>","short":"P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363."},"date_created":"2018-12-11T11:53:43Z","date_updated":"2025-09-29T13:14:25Z","quality_controlled":"1","volume":560,"oa":1,"related_material":{"record":[{"relation":"earlier_version","id":"2916","status":"public"}]},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"_id":"1733","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"page":"348 - 363","language":[{"iso":"eng"}],"intvolume":"       560","month":"12"},{"month":"01","intvolume":"         3","main_file_link":[{"url":"http://arxiv.org/abs/1407.5413","open_access":"1"}],"issue":"4","acknowledgement":"This work was supported by the Agence Nationale de la Recherche and by the EU through the ERC Starting Grant HybridNano","_id":"1761","publist_id":"5363","doi":"10.1103/PhysRevX.3.041025","title":"PtSi clustering in silicon probed by transport spectroscopy","date_published":"2014-01-01T00:00:00Z","publisher":"American Physical Society","author":[{"first_name":"Massimo","full_name":"Mongillo, Massimo","last_name":"Mongillo"},{"last_name":"Spathis","first_name":"Panayotis","full_name":"Spathis, Panayotis N"},{"id":"38DB5788-F248-11E8-B48F-1D18A9856A87","first_name":"Georgios","full_name":"Georgios Katsaros","last_name":"Katsaros"},{"last_name":"De Franceschi","first_name":"Silvano","full_name":"De Franceschi, Silvano"},{"first_name":"Pascal","full_name":"Gentile, Pascal","last_name":"Gentile"},{"last_name":"Rurali","first_name":"Riccardo","full_name":"Rurali, Riccardo"},{"last_name":"Cartoixà","first_name":"Xavier","full_name":"Cartoixà, Xavier"}],"day":"01","oa":1,"volume":3,"quality_controlled":0,"date_updated":"2021-01-12T06:53:02Z","year":"2014","date_created":"2018-12-11T11:53:52Z","extern":1,"publication_status":"published","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."}],"status":"public","type":"journal_article","publication":"Physical Review X","citation":{"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).","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>","short":"M. Mongillo, P. Spathis, G. Katsaros, S. De Franceschi, P. Gentile, R. Rurali, X. Cartoixà, Physical Review X 3 (2014).","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.","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>.","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>","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>."}},{"type":"journal_article","citation":{"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.","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>","short":"E. Visbal, Z. Haiman, B. Terrazas, G.L. Bryan, R. Barkana, Monthly Notices of the Royal Astronomical Society 445 (2014) 107–114.","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.","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>.","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>","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>."},"publication":"Monthly Notices of the Royal Astronomical Society","date_created":"2024-09-05T13:30:21Z","extern":"1","quality_controlled":"1","date_updated":"2024-09-24T07:43:44Z","volume":445,"oa":1,"article_type":"original","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_identifier":{"issn":["0035-8711","1365-2966"]},"_id":"17614","page":"107-114","language":[{"iso":"eng"}],"intvolume":"       445","month":"09","status":"public","abstract":[{"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.","lang":"eng"}],"publication_status":"published","year":"2014","scopus_import":"1","day":"22","article_processing_charge":"No","author":[{"full_name":"Visbal, Eli","first_name":"Eli","last_name":"Visbal"},{"full_name":"Haiman, Zoltán","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"},{"last_name":"Terrazas","full_name":"Terrazas, Bryan","first_name":"Bryan"},{"last_name":"Bryan","first_name":"Greg L.","full_name":"Bryan, Greg L."},{"last_name":"Barkana","first_name":"Rennan","full_name":"Barkana, Rennan"}],"publisher":"Oxford University Press","date_published":"2014-09-22T00:00:00Z","title":"High-redshift star formation in a time-dependent Lyman–Werner background","doi":"10.1093/mnras/stu1710","oa_version":"Published Version","issue":"1","main_file_link":[{"url":"https://doi.org/10.1093/mnras/stu1710","open_access":"1"}]},{"status":"public","publication_status":"published","abstract":[{"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.","lang":"eng"}],"year":"2014","scopus_import":"1","day":"14","article_processing_charge":"No","arxiv":1,"publisher":"American Astronomical Society","author":[{"full_name":"Duffell, Paul C.","first_name":"Paul C.","last_name":"Duffell"},{"last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","first_name":"Zoltán","full_name":"Haiman, Zoltán"},{"last_name":"MacFadyen","first_name":"Andrew I.","full_name":"MacFadyen, Andrew I."},{"full_name":"D'Orazio, Daniel J.","first_name":"Daniel J.","last_name":"D'Orazio"},{"last_name":"Farris","first_name":"Brian D.","full_name":"Farris, Brian D."}],"date_published":"2014-08-14T00:00:00Z","title":"The migration of gap-opening planets is not locked to viscous disk evolution","doi":"10.1088/2041-8205/792/1/l10","oa_version":"Preprint","issue":"1","main_file_link":[{"url":" https://doi.org/10.48550/arXiv.1405.3711","open_access":"1"}],"external_id":{"arxiv":["1405.3711"]},"publication":"The Astrophysical Journal","citation":{"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>.","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>","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>.","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.","short":"P.C. Duffell, Z. Haiman, A.I. MacFadyen, D.J. D’Orazio, B.D. Farris, The Astrophysical Journal 792 (2014).","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>","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."},"type":"journal_article","extern":"1","date_created":"2024-09-05T13:34:52Z","quality_controlled":"1","date_updated":"2024-09-24T08:08:57Z","volume":792,"oa":1,"article_type":"original","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_identifier":{"issn":["2041-8213"]},"_id":"17617","language":[{"iso":"eng"}],"article_number":"L10","intvolume":"       792","month":"08"},{"external_id":{"arxiv":["1310.0492"]},"issue":"2","main_file_link":[{"open_access":"1","url":" https://doi.org/10.48550/arXiv.1310.0492"}],"oa_version":"Preprint","title":"Binary black hole accretion from a circumbinary disk: Gas dynamics inside the central cavity","doi":"10.1088/0004-637x/783/2/134","date_published":"2014-02-24T00:00:00Z","arxiv":1,"author":[{"last_name":"Farris","first_name":"Brian D.","full_name":"Farris, Brian D."},{"last_name":"Duffell","full_name":"Duffell, Paul","first_name":"Paul"},{"full_name":"MacFadyen, Andrew I.","first_name":"Andrew I.","last_name":"MacFadyen"},{"id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","full_name":"Haiman, Zoltán","first_name":"Zoltán","last_name":"Haiman"}],"publisher":"American Astronomical Society","day":"24","article_processing_charge":"No","year":"2014","scopus_import":"1","abstract":[{"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.","lang":"eng"}],"publication_status":"published","status":"public","month":"02","intvolume":"       783","article_number":"134","language":[{"iso":"eng"}],"_id":"17620","publication_identifier":{"issn":["0004-637X","1538-4357"]},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_type":"original","volume":783,"oa":1,"quality_controlled":"1","date_updated":"2024-09-24T08:23:39Z","date_created":"2024-09-05T13:48:18Z","extern":"1","publication":"The Astrophysical Journal","type":"journal_article","citation":{"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>.","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>.","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>","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.","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>","short":"B.D. Farris, P. Duffell, A.I. MacFadyen, Z. Haiman, The Astrophysical Journal 783 (2014)."}},{"oa_version":"Preprint","doi":"10.1103/physrevd.90.123015","title":"Impact of spurious shear on cosmological parameter estimates from weak lensing observables","external_id":{"arxiv":["1409.5130"]},"issue":"12","main_file_link":[{"url":" https://doi.org/10.48550/arXiv.1409.5130","open_access":"1"}],"year":"2014","scopus_import":"1","publication_status":"published","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."}],"status":"public","date_published":"2014-12-30T00:00:00Z","arxiv":1,"publisher":"American Physical Society","author":[{"last_name":"Petri","full_name":"Petri, Andrea","first_name":"Andrea"},{"full_name":"May, Morgan","first_name":"Morgan","last_name":"May"},{"full_name":"Haiman, Zoltán","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"},{"first_name":"Jan M.","full_name":"Kratochvil, Jan M.","last_name":"Kratochvil"}],"day":"30","article_processing_charge":"No","_id":"17623","publication_identifier":{"issn":["1550-7998","1550-2368"]},"month":"12","intvolume":"        90","article_number":"123015","language":[{"iso":"eng"}],"date_updated":"2024-09-24T08:39:41Z","quality_controlled":"1","date_created":"2024-09-05T13:52:25Z","extern":"1","publication":"Physical Review D","type":"journal_article","citation":{"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>.","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>.","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>","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.","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>","short":"A. Petri, M. May, Z. Haiman, J.M. Kratochvil, Physical Review D 90 (2014)."},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_type":"original","volume":90,"oa":1}]