[{"month":"08","publisher":"AIP Publishing","scopus_import":"1","status":"public","language":[{"iso":"eng"}],"date_published":"2014-08-14T00:00:00Z","doi":"10.1063/1.4890744","extern":"1","intvolume":"       141","volume":141,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"The cyclopropene radical cation (c-C3H₄⁺) is an important but poorly characterized three-membered-ring hydrocarbon. We report on a measurement of the high-resolution photoelectron and photoionization spectra of cyclopropene and several deuterated isotopomers, from which we have determined the rovibrational energy level structure of the X⁺ (2)B2 ground electronic state of c-C3H₄⁺ at low energies for the first time. The synthesis of the partially deuterated isotopomers always resulted in mixtures of several isotopomers, differing in their number of D atoms and in the location of these atoms, so that the photoelectron spectra of deuterated samples are superpositions of the spectra of several isotopomers. The rotationally resolved spectra indicate a C(2v)-symmetric R0 structure for the ground electronic state of c-C3H₄⁺. Two vibrational modes of c-C3H₄⁺ are found to have vibrational wave numbers below 300 cm(-1), which is surprising for such a small cyclic hydrocarbon. The analysis of the isotopic shifts of the vibrational levels enabled the assignment of the lowest-frequency mode (fundamental wave number of ≈110 cm(-1) in c-C3H₄⁺) to the CH2 torsional mode (ν₈⁺, A2 symmetry) and of the second-lowest-frequency mode (≈210 cm(-1) in c-C3H₄⁺) to a mode combining a CH out-of-plane with a CH2 rocking motion (ν₁₅⁺, B2 symmetry). The potential energy along the CH2 torsional coordinate is flat near the equilibrium structure and leads to a pronounced anharmonicity."}],"article_type":"original","publication_status":"published","article_processing_charge":"No","keyword":["Physical and Theoretical Chemistry","General Physics and Astronomy"],"oa_version":"None","quality_controlled":"1","_id":"14019","year":"2014","date_created":"2023-08-10T06:38:30Z","pmid":1,"external_id":{"pmid":["25134581"]},"title":"The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra","article_number":"064317","issue":"6","author":[{"full_name":"Vasilatou, K.","first_name":"K.","last_name":"Vasilatou"},{"full_name":"Michaud, J. M.","last_name":"Michaud","first_name":"J. M."},{"first_name":"Denitsa Rangelova","last_name":"Baykusheva","full_name":"Baykusheva, Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530"},{"full_name":"Grassi, G.","first_name":"G.","last_name":"Grassi"},{"full_name":"Merkt, F.","last_name":"Merkt","first_name":"F."}],"date_updated":"2023-08-22T09:01:31Z","citation":{"ista":"Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. 2014. The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. The Journal of Chemical Physics. 141(6), 064317.","chicago":"Vasilatou, K., J. M. Michaud, Denitsa Rangelova Baykusheva, G. Grassi, and F. Merkt. “The Cyclopropene Radical Cation: Rovibrational Level Structure at Low Energies from High-Resolution Photoelectron Spectra.” <i>The Journal of Chemical Physics</i>. AIP Publishing, 2014. <a href=\"https://doi.org/10.1063/1.4890744\">https://doi.org/10.1063/1.4890744</a>.","ama":"Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. <i>The Journal of Chemical Physics</i>. 2014;141(6). doi:<a href=\"https://doi.org/10.1063/1.4890744\">10.1063/1.4890744</a>","apa":"Vasilatou, K., Michaud, J. M., Baykusheva, D. R., Grassi, G., &#38; Merkt, F. (2014). The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. <i>The Journal of Chemical Physics</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/1.4890744\">https://doi.org/10.1063/1.4890744</a>","ieee":"K. Vasilatou, J. M. Michaud, D. R. Baykusheva, G. Grassi, and F. Merkt, “The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra,” <i>The Journal of Chemical Physics</i>, vol. 141, no. 6. AIP Publishing, 2014.","mla":"Vasilatou, K., et al. “The Cyclopropene Radical Cation: Rovibrational Level Structure at Low Energies from High-Resolution Photoelectron Spectra.” <i>The Journal of Chemical Physics</i>, vol. 141, no. 6, 064317, AIP Publishing, 2014, doi:<a href=\"https://doi.org/10.1063/1.4890744\">10.1063/1.4890744</a>.","short":"K. Vasilatou, J.M. Michaud, D.R. Baykusheva, G. Grassi, F. Merkt, The Journal of Chemical Physics 141 (2014)."},"publication":"The Journal of Chemical Physics","publication_identifier":{"issn":["0021-9606"],"eissn":["1089-7690"]},"day":"14"},{"date_published":"2014-12-01T00:00:00Z","status":"public","title":"Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana","language":[{"iso":"eng"}],"alternative_title":["ISTA Thesis"],"type":"dissertation","citation":{"mla":"Marhavá, Petra. <i>Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana</i>. Institute of Science and Technology Austria, 2014.","ieee":"P. Marhavá, “Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2014.","apa":"Marhavá, P. (2014). <i>Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana</i>. Institute of Science and Technology Austria.","ama":"Marhavá P. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. 2014.","chicago":"Marhavá, Petra. “Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2014.","ista":"Marhavá P. 2014. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.","short":"P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2014."},"date_updated":"2023-09-07T11:39:38Z","author":[{"full_name":"Marhavá, Petra","id":"44E59624-F248-11E8-B48F-1D18A9856A87","first_name":"Petra","last_name":"Marhavá"}],"supervisor":[{"first_name":"Jiří","last_name":"Friml","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"5805","day":"01","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication_identifier":{"issn":["2663-337X"]},"month":"12","publication_status":"published","publisher":"Institute of Science and Technology Austria","department":[{"_id":"JiFr"}],"abstract":[{"lang":"eng","text":"Phosphatidylinositol (Ptdlns) is a structural phospholipid that can be phosphorylated into various lipid signaling molecules, designated polyphosphoinositides (PPIs). The reversible phosphorylation of PPIs on the 3, 4, or 5 position of inositol is performed by a set of organelle-specific kinases and phosphatases, and the characteristic head groups make these molecules ideal for regulating biological processes in time and space. In yeast and mammals, Ptdlns3P and Ptdlns(3,5)P2 play crucial roles in trafficking toward the lytic compartments, whereas the role in plants is not yet fully understood. Here we identified the role of a land plant-specific subgroup of PPI phosphatases, the suppressor of actin 2 (SAC2) to SAC5, during vauolar trafficking and morphogenesis in Arabidopsis thaliana. SAC2-SAC5 localize to the tonoplast along with Ptdlns3P, the presumable product of their activity. in SAC gain- and loss-of-function mutants, the levels of Ptdlns monophosphates and bisphosphates were changed, with opposite effects on the morphology of storage and lytic vacuoles, and the trafficking toward the vacuoles was defective. Moreover, multiple sac knockout mutants had an increased number of smaller storage and lytic vacuoles, whereas extralarge vacuoles were observed in the overexpression lines, correlating with various growth and developmental defects. The fragmented vacuolar phenotype of sac mutants could be mimicked by treating wild-type seedlings with Ptdlns(3,5)P2, corroborating that this PPI is important for vacuole morphology. Taken together, these results provide evidence that PPIs, together with their metabolic enzymes SAC2-SAC5, are crucial for vacuolar trafficking and for vacuolar morphology and function in plants."}],"article_processing_charge":"No","degree_awarded":"PhD","oa_version":"None","page":"90","date_created":"2018-12-11T11:51:49Z","_id":"1402","year":"2014"},{"title":"Two-pulse field-free orientation reveals anisotropy of molecular shape resonance","external_id":{"pmid":["25062172"],"arxiv":["1311.3923"]},"article_number":"023001","issue":"2","date_updated":"2023-08-22T09:02:56Z","author":[{"full_name":"Kraus, P. M.","first_name":"P. M.","last_name":"Kraus"},{"full_name":"Baykusheva, Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","last_name":"Baykusheva","first_name":"Denitsa Rangelova"},{"full_name":"Wörner, H. J.","last_name":"Wörner","first_name":"H. J."}],"citation":{"short":"P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Physical Review Letters 113 (2014).","apa":"Kraus, P. M., Baykusheva, D. R., &#38; Wörner, H. J. (2014). Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevlett.113.023001\">https://doi.org/10.1103/physrevlett.113.023001</a>","ieee":"P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse field-free orientation reveals anisotropy of molecular shape resonance,” <i>Physical Review Letters</i>, vol. 113, no. 2. American Physical Society, 2014.","ama":"Kraus PM, Baykusheva DR, Wörner HJ. Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. <i>Physical Review Letters</i>. 2014;113(2). doi:<a href=\"https://doi.org/10.1103/physrevlett.113.023001\">10.1103/physrevlett.113.023001</a>","mla":"Kraus, P. M., et al. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” <i>Physical Review Letters</i>, vol. 113, no. 2, 023001, American Physical Society, 2014, doi:<a href=\"https://doi.org/10.1103/physrevlett.113.023001\">10.1103/physrevlett.113.023001</a>.","ista":"Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. 113(2), 023001.","chicago":"Kraus, P. M., Denitsa Rangelova Baykusheva, and H. J. Wörner. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” <i>Physical Review Letters</i>. American Physical Society, 2014. <a href=\"https://doi.org/10.1103/physrevlett.113.023001\">https://doi.org/10.1103/physrevlett.113.023001</a>."},"day":"11","publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"publication":"Physical Review Letters","oa":1,"publication_status":"published","article_type":"original","abstract":[{"lang":"eng","text":"We report the observation of macroscopic field-free orientation, i.e., more than 73% of CO molecules pointing in the same direction. This is achieved through an all-optical scheme operating at high particle densities (>10(17)  cm(-3)) that combines one-color (ω) and two-color (ω+2ω) nonresonant femtosecond laser pulses. We show that the achieved orientation solely relies on the hyperpolarizability interaction as opposed to an ionization-depletion mechanism, thus, opening a wide range of applications. The achieved strong orientation enables us to reveal the molecular-frame anisotropies of the photorecombination amplitudes and phases caused by a shape resonance. The resonance appears as a local maximum in the even-harmonic emission around 28 eV. In contrast, the odd-harmonic emission is suppressed in this spectral region through the combined effects of an asymmetric photorecombination phase and a subcycle Stark effect, generic for polar molecules, that we experimentally identify."}],"quality_controlled":"1","oa_version":"Preprint","keyword":["General Physics and Astronomy"],"article_processing_charge":"No","pmid":1,"date_created":"2023-08-10T06:38:38Z","year":"2014","_id":"14020","doi":"10.1103/physrevlett.113.023001","date_published":"2014-07-11T00:00:00Z","language":[{"iso":"eng"}],"status":"public","intvolume":"       113","extern":"1","type":"journal_article","volume":113,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"American Physical Society","month":"07","main_file_link":[{"url":"https://arxiv.org/abs/1311.3923","open_access":"1"}],"arxiv":1,"scopus_import":"1"},{"type":"journal_article","volume":47,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1088/0953-4075/47/12/124030","date_published":"2014-06-10T00:00:00Z","language":[{"iso":"eng"}],"status":"public","intvolume":"        47","extern":"1","arxiv":1,"scopus_import":"1","publisher":"IOP Publishing","month":"06","main_file_link":[{"url":"https://arxiv.org/abs/1311.3923","open_access":"1"}],"citation":{"ista":"Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic, Molecular and Optical Physics. 47(12), 124030.","chicago":"Kraus, P M, Denitsa Rangelova Baykusheva, and H J Wörner. “Two-Pulse Orientation Dynamics and High-Harmonic Spectroscopy of Strongly-Oriented Molecules.” <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>. IOP Publishing, 2014. <a href=\"https://doi.org/10.1088/0953-4075/47/12/124030\">https://doi.org/10.1088/0953-4075/47/12/124030</a>.","ama":"Kraus PM, Baykusheva DR, Wörner HJ. Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>. 2014;47(12). doi:<a href=\"https://doi.org/10.1088/0953-4075/47/12/124030\">10.1088/0953-4075/47/12/124030</a>","apa":"Kraus, P. M., Baykusheva, D. R., &#38; Wörner, H. J. (2014). Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/0953-4075/47/12/124030\">https://doi.org/10.1088/0953-4075/47/12/124030</a>","ieee":"P. M. Kraus, D. R. Baykusheva, and H. J. Wörner, “Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules,” <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>, vol. 47, no. 12. IOP Publishing, 2014.","mla":"Kraus, P. M., et al. “Two-Pulse Orientation Dynamics and High-Harmonic Spectroscopy of Strongly-Oriented Molecules.” <i>Journal of Physics B: Atomic, Molecular and Optical Physics</i>, vol. 47, no. 12, 124030, IOP Publishing, 2014, doi:<a href=\"https://doi.org/10.1088/0953-4075/47/12/124030\">10.1088/0953-4075/47/12/124030</a>.","short":"P.M. Kraus, D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 47 (2014)."},"author":[{"full_name":"Kraus, P M","first_name":"P M","last_name":"Kraus"},{"full_name":"Baykusheva, Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","last_name":"Baykusheva","first_name":"Denitsa Rangelova"},{"first_name":"H J","last_name":"Wörner","full_name":"Wörner, H J"}],"date_updated":"2023-08-22T09:04:30Z","day":"10","publication_identifier":{"issn":["0953-4075"],"eissn":["1361-6455"]},"publication":"Journal of Physics B: Atomic, Molecular and Optical Physics","oa":1,"title":"Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules","external_id":{"arxiv":["1311.3923"]},"issue":"12","article_number":"124030","date_created":"2023-08-10T06:38:48Z","year":"2014","_id":"14021","article_type":"original","publication_status":"published","abstract":[{"text":"We present the detailed analysis of a new two-pulse orientation scheme that achieves macroscopic field-free orientation at the high particle densities required for attosecond and high-harmonic spectroscopies (Kraus et al 2013 arXiv:1311.3923). Carbon monoxide molecules are oriented by combining one-colour and delayed two-colour non-resonant femtosecond laser pulses. High-harmonic generation is used to probe the oriented wave-packet dynamics and reveals that a very high degree of orientation (Nup/Ntotal = 0.73–0.82) is achieved. We further extend this approach to orienting carbonyl sulphide molecules. We show that the present two-pulse scheme selectively enhances orientation created by the hyperpolarizability interaction whereas the ionization-depletion mechanism plays no role. We further control and optimize orientation through the delay between the one- and two-colour pump pulses. Finally, we demonstrate a complementary encoding of electronic-structure features, such as shape resonances, in the even- and odd-harmonic spectrum. The achieved progress makes two-pulse field-free orientation an attractive tool for a broad class of time-resolved measurements.","lang":"eng"}],"quality_controlled":"1","oa_version":"Preprint","article_processing_charge":"No","keyword":["Condensed Matter Physics","Atomic and Molecular Physics","and Optics"]},{"date_created":"2018-12-11T11:51:49Z","year":"2014","_id":"1403","page":"91","acknowledged_ssus":[{"_id":"SSU"}],"oa_version":"None","related_material":{"record":[{"relation":"part_of_dissertation","id":"2282","status":"public"},{"status":"public","id":"2950","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"3373"}]},"department":[{"_id":"CaHe"}],"publication_status":"published","publisher":"IST Austria","month":"08","abstract":[{"lang":"eng","text":"A variety of developmental and disease related processes depend on epithelial cell sheet spreading. In order to gain insight into the biophysical mechanism(s) underlying the tissue morphogenesis we studied the spreading of an epithelium during the early development of the zebrafish embryo. In zebrafish epiboly the enveloping cell layer (EVL), a simple squamous epithelium, spreads over the yolk cell to completely engulf it at the end of gastrulation. Previous studies have proposed that an actomyosin ring forming within the yolk syncytial layer (YSL) acts as purse string that through constriction along its circumference pulls on the margin of the EVL. Direct biophysical evidence for this hypothesis has however been missing. The aim of the thesis was to understand how the actomyosin ring may generate pulling forces onto the EVL and what cellular mechanism(s) may facilitate the spreading of the epithelium. Using laser ablation to measure cortical tension within the actomyosin ring we found an anisotropic tension distribution, which was highest along the circumference of the ring. However the low degree of anisotropy was incompatible with the actomyosin ring functioning as a purse string only. Additionally, we observed retrograde cortical flow from vegetal parts of the ring into the EVL margin. Interpreting the experimental data using a theoretical distribution that models  the tissues as active viscous gels led us to proposen that the actomyosin ring has a twofold contribution to EVL epiboly. It not only acts as a purse string through constriction along its circumference, but in addition constriction along the width of the ring generates pulling forces through friction-resisted cortical flow. Moreover, when rendering the purse string mechanism unproductive EVL epiboly proceeded normally indicating that the flow-friction mechanism is sufficient to drive the process. Aiming to understand what cellular mechanism(s) may facilitate the spreading of the epithelium we found that tension-oriented EVL cell divisions limit tissue anisotropy by releasing tension along the division axis and promote epithelial spreading. Notably, EVL cells undergo ectopic cell fusion in conditions in which oriented-cell division is impaired or the epithelium is mechanically challenged. Taken together our study of EVL epiboly suggests a novel mechanism of force generation for actomyosin rings through friction-resisted cortical flow and highlights the importance of tension-oriented cell divisions in epithelial morphogenesis."}],"day":"01","publist_id":"5804","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-10-17T12:16:58Z","type":"dissertation","citation":{"short":"M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.","ista":"Behrndt M. 2014. Forces driving epithelial spreading in zebrafish epiboly. IST Austria.","chicago":"Behrndt, Martin. “Forces Driving Epithelial Spreading in Zebrafish Epiboly.” IST Austria, 2014.","apa":"Behrndt, M. (2014). <i>Forces driving epithelial spreading in zebrafish epiboly</i>. IST Austria.","ieee":"M. Behrndt, “Forces driving epithelial spreading in zebrafish epiboly,” IST Austria, 2014.","ama":"Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.","mla":"Behrndt, Martin. <i>Forces Driving Epithelial Spreading in Zebrafish Epiboly</i>. IST Austria, 2014."},"author":[{"full_name":"Behrndt, Martin","id":"3ECECA3A-F248-11E8-B48F-1D18A9856A87","first_name":"Martin","last_name":"Behrndt"}],"supervisor":[{"last_name":"Heisenberg","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","id":"39427864-F248-11E8-B48F-1D18A9856A87","full_name":"Heisenberg, Carl-Philipp J"}],"alternative_title":["IST Austria Thesis"],"date_published":"2014-08-01T00:00:00Z","language":[{"iso":"eng"}],"status":"public","title":"Forces driving epithelial spreading in zebrafish epiboly"},{"date_updated":"2021-01-12T06:50:30Z","type":"dissertation","citation":{"short":"M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.","chicago":"Stock, Miriam. “Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants.” IST Austria, 2014.","ista":"Stock M. 2014. Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.","mla":"Stock, Miriam. <i>Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants</i>. IST Austria, 2014.","apa":"Stock, M. (2014). <i>Evolution of a fungal pathogen towards individual versus social immunity in ants</i>. IST Austria.","ieee":"M. Stock, “Evolution of a fungal pathogen towards individual versus social immunity in ants,” IST Austria, 2014.","ama":"Stock M. Evolution of a fungal pathogen towards individual versus social immunity in ants. 2014."},"author":[{"id":"42462816-F248-11E8-B48F-1D18A9856A87","full_name":"Stock, Miriam","last_name":"Stock","first_name":"Miriam"}],"supervisor":[{"last_name":"Cremer","first_name":"Sylvia M","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","full_name":"Cremer, Sylvia M","orcid":"0000-0002-2193-3868"}],"day":"01","publist_id":"5803","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2014-04-01T00:00:00Z","language":[{"iso":"eng"}],"title":"Evolution of a fungal pathogen towards individual versus social immunity in ants","status":"public","alternative_title":["IST Austria Thesis"],"page":"101","date_created":"2018-12-11T11:51:49Z","acknowledgement":"This work was funded by the DFG and the ERC.","year":"2014","_id":"1404","publication_status":"published","publisher":"IST Austria","department":[{"_id":"SyCr"}],"month":"04","abstract":[{"text":"The co-evolution of hosts and pathogens is characterized by continuous adaptations of both parties. Pathogens of social insects need to adapt towards disease defences at two levels: 1) individual immunity of each colony member consisting of behavioural defence strategies as well as humoral and cellular immune responses and 2) social immunity that is collectively performed by all group members comprising behavioural, physiological and organisational defence strategies.\r\n\r\nTo disentangle the selection pressure on pathogens by the collective versus individual level of disease defence in social insects, we performed an evolution experiment using the Argentine Ant, Linepithema humile, as a host and a mixture of the general insect pathogenic fungus Metarhizium spp. (6 strains) as a pathogen. We allowed pathogen evolution over 10 serial host passages to two different evolution host treatments: (1) only individual host immunity in a single host treatment, and (2) simultaneously acting individual and social immunity in a social host treatment, in which an exposed ant was accompanied by two untreated nestmates.\r\n\r\nBefore starting the pathogen evolution experiment, the 6 Metarhizium spp. strains were characterised concerning conidiospore size killing rates in singly and socially reared ants, their competitiveness under coinfecting conditions and their influence on ant behaviour. We analysed how the ancestral atrain mixture changed in conidiospere size, killing rate and strain composition dependent on host treatment (single or social hosts) during 10 passages and found that killing rate and conidiospere size of the pathogen increased under both evolution regimes, but different depending on host treatment.\r\n\r\nTesting the evolved strain mixtures that evolved under either the single or social host treatment under both single and social current rearing conditions in a full factorial design experiment revealed that the additional collective defences in insect societies add new selection pressure for their coevolving pathogens that compromise their ability to adapt to its host at the group level. To our knowledge, this is the first study directly measuring the influence of social immunity on pathogen evolution.","lang":"eng"}],"oa_version":"None"},{"type":"journal_article","volume":126,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2014-11-17T00:00:00Z","doi":"10.1002/ange.201405991","status":"public","language":[{"iso":"eng"}],"extern":"1","intvolume":"       126","page":"12949-12954","scopus_import":"1","month":"11","publisher":"Wiley","main_file_link":[{"url":"https://doi.org/10.1002/ange.201405991","open_access":"1"}],"citation":{"ista":"Stahl E, Martin T, Praetorius FM, Dietz H. 2014. Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. 126(47), 12949–12954.","chicago":"Stahl, Evi, Thomas Martin, Florian M Praetorius, and Hendrik Dietz. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.” <i>Angewandte Chemie International Edition</i>. Wiley, 2014. <a href=\"https://doi.org/10.1002/ange.201405991\">https://doi.org/10.1002/ange.201405991</a>.","ama":"Stahl E, Martin T, Praetorius FM, Dietz H. Facile and scalable preparation of pure and dense DNA origami solutions. <i>Angewandte Chemie International Edition</i>. 2014;126(47):12949-12954. doi:<a href=\"https://doi.org/10.1002/ange.201405991\">10.1002/ange.201405991</a>","ieee":"E. Stahl, T. Martin, F. M. Praetorius, and H. Dietz, “Facile and scalable preparation of pure and dense DNA origami solutions,” <i>Angewandte Chemie International Edition</i>, vol. 126, no. 47. Wiley, pp. 12949–12954, 2014.","apa":"Stahl, E., Martin, T., Praetorius, F. M., &#38; Dietz, H. (2014). Facile and scalable preparation of pure and dense DNA origami solutions. <i>Angewandte Chemie International Edition</i>. Wiley. <a href=\"https://doi.org/10.1002/ange.201405991\">https://doi.org/10.1002/ange.201405991</a>","mla":"Stahl, Evi, et al. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.” <i>Angewandte Chemie International Edition</i>, vol. 126, no. 47, Wiley, 2014, pp. 12949–54, doi:<a href=\"https://doi.org/10.1002/ange.201405991\">10.1002/ange.201405991</a>.","short":"E. Stahl, T. Martin, F.M. Praetorius, H. Dietz, Angewandte Chemie International Edition 126 (2014) 12949–12954."},"author":[{"first_name":"Evi","last_name":"Stahl","full_name":"Stahl, Evi"},{"full_name":"Martin, Thomas","first_name":"Thomas","last_name":"Martin"},{"last_name":"Praetorius","first_name":"Florian M","id":"dfec9381-4341-11ee-8fd8-faa02bba7d62","full_name":"Praetorius, Florian M"},{"first_name":"Hendrik","last_name":"Dietz","full_name":"Dietz, Hendrik"}],"date_updated":"2023-11-07T12:14:30Z","day":"17","oa":1,"publication":"Angewandte Chemie International Edition","publication_identifier":{"eissn":["1521-3773"],"issn":["1433-7851"]},"external_id":{"pmid":["25346175"]},"title":"Facile and scalable preparation of pure and dense DNA origami solutions","issue":"47","date_created":"2023-09-06T12:51:14Z","pmid":1,"_id":"14301","year":"2014","article_type":"original","publication_status":"published","abstract":[{"text":"DNA has become a prime material for assembling complex three-dimensional objects that promise utility in various areas of application. However, achieving user-defined goals with DNA objects has been hampered by the difficulty to prepare them at arbitrary concentrations and in user-defined solution conditions. Here, we describe a method that solves this problem. The method is based on poly(ethylene glycol)-induced depletion of species with high molecular weight. We demonstrate that our method is applicable to a wide spectrum of DNA shapes and that it achieves excellent recovery yields of target objects up to 97 %, while providing efficient separation from non-integrated DNA strands. DNA objects may be prepared at concentrations up to the limit of solubility, including the possibility for bringing DNA objects into a solid phase. Due to the fidelity and simplicity of our method we anticipate that it will help to catalyze the development of new types of applications that use self-assembled DNA objects.","lang":"eng"}],"quality_controlled":"1","article_processing_charge":"No","oa_version":"Published Version"},{"abstract":[{"text":"The Wigner-Dyson-Gaudin-Mehta conjecture asserts that the local eigenvalue statistics of large real and complex Hermitian matrices with independent, identically distributed entries are universal in a sense that they depend only on the symmetry class of the matrix and otherwise are independent of the details of the distribution. We present the recent solution to this half-century old conjecture. We explain how stochastic tools, such as the Dyson Brownian motion, and PDE ideas, such as De Giorgi-Nash-Moser regularity theory, were combined in the solution. We also show related results for log-gases that represent a universal model for strongly correlated systems. Finally, in the spirit of Wigner’s original vision, we discuss the extensions of these universality results to more realistic physical systems such as random band matrices.","lang":"eng"}],"publication_status":"published","article_processing_charge":"No","oa_version":"Submitted Version","quality_controlled":"1","_id":"1507","year":"2014","ec_funded":1,"date_created":"2018-12-11T11:52:25Z","title":"Random matrices, log-gases and Hölder regularity","project":[{"call_identifier":"FP7","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","name":"Random matrices, universality and disordered quantum systems"}],"date_updated":"2023-10-17T11:12:55Z","citation":{"ieee":"L. Erdös, “Random matrices, log-gases and Hölder regularity,” in <i>Proceedings of the International Congress of Mathematicians</i>, Seoul, Korea, 2014, vol. 3, pp. 214–236.","apa":"Erdös, L. (2014). Random matrices, log-gases and Hölder regularity. In <i>Proceedings of the International Congress of Mathematicians</i> (Vol. 3, pp. 214–236). Seoul, Korea: International Congress of Mathematicians.","ama":"Erdös L. Random matrices, log-gases and Hölder regularity. In: <i>Proceedings of the International Congress of Mathematicians</i>. Vol 3. International Congress of Mathematicians; 2014:214-236.","mla":"Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity.” <i>Proceedings of the International Congress of Mathematicians</i>, vol. 3, International Congress of Mathematicians, 2014, pp. 214–36.","ista":"Erdös L. 2014. Random matrices, log-gases and Hölder regularity. Proceedings of the International Congress of Mathematicians. ICM: International Congress of Mathematicians vol. 3, 214–236.","chicago":"Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity.” In <i>Proceedings of the International Congress of Mathematicians</i>, 3:214–36. International Congress of Mathematicians, 2014.","short":"L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236."},"author":[{"first_name":"László","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László","orcid":"0000-0001-5366-9603"}],"oa":1,"publication":"Proceedings of the International Congress of Mathematicians","publist_id":"5670","day":"01","month":"08","publisher":"International Congress of Mathematicians","department":[{"_id":"LaEr"}],"main_file_link":[{"url":"http://arxiv.org/abs/1407.5752","open_access":"1"}],"conference":{"start_date":"2014-08-13","name":"ICM: International Congress of Mathematicians","location":"Seoul, Korea","end_date":"2014-08-21"},"page":"214 - 236","scopus_import":"1","acknowledgement":"The author is partially supported by SFB-TR 12 Grant of the German Research Council.","status":"public","language":[{"iso":"eng"}],"date_published":"2014-08-01T00:00:00Z","intvolume":"         3","volume":3,"type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"status":"public","title":"On the BCS gap equation for superfluid fermionic gases","external_id":{"arxiv":["1403.2563"]},"language":[{"iso":"eng"}],"date_published":"2014-01-01T00:00:00Z","doi":"10.1142/9789814618144_0007","oa":1,"publication":"Proceedings of the QMath12 Conference","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publist_id":"5661","day":"01","citation":{"short":"G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.","chicago":"Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “On the BCS Gap Equation for Superfluid Fermionic Gases.” In <i>Proceedings of the QMath12 Conference</i>, 127–37. World Scientific Publishing, 2014. <a href=\"https://doi.org/10.1142/9789814618144_0007\">https://doi.org/10.1142/9789814618144_0007</a>.","ista":"Bräunlich G, Hainzl C, Seiringer R. 2014. On the BCS gap equation for superfluid fermionic gases. Proceedings of the QMath12 Conference. QMath: Mathematical Results in Quantum Physics, 127–137.","mla":"Bräunlich, Gerhard, et al. “On the BCS Gap Equation for Superfluid Fermionic Gases.” <i>Proceedings of the QMath12 Conference</i>, World Scientific Publishing, 2014, pp. 127–37, doi:<a href=\"https://doi.org/10.1142/9789814618144_0007\">10.1142/9789814618144_0007</a>.","apa":"Bräunlich, G., Hainzl, C., &#38; Seiringer, R. (2014). On the BCS gap equation for superfluid fermionic gases. In <i>Proceedings of the QMath12 Conference</i> (pp. 127–137). Berlin, Germany: World Scientific Publishing. <a href=\"https://doi.org/10.1142/9789814618144_0007\">https://doi.org/10.1142/9789814618144_0007</a>","ieee":"G. Bräunlich, C. Hainzl, and R. Seiringer, “On the BCS gap equation for superfluid fermionic gases,” in <i>Proceedings of the QMath12 Conference</i>, Berlin, Germany, 2014, pp. 127–137.","ama":"Bräunlich G, Hainzl C, Seiringer R. On the BCS gap equation for superfluid fermionic gases. In: <i>Proceedings of the QMath12 Conference</i>. World Scientific Publishing; 2014:127-137. doi:<a href=\"https://doi.org/10.1142/9789814618144_0007\">10.1142/9789814618144_0007</a>"},"author":[{"last_name":"Bräunlich","first_name":"Gerhard","full_name":"Bräunlich, Gerhard"},{"full_name":"Hainzl, Christian","last_name":"Hainzl","first_name":"Christian"},{"last_name":"Seiringer","first_name":"Robert","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2021-01-12T06:51:19Z","type":"conference","article_processing_charge":"No","oa_version":"Preprint","main_file_link":[{"url":"https://arxiv.org/abs/1403.2563","open_access":"1"}],"quality_controlled":"1","abstract":[{"lang":"eng","text":"We present a rigorous derivation of the BCS gap equation for superfluid fermionic gases with point interactions. Our starting point is the BCS energy functional, whose minimizer we investigate in the limit when the range of the interaction potential goes to zero.\r\n"}],"month":"01","publication_status":"published","department":[{"_id":"RoSe"}],"publisher":"World Scientific Publishing","_id":"1516","year":"2014","date_created":"2018-12-11T11:52:28Z","page":"127 - 137","conference":{"location":"Berlin, Germany","start_date":"2013-09-10","name":"QMath: Mathematical Results in Quantum Physics","end_date":"2013-09-13"},"arxiv":1},{"publication":"ACM Transactions on Graphics","oa":1,"day":"01","publist_id":"5526","author":[{"first_name":"Paul","last_name":"Guerrero","full_name":"Guerrero, Paul"},{"id":"44D6411A-F248-11E8-B48F-1D18A9856A87","full_name":"Jeschke, Stefan","first_name":"Stefan","last_name":"Jeschke"},{"first_name":"Michael","last_name":"Wimmer","full_name":"Wimmer, Michael"},{"first_name":"Peter","last_name":"Wonka","full_name":"Wonka, Peter"}],"date_updated":"2021-01-12T06:52:06Z","citation":{"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>.","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>","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>.","ista":"Guerrero P, Jeschke S, Wimmer M, Wonka P. 2014. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 33(2), 15.","short":"P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014)."},"issue":"2","article_number":"15","has_accepted_license":"1","title":"Edit propagation using geometric relationship functions","year":"2014","_id":"1629","date_created":"2018-12-11T11:53:08Z","oa_version":"Submitted Version","quality_controlled":"1","file":[{"creator":"system","access_level":"open_access","checksum":"7f91e588a4e888610313b98271e6418e","file_size":9832561,"content_type":"application/pdf","date_updated":"2020-07-14T12:45:07Z","file_name":"IST-2016-577-v1+1_2014.TOG.Paul.EditingPropagation.final.pdf","relation":"main_file","date_created":"2018-12-12T10:11:22Z","file_id":"4876"}],"abstract":[{"lang":"eng","text":"We propose a method for propagating edit operations in 2D vector graphics, based on geometric relationship functions. These functions quantify the geometric relationship of a point to a polygon, such as the distance to the boundary or the direction to the closest corner vertex. The level sets of the relationship functions describe points with the same relationship to a polygon. For a given query point, we first determine a set of relationships to local features, construct all level sets for these relationships, and accumulate them. The maxima of the resulting distribution are points with similar geometric relationships. We show extensions to handle mirror symmetries, and discuss the use of relationship functions as local coordinate systems. Our method can be applied, for example, to interactive floorplan editing, and it is especially useful for large layouts, where individual edits would be cumbersome. We demonstrate populating 2D layouts with tens to hundreds of objects by propagating relatively few edit operations."}],"publication_status":"published","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2020-07-14T12:45:07Z","volume":33,"pubrep_id":"577","type":"journal_article","intvolume":"        33","ddc":["000"],"language":[{"iso":"eng"}],"status":"public","doi":"10.1145/2591010","date_published":"2014-03-01T00:00:00Z","department":[{"_id":"ChWo"}],"publisher":"ACM","month":"03"},{"oa_version":"Submitted Version","publication_status":"published","abstract":[{"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.","lang":"eng"}],"date_created":"2018-12-11T11:53:13Z","ec_funded":1,"_id":"1643","year":"2014","title":"Constrained Verifiable Random Functions ","project":[{"grant_number":"259668","_id":"258C570E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Provable Security for Physical Cryptography"}],"publist_id":"5509","day":"01","oa":1,"publication":"SCN 2014","date_updated":"2021-01-12T06:52:12Z","author":[{"id":"46B4C3EE-F248-11E8-B48F-1D18A9856A87","full_name":"Fuchsbauer, Georg","first_name":"Georg","last_name":"Fuchsbauer"}],"citation":{"short":"G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.","ista":"Fuchsbauer G. 2014. Constrained Verifiable Random Functions . SCN 2014. SCN: Security and Cryptography for Networks, LNCS, vol. 8642, 95–114.","chicago":"Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” In <i>SCN 2014</i>, edited by Michel Abdalla and Roberto De Prisco, 8642:95–114. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-319-10879-7_7\">https://doi.org/10.1007/978-3-319-10879-7_7</a>.","ieee":"G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in <i>SCN 2014</i>, Amalfi, Italy, 2014, vol. 8642, pp. 95–114.","ama":"Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De Prisco R, eds. <i>SCN 2014</i>. Vol 8642. Springer; 2014:95-114. doi:<a href=\"https://doi.org/10.1007/978-3-319-10879-7_7\">10.1007/978-3-319-10879-7_7</a>","apa":"Fuchsbauer, G. (2014). Constrained Verifiable Random Functions . In M. Abdalla &#38; R. De Prisco (Eds.), <i>SCN 2014</i> (Vol. 8642, pp. 95–114). Amalfi, Italy: Springer. <a href=\"https://doi.org/10.1007/978-3-319-10879-7_7\">https://doi.org/10.1007/978-3-319-10879-7_7</a>","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>."},"main_file_link":[{"url":"http://eprint.iacr.org/2014/537","open_access":"1"}],"month":"01","editor":[{"full_name":"Abdalla, Michel","first_name":"Michel","last_name":"Abdalla"},{"first_name":"Roberto","last_name":"De Prisco","full_name":"De Prisco, Roberto"}],"publisher":"Springer","department":[{"_id":"KrPi"}],"scopus_import":1,"conference":{"location":"Amalfi, Italy","start_date":"2014-09-03","name":"SCN: Security and Cryptography for Networks","end_date":"2014-09-05"},"page":"95 - 114","alternative_title":["LNCS"],"intvolume":"      8642","date_published":"2014-01-01T00:00:00Z","doi":"10.1007/978-3-319-10879-7_7","status":"public","language":[{"iso":"eng"}],"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","type":"conference","volume":8642},{"status":"public","title":"Generalised interpolation by solving recursion free-horn clauses","language":[{"iso":"eng"}],"date_published":"2014-12-02T00:00:00Z","doi":"10.4204/EPTCS.169.5","alternative_title":["EPTCS"],"intvolume":"       169","volume":169,"type":"conference","citation":{"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.","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; 2014:31-38. doi:<a href=\"https://doi.org/10.4204/EPTCS.169.5\">10.4204/EPTCS.169.5</a>","apa":"Gupta, A., Popeea, C., &#38; Rybalchenko, A. (2014). Generalised interpolation by solving recursion free-horn clauses. In <i>Electronic Proceedings in Theoretical Computer Science, EPTCS</i> (Vol. 169, pp. 31–38). Vienna, Austria: Open Publishing. <a href=\"https://doi.org/10.4204/EPTCS.169.5\">https://doi.org/10.4204/EPTCS.169.5</a>","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, 2014, pp. 31–38, doi:<a href=\"https://doi.org/10.4204/EPTCS.169.5\">10.4204/EPTCS.169.5</a>.","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.","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, 2014. <a href=\"https://doi.org/10.4204/EPTCS.169.5\">https://doi.org/10.4204/EPTCS.169.5</a>.","short":"A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing, 2014, pp. 31–38."},"date_updated":"2021-01-12T06:52:38Z","author":[{"id":"335E5684-F248-11E8-B48F-1D18A9856A87","full_name":"Gupta, Ashutosh","first_name":"Ashutosh","last_name":"Gupta"},{"full_name":"Popeea, Corneliu","first_name":"Corneliu","last_name":"Popeea"},{"first_name":"Andrey","last_name":"Rybalchenko","full_name":"Rybalchenko, Andrey"}],"oa":1,"publication":"Electronic Proceedings in Theoretical Computer Science, EPTCS","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publist_id":"5435","day":"02","abstract":[{"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.","lang":"eng"}],"month":"12","publication_status":"published","publisher":"Open Publishing","department":[{"_id":"ToHe"}],"oa_version":"Submitted Version","main_file_link":[{"url":"http://arxiv.org/abs/1303.7378v2","open_access":"1"}],"quality_controlled":"1","conference":{"location":"Vienna, Austria","start_date":"2014-07-17","name":"HCVS: Horn Clauses for Verification and Synthesis","end_date":"2014-07-17"},"page":"31 - 38","_id":"1702","year":"2014","date_created":"2018-12-11T11:53:33Z"},{"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","publisher":"Neural Information Processing Systems","department":[{"_id":"GaTk"}],"month":"01","oa_version":"None","quality_controlled":"1","main_file_link":[{"url":"http://papers.nips.cc/paper/5343-spatio-temporal-representations-of-uncertainty-in-spiking-neural-networks.pdf"}],"page":"2024 - 2032","conference":{"end_date":"2014-12-13","name":"NIPS: Neural Information Processing Systems","start_date":"2014-12-08","location":"Montreal, Canada"},"year":"2014","scopus_import":1,"_id":"1708","date_created":"2018-12-11T11:53:35Z","language":[{"iso":"eng"}],"status":"public","title":"Spatio-temporal representations of uncertainty in spiking neural networks","date_published":"2014-01-01T00:00:00Z","issue":"January","intvolume":"         3","volume":3,"author":[{"full_name":"Savin, Cristina","id":"3933349E-F248-11E8-B48F-1D18A9856A87","first_name":"Cristina","last_name":"Savin"},{"full_name":"Denève, Sophie","last_name":"Denève","first_name":"Sophie"}],"type":"conference","citation":{"apa":"Savin, C., &#38; Denève, S. (2014). Spatio-temporal representations of uncertainty in spiking neural networks (Vol. 3, pp. 2024–2032). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.","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. 3, no. January, pp. 2024–2032.","ama":"Savin C, Denève S. Spatio-temporal representations of uncertainty in spiking neural networks. In: Vol 3. Neural Information Processing Systems; 2014:2024-2032.","mla":"Savin, Cristina, and Sophie Denève. <i>Spatio-Temporal Representations of Uncertainty in Spiking Neural Networks</i>. Vol. 3, no. January, Neural Information Processing Systems, 2014, pp. 2024–32.","ista":"Savin C, Denève S. 2014. Spatio-temporal representations of uncertainty in spiking neural networks. NIPS: Neural Information Processing Systems vol. 3, 2024–2032.","chicago":"Savin, Cristina, and Sophie Denève. “Spatio-Temporal Representations of Uncertainty in Spiking Neural Networks,” 3:2024–32. Neural Information Processing Systems, 2014.","short":"C. Savin, S. Denève, in:, Neural Information Processing Systems, 2014, pp. 2024–2032."},"date_updated":"2021-01-12T06:52:40Z","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","day":"01","publist_id":"5427"},{"ec_funded":1,"date_created":"2018-12-11T11:53:43Z","_id":"1733","year":"2014","publication_status":"published","related_material":{"record":[{"status":"public","id":"2916","relation":"earlier_version"}]},"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."}],"quality_controlled":"1","oa_version":"Submitted Version","citation":{"short":"P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 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>","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.","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>","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>.","ista":"Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. 2014. Interface simulation distances. Theoretical Computer Science. 560(3), 348–363.","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>."},"author":[{"first_name":"Pavol","last_name":"Cerny","full_name":"Cerny, Pavol"},{"id":"3624234E-F248-11E8-B48F-1D18A9856A87","full_name":"Chmelik, Martin","first_name":"Martin","last_name":"Chmelik"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger"},{"id":"3B51CAC4-F248-11E8-B48F-1D18A9856A87","full_name":"Radhakrishna, Arjun","first_name":"Arjun","last_name":"Radhakrishna"}],"date_updated":"2023-02-23T11:04:00Z","publist_id":"5392","day":"04","oa":1,"publication":"Theoretical Computer Science","title":"Interface simulation distances","project":[{"name":"Quantitative Reactive Modeling","call_identifier":"FP7","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Moderne Concurrency Paradigms"},{"name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407","call_identifier":"FWF"},{"grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification"},{"call_identifier":"FP7","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"issue":"3","page":"348 - 363","scopus_import":1,"month":"12","publisher":"Elsevier","department":[{"_id":"ToHe"},{"_id":"KrCh"}],"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1210.2450"}],"type":"journal_article","volume":560,"user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","date_published":"2014-12-04T00:00:00Z","doi":"10.1016/j.tcs.2014.08.019","status":"public","language":[{"iso":"eng"}],"intvolume":"       560"},{"volume":3,"author":[{"first_name":"Massimo","last_name":"Mongillo","full_name":"Mongillo, Massimo"},{"full_name":"Spathis, Panayotis N","last_name":"Spathis","first_name":"Panayotis"},{"full_name":"Georgios Katsaros","id":"38DB5788-F248-11E8-B48F-1D18A9856A87","first_name":"Georgios","last_name":"Katsaros"},{"full_name":"De Franceschi, Silvano","last_name":"De Franceschi","first_name":"Silvano"},{"full_name":"Gentile, Pascal","first_name":"Pascal","last_name":"Gentile"},{"full_name":"Rurali, Riccardo","first_name":"Riccardo","last_name":"Rurali"},{"last_name":"Cartoixà","first_name":"Xavier","full_name":"Cartoixà, Xavier"}],"date_updated":"2021-01-12T06:53:02Z","citation":{"short":"M. Mongillo, P. Spathis, G. Katsaros, S. De Franceschi, P. Gentile, R. Rurali, X. Cartoixà, Physical Review X 3 (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>.","ista":"Mongillo M, Spathis P, Katsaros G, De Franceschi S, Gentile P, Rurali R, Cartoixà X. 2014. PtSi clustering in silicon probed by transport spectroscopy. Physical Review X. 3(4).","mla":"Mongillo, Massimo, et al. “PtSi Clustering in Silicon Probed by Transport Spectroscopy.” <i>Physical Review X</i>, vol. 3, no. 4, American Physical Society, 2014, doi:<a href=\"https://doi.org/10.1103/PhysRevX.3.041025\">10.1103/PhysRevX.3.041025</a>.","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.","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>","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>"},"type":"journal_article","oa":1,"publication":"Physical Review X","publist_id":"5363","day":"01","status":"public","title":"PtSi clustering in silicon probed by transport spectroscopy","date_published":"2014-01-01T00:00:00Z","doi":"10.1103/PhysRevX.3.041025","extern":1,"issue":"4","intvolume":"         3","_id":"1761","year":"2014","acknowledgement":"This work was supported by the Agence Nationale de la Recherche and by the EU through the ERC Starting Grant HybridNano","date_created":"2018-12-11T11:53:52Z","abstract":[{"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.","lang":"eng"}],"month":"01","publisher":"American Physical Society","publication_status":"published","main_file_link":[{"url":"http://arxiv.org/abs/1407.5413","open_access":"1"}],"quality_controlled":0},{"extern":1,"issue":"6","intvolume":"        82","status":"public","title":"Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation","date_published":"2014-06-18T00:00:00Z","doi":"10.1016/j.neuron.2014.04.036","publication":"Neuron","publist_id":"5322","day":"18","volume":82,"citation":{"short":"S. Baek, G. Kerjan, S. Bielas, J. Lee, A. Fenstermaker, G. Novarino, J. Gleeson, Neuron 82 (2014) 1255–1262.","chicago":"Baek, Seungtae, Géraldine Kerjan, Stephanie Bielas, Jieun Lee, Ali Fenstermaker, Gaia Novarino, and Joseph Gleeson. “Off-Target Effect of Doublecortin Family ShRNA on Neuronal Migration Associated with Endogenous MicroRNA Dysregulation.” <i>Neuron</i>. Elsevier, 2014. <a href=\"https://doi.org/10.1016/j.neuron.2014.04.036\">https://doi.org/10.1016/j.neuron.2014.04.036</a>.","ista":"Baek S, Kerjan G, Bielas S, Lee J, Fenstermaker A, Novarino G, Gleeson J. 2014. Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation. Neuron. 82(6), 1255–1262.","mla":"Baek, Seungtae, et al. “Off-Target Effect of Doublecortin Family ShRNA on Neuronal Migration Associated with Endogenous MicroRNA Dysregulation.” <i>Neuron</i>, vol. 82, no. 6, Elsevier, 2014, pp. 1255–62, doi:<a href=\"https://doi.org/10.1016/j.neuron.2014.04.036\">10.1016/j.neuron.2014.04.036</a>.","apa":"Baek, S., Kerjan, G., Bielas, S., Lee, J., Fenstermaker, A., Novarino, G., &#38; Gleeson, J. (2014). Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.neuron.2014.04.036\">https://doi.org/10.1016/j.neuron.2014.04.036</a>","ieee":"S. Baek <i>et al.</i>, “Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation,” <i>Neuron</i>, vol. 82, no. 6. Elsevier, pp. 1255–1262, 2014.","ama":"Baek S, Kerjan G, Bielas S, et al. Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation. <i>Neuron</i>. 2014;82(6):1255-1262. doi:<a href=\"https://doi.org/10.1016/j.neuron.2014.04.036\">10.1016/j.neuron.2014.04.036</a>"},"type":"journal_article","author":[{"full_name":"Baek, SeungTae","first_name":"Seungtae","last_name":"Baek"},{"full_name":"Kerjan, Géraldine","first_name":"Géraldine","last_name":"Kerjan"},{"first_name":"Stephanie","last_name":"Bielas","full_name":"Bielas, Stephanie L"},{"full_name":"Lee, Jieun","last_name":"Lee","first_name":"Jieun"},{"full_name":"Fenstermaker, Ali G","last_name":"Fenstermaker","first_name":"Ali"},{"id":"3E57A680-F248-11E8-B48F-1D18A9856A87","full_name":"Gaia Novarino","orcid":"0000-0002-7673-7178","first_name":"Gaia","last_name":"Novarino"},{"full_name":"Gleeson, Joseph G","last_name":"Gleeson","first_name":"Joseph"}],"date_updated":"2021-01-12T06:53:13Z","quality_controlled":0,"abstract":[{"text":"Acute gene inactivation using short hairpin RNA (shRNA, knockdown) in developing brain is a powerful technique to study genetic function; however, discrepancies between knockdown and knockout murine phenotypes have left unanswered questions. For example, doublecortin (Dcx) knockdown but not knockout shows a neocortical neuronal migration phenotype. Here we report that in utero electroporation of shRNA, but not siRNA or miRNA, to Dcx demonstrates a migration phenotype in Dcx knockouts akin to the effect in wild-type mice, suggestingshRNA-mediated off-target toxicity. This effect wasnot limited to Dcx, as it was observed in Dclk1 knockouts, as well as with a fraction of scrambled shRNAs, suggesting a sequence-dependent but not sequence-specific effect. Profiling RNAs from electroporated cells showed a defect in endogenous let7 miRNA levels, and disruption of let7 or Dicer recapitulated the migration defect. The results suggest that shRNA-mediated knockdown can produce untoward migration effects by altering endogenous miRNA pathways.","lang":"eng"}],"month":"06","publisher":"Elsevier","publication_status":"published","_id":"1791","year":"2014","acknowledgement":"This work was supported by the National Institutes of Health R01NS41537. G.K. was supported by an EMBO Long Term Fellowship, S.L.B. by the A.P. Giannini Fellowship, and A.G.F. by the Brain Behavior Research Foundation","date_created":"2018-12-11T11:54:01Z","page":"1255 - 1262"},{"quality_controlled":"1","oa_version":"None","publication_status":"published","department":[{"_id":"JiFr"}],"publisher":"Springer","month":"04","editor":[{"full_name":"Zažímalová, Eva","first_name":"Eva","last_name":"Zažímalová"},{"first_name":"Jan","last_name":"Petrášek","full_name":"Petrášek, Jan"},{"first_name":"Eva","last_name":"Benková","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","full_name":"Benková, Eva","orcid":"0000-0002-8510-9739"}],"abstract":[{"text":"The generation of asymmetry, at both cellular and tissue level, is one of the most essential capabilities of all eukaryotic organisms. It mediates basically all multicellular development ranging from embryogenesis and de novo organ formation till responses to various environmental stimuli. In plants, the awe-inspiring number of such processes is regulated by phytohormone auxin and its directional, cell-to-cell transport. The mediators of this transport, PIN auxin transporters, are asymmetrically localized at the plasma membrane, and this polar localization determines the directionality of intercellular auxin flow. Thus, auxin transport contributes crucially to the generation of local auxin gradients or maxima, which instruct given cell to change its developmental program. Here, we introduce and discuss the molecular components and cellular mechanisms regulating the generation and maintenance of cellular PIN polarity, as the general hallmarks of cell polarity in plants.","lang":"eng"}],"date_created":"2018-12-11T11:54:07Z","scopus_import":1,"year":"2014","_id":"1806","page":"143 - 170","doi":"10.1007/978-3-7091-1526-8_8","date_published":"2014-04-01T00:00:00Z","language":[{"iso":"eng"}],"status":"public","title":"Auxin on the road navigated by cellular PIN polarity","day":"01","publist_id":"5304","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publication":"Auxin and Its Role in Plant Development","type":"book_chapter","date_updated":"2021-01-12T06:53:19Z","author":[{"full_name":"Baster, Pawel","id":"3028BD74-F248-11E8-B48F-1D18A9856A87","last_name":"Baster","first_name":"Pawel"},{"orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jiří","first_name":"Jiří","last_name":"Friml"}],"citation":{"short":"P. Baster, J. Friml, in:, E. Zažímalová, J. Petrášek, E. Benková (Eds.), Auxin and Its Role in Plant Development, Springer, 2014, pp. 143–170.","mla":"Baster, Pawel, and Jiří Friml. “Auxin on the Road Navigated by Cellular PIN Polarity.” <i>Auxin and Its Role in Plant Development</i>, edited by Eva Zažímalová et al., Springer, 2014, pp. 143–70, doi:<a href=\"https://doi.org/10.1007/978-3-7091-1526-8_8\">10.1007/978-3-7091-1526-8_8</a>.","ieee":"P. Baster and J. Friml, “Auxin on the road navigated by cellular PIN polarity,” in <i>Auxin and Its Role in Plant Development</i>, E. Zažímalová, J. Petrášek, and E. Benková, Eds. Springer, 2014, pp. 143–170.","ama":"Baster P, Friml J. Auxin on the road navigated by cellular PIN polarity. In: Zažímalová E, Petrášek J, Benková E, eds. <i>Auxin and Its Role in Plant Development</i>. Springer; 2014:143-170. doi:<a href=\"https://doi.org/10.1007/978-3-7091-1526-8_8\">10.1007/978-3-7091-1526-8_8</a>","apa":"Baster, P., &#38; Friml, J. (2014). Auxin on the road navigated by cellular PIN polarity. In E. Zažímalová, J. Petrášek, &#38; E. Benková (Eds.), <i>Auxin and Its Role in Plant Development</i> (pp. 143–170). Springer. <a href=\"https://doi.org/10.1007/978-3-7091-1526-8_8\">https://doi.org/10.1007/978-3-7091-1526-8_8</a>","chicago":"Baster, Pawel, and Jiří Friml. “Auxin on the Road Navigated by Cellular PIN Polarity.” In <i>Auxin and Its Role in Plant Development</i>, edited by Eva Zažímalová, Jan Petrášek, and Eva Benková, 143–70. Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-7091-1526-8_8\">https://doi.org/10.1007/978-3-7091-1526-8_8</a>.","ista":"Baster P, Friml J. 2014.Auxin on the road navigated by cellular PIN polarity. In: Auxin and Its Role in Plant Development. , 143–170."}},{"page":"61 - 86","scopus_import":1,"acknowledgement":"Work by Martin Held and Stefan Huber was supported by Austrian Science Fund (FWF): L367-N15 and P25816-N15.","publisher":"World Scientific Publishing","department":[{"_id":"HeEd"}],"month":"03","volume":24,"pubrep_id":"443","type":"journal_article","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2020-07-14T12:45:17Z","language":[{"iso":"eng"}],"status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"doi":"10.1142/S0218195914500034","date_published":"2014-03-16T00:00:00Z","ddc":["000"],"intvolume":"        24","year":"2014","_id":"1816","date_created":"2018-12-11T11:54:10Z","file":[{"file_name":"IST-2016-443-v1+1_S0218195914500034.pdf","file_id":"4704","relation":"main_file","date_created":"2018-12-12T10:08:43Z","date_updated":"2020-07-14T12:45:17Z","checksum":"be45c133ab4d43351260e21beaa8f4b1","content_type":"application/pdf","file_size":991734,"access_level":"open_access","creator":"system"}],"abstract":[{"text":"Watermarking techniques for vector graphics dislocate vertices in order to embed imperceptible, yet detectable, statistical features into the input data. The embedding process may result in a change of the topology of the input data, e.g., by introducing self-intersections, which is undesirable or even disastrous for many applications. In this paper we present a watermarking framework for two-dimensional vector graphics that employs conventional watermarking techniques but still provides the guarantee that the topology of the input data is preserved. The geometric part of this framework computes so-called maximum perturbation regions (MPR) of vertices. We propose two efficient algorithms to compute MPRs based on Voronoi diagrams and constrained triangulations. Furthermore, we present two algorithms to conditionally correct the watermarked data in order to increase the watermark embedding capacity and still guarantee topological correctness. While we focus on the watermarking of input formed by straight-line segments, one of our approaches can also be extended to circular arcs. We conclude the paper by demonstrating and analyzing the applicability of our framework in conjunction with two well-known watermarking techniques.","lang":"eng"}],"publication_status":"published","oa_version":"Published Version","quality_controlled":"1","author":[{"first_name":"Stefan","last_name":"Huber","orcid":"0000-0002-8871-5814","full_name":"Huber, Stefan","id":"4700A070-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Martin","last_name":"Held","full_name":"Held, Martin"},{"first_name":"Peter","last_name":"Meerwald","full_name":"Meerwald, Peter"},{"full_name":"Kwitt, Roland","last_name":"Kwitt","first_name":"Roland"}],"citation":{"mla":"Huber, Stefan, et al. “Topology-Preserving Watermarking of Vector Graphics.” <i>International Journal of Computational Geometry and Applications</i>, vol. 24, no. 1, World Scientific Publishing, 2014, pp. 61–86, doi:<a href=\"https://doi.org/10.1142/S0218195914500034\">10.1142/S0218195914500034</a>.","ama":"Huber S, Held M, Meerwald P, Kwitt R. Topology-preserving watermarking of vector graphics. <i>International Journal of Computational Geometry and Applications</i>. 2014;24(1):61-86. doi:<a href=\"https://doi.org/10.1142/S0218195914500034\">10.1142/S0218195914500034</a>","apa":"Huber, S., Held, M., Meerwald, P., &#38; Kwitt, R. (2014). Topology-preserving watermarking of vector graphics. <i>International Journal of Computational Geometry and Applications</i>. World Scientific Publishing. <a href=\"https://doi.org/10.1142/S0218195914500034\">https://doi.org/10.1142/S0218195914500034</a>","ieee":"S. Huber, M. Held, P. Meerwald, and R. Kwitt, “Topology-preserving watermarking of vector graphics,” <i>International Journal of Computational Geometry and Applications</i>, vol. 24, no. 1. World Scientific Publishing, pp. 61–86, 2014.","chicago":"Huber, Stefan, Martin Held, Peter Meerwald, and Roland Kwitt. “Topology-Preserving Watermarking of Vector Graphics.” <i>International Journal of Computational Geometry and Applications</i>. World Scientific Publishing, 2014. <a href=\"https://doi.org/10.1142/S0218195914500034\">https://doi.org/10.1142/S0218195914500034</a>.","ista":"Huber S, Held M, Meerwald P, Kwitt R. 2014. Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications. 24(1), 61–86.","short":"S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86."},"date_updated":"2021-01-12T06:53:23Z","publication":"International Journal of Computational Geometry and Applications","oa":1,"day":"16","publist_id":"5290","title":"Topology-preserving watermarking of vector graphics","issue":"1","has_accepted_license":"1"},{"abstract":[{"lang":"eng","text":"We review recent progress towards a rigorous understanding of the Bogoliubov approximation for bosonic quantum many-body systems. We focus, in particular, on the excitation spectrum of a Bose gas in the mean-field (Hartree) limit. A list of open problems will be discussed at the end."}],"file":[{"access_level":"open_access","creator":"system","content_type":"application/pdf","file_size":269171,"checksum":"ed0efc93c10f1341155f0316af617b82","date_updated":"2020-07-14T12:45:17Z","file_id":"5172","relation":"main_file","date_created":"2018-12-12T10:15:49Z","file_name":"IST-2016-532-v1+1_J._Mathematical_Phys._2014_Seiringer.pdf"}],"publication_status":"published","oa_version":"Submitted Version","quality_controlled":"1","_id":"1821","year":"2014","date_created":"2018-12-11T11:54:11Z","title":"Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation","project":[{"name":"NSERC Postdoctoral fellowship","_id":"26450934-B435-11E9-9278-68D0E5697425"}],"issue":"7","article_number":"1.4881536","has_accepted_license":"1","date_updated":"2021-01-12T06:53:25Z","author":[{"last_name":"Seiringer","first_name":"Robert","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Seiringer, Robert"}],"citation":{"chicago":"Seiringer, Robert. “Bose Gases, Bose-Einstein Condensation, and the Bogoliubov Approximation.” <i>Journal of Mathematical Physics</i>. American Institute of Physics, 2014. <a href=\"https://doi.org/10.1063/1.4881536\">https://doi.org/10.1063/1.4881536</a>.","ista":"Seiringer R. 2014. Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. 55(7), 1.4881536.","mla":"Seiringer, Robert. “Bose Gases, Bose-Einstein Condensation, and the Bogoliubov Approximation.” <i>Journal of Mathematical Physics</i>, vol. 55, no. 7, 1.4881536, American Institute of Physics, 2014, doi:<a href=\"https://doi.org/10.1063/1.4881536\">10.1063/1.4881536</a>.","ieee":"R. Seiringer, “Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation,” <i>Journal of Mathematical Physics</i>, vol. 55, no. 7. American Institute of Physics, 2014.","ama":"Seiringer R. Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. <i>Journal of Mathematical Physics</i>. 2014;55(7). doi:<a href=\"https://doi.org/10.1063/1.4881536\">10.1063/1.4881536</a>","apa":"Seiringer, R. (2014). Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. <i>Journal of Mathematical Physics</i>. American Institute of Physics. <a href=\"https://doi.org/10.1063/1.4881536\">https://doi.org/10.1063/1.4881536</a>","short":"R. Seiringer, Journal of Mathematical Physics 55 (2014)."},"oa":1,"publication":"Journal of Mathematical Physics","publist_id":"5285","day":"26","month":"06","publisher":"American Institute of Physics","department":[{"_id":"RoSe"}],"scopus_import":1,"status":"public","language":[{"iso":"eng"}],"date_published":"2014-06-26T00:00:00Z","doi":"10.1063/1.4881536","ddc":["510","530"],"intvolume":"        55","volume":55,"type":"journal_article","pubrep_id":"532","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2020-07-14T12:45:17Z"},{"quality_controlled":"1","oa_version":"None","department":[{"_id":"RoSe"}],"publisher":"American Institute of Physics","publication_status":"published","month":"07","date_created":"2018-12-11T11:54:12Z","scopus_import":1,"year":"2014","_id":"1822","article_number":"075101","issue":"7","intvolume":"        55","doi":"10.1063/1.4884877","date_published":"2014-07-01T00:00:00Z","language":[{"iso":"eng"}],"status":"public","title":"Introduction","day":"01","publist_id":"5284","user_id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","publication":"Journal of Mathematical Physics","date_updated":"2021-01-12T06:53:25Z","type":"journal_article","author":[{"full_name":"Jakšić, Vojkan","first_name":"Vojkan","last_name":"Jakšić"},{"first_name":"Claude","last_name":"Pillet","full_name":"Pillet, Claude"},{"orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","last_name":"Seiringer"}],"citation":{"mla":"Jakšić, Vojkan, et al. “Introduction.” <i>Journal of Mathematical Physics</i>, vol. 55, no. 7, 075101, American Institute of Physics, 2014, doi:<a href=\"https://doi.org/10.1063/1.4884877\">10.1063/1.4884877</a>.","ieee":"V. Jakšić, C. Pillet, and R. Seiringer, “Introduction,” <i>Journal of Mathematical Physics</i>, vol. 55, no. 7. American Institute of Physics, 2014.","apa":"Jakšić, V., Pillet, C., &#38; Seiringer, R. (2014). Introduction. <i>Journal of Mathematical Physics</i>. American Institute of Physics. <a href=\"https://doi.org/10.1063/1.4884877\">https://doi.org/10.1063/1.4884877</a>","ama":"Jakšić V, Pillet C, Seiringer R. Introduction. <i>Journal of Mathematical Physics</i>. 2014;55(7). doi:<a href=\"https://doi.org/10.1063/1.4884877\">10.1063/1.4884877</a>","chicago":"Jakšić, Vojkan, Claude Pillet, and Robert Seiringer. “Introduction.” <i>Journal of Mathematical Physics</i>. American Institute of Physics, 2014. <a href=\"https://doi.org/10.1063/1.4884877\">https://doi.org/10.1063/1.4884877</a>.","ista":"Jakšić V, Pillet C, Seiringer R. 2014. Introduction. Journal of Mathematical Physics. 55(7), 075101.","short":"V. Jakšić, C. Pillet, R. Seiringer, Journal of Mathematical Physics 55 (2014)."},"volume":55}]