[{"status":"public","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","extern":"1","volume":117,"type":"journal_article","date_published":"2013-05-09T00:00:00Z","citation":{"apa":"Lin, T.-C., Cole, J. M., Higginbotham, A. P., Edwards, A. J., Piltz, R. O., Pérez-Moreno, J., … Kwon, O.-P. (2013). Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. American Chemical Society (ACS). https://doi.org/10.1021/jp400648q","ama":"Lin T-C, Cole JM, Higginbotham AP, et al. Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. 2013;117(18):9416-9430. doi:10.1021/jp400648q","ieee":"T.-C. Lin et al., “Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations,” The Journal of Physical Chemistry C, vol. 117, no. 18. American Chemical Society (ACS), pp. 9416–9430, 2013.","chicago":"Lin, Tze-Chia, Jacqueline M. Cole, Andrew P Higginbotham, Alison J. Edwards, Ross O. Piltz, Javier Pérez-Moreno, Ji-Youn Seo, Seung-Chul Lee, Koen Clays, and O-Pil Kwon. “Molecular Origins of the High-Performance Nonlinear Optical Susceptibility in a Phenolic Polyene Chromophore: Electron Density Distributions, Hydrogen Bonding, and Ab Initio Calculations.” The Journal of Physical Chemistry C. American Chemical Society (ACS), 2013. https://doi.org/10.1021/jp400648q.","short":"T.-C. Lin, J.M. Cole, A.P. Higginbotham, A.J. Edwards, R.O. Piltz, J. Pérez-Moreno, J.-Y. Seo, S.-C. Lee, K. Clays, O.-P. Kwon, The Journal of Physical Chemistry C 117 (2013) 9416–9430.","mla":"Lin, Tze-Chia, et al. “Molecular Origins of the High-Performance Nonlinear Optical Susceptibility in a Phenolic Polyene Chromophore: Electron Density Distributions, Hydrogen Bonding, and Ab Initio Calculations.” The Journal of Physical Chemistry C, vol. 117, no. 18, American Chemical Society (ACS), 2013, pp. 9416–30, doi:10.1021/jp400648q.","ista":"Lin T-C, Cole JM, Higginbotham AP, Edwards AJ, Piltz RO, Pérez-Moreno J, Seo J-Y, Lee S-C, Clays K, Kwon O-P. 2013. Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. 117(18), 9416–9430."},"year":"2013","date_updated":"2021-01-12T08:07:17Z","abstract":[{"text":"The molecular and supramolecular origins of the superior nonlinear optical (NLO) properties observed in the organic phenolic triene material, OH1 (2-(3-(4-hydroxystyryl)-5,5-dimethylcyclohex-2-enylidene)malononitrile), are presented. The molecular charge-transfer distribution is topographically mapped, demonstrating that a uniformly delocalized passive electronic medium facilitates the charge-transfer between the phenolic electron donor and the cyano electron acceptors which lie at opposite ends of the molecule. Its ability to act as a “push–pull” π-conjugated molecule is quantified, relative to similar materials, by supporting empirical calculations; these include bond-length alternation and harmonic-oscillator stabilization energy (HOSE) tests. Such tests, together with frontier molecular orbital considerations, reveal that OH1 can exist readily in its aromatic (neutral) or quinoidal (charge-separated) state, thereby overcoming the “nonlinearity-thermal stability trade-off”. The HOSE calculation also reveals a correlation between the quinoidal resonance contribution to the overall structure of OH1 and the UV–vis absorption peak wavelength in the wider family of configurationally locked polyene framework materials. Solid-state tensorial coefficients of the molecular dipole, polarizability, and the first hyperpolarizability for OH1 are derived from the first-, second-, and third-order electronic moments of the experimental charge-density distribution. The overall solid-state molecular dipole moment is compared with those from gas-phase calculations, revealing that crystal field effects are very significant in OH1. The solid-state hyperpolarizability derived from this charge-density study affords good agreement with gas-phase calculations as well as optical measurements based on hyper-Rayleigh scattering (HRS) and electric-field-induced second harmonic (EFISH) generation. This lends support to the further use of charge-density studies to calculate solid-state hyperpolarizability coefficients in other organic NLO materials. Finally, this charge-density study is also employed to provide an advanced classification of hydrogen bonds in OH1, which requires more stringent criteria than those from conventional structure analysis. As a result, only the strongest OH···NC interaction is so classified as a true hydrogen bond. Indeed, it is this electrostatic interaction that influences the molecular charge transfer: the other four, weaker, nonbonded contacts nonetheless affect the crystal packing. Overall, the establishment of these structure–property relationships lays a blueprint for designing further, more NLO efficient, materials in this industrially leading organic family of compounds.","lang":"eng"}],"day":"09","publication_identifier":{"issn":["1932-7447","1932-7455"]},"doi":"10.1021/jp400648q","language":[{"iso":"eng"}],"quality_controlled":"1","page":"9416-9430","publisher":"American Chemical Society (ACS)","issue":"18","author":[{"first_name":"Tze-Chia","last_name":"Lin","full_name":"Lin, Tze-Chia"},{"first_name":"Jacqueline M.","last_name":"Cole","full_name":"Cole, Jacqueline M."},{"id":"4AD6785A-F248-11E8-B48F-1D18A9856A87","first_name":"Andrew P","last_name":"Higginbotham","orcid":"0000-0003-2607-2363","full_name":"Higginbotham, Andrew P"},{"full_name":"Edwards, Alison J.","last_name":"Edwards","first_name":"Alison J."},{"first_name":"Ross O.","last_name":"Piltz","full_name":"Piltz, Ross O."},{"full_name":"Pérez-Moreno, Javier","last_name":"Pérez-Moreno","first_name":"Javier"},{"first_name":"Ji-Youn","last_name":"Seo","full_name":"Seo, Ji-Youn"},{"last_name":"Lee","first_name":"Seung-Chul","full_name":"Lee, Seung-Chul"},{"last_name":"Clays","first_name":"Koen","full_name":"Clays, Koen"},{"first_name":"O-Pil","last_name":"Kwon","full_name":"Kwon, O-Pil"}],"_id":"6370","publication":"The Journal of Physical Chemistry C","intvolume":" 117","title":"Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations","month":"05","date_created":"2019-05-03T09:40:31Z","oa_version":"None","publication_status":"published"},{"publisher":"IST Austria","file_date_updated":"2020-07-14T12:47:30Z","language":[{"iso":"eng"}],"page":"23","pubrep_id":"124","month":"06","title":"Replacing competition with cooperation to achieve scalable lock-free FIFO queues ","alternative_title":["IST Austria Technical Report"],"department":[{"_id":"ToHe"}],"date_created":"2019-05-13T14:13:27Z","oa_version":"Published Version","publication_status":"published","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A"},{"first_name":"Hannes","last_name":"Payer","full_name":"Payer, Hannes"},{"id":"4C7638DA-F248-11E8-B48F-1D18A9856A87","full_name":"Sezgin, Ali","first_name":"Ali","last_name":"Sezgin"}],"has_accepted_license":"1","_id":"6440","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["000","005"],"file":[{"access_level":"open_access","relation":"main_file","creator":"dernst","file_id":"6441","checksum":"a219ba4eada6cd62befed52262ee15d4","file_size":549684,"date_created":"2019-05-13T14:11:39Z","file_name":"2013_TechRep_Henzinger.pdf","content_type":"application/pdf","date_updated":"2020-07-14T12:47:30Z"}],"oa":1,"abstract":[{"lang":"eng","text":"In order to guarantee that each method of a data structure updates the logical state exactly once, al-most all non-blocking implementations employ Compare-And-Swap (CAS) based synchronization. For FIFO queue implementations this translates into concurrent enqueue or dequeue methods competing among themselves to update the same variable, the tail or the head, respectively, leading to high contention and poor scalability. Recent non-blocking queue implementations try to alleviate high contentionby increasing the number of contention points, all the while using CAS-based synchronization. Furthermore, obtaining a wait-free implementation with competition is achieved by additional synchronization which leads to further degradation of performance.In this paper we formalize the notion of competitiveness of a synchronizing statement which can beused as a measure for the scalability of concurrent implementations. We present a new queue implementation, the Speculative Pairing (SP) queue, which, as we show, decreases competitiveness by using Fetch-And-Increment (FAI) instead of CAS. We prove that the SP queue is linearizable and lock-free.We also show that replacing CAS with FAI leads to wait-freedom for dequeue methods without an adverse effect on performance. In fact, our experiments suggest that the SP queue can perform and scale better than the state-of-the-art queue implementations."}],"day":"13","publication_identifier":{"issn":["2664-1690"]},"doi":"10.15479/AT:IST-2013-124-v1-1","type":"technical_report","date_published":"2013-06-13T00:00:00Z","year":"2013","citation":{"ieee":"T. A. Henzinger, H. Payer, and A. Sezgin, Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria, 2013.","chicago":"Henzinger, Thomas A, Hannes Payer, and Ali Sezgin. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-124-v1-1.","ama":"Henzinger TA, Payer H, Sezgin A. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria; 2013. doi:10.15479/AT:IST-2013-124-v1-1","apa":"Henzinger, T. A., Payer, H., & Sezgin, A. (2013). Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria. https://doi.org/10.15479/AT:IST-2013-124-v1-1","ista":"Henzinger TA, Payer H, Sezgin A. 2013. Replacing competition with cooperation to achieve scalable lock-free FIFO queues , IST Austria, 23p.","mla":"Henzinger, Thomas A., et al. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013, doi:10.15479/AT:IST-2013-124-v1-1.","short":"T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013."},"date_updated":"2020-07-14T23:06:19Z"},{"quality_controlled":0,"page":"1147 - 1168","publisher":"Princeton University Press","publication":"Annals of Mathematics","_id":"1442","issue":"3","author":[{"id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","first_name":"Tamas","last_name":"Hausel","full_name":"Tamas Hausel"},{"first_name":"Emmanuel","last_name":"Letellier","full_name":"Letellier, Emmanuel"},{"full_name":"Rodríguez Villegas, Fernando","last_name":"Rodríguez Villegas","first_name":"Fernando"}],"date_created":"2018-12-11T11:52:02Z","publication_status":"published","intvolume":" 177","month":"01","title":"Positivity for Kac polynomials and DT-invariants of quivers","main_file_link":[{"url":"http://arxiv.org/abs/1204.2375","open_access":"1"}],"volume":177,"acknowledgement":"The first author thanks the Royal Society for funding his research 2005-2012 in the form of a Royal Society University Research Fellowship as well as the Mathematical Institute and Wadham College in Oxford for a very productive environment. The second author is supported by Agence Nationale de la Recherche grant\nANR-09-JCJC-0102-01. The third author is supported by the NSF grant DMS-1101484 and a Research Scholarship from the Clay Mathematical Institute.","status":"public","extern":1,"year":"2013","citation":{"chicago":"Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics. Princeton University Press, 2013. https://doi.org/10.4007/annals.2013.177.3.8.","ieee":"T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Positivity for Kac polynomials and DT-invariants of quivers,” Annals of Mathematics, vol. 177, no. 3. Princeton University Press, pp. 1147–1168, 2013.","ama":"Hausel T, Letellier E, Rodríguez Villegas F. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 2013;177(3):1147-1168. doi:10.4007/annals.2013.177.3.8","apa":"Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2013.177.3.8","ista":"Hausel T, Letellier E, Rodríguez Villegas F. 2013. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 177(3), 1147–1168.","short":"T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168.","mla":"Hausel, Tamás, et al. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics, vol. 177, no. 3, Princeton University Press, 2013, pp. 1147–68, doi:10.4007/annals.2013.177.3.8."},"date_updated":"2021-01-12T06:50:47Z","type":"journal_article","date_published":"2013-01-01T00:00:00Z","day":"01","doi":"10.4007/annals.2013.177.3.8","publist_id":"5754","oa":1,"abstract":[{"text":"We give a cohomological interpretation of both the Kac polynomial and the refined Donaldson-Thomas-invariants of quivers. This interpretation yields a proof of a conjecture of Kac from 1982 and gives a new perspective on recent work of Kontsevich-Soibelman. Thisis achieved by computing, via an arithmetic Fourier transform, the dimensions of the isotypical components of the cohomology of associated Nakajima quiver varieties under the action of a Weyl group. The generating function of the corresponding Poincare polynomials is an extension of Hua's formula for Kac polynomials of quivers involving Hall-Littlewood symmetric functions. The resulting formulae contain a wide range of information on the geometry of the quiver varieties.","lang":"eng"}]},{"date_created":"2018-12-11T11:52:03Z","publication_status":"published","intvolume":" 25","title":"Global topology of the Hitchin system","month":"03","alternative_title":["Advanced Lectures in Mathematics"],"publication":"Handbook of Moduli: Volume II","_id":"1443","author":[{"id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","full_name":"Tamas Hausel","last_name":"Hausel","first_name":"Tamas"}],"publisher":"International Press","quality_controlled":0,"page":"29 - 70","day":"15","publist_id":"5753","oa":1,"abstract":[{"text":"Here we survey several results and conjectures on the cohomology of the total space of the Hitchin system: the moduli space of semi-stable rank n and degree d Higgs bundles on a complex algebraic curve C. The picture emerging is a dynamic mixture of ideas originating in theoretical physics such as gauge theory and mirror symmetry, Weil conjectures in arithmetic algebraic geometry, representation theory of finite groups of Lie type and Langlands duality in number theory.","lang":"eng"}],"year":"2013","citation":{"ieee":"T. Hausel, “Global topology of the Hitchin system,” in Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70.","chicago":"Hausel, Tamás. “Global Topology of the Hitchin System.” In Handbook of Moduli: Volume II, 25:29–70. International Press, 2013.","apa":"Hausel, T. (2013). Global topology of the Hitchin system. In Handbook of Moduli: Volume II (Vol. 25, pp. 29–70). International Press.","ama":"Hausel T. Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Vol 25. International Press; 2013:29-70.","ista":"Hausel T. 2013.Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Advanced Lectures in Mathematics, vol. 25, 29–70.","short":"T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.","mla":"Hausel, Tamás. “Global Topology of the Hitchin System.” Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70."},"date_updated":"2021-01-12T06:50:47Z","type":"book_chapter","date_published":"2013-03-15T00:00:00Z","main_file_link":[{"url":"http://arxiv.org/abs/1102.1717","open_access":"1"}],"volume":25,"status":"public","extern":1},{"page":"85 - 128","quality_controlled":0,"publisher":"Academic Press","_id":"1469","publication":"Advances in Mathematics","author":[{"first_name":"Tamas","last_name":"Hausel","full_name":"Tamas Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Emmanuel","last_name":"Letellier","full_name":"Letellier, Emmanuel"},{"full_name":"Rodríguez Villegas, Fernando","last_name":"Rodríguez Villegas","first_name":"Fernando"}],"publication_status":"published","date_created":"2018-12-11T11:52:12Z","title":"Arithmetic harmonic analysis on character and quiver varieties II","month":"02","intvolume":" 234","acknowledgement":"During the preparation of this paper TH was supported by a Royal Society University Research Fellowship at the University of Oxford. EL was supported by ANR-09-JCJC-0102-01. FRV was supported by NSF grant DMS-0200605, an FRA from the University of Texas at Austin, EPSRC grant EP/G027110/1, Visiting Fellowships at All Souls and Wadham Colleges in Oxford and a Research Scholarship from the Clay Mathematical Institute.","volume":234,"extern":1,"status":"public","date_updated":"2021-01-12T06:50:57Z","citation":{"ama":"Hausel T, Letellier E, Rodríguez Villegas F. Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. 2013;234:85-128. doi:10.1016/j.aim.2012.10.009","apa":"Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. Academic Press. https://doi.org/10.1016/j.aim.2012.10.009","ieee":"T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Arithmetic harmonic analysis on character and quiver varieties II,” Advances in Mathematics, vol. 234. Academic Press, pp. 85–128, 2013.","chicago":"Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics. Academic Press, 2013. https://doi.org/10.1016/j.aim.2012.10.009.","short":"T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128.","mla":"Hausel, Tamás, et al. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics, vol. 234, Academic Press, 2013, pp. 85–128, doi:10.1016/j.aim.2012.10.009.","ista":"Hausel T, Letellier E, Rodríguez Villegas F. 2013. Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. 234, 85–128."},"year":"2013","date_published":"2013-02-15T00:00:00Z","type":"journal_article","doi":"10.1016/j.aim.2012.10.009","day":"15","abstract":[{"text":"We study connections between the topology of generic character varieties of fundamental groups of punctured Riemann surfaces, Macdonald polynomials, quiver representations, Hilbert schemes on Cx × Cx, modular forms and multiplicities in tensor products of irreducible characters of finite general linear groups.","lang":"eng"}],"publist_id":"5724"},{"citation":{"ista":"De Cataldo M, Hausel T, Migliorini L. 2013. Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. 7, 23–38.","short":"M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.","mla":"De Cataldo, Mark, et al. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities, vol. 7, Worldwide Center of Mathematics, 2013, pp. 23–38, doi:10.5427/jsing.2013.7c.","chicago":"De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities. Worldwide Center of Mathematics, 2013. https://doi.org/10.5427/jsing.2013.7c.","ieee":"M. De Cataldo, T. Hausel, and L. Migliorini, “Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces,” Journal of Singularities, vol. 7. Worldwide Center of Mathematics, pp. 23–38, 2013.","ama":"De Cataldo M, Hausel T, Migliorini L. Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. 2013;7:23-38. doi:10.5427/jsing.2013.7c","apa":"De Cataldo, M., Hausel, T., & Migliorini, L. (2013). Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. Worldwide Center of Mathematics. https://doi.org/10.5427/jsing.2013.7c"},"year":"2013","date_updated":"2021-01-12T06:50:58Z","type":"journal_article","date_published":"2013-01-01T00:00:00Z","day":"01","doi":"10.5427/jsing.2013.7c","oa":1,"publist_id":"5725","abstract":[{"text":"We show that a natural isomorphism between the rational cohomology groups of the two zero-dimensional Hilbert schemes of n-points of two surfaces, the affine plane minus the axes and the cotangent bundle of an elliptic curve, exchanges the weight filtration on the first set of cohomology groups with the perverse Leray filtration associated with a natural fibration on the second set of cohomology groups. We discuss some associated hard Lefschetz phenomena.","lang":"eng"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1012.2583"}],"acknowledgement":"Mark Andrea A. de Cataldo was partially supported by N.S.A. and N.S.F. Tamás Hausel was supported by a Royal Society University Research Fellowship. Luca Migliorini was partially supported by PRIN 2007 project \"Spazi di moduli e teoria di Lie\"","volume":7,"status":"public","extern":1,"publication":"Journal of Singularities","_id":"1470","author":[{"last_name":"De Cataldo","first_name":"Mark","full_name":"De Cataldo, Mark A"},{"full_name":"Tamas Hausel","first_name":"Tamas","last_name":"Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Migliorini","first_name":"Luca","full_name":"Migliorini, Luca"}],"date_created":"2018-12-11T11:52:12Z","publication_status":"published","intvolume":" 7","title":"Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces","month":"01","quality_controlled":0,"page":"23 - 38","publisher":"Worldwide Center of Mathematics"},{"publisher":"Taylor & Francis","page":"2004 - 2047","quality_controlled":0,"title":"Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models","month":"11","intvolume":" 38","publication_status":"published","date_created":"2018-12-11T11:51:17Z","author":[{"id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","first_name":"Julian L","last_name":"Fischer","orcid":"0000-0002-0479-558X","full_name":"Julian Fischer"}],"issue":"11","publication":"Communications in Partial Differential Equations","_id":"1307","extern":1,"status":"public","volume":38,"abstract":[{"lang":"eng","text":"We prove uniqueness of solutions of the DLSS equation in a class of sufficiently regular functions. The global weak solutions of the DLSS equation constructed by Jüngel and Matthes belong to this class of uniqueness. We also show uniqueness of solutions for the quantum drift-diffusion equation, which contains additional drift and second-order diffusion terms. The results hold in case of periodic or Dirichlet-Neumann boundary conditions. Our proof is based on a monotonicity property of the DLSS operator and sophisticated approximation arguments; we derive a PDE satisfied by the pointwise square root of the solution, which enables us to exploit the monotonicity property of the operator."}],"publist_id":"5962","doi":"10.1080/03605302.2013.823548","day":"01","date_published":"2013-11-01T00:00:00Z","type":"journal_article","date_updated":"2021-01-12T06:49:46Z","citation":{"ista":"Fischer JL. 2013. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. 38(11), 2004–2047.","short":"J.L. Fischer, Communications in Partial Differential Equations 38 (2013) 2004–2047.","mla":"Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift Diffusion Models.” Communications in Partial Differential Equations, vol. 38, no. 11, Taylor & Francis, 2013, pp. 2004–47, doi:10.1080/03605302.2013.823548.","chicago":"Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift Diffusion Models.” Communications in Partial Differential Equations. Taylor & Francis, 2013. https://doi.org/10.1080/03605302.2013.823548.","ieee":"J. L. Fischer, “Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models,” Communications in Partial Differential Equations, vol. 38, no. 11. Taylor & Francis, pp. 2004–2047, 2013.","ama":"Fischer JL. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. 2013;38(11):2004-2047. doi:10.1080/03605302.2013.823548","apa":"Fischer, J. L. (2013). Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. Taylor & Francis. https://doi.org/10.1080/03605302.2013.823548"},"year":"2013"},{"date_published":"2013-01-01T00:00:00Z","type":"journal_article","date_updated":"2021-01-12T06:49:46Z","citation":{"short":"J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.","mla":"Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.” SIAM Journal on Mathematical Analysis, vol. 45, no. 3, Society for Industrial and Applied Mathematics , 2013, pp. 1585–615, doi:10.1137/120874291.","ista":"Fischer JL. 2013. Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. 45(3), 1585–1615.","ama":"Fischer JL. Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. 2013;45(3):1585-1615. doi:10.1137/120874291","apa":"Fischer, J. L. (2013). Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/120874291","ieee":"J. L. Fischer, “Advection-driven support shrinking in a chemotaxis model with degenerate mobility,” SIAM Journal on Mathematical Analysis, vol. 45, no. 3. Society for Industrial and Applied Mathematics , pp. 1585–1615, 2013.","chicago":"Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.” SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics , 2013. https://doi.org/10.1137/120874291."},"year":"2013","abstract":[{"text":"We derive sufficient conditions for advection-driven backward motion of the free boundary in a chemotaxis model with degenerate mobility. In this model, a porous-medium-type diffusive term and an advection term are in competition. The former induces forward motion, the latter may induce backward motion of the free boundary depending on the direction of advection. We deduce conditions on the growth of the initial data at the free boundary which ensure that at least initially the advection term is dominant. This implies local backward motion of the free boundary provided the advection is (locally) directed appropriately. Our result is based on a new class of moving test functions and Stampacchia's lemma. As a by-product of our estimates, we obtain quantitative bounds on the spreading of the support of solutions for the chemotaxis model and provide a proof for the finite speed of the support propagation property of solutions.","lang":"eng"}],"publist_id":"5963","doi":"10.1137/120874291","day":"01","extern":1,"status":"public","volume":45,"author":[{"last_name":"Fischer","first_name":"Julian L","full_name":"Julian Fischer","orcid":"0000-0002-0479-558X","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87"}],"issue":"3","publication":"SIAM Journal on Mathematical Analysis","_id":"1308","month":"01","title":"Advection-driven support shrinking in a chemotaxis model with degenerate mobility","intvolume":" 45","publication_status":"published","date_created":"2018-12-11T11:51:17Z","page":"1585 - 1615","quality_controlled":0,"publisher":"Society for Industrial and Applied Mathematics "},{"page":"3127 - 3149","quality_controlled":0,"publisher":"Academic Press","author":[{"id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Julian Fischer","orcid":"0000-0002-0479-558X","last_name":"Fischer","first_name":"Julian L"}],"issue":"10","publication":"Journal of Differential Equations","_id":"1310","title":"Optimal lower bounds on asymptotic support propagation rates for the thin-film equation","month":"11","intvolume":" 255","publication_status":"published","date_created":"2018-12-11T11:51:18Z","extern":1,"status":"public","volume":255,"date_published":"2013-11-15T00:00:00Z","type":"journal_article","date_updated":"2021-01-12T06:49:47Z","citation":{"ieee":"J. L. Fischer, “Optimal lower bounds on asymptotic support propagation rates for the thin-film equation,” Journal of Differential Equations, vol. 255, no. 10. Academic Press, pp. 3127–3149, 2013.","chicago":"Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.” Journal of Differential Equations. Academic Press, 2013. https://doi.org/10.1016/j.jde.2013.07.028.","ama":"Fischer JL. Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. 2013;255(10):3127-3149. doi:10.1016/j.jde.2013.07.028","apa":"Fischer, J. L. (2013). Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. Academic Press. https://doi.org/10.1016/j.jde.2013.07.028","ista":"Fischer JL. 2013. Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. 255(10), 3127–3149.","mla":"Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.” Journal of Differential Equations, vol. 255, no. 10, Academic Press, 2013, pp. 3127–49, doi:10.1016/j.jde.2013.07.028.","short":"J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149."},"year":"2013","abstract":[{"text":"We derive lower bounds on asymptotic support propagation rates for strong solutions of the Cauchy problem for the thin-film equation. The bounds coincide up to a constant factor with the previously known upper bounds and thus are sharp. Our results hold in case of at most three spatial dimensions and n∈. (1, 2.92). The result is established using weighted backward entropy inequalities with singular weight functions to yield a differential inequality; combined with some entropy production estimates, the optimal rate of propagation is obtained. To the best of our knowledge, these are the first lower bounds on asymptotic support propagation rates for higher-order nonnegativity-preserving parabolic equations.","lang":"eng"}],"publist_id":"5961","doi":"10.1016/j.jde.2013.07.028","day":"15"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","type":"journal_article","date_published":"2013-10-22T00:00:00Z","publication_identifier":{"eissn":["1437-2096"],"issn":["0936-5214"]},"keyword":["Organic Chemistry"],"language":[{"iso":"eng"}],"publication":"Synlett","month":"10","oa_version":"None","extern":"1","volume":24,"year":"2013","citation":{"short":"T. Ely, S. Das, W. Li, P. Kundu, E. Tirosh, D. Cahen, A. Vilan, R. Klajn, Synlett 24 (2013) 2370–2374.","mla":"Ely, Tal, et al. “Photocontrol of Electrical Conductance with a Nonsymmetrical Azobenzene Dithiol.” Synlett, vol. 24, no. 18, Georg Thieme Verlag, 2013, pp. 2370–74, doi:10.1055/s-0033-1340087.","ista":"Ely T, Das S, Li W, Kundu P, Tirosh E, Cahen D, Vilan A, Klajn R. 2013. Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. 24(18), 2370–2374.","apa":"Ely, T., Das, S., Li, W., Kundu, P., Tirosh, E., Cahen, D., … Klajn, R. (2013). Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. Georg Thieme Verlag. https://doi.org/10.1055/s-0033-1340087","ama":"Ely T, Das S, Li W, et al. Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. 2013;24(18):2370-2374. doi:10.1055/s-0033-1340087","ieee":"T. Ely et al., “Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol,” Synlett, vol. 24, no. 18. Georg Thieme Verlag, pp. 2370–2374, 2013.","chicago":"Ely, Tal, Sanjib Das, Wenjie Li, Pintu Kundu, Einat Tirosh, David Cahen, Ayelet Vilan, and Rafal Klajn. “Photocontrol of Electrical Conductance with a Nonsymmetrical Azobenzene Dithiol.” Synlett. Georg Thieme Verlag, 2013. https://doi.org/10.1055/s-0033-1340087."},"date_updated":"2023-08-08T07:47:35Z","abstract":[{"lang":"eng","text":"We report a method for preparing electrode–molecule–electrode junctions that incorporate nonsymmetrical azobenzene dithiols. Our approach is based on sequential deprotection of thiol moieties originally carrying two different protecting groups. The azobenzene derivatives retained their switching properties within monolayers and permitted the photocontrol of electrical conductance."}],"day":"22","doi":"10.1055/s-0033-1340087","quality_controlled":"1","page":"2370-2374","article_type":"original","publisher":"Georg Thieme Verlag","issue":"18","author":[{"first_name":"Tal","last_name":"Ely","full_name":"Ely, Tal"},{"full_name":"Das, Sanjib","first_name":"Sanjib","last_name":"Das"},{"full_name":"Li, Wenjie","last_name":"Li","first_name":"Wenjie"},{"last_name":"Kundu","first_name":"Pintu","full_name":"Kundu, Pintu"},{"first_name":"Einat","last_name":"Tirosh","full_name":"Tirosh, Einat"},{"full_name":"Cahen, David","first_name":"David","last_name":"Cahen"},{"full_name":"Vilan, Ayelet","last_name":"Vilan","first_name":"Ayelet"},{"id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","full_name":"Klajn, Rafal","last_name":"Klajn","first_name":"Rafal"}],"scopus_import":"1","_id":"13405","intvolume":" 24","title":"Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol","article_processing_charge":"No","date_created":"2023-08-01T09:47:17Z","publication_status":"published"},{"article_type":"original","publisher":"Wiley","quality_controlled":"1","page":"422-426","intvolume":" 25","title":"Dual-responsive nanoparticles and their self-assembly","article_processing_charge":"No","date_created":"2023-08-01T09:47:30Z","publication_status":"published","issue":"3","author":[{"first_name":"Sanjib","last_name":"Das","full_name":"Das, Sanjib"},{"first_name":"Priyadarshi","last_name":"Ranjan","full_name":"Ranjan, Priyadarshi"},{"full_name":"Maiti, Pradipta Sankar","first_name":"Pradipta Sankar","last_name":"Maiti"},{"last_name":"Singh","first_name":"Gurvinder","full_name":"Singh, Gurvinder"},{"full_name":"Leitus, Gregory","last_name":"Leitus","first_name":"Gregory"},{"full_name":"Klajn, Rafal","last_name":"Klajn","first_name":"Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b"}],"scopus_import":"1","pmid":1,"_id":"13406","extern":"1","volume":25,"abstract":[{"lang":"eng","text":"Dual-responsive nanoparticles are designed by functionalizing magnetic cores with light-responsive ligands. These materials respond to both light and magnetic fields and can be assembled into various higher-order structures, depending on the relative contributions of these two stimuli."}],"day":"18","doi":"10.1002/adma.201201734","external_id":{"pmid":["22933327"]},"year":"2013","citation":{"apa":"Das, S., Ranjan, P., Maiti, P. S., Singh, G., Leitus, G., & Klajn, R. (2013). Dual-responsive nanoparticles and their self-assembly. Advanced Materials. Wiley. https://doi.org/10.1002/adma.201201734","ama":"Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. Dual-responsive nanoparticles and their self-assembly. Advanced Materials. 2013;25(3):422-426. doi:10.1002/adma.201201734","ieee":"S. Das, P. Ranjan, P. S. Maiti, G. Singh, G. Leitus, and R. Klajn, “Dual-responsive nanoparticles and their self-assembly,” Advanced Materials, vol. 25, no. 3. Wiley, pp. 422–426, 2013.","chicago":"Das, Sanjib, Priyadarshi Ranjan, Pradipta Sankar Maiti, Gurvinder Singh, Gregory Leitus, and Rafal Klajn. “Dual-Responsive Nanoparticles and Their Self-Assembly.” Advanced Materials. Wiley, 2013. https://doi.org/10.1002/adma.201201734.","short":"S. Das, P. Ranjan, P.S. Maiti, G. Singh, G. Leitus, R. Klajn, Advanced Materials 25 (2013) 422–426.","mla":"Das, Sanjib, et al. “Dual-Responsive Nanoparticles and Their Self-Assembly.” Advanced Materials, vol. 25, no. 3, Wiley, 2013, pp. 422–26, doi:10.1002/adma.201201734.","ista":"Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. 2013. Dual-responsive nanoparticles and their self-assembly. Advanced Materials. 25(3), 422–426."},"date_updated":"2023-08-08T07:49:36Z","keyword":["Mechanical Engineering","Mechanics of Materials","General Materials Science"],"language":[{"iso":"eng"}],"month":"01","oa_version":"None","publication":"Advanced Materials","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","publication_identifier":{"issn":["0935-9648"]},"type":"journal_article","date_published":"2013-01-18T00:00:00Z"},{"date_published":"2013-09-01T00:00:00Z","type":"conference","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"oa":1,"publist_id":"5837","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"content_type":"application/pdf","file_name":"IST-2016-624-v1+1_ChKr_Infinite-state_games_2013_17.pdf","date_updated":"2020-07-14T12:44:47Z","file_size":547296,"checksum":"b7091a3866db573c0db5ec486952255e","date_created":"2018-12-12T10:13:38Z","creator":"system","file_id":"5023","access_level":"open_access","relation":"main_file"}],"publication":"22nd EACSL Annual Conference on Computer Science Logic","has_accepted_license":"1","month":"09","oa_version":"Published Version","project":[{"call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"name":"Game Theory","grant_number":"S11407","_id":"25863FF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"language":[{"iso":"eng"}],"conference":{"location":"Torino, Italy","end_date":"2013-09-05","start_date":"203-09-02","name":"CSL: Computer Science Logic"},"date_updated":"2021-01-12T06:50:14Z","year":"2013","citation":{"ista":"Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions. 22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23, 181–196.","mla":"Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.","short":"K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.","ieee":"K. Chatterjee and N. Fijalkow, “Infinite-state games with finitary conditions,” in 22nd EACSL Annual Conference on Computer Science Logic, Torino, Italy, 2013, vol. 23, pp. 181–196.","chicago":"Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181.","ama":"Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In: 22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181","apa":"Chatterjee, K., & Fijalkow, N. (2013). Infinite-state games with finitary conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.181"},"abstract":[{"lang":"eng","text":"We study two-player zero-sum games over infinite-state graphs equipped with ωB and finitary conditions. Our first contribution is about the strategy complexity, i.e the memory required for winning strategies: we prove that over general infinite-state graphs, memoryless strategies are sufficient for finitary Büchi, and finite-memory suffices for finitary parity games. We then study pushdown games with boundedness conditions, with two contributions. First we prove a collapse result for pushdown games with ωB-conditions, implying the decidability of solving these games. Second we consider pushdown games with finitary parity along with stack boundedness conditions, and show that solving these games is EXPTIME-complete."}],"doi":"10.4230/LIPIcs.CSL.2013.181","day":"01","ddc":["000"],"volume":23,"author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Fijalkow","first_name":"Nathanaël","full_name":"Fijalkow, Nathanaël"}],"_id":"1374","scopus_import":1,"title":"Infinite-state games with finitary conditions","pubrep_id":"624","alternative_title":["LIPIcs"],"intvolume":" 23","publication_status":"published","department":[{"_id":"KrCh"}],"date_created":"2018-12-11T11:51:39Z","file_date_updated":"2020-07-14T12:44:47Z","page":"181 - 196","series_title":"Leibniz International Proceedings in Informatics","ec_funded":1,"quality_controlled":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik"},{"conference":{"start_date":"2013-10-20","name":"FMCAD: Formal Methods in Computer-Aided Design","end_date":"2013-10-23","location":"Portland, OR, United States"},"publisher":"IEEE","language":[{"iso":"eng"}],"page":"18 - 25","quality_controlled":"1","ec_funded":1,"month":"12","title":"Distributed synthesis for LTL fragments","publication_status":"published","oa_version":"None","project":[{"call_identifier":"FWF","_id":"2584A770-B435-11E9-9278-68D0E5697425","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"},{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"267989","name":"Quantitative Reactive Modeling"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"date_created":"2018-12-11T11:51:40Z","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"author":[{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"id":"2FC5DA74-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","last_name":"Otop","full_name":"Otop, Jan"},{"last_name":"Pavlogiannis","first_name":"Andreas","full_name":"Pavlogiannis, Andreas","orcid":"0000-0002-8943-0722","id":"49704004-F248-11E8-B48F-1D18A9856A87"}],"publication":"13th International Conference on Formal Methods in Computer-Aided Design","_id":"1376","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"id":"5406","relation":"earlier_version","status":"public"}]},"abstract":[{"lang":"eng","text":"We consider the distributed synthesis problem for temporal logic specifications. Traditionally, the problem has been studied for LTL, and the previous results show that the problem is decidable iff there is no information fork in the architecture. We consider the problem for fragments of LTL and our main results are as follows: (1) We show that the problem is undecidable for architectures with information forks even for the fragment of LTL with temporal operators restricted to next and eventually. (2) For specifications restricted to globally along with non-nested next operators, we establish decidability (in EXPSPACE) for star architectures where the processes receive disjoint inputs, whereas we establish undecidability for architectures containing an information fork-meet structure. (3) Finally, we consider LTL without the next operator, and establish decidability (NEXPTIME-complete) for all architectures for a fragment that consists of a set of safety assumptions, and a set of guarantees where each guarantee is a safety, reachability, or liveness condition."}],"publist_id":"5835","doi":"10.1109/FMCAD.2013.6679386","day":"11","date_published":"2013-12-11T00:00:00Z","type":"conference","date_updated":"2023-02-23T12:24:53Z","year":"2013","citation":{"short":"K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.","mla":"Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.","ista":"Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.","ama":"Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed synthesis for LTL fragments. In: 13th International Conference on Formal Methods in Computer-Aided Design. IEEE; 2013:18-25. doi:10.1109/FMCAD.2013.6679386","apa":"Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In 13th International Conference on Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679386","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. “Distributed Synthesis for LTL Fragments.” In 13th International Conference on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679386.","ieee":"K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in 13th International Conference on Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25."}},{"external_id":{"arxiv":["1308.4767"]},"year":"2013","citation":{"ieee":"G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, and R. Bloem, “Synthesizing multiple boolean functions using interpolation on a single proof,” in 2013 Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 77–84.","chicago":"Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679394.","ama":"Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394","apa":"Hofferek, G., Gupta, A., Könighofer, B., Jiang, J., & Bloem, R. (2013). Synthesizing multiple boolean functions using interpolation on a single proof. In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679394","ista":"Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. 2013. Synthesizing multiple boolean functions using interpolation on a single proof. 2013 Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 77–84.","mla":"Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.","short":"G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84."},"date_updated":"2021-01-12T06:50:19Z","abstract":[{"lang":"eng","text":"It is often difficult to correctly implement a Boolean controller for a complex system, especially when concurrency is involved. Yet, it may be easy to formally specify a controller. For instance, for a pipelined processor it suffices to state that the visible behavior of the pipelined system should be identical to a non-pipelined reference system (Burch-Dill paradigm). We present a novel procedure to efficiently synthesize multiple Boolean control signals from a specification given as a quantified first-order formula (with a specific quantifier structure). Our approach uses uninterpreted functions to abstract details of the design. We construct an unsatisfiable SMT formula from the given specification. Then, from just one proof of unsatisfiability, we use a variant of Craig interpolation to compute multiple coordinated interpolants that implement the Boolean control signals. Our method avoids iterative learning and back-substitution of the control functions. We applied our approach to synthesize a controller for a simple two-stage pipelined processor, and present first experimental results."}],"day":"11","doi":"10.1109/FMCAD.2013.6679394","arxiv":1,"acknowledgement":"This research was supported by the European Commission through project\r\nDIAMOND (FP7-2009-IST-4-248613), and QUAINT (I774-N23), ","author":[{"last_name":"Hofferek","first_name":"Georg","full_name":"Hofferek, Georg"},{"full_name":"Gupta, Ashutosh","last_name":"Gupta","first_name":"Ashutosh","id":"335E5684-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Könighofer","first_name":"Bettina","full_name":"Könighofer, Bettina"},{"full_name":"Jiang, Jie","last_name":"Jiang","first_name":"Jie"},{"last_name":"Bloem","first_name":"Roderick","full_name":"Bloem, Roderick"}],"_id":"1385","title":"Synthesizing multiple boolean functions using interpolation on a single proof","date_created":"2018-12-11T11:51:43Z","department":[{"_id":"ToHe"}],"publication_status":"published","quality_controlled":"1","ec_funded":1,"page":"77 - 84","publisher":"IEEE","type":"conference","date_published":"2013-12-11T00:00:00Z","publist_id":"5825","oa":1,"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1308.4767"}],"publication":"2013 Formal Methods in Computer-Aided Design","month":"12","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering","grant_number":"S 11407_N23"},{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"267989","name":"Quantitative Reactive Modeling"}],"oa_version":"Preprint","language":[{"iso":"eng"}],"conference":{"location":"Portland, OR, United States","end_date":"2013-10-23","start_date":"2013-10-20","name":"FMCAD: Formal Methods in Computer-Aided Design"}},{"language":[{"iso":"eng"}],"conference":{"name":"ICALP: Automata, Languages and Programming","start_date":"2013-07-08","end_date":"2013-07-12","location":"Riga, Latvia"},"has_accepted_license":"1","project":[{"call_identifier":"FWF","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"},{"call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989","name":"Quantitative Reactive Modeling"}],"oa_version":"Submitted Version","month":"07","file":[{"relation":"main_file","access_level":"open_access","creator":"dernst","file_id":"7857","checksum":"98bc02e3793072e279ec8d364b381ff3","file_size":276982,"date_created":"2020-05-15T11:05:50Z","file_name":"2013_ICALP_Boker.pdf","content_type":"application/pdf","date_updated":"2020-07-14T12:44:48Z"}],"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","date_published":"2013-07-01T00:00:00Z","oa":1,"publist_id":"5823","quality_controlled":"1","ec_funded":1,"series_title":"Lecture Notes in Computer Science","page":"89 - 100","file_date_updated":"2020-07-14T12:44:48Z","publisher":"Springer","scopus_import":1,"_id":"1387","issue":"PART 2","author":[{"id":"31E297B6-F248-11E8-B48F-1D18A9856A87","full_name":"Boker, Udi","last_name":"Boker","first_name":"Udi"},{"first_name":"Denis","last_name":"Kuperberg","full_name":"Kuperberg, Denis"},{"full_name":"Kupferman, Orna","last_name":"Kupferman","first_name":"Orna"},{"last_name":"Skrzypczak","first_name":"Michał","full_name":"Skrzypczak, Michał"}],"department":[{"_id":"ToHe"}],"date_created":"2018-12-11T11:51:44Z","article_processing_charge":"No","publication_status":"published","intvolume":" 7966","alternative_title":["LNCS"],"title":"Nondeterminism in the presence of a diverse or unknown future","volume":7966,"acknowledgement":"and ERC Grant QUALITY.","ddc":["000"],"year":"2013","citation":{"chicago":"Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_11.","ieee":"U. Boker, D. Kuperberg, O. Kupferman, and M. Skrzypczak, “Nondeterminism in the presence of a diverse or unknown future,” vol. 7966, no. PART 2. Springer, pp. 89–100, 2013.","apa":"Boker, U., Kuperberg, D., Kupferman, O., & Skrzypczak, M. (2013). Nondeterminism in the presence of a diverse or unknown future. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39212-2_11","ama":"Boker U, Kuperberg D, Kupferman O, Skrzypczak M. Nondeterminism in the presence of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:10.1007/978-3-642-39212-2_11","ista":"Boker U, Kuperberg D, Kupferman O, Skrzypczak M. 2013. Nondeterminism in the presence of a diverse or unknown future. 7966(PART 2), 89–100.","short":"U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.","mla":"Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11."},"date_updated":"2020-08-11T10:09:09Z","day":"01","doi":"10.1007/978-3-642-39212-2_11","abstract":[{"text":"Choices made by nondeterministic word automata depend on both the past (the prefix of the word read so far) and the future (the suffix yet to be read). In several applications, most notably synthesis, the future is diverse or unknown, leading to algorithms that are based on deterministic automata. Hoping to retain some of the advantages of nondeterministic automata, researchers have studied restricted classes of nondeterministic automata. Three such classes are nondeterministic automata that are good for trees (GFT; i.e., ones that can be expanded to tree automata accepting the derived tree languages, thus whose choices should satisfy diverse futures), good for games (GFG; i.e., ones whose choices depend only on the past), and determinizable by pruning (DBP; i.e., ones that embody equivalent deterministic automata). The theoretical properties and relative merits of the different classes are still open, having vagueness on whether they really differ from deterministic automata. In particular, while DBP ⊆ GFG ⊆ GFT, it is not known whether every GFT automaton is GFG and whether every GFG automaton is DBP. Also open is the possible succinctness of GFG and GFT automata compared to deterministic automata. We study these problems for ω-regular automata with all common acceptance conditions. We show that GFT=GFG⊃DBP, and describe a determinization construction for GFG automata.","lang":"eng"}]},{"type":"dissertation","date_published":"2013-09-05T00:00:00Z","oa":1,"publist_id":"5802","supervisor":[{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"publication_identifier":{"issn":["2663-337X"]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","related_material":{"record":[{"relation":"part_of_dissertation","id":"2847","status":"public"},{"status":"public","id":"3251","relation":"part_of_dissertation"},{"status":"public","id":"4361","relation":"part_of_dissertation"}]},"file":[{"success":1,"relation":"main_file","access_level":"open_access","file_id":"9176","creator":"dernst","date_created":"2021-02-22T11:28:36Z","file_size":1514906,"checksum":"ed2d7b52933d134e8dc69d569baa284e","date_updated":"2021-02-22T11:28:36Z","content_type":"application/pdf","file_name":"2013_Zufferey_thesis_final.pdf"},{"file_id":"10298","creator":"cchlebak","access_level":"closed","relation":"main_file","date_updated":"2021-11-17T13:47:58Z","content_type":"application/pdf","file_name":"2013_Zufferey_thesis_final_pdfa.pdf","date_created":"2021-11-16T14:42:52Z","file_size":1378313,"checksum":"cecc4c4b14225bee973d32e3dba91a55"}],"main_file_link":[{"url":"http://dzufferey.github.io/files/2013_thesis.pdf"}],"has_accepted_license":"1","month":"09","project":[{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","grant_number":"267989"}],"oa_version":"Published Version","language":[{"iso":"eng"}],"year":"2013","citation":{"ama":"Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405","apa":"Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1405","chicago":"Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute of Science and Technology Austria, 2013. https://doi.org/10.15479/at:ista:1405.","ieee":"D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013.","mla":"Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute of Science and Technology Austria, 2013, doi:10.15479/at:ista:1405.","short":"D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science and Technology Austria, 2013.","ista":"Zufferey D. 2013. Analysis of dynamic message passing programs. Institute of Science and Technology Austria."},"date_updated":"2023-09-07T11:36:37Z","abstract":[{"lang":"eng","text":"Motivated by the analysis of highly dynamic message-passing systems, i.e. unbounded thread creation, mobility, etc. we present a framework for the analysis of depth-bounded systems. Depth-bounded systems are one of the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. Even though they are infinite state systems depth-bounded systems are well-structured, thus can be analyzed algorithmically. We give an interpretation of depth-bounded systems as graph-rewriting systems. This gives more flexibility and ease of use to apply depth-bounded systems to other type of systems like shared memory concurrency.\r\n\r\nFirst, we develop an adequate domain of limits for depth-bounded systems, a prerequisite for the effective representation of downward-closed sets. Downward-closed sets are needed by forward saturation-based algorithms to represent potentially infinite sets of states. Then, we present an abstract interpretation framework to compute the covering set of well-structured transition systems. Because, in general, the covering set is not computable, our abstraction over-approximates the actual covering set. Our abstraction captures the essence of acceleration based-algorithms while giving up enough precision to ensure convergence. We have implemented the analysis in the PICASSO tool and show that it is accurate in practice. Finally, we build some further analyses like termination using the covering set as starting point."}],"day":"05","degree_awarded":"PhD","doi":"10.15479/at:ista:1405","ddc":["000"],"acknowledgement":"This work was supported in part by the Austrian Science Fund NFN RiSE (Rigorous Systems Engineering) and by the ERC Advanced Grant QUAREM (Quantitative Reactve Modeling).\r\nChapter 2, 3, and 4 are joint work with Thomas A. Henzinger and Thomas Wies. Chapter 2 was published in FoSSaCS 2010 as “Forward Analysis of Depth-Bounded Processes” [112]. Chapter 3 was published in VMCAI 2012 as “Ideal Abstractions for Well-Structured Transition Systems” [114]. Chap- ter 5.1 is joint work with Kshitij Bansal, Eric Koskinen, and Thomas Wies. It was published in TACAS 2013 as “Structural Counter Abstraction” [13]. The author’s contribution in this part is mostly related to the implementation. The theory required to understand the method and its implementation is quickly recalled to make the thesis self-contained, but should not be considered as a contribution. For the details of the methods, we refer the reader to the orig- inal publication [13] and the corresponding technical report [14]. Chapter 5.2 is ongoing work with Shahram Esmaeilsabzali, Rupak Majumdar, and Thomas Wies. I also would like to thank the people who supported over the past 4 years. My advisor Thomas A. Henzinger who gave me a lot of freedom to work on projects I was interested in. My collaborators, especially Thomas Wies with whom I worked since the beginning. The members of my thesis committee, Viktor Kun- cak and Rupak Majumdar, who also agreed to advise me. Simon Aeschbacher, Pavol Cerny, Cezara Dragoi, Arjun Radhakrishna, my family, friends and col- leagues who created an enjoyable environment. ","author":[{"full_name":"Zufferey, Damien","orcid":"0000-0002-3197-8736","last_name":"Zufferey","first_name":"Damien","id":"4397AC76-F248-11E8-B48F-1D18A9856A87"}],"_id":"1405","alternative_title":["ISTA Thesis"],"title":"Analysis of dynamic message passing programs","date_created":"2018-12-11T11:51:50Z","department":[{"_id":"ToHe"},{"_id":"GradSch"}],"article_processing_charge":"No","publication_status":"published","file_date_updated":"2021-11-17T13:47:58Z","ec_funded":1,"page":"134","publisher":"Institute of Science and Technology Austria"},{"day":"01","publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","publist_id":"5801","supervisor":[{"id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","first_name":"Carl-Philipp J","full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566"}],"abstract":[{"text":"Epithelial spreading is a critical part of various developmental and wound repair processes. Here we use zebrafish epiboly as a model system to study the cellular and molecular mechanisms underlying the spreading of epithelial sheets. During zebrafish epiboly the enveloping cell layer (EVL), a simple squamous epithelium, spreads over the embryo to eventually cover the entire yolk cell by the end of gastrulation. The EVL leading edge is anchored through tight junctions to the yolk syncytial layer (YSL), where directly adjacent to the EVL margin a contractile actomyosin ring is formed that is thought to drive EVL epiboly. The prevalent view in the field was that the contractile ring exerts a pulling force on the EVL margin, which pulls the EVL towards the vegetal pole. However, how this force is generated and how it affects EVL morphology still remains elusive. Moreover, the cellular mechanisms mediating the increase in EVL surface area, while maintaining tissue integrity and function are still unclear. Here we show that the YSL actomyosin ring pulls on the EVL margin by two distinct force-generating mechanisms. One mechanism is based on contraction of the ring around its circumference, as previously proposed. The second mechanism is based on actomyosin retrogade flows, generating force through resistance against the substrate. The latter can function at any epiboly stage even in situations where the contraction-based mechanism is unproductive. Additionally, we demonstrate that during epiboly the EVL is subjected to anisotropic tension, which guides the orientation of EVL cell division along the main axis (animal-vegetal) of tension. The influence of tension in cell division orientation involves cell elongation and requires myosin-2 activity for proper spindle alignment. Strikingly, we reveal that tension-oriented cell divisions release anisotropic tension within the EVL and that in the absence of such divisions, EVL cells undergo ectopic fusions. We conclude that forces applied to the EVL by the action of the YSL actomyosin ring generate a tension anisotropy in the EVL that orients cell divisions, which in turn limit tissue tension increase thereby facilitating tissue spreading.","lang":"eng"}],"citation":{"ista":"Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.","short":"P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, Institute of Science and Technology Austria, 2013.","mla":"Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. Institute of Science and Technology Austria, 2013.","chicago":"Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” Institute of Science and Technology Austria, 2013.","ieee":"P. Campinho, “Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading,” Institute of Science and Technology Austria, 2013.","ama":"Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. 2013.","apa":"Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria."},"year":"2013","date_updated":"2023-09-07T11:36:07Z","type":"dissertation","date_published":"2013-10-01T00:00:00Z","status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_processing_charge":"No","department":[{"_id":"CaHe"}],"date_created":"2018-12-11T11:51:50Z","acknowledged_ssus":[{"_id":"Bio"},{"_id":"PreCl"}],"publication_status":"published","oa_version":"None","title":"Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading","alternative_title":["ISTA Thesis"],"month":"10","_id":"1406","author":[{"last_name":"Campinho","first_name":"Pedro","full_name":"Campinho, Pedro","orcid":"0000-0002-8526-5416","id":"3AFBBC42-F248-11E8-B48F-1D18A9856A87"}],"publisher":"Institute of Science and Technology Austria","page":"123","language":[{"iso":"eng"}]},{"_id":"905","publication":"Forktail","author":[{"full_name":"Arkhipov, Vladimir Y","last_name":"Arkhipov","first_name":"Vladimir"},{"last_name":"Noah","first_name":"T","full_name":"Noah T"},{"first_name":"Steffen","last_name":"Koschkar","full_name":"Koschkar, Steffen"},{"id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8243-4694","full_name":"Fyodor Kondrashov","first_name":"Fyodor","last_name":"Kondrashov"}],"issue":"29","publication_status":"published","date_created":"2018-12-11T11:49:07Z","month":"09","title":"Birds of Mys Shmidta, north Chukotka, Russia","page":"25 - 30","quality_controlled":0,"publisher":"Oriental Bird Club","date_updated":"2021-01-12T08:21:48Z","year":"2013","citation":{"chicago":"Arkhipov, Vladimir, T Noah, Steffen Koschkar, and Fyodor Kondrashov. “Birds of Mys Shmidta, North Chukotka, Russia.” Forktail. Oriental Bird Club, 2013.","ieee":"V. Arkhipov, T. Noah, S. Koschkar, and F. Kondrashov, “Birds of Mys Shmidta, north Chukotka, Russia,” Forktail, no. 29. Oriental Bird Club, pp. 25–30, 2013.","ama":"Arkhipov V, Noah T, Koschkar S, Kondrashov F. Birds of Mys Shmidta, north Chukotka, Russia. Forktail. 2013;(29):25-30.","apa":"Arkhipov, V., Noah, T., Koschkar, S., & Kondrashov, F. (2013). Birds of Mys Shmidta, north Chukotka, Russia. Forktail. Oriental Bird Club.","ista":"Arkhipov V, Noah T, Koschkar S, Kondrashov F. 2013. Birds of Mys Shmidta, north Chukotka, Russia. Forktail. (29), 25–30.","mla":"Arkhipov, Vladimir, et al. “Birds of Mys Shmidta, North Chukotka, Russia.” Forktail, no. 29, Oriental Bird Club, 2013, pp. 25–30.","short":"V. Arkhipov, T. Noah, S. Koschkar, F. Kondrashov, Forktail (2013) 25–30."},"date_published":"2013-09-01T00:00:00Z","type":"journal_article","day":"01","abstract":[{"lang":"eng","text":"A survey of avifauna was carried out in the Mys Shmidta area, north Chukotka, Russia from 8 June to 12 July 2011. A total of 90 species was recorded in the area, which together with literature data made a final list of 104 species. For several species this area is beyond the northern, north-eastern or north-western limits of their known distribution. We collected new data for 19 globally or locally threatened species. Tundra Swan Cygnus columbianus, Emperor Goose Anser canagica, American Golden Plover Pluvialis dominica, Western Sandpiper Calidris mauri, Semipalmated Sandpiper C. pusilla, Northern House Martin Delichon urbica and Barn Swallow Hirundo rustica were all confirmed to be breeding. Breeding of Brent Goose Branta bernicla nigricans, Spectacled Eider Somateria fischeri and Steller's Eider Polysticta stelleri was judged to be 'very likely'. There was no evidence for breeding of Ross's Gull Rhodostethia rosea despite several records. Two Eurasian Dotterels Eudromias morinellus were recorded displaying for the first time in the area, but the status of the species is unclear. The area is important for Snowy Owl Nyctea scandiaca, and as moulting grounds for Emperor Goose. Canada Goose Branta canadensis, Baikal Teal Anas formosa, Bar-tailed Godwit Limosa lapponica, Slaty-backed Gull Larus schistisagus, Thayer's Gull L. thayeri, Black-headed Gull L. ridibundus, White-tailed Eagle Haliaeetus albicilla, Steller's Sea Eagle H. pelagicus, Osprey Pandion haliaetus, Arctic Warbler Phylloscopus borealis and House Sparrow Passer domesticus are more likely to be rare vagrants or migrants. An observation of a Pine Siskin Carduelis pinus is the first record for Eurasia."}],"oa":1,"publist_id":"6741","acknowledgement":"We thank Natalya Kveten and Oksana Makarova, heads of administrations of Mys Shmidta and Ryrkaypiy for hospitality and for help with organising our excursions. Warm thanks too to Pavel Tomkovich for useful comments on local birds and ornithological literature. We are very grateful to The David and Lucile Packard Foundation for the support to Birds Russia’s Spoon-billed Sandpiper conservation programme in 2011 and to Evgeny Syroechkovsky Jr, the leader of the Spoon-billed Sandpiper conservation team in Russia.","main_file_link":[{"open_access":"1","url":"http://orientalbirdclub.org/forktail29/"}],"extern":1,"status":"public"},{"extern":"1","volume":339,"abstract":[{"text":"Spontaneous formation of colonies of bacteria or flocks of birds are examples of self-organization in active living matter. Here, we demonstrate a form of self-organization from nonequilibrium driving forces in a suspension of synthetic photoactivated colloidal particles. They lead to two-dimensional \"living crystals,\" which form, break, explode, and re-form elsewhere. The dynamic assembly results from a competition between self-propulsion of particles and an attractive interaction induced respectively by osmotic and phoretic effects and activated by light. We measured a transition from normal to giant-number fluctuations. Our experiments are quantitatively described by simple numerical simulations. We show that the existence of the living crystals is intrinsically related to the out-of-equilibrium collisions of the self-propelled particles.","lang":"eng"}],"day":"22","doi":"10.1126/science.1230020","external_id":{"pmid":["23371555"]},"year":"2013","citation":{"ama":"Palacci JA, Sacanna S, Steinberg AP, Pine DJ, Chaikin PM. Living crystals of light-activated colloidal surfers. Science. 2013;339(6122):936-940. doi:10.1126/science.1230020","apa":"Palacci, J. A., Sacanna, S., Steinberg, A. P., Pine, D. J., & Chaikin, P. M. (2013). Living crystals of light-activated colloidal surfers. Science. American Association for the Advancement of Science . https://doi.org/10.1126/science.1230020","chicago":"Palacci, Jérémie A, S. Sacanna, A. P. Steinberg, D. J. Pine, and P. M. Chaikin. “Living Crystals of Light-Activated Colloidal Surfers.” Science. American Association for the Advancement of Science , 2013. https://doi.org/10.1126/science.1230020.","ieee":"J. A. Palacci, S. Sacanna, A. P. Steinberg, D. J. Pine, and P. M. Chaikin, “Living crystals of light-activated colloidal surfers,” Science, vol. 339, no. 6122. American Association for the Advancement of Science , pp. 936–940, 2013.","short":"J.A. Palacci, S. Sacanna, A.P. Steinberg, D.J. Pine, P.M. Chaikin, Science 339 (2013) 936–940.","mla":"Palacci, Jérémie A., et al. “Living Crystals of Light-Activated Colloidal Surfers.” Science, vol. 339, no. 6122, American Association for the Advancement of Science , 2013, pp. 936–40, doi:10.1126/science.1230020.","ista":"Palacci JA, Sacanna S, Steinberg AP, Pine DJ, Chaikin PM. 2013. Living crystals of light-activated colloidal surfers. Science. 339(6122), 936–940."},"date_updated":"2022-08-25T14:57:43Z","article_type":"original","publisher":"American Association for the Advancement of Science ","quality_controlled":"1","page":"936-940","intvolume":" 339","title":"Living crystals of light-activated colloidal surfers","article_processing_charge":"No","date_created":"2021-02-01T14:37:29Z","publication_status":"published","issue":"6122","author":[{"id":"8fb92548-2b22-11eb-b7c1-a3f0d08d7c7d","first_name":"Jérémie A","last_name":"Palacci","orcid":"0000-0002-7253-9465","full_name":"Palacci, Jérémie A"},{"full_name":"Sacanna, S.","first_name":"S.","last_name":"Sacanna"},{"full_name":"Steinberg, A. P.","last_name":"Steinberg","first_name":"A. P."},{"full_name":"Pine, D. J.","last_name":"Pine","first_name":"D. J."},{"last_name":"Chaikin","first_name":"P. M.","full_name":"Chaikin, P. M."}],"scopus_import":"1","_id":"9055","pmid":1,"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","status":"public","publication_identifier":{"eissn":["1095-9203"],"issn":["0036-8075"]},"type":"journal_article","date_published":"2013-02-22T00:00:00Z","keyword":["Multidisciplinary"],"language":[{"iso":"eng"}],"month":"02","oa_version":"None","publication":"Science"},{"author":[{"full_name":"Melet, Angélique","last_name":"Melet","first_name":"Angélique"},{"full_name":"Nikurashin, Maxim","last_name":"Nikurashin","first_name":"Maxim"},{"first_name":"Caroline J","last_name":"Muller","orcid":"0000-0001-5836-5350","full_name":"Muller, Caroline J","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b"},{"full_name":"Falahat, S.","last_name":"Falahat","first_name":"S."},{"full_name":"Nycander, Jonas","last_name":"Nycander","first_name":"Jonas"},{"full_name":"Timko, Patrick G.","last_name":"Timko","first_name":"Patrick G."},{"full_name":"Arbic, Brian K.","first_name":"Brian K.","last_name":"Arbic"},{"full_name":"Goff, John A.","first_name":"John A.","last_name":"Goff"}],"issue":"11","_id":"9153","title":"Internal tide generation by abyssal hills using analytical theory","intvolume":" 118","publication_status":"published","date_created":"2021-02-15T15:11:39Z","article_processing_charge":"No","page":"6303-6318","quality_controlled":"1","article_type":"original","publisher":"American Geophysical Union","date_updated":"2022-01-24T13:46:15Z","year":"2013","citation":{"ista":"Melet A, Nikurashin M, Muller CJ, Falahat S, Nycander J, Timko PG, Arbic BK, Goff JA. 2013. Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. 118(11), 6303–6318.","short":"A. Melet, M. Nikurashin, C.J. Muller, S. Falahat, J. Nycander, P.G. Timko, B.K. Arbic, J.A. Goff, Journal of Geophysical Research: Oceans 118 (2013) 6303–6318.","mla":"Melet, Angélique, et al. “Internal Tide Generation by Abyssal Hills Using Analytical Theory.” Journal of Geophysical Research: Oceans, vol. 118, no. 11, American Geophysical Union, 2013, pp. 6303–18, doi:10.1002/2013jc009212.","chicago":"Melet, Angélique, Maxim Nikurashin, Caroline J Muller, S. Falahat, Jonas Nycander, Patrick G. Timko, Brian K. Arbic, and John A. Goff. “Internal Tide Generation by Abyssal Hills Using Analytical Theory.” Journal of Geophysical Research: Oceans. American Geophysical Union, 2013. https://doi.org/10.1002/2013jc009212.","ieee":"A. Melet et al., “Internal tide generation by abyssal hills using analytical theory,” Journal of Geophysical Research: Oceans, vol. 118, no. 11. American Geophysical Union, pp. 6303–6318, 2013.","ama":"Melet A, Nikurashin M, Muller CJ, et al. Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. 2013;118(11):6303-6318. doi:10.1002/2013jc009212","apa":"Melet, A., Nikurashin, M., Muller, C. J., Falahat, S., Nycander, J., Timko, P. G., … Goff, J. A. (2013). Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. American Geophysical Union. https://doi.org/10.1002/2013jc009212"},"abstract":[{"text":"Internal tide driven mixing plays a key role in sustaining the deep ocean stratification and meridional overturning circulation. Internal tides can be generated by topographic horizontal scales ranging from hundreds of meters to tens of kilometers. State of the art topographic products barely resolve scales smaller than ∼10 km in the deep ocean. On these scales abyssal hills dominate ocean floor roughness. The impact of abyssal hill roughness on internal‐tide generation is evaluated in this study. The conversion of M2 barotropic to baroclinic tidal energy is calculated based on linear wave theory both in real and spectral space using the Shuttle Radar Topography Mission SRTM30_PLUS bathymetric product at 1/120° resolution with and without the addition of synthetic abyssal hill roughness. Internal tide generation by abyssal hills integrates to 0.1 TW globally or 0.03 TW when the energy flux is empirically corrected for supercritical slope (i.e., ∼10% of the energy flux due to larger topographic scales resolved in standard products in both cases). The abyssal hill driven energy conversion is dominated by mid‐ocean ridges, where abyssal hill roughness is large. Focusing on two regions located over the Mid‐Atlantic Ridge and the East Pacific Rise, it is shown that regionally linear theory predicts an increase of the energy flux due to abyssal hills of up to 100% or 60% when an empirical correction for supercritical slopes is attempted. Therefore, abyssal hills, unresolved in state of the art topographic products, can have a strong impact on internal tide generation, especially over mid‐ocean ridges.","lang":"eng"}],"doi":"10.1002/2013jc009212","day":"07","extern":"1","volume":118,"publication":"Journal of Geophysical Research: Oceans","month":"11","oa_version":"Published Version","language":[{"iso":"eng"}],"date_published":"2013-11-07T00:00:00Z","type":"journal_article","oa":1,"publication_identifier":{"issn":["2169-9275"]},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","status":"public","main_file_link":[{"url":"https://doi.org/10.1002/2013JC009212","open_access":"1"}]}]