[{"scopus_import":"1","publist_id":"8050","publisher":"MyJove Corporation","year":"2018","_id":"6","volume":141,"date_updated":"2026-08-12T14:10:17Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.3791/58585","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"}],"department":[{"_id":"MaJö"}],"status":"public","date_created":"2018-12-11T11:44:07Z","external_id":{"isi":["000456469400103"]},"month":"11","day":"08","title":"A micro-CT-based method for characterising lesions and locating electrodes in small animal brains","oa_version":"None","language":[{"iso":"eng"}],"intvolume":" 141","citation":{"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","short":"J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments 141 (2018).","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.","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.","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.","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","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."},"isi":1,"article_processing_charge":"No","quality_controlled":"1","author":[{"last_name":"Masís","full_name":"Masís, Javier","first_name":"Javier"},{"last_name":"Mankus","first_name":"David","full_name":"Mankus, David"},{"first_name":"Steffen","full_name":"Wolff, Steffen","last_name":"Wolff"},{"full_name":"Guitchounts, Grigori","first_name":"Grigori","last_name":"Guitchounts"},{"orcid":"0000-0002-3937-1330","full_name":"Jösch, Maximilian A","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87","first_name":"Maximilian A","last_name":"Jösch"},{"full_name":"Cox, David","first_name":"David","last_name":"Cox"}],"date_published":"2018-11-08T00:00:00Z","type":"journal_article","publication_status":"published","publication":"Journal of Visualized Experiments"},{"quality_controlled":"1","intvolume":" 472","citation":{"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.","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","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.","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","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.","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.","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."},"publication_status":"published","publication":"Monthly Notices of the Royal Astronomical Society","date_published":"2017-11-01T00:00:00Z","oa":1,"page":"772-787","type":"journal_article","_id":"11572","date_updated":"2024-10-14T11:36:26Z","scopus_import":"1","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).","publication_identifier":{"eissn":["1365-2966"],"issn":["0035-8711"]},"day":"01","oa_version":"Preprint","arxiv":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","abstract":[{"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.","lang":"eng"}],"external_id":{"arxiv":["1706.06591"]},"date_created":"2022-07-13T09:47:39Z","article_processing_charge":"No","author":[{"id":"7439a258-f3c0-11ec-9501-9df22fe06720","first_name":"Jorryt J","orcid":"0000-0003-2871-127X","full_name":"Matthee, Jorryt J","last_name":"Matthee"},{"last_name":"Sobral","full_name":"Sobral, David","first_name":"David"},{"last_name":"Darvish","full_name":"Darvish, Behnam","first_name":"Behnam"},{"first_name":"Sérgio","full_name":"Santos, Sérgio","last_name":"Santos"},{"full_name":"Mobasher, Bahram","first_name":"Bahram","last_name":"Mobasher"},{"full_name":"Paulino-Afonso, Ana","first_name":"Ana","last_name":"Paulino-Afonso"},{"last_name":"Röttgering","full_name":"Röttgering, Huub","first_name":"Huub"},{"last_name":"Alegre","full_name":"Alegre, Lara","first_name":"Lara"}],"issue":"1","volume":472,"year":"2017","publisher":"Oxford University Press","extern":"1","month":"11","language":[{"iso":"eng"}],"title":"Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population","keyword":["Space and Planetary Science","Astronomy and Astrophysics","galaxies: evolution – galaxies: high-redshift","dark ages","reionization","first stars","cosmology: observations"],"main_file_link":[{"url":"https://arxiv.org/abs/1706.06591","open_access":"1"}],"doi":"10.1093/mnras/stx2061","status":"public"},{"issue":"3","author":[{"first_name":"Elisa","id":"2A5F8724-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0370-9835","full_name":"Perrone, Elisa","last_name":"Perrone"},{"last_name":"Rappold","first_name":"Andreas","full_name":"Rappold, Andreas"},{"full_name":"Müller, Werner","first_name":"Werner","last_name":"Müller"}],"article_processing_charge":"No","pubrep_id":"739","year":"2017","publisher":"Springer","volume":26,"status":"public","doi":"10.1007/s10260-016-0375-6","department":[{"_id":"CaUh"}],"has_accepted_license":"1","title":"D inf s optimality in copula models","language":[{"iso":"eng"}],"month":"08","corr_author":"1","citation":{"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.","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.","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","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","short":"E. Perrone, A. Rappold, W. Müller, Statistical Methods and Applications 26 (2017) 403–418."},"isi":1,"intvolume":" 26","quality_controlled":"1","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"page":"403 - 418","type":"journal_article","oa":1,"date_published":"2017-08-01T00:00:00Z","publication":"Statistical Methods and Applications","publication_status":"published","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). ","publist_id":"6189","license":"https://creativecommons.org/licenses/by/4.0/","scopus_import":"1","date_updated":"2024-10-09T20:57:17Z","file_date_updated":"2020-07-14T12:44:37Z","file":[{"checksum":"0b2d1b647ca96e9ef13a14b8b6775e0f","access_level":"open_access","date_created":"2018-12-12T10:16:13Z","relation":"main_file","file_name":"IST-2017-739-v1+2_10260_2016_375_MOESM1_ESM.pdf","date_updated":"2020-07-14T12:44:37Z","content_type":"application/pdf","file_id":"5199","file_size":56664,"creator":"system"},{"file_size":688953,"creator":"system","date_updated":"2020-07-14T12:44:37Z","content_type":"application/pdf","file_id":"5200","date_created":"2018-12-12T10:16:14Z","file_name":"IST-2017-739-v1+3_s10260-016-0375-6.pdf","relation":"main_file","checksum":"3321ef34e02e28acfc427f77cf32812a","access_level":"open_access"}],"_id":"1168","date_created":"2018-12-11T11:50:31Z","external_id":{"isi":["000407973200004"]},"ddc":["519"],"abstract":[{"lang":"eng","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."}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Submitted Version","day":"01"},{"quality_controlled":"1","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"intvolume":" 349","isi":1,"citation":{"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.","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.","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.","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"},"publication_status":"published","publication":"Communications in Mathematical Physics","oa":1,"date_published":"2017-02-01T00:00:00Z","page":"947 - 990","type":"journal_article","_id":"1207","file":[{"creator":"system","file_size":1033743,"file_id":"5102","content_type":"application/pdf","date_updated":"2020-07-14T12:44:39Z","file_name":"IST-2016-722-v1+1_s00220-016-2805-6.pdf","relation":"main_file","date_created":"2018-12-12T10:14:47Z","access_level":"open_access","checksum":"ddff79154c3daf27237de5383b1264a9"}],"date_updated":"2025-07-10T11:50:22Z","file_date_updated":"2020-07-14T12:44:39Z","scopus_import":"1","ec_funded":1,"publist_id":"6141","publication_identifier":{"issn":["0010-3616"]},"day":"01","oa_version":"Published Version","abstract":[{"lang":"eng","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."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T11:50:43Z","external_id":{"isi":["000393696700005"]},"ddc":["530"],"article_processing_charge":"Yes (via OA deal)","author":[{"id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","first_name":"Zhigang","orcid":"0000-0003-3036-1475","full_name":"Bao, Zhigang","last_name":"Bao"},{"last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","orcid":"0000-0001-5366-9603","full_name":"Erdös, László"},{"last_name":"Schnelli","full_name":"Schnelli, Kevin","orcid":"0000-0003-0954-3231","first_name":"Kevin","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87"}],"issue":"3","pubrep_id":"722","project":[{"call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804"}],"volume":349,"year":"2017","publisher":"Springer","month":"02","has_accepted_license":"1","title":"Local law of addition of random matrices on optimal scale","language":[{"iso":"eng"}],"doi":"10.1007/s00220-016-2805-6","department":[{"_id":"LaEr"}],"status":"public"},{"publication_status":"published","publication":"Conference on Lasers and Electro-Optics","article_number":"FM3H.6","oa":1,"date_published":"2017-05-01T00:00:00Z","OA_place":"repository","type":"conference","conference":{"start_date":"2017-05-14","location":"San Jose, CA, United States","end_date":"2017-05-19","name":"CLEO: Fundamental Science"},"quality_controlled":"1","citation":{"ista":"Massuda A, Roques-Carmes C, Yang Y, Kooi SE, Yang Y, Murdia C, Berggren KK, Kaminer I, Soljačić M. 2017. Smith-Purcell radiation from low-energy electrons. Conference on Lasers and Electro-Optics. CLEO: Fundamental Science, FM3H.6.","apa":"Massuda, A., Roques-Carmes, C., Yang, Y., Kooi, S. E., Yang, Y., Murdia, C., … Soljačić, M. (2017). Smith-Purcell radiation from low-energy electrons. In Conference on Lasers and Electro-Optics. San Jose, CA, United States: Optica Publishing Group. https://doi.org/10.1364/cleo_qels.2017.fm3h.6","ieee":"A. Massuda et al., “Smith-Purcell radiation from low-energy electrons,” in Conference on Lasers and Electro-Optics, San Jose, CA, United States, 2017.","chicago":"Massuda, Aviram, Charles Roques-Carmes, Yujia Yang, Steven E. Kooi, Yi Yang, Chitraang Murdia, Karl K. Berggren, Ido Kaminer, and Marin Soljačić. “Smith-Purcell Radiation from Low-Energy Electrons.” In Conference on Lasers and Electro-Optics. Optica Publishing Group, 2017. https://doi.org/10.1364/cleo_qels.2017.fm3h.6.","mla":"Massuda, Aviram, et al. “Smith-Purcell Radiation from Low-Energy Electrons.” Conference on Lasers and Electro-Optics, FM3H.6, Optica Publishing Group, 2017, doi:10.1364/cleo_qels.2017.fm3h.6.","short":"A. Massuda, C. Roques-Carmes, Y. Yang, S.E. Kooi, Y. Yang, C. Murdia, K.K. Berggren, I. Kaminer, M. Soljačić, in:, Conference on Lasers and Electro-Optics, Optica Publishing Group, 2017.","ama":"Massuda A, Roques-Carmes C, Yang Y, et al. Smith-Purcell radiation from low-energy electrons. In: Conference on Lasers and Electro-Optics. Optica Publishing Group; 2017. doi:10.1364/cleo_qels.2017.fm3h.6"},"publication_identifier":{"eisbn":["9781943580279"]},"day":"01","arxiv":1,"oa_version":"Preprint","abstract":[{"lang":"eng","text":"Focused electron beams can induce electromagnetic radiation from periodic surfaces. We have used low-energy electrons (1.5-6kV) to induce visible light emission from nanoscale gratings (50nm and 60nm). Our results coincide well with numerical simulations."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2026-03-30T12:22:48Z","external_id":{"arxiv":["1710.05358"]},"_id":"21615","date_updated":"2026-05-05T06:46:39Z","scopus_import":"1","OA_type":"green","article_processing_charge":"No","author":[{"full_name":"Massuda, Aviram","first_name":"Aviram","last_name":"Massuda"},{"last_name":"Roques-Carmes","full_name":"Roques-Carmes, Charles","first_name":"Charles","id":"e2e68fc9-6505-11ef-a541-eb4e72cc3e82"},{"last_name":"Yang","first_name":"Yujia","full_name":"Yang, Yujia"},{"last_name":"Kooi","first_name":"Steven E.","full_name":"Kooi, Steven E."},{"last_name":"Yang","full_name":"Yang, Yi","first_name":"Yi"},{"first_name":"Chitraang","full_name":"Murdia, Chitraang","last_name":"Murdia"},{"first_name":"Karl K.","full_name":"Berggren, Karl K.","last_name":"Berggren"},{"last_name":"Kaminer","first_name":"Ido","full_name":"Kaminer, Ido"},{"last_name":"Soljačić","full_name":"Soljačić, Marin","first_name":"Marin"}],"month":"05","title":"Smith-Purcell radiation from low-energy electrons","language":[{"iso":"eng"}],"doi":"10.1364/cleo_qels.2017.fm3h.6","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.1710.05358","open_access":"1"}],"status":"public","extern":"1","year":"2017","publisher":"Optica Publishing Group"},{"publication_identifier":{"issn":["0953-4075"],"eissn":["1361-6455"]},"day":"15","arxiv":1,"oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"letter_note","abstract":[{"text":"In a recent article by Hockett et al (2016 J. Phys. B: At. Mol. Opt. Phys. 49 095602), time delays arising in the context of molecular single-photon ionization are investigated from a theoretical point of view. We argue that one of the central equations given in this article is incorrect and present a reformulation that is consistent with the established treatment of angle-dependent scattering delays (Eisenbud 1948 PhD Thesis Princeton University; Wigner 1955 Phys. Rev. 98 145–7; Smith 1960 Phys. Rev. 118 349–6; Nussenzveig 1972 Phys. Rev. D 6 1534–42).","lang":"eng"}],"date_created":"2023-08-10T06:36:29Z","external_id":{"arxiv":["1611.09352"]},"_id":"14007","date_updated":"2023-08-22T08:32:43Z","scopus_import":"1","publication_status":"published","article_number":"078002","publication":"Journal of Physics B: Atomic, Molecular and Optical Physics","date_published":"2017-03-15T00:00:00Z","oa":1,"type":"journal_article","quality_controlled":"1","intvolume":" 50","citation":{"chicago":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Comment on ‘Time Delays in Molecular Photoionization.’” Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing, 2017. https://doi.org/10.1088/1361-6455/aa62b5.","ieee":"D. R. Baykusheva and H. J. Wörner, “Comment on ‘Time delays in molecular photoionization,’” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 50, no. 7. IOP Publishing, 2017.","apa":"Baykusheva, D. R., & Wörner, H. J. (2017). Comment on ‘Time delays in molecular photoionization.’ Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing. https://doi.org/10.1088/1361-6455/aa62b5","ista":"Baykusheva DR, Wörner HJ. 2017. Comment on ‘Time delays in molecular photoionization’. Journal of Physics B: Atomic, Molecular and Optical Physics. 50(7), 078002.","mla":"Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Comment on ‘Time Delays in Molecular Photoionization.’” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 50, no. 7, 078002, IOP Publishing, 2017, doi:10.1088/1361-6455/aa62b5.","ama":"Baykusheva DR, Wörner HJ. Comment on ‘Time delays in molecular photoionization.’ Journal of Physics B: Atomic, Molecular and Optical Physics. 2017;50(7). doi:10.1088/1361-6455/aa62b5","short":"D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 50 (2017)."},"month":"03","language":[{"iso":"eng"}],"title":"Comment on ‘Time delays in molecular photoionization’","keyword":["Condensed Matter Physics","Atomic and Molecular Physics","and Optics"],"main_file_link":[{"url":"https://arxiv.org/abs/1611.09352","open_access":"1"}],"doi":"10.1088/1361-6455/aa62b5","status":"public","volume":50,"publisher":"IOP Publishing","year":"2017","extern":"1","article_processing_charge":"No","author":[{"full_name":"Baykusheva, Denitsa Rangelova","first_name":"Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","last_name":"Baykusheva"},{"last_name":"Wörner","first_name":"Hans Jakob","full_name":"Wörner, Hans Jakob"}],"issue":"7"},{"citation":{"mla":"Jordan, I., et al. “Spin-Orbit Delays in Photoemission.” Physical Review A, vol. 95, no. 1, 013404, American Physical Society, 2017, doi:10.1103/physreva.95.013404.","chicago":"Jordan, I., M. Huppert, S. Pabst, A. S. Kheifets, Denitsa Rangelova Baykusheva, and H. J. Wörner. “Spin-Orbit Delays in Photoemission.” Physical Review A. American Physical Society, 2017. https://doi.org/10.1103/physreva.95.013404.","apa":"Jordan, I., Huppert, M., Pabst, S., Kheifets, A. S., Baykusheva, D. R., & Wörner, H. J. (2017). Spin-orbit delays in photoemission. Physical Review A. American Physical Society. https://doi.org/10.1103/physreva.95.013404","ieee":"I. Jordan, M. Huppert, S. Pabst, A. S. Kheifets, D. R. Baykusheva, and H. J. Wörner, “Spin-orbit delays in photoemission,” Physical Review A, vol. 95, no. 1. American Physical Society, 2017.","ista":"Jordan I, Huppert M, Pabst S, Kheifets AS, Baykusheva DR, Wörner HJ. 2017. Spin-orbit delays in photoemission. Physical Review A. 95(1), 013404.","ama":"Jordan I, Huppert M, Pabst S, Kheifets AS, Baykusheva DR, Wörner HJ. Spin-orbit delays in photoemission. Physical Review A. 2017;95(1). doi:10.1103/physreva.95.013404","short":"I. Jordan, M. Huppert, S. Pabst, A.S. Kheifets, D.R. Baykusheva, H.J. Wörner, Physical Review A 95 (2017)."},"issue":"1","intvolume":" 95","author":[{"last_name":"Jordan","first_name":"I.","full_name":"Jordan, I."},{"first_name":"M.","full_name":"Huppert, M.","last_name":"Huppert"},{"last_name":"Pabst","first_name":"S.","full_name":"Pabst, S."},{"last_name":"Kheifets","first_name":"A. S.","full_name":"Kheifets, A. S."},{"last_name":"Baykusheva","full_name":"Baykusheva, Denitsa Rangelova","id":"71b4d059-2a03-11ee-914d-dfa3beed6530","first_name":"Denitsa Rangelova"},{"full_name":"Wörner, H. J.","first_name":"H. J.","last_name":"Wörner"}],"article_processing_charge":"No","quality_controlled":"1","type":"journal_article","date_published":"2017-01-10T00:00:00Z","article_number":"013404","publication":"Physical Review A","publication_status":"published","year":"2017","publisher":"American Physical Society","extern":"1","scopus_import":"1","date_updated":"2023-08-22T08:38:17Z","volume":95,"_id":"14009","status":"public","date_created":"2023-08-10T06:36:58Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","doi":"10.1103/physreva.95.013404","abstract":[{"text":"Attosecond delays between photoelectron wave packets emitted from different electronic shells are now well established. Is there any delay between electrons originating from the same electronic shell but leaving the cation in different fine-structure states? This question is relevant for all attosecond photoemission studies involving heavy elements, be it atoms, molecules or solids. We answer this fundamental question by measuring energy-dependent delays between photoelectron wave packets associated with the 2P3/2 and 2P1/2 components of the electronic groundstates of Xe+ and Kr+. We observe delays reaching up to 33±6 as in the case of Xe. Our results are compared with two state-of-the-art theories. Whereas both theories quantitatively agree with the results obtained for Kr, neither of them fully reproduces the experimental results in Xe. Performing delay measurements very close to the ionization thresholds, we compare the agreement of several analytical formulas for the continuum-continuum delays with experimental data. Our results show an important influence of spin-orbit coupling on attosecond photoionization delays, highlight the requirement for additional theory development, and offer a precision benchmark for such work.","lang":"eng"}],"language":[{"iso":"eng"}],"title":"Spin-orbit delays in photoemission","oa_version":"None","month":"01","publication_identifier":{"issn":["2469-9926"],"eissn":["2469-9934"]},"day":"10"},{"year":"2017","publisher":"ACM","status":"public","department":[{"_id":"DaAl"}],"doi":"10.1145/3143361.3143367","title":"Towards unlicensed cellular networks in TV white spaces","language":[{"iso":"eng"}],"month":"11","author":[{"full_name":"Baig, Ghufran","first_name":"Ghufran","last_name":"Baig"},{"last_name":"Radunovic","first_name":"Bozidar","full_name":"Radunovic, Bozidar"},{"last_name":"Alistarh","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian"},{"last_name":"Balkwill","first_name":"Matthew","full_name":"Balkwill, Matthew"},{"full_name":"Karagiannis, Thomas","first_name":"Thomas","last_name":"Karagiannis"},{"first_name":"Lili","full_name":"Qiu, Lili","last_name":"Qiu"}],"article_processing_charge":"No","publist_id":"7333","scopus_import":"1","date_updated":"2025-09-18T09:50:43Z","_id":"487","external_id":{"isi":["000526087500002"]},"date_created":"2018-12-11T11:46:45Z","abstract":[{"lang":"eng","text":"In this paper we study network architecture for unlicensed cellular networking for outdoor coverage in TV white spaces. The main technology proposed for TV white spaces is 802.11af, a Wi-Fi variant adapted for TV frequencies. However, 802.11af is originally designed for improved indoor propagation. We show that long links, typical for outdoor use, exacerbate known Wi-Fi issues, such as hidden and exposed terminal, and significantly reduce its efficiency. Instead, we propose CellFi, an alternative architecture based on LTE. LTE is designed for long-range coverage and throughput efficiency, but it is also designed to operate in tightly controlled and centrally managed networks. CellFi overcomes these problems by designing an LTE-compatible spectrum database component, mandatory for TV white space networking, and introducing an interference management component for distributed coordination. CellFi interference management is compatible with existing LTE mechanisms, requires no explicit communication between base stations, and is more efficient than CSMA for long links. We evaluate our design through extensive real world evaluation on of-the-shelf LTE equipment and simulations. We show that, compared to 802.11af, it increases coverage by 40% and reduces median flow completion times by 2.3x."}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa_version":"None","publication_identifier":{"isbn":["978-145035422-6"]},"day":"28","corr_author":"1","citation":{"ama":"Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. Towards unlicensed cellular networks in TV white spaces. In: Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies. ACM; 2017:2-14. doi:10.1145/3143361.3143367","short":"G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.","chicago":"Baig, Ghufran, Bozidar Radunovic, Dan-Adrian Alistarh, Matthew Balkwill, Thomas Karagiannis, and Lili Qiu. “Towards Unlicensed Cellular Networks in TV White Spaces.” In Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, 2–14. ACM, 2017. https://doi.org/10.1145/3143361.3143367.","ista":"Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. 2017. Towards unlicensed cellular networks in TV white spaces. Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies. CoNEXT: Conference on emerging Networking EXperiments and Technologies, 2–14.","ieee":"G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, and L. Qiu, “Towards unlicensed cellular networks in TV white spaces,” in Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies, Incheon, South Korea, 2017, pp. 2–14.","apa":"Baig, G., Radunovic, B., Alistarh, D.-A., Balkwill, M., Karagiannis, T., & Qiu, L. (2017). Towards unlicensed cellular networks in TV white spaces. In Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies (pp. 2–14). Incheon, South Korea: ACM. https://doi.org/10.1145/3143361.3143367","mla":"Baig, Ghufran, et al. “Towards Unlicensed Cellular Networks in TV White Spaces.” Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14, doi:10.1145/3143361.3143367."},"isi":1,"conference":{"name":"CoNEXT: Conference on emerging Networking EXperiments and Technologies","start_date":"2017-12-12","location":"Incheon, South Korea","end_date":"2017-12-15"},"quality_controlled":"1","page":"2 - 14","type":"conference","date_published":"2017-11-28T00:00:00Z","publication":"Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies","publication_status":"published"},{"doi":"10.1038/nature20818","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pubmed/28099418","open_access":"1"}],"status":"public","month":"02","title":"IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses","language":[{"iso":"eng"}],"extern":"1","year":"2017","publisher":"Springer Nature","volume":542,"issue":"7639","author":[{"last_name":"Chen","first_name":"Changchun","full_name":"Chen, Changchun"},{"last_name":"Itakura","first_name":"Eisuke","full_name":"Itakura, Eisuke"},{"first_name":"Geoffrey M.","full_name":"Nelson, Geoffrey M.","last_name":"Nelson"},{"last_name":"Sheng","first_name":"Ming","full_name":"Sheng, Ming"},{"last_name":"Laurent","first_name":"Patrick","full_name":"Laurent, Patrick"},{"full_name":"Fenk, Lorenz A.","first_name":"Lorenz A.","last_name":"Fenk"},{"last_name":"Butcher","full_name":"Butcher, Rebecca A.","first_name":"Rebecca A."},{"last_name":"Hegde","full_name":"Hegde, Ramanujan S.","first_name":"Ramanujan S."},{"first_name":"Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","full_name":"de Bono, Mario","orcid":"0000-0001-8347-0443","last_name":"de Bono"}],"abstract":[{"text":"Interleukin-17 (IL-17) is a major pro-inflammatory cytokine: it mediates responses to pathogens or tissue damage, and drives autoimmune diseases. Little is known about its role in the nervous system. Here we show that IL-17 has neuromodulator-like properties in Caenorhabditis elegans. IL-17 can act directly on neurons to alter their response properties and contribution to behaviour. Using unbiased genetic screens, we delineate an IL-17 signalling pathway and show that it acts in the RMG hub interneurons. Disrupting IL-17 signalling reduces RMG responsiveness to input from oxygen sensors, and renders sustained escape from 21% oxygen transient and contingent on additional stimuli. Over-activating IL-17 receptors abnormally heightens responses to 21% oxygen in RMG neurons and whole animals. IL-17 deficiency can be bypassed by optogenetic stimulation of RMG. Inducing IL-17 expression in adults can rescue mutant defects within 6 h. These findings reveal a non-immunological role of IL-17 modulating circuit function and behaviour.","lang":"eng"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","external_id":{"pmid":[" 28099418"]},"date_created":"2019-03-19T14:06:41Z","publication_identifier":{"issn":["0028-0836","1476-4687"]},"day":"02","oa_version":"Submitted Version","_id":"6117","date_updated":"2021-01-12T08:06:12Z","oa":1,"date_published":"2017-02-02T00:00:00Z","pmid":1,"page":"43-48","type":"journal_article","publication_status":"published","publication":"Nature","intvolume":" 542","citation":{"ama":"Chen C, Itakura E, Nelson GM, et al. IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses. Nature. 2017;542(7639):43-48. doi:10.1038/nature20818","short":"C. Chen, E. Itakura, G.M. Nelson, M. Sheng, P. Laurent, L.A. Fenk, R.A. Butcher, R.S. Hegde, M. de Bono, Nature 542 (2017) 43–48.","mla":"Chen, Changchun, et al. “IL-17 Is a Neuromodulator of Caenorhabditis Elegans Sensory Responses.” Nature, vol. 542, no. 7639, Springer Nature, 2017, pp. 43–48, doi:10.1038/nature20818.","chicago":"Chen, Changchun, Eisuke Itakura, Geoffrey M. Nelson, Ming Sheng, Patrick Laurent, Lorenz A. Fenk, Rebecca A. Butcher, Ramanujan S. Hegde, and Mario de Bono. “IL-17 Is a Neuromodulator of Caenorhabditis Elegans Sensory Responses.” Nature. Springer Nature, 2017. https://doi.org/10.1038/nature20818.","ieee":"C. Chen et al., “IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses,” Nature, vol. 542, no. 7639. Springer Nature, pp. 43–48, 2017.","ista":"Chen C, Itakura E, Nelson GM, Sheng M, Laurent P, Fenk LA, Butcher RA, Hegde RS, de Bono M. 2017. IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses. Nature. 542(7639), 43–48.","apa":"Chen, C., Itakura, E., Nelson, G. M., Sheng, M., Laurent, P., Fenk, L. A., … de Bono, M. (2017). IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses. Nature. Springer Nature. https://doi.org/10.1038/nature20818"},"quality_controlled":"1"},{"type":"book_chapter","page":"189 - 211","date_published":"2017-05-28T00:00:00Z","publication":"Translational Anatomy and Cell Biology of Autism Spectrum Disorder","publication_status":"published","citation":{"short":"J. Schroeder, E. Deliu, G. Novarino, M. Schmeisser, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 189–211.","ama":"Schroeder J, Deliu E, Novarino G, Schmeisser M. Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In: Schmeisser M, Boekers T, eds. Translational Anatomy and Cell Biology of Autism Spectrum Disorder. Vol 224. Advances in Anatomy Embryology and Cell Biology. Springer; 2017:189-211. doi:10.1007/978-3-319-52498-6_10","ista":"Schroeder J, Deliu E, Novarino G, Schmeisser M. 2017.Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In: Translational Anatomy and Cell Biology of Autism Spectrum Disorder. ADVSANAT, vol. 224, 189–211.","apa":"Schroeder, J., Deliu, E., Novarino, G., & Schmeisser, M. (2017). Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In M. Schmeisser & T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder (Vol. 224, pp. 189–211). Springer. https://doi.org/10.1007/978-3-319-52498-6_10","ieee":"J. Schroeder, E. Deliu, G. Novarino, and M. Schmeisser, “Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder,” in Translational Anatomy and Cell Biology of Autism Spectrum Disorder, vol. 224, M. Schmeisser and T. Boekers, Eds. Springer, 2017, pp. 189–211.","chicago":"Schroeder, Jan, Elena Deliu, Gaia Novarino, and Michael Schmeisser. “Genetic and Pharmacological Reversibility of Phenotypes in Mouse Models of Autism Spectrum Disorder.” In Translational Anatomy and Cell Biology of Autism Spectrum Disorder, edited by Michael Schmeisser and Tobias Boekers, 224:189–211. Advances in Anatomy Embryology and Cell Biology. Springer, 2017. https://doi.org/10.1007/978-3-319-52498-6_10.","mla":"Schroeder, Jan, et al. “Genetic and Pharmacological Reversibility of Phenotypes in Mouse Models of Autism Spectrum Disorder.” Translational Anatomy and Cell Biology of Autism Spectrum Disorder, edited by Michael Schmeisser and Tobias Boekers, vol. 224, Springer, 2017, pp. 189–211, doi:10.1007/978-3-319-52498-6_10."},"series_title":"Advances in Anatomy Embryology and Cell Biology","isi":1,"corr_author":"1","alternative_title":["ADVSANAT"],"intvolume":" 224","quality_controlled":"1","external_id":{"isi":["000443802500011"]},"date_created":"2018-12-11T11:47:37Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","abstract":[{"text":"As autism spectrum disorder (ASD) is largely regarded as a neurodevelopmental condition, long-time consensus was that its hallmark features are irreversible. However, several studies from recent years using defined mouse models of ASD have provided clear evidence that in mice neurobiological and behavioural alterations can be ameliorated or even reversed by genetic restoration or pharmacological treatment either before or after symptom onset. Here, we review findings on genetic and pharmacological reversibility of phenotypes in mouse models of ASD. Our review should give a comprehensive overview on both aspects and encourage future studies to better understand the underlying molecular mechanisms that might be translatable from animals to humans.","lang":"eng"}],"oa_version":"None","publication_identifier":{"eisbn":["978-3-319-52498-6"]},"day":"28","publist_id":"7156","scopus_import":"1","date_updated":"2025-09-11T07:25:25Z","_id":"634","editor":[{"last_name":"Schmeisser","first_name":"Michael","full_name":"Schmeisser, Michael"},{"last_name":"Boekers","first_name":"Tobias","full_name":"Boekers, Tobias"}],"author":[{"first_name":"Jan","full_name":"Schroeder, Jan","last_name":"Schroeder"},{"full_name":"Deliu, Elena","orcid":"0000-0002-7370-5293","id":"37A40D7E-F248-11E8-B48F-1D18A9856A87","first_name":"Elena","last_name":"Deliu"},{"full_name":"Novarino, Gaia","orcid":"0000-0002-7673-7178","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","first_name":"Gaia","last_name":"Novarino"},{"full_name":"Schmeisser, Michael","first_name":"Michael","last_name":"Schmeisser"}],"article_processing_charge":"No","status":"public","department":[{"_id":"GaNo"}],"doi":"10.1007/978-3-319-52498-6_10","title":"Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder","language":[{"iso":"eng"}],"month":"05","publisher":"Springer","year":"2017","volume":224,"project":[{"_id":"25473368-B435-11E9-9278-68D0E5697425","grant_number":"F03523","name":"Transmembrane Transporters in Health and Disease","call_identifier":"FWF"}]},{"date_created":"2018-12-11T11:47:38Z","external_id":{"isi":["000611678300011"]},"abstract":[{"text":"Signal regular expressions can specify sequential properties of real-valued signals based on threshold conditions, regular operations, and duration constraints. In this paper we endow them with a quantitative semantics which indicates how robustly a signal matches or does not match a given expression. First, we show that this semantics is a safe approximation of a distance between the signal and the language defined by the expression. Then, we consider the robust matching problem, that is, computing the quantitative semantics of every segment of a given signal relative to an expression. We present an algorithm that solves this problem for piecewise-constant and piecewise-linear signals and show that for such signals the robustness map is a piecewise-linear function. The availability of an indicator describing how robustly a signal segment matches some regular pattern provides a general framework for quantitative monitoring of cyber-physical systems.","lang":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa_version":"Submitted Version","day":"03","publication_identifier":{"isbn":["978-331965764-6"]},"publist_id":"7152","scopus_import":"1","date_updated":"2025-09-11T07:24:11Z","_id":"636","type":"conference","page":"189 - 206","oa":1,"date_published":"2017-08-03T00:00:00Z","publication_status":"published","citation":{"ieee":"A. Bakhirkin, T. Ferrere, O. Maler, and D. Ulus, “On the quantitative semantics of regular expressions over real-valued signals,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 189–206.","apa":"Bakhirkin, A., Ferrere, T., Maler, O., & Ulus, D. (2017). On the quantitative semantics of regular expressions over real-valued signals. In A. Abate & G. Geeraerts (Eds.) (Vol. 10419, pp. 189–206). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. https://doi.org/10.1007/978-3-319-65765-3_11","ista":"Bakhirkin A, Ferrere T, Maler O, Ulus D. 2017. On the quantitative semantics of regular expressions over real-valued signals. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 189–206.","chicago":"Bakhirkin, Alexey, Thomas Ferrere, Oded Maler, and Dogan Ulus. “On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.” edited by Alessandro Abate and Gilles Geeraerts, 10419:189–206. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_11.","mla":"Bakhirkin, Alexey, et al. On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. Edited by Alessandro Abate and Gilles Geeraerts, vol. 10419, Springer, 2017, pp. 189–206, doi:10.1007/978-3-319-65765-3_11.","short":"A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.","ama":"Bakhirkin A, Ferrere T, Maler O, Ulus D. On the quantitative semantics of regular expressions over real-valued signals. In: Abate A, Geeraerts G, eds. Vol 10419. Springer; 2017:189-206. doi:10.1007/978-3-319-65765-3_11"},"isi":1,"intvolume":" 10419","alternative_title":["LNCS"],"quality_controlled":"1","conference":{"start_date":"2017-09-05","location":"Berlin, Germany","end_date":"2017-09-07","name":"FORMATS: Formal Modelling and Analysis of Timed Systems"},"status":"public","department":[{"_id":"ToHe"}],"doi":"10.1007/978-3-319-65765-3_11","main_file_link":[{"open_access":"1","url":"https://hal.archives-ouvertes.fr/hal-01552132"}],"title":"On the quantitative semantics of regular expressions over real-valued signals","language":[{"iso":"eng"}],"month":"08","publisher":"Springer","year":"2017","volume":10419,"project":[{"name":"Moderne Concurrency Paradigms","call_identifier":"FWF","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23"},{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems"}],"editor":[{"first_name":"Alessandro","full_name":"Abate, Alessandro","last_name":"Abate"},{"last_name":"Geeraerts","first_name":"Gilles","full_name":"Geeraerts, Gilles"}],"author":[{"first_name":"Alexey","full_name":"Bakhirkin, Alexey","last_name":"Bakhirkin"},{"orcid":"0000-0001-5199-3143","full_name":"Ferrere, Thomas","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","last_name":"Ferrere"},{"last_name":"Maler","full_name":"Maler, Oded","first_name":"Oded"},{"first_name":"Dogan","full_name":"Ulus, Dogan","last_name":"Ulus"}],"article_processing_charge":"No"},{"arxiv":1,"oa_version":"Submitted Version","publication_identifier":{"issn":["01795376"]},"day":"01","date_created":"2018-12-11T11:50:00Z","external_id":{"isi":["000400072700008"],"arxiv":["1307.6444"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Let X and Y be finite simplicial sets (e.g. finite simplicial complexes), both equipped with a free simplicial action of a finite group G. Assuming that Y is d-connected and dimX≤2d, for some d≥1, we provide an algorithm that computes the set of all equivariant homotopy classes of equivariant continuous maps |X|→|Y|; the existence of such a map can be decided even for dimX≤2d+1. This yields the first algorithm for deciding topological embeddability of a k-dimensional finite simplicial complex into Rn under the condition k≤23n−1. More generally, we present an algorithm that, given a lifting-extension problem satisfying an appropriate stability assumption, computes the set of all homotopy classes of solutions. This result is new even in the non-equivariant situation."}],"date_updated":"2025-06-04T08:11:10Z","_id":"1073","publist_id":"6309","scopus_import":"1","publication":"Discrete & Computational Geometry","publication_status":"published","type":"journal_article","page":"915 - 965","date_published":"2017-06-01T00:00:00Z","oa":1,"quality_controlled":"1","isi":1,"citation":{"mla":"Čadek, Martin, et al. “Algorithmic Solvability of the Lifting Extension Problem.” Discrete & Computational Geometry, vol. 54, no. 4, Springer, 2017, pp. 915–65, doi:10.1007/s00454-016-9855-6.","chicago":"Čadek, Martin, Marek Krcál, and Lukáš Vokřínek. “Algorithmic Solvability of the Lifting Extension Problem.” Discrete & Computational Geometry. Springer, 2017. https://doi.org/10.1007/s00454-016-9855-6.","apa":"Čadek, M., Krcál, M., & Vokřínek, L. (2017). Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-016-9855-6","ieee":"M. Čadek, M. Krcál, and L. Vokřínek, “Algorithmic solvability of the lifting extension problem,” Discrete & Computational Geometry, vol. 54, no. 4. Springer, pp. 915–965, 2017.","ista":"Čadek M, Krcál M, Vokřínek L. 2017. Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. 54(4), 915–965.","ama":"Čadek M, Krcál M, Vokřínek L. Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. 2017;54(4):915-965. doi:10.1007/s00454-016-9855-6","short":"M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965."},"intvolume":" 54","language":[{"iso":"eng"}],"title":"Algorithmic solvability of the lifting extension problem","month":"06","status":"public","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1307.6444"}],"doi":"10.1007/s00454-016-9855-6","department":[{"_id":"UlWa"}],"volume":54,"year":"2017","publisher":"Springer","author":[{"full_name":"Čadek, Martin","first_name":"Martin","last_name":"Čadek"},{"last_name":"Krcál","first_name":"Marek","id":"33E21118-F248-11E8-B48F-1D18A9856A87","full_name":"Krcál, Marek"},{"last_name":"Vokřínek","first_name":"Lukáš","full_name":"Vokřínek, Lukáš"}],"article_processing_charge":"No","issue":"4"},{"date_published":"2017-11-27T00:00:00Z","page":"100-107","type":"journal_article","publication_status":"published","publication":"Nature Ecology & Evolution","intvolume":" 2","citation":{"mla":"Reger, Julia, et al. “Predation Drives Local Adaptation of Phenotypic Plasticity.” Nature Ecology & Evolution, vol. 2, Springer Nature, 2017, pp. 100–07, doi:10.1038/s41559-017-0373-6.","chicago":"Reger, Julia, Martin I. Lind, Matthew Richard Robinson, and Andrew P. Beckerman. “Predation Drives Local Adaptation of Phenotypic Plasticity.” Nature Ecology & Evolution. Springer Nature, 2017. https://doi.org/10.1038/s41559-017-0373-6.","ista":"Reger J, Lind MI, Robinson MR, Beckerman AP. 2017. Predation drives local adaptation of phenotypic plasticity. Nature Ecology & Evolution. 2, 100–107.","ieee":"J. Reger, M. I. Lind, M. R. Robinson, and A. P. Beckerman, “Predation drives local adaptation of phenotypic plasticity,” Nature Ecology & Evolution, vol. 2. Springer Nature, pp. 100–107, 2017.","apa":"Reger, J., Lind, M. I., Robinson, M. R., & Beckerman, A. P. (2017). Predation drives local adaptation of phenotypic plasticity. Nature Ecology & Evolution. Springer Nature. https://doi.org/10.1038/s41559-017-0373-6","ama":"Reger J, Lind MI, Robinson MR, Beckerman AP. Predation drives local adaptation of phenotypic plasticity. Nature Ecology & Evolution. 2017;2:100-107. doi:10.1038/s41559-017-0373-6","short":"J. Reger, M.I. Lind, M.R. Robinson, A.P. Beckerman, Nature Ecology & Evolution 2 (2017) 100–107."},"article_processing_charge":"No","quality_controlled":"1","author":[{"full_name":"Reger, Julia","first_name":"Julia","last_name":"Reger"},{"full_name":"Lind, Martin I.","first_name":"Martin I.","last_name":"Lind"},{"last_name":"Robinson","full_name":"Robinson, Matthew Richard","orcid":"0000-0001-8982-8813","first_name":"Matthew Richard","id":"E5D42276-F5DA-11E9-8E24-6303E6697425"},{"first_name":"Andrew P.","full_name":"Beckerman, Andrew P.","last_name":"Beckerman"}],"article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Phenotypic plasticity is the ability of an individual genotype to alter aspects of its phenotype depending on the current environment. It is central to the persistence, resistance and resilience of populations facing variation in physical or biological factors. Genetic variation in plasticity is pervasive, which suggests its local adaptation is plausible. Existing studies on the adaptation of plasticity typically focus on single traits and a few populations, while theory about interactions among genes (for example, pleiotropy) suggests that a multi-trait, landscape scale (for example, multiple populations) perspective is required. We present data from a landscape scale, replicated, multi-trait experiment using a classic predator–prey system centred on the water flea Daphnia pulex. We find predator regime-driven differences in genetic variation of multivariate plasticity. These differences are associated with strong divergent selection linked to a predation regime. Our findings are evidence for local adaptation of plasticity, suggesting that responses of populations to environmental variation depend on the conditions in which they evolved in the past."}],"doi":"10.1038/s41559-017-0373-6","date_created":"2020-04-30T10:46:02Z","status":"public","month":"11","publication_identifier":{"issn":["2397-334X"]},"day":"27","oa_version":"None","title":"Predation drives local adaptation of phenotypic plasticity","language":[{"iso":"eng"}],"year":"2017","publisher":"Springer Nature","extern":"1","_id":"7725","volume":2,"date_updated":"2021-01-12T08:15:07Z"},{"citation":{"mla":"Syta, E., et al. “Scalable Bias-Resistant Distributed Randomness.” 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–60, doi:10.1109/SP.2017.45.","chicago":"Syta, E., P. Jovanovic, Eleftherios Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M. J. Fischer, and B. Ford. “Scalable Bias-Resistant Distributed Randomness.” In 2017 IEEE Symposium on Security and Privacy, 444–60. IEEE, 2017. https://doi.org/10.1109/SP.2017.45.","ista":"Syta E, Jovanovic P, Kokoris Kogias E, Gailly N, Gasser L, Khoffi I, Fischer MJ, Ford B. 2017. Scalable bias-resistant distributed randomness. 2017 IEEE Symposium on Security and Privacy. SP: Symposium on Security and Privacy, 444–460.","apa":"Syta, E., Jovanovic, P., Kokoris Kogias, E., Gailly, N., Gasser, L., Khoffi, I., … Ford, B. (2017). Scalable bias-resistant distributed randomness. In 2017 IEEE Symposium on Security and Privacy (pp. 444–460). San Jose, CA, United States: IEEE. https://doi.org/10.1109/SP.2017.45","ieee":"E. Syta et al., “Scalable bias-resistant distributed randomness,” in 2017 IEEE Symposium on Security and Privacy, San Jose, CA, United States, 2017, pp. 444–460.","ama":"Syta E, Jovanovic P, Kokoris Kogias E, et al. Scalable bias-resistant distributed randomness. In: 2017 IEEE Symposium on Security and Privacy. IEEE; 2017:444-460. doi:10.1109/SP.2017.45","short":"E. Syta, P. Jovanovic, E. Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer, B. Ford, in:, 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–460."},"article_processing_charge":"No","conference":{"end_date":"2017-05-26","location":"San Jose, CA, United States","start_date":"2017-05-22","name":"SP: Symposium on Security and Privacy"},"quality_controlled":"1","author":[{"last_name":"Syta","full_name":"Syta, E.","first_name":"E."},{"last_name":"Jovanovic","full_name":"Jovanovic, P.","first_name":"P."},{"last_name":"Kokoris Kogias","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","first_name":"Eleftherios","full_name":"Kokoris Kogias, Eleftherios"},{"last_name":"Gailly","full_name":"Gailly, N.","first_name":"N."},{"first_name":"L.","full_name":"Gasser, L.","last_name":"Gasser"},{"last_name":"Khoffi","first_name":"I.","full_name":"Khoffi, I."},{"last_name":"Fischer","full_name":"Fischer, M. J.","first_name":"M. J."},{"last_name":"Ford","first_name":"B.","full_name":"Ford, B."}],"date_published":"2017-06-01T00:00:00Z","oa":1,"page":"444-460","type":"conference","publication_status":"published","publication":"2017 IEEE Symposium on Security and Privacy","publisher":"IEEE","year":"2017","extern":"1","_id":"8306","date_updated":"2021-01-12T08:18:02Z","main_file_link":[{"url":"https://eprint.iacr.org/2016/1067","open_access":"1"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Bias-resistant public randomness is a critical component in many (distributed) protocols. Generating public randomness is hard, however, because active adversaries may behave dishonestly to bias public random choices toward their advantage. Existing solutions do not scale to hundreds or thousands of participants, as is needed in many decentralized systems. We propose two large-scale distributed protocols, RandHound and RandHerd, which provide publicly-verifiable, unpredictable, and unbiasable randomness against Byzantine adversaries. RandHound relies on an untrusted client to divide a set of randomness servers into groups for scalability, and it depends on the pigeonhole principle to ensure output integrity, even for non-random, adversarial group choices. RandHerd implements an efficient, decentralized randomness beacon. RandHerd is structurally similar to a BFT protocol, but uses RandHound in a one-time setup to arrange participants into verifiably unbiased random secret-sharing groups, which then repeatedly produce random output at predefined intervals. Our prototype demonstrates that RandHound and RandHerd achieve good performance across hundreds of participants while retaining a low failure probability by properly selecting protocol parameters, such as a group size and secret-sharing threshold. For example, when sharding 512 nodes into groups of 32, our experiments show that RandHound can produce fresh random output after 240 seconds. RandHerd, after a setup phase of 260 seconds, is able to generate fresh random output in intervals of approximately 6 seconds. For this configuration, both protocols operate at a failure probability of at most 0.08% against a Byzantine adversary."}],"doi":"10.1109/SP.2017.45","status":"public","date_created":"2020-08-26T12:26:08Z","month":"06","day":"01","publication_identifier":{"isbn":["9781509055340"],"issn":["2375-1207"]},"oa_version":"Preprint","title":"Scalable bias-resistant distributed randomness","language":[{"iso":"eng"}]},{"issue":"3","article_processing_charge":"No","author":[{"first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov"},{"last_name":"Krokhin","first_name":"Andrei","full_name":"Krokhin, Andrei"},{"last_name":"Rolinek","full_name":"Rolinek, Michal","id":"3CB3BC06-F248-11E8-B48F-1D18A9856A87","first_name":"Michal"}],"doi":"10.1137/16M1091836","department":[{"_id":"VlKo"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1502.07327"}],"status":"public","month":"06","title":"The complexity of general-valued CSPs","language":[{"iso":"eng"}],"year":"2017","publisher":"SIAM","project":[{"grant_number":"616160","_id":"25FBA906-B435-11E9-9278-68D0E5697425","name":"Discrete Optimization in Computer Vision: Theory and Practice","call_identifier":"FP7"}],"volume":46,"oa":1,"date_published":"2017-06-29T00:00:00Z","page":"1087 - 1110","type":"journal_article","publication_status":"published","publication":"SIAM Journal on Computing","intvolume":" 46","isi":1,"citation":{"mla":"Kolmogorov, Vladimir, et al. “The Complexity of General-Valued CSPs.” SIAM Journal on Computing, vol. 46, no. 3, SIAM, 2017, pp. 1087–110, doi:10.1137/16M1091836.","ieee":"V. Kolmogorov, A. Krokhin, and M. Rolinek, “The complexity of general-valued CSPs,” SIAM Journal on Computing, vol. 46, no. 3. SIAM, pp. 1087–1110, 2017.","ista":"Kolmogorov V, Krokhin A, Rolinek M. 2017. The complexity of general-valued CSPs. SIAM Journal on Computing. 46(3), 1087–1110.","apa":"Kolmogorov, V., Krokhin, A., & Rolinek, M. (2017). The complexity of general-valued CSPs. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/16M1091836","chicago":"Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs.” SIAM Journal on Computing. SIAM, 2017. https://doi.org/10.1137/16M1091836.","short":"V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.","ama":"Kolmogorov V, Krokhin A, Rolinek M. The complexity of general-valued CSPs. SIAM Journal on Computing. 2017;46(3):1087-1110. doi:10.1137/16M1091836"},"quality_controlled":"1","abstract":[{"text":"An instance of the valued constraint satisfaction problem (VCSP) is given by a finite set of variables, a finite domain of labels, and a sum of functions, each function depending on a subset of the variables. Each function can take finite values specifying costs of assignments of labels to its variables or the infinite value, which indicates an infeasible assignment. The goal is to find an assignment of labels to the variables that minimizes the sum. We study, assuming that P 6= NP, how the complexity of this very general problem depends on the set of functions allowed in the instances, the so-called constraint language. The case when all allowed functions take values in f0;1g corresponds to ordinary CSPs, where one deals only with the feasibility issue, and there is no optimization. This case is the subject of the algebraic CSP dichotomy conjecture predicting for which constraint languages CSPs are tractable (i.e., solvable in polynomial time) and for which they are NP-hard. The case when all allowed functions take only finite values corresponds to a finitevalued CSP, where the feasibility aspect is trivial and one deals only with the optimization issue. The complexity of finite-valued CSPs was fully classified by Thapper and Živný. An algebraic necessary condition for tractability of a general-valued CSP with a fixed constraint language was recently given by Kozik and Ochremiak. As our main result, we prove that if a constraint language satisfies this algebraic necessary condition, and the feasibility CSP (i.e., the problem of deciding whether a given instance has a feasible solution) corresponding to the VCSP with this language is tractable, then the VCSP is tractable. The algorithm is a simple combination of the assumed algorithm for the feasibility CSP and the standard LP relaxation. As a corollary, we obtain that a dichotomy for ordinary CSPs would imply a dichotomy for general-valued CSPs.","lang":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_created":"2018-12-11T11:47:40Z","external_id":{"arxiv":["1502.07327"],"isi":["000404774300010"]},"day":"29","oa_version":"Preprint","arxiv":1,"scopus_import":"1","related_material":{"record":[{"id":"1637","relation":"other","status":"public"}]},"ec_funded":1,"publist_id":"7138","_id":"644","date_updated":"2025-09-23T13:45:56Z"},{"quality_controlled":"1","conference":{"start_date":"2017-09-05","end_date":"2017-09-07","location":"Berlin, Germany","name":"FORMATS: Formal Modelling and Analysis of Timed Systems"},"alternative_title":["LNCS"],"corr_author":"1","isi":1,"citation":{"chicago":"Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_7.","ieee":"S. Bogomolov, M. Giacobbe, T. A. Henzinger, and H. Kong, “Conic abstractions for hybrid systems,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 116–132.","apa":"Bogomolov, S., Giacobbe, M., Henzinger, T. A., & Kong, H. (2017). Conic abstractions for hybrid systems (Vol. 10419, pp. 116–132). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. https://doi.org/10.1007/978-3-319-65765-3_7","ista":"Bogomolov S, Giacobbe M, Henzinger TA, Kong H. 2017. Conic abstractions for hybrid systems. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 116–132.","mla":"Bogomolov, Sergiy, et al. Conic Abstractions for Hybrid Systems. Vol. 10419, Springer, 2017, pp. 116–32, doi:10.1007/978-3-319-65765-3_7.","ama":"Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7","short":"S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132."},"publication_status":"published","oa":1,"date_published":"2017-09-01T00:00:00Z","page":"116 - 132","type":"conference","_id":"647","date_updated":"2026-04-08T07:47:13Z","file_date_updated":"2020-07-14T12:47:31Z","file":[{"file_name":"IST-2017-831-v1+1_main.pdf","relation":"main_file","date_created":"2018-12-12T10:12:38Z","access_level":"open_access","checksum":"faf546914ba29bcf9974ee36b6b16750","file_size":3806864,"creator":"system","file_id":"4956","date_updated":"2020-07-14T12:47:31Z","content_type":"application/pdf"}],"scopus_import":"1","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"6894"}]},"publist_id":"7129","day":"01","publication_identifier":{"isbn":["978-331965764-6"]},"oa_version":"Submitted Version","abstract":[{"text":"Despite researchers’ efforts in the last couple of decades, reachability analysis is still a challenging problem even for linear hybrid systems. Among the existing approaches, the most practical ones are mainly based on bounded-time reachable set over-approximations. For the purpose of unbounded-time analysis, one important strategy is to abstract the original system and find an invariant for the abstraction. In this paper, we propose an approach to constructing a new kind of abstraction called conic abstraction for affine hybrid systems, and to computing reachable sets based on this abstraction. The essential feature of a conic abstraction is that it partitions the state space of a system into a set of convex polyhedral cones which is derived from a uniform conic partition of the derivative space. Such a set of polyhedral cones is able to cut all trajectories of the system into almost straight segments so that every segment of a reach pipe in a polyhedral cone tends to be straight as well, and hence can be over-approximated tightly by polyhedra using similar techniques as HyTech or PHAVer. In particular, for diagonalizable affine systems, our approach can guarantee to find an invariant for unbounded reachable sets, which is beyond the capability of bounded-time reachability analysis tools. We implemented the approach in a tool and experiments on benchmarks show that our approach is more powerful than SpaceEx and PHAVer in dealing with diagonalizable systems.","lang":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","external_id":{"isi":["000611678300007"]},"date_created":"2018-12-11T11:47:41Z","ddc":["005"],"article_processing_charge":"No","author":[{"last_name":"Bogomolov","first_name":"Sergiy","id":"369D9A44-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0686-0365","full_name":"Bogomolov, Sergiy"},{"last_name":"Giacobbe","orcid":"0000-0001-8180-0904","full_name":"Giacobbe, Mirco","id":"3444EA5E-F248-11E8-B48F-1D18A9856A87","first_name":"Mirco"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"full_name":"Kong, Hui","orcid":"0000-0002-3066-6941","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","first_name":"Hui","last_name":"Kong"}],"pubrep_id":"831","project":[{"grant_number":"S11402-N23","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Moderne Concurrency Paradigms"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems","call_identifier":"FWF"}],"volume":"10419 ","year":"2017","publisher":"Springer","month":"09","has_accepted_license":"1","language":[{"iso":"eng"}],"title":"Conic abstractions for hybrid systems","doi":"10.1007/978-3-319-65765-3_7","department":[{"_id":"ToHe"}],"status":"public"},{"issue":"9","article_processing_charge":"No","author":[{"last_name":"Schwarz","full_name":"Schwarz, Jan","first_name":"Jan","id":"346C1EC6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Bierbaum, Veronika","first_name":"Veronika","id":"3FD04378-F248-11E8-B48F-1D18A9856A87","last_name":"Bierbaum"},{"last_name":"Vaahtomeri","first_name":"Kari","id":"368EE576-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7829-3518","full_name":"Vaahtomeri, Kari"},{"last_name":"Hauschild","full_name":"Hauschild, Robert","orcid":"0000-0001-9843-3522","first_name":"Robert","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Brown, Markus","id":"3DAB9AFC-F248-11E8-B48F-1D18A9856A87","first_name":"Markus","last_name":"Brown"},{"full_name":"De Vries, Ingrid","first_name":"Ingrid","id":"4C7D837E-F248-11E8-B48F-1D18A9856A87","last_name":"De Vries"},{"last_name":"Leithner","orcid":"0000-0002-1073-744X","full_name":"Leithner, Alexander F","first_name":"Alexander F","id":"3B1B77E4-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Reversat, Anne","orcid":"0000-0003-0666-8928","id":"35B76592-F248-11E8-B48F-1D18A9856A87","first_name":"Anne","last_name":"Reversat"},{"last_name":"Merrin","full_name":"Merrin, Jack","orcid":"0000-0001-5145-4609","id":"4515C308-F248-11E8-B48F-1D18A9856A87","first_name":"Jack"},{"last_name":"Tarrant","first_name":"Teresa","full_name":"Tarrant, Teresa"},{"last_name":"Bollenbach","orcid":"0000-0003-4398-476X","full_name":"Bollenbach, Tobias","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87","first_name":"Tobias"},{"first_name":"Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179","full_name":"Sixt, Michael K","last_name":"Sixt"}],"department":[{"_id":"MiSi"},{"_id":"Bio"},{"_id":"NanoFab"}],"doi":"10.1016/j.cub.2017.04.004","status":"public","month":"05","title":"Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6","language":[{"iso":"eng"}],"year":"2017","publisher":"Cell Press","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme"},{"grant_number":"Y 564-B12","_id":"25A8E5EA-B435-11E9-9278-68D0E5697425","name":"Cytoskeletal force generation and force transduction of migrating leukocytes","call_identifier":"FWF"}],"volume":27,"date_published":"2017-05-09T00:00:00Z","type":"journal_article","page":"1314 - 1325","publication_status":"published","publication":"Current Biology","intvolume":" 27","isi":1,"citation":{"ista":"Schwarz J, Bierbaum V, Vaahtomeri K, Hauschild R, Brown M, de Vries I, Leithner AF, Reversat A, Merrin J, Tarrant T, Bollenbach MT, Sixt MK. 2017. Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. Current Biology. 27(9), 1314–1325.","apa":"Schwarz, J., Bierbaum, V., Vaahtomeri, K., Hauschild, R., Brown, M., de Vries, I., … Sixt, M. K. (2017). Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.04.004","ieee":"J. Schwarz et al., “Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6,” Current Biology, vol. 27, no. 9. Cell Press, pp. 1314–1325, 2017.","chicago":"Schwarz, Jan, Veronika Bierbaum, Kari Vaahtomeri, Robert Hauschild, Markus Brown, Ingrid de Vries, Alexander F Leithner, et al. “Dendritic Cells Interpret Haptotactic Chemokine Gradients in a Manner Governed by Signal to Noise Ratio and Dependent on GRK6.” Current Biology. Cell Press, 2017. https://doi.org/10.1016/j.cub.2017.04.004.","mla":"Schwarz, Jan, et al. “Dendritic Cells Interpret Haptotactic Chemokine Gradients in a Manner Governed by Signal to Noise Ratio and Dependent on GRK6.” Current Biology, vol. 27, no. 9, Cell Press, 2017, pp. 1314–25, doi:10.1016/j.cub.2017.04.004.","short":"J. Schwarz, V. Bierbaum, K. Vaahtomeri, R. Hauschild, M. Brown, I. de Vries, A.F. Leithner, A. Reversat, J. Merrin, T. Tarrant, M.T. Bollenbach, M.K. Sixt, Current Biology 27 (2017) 1314–1325.","ama":"Schwarz J, Bierbaum V, Vaahtomeri K, et al. Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. Current Biology. 2017;27(9):1314-1325. doi:10.1016/j.cub.2017.04.004"},"corr_author":"1","quality_controlled":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","abstract":[{"lang":"eng","text":"Navigation of cells along gradients of guidance cues is a determining step in many developmental and immunological processes. Gradients can either be soluble or immobilized to tissues as demonstrated for the haptotactic migration of dendritic cells (DCs) toward higher concentrations of immobilized chemokine CCL21. To elucidate how gradient characteristics govern cellular response patterns, we here introduce an in vitro system allowing to track migratory responses of DCs to precisely controlled immobilized gradients of CCL21. We find that haptotactic sensing depends on the absolute CCL21 concentration and local steepness of the gradient, consistent with a scenario where DC directionality is governed by the signal-to-noise ratio of CCL21 binding to the receptor CCR7. We find that the conditions for optimal DC guidance are perfectly provided by the CCL21 gradients we measure in vivo. Furthermore, we find that CCR7 signal termination by the G-protein-coupled receptor kinase 6 (GRK6) is crucial for haptotactic but dispensable for chemotactic CCL21 gradient sensing in vitro and confirm those observations in vivo. These findings suggest that stable, tissue-bound CCL21 gradients as sustainable “roads” ensure optimal guidance in vivo."}],"date_created":"2018-12-11T11:47:51Z","external_id":{"isi":["000400741700021"]},"day":"09","publication_identifier":{"issn":["09609822"]},"oa_version":"None","scopus_import":"1","publist_id":"7050","ec_funded":1,"_id":"674","date_updated":"2025-09-10T14:26:47Z"},{"author":[{"last_name":"Modic","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425","first_name":"Kimberly A","orcid":"0000-0001-9760-3147","full_name":"Modic, Kimberly A"},{"first_name":"B. J.","full_name":"Ramshaw, B. J.","last_name":"Ramshaw"},{"first_name":"J. B.","full_name":"Betts, J. B.","last_name":"Betts"},{"last_name":"Breznay","full_name":"Breznay, Nicholas P.","first_name":"Nicholas P."},{"full_name":"Analytis, James G.","first_name":"James G.","last_name":"Analytis"},{"last_name":"McDonald","first_name":"Ross D.","full_name":"McDonald, Ross D."},{"first_name":"Arkady","full_name":"Shekhter, Arkady","last_name":"Shekhter"}],"article_processing_charge":"No","issue":"1","has_accepted_license":"1","title":"Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates","language":[{"iso":"eng"}],"month":"08","status":"public","doi":"10.1038/s41467-017-00264-6","volume":8,"extern":"1","publisher":"Springer Nature","year":"2017","article_number":"180","publication":"Nature Communications","publication_status":"published","type":"journal_article","oa":1,"date_published":"2017-08-01T00:00:00Z","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"quality_controlled":"1","citation":{"mla":"Modic, Kimberly A., et al. “Robust Spin Correlations at High Magnetic Fields in the Harmonic Honeycomb Iridates.” Nature Communications, vol. 8, no. 1, 180, Springer Nature, 2017, doi:10.1038/s41467-017-00264-6.","ieee":"K. A. Modic et al., “Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates,” Nature Communications, vol. 8, no. 1. Springer Nature, 2017.","ista":"Modic KA, Ramshaw BJ, Betts JB, Breznay NP, Analytis JG, McDonald RD, Shekhter A. 2017. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. Nature Communications. 8(1), 180.","apa":"Modic, K. A., Ramshaw, B. J., Betts, J. B., Breznay, N. P., Analytis, J. G., McDonald, R. D., & Shekhter, A. (2017). Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-017-00264-6","chicago":"Modic, Kimberly A, B. J. Ramshaw, J. B. Betts, Nicholas P. Breznay, James G. Analytis, Ross D. McDonald, and Arkady Shekhter. “Robust Spin Correlations at High Magnetic Fields in the Harmonic Honeycomb Iridates.” Nature Communications. Springer Nature, 2017. https://doi.org/10.1038/s41467-017-00264-6.","short":"K.A. Modic, B.J. Ramshaw, J.B. Betts, N.P. Breznay, J.G. Analytis, R.D. McDonald, A. Shekhter, Nature Communications 8 (2017).","ama":"Modic KA, Ramshaw BJ, Betts JB, et al. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-00264-6"},"intvolume":" 8","oa_version":"Published Version","day":"01","publication_identifier":{"issn":["2041-1723"]},"date_created":"2019-11-19T13:11:55Z","ddc":["530"],"abstract":[{"lang":"eng","text":"The complex antiferromagnetic orders observed in the honeycomb iridates are a double-edged sword in the search for a quantum spin-liquid: both attesting that the magnetic interactions provide many of the necessary ingredients, while simultaneously impeding access. Focus has naturally been drawn to the unusual magnetic orders that hint at the underlying spin correlations. However, the study of any particular broken symmetry state generally provides little clue about the possibility of other nearby ground states. Here we use magnetic fields approaching 100 Tesla to reveal the extent of the spin correlations in γ-lithium iridate. We find that a small component of field along the magnetic easy-axis melts long-range order, revealing a bistable, strongly correlated spin state. Far from the usual destruction of antiferromagnetism via spin polarization, the high-field state possesses only a small fraction of the total iridium moment, without evidence for long-range order up to the highest attainable magnetic fields."}],"article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"access_level":"open_access","checksum":"57fcd59d2f274b6b16cc89ea03cfd440","date_created":"2019-11-20T14:12:54Z","file_name":"2017_NatureComm_Modic.pdf","relation":"main_file","date_updated":"2020-07-14T12:47:48Z","content_type":"application/pdf","file_id":"7091","creator":"cziletti","file_size":1242958}],"file_date_updated":"2020-07-14T12:47:48Z","date_updated":"2021-01-12T08:11:39Z","_id":"7064"},{"publication":"Formal Methods in System Design","publication_status":"published","page":"267 - 269","type":"journal_article","date_published":"2017-11-14T00:00:00Z","author":[{"last_name":"Gottlob","first_name":"Georg","full_name":"Gottlob, Georg"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"first_name":"Georg","full_name":"Weißenbacher, Georg","last_name":"Weißenbacher"}],"article_processing_charge":"No","quality_controlled":"1","isi":1,"citation":{"ista":"Gottlob G, Henzinger TA, Weißenbacher G. 2017. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 51(2), 267–269.","apa":"Gottlob, G., Henzinger, T. A., & Weißenbacher, G. (2017). Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-017-0307-6","ieee":"G. Gottlob, T. A. Henzinger, and G. Weißenbacher, “Preface of the special issue in memoriam Helmut Veith,” Formal Methods in System Design, vol. 51, no. 2. Springer, pp. 267–269, 2017.","chicago":"Gottlob, Georg, Thomas A Henzinger, and Georg Weißenbacher. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design. Springer, 2017. https://doi.org/10.1007/s10703-017-0307-6.","mla":"Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:10.1007/s10703-017-0307-6.","short":"G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.","ama":"Gottlob G, Henzinger TA, Weißenbacher G. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 2017;51(2):267-269. doi:10.1007/s10703-017-0307-6"},"issue":"2","intvolume":" 51","oa_version":"None","title":"Preface of the special issue in memoriam Helmut Veith","language":[{"iso":"eng"}],"month":"11","day":"14","status":"public","date_created":"2018-12-11T11:48:16Z","external_id":{"isi":["000415615600001"]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","doi":"10.1007/s10703-017-0307-6","abstract":[{"lang":"eng","text":"This special issue of the Journal on Formal Methods in System Design is dedicated to Prof. Helmut Veith, who unexpectedly passed away in March 2016. Helmut Veith was a brilliant researcher, inspiring collaborator, passionate mentor, generous friend, and valued member of the formal methods community. Helmut was not only known for his numerous and influential contributions in the field of automated verification (most prominently his work on Counterexample-Guided Abstraction Refinement [1,2]), but also for his untiring and passionate efforts for the logic community: he co-organized the Vienna Summer of Logic (an event comprising twelve conferences and numerous workshops which attracted thousands of researchers from all over the world), he initiated the Vienna Center for Logic and Algorithms (which promotes international collaboration on logic and algorithms and organizes outreach events such as the LogicLounge), and he coordinated the Doctoral Program on Logical Methods in Computer Science at TU Wien (currently educating more than 40 doctoral students) and a National Research Network on Rigorous Systems Engineering (uniting fifteen researchers in Austria to address the challenge of building reliable and safe computer\r\nsystems). With his enthusiasm and commitment, Helmut completely reshaped the Austrian research landscape in the field of logic and verification in his few years as a full professor at TU Wien."}],"department":[{"_id":"ToHe"}],"volume":51,"date_updated":"2023-09-27T12:29:29Z","_id":"743","publisher":"Springer","year":"2017","publist_id":"6924"},{"status":"public","department":[{"_id":"DaSi"}],"doi":"10.1016/j.cub.2017.10.001","has_accepted_license":"1","language":[{"iso":"eng"}],"title":"A moving source of matrix components is essential for De Novo basement membrane formation","month":"11","publisher":"Cell Press","year":"2017","volume":27,"pubrep_id":"875","issue":"22","author":[{"first_name":"Yutaka","full_name":"Matsubayashi, Yutaka","last_name":"Matsubayashi"},{"first_name":"Adam","full_name":"Louani, Adam","last_name":"Louani"},{"full_name":"Dragu, Anca","first_name":"Anca","last_name":"Dragu"},{"last_name":"Sanchez Sanchez","full_name":"Sanchez Sanchez, Besaiz","first_name":"Besaiz"},{"first_name":"Eduardo","full_name":"Serna Morales, Eduardo","last_name":"Serna Morales"},{"last_name":"Yolland","first_name":"Lawrence","full_name":"Yolland, Lawrence"},{"last_name":"György","id":"3BCEDBE0-F248-11E8-B48F-1D18A9856A87","first_name":"Attila","full_name":"György, Attila","orcid":"0000-0002-1819-198X"},{"full_name":"Vizcay, Gema","first_name":"Gema","last_name":"Vizcay"},{"first_name":"Roland","full_name":"Fleck, Roland","last_name":"Fleck"},{"full_name":"Heddleston, John","first_name":"John","last_name":"Heddleston"},{"last_name":"Chew","full_name":"Chew, Teng","first_name":"Teng"},{"full_name":"Siekhaus, Daria E","orcid":"0000-0001-8323-8353","first_name":"Daria E","id":"3D224B9E-F248-11E8-B48F-1D18A9856A87","last_name":"Siekhaus"},{"full_name":"Stramer, Brian","first_name":"Brian","last_name":"Stramer"}],"article_processing_charge":"No","external_id":{"isi":["000415815800031"]},"date_created":"2018-12-11T11:48:18Z","ddc":["570","576"],"abstract":[{"text":"The basement membrane (BM) is a thin layer of extracellular matrix (ECM) beneath nearly all epithelial cell types that is critical for cellular and tissue function. It is composed of numerous components conserved among all bilaterians [1]; however, it is unknown how all of these components are generated and subsequently constructed to form a fully mature BM in the living animal. Although BM formation is thought to simply involve a process of self-assembly [2], this concept suffers from a number of logistical issues when considering its construction in vivo. First, incorporation of BM components appears to be hierarchical [3-5], yet it is unclear whether their production during embryogenesis must also be regulated in a temporal fashion. Second, many BM proteins are produced not only by the cells residing on the BM but also by surrounding cell types [6-9], and it is unclear how large, possibly insoluble protein complexes [10] are delivered into the matrix. Here we exploit our ability to live image and genetically dissect de novo BM formation during Drosophila development. This reveals that there is a temporal hierarchy of BM protein production that is essential for proper component incorporation. Furthermore, we show that BM components require secretion by migrating macrophages (hemocytes) during their developmental dispersal, which is critical for embryogenesis. Indeed, hemocyte migration is essential to deliver a subset of ECM components evenly throughout the embryo. This reveals that de novo BM construction requires a combination of both production and distribution logistics allowing for the timely delivery of core components.","lang":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"Published Version","publication_identifier":{"issn":["09609822"]},"day":"09","publist_id":"6905","scopus_import":"1","file":[{"file_size":4770657,"creator":"system","file_id":"4770","content_type":"application/pdf","date_updated":"2020-07-14T12:47:59Z","relation":"main_file","file_name":"IST-2017-875-v1+1_1-s2.0-S0960982217312691-main.pdf","date_created":"2018-12-12T10:09:45Z","access_level":"open_access","checksum":"264cf6c6c3551486ba5ea786850e000a"}],"file_date_updated":"2020-07-14T12:47:59Z","date_updated":"2023-09-27T12:25:31Z","_id":"751","page":"3526 - 3534e.4","type":"journal_article","oa":1,"date_published":"2017-11-09T00:00:00Z","publication":"Current Biology","publication_status":"published","citation":{"short":"Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.","ama":"Matsubayashi Y, Louani A, Dragu A, et al. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 2017;27(22):3526-3534e.4. doi:10.1016/j.cub.2017.10.001","mla":"Matsubayashi, Yutaka, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” Current Biology, vol. 27, no. 22, Cell Press, 2017, p. 3526–3534e.4, doi:10.1016/j.cub.2017.10.001.","ista":"Matsubayashi Y, Louani A, Dragu A, Sanchez Sanchez B, Serna Morales E, Yolland L, György A, Vizcay G, Fleck R, Heddleston J, Chew T, Siekhaus DE, Stramer B. 2017. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 27(22), 3526–3534e.4.","ieee":"Y. Matsubayashi et al., “A moving source of matrix components is essential for De Novo basement membrane formation,” Current Biology, vol. 27, no. 22. Cell Press, p. 3526–3534e.4, 2017.","apa":"Matsubayashi, Y., Louani, A., Dragu, A., Sanchez Sanchez, B., Serna Morales, E., Yolland, L., … Stramer, B. (2017). A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.10.001","chicago":"Matsubayashi, Yutaka, Adam Louani, Anca Dragu, Besaiz Sanchez Sanchez, Eduardo Serna Morales, Lawrence Yolland, Attila György, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” Current Biology. Cell Press, 2017. https://doi.org/10.1016/j.cub.2017.10.001."},"isi":1,"intvolume":" 27","quality_controlled":"1","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"}}]