[{"language":[{"iso":"eng"}],"article_number":"031060","month":"07","abstract":[{"text":"Molecular chirality plays an essential role in most biochemical processes. The observation and quantification of chirality-sensitive signals, however, remains extremely challenging, especially on ultrafast timescales and in dilute media. Here, we describe the experimental realization of an all-optical and ultrafast scheme for detecting chiral dynamics in molecules. This technique is based on high-harmonic generation by a combination of two-color counterrotating femtosecond laser pulses with polarization states tunable from linear to circular. We demonstrate two different implementations of chiral-sensitive high-harmonic spectroscopy on an ensemble of randomly oriented methyloxirane molecules in the gas phase. Using two elliptically polarized fields, we observe that the ellipticities maximizing the harmonic signal reach up to \r\n4.4\r\n±\r\n0.2\r\n%\r\n (at 17.6 eV). Using two circularly polarized fields, we observe circular dichroisms ranging up to \r\n13\r\n±\r\n6\r\n%\r\n (28.3–33.1 eV). Our theoretical analysis confirms that the observed chiral response originates from subfemtosecond electron dynamics driven by the magnetic component of the driving laser field. This assignment is supported by the experimental observation of a strong intensity dependence of the chiral effects and its agreement with theory. We moreover report and explain a pronounced variation of the signal strength and dichroism with the driving-field ellipticities and harmonic orders. Finally, we demonstrate the sensitivity of the experimental observables to the shape of the electron hole. This technique for chiral discrimination will yield femtosecond temporal resolution when integrated in a pump-probe scheme and subfemtosecond resolution on chiral charge migration in a self-probing scheme.","lang":"eng"}],"_id":"14003","type":"journal_article","scopus_import":"1","issue":"3","status":"public","keyword":["General Physics and Astronomy"],"oa_version":"Published Version","extern":"1","date_updated":"2023-08-22T07:42:07Z","oa":1,"article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1103/PhysRevX.8.031060"}],"publication_identifier":{"eissn":["2160-3308"]},"volume":8,"intvolume":" 8","date_created":"2023-08-10T06:34:48Z","citation":{"short":"D.R. Baykusheva, H.J. Wörner, Physical Review X 8 (2018).","mla":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Chiral Discrimination through Bielliptical High-Harmonic Spectroscopy.” Physical Review X, vol. 8, no. 3, 031060, American Physical Society, 2018, doi:10.1103/physrevx.8.031060.","ieee":"D. R. Baykusheva and H. J. Wörner, “Chiral discrimination through bielliptical high-harmonic spectroscopy,” Physical Review X, vol. 8, no. 3. American Physical Society, 2018.","ama":"Baykusheva DR, Wörner HJ. Chiral discrimination through bielliptical high-harmonic spectroscopy. Physical Review X. 2018;8(3). doi:10.1103/physrevx.8.031060","ista":"Baykusheva DR, Wörner HJ. 2018. Chiral discrimination through bielliptical high-harmonic spectroscopy. Physical Review X. 8(3), 031060.","chicago":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Chiral Discrimination through Bielliptical High-Harmonic Spectroscopy.” Physical Review X. American Physical Society, 2018. https://doi.org/10.1103/physrevx.8.031060.","apa":"Baykusheva, D. R., & Wörner, H. J. (2018). Chiral discrimination through bielliptical high-harmonic spectroscopy. Physical Review X. American Physical Society. https://doi.org/10.1103/physrevx.8.031060"},"publication":"Physical Review X","publisher":"American Physical Society","quality_controlled":"1","doi":"10.1103/physrevx.8.031060","title":"Chiral discrimination through bielliptical high-harmonic spectroscopy","year":"2018","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","article_processing_charge":"No","author":[{"last_name":"Baykusheva","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","first_name":"Denitsa Rangelova","full_name":"Baykusheva, Denitsa Rangelova"},{"first_name":"Hans Jakob","full_name":"Wörner, Hans Jakob","last_name":"Wörner"}],"day":"01","date_published":"2018-07-01T00:00:00Z"},{"day":"09","author":[{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5199-3143","last_name":"Ferrere","full_name":"Ferrere, Thomas","first_name":"Thomas"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"full_name":"Saraç, Ege","first_name":"Ege","last_name":"Saraç"}],"page":"394 - 403","publisher":"IEEE","date_published":"2018-07-09T00:00:00Z","citation":{"ieee":"T. Ferrere, T. A. Henzinger, and E. Saraç, “A theory of register monitors,” presented at the LICS: Logic in Computer Science, Oxford, UK, 2018, vol. Part F138033, pp. 394–403.","ama":"Ferrere T, Henzinger TA, Saraç E. A theory of register monitors. In: Vol Part F138033. IEEE; 2018:394-403. doi:10.1145/3209108.3209194","chicago":"Ferrere, Thomas, Thomas A Henzinger, and Ege Saraç. “A Theory of Register Monitors,” Part F138033:394–403. IEEE, 2018. https://doi.org/10.1145/3209108.3209194.","apa":"Ferrere, T., Henzinger, T. A., & Saraç, E. (2018). A theory of register monitors (Vol. Part F138033, pp. 394–403). Presented at the LICS: Logic in Computer Science, Oxford, UK: IEEE. https://doi.org/10.1145/3209108.3209194","ista":"Ferrere T, Henzinger TA, Saraç E. 2018. A theory of register monitors. LICS: Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol. Part F138033, 394–403.","short":"T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.","mla":"Ferrere, Thomas, et al. A Theory of Register Monitors. Vol. Part F138033, IEEE, 2018, pp. 394–403, doi:10.1145/3209108.3209194."},"date_created":"2018-12-11T11:44:52Z","article_processing_charge":"No","volume":"Part F138033","publication_status":"published","date_updated":"2023-09-08T11:49:13Z","year":"2018","oa_version":"None","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","alternative_title":["ACM/IEEE Symposium on Logic in Computer Science"],"department":[{"_id":"ToHe"}],"title":"A theory of register monitors","status":"public","scopus_import":"1","conference":{"start_date":"2018-07-09","location":"Oxford, UK","end_date":"2018-07-12","name":"LICS: Logic in Computer Science"},"_id":"144","abstract":[{"lang":"eng","text":"The task of a monitor is to watch, at run-time, the execution of a reactive system, and signal the occurrence of a safety violation in the observed sequence of events. While finite-state monitors have been studied extensively, in practice, monitoring software also makes use of unbounded memory. We define a model of automata equipped with integer-valued registers which can execute only a bounded number of instructions between consecutive events, and thus can form the theoretical basis for the study of infinite-state monitors. We classify these register monitors according to the number k of available registers, and the type of register instructions. In stark contrast to the theory of computability for register machines, we prove that for every k 1, monitors with k + 1 counters (with instruction set 〈+1, =〉) are strictly more expressive than monitors with k counters. We also show that adder monitors (with instruction set 〈1, +, =〉) are strictly more expressive than counter monitors, but are complete for monitoring all computable safety -languages for k = 6. Real-time monitors are further required to signal the occurrence of a safety violation as soon as it occurs. The expressiveness hierarchy for counter monitors carries over to real-time monitors. We then show that 2 adders cannot simulate 3 counters in real-time. Finally, we show that real-time adder monitors with inequalities are as expressive as real-time Turing machines."}],"publist_id":"7779","type":"conference","doi":"10.1145/3209108.3209194","quality_controlled":"1","isi":1,"external_id":{"isi":["000545262800041"]},"language":[{"iso":"eng"}],"month":"07"},{"year":"2018","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","article_processing_charge":"No","arxiv":1,"day":"28","author":[{"id":"c4c0afc8-9262-11ed-9231-d8b0bc743af1","orcid":"0000-0001-8467-4106","last_name":"Chan","full_name":"Chan, Yik Tung","first_name":"Yik Tung"}],"date_published":"2018-09-28T00:00:00Z","doi":"10.1080/00029890.2018.1495491","quality_controlled":"1","title":"Rational right triangles of a given area","oa_version":"Preprint","extern":"1","oa":1,"date_updated":"2025-07-10T11:51:49Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1706.05919"}],"article_type":"original","volume":125,"publication_identifier":{"issn":["0002-9890"],"eissn":["1930-0972"]},"page":"689-703","publisher":"Taylor & Francis","OA_type":"green","publication":"The American Mathematical Monthly","date_created":"2025-04-05T10:51:16Z","citation":{"ieee":"S. Chan, “Rational right triangles of a given area,” The American Mathematical Monthly, vol. 125, no. 8. Taylor & Francis, pp. 689–703, 2018.","ama":"Chan S. Rational right triangles of a given area. The American Mathematical Monthly. 2018;125(8):689-703. doi:10.1080/00029890.2018.1495491","chicago":"Chan, Stephanie. “Rational Right Triangles of a given Area.” The American Mathematical Monthly. Taylor & Francis, 2018. https://doi.org/10.1080/00029890.2018.1495491.","apa":"Chan, S. (2018). Rational right triangles of a given area. The American Mathematical Monthly. Taylor & Francis. https://doi.org/10.1080/00029890.2018.1495491","ista":"Chan S. 2018. Rational right triangles of a given area. The American Mathematical Monthly. 125(8), 689–703.","short":"S. Chan, The American Mathematical Monthly 125 (2018) 689–703.","mla":"Chan, Stephanie. “Rational Right Triangles of a given Area.” The American Mathematical Monthly, vol. 125, no. 8, Taylor & Francis, 2018, pp. 689–703, doi:10.1080/00029890.2018.1495491."},"intvolume":" 125","external_id":{"arxiv":["1706.05919"]},"language":[{"iso":"eng"}],"month":"09","_id":"19494","OA_place":"repository","abstract":[{"text":"Starting from any given rational-sided, right triangle, for example, the (3,4,5)-triangle with area 6, we use Euclidean geometry to show that there are infinitely many other rational-sided, right triangles of the same area. We show further that the set of all such triangles of a given area is finitely generated under our geometric construction. Such areas are known as “congruent numbers” and have a rich history in which all the results in this article have been proved and far more. Yet, as far as we can tell, this seems to be the first exploration using this kind of geometric technique.","lang":"eng"}],"type":"journal_article","scopus_import":"1","issue":"8","status":"public"},{"publication_status":"published","related_material":{"record":[{"status":"public","relation":"later_version","id":"6175"}]},"oa":1,"date_updated":"2025-04-15T08:11:42Z","year":"2018","oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["IST Austria Technical Report"],"day":"11","pubrep_id":"1066","page":"27","author":[{"full_name":"Anonymous, 1","first_name":"1","last_name":"Anonymous"},{"first_name":"2","full_name":"Anonymous, 2","last_name":"Anonymous"},{"last_name":"Anonymous","first_name":"3","full_name":"Anonymous, 3"},{"first_name":"4","full_name":"Anonymous, 4","last_name":"Anonymous"},{"first_name":"5","full_name":"Anonymous, 5","last_name":"Anonymous"},{"last_name":"Anonymous","full_name":"Anonymous, 6","first_name":"6"}],"date_published":"2018-11-11T00:00:00Z","publisher":"IST Austria","citation":{"ama":"Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous 6. Cost Analysis of Nondeterministic Probabilistic Programs. IST Austria; 2018.","ieee":"1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous, Cost analysis of nondeterministic probabilistic programs. IST Austria, 2018.","apa":"Anonymous, 1, Anonymous, 2, Anonymous, 3, Anonymous, 4, Anonymous, 5, & Anonymous, 6. (2018). Cost analysis of nondeterministic probabilistic programs. IST Austria.","chicago":"Anonymous, 1, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous. Cost Analysis of Nondeterministic Probabilistic Programs. IST Austria, 2018.","ista":"Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous 6. 2018. Cost analysis of nondeterministic probabilistic programs, IST Austria, 27p.","short":"1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous, Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018.","mla":"Anonymous, 1, et al. Cost Analysis of Nondeterministic Probabilistic Programs. IST Austria, 2018."},"date_created":"2018-12-12T11:39:26Z","ddc":["000"],"corr_author":"1","publication_identifier":{"issn":["2664-1690"]},"_id":"5457","has_accepted_license":"1","abstract":[{"text":"We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well.\r\n\r\nIn this work, we present a sound and efficient approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic probabilistic programs. Our approach can handle (a) general positive and negative costs with bounded updates in variables; and (b) nonnegative costs with general updates to variables. We show that several natural examples which could not be handled by previous approaches are captured in our framework.\r\n\r\nMoreover, our approach leads to an efficient polynomial-time algorithm, while no previous approach for cost analysis of probabilistic programs could guarantee polynomial runtime. Finally, we show the effectiveness of our approach by presenting experimental results on a variety of programs, motivated by real-world applications, for which we efficiently synthesize tight resource-usage bounds.","lang":"eng"}],"type":"technical_report","language":[{"iso":"eng"}],"month":"11","title":"Cost analysis of nondeterministic probabilistic programs","status":"public","scopus_import":1,"file_date_updated":"2020-07-14T12:47:00Z","file":[{"creator":"system","date_updated":"2020-07-14T12:47:00Z","file_name":"IST-2018-1066-v1+1_techreport.pdf","access_level":"open_access","file_id":"5493","content_type":"application/pdf","checksum":"ba3adafd36fe200385ccda583063b9eb","relation":"main_file","date_created":"2018-12-12T11:53:32Z","file_size":4202966},{"file_size":322,"date_created":"2019-05-10T13:22:12Z","relation":"main_file","checksum":"6cf3a19164bb8e5048a9c8c84dfd9fa3","content_type":"text/plain","file_id":"6402","access_level":"closed","file_name":"authors-names.txt","date_updated":"2020-07-14T12:47:00Z","creator":"dernst"}]},{"intvolume":" 141","citation":{"short":"J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments 141 (2018).","mla":"Masís, Javier, et al. “A Micro-CT-Based Method for Characterising Lesions and Locating Electrodes in Small Animal Brains.” Journal of Visualized Experiments, vol. 141, MyJove Corporation, 2018, doi:10.3791/58585.","ama":"Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. Journal of visualized experiments. 2018;141. doi:10.3791/58585","ieee":"J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M. A. Jösch, and D. Cox, “A micro-CT-based method for characterising lesions and locating electrodes in small animal brains,” Journal of visualized experiments, vol. 141. MyJove Corporation, 2018.","ista":"Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. 2018. A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. Journal of visualized experiments. 141.","apa":"Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., & Cox, D. (2018). A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. Journal of Visualized Experiments. MyJove Corporation. https://doi.org/10.3791/58585","chicago":"Masís, Javier, David Mankus, Steffen Wolff, Grigori Guitchounts, Maximilian A Jösch, and David Cox. “A Micro-CT-Based Method for Characterising Lesions and Locating Electrodes in Small Animal Brains.” Journal of Visualized Experiments. MyJove Corporation, 2018. https://doi.org/10.3791/58585."},"date_created":"2018-12-11T11:44:07Z","date_published":"2018-11-08T00:00:00Z","publication":"Journal of visualized experiments","publisher":"MyJove Corporation","author":[{"full_name":"Masís, Javier","first_name":"Javier","last_name":"Masís"},{"full_name":"Mankus, David","first_name":"David","last_name":"Mankus"},{"last_name":"Wolff","full_name":"Wolff, Steffen","first_name":"Steffen"},{"full_name":"Guitchounts, Grigori","first_name":"Grigori","last_name":"Guitchounts"},{"last_name":"Jösch","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3937-1330","first_name":"Maximilian A","full_name":"Jösch, Maximilian A"},{"full_name":"Cox, David","first_name":"David","last_name":"Cox"}],"day":"08","volume":141,"article_processing_charge":"No","date_updated":"2023-10-17T11:49:25Z","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2018","oa_version":"None","status":"public","title":"A micro-CT-based method for characterising lesions and locating electrodes in small animal brains","department":[{"_id":"MaJö"}],"scopus_import":"1","quality_controlled":"1","type":"journal_article","doi":"10.3791/58585","publist_id":"8050","abstract":[{"text":"Lesion and electrode location verification are traditionally done via histological examination of stained brain slices, a time-consuming procedure that requires manual estimation. Here, we describe a simple, straightforward method for quantifying lesions and locating electrodes in the brain that is less laborious and yields more detailed results. Whole brains are stained with osmium tetroxide, embedded in resin, and imaged with a micro-CT scanner. The scans result in 3D digital volumes of the brains with resolutions and virtual section thicknesses dependent on the sample size (12-15 and 5-6 µm per voxel for rat and zebra finch brains, respectively). Surface and deep lesions can be characterized, and single tetrodes, tetrode arrays, electrolytic lesions, and silicon probes can also be localized. Free and proprietary software allows experimenters to examine the sample volume from any plane and segment the volume manually or automatically. Because this method generates whole brain volume, lesions and electrodes can be quantified to a much higher degree than in current methods, which will help standardize comparisons within and across studies.","lang":"eng"}],"_id":"6","month":"11","language":[{"iso":"eng"}],"external_id":{"isi":["000456469400103"]},"isi":1},{"department":[{"_id":"RoSe"}],"title":"The Bogoliubov free energy functional I: Existence of minimizers and phase diagram","doi":"10.1007/s00205-018-1232-6","project":[{"_id":"25C878CE-B435-11E9-9278-68D0E5697425","grant_number":"P27533_N27","name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems","call_identifier":"FWF"}],"quality_controlled":"1","arxiv":1,"article_processing_charge":"No","day":"01","author":[{"first_name":"Marcin M","full_name":"Napiórkowski, Marcin M","last_name":"Napiórkowski","id":"4197AD04-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Reuvers","full_name":"Reuvers, Robin","first_name":"Robin"},{"full_name":"Solovej, Jan Philip","first_name":"Jan Philip","last_name":"Solovej"}],"date_published":"2018-09-01T00:00:00Z","year":"2018","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication_status":"published","scopus_import":"1","issue":"3","status":"public","external_id":{"arxiv":["1511.05935"],"isi":["000435367300003"]},"language":[{"iso":"eng"}],"isi":1,"month":"09","_id":"6002","abstract":[{"text":"The Bogoliubov free energy functional is analysed. The functional serves as a model of a translation-invariant Bose gas at positive temperature. We prove the existence of minimizers in the case of repulsive interactions given by a sufficiently regular two-body potential. Furthermore, we prove the existence of a phase transition in this model and provide its phase diagram.","lang":"eng"}],"type":"journal_article","main_file_link":[{"url":"https://arxiv.org/abs/1511.05935","open_access":"1"}],"publication_identifier":{"eissn":["1432-0673"],"issn":["0003-9527"]},"volume":229,"page":"1037-1090","publication":"Archive for Rational Mechanics and Analysis","publisher":"Springer Nature","date_created":"2019-02-14T13:40:53Z","intvolume":" 229","citation":{"short":"M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics and Analysis 229 (2018) 1037–1090.","mla":"Napiórkowski, Marcin M., et al. “The Bogoliubov Free Energy Functional I: Existence of Minimizers and Phase Diagram.” Archive for Rational Mechanics and Analysis, vol. 229, no. 3, Springer Nature, 2018, pp. 1037–90, doi:10.1007/s00205-018-1232-6.","ama":"Napiórkowski MM, Reuvers R, Solovej JP. The Bogoliubov free energy functional I: Existence of minimizers and phase diagram. Archive for Rational Mechanics and Analysis. 2018;229(3):1037-1090. doi:10.1007/s00205-018-1232-6","ieee":"M. M. Napiórkowski, R. Reuvers, and J. P. Solovej, “The Bogoliubov free energy functional I: Existence of minimizers and phase diagram,” Archive for Rational Mechanics and Analysis, vol. 229, no. 3. Springer Nature, pp. 1037–1090, 2018.","ista":"Napiórkowski MM, Reuvers R, Solovej JP. 2018. The Bogoliubov free energy functional I: Existence of minimizers and phase diagram. Archive for Rational Mechanics and Analysis. 229(3), 1037–1090.","chicago":"Napiórkowski, Marcin M, Robin Reuvers, and Jan Philip Solovej. “The Bogoliubov Free Energy Functional I: Existence of Minimizers and Phase Diagram.” Archive for Rational Mechanics and Analysis. Springer Nature, 2018. https://doi.org/10.1007/s00205-018-1232-6.","apa":"Napiórkowski, M. M., Reuvers, R., & Solovej, J. P. (2018). The Bogoliubov free energy functional I: Existence of minimizers and phase diagram. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-018-1232-6"},"oa_version":"Preprint","oa":1,"date_updated":"2025-04-15T08:26:15Z"},{"doi":"10.1145/3178487.3178489","quality_controlled":"1","department":[{"_id":"DaAl"}],"title":"Harnessing epoch-based reclamation for efficient range queries","publication_status":"published","year":"2018","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","day":"10","author":[{"last_name":"Arbel Raviv","full_name":"Arbel Raviv, Maya","first_name":"Maya"},{"first_name":"Trevor A","full_name":"Brown, Trevor A","last_name":"Brown","id":"3569F0A0-F248-11E8-B48F-1D18A9856A87"}],"date_published":"2018-02-10T00:00:00Z","article_processing_charge":"No","_id":"397","publist_id":"7430","abstract":[{"text":"Concurrent sets with range query operations are highly desirable in applications such as in-memory databases. However, few set implementations offer range queries. Known techniques for augmenting data structures with range queries (or operations that can be used to build range queries) have numerous problems that limit their usefulness. For example, they impose high overhead or rely heavily on garbage collection. In this work, we show how to augment data structures with highly efficient range queries, without relying on garbage collection. We identify a property of epoch-based memory reclamation algorithms that makes them ideal for implementing range queries, and produce three algorithms, which use locks, transactional memory and lock-free techniques, respectively. Our algorithms are applicable to more data structures than previous work, and are shown to be highly efficient on a large scale Intel system. ","lang":"eng"}],"type":"conference","external_id":{"isi":["000446161100002"]},"isi":1,"language":[{"iso":"eng"}],"month":"02","status":"public","scopus_import":"1","conference":{"location":"Vienna, Austria","end_date":"2018-02-28","start_date":"2018-02-24","name":"PPoPP: Principles and Practice of Parallel Programming"},"issue":"1","date_updated":"2023-09-11T14:10:25Z","oa_version":"None","alternative_title":["PPoPP"],"page":"14 - 27","publisher":"ACM","date_created":"2018-12-11T11:46:14Z","intvolume":" 53","citation":{"short":"M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27.","mla":"Arbel Raviv, Maya, and Trevor A. Brown. Harnessing Epoch-Based Reclamation for Efficient Range Queries. Vol. 53, no. 1, ACM, 2018, pp. 14–27, doi:10.1145/3178487.3178489.","ama":"Arbel Raviv M, Brown TA. Harnessing epoch-based reclamation for efficient range queries. In: Vol 53. ACM; 2018:14-27. doi:10.1145/3178487.3178489","ieee":"M. Arbel Raviv and T. A. Brown, “Harnessing epoch-based reclamation for efficient range queries,” presented at the PPoPP: Principles and Practice of Parallel Programming, Vienna, Austria, 2018, vol. 53, no. 1, pp. 14–27.","ista":"Arbel Raviv M, Brown TA. 2018. Harnessing epoch-based reclamation for efficient range queries. PPoPP: Principles and Practice of Parallel Programming, PPoPP, vol. 53, 14–27.","chicago":"Arbel Raviv, Maya, and Trevor A Brown. “Harnessing Epoch-Based Reclamation for Efficient Range Queries,” 53:14–27. ACM, 2018. https://doi.org/10.1145/3178487.3178489.","apa":"Arbel Raviv, M., & Brown, T. A. (2018). Harnessing epoch-based reclamation for efficient range queries (Vol. 53, pp. 14–27). Presented at the PPoPP: Principles and Practice of Parallel Programming, Vienna, Austria: ACM. https://doi.org/10.1145/3178487.3178489"},"volume":53,"publication_identifier":{"isbn":["978-1-4503-4982-6"]}},{"acknowledgement":"This work was supported by the Ministry of Education Youth and Sports, Czech Republic (grant LO1204 from the National Program of Sustainability I and Agricultural Research ) and by Czech Science Foundation grants 16-04184S , 501/10/1450 and 13-39982S and by IGA projects IGA_PrF_2018_033 and IGA_PrF_2018_023 . We would like to thank Jarmila Balonová, Olga Hustáková and Miroslava Šubová for their skillful technical assistance and Mgr. Tomáš Pospíšil, Ph.D. for his measurement of 1 H NMR and analysis of some 2D NMR spectral data. \r\n","status":"public","scopus_import":"1","_id":"407","abstract":[{"lang":"eng","text":"Isoprenoid cytokinins play a number of crucial roles in the regulation of plant growth and development. To study cytokinin receptor properties in plants, we designed and prepared fluorescent derivatives of 6-[(3-methylbut-2-en-1-yl)amino]purine (N6-isopentenyladenine, iP) with several fluorescent labels attached to the C2 or N9 atom of the purine moiety via a 2- or 6-carbon linker. The fluorescent labels included dansyl (DS), fluorescein (FC), 7-nitrobenzofurazan (NBD), rhodamine B (RhoB), coumarin (Cou), 7-(diethylamino)coumarin (DEAC) and cyanine 5 dye (Cy5). All prepared compounds were screened for affinity for the Arabidopsis thaliana cytokinin receptor (CRE1/AHK4). Although the attachment of the fluorescent labels to iP via the linkers mostly disrupted binding to the receptor, several fluorescent derivatives interacted well. For this reason, three derivatives, two rhodamine B and one 4-chloro-7-nitrobenzofurazan labeled iP were tested for their interaction with CRE1/AHK4 and Zea mays cytokinin receptors in detail. We further showed that the three derivatives were able to activate transcription of cytokinin response regulator ARR5 in Arabidopsis seedlings. The activity of fluorescently labeled cytokinins was compared with corresponding 6-dimethylaminopurine fluorescently labeled negative controls. Selected rhodamine B C2-labeled compounds 17, 18 and 4-chloro-7-nitrobenzofurazan N9-labeled compound 28 and their respective negative controls (19, 20 and 29, respectively) were used for in planta staining experiments in Arabidopsis thaliana cell suspension culture using live cell confocal microscopy."}],"publist_id":"7422","type":"journal_article","isi":1,"language":[{"iso":"eng"}],"external_id":{"isi":["000435623400001"]},"month":"06","page":"1-11","publisher":"Elsevier","publication":"Phytochemistry","date_created":"2018-12-11T11:46:18Z","citation":{"ieee":"K. Kubiasová et al., “Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins,” Phytochemistry, vol. 150. Elsevier, pp. 1–11, 2018.","ama":"Kubiasová K, Mik V, Nisler J, et al. Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins. Phytochemistry. 2018;150:1-11. doi:10.1016/j.phytochem.2018.02.015","apa":"Kubiasová, K., Mik, V., Nisler, J., Hönig, M., Husičková, A., Spíchal, L., … Plíhalová, L. (2018). Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins. Phytochemistry. Elsevier. https://doi.org/10.1016/j.phytochem.2018.02.015","chicago":"Kubiasová, Karolina, Václav Mik, Jaroslav Nisler, Martin Hönig, Alexandra Husičková, Lukáš Spíchal, Zuzana Pěkná, et al. “Design, Synthesis and Perception of Fluorescently Labeled Isoprenoid Cytokinins.” Phytochemistry. Elsevier, 2018. https://doi.org/10.1016/j.phytochem.2018.02.015.","ista":"Kubiasová K, Mik V, Nisler J, Hönig M, Husičková A, Spíchal L, Pěkná Z, Šamajová O, Doležal K, Plíhal O, Benková E, Strnad M, Plíhalová L. 2018. Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins. Phytochemistry. 150, 1–11.","short":"K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná, O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.","mla":"Kubiasová, Karolina, et al. “Design, Synthesis and Perception of Fluorescently Labeled Isoprenoid Cytokinins.” Phytochemistry, vol. 150, Elsevier, 2018, pp. 1–11, doi:10.1016/j.phytochem.2018.02.015."},"intvolume":" 150","volume":150,"date_updated":"2023-09-11T12:53:11Z","oa_version":"None","department":[{"_id":"EvBe"}],"title":"Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins","doi":"10.1016/j.phytochem.2018.02.015","quality_controlled":"1","day":"01","author":[{"last_name":"Kubiasová","first_name":"Karolina","full_name":"Kubiasová, Karolina"},{"first_name":"Václav","full_name":"Mik, Václav","last_name":"Mik"},{"full_name":"Nisler, Jaroslav","first_name":"Jaroslav","last_name":"Nisler"},{"full_name":"Hönig, Martin","first_name":"Martin","last_name":"Hönig"},{"last_name":"Husičková","first_name":"Alexandra","full_name":"Husičková, Alexandra"},{"last_name":"Spíchal","full_name":"Spíchal, Lukáš","first_name":"Lukáš"},{"last_name":"Pěkná","first_name":"Zuzana","full_name":"Pěkná, Zuzana"},{"full_name":"Šamajová, Olga","first_name":"Olga","last_name":"Šamajová"},{"last_name":"Doležal","first_name":"Karel","full_name":"Doležal, Karel"},{"last_name":"Plíhal","first_name":"Ondřej","full_name":"Plíhal, Ondřej"},{"orcid":"0000-0002-8510-9739","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","last_name":"Benková","full_name":"Benková, Eva","first_name":"Eva"},{"first_name":"Miroslav","full_name":"Strnad, Miroslav","last_name":"Strnad"},{"full_name":"Plíhalová, Lucie","first_name":"Lucie","last_name":"Plíhalová"}],"date_published":"2018-06-01T00:00:00Z","article_processing_charge":"No","publication_status":"published","year":"2018","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"quality_controlled":"1","doi":"10.1038/s41598-018-23247-z","title":"A micro-CT-based method for quantitative brain lesion characterization and electrode localization","department":[{"_id":"MaJö"}],"file":[{"access_level":"open_access","file_id":"4831","file_name":"IST-2018-994-v1+1_2018_Joesch_A-micro-CT-based.pdf","date_updated":"2020-07-14T12:46:23Z","creator":"system","file_size":2359430,"date_created":"2018-12-12T10:10:42Z","relation":"main_file","checksum":"653fcb852f899c75b00ceee2a670d738","content_type":"application/pdf"}],"publication_status":"published","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","year":"2018","date_published":"2018-03-26T00:00:00Z","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"author":[{"last_name":"Masís","first_name":"Javier","full_name":"Masís, Javier"},{"first_name":"David","full_name":"Mankus, David","last_name":"Mankus"},{"full_name":"Wolff, Steffen","first_name":"Steffen","last_name":"Wolff"},{"last_name":"Guitchounts","first_name":"Grigori","full_name":"Guitchounts, Grigori"},{"first_name":"Maximilian A","full_name":"Jösch, Maximilian A","last_name":"Jösch","orcid":"0000-0002-3937-1330","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"David","full_name":"Cox, David","last_name":"Cox"}],"pubrep_id":"994","day":"26","article_processing_charge":"No","type":"journal_article","abstract":[{"lang":"eng","text":"Lesion verification and quantification is traditionally done via histological examination of sectioned brains, a time-consuming process that relies heavily on manual estimation. Such methods are particularly problematic in posterior cortical regions (e.g. visual cortex), where sectioning leads to significant damage and distortion of tissue. Even more challenging is the post hoc localization of micro-electrodes, which relies on the same techniques, suffers from similar drawbacks and requires even higher precision. Here, we propose a new, simple method for quantitative lesion characterization and electrode localization that is less labor-intensive and yields more detailed results than conventional methods. We leverage staining techniques standard in electron microscopy with the use of commodity micro-CT imaging. We stain whole rat and zebra finch brains in osmium tetroxide, embed these in resin and scan entire brains in a micro-CT machine. The scans result in 3D reconstructions of the brains with section thickness dependent on sample size (12–15 and 5–6 microns for rat and zebra finch respectively) that can be segmented manually or automatically. Because the method captures the entire intact brain volume, comparisons within and across studies are more tractable, and the extent of lesions and electrodes may be studied with higher accuracy than with current methods."}],"publist_id":"7419","has_accepted_license":"1","_id":"410","month":"03","language":[{"iso":"eng"}],"isi":1,"external_id":{"isi":["000428234100005"]},"article_number":"5184","status":"public","issue":"1","file_date_updated":"2020-07-14T12:46:23Z","scopus_import":"1","oa":1,"date_updated":"2023-09-08T11:48:39Z","oa_version":"Published Version","intvolume":" 8","ddc":["571","572"],"citation":{"mla":"Masís, Javier, et al. “A Micro-CT-Based Method for Quantitative Brain Lesion Characterization and Electrode Localization.” Scientific Reports, vol. 8, no. 1, 5184, Nature Publishing Group, 2018, doi:10.1038/s41598-018-23247-z.","short":"J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Scientific Reports 8 (2018).","chicago":"Masís, Javier, David Mankus, Steffen Wolff, Grigori Guitchounts, Maximilian A Jösch, and David Cox. “A Micro-CT-Based Method for Quantitative Brain Lesion Characterization and Electrode Localization.” Scientific Reports. Nature Publishing Group, 2018. https://doi.org/10.1038/s41598-018-23247-z.","apa":"Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., & Cox, D. (2018). A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/s41598-018-23247-z","ista":"Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. 2018. A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports. 8(1), 5184.","ama":"Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-23247-z","ieee":"J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M. A. Jösch, and D. Cox, “A micro-CT-based method for quantitative brain lesion characterization and electrode localization,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group, 2018."},"date_created":"2018-12-11T11:46:19Z","publication":"Scientific Reports","publisher":"Nature Publishing Group","volume":8},{"oa":1,"date_updated":"2024-09-25T08:57:35Z","oa_version":"Published Version","extern":"1","page":"1412-1426","intvolume":" 476","citation":{"mla":"Inayoshi, Kohei, et al. “Low-Density, Radiatively Inefficient Rotating-Accretion Flow on to a Black Hole.” Monthly Notices of the Royal Astronomical Society, vol. 476, no. 1, Oxford University Press, 2018, pp. 1412–26, doi:10.1093/mnras/sty276.","short":"K. Inayoshi, J.P. Ostriker, Z. Haiman, R. Kuiper, Monthly Notices of the Royal Astronomical Society 476 (2018) 1412–1426.","apa":"Inayoshi, K., Ostriker, J. P., Haiman, Z., & Kuiper, R. (2018). Low-density, radiatively inefficient rotating-accretion flow on to a black hole. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/sty276","chicago":"Inayoshi, Kohei, Jeremiah P Ostriker, Zoltán Haiman, and Rolf Kuiper. “Low-Density, Radiatively Inefficient Rotating-Accretion Flow on to a Black Hole.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2018. https://doi.org/10.1093/mnras/sty276.","ista":"Inayoshi K, Ostriker JP, Haiman Z, Kuiper R. 2018. Low-density, radiatively inefficient rotating-accretion flow on to a black hole. Monthly Notices of the Royal Astronomical Society. 476(1), 1412–1426.","ama":"Inayoshi K, Ostriker JP, Haiman Z, Kuiper R. Low-density, radiatively inefficient rotating-accretion flow on to a black hole. Monthly Notices of the Royal Astronomical Society. 2018;476(1):1412-1426. doi:10.1093/mnras/sty276","ieee":"K. Inayoshi, J. P. Ostriker, Z. Haiman, and R. Kuiper, “Low-density, radiatively inefficient rotating-accretion flow on to a black hole,” Monthly Notices of the Royal Astronomical Society, vol. 476, no. 1. Oxford University Press, pp. 1412–1426, 2018."},"date_created":"2024-09-06T08:05:18Z","publisher":"Oxford University Press","publication":"Monthly Notices of the Royal Astronomical Society","article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/mnras/sty276"}],"volume":476,"publication_identifier":{"issn":["0035-8711","1365-2966"]},"abstract":[{"text":"We study low-density axisymmetric accretion flows onto black holes (BHs) with two-dimensional hydrodynamical simulations, adopting the α-viscosity prescription. When the gas angular momentum is low enough to form a rotationally supported disk within the Bondi radius (RB), we find a global steady accretion solution. The solution consists of a rotational equilibrium distribution at r∼RB, where the density follows ρ∝(1+RB/r)^3/2, surrounding a geometrically thick and optically thin accretion disk at the centrifugal radius, where thermal energy generated by viscosity is transported via strong convection. Physical properties of the inner solution agree with those expected in convection-dominated accretion flows (CDAF; ρ∝r^−1/2). In the inner CDAF solution, the gas inflow rate decreases towards the center due to convection (M˙∝r), and the net accretion rate (including both inflows and outflows) is strongly suppressed by several orders of magnitude from the Bondi accretion rate M˙B The net accretion rate depends on the viscous strength, following M˙/M˙B∝(α/0.01)^0.6. This solution holds for low accretion rates of M˙B/M˙Edd<10^−3 having minimal radiation cooling, where M˙Edd is the Eddington rate. In a hot plasma at the bottom (r<10^−3 RB), thermal conduction would dominate the convective energy flux. Since suppression of the accretion by convection ceases, the final BH feeding rate is found to be M˙/M˙B∼10^−3−10^−2. This rate is as low as M˙/M˙Edd∼10^−7−10^−6 inferred for SgrA∗ and the nuclear BHs in M31 and M87, and can explain the low luminosities in these sources, without invoking any feedback mechanism.","lang":"eng"}],"_id":"17679","type":"journal_article","language":[{"iso":"eng"}],"month":"02","status":"public","scopus_import":"1","issue":"1","publication_status":"published","year":"2018","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","author":[{"first_name":"Kohei","full_name":"Inayoshi, Kohei","last_name":"Inayoshi"},{"last_name":"Ostriker","full_name":"Ostriker, Jeremiah P","first_name":"Jeremiah P"},{"id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman","full_name":"Haiman, Zoltán","first_name":"Zoltán"},{"last_name":"Kuiper","first_name":"Rolf","full_name":"Kuiper, Rolf"}],"day":"01","date_published":"2018-02-01T00:00:00Z","article_processing_charge":"No","quality_controlled":"1","doi":"10.1093/mnras/sty276","title":"Low-density, radiatively inefficient rotating-accretion flow on to a black hole"},{"_id":"17687","abstract":[{"lang":"eng","text":"We propose the formation of massive pristine dark-matter (DM) halos with masses of ∼10^8 M⊙, due to the dynamical effects of frequent mergers in rare regions of the Universe with high baryonic streaming velocity relative to DM. Since the streaming motion prevents gas collapse into DM halos and delays prior star formation episodes, the gas remains metal-free until the halo virial temperatures ≳2×10^4 K. The minimum cooling mass of DM halos is boosted by a factor of ∼10−30 because frequent major mergers of halos further inhibit gas collapse. We use Monte Carlo merger trees to simulate the DM assembly history under a streaming velocity of twice the root-mean-square value, and estimate the number density of massive DM halos containing pristine gas as ≃10^−4 cMpc^−3. When the gas infall begins, efficient Lyα cooling drives cold streams penetrating inside the halo and feeding a central galactic disk. When one stream collides with the disk, strong shock forms a dense and hot gas cloud, where the gas never forms H2 molecules due to effective collisional dissociation. As a result, a massive gas cloud forms by gravitational instability and collapses directly into a massive black hole (BH) with M∙∼10^5 M⊙. Almost simultaneously, a galaxy with M⋆,tot∼10^6 M⊙ composed of Population III stars forms in the nuclear region. If the typical stellar mass is as high as ∼100 M⊙, the galaxy could be detected with the James Webb Space Telescope even at z≳15. These massive seed BHs would be fed by continuous gas accretion from the host galaxy, and grow to be bright quasars observed at z≳6."}],"type":"journal_article","language":[{"iso":"eng"}],"month":"06","status":"public","scopus_import":"1","issue":"3","oa":1,"date_updated":"2024-09-25T09:46:30Z","oa_version":"Published Version","extern":"1","page":"4017-4027","publisher":"Oxford University Press","publication":"Monthly Notices of the Royal Astronomical Society","date_created":"2024-09-06T08:22:23Z","citation":{"short":"K. Inayoshi, M. Li, Z. Haiman, Monthly Notices of the Royal Astronomical Society 479 (2018) 4017–4027.","mla":"Inayoshi, Kohei, et al. “Massive Black Hole and Population III Galaxy Formation in Overmassive Dark-Matter Haloes with Violent Merger Histories.” Monthly Notices of the Royal Astronomical Society, vol. 479, no. 3, Oxford University Press, 2018, pp. 4017–27, doi:10.1093/mnras/sty1720.","ieee":"K. Inayoshi, M. Li, and Z. Haiman, “Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories,” Monthly Notices of the Royal Astronomical Society, vol. 479, no. 3. Oxford University Press, pp. 4017–4027, 2018.","ama":"Inayoshi K, Li M, Haiman Z. Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories. Monthly Notices of the Royal Astronomical Society. 2018;479(3):4017-4027. doi:10.1093/mnras/sty1720","ista":"Inayoshi K, Li M, Haiman Z. 2018. Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories. Monthly Notices of the Royal Astronomical Society. 479(3), 4017–4027.","apa":"Inayoshi, K., Li, M., & Haiman, Z. (2018). Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/sty1720","chicago":"Inayoshi, Kohei, Miao Li, and Zoltán Haiman. “Massive Black Hole and Population III Galaxy Formation in Overmassive Dark-Matter Haloes with Violent Merger Histories.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2018. https://doi.org/10.1093/mnras/sty1720."},"intvolume":" 479","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/mnras/sty1720"}],"article_type":"original","volume":479,"publication_identifier":{"issn":["0035-8711","1365-2966"]},"doi":"10.1093/mnras/sty1720","quality_controlled":"1","title":"Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories","publication_status":"published","year":"2018","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","day":"30","author":[{"last_name":"Inayoshi","first_name":"Kohei","full_name":"Inayoshi, Kohei"},{"full_name":"Li, Miao","first_name":"Miao","last_name":"Li"},{"first_name":"Zoltán","full_name":"Haiman, Zoltán","last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36"}],"date_published":"2018-06-30T00:00:00Z","article_processing_charge":"No"},{"scopus_import":"1","file_date_updated":"2020-07-14T12:48:01Z","status":"public","language":[{"iso":"eng"}],"isi":1,"external_id":{"isi":["000475627800005"]},"month":"09","publist_id":"7978","abstract":[{"lang":"eng","text":"Consider a fully-connected synchronous distributed system consisting of n nodes, where up to f nodes may be faulty and every node starts in an arbitrary initial state. In the synchronous C-counting problem, all nodes need to eventually agree on a counter that is increased by one modulo C in each round for given C>1. In the self-stabilising firing squad problem, the task is to eventually guarantee that all non-faulty nodes have simultaneous responses to external inputs: if a subset of the correct nodes receive an external “go” signal as input, then all correct nodes should agree on a round (in the not-too-distant future) in which to jointly output a “fire” signal. Moreover, no node should generate a “fire” signal without some correct node having previously received a “go” signal as input. We present a framework reducing both tasks to binary consensus at very small cost. For example, we obtain a deterministic algorithm for self-stabilising Byzantine firing squads with optimal resilience f<n/3, asymptotically optimal stabilisation and response time O(f), and message size O(log f). As our framework does not restrict the type of consensus routines used, we also obtain efficient randomised solutions."}],"_id":"76","has_accepted_license":"1","type":"journal_article","ddc":["000"],"citation":{"ista":"Lenzen C, Rybicki J. 2018. Near-optimal self-stabilising counting and firing squads. Distributed Computing.","chicago":"Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting and Firing Squads.” Distributed Computing. Springer, 2018. https://doi.org/10.1007/s00446-018-0342-6.","apa":"Lenzen, C., & Rybicki, J. (2018). Near-optimal self-stabilising counting and firing squads. Distributed Computing. Springer. https://doi.org/10.1007/s00446-018-0342-6","ama":"Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads. Distributed Computing. 2018. doi:10.1007/s00446-018-0342-6","ieee":"C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing squads,” Distributed Computing. Springer, 2018.","mla":"Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting and Firing Squads.” Distributed Computing, Springer, 2018, doi:10.1007/s00446-018-0342-6.","short":"C. Lenzen, J. Rybicki, Distributed Computing (2018)."},"date_created":"2018-12-11T11:44:30Z","publication":"Distributed Computing","publisher":"Springer","oa_version":"Published Version","oa":1,"date_updated":"2025-04-15T06:53:15Z","file":[{"creator":"dernst","date_updated":"2020-07-14T12:48:01Z","access_level":"open_access","file_id":"5711","file_name":"2018_DistributedComputing_Lenzen.pdf","checksum":"872db70bba9b401500abe3c6ae2f1a61","content_type":"application/pdf","date_created":"2018-12-17T14:21:22Z","relation":"main_file","file_size":799337}],"department":[{"_id":"DaAl"}],"title":"Near-optimal self-stabilising counting and firing squads","quality_controlled":"1","doi":"10.1007/s00446-018-0342-6","project":[{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"corr_author":"1","article_processing_charge":"Yes (via OA deal)","author":[{"first_name":"Christoph","full_name":"Lenzen, Christoph","last_name":"Lenzen"},{"first_name":"Joel","full_name":"Rybicki, Joel","last_name":"Rybicki","orcid":"0000-0002-6432-6646","id":"334EFD2E-F248-11E8-B48F-1D18A9856A87"}],"day":"12","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_published":"2018-09-12T00:00:00Z","year":"2018","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication_status":"published"},{"author":[{"last_name":"Guo","full_name":"Guo, Jing","first_name":"Jing"},{"last_name":"Wu","full_name":"Wu, Yang","first_name":"Yang"},{"last_name":"Zhu","first_name":"Zhihong","full_name":"Zhu, Zhihong"},{"first_name":"Zhili","full_name":"Zheng, Zhili","last_name":"Zheng"},{"first_name":"Maciej","full_name":"Trzaskowski, Maciej","last_name":"Trzaskowski"},{"full_name":"Zeng, Jian","first_name":"Jian","last_name":"Zeng"},{"full_name":"Robinson, Matthew Richard","first_name":"Matthew Richard","orcid":"0000-0001-8982-8813","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","last_name":"Robinson"},{"full_name":"Visscher, Peter M.","first_name":"Peter M.","last_name":"Visscher"},{"last_name":"Yang","first_name":"Jian","full_name":"Yang, Jian"}],"day":"14","citation":{"ista":"Guo J, Wu Y, Zhu Z, Zheng Z, Trzaskowski M, Zeng J, Robinson MR, Visscher PM, Yang J. 2018. Global genetic differentiation of complex traits shaped by natural selection in humans. Nature Communications. 9, 1865.","apa":"Guo, J., Wu, Y., Zhu, Z., Zheng, Z., Trzaskowski, M., Zeng, J., … Yang, J. (2018). Global genetic differentiation of complex traits shaped by natural selection in humans. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-018-04191-y","chicago":"Guo, Jing, Yang Wu, Zhihong Zhu, Zhili Zheng, Maciej Trzaskowski, Jian Zeng, Matthew Richard Robinson, Peter M. Visscher, and Jian Yang. “Global Genetic Differentiation of Complex Traits Shaped by Natural Selection in Humans.” Nature Communications. Springer Nature, 2018. https://doi.org/10.1038/s41467-018-04191-y.","ama":"Guo J, Wu Y, Zhu Z, et al. Global genetic differentiation of complex traits shaped by natural selection in humans. Nature Communications. 2018;9. doi:10.1038/s41467-018-04191-y","ieee":"J. Guo et al., “Global genetic differentiation of complex traits shaped by natural selection in humans,” Nature Communications, vol. 9. Springer Nature, 2018.","mla":"Guo, Jing, et al. “Global Genetic Differentiation of Complex Traits Shaped by Natural Selection in Humans.” Nature Communications, vol. 9, 1865, Springer Nature, 2018, doi:10.1038/s41467-018-04191-y.","short":"J. Guo, Y. Wu, Z. Zhu, Z. Zheng, M. Trzaskowski, J. Zeng, M.R. Robinson, P.M. Visscher, J. Yang, Nature Communications 9 (2018)."},"date_created":"2020-04-30T10:41:36Z","intvolume":" 9","publication":"Nature Communications","publisher":"Springer Nature","date_published":"2018-05-14T00:00:00Z","article_type":"original","article_processing_charge":"No","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1038/s41467-018-04191-y"}],"volume":9,"publication_identifier":{"issn":["2041-1723"]},"publication_status":"published","date_updated":"2021-01-12T08:15:02Z","oa":1,"oa_version":"Published Version","year":"2018","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","title":"Global genetic differentiation of complex traits shaped by natural selection in humans","abstract":[{"text":"There are mean differences in complex traits among global human populations. We hypothesize that part of the phenotypic differentiation is due to natural selection. To address this hypothesis, we assess the differentiation in allele frequencies of trait-associated SNPs among African, Eastern Asian, and European populations for ten complex traits using data of large sample size (up to ~405,000). We show that SNPs associated with height (P=2.46×10−5), waist-to-hip ratio (P=2.77×10−4), and schizophrenia (P=3.96×10−5) are significantly more differentiated among populations than matched “control” SNPs, suggesting that these trait-associated SNPs have undergone natural selection. We further find that SNPs associated with height (P=2.01×10−6) and schizophrenia (P=5.16×10−18) show significantly higher variance in linkage disequilibrium (LD) scores across populations than control SNPs. Our results support the hypothesis that natural selection has shaped the genetic differentiation of complex traits, such as height and schizophrenia, among worldwide populations.","lang":"eng"}],"_id":"7713","quality_controlled":"1","doi":"10.1038/s41467-018-04191-y","type":"journal_article","language":[{"iso":"eng"}],"article_number":"1865","month":"05"},{"oa":1,"date_updated":"2021-01-12T08:15:03Z","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","oa_version":"Published Version","year":"2018","intvolume":" 9","citation":{"mla":"Maier, Robert M., et al. “Improving Genetic Prediction by Leveraging Genetic Correlations among Human Diseases and Traits.” Nature Communications, vol. 9, 989, Springer Nature, 2018, doi:10.1038/s41467-017-02769-6.","short":"R.M. Maier, Z. Zhu, S.H. Lee, M. Trzaskowski, D.M. Ruderfer, E.A. Stahl, S. Ripke, N.R. Wray, J. Yang, P.M. Visscher, M.R. Robinson, Nature Communications 9 (2018).","chicago":"Maier, Robert M., Zhihong Zhu, Sang Hong Lee, Maciej Trzaskowski, Douglas M. Ruderfer, Eli A. Stahl, Stephan Ripke, et al. “Improving Genetic Prediction by Leveraging Genetic Correlations among Human Diseases and Traits.” Nature Communications. Springer Nature, 2018. https://doi.org/10.1038/s41467-017-02769-6.","apa":"Maier, R. M., Zhu, Z., Lee, S. H., Trzaskowski, M., Ruderfer, D. M., Stahl, E. A., … Robinson, M. R. (2018). Improving genetic prediction by leveraging genetic correlations among human diseases and traits. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-017-02769-6","ista":"Maier RM, Zhu Z, Lee SH, Trzaskowski M, Ruderfer DM, Stahl EA, Ripke S, Wray NR, Yang J, Visscher PM, Robinson MR. 2018. Improving genetic prediction by leveraging genetic correlations among human diseases and traits. Nature Communications. 9, 989.","ieee":"R. M. Maier et al., “Improving genetic prediction by leveraging genetic correlations among human diseases and traits,” Nature Communications, vol. 9. Springer Nature, 2018.","ama":"Maier RM, Zhu Z, Lee SH, et al. Improving genetic prediction by leveraging genetic correlations among human diseases and traits. Nature Communications. 2018;9. doi:10.1038/s41467-017-02769-6"},"date_created":"2020-04-30T10:42:29Z","publisher":"Springer Nature","date_published":"2018-03-07T00:00:00Z","publication":"Nature Communications","author":[{"full_name":"Maier, Robert M.","first_name":"Robert M.","last_name":"Maier"},{"full_name":"Zhu, Zhihong","first_name":"Zhihong","last_name":"Zhu"},{"last_name":"Lee","first_name":"Sang Hong","full_name":"Lee, Sang Hong"},{"first_name":"Maciej","full_name":"Trzaskowski, Maciej","last_name":"Trzaskowski"},{"first_name":"Douglas M.","full_name":"Ruderfer, Douglas M.","last_name":"Ruderfer"},{"first_name":"Eli A.","full_name":"Stahl, Eli A.","last_name":"Stahl"},{"full_name":"Ripke, Stephan","first_name":"Stephan","last_name":"Ripke"},{"first_name":"Naomi R.","full_name":"Wray, Naomi R.","last_name":"Wray"},{"last_name":"Yang","first_name":"Jian","full_name":"Yang, Jian"},{"first_name":"Peter M.","full_name":"Visscher, Peter M.","last_name":"Visscher"},{"first_name":"Matthew Richard","full_name":"Robinson, Matthew Richard","last_name":"Robinson","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","orcid":"0000-0001-8982-8813"}],"day":"07","publication_identifier":{"issn":["2041-1723"]},"volume":9,"article_type":"original","article_processing_charge":"No","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1038/s41467-017-02769-6"}],"quality_controlled":"1","type":"journal_article","doi":"10.1038/s41467-017-02769-6","abstract":[{"text":"Genomic prediction has the potential to contribute to precision medicine. However, to date, the utility of such predictors is limited due to low accuracy for most traits. Here theory and simulation study are used to demonstrate that widespread pleiotropy among phenotypes can be utilised to improve genomic risk prediction. We show how a genetic predictor can be created as a weighted index that combines published genome-wide association study (GWAS) summary statistics across many different traits. We apply this framework to predict risk of schizophrenia and bipolar disorder in the Psychiatric Genomics consortium data, finding substantial heterogeneity in prediction accuracy increases across cohorts. For six additional phenotypes in the UK Biobank data, we find increases in prediction accuracy ranging from 0.7% for height to 47% for type 2 diabetes, when using a multi-trait predictor that combines published summary statistics from multiple traits, as compared to a predictor based only on one trait.","lang":"eng"}],"_id":"7716","month":"03","language":[{"iso":"eng"}],"article_number":"989","title":"Improving genetic prediction by leveraging genetic correlations among human diseases and traits","status":"public"},{"month":"04","language":[{"iso":"eng"}],"doi":"10.1038/s41588-018-0101-4","type":"journal_article","quality_controlled":"1","_id":"7722","abstract":[{"text":"We develop a Bayesian mixed linear model that simultaneously estimates single-nucleotide polymorphism (SNP)-based heritability, polygenicity (proportion of SNPs with nonzero effects), and the relationship between SNP effect size and minor allele frequency for complex traits in conventionally unrelated individuals using genome-wide SNP data. We apply the method to 28 complex traits in the UK Biobank data (N = 126,752) and show that on average, 6% of SNPs have nonzero effects, which in total explain 22% of phenotypic variance. We detect significant (P < 0.05/28) signatures of natural selection in the genetic architecture of 23 traits, including reproductive, cardiovascular, and anthropometric traits, as well as educational attainment. The significant estimates of the relationship between effect size and minor allele frequency in complex traits are consistent with a model of negative (or purifying) selection, as confirmed by forward simulation. We conclude that negative selection acts pervasively on the genetic variants associated with human complex traits.","lang":"eng"}],"issue":"5","status":"public","title":"Signatures of negative selection in the genetic architecture of human complex traits","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","oa_version":"None","year":"2018","date_updated":"2021-01-12T08:15:06Z","publication_status":"published","volume":50,"publication_identifier":{"issn":["1061-4036","1546-1718"]},"article_processing_charge":"No","article_type":"original","publisher":"Springer Nature","date_published":"2018-04-16T00:00:00Z","publication":"Nature Genetics","citation":{"mla":"Zeng, Jian, et al. “Signatures of Negative Selection in the Genetic Architecture of Human Complex Traits.” Nature Genetics, vol. 50, no. 5, Springer Nature, 2018, pp. 746–53, doi:10.1038/s41588-018-0101-4.","short":"J. Zeng, R. de Vlaming, Y. Wu, M.R. Robinson, L.R. Lloyd-Jones, L. Yengo, C.X. Yap, A. Xue, J. Sidorenko, A.F. McRae, J.E. Powell, G.W. Montgomery, A. Metspalu, T. Esko, G. Gibson, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 50 (2018) 746–753.","ista":"Zeng J, de Vlaming R, Wu Y, Robinson MR, Lloyd-Jones LR, Yengo L, Yap CX, Xue A, Sidorenko J, McRae AF, Powell JE, Montgomery GW, Metspalu A, Esko T, Gibson G, Wray NR, Visscher PM, Yang J. 2018. Signatures of negative selection in the genetic architecture of human complex traits. Nature Genetics. 50(5), 746–753.","apa":"Zeng, J., de Vlaming, R., Wu, Y., Robinson, M. R., Lloyd-Jones, L. R., Yengo, L., … Yang, J. (2018). Signatures of negative selection in the genetic architecture of human complex traits. Nature Genetics. Springer Nature. https://doi.org/10.1038/s41588-018-0101-4","chicago":"Zeng, Jian, Ronald de Vlaming, Yang Wu, Matthew Richard Robinson, Luke R. Lloyd-Jones, Loic Yengo, Chloe X. Yap, et al. “Signatures of Negative Selection in the Genetic Architecture of Human Complex Traits.” Nature Genetics. Springer Nature, 2018. https://doi.org/10.1038/s41588-018-0101-4.","ama":"Zeng J, de Vlaming R, Wu Y, et al. Signatures of negative selection in the genetic architecture of human complex traits. Nature Genetics. 2018;50(5):746-753. doi:10.1038/s41588-018-0101-4","ieee":"J. Zeng et al., “Signatures of negative selection in the genetic architecture of human complex traits,” Nature Genetics, vol. 50, no. 5. Springer Nature, pp. 746–753, 2018."},"date_created":"2020-04-30T10:44:57Z","intvolume":" 50","day":"16","author":[{"last_name":"Zeng","full_name":"Zeng, Jian","first_name":"Jian"},{"full_name":"de Vlaming, Ronald","first_name":"Ronald","last_name":"de Vlaming"},{"first_name":"Yang","full_name":"Wu, Yang","last_name":"Wu"},{"id":"E5D42276-F5DA-11E9-8E24-6303E6697425","orcid":"0000-0001-8982-8813","last_name":"Robinson","full_name":"Robinson, Matthew Richard","first_name":"Matthew Richard"},{"last_name":"Lloyd-Jones","first_name":"Luke R.","full_name":"Lloyd-Jones, Luke R."},{"last_name":"Yengo","first_name":"Loic","full_name":"Yengo, Loic"},{"first_name":"Chloe X.","full_name":"Yap, Chloe X.","last_name":"Yap"},{"full_name":"Xue, Angli","first_name":"Angli","last_name":"Xue"},{"first_name":"Julia","full_name":"Sidorenko, Julia","last_name":"Sidorenko"},{"last_name":"McRae","first_name":"Allan F.","full_name":"McRae, Allan F."},{"first_name":"Joseph E.","full_name":"Powell, Joseph E.","last_name":"Powell"},{"last_name":"Montgomery","first_name":"Grant W.","full_name":"Montgomery, Grant W."},{"last_name":"Metspalu","full_name":"Metspalu, Andres","first_name":"Andres"},{"first_name":"Tonu","full_name":"Esko, Tonu","last_name":"Esko"},{"last_name":"Gibson","full_name":"Gibson, Greg","first_name":"Greg"},{"first_name":"Naomi R.","full_name":"Wray, Naomi R.","last_name":"Wray"},{"last_name":"Visscher","first_name":"Peter M.","full_name":"Visscher, Peter M."},{"first_name":"Jian","full_name":"Yang, Jian","last_name":"Yang"}],"page":"746-753"},{"month":"08","isi":1,"external_id":{"isi":["000884993200013"]},"language":[{"iso":"eng"}],"type":"conference","has_accepted_license":"1","_id":"78","abstract":[{"lang":"eng","text":"We provide a procedure for detecting the sub-segments of an incrementally observed Boolean signal ω that match a given temporal pattern ϕ. As a pattern specification language, we use timed regular expressions, a formalism well-suited for expressing properties of concurrent asynchronous behaviors embedded in metric time. We construct a timed automaton accepting the timed language denoted by ϕ and modify it slightly for the purpose of matching. We then apply zone-based reachability computation to this automaton while it reads ω, and retrieve all the matching segments from the results. Since the procedure is automaton based, it can be applied to patterns specified by other formalisms such as timed temporal logics reducible to timed automata or directly encoded as timed automata. The procedure has been implemented and its performance on synthetic examples is demonstrated."}],"publist_id":"7976","conference":{"start_date":"2018-09-04","end_date":"2018-09-06","location":"Bejing, China","name":"FORMATS: Formal Modeling and Analysis of Timed Systems"},"scopus_import":"1","file_date_updated":"2020-07-14T12:48:03Z","status":"public","alternative_title":["LNCS"],"oa_version":"Submitted Version","date_updated":"2025-04-15T06:26:03Z","oa":1,"volume":11022,"publication_identifier":{"isbn":["978-3-030-00150-6"]},"publisher":"Springer","ddc":["000"],"date_created":"2018-12-11T11:44:31Z","citation":{"short":"A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.","mla":"Bakhirkin, Alexey, et al. Online Timed Pattern Matching Using Automata. Vol. 11022, Springer, 2018, pp. 215–32, doi:10.1007/978-3-030-00151-3_13.","ieee":"A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed pattern matching using automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.","ama":"Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. Online timed pattern matching using automata. In: Vol 11022. Springer; 2018:215-232. doi:10.1007/978-3-030-00151-3_13","ista":"Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. 2018. Online timed pattern matching using automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11022, 215–232.","chicago":"Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene Asarin. “Online Timed Pattern Matching Using Automata,” 11022:215–32. Springer, 2018. https://doi.org/10.1007/978-3-030-00151-3_13.","apa":"Bakhirkin, A., Ferrere, T., Nickovic, D., Maler, O., & Asarin, E. (2018). Online timed pattern matching using automata (Vol. 11022, pp. 215–232). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China: Springer. https://doi.org/10.1007/978-3-030-00151-3_13"},"intvolume":" 11022","page":"215 - 232","project":[{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF"},{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems"}],"doi":"10.1007/978-3-030-00151-3_13","quality_controlled":"1","file":[{"file_size":374851,"checksum":"436b7574934324cfa7d1d3986fddc65b","content_type":"application/pdf","date_created":"2020-05-14T11:34:34Z","relation":"main_file","access_level":"open_access","file_id":"7831","file_name":"2018_LNCS_Bakhirkin.pdf","creator":"dernst","date_updated":"2020-07-14T12:48:03Z"}],"title":"Online timed pattern matching using automata","department":[{"_id":"ToHe"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","year":"2018","publication_status":"published","article_processing_charge":"No","date_published":"2018-08-26T00:00:00Z","day":"26","author":[{"last_name":"Bakhirkin","full_name":"Bakhirkin, Alexey","first_name":"Alexey"},{"full_name":"Ferrere, Thomas","first_name":"Thomas","orcid":"0000-0001-5199-3143","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere"},{"last_name":"Nickovic","full_name":"Nickovic, Dejan","first_name":"Dejan"},{"full_name":"Maler, Oded","first_name":"Oded","last_name":"Maler"},{"last_name":"Asarin","full_name":"Asarin, Eugene","first_name":"Eugene"}]},{"file":[{"file_id":"7222","access_level":"open_access","file_name":"2018_Springer_Akopyan.pdf","creator":"kschuh","date_updated":"2020-07-14T12:47:44Z","file_size":1140860,"checksum":"1febcfc1266486053a069e3425ea3713","content_type":"application/pdf","date_created":"2020-01-03T11:35:08Z","relation":"main_file"}],"department":[{"_id":"HeEd"}],"title":"3-Webs generated by confocal conics and circles","quality_controlled":"1","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"}],"doi":"10.1007/s10711-017-0265-6","corr_author":"1","article_processing_charge":"Yes (via OA deal)","author":[{"full_name":"Akopyan, Arseniy","first_name":"Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2548-617X","last_name":"Akopyan"}],"day":"01","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_published":"2018-06-01T00:00:00Z","year":"2018","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","publication_status":"published","scopus_import":"1","file_date_updated":"2020-07-14T12:47:44Z","issue":"1","status":"public","isi":1,"language":[{"iso":"eng"}],"external_id":{"isi":["000431418800004"]},"month":"06","abstract":[{"lang":"eng","text":"We consider families of confocal conics and two pencils of Apollonian circles having the same foci. We will show that these families of curves generate trivial 3-webs and find the exact formulas describing them."}],"publist_id":"7014","_id":"692","has_accepted_license":"1","type":"journal_article","article_type":"original","volume":194,"ec_funded":1,"page":"55 - 64","citation":{"ista":"Akopyan A. 2018. 3-Webs generated by confocal conics and circles. Geometriae Dedicata. 194(1), 55–64.","chicago":"Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” Geometriae Dedicata. Springer, 2018. https://doi.org/10.1007/s10711-017-0265-6.","apa":"Akopyan, A. (2018). 3-Webs generated by confocal conics and circles. Geometriae Dedicata. Springer. https://doi.org/10.1007/s10711-017-0265-6","ama":"Akopyan A. 3-Webs generated by confocal conics and circles. Geometriae Dedicata. 2018;194(1):55-64. doi:10.1007/s10711-017-0265-6","ieee":"A. Akopyan, “3-Webs generated by confocal conics and circles,” Geometriae Dedicata, vol. 194, no. 1. Springer, pp. 55–64, 2018.","mla":"Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” Geometriae Dedicata, vol. 194, no. 1, Springer, 2018, pp. 55–64, doi:10.1007/s10711-017-0265-6.","short":"A. Akopyan, Geometriae Dedicata 194 (2018) 55–64."},"ddc":["510"],"date_created":"2018-12-11T11:47:57Z","intvolume":" 194","publication":"Geometriae Dedicata","publisher":"Springer","oa_version":"Published Version","date_updated":"2025-04-15T06:50:29Z","oa":1},{"quality_controlled":"1","doi":"10.1093/mnras/stx2061","title":"Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population","publication_status":"published","year":"2017","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"id":"7439a258-f3c0-11ec-9501-9df22fe06720","orcid":"0000-0003-2871-127X","last_name":"Matthee","full_name":"Matthee, Jorryt J","first_name":"Jorryt J"},{"first_name":"David","full_name":"Sobral, David","last_name":"Sobral"},{"first_name":"Behnam","full_name":"Darvish, Behnam","last_name":"Darvish"},{"full_name":"Santos, Sérgio","first_name":"Sérgio","last_name":"Santos"},{"last_name":"Mobasher","full_name":"Mobasher, Bahram","first_name":"Bahram"},{"first_name":"Ana","full_name":"Paulino-Afonso, Ana","last_name":"Paulino-Afonso"},{"full_name":"Röttgering, Huub","first_name":"Huub","last_name":"Röttgering"},{"full_name":"Alegre, Lara","first_name":"Lara","last_name":"Alegre"}],"day":"01","date_published":"2017-11-01T00:00:00Z","arxiv":1,"article_processing_charge":"No","abstract":[{"lang":"eng","text":"We present spectroscopic follow-up of candidate luminous Ly α emitters (LAEs) at z = 5.7–6.6 in the SA22 field with VLT/X-SHOOTER. We confirm two new luminous LAEs at z = 5.676 (SR6) and z = 6.532 (VR7), and also present HST follow-up of both sources. These sources have luminosities LLy α ≈ 3 × 1043 erg s−1, very high rest-frame equivalent widths of EW0 ≳ 200 Å and narrow Ly α lines (200–340 km s−1). VR7 is the most UV-luminous LAE at z > 6.5, with M1500 = −22.5, even brighter in the UV than CR7. Besides Ly α, we do not detect any other rest-frame UV lines in the spectra of SR6 and VR7, and argue that rest-frame UV lines are easier to observe in bright galaxies with low Ly α equivalent widths. We confirm that Ly α line widths increase with Ly α luminosity at z = 5.7, while there are indications that Ly α lines of faint LAEs become broader at z = 6.6, potentially due to reionization. We find a large spread of up to 3 dex in UV luminosity for >L⋆ LAEs, but find that the Ly α luminosity of the brightest LAEs is strongly related to UV luminosity at z = 6.6. Under basic assumptions, we find that several LAEs at z ≈ 6–7 have Ly α escape fractions ≳ 100 per cent, indicating bursty star formation histories, alternative Ly α production mechanisms, or dust attenuating Ly α emission differently than UV emission. Finally, we present a method to compute ξion, the production efficiency of ionizing photons, and find that LAEs at z ≈ 6–7 have high values of log10(ξion/Hz erg−1) ≈ 25.51 ± 0.09 that may alleviate the need for high Lyman-Continuum escape fractions required for reionization."}],"_id":"11572","type":"journal_article","external_id":{"arxiv":["1706.06591"]},"language":[{"iso":"eng"}],"month":"11","keyword":["Space and Planetary Science","Astronomy and Astrophysics","galaxies: evolution – galaxies: high-redshift","dark ages","reionization","first stars","cosmology: observations"],"status":"public","acknowledgement":"We thank the referee for a constructive report that has improved the quality and clarity of this work. The authors thank Grecco Oyarzún for discussions. JM acknowledges the support of a Huygens PhD fellowship from Leiden University. DS acknowledges financial support from the Netherlands Organisation for Scientific research (NWO) through a Veni fellowship and from Lancaster University through an Early Career Internal Grant A100679. BD acknowledges financial support from NASA through the Astrophysics Data Analysis Program (ADAP), grant number NNX12AE20G. We thank Kasper Schmidt for providing measurements. Based on observations with the W.M. Keck Observatory through programme C267D. The W.M. Keck Observatory is operated as a scientific partnership amongst the California Institute of Technology, the University of California and the National Aeronautics and Space Administration. Based on observations made with ESO Telescopes at the La Silla Paranal Observatory under programme IDs 097.A-0943, 294.A 5018 and 098.A-0819 and on data products produced by TERAPIX and the Cambridge Astronomy Survey Unit on behalf of the UltraVISTA consortium. The authors acknowledge the award of observing time (W16AN004) and of service time (SW2014b20) on the William Herschel Telescope (WHT). WHT and its service programme are operated on the island of La Palma by the Isaac Newton Group in the Spanish Observatorio del Roque de los Muchachos of the Instituto de Astrofisica de Canarias. Based on observations made with the NASA/ESA HST, obtained (from the Data Archive) at the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-26555. These observations are associated with programme #14699. We are grateful for the excellent data sets from the COSMOS, UltraVISTA, SXDS, UDS and CFHTLS survey teams; without these legacy surveys, this research would have been impossible. We have benefited from the public available programming language PYTHON, including the NUMPY, MATPLOTLIB, PYFITS, SCIPY and ASTROPY packages, the astronomical imaging tools SEXTRACTOR, SWARP and SCAMP and the TOPCAT analysis tool (Taylor 2013).","scopus_import":"1","issue":"1","oa":1,"date_updated":"2024-10-14T11:36:26Z","oa_version":"Preprint","extern":"1","page":"772-787","citation":{"mla":"Matthee, Jorryt J., et al. “Spectroscopic Properties of Luminous Ly α Emitters at z ≈ 6–7 and Comparison to the Lyman-Break Population.” Monthly Notices of the Royal Astronomical Society, vol. 472, no. 1, Oxford University Press, 2017, pp. 772–87, doi:10.1093/mnras/stx2061.","short":"J.J. Matthee, D. Sobral, B. Darvish, S. Santos, B. Mobasher, A. Paulino-Afonso, H. Röttgering, L. Alegre, Monthly Notices of the Royal Astronomical Society 472 (2017) 772–787.","apa":"Matthee, J. J., Sobral, D., Darvish, B., Santos, S., Mobasher, B., Paulino-Afonso, A., … Alegre, L. (2017). Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stx2061","chicago":"Matthee, Jorryt J, David Sobral, Behnam Darvish, Sérgio Santos, Bahram Mobasher, Ana Paulino-Afonso, Huub Röttgering, and Lara Alegre. “Spectroscopic Properties of Luminous Ly α Emitters at z ≈ 6–7 and Comparison to the Lyman-Break Population.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2017. https://doi.org/10.1093/mnras/stx2061.","ista":"Matthee JJ, Sobral D, Darvish B, Santos S, Mobasher B, Paulino-Afonso A, Röttgering H, Alegre L. 2017. Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population. Monthly Notices of the Royal Astronomical Society. 472(1), 772–787.","ieee":"J. J. Matthee et al., “Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population,” Monthly Notices of the Royal Astronomical Society, vol. 472, no. 1. Oxford University Press, pp. 772–787, 2017.","ama":"Matthee JJ, Sobral D, Darvish B, et al. Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population. Monthly Notices of the Royal Astronomical Society. 2017;472(1):772-787. doi:10.1093/mnras/stx2061"},"date_created":"2022-07-13T09:47:39Z","intvolume":" 472","publisher":"Oxford University Press","publication":"Monthly Notices of the Royal Astronomical Society","article_type":"original","main_file_link":[{"url":"https://arxiv.org/abs/1706.06591","open_access":"1"}],"volume":472,"publication_identifier":{"issn":["0035-8711"],"eissn":["1365-2966"]}},{"month":"08","isi":1,"language":[{"iso":"eng"}],"external_id":{"isi":["000407973200004"]},"type":"journal_article","has_accepted_license":"1","_id":"1168","abstract":[{"text":"Optimum experimental design theory has recently been extended for parameter estimation in copula models. The use of these models allows one to gain in flexibility by considering the model parameter set split into marginal and dependence parameters. However, this separation also leads to the natural issue of estimating only a subset of all model parameters. In this work, we treat this problem with the application of the (Formula presented.)-optimality to copula models. First, we provide an extension of the corresponding equivalence theory. Then, we analyze a wide range of flexible copula models to highlight the usefulness of (Formula presented.)-optimality in many possible scenarios. Finally, we discuss how the usage of the introduced design criterion also relates to the more general issue of copula selection and optimal design for model discrimination.","lang":"eng"}],"publist_id":"6189","issue":"3","scopus_import":"1","file_date_updated":"2020-07-14T12:44:37Z","acknowledgement":"This work has been supported by the project ANR-2011-IS01-001-01 “DESIRE” and Austrian Science Fund (FWF) I833-N18. Open access funding is provided by the Austrian Science Fund (FWF). ","status":"public","oa_version":"Submitted Version","oa":1,"date_updated":"2024-10-09T20:57:17Z","volume":26,"publisher":"Springer","publication":"Statistical Methods and Applications","intvolume":" 26","citation":{"apa":"Perrone, E., Rappold, A., & Müller, W. (2017). D inf s optimality in copula models. Statistical Methods and Applications. Springer. https://doi.org/10.1007/s10260-016-0375-6","chicago":"Perrone, Elisa, Andreas Rappold, and Werner Müller. “D Inf s Optimality in Copula Models.” Statistical Methods and Applications. Springer, 2017. https://doi.org/10.1007/s10260-016-0375-6.","ista":"Perrone E, Rappold A, Müller W. 2017. D inf s optimality in copula models. Statistical Methods and Applications. 26(3), 403–418.","ieee":"E. Perrone, A. Rappold, and W. Müller, “D inf s optimality in copula models,” Statistical Methods and Applications, vol. 26, no. 3. Springer, pp. 403–418, 2017.","ama":"Perrone E, Rappold A, Müller W. D inf s optimality in copula models. Statistical Methods and Applications. 2017;26(3):403-418. doi:10.1007/s10260-016-0375-6","mla":"Perrone, Elisa, et al. “D Inf s Optimality in Copula Models.” Statistical Methods and Applications, vol. 26, no. 3, Springer, 2017, pp. 403–18, doi:10.1007/s10260-016-0375-6.","short":"E. Perrone, A. Rappold, W. Müller, Statistical Methods and Applications 26 (2017) 403–418."},"ddc":["519"],"date_created":"2018-12-11T11:50:31Z","page":"403 - 418","doi":"10.1007/s10260-016-0375-6","quality_controlled":"1","file":[{"creator":"system","date_updated":"2020-07-14T12:44:37Z","file_name":"IST-2017-739-v1+2_10260_2016_375_MOESM1_ESM.pdf","file_id":"5199","access_level":"open_access","content_type":"application/pdf","checksum":"0b2d1b647ca96e9ef13a14b8b6775e0f","relation":"main_file","date_created":"2018-12-12T10:16:13Z","file_size":56664},{"file_size":688953,"date_created":"2018-12-12T10:16:14Z","relation":"main_file","checksum":"3321ef34e02e28acfc427f77cf32812a","content_type":"application/pdf","access_level":"open_access","file_id":"5200","file_name":"IST-2017-739-v1+3_s10260-016-0375-6.pdf","date_updated":"2020-07-14T12:44:37Z","creator":"system"}],"title":"D inf s optimality in copula models","department":[{"_id":"CaUh"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","year":"2017","publication_status":"published","article_processing_charge":"No","corr_author":"1","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_published":"2017-08-01T00:00:00Z","day":"01","pubrep_id":"739","author":[{"first_name":"Elisa","full_name":"Perrone, Elisa","last_name":"Perrone","orcid":"0000-0003-0370-9835","id":"2A5F8724-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Rappold","full_name":"Rappold, Andreas","first_name":"Andreas"},{"full_name":"Müller, Werner","first_name":"Werner","last_name":"Müller"}]},{"oa_version":"Published Version","date_updated":"2025-07-10T11:50:22Z","oa":1,"volume":349,"publication_identifier":{"issn":["0010-3616"]},"page":"947 - 990","ec_funded":1,"publication":"Communications in Mathematical Physics","publisher":"Springer","intvolume":" 349","ddc":["530"],"date_created":"2018-12-11T11:50:43Z","citation":{"ista":"Bao Z, Erdös L, Schnelli K. 2017. Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. 349(3), 947–990.","chicago":"Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Law of Addition of Random Matrices on Optimal Scale.” Communications in Mathematical Physics. Springer, 2017. https://doi.org/10.1007/s00220-016-2805-6.","apa":"Bao, Z., Erdös, L., & Schnelli, K. (2017). Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-016-2805-6","ieee":"Z. Bao, L. Erdös, and K. Schnelli, “Local law of addition of random matrices on optimal scale,” Communications in Mathematical Physics, vol. 349, no. 3. Springer, pp. 947–990, 2017.","ama":"Bao Z, Erdös L, Schnelli K. Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. 2017;349(3):947-990. doi:10.1007/s00220-016-2805-6","mla":"Bao, Zhigang, et al. “Local Law of Addition of Random Matrices on Optimal Scale.” Communications in Mathematical Physics, vol. 349, no. 3, Springer, 2017, pp. 947–90, doi:10.1007/s00220-016-2805-6.","short":"Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990."},"isi":1,"language":[{"iso":"eng"}],"external_id":{"isi":["000393696700005"]},"month":"02","has_accepted_license":"1","_id":"1207","abstract":[{"text":"The eigenvalue distribution of the sum of two large Hermitian matrices, when one of them is conjugated by a Haar distributed unitary matrix, is asymptotically given by the free convolution of their spectral distributions. We prove that this convergence also holds locally in the bulk of the spectrum, down to the optimal scales larger than the eigenvalue spacing. The corresponding eigenvectors are fully delocalized. Similar results hold for the sum of two real symmetric matrices, when one is conjugated by Haar orthogonal matrix.","lang":"eng"}],"publist_id":"6141","type":"journal_article","file_date_updated":"2020-07-14T12:44:39Z","scopus_import":"1","issue":"3","status":"public","year":"2017","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","article_processing_charge":"Yes (via OA deal)","day":"01","pubrep_id":"722","author":[{"first_name":"Zhigang","full_name":"Bao, Zhigang","last_name":"Bao","id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3036-1475"},{"first_name":"László","full_name":"Erdös, László","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603"},{"last_name":"Schnelli","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0954-3231","first_name":"Kevin","full_name":"Schnelli, Kevin"}],"date_published":"2017-02-01T00:00:00Z","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"project":[{"name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804"}],"doi":"10.1007/s00220-016-2805-6","quality_controlled":"1","file":[{"content_type":"application/pdf","checksum":"ddff79154c3daf27237de5383b1264a9","relation":"main_file","date_created":"2018-12-12T10:14:47Z","file_size":1033743,"creator":"system","date_updated":"2020-07-14T12:44:39Z","file_name":"IST-2016-722-v1+1_s00220-016-2805-6.pdf","file_id":"5102","access_level":"open_access"}],"department":[{"_id":"LaEr"}],"title":"Local law of addition of random matrices on optimal scale"}]