[{"article_processing_charge":"No","day":"08","month":"11","scopus_import":"1","doi":"10.3791/58585","date_published":"2018-11-08T00:00:00Z","language":[{"iso":"eng"}],"external_id":{"isi":["000456469400103"]},"citation":{"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","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.","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","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.","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."},"publication":"Journal of visualized experiments","isi":1,"quality_controlled":"1","publist_id":"8050","abstract":[{"lang":"eng","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."}],"type":"journal_article","author":[{"last_name":"Masís","first_name":"Javier","full_name":"Masís, Javier"},{"first_name":"David","last_name":"Mankus","full_name":"Mankus, David"},{"full_name":"Wolff, Steffen","first_name":"Steffen","last_name":"Wolff"},{"first_name":"Grigori","last_name":"Guitchounts","full_name":"Guitchounts, Grigori"},{"full_name":"Jösch, Maximilian A","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3937-1330","first_name":"Maximilian A","last_name":"Jösch"},{"full_name":"Cox, David","first_name":"David","last_name":"Cox"}],"oa_version":"None","volume":141,"date_updated":"2023-10-17T11:49:25Z","date_created":"2018-12-11T11:44:07Z","_id":"6","year":"2018","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"MyJove Corporation","intvolume":" 141","department":[{"_id":"MaJö"}],"status":"public","title":"A micro-CT-based method for characterising lesions and locating electrodes in small animal brains","publication_status":"published"},{"date_updated":"2023-10-17T11:50:04Z","date_created":"2023-05-23T13:24:51Z","oa_version":"Published Version","author":[{"full_name":"Stroeymeyt, Nathalie","last_name":"Stroeymeyt","first_name":"Nathalie"},{"full_name":"Grasse, Anna V","id":"406F989C-F248-11E8-B48F-1D18A9856A87","first_name":"Anna V","last_name":"Grasse"},{"full_name":"Crespi, Alessandro","first_name":"Alessandro","last_name":"Crespi"},{"last_name":"Mersch","first_name":"Danielle","full_name":"Mersch, Danielle"},{"first_name":"Sylvia","last_name":"Cremer","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia"},{"full_name":"Keller, Laurent","last_name":"Keller","first_name":"Laurent"}],"related_material":{"record":[{"id":"7","relation":"used_in_publication","status":"public"}]},"status":"public","ddc":["570"],"title":"Social network plasticity decreases disease transmission in a eusocial insect","department":[{"_id":"SyCr"}],"publisher":"Zenodo","_id":"13055","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2018","abstract":[{"lang":"eng","text":"Dataset for manuscript 'Social network plasticity decreases disease transmission in a eusocial insect'\r\nCompared to previous versions: - raw image files added\r\n - correction of URLs within README.txt file\r\n"}],"type":"research_data_reference","date_published":"2018-10-23T00:00:00Z","doi":"10.5281/ZENODO.1322669","citation":{"ieee":"N. Stroeymeyt, A. V. Grasse, A. Crespi, D. Mersch, S. Cremer, and L. Keller, “Social network plasticity decreases disease transmission in a eusocial insect.” Zenodo, 2018.","apa":"Stroeymeyt, N., Grasse, A. V., Crespi, A., Mersch, D., Cremer, S., & Keller, L. (2018). Social network plasticity decreases disease transmission in a eusocial insect. Zenodo. https://doi.org/10.5281/ZENODO.1322669","ista":"Stroeymeyt N, Grasse AV, Crespi A, Mersch D, Cremer S, Keller L. 2018. Social network plasticity decreases disease transmission in a eusocial insect, Zenodo, 10.5281/ZENODO.1322669.","ama":"Stroeymeyt N, Grasse AV, Crespi A, Mersch D, Cremer S, Keller L. Social network plasticity decreases disease transmission in a eusocial insect. 2018. doi:10.5281/ZENODO.1322669","chicago":"Stroeymeyt, Nathalie, Anna V Grasse, Alessandro Crespi, Danielle Mersch, Sylvia Cremer, and Laurent Keller. “Social Network Plasticity Decreases Disease Transmission in a Eusocial Insect.” Zenodo, 2018. https://doi.org/10.5281/ZENODO.1322669.","short":"N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).","mla":"Stroeymeyt, Nathalie, et al. Social Network Plasticity Decreases Disease Transmission in a Eusocial Insect. Zenodo, 2018, doi:10.5281/ZENODO.1322669."},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"main_file_link":[{"url":"https://doi.org/10.5281/zenodo.1480665","open_access":"1"}],"month":"10","day":"23","article_processing_charge":"No"},{"date_published":"2018-10-20T00:00:00Z","citation":{"chicago":"Botello, Gabriel, Florian Sedlmeir, Alfredo R Rueda Sanchez, Kerlos Abdalmalak, Elliott Brown, Gerd Leuchs, Sascha Preu, et al. “Sensitivity Limits of Millimeter-Wave Photonic Radiometers Based on Efficient Electro-Optic Upconverters.” Optica, 2018. https://doi.org/10.1364/OPTICA.5.001210.","short":"G. Botello, F. Sedlmeir, A.R. Rueda Sanchez, K. Abdalmalak, E. Brown, G. Leuchs, S. Preu, D. Segovia Vargas, D. Strekalov, L. Munoz, H. Schwefel, Optica 5 (2018) 1210–1219.","mla":"Botello, Gabriel, et al. “Sensitivity Limits of Millimeter-Wave Photonic Radiometers Based on Efficient Electro-Optic Upconverters.” Optica, vol. 5, no. 10, 2018, pp. 1210–19, doi:10.1364/OPTICA.5.001210.","ieee":"G. Botello et al., “Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters,” Optica, vol. 5, no. 10. pp. 1210–1219, 2018.","apa":"Botello, G., Sedlmeir, F., Rueda Sanchez, A. R., Abdalmalak, K., Brown, E., Leuchs, G., … Schwefel, H. (2018). Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters. Optica. https://doi.org/10.1364/OPTICA.5.001210","ista":"Botello G, Sedlmeir F, Rueda Sanchez AR, Abdalmalak K, Brown E, Leuchs G, Preu S, Segovia Vargas D, Strekalov D, Munoz L, Schwefel H. 2018. Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters. Optica. 5(10), 1210–1219.","ama":"Botello G, Sedlmeir F, Rueda Sanchez AR, et al. Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters. Optica. 2018;5(10):1210-1219. doi:10.1364/OPTICA.5.001210"},"publication":"Optica","page":"1210 - 1219","article_type":"original","article_processing_charge":"No","day":"20","scopus_import":"1","oa_version":"Published Version","_id":"22","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 5","title":"Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters","status":"public","issue":"10","abstract":[{"lang":"eng","text":"Conventional ultra-high sensitivity detectors in the millimeter-wave range are usually cooled as their own thermal noise at room temperature would mask the weak received radiation. The need for cryogenic systems increases the cost and complexity of the instruments, hindering the development of, among others, airborne and space applications. In this work, the nonlinear parametric upconversion of millimeter-wave radiation to the optical domain inside high-quality (Q) lithium niobate whispering-gallery mode (WGM) resonators is proposed for ultra-low noise detection. We experimentally demonstrate coherent upconversion of millimeter-wave signals to a 1550 nm telecom carrier, with a photon conversion efficiency surpassing the state-of-the-art by 2 orders of magnitude. Moreover, a theoretical model shows that the thermal equilibrium of counterpropagating WGMs is broken by overcoupling the millimeter-wave WGM, effectively cooling the upconverted mode and allowing ultra-low noise detection. By theoretically estimating the sensitivity of a correlation radiometer based on the presented scheme, it is found that room-temperature radiometers with better sensitivity than state-of-the-art high-electron-mobility transistor (HEMT)-based radiometers can be designed. This detection paradigm can be used to develop room-temperature instrumentation for radio astronomy, earth observation, planetary missions, and imaging systems."}],"type":"journal_article","doi":"10.1364/OPTICA.5.001210","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"www.doi.org/10.1364/OPTICA.5.001210 "}],"oa":1,"external_id":{"isi":["000447853100007"]},"isi":1,"quality_controlled":"1","publication_identifier":{"issn":["23342536"]},"month":"10","author":[{"full_name":"Botello, Gabriel","first_name":"Gabriel","last_name":"Botello"},{"full_name":"Sedlmeir, Florian","first_name":"Florian","last_name":"Sedlmeir"},{"full_name":"Rueda Sanchez, Alfredo R","first_name":"Alfredo R","last_name":"Rueda Sanchez","id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6249-5860"},{"full_name":"Abdalmalak, Kerlos","last_name":"Abdalmalak","first_name":"Kerlos"},{"full_name":"Brown, Elliott","first_name":"Elliott","last_name":"Brown"},{"first_name":"Gerd","last_name":"Leuchs","full_name":"Leuchs, Gerd"},{"full_name":"Preu, Sascha","first_name":"Sascha","last_name":"Preu"},{"full_name":"Segovia Vargas, Daniel","last_name":"Segovia Vargas","first_name":"Daniel"},{"first_name":"Dmitry","last_name":"Strekalov","full_name":"Strekalov, Dmitry"},{"first_name":"Luis","last_name":"Munoz","full_name":"Munoz, Luis"},{"first_name":"Harald","last_name":"Schwefel","full_name":"Schwefel, Harald"}],"volume":5,"date_updated":"2023-10-17T12:12:40Z","date_created":"2018-12-11T11:44:12Z","year":"2018","department":[{"_id":"JoFi"}],"publication_status":"published","publist_id":"8033"},{"doi":"10.1561/1000000053","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://hal.inria.fr/hal-00757488/","open_access":"1"}],"oa":1,"quality_controlled":"1","publication_identifier":{"issn":["1551-3939"]},"month":"05","author":[{"full_name":"Benveniste, Albert","first_name":"Albert","last_name":"Benveniste"},{"first_name":"Dejan","last_name":"Nickovic","full_name":"Nickovic, Dejan"},{"last_name":"Caillaud","first_name":"Benoît","full_name":"Caillaud, Benoît"},{"full_name":"Passerone, Roberto","first_name":"Roberto","last_name":"Passerone"},{"last_name":"Raclet","first_name":"Jean Baptiste","full_name":"Raclet, Jean Baptiste"},{"full_name":"Reinkemeier, Philipp","first_name":"Philipp","last_name":"Reinkemeier"},{"full_name":"Sangiovanni-Vincentelli, Alberto","last_name":"Sangiovanni-Vincentelli","first_name":"Alberto"},{"last_name":"Damm","first_name":"Werner","full_name":"Damm, Werner"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A","last_name":"Henzinger"},{"full_name":"Larsen, Kim G.","first_name":"Kim G.","last_name":"Larsen"}],"volume":12,"date_updated":"2023-10-17T11:53:09Z","date_created":"2018-12-16T22:59:19Z","year":"2018","department":[{"_id":"ToHe"}],"publisher":"Now Publishers","publication_status":"published","date_published":"2018-05-01T00:00:00Z","citation":{"ama":"Benveniste A, Nickovic D, Caillaud B, et al. Contracts for system design. Foundations and Trends in Electronic Design Automation. 2018;12(2-3):124-400. doi:10.1561/1000000053","apa":"Benveniste, A., Nickovic, D., Caillaud, B., Passerone, R., Raclet, J. B., Reinkemeier, P., … Larsen, K. G. (2018). Contracts for system design. Foundations and Trends in Electronic Design Automation. Now Publishers. https://doi.org/10.1561/1000000053","ieee":"A. Benveniste et al., “Contracts for system design,” Foundations and Trends in Electronic Design Automation, vol. 12, no. 2–3. Now Publishers, pp. 124–400, 2018.","ista":"Benveniste A, Nickovic D, Caillaud B, Passerone R, Raclet JB, Reinkemeier P, Sangiovanni-Vincentelli A, Damm W, Henzinger TA, Larsen KG. 2018. Contracts for system design. Foundations and Trends in Electronic Design Automation. 12(2–3), 124–400.","short":"A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations and Trends in Electronic Design Automation 12 (2018) 124–400.","mla":"Benveniste, Albert, et al. “Contracts for System Design.” Foundations and Trends in Electronic Design Automation, vol. 12, no. 2–3, Now Publishers, 2018, pp. 124–400, doi:10.1561/1000000053.","chicago":"Benveniste, Albert, Dejan Nickovic, Benoît Caillaud, Roberto Passerone, Jean Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A Henzinger, and Kim G. Larsen. “Contracts for System Design.” Foundations and Trends in Electronic Design Automation. Now Publishers, 2018. https://doi.org/10.1561/1000000053."},"publication":"Foundations and Trends in Electronic Design Automation","page":"124-400","article_type":"original","article_processing_charge":"No","day":"01","scopus_import":"1","oa_version":"Submitted Version","_id":"5677","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 12","title":"Contracts for system design","status":"public","issue":"2-3","abstract":[{"text":"Recently, contract-based design has been proposed as an “orthogonal” approach that complements system design methodologies proposed so far to cope with the complexity of system design. Contract-based design provides a rigorous scaffolding for verification, analysis, abstraction/refinement, and even synthesis. A number of results have been obtained in this domain but a unified treatment of the topic that can help put contract-based design in perspective was missing. This monograph intends to provide such a treatment where contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity. In particular, this monograph identifies the essence of complex system design using contracts through a mathematical “meta-theory”, where all the properties of the methodology are derived from a very abstract and generic notion of contract. We show that the meta-theory provides deep and illuminating links with existing contract and interface theories, as well as guidelines for designing new theories. Our study encompasses contracts for both software and systems, with emphasis on the latter. We illustrate the use of contracts with two examples: requirement engineering for a parking garage management, and the development of contracts for timing and scheduling in the context of the Autosar methodology in use in the automotive sector.","lang":"eng"}],"type":"journal_article"},{"ec_funded":1,"publist_id":"7388","year":"2018","acknowledgement":"Seventh Framework Programme (FP7) People: Marie-Curie Actions (PEOPLE) (291734). B. M. acknowledges the financial support by the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/ 2007-2013) under REA.","publisher":"Optica Publishing Group","department":[{"_id":"MiLe"}],"publication_status":"published","author":[{"first_name":"Bikashkali","last_name":"Midya","id":"456187FC-F248-11E8-B48F-1D18A9856A87","full_name":"Midya, Bikashkali"},{"last_name":"Konotop","first_name":"Vladimir","full_name":"Konotop, Vladimir"}],"volume":43,"date_updated":"2023-10-17T12:15:06Z","date_created":"2018-12-11T11:46:27Z","month":"02","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1711.01986"}],"external_id":{"isi":["000423776600066"],"arxiv":["1711.01986"]},"oa":1,"project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7"}],"quality_controlled":"1","isi":1,"doi":"10.1364/OL.43.000607","language":[{"iso":"eng"}],"type":"journal_article","issue":"3","abstract":[{"text":"It is shown that two fundamentally different phenomena, the bound states in continuum and the spectral singularity (or time-reversed spectral singularity), can occur simultaneously. This can be achieved in a rectangular core dielectric waveguide with an embedded active (or absorbing) layer. In such a system a two-dimensional bound state in a continuum is created in the plane of a waveguide cross section, and it is emitted or absorbed along the waveguide core. The idea can be used for experimental implementation of a laser or a coherent-perfect-absorber for a photonic bound state that resides in a continuous spectrum.","lang":"eng"}],"_id":"435","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":" 43","title":"Coherent-perfect-absorber and laser for bound states in a continuum","status":"public","oa_version":"Preprint","scopus_import":"1","article_processing_charge":"No","day":"01","citation":{"chicago":"Midya, Bikashkali, and Vladimir Konotop. “Coherent-Perfect-Absorber and Laser for Bound States in a Continuum.” Optics Letters. Optica Publishing Group, 2018. https://doi.org/10.1364/OL.43.000607.","short":"B. Midya, V. Konotop, Optics Letters 43 (2018) 607–610.","mla":"Midya, Bikashkali, and Vladimir Konotop. “Coherent-Perfect-Absorber and Laser for Bound States in a Continuum.” Optics Letters, vol. 43, no. 3, Optica Publishing Group, 2018, pp. 607–10, doi:10.1364/OL.43.000607.","apa":"Midya, B., & Konotop, V. (2018). Coherent-perfect-absorber and laser for bound states in a continuum. Optics Letters. Optica Publishing Group. https://doi.org/10.1364/OL.43.000607","ieee":"B. Midya and V. Konotop, “Coherent-perfect-absorber and laser for bound states in a continuum,” Optics Letters, vol. 43, no. 3. Optica Publishing Group, pp. 607–610, 2018.","ista":"Midya B, Konotop V. 2018. Coherent-perfect-absorber and laser for bound states in a continuum. Optics Letters. 43(3), 607–610.","ama":"Midya B, Konotop V. Coherent-perfect-absorber and laser for bound states in a continuum. Optics Letters. 2018;43(3):607-610. doi:10.1364/OL.43.000607"},"publication":"Optics Letters","page":"607 - 610","date_published":"2018-02-01T00:00:00Z"}]