--- _id: '6012' abstract: - lang: eng text: We present an approach to identify concise equations from data using a shallow neural network approach. In contrast to ordinary black-box regression, this approach allows understanding functional relations and generalizing them from observed data to unseen parts of the parameter space. We show how to extend the class of learnable equations for a recently proposed equation learning network to include divisions, and we improve the learning and model selection strategy to be useful for challenging real-world data. For systems governed by analytical expressions, our method can in many cases identify the true underlying equation and extrapolate to unseen domains. We demonstrate its effectiveness by experiments on a cart-pendulum system, where only 2 random rollouts are required to learn the forward dynamics and successfully achieve the swing-up task. article_processing_charge: No author: - first_name: Subham full_name: Sahoo, Subham last_name: Sahoo - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 - first_name: Georg S full_name: Martius, Georg S id: 3A276B68-F248-11E8-B48F-1D18A9856A87 last_name: Martius citation: ama: 'Sahoo S, Lampert C, Martius GS. Learning equations for extrapolation and control. In: Proceedings of the 35th International Conference on Machine Learning. Vol 80. ML Research Press; 2018:4442-4450.' apa: 'Sahoo, S., Lampert, C., & Martius, G. S. (2018). Learning equations for extrapolation and control. In Proceedings of the 35th International Conference on Machine Learning (Vol. 80, pp. 4442–4450). Stockholm, Sweden: ML Research Press.' chicago: Sahoo, Subham, Christoph Lampert, and Georg S Martius. “Learning Equations for Extrapolation and Control.” In Proceedings of the 35th International Conference on Machine Learning, 80:4442–50. ML Research Press, 2018. ieee: S. Sahoo, C. Lampert, and G. S. Martius, “Learning equations for extrapolation and control,” in Proceedings of the 35th International Conference on Machine Learning, Stockholm, Sweden, 2018, vol. 80, pp. 4442–4450. ista: 'Sahoo S, Lampert C, Martius GS. 2018. Learning equations for extrapolation and control. Proceedings of the 35th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 80, 4442–4450.' mla: Sahoo, Subham, et al. “Learning Equations for Extrapolation and Control.” Proceedings of the 35th International Conference on Machine Learning, vol. 80, ML Research Press, 2018, pp. 4442–50. short: S. Sahoo, C. Lampert, G.S. Martius, in:, Proceedings of the 35th International Conference on Machine Learning, ML Research Press, 2018, pp. 4442–4450. conference: end_date: 2018-07-15 location: Stockholm, Sweden name: 'ICML: International Conference on Machine Learning' start_date: 2018-07-10 date_created: 2019-02-14T15:21:07Z date_published: 2018-02-01T00:00:00Z date_updated: 2023-10-17T09:50:53Z day: '01' department: - _id: ChLa ec_funded: 1 external_id: arxiv: - '1806.07259' isi: - '000683379204058' intvolume: ' 80' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1806.07259 month: '02' oa: 1 oa_version: Preprint page: 4442-4450 project: - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: Proceedings of the 35th International Conference on Machine Learning publication_status: published publisher: ML Research Press quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/first-machine-learning-method-capable-of-accurate-extrapolation/ scopus_import: '1' status: public title: Learning equations for extrapolation and control type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 80 year: '2018' ... --- _id: '6011' abstract: - lang: eng text: 'We establish a data-dependent notion of algorithmic stability for Stochastic Gradient Descent (SGD), and employ it to develop novel generalization bounds. This is in contrast to previous distribution-free algorithmic stability results for SGD which depend on the worst-case constants. By virtue of the data-dependent argument, our bounds provide new insights into learning with SGD on convex and non-convex problems. In the convex case, we show that the bound on the generalization error depends on the risk at the initialization point. In the non-convex case, we prove that the expected curvature of the objective function around the initialization point has crucial influence on the generalization error. In both cases, our results suggest a simple data-driven strategy to stabilize SGD by pre-screening its initialization. As a corollary, our results allow us to show optimistic generalization bounds that exhibit fast convergence rates for SGD subject to a vanishing empirical risk and low noise of stochastic gradient. ' article_processing_charge: No author: - first_name: Ilja full_name: Kuzborskij, Ilja last_name: Kuzborskij - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 citation: ama: 'Kuzborskij I, Lampert C. Data-dependent stability of stochastic gradient descent. In: Proceedings of the 35 Th International Conference on Machine Learning. Vol 80. ML Research Press; 2018:2815-2824.' apa: 'Kuzborskij, I., & Lampert, C. (2018). Data-dependent stability of stochastic gradient descent. In Proceedings of the 35 th International Conference on Machine Learning (Vol. 80, pp. 2815–2824). Stockholm, Sweden: ML Research Press.' chicago: Kuzborskij, Ilja, and Christoph Lampert. “Data-Dependent Stability of Stochastic Gradient Descent.” In Proceedings of the 35 Th International Conference on Machine Learning, 80:2815–24. ML Research Press, 2018. ieee: I. Kuzborskij and C. Lampert, “Data-dependent stability of stochastic gradient descent,” in Proceedings of the 35 th International Conference on Machine Learning, Stockholm, Sweden, 2018, vol. 80, pp. 2815–2824. ista: 'Kuzborskij I, Lampert C. 2018. Data-dependent stability of stochastic gradient descent. Proceedings of the 35 th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 80, 2815–2824.' mla: Kuzborskij, Ilja, and Christoph Lampert. “Data-Dependent Stability of Stochastic Gradient Descent.” Proceedings of the 35 Th International Conference on Machine Learning, vol. 80, ML Research Press, 2018, pp. 2815–24. short: I. Kuzborskij, C. Lampert, in:, Proceedings of the 35 Th International Conference on Machine Learning, ML Research Press, 2018, pp. 2815–2824. conference: end_date: 2018-07-15 location: Stockholm, Sweden name: 'ICML: International Conference on Machine Learning' start_date: 2018-07-10 date_created: 2019-02-14T14:51:57Z date_published: 2018-02-01T00:00:00Z date_updated: 2023-10-17T09:51:13Z day: '01' department: - _id: ChLa ec_funded: 1 external_id: arxiv: - '1703.01678' isi: - '000683379202095' intvolume: ' 80' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1703.01678 month: '02' oa: 1 oa_version: Preprint page: 2815-2824 project: - _id: 2532554C-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '308036' name: Lifelong Learning of Visual Scene Understanding publication: Proceedings of the 35 th International Conference on Machine Learning publication_status: published publisher: ML Research Press quality_controlled: '1' scopus_import: '1' status: public title: Data-dependent stability of stochastic gradient descent type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 80 year: '2018' ... --- _id: '6589' abstract: - lang: eng text: Distributed training of massive machine learning models, in particular deep neural networks, via Stochastic Gradient Descent (SGD) is becoming commonplace. Several families of communication-reduction methods, such as quantization, large-batch methods, and gradient sparsification, have been proposed. To date, gradient sparsification methods--where each node sorts gradients by magnitude, and only communicates a subset of the components, accumulating the rest locally--are known to yield some of the largest practical gains. Such methods can reduce the amount of communication per step by up to \emph{three orders of magnitude}, while preserving model accuracy. Yet, this family of methods currently has no theoretical justification. This is the question we address in this paper. We prove that, under analytic assumptions, sparsifying gradients by magnitude with local error correction provides convergence guarantees, for both convex and non-convex smooth objectives, for data-parallel SGD. The main insight is that sparsification methods implicitly maintain bounds on the maximum impact of stale updates, thanks to selection by magnitude. Our analysis and empirical validation also reveal that these methods do require analytical conditions to converge well, justifying existing heuristics. article_processing_charge: No author: - first_name: Dan-Adrian full_name: Alistarh, Dan-Adrian id: 4A899BFC-F248-11E8-B48F-1D18A9856A87 last_name: Alistarh orcid: 0000-0003-3650-940X - first_name: Torsten full_name: Hoefler, Torsten last_name: Hoefler - first_name: Mikael full_name: Johansson, Mikael last_name: Johansson - first_name: Nikola H full_name: Konstantinov, Nikola H id: 4B9D76E4-F248-11E8-B48F-1D18A9856A87 last_name: Konstantinov - first_name: Sarit full_name: Khirirat, Sarit last_name: Khirirat - first_name: Cedric full_name: Renggli, Cedric last_name: Renggli citation: ama: 'Alistarh D-A, Hoefler T, Johansson M, Konstantinov NH, Khirirat S, Renggli C. The convergence of sparsified gradient methods. In: Advances in Neural Information Processing Systems 31. Vol Volume 2018. Neural Information Processing Systems Foundation; 2018:5973-5983.' apa: 'Alistarh, D.-A., Hoefler, T., Johansson, M., Konstantinov, N. H., Khirirat, S., & Renggli, C. (2018). The convergence of sparsified gradient methods. In Advances in Neural Information Processing Systems 31 (Vol. Volume 2018, pp. 5973–5983). Montreal, Canada: Neural Information Processing Systems Foundation.' chicago: Alistarh, Dan-Adrian, Torsten Hoefler, Mikael Johansson, Nikola H Konstantinov, Sarit Khirirat, and Cedric Renggli. “The Convergence of Sparsified Gradient Methods.” In Advances in Neural Information Processing Systems 31, Volume 2018:5973–83. Neural Information Processing Systems Foundation, 2018. ieee: D.-A. Alistarh, T. Hoefler, M. Johansson, N. H. Konstantinov, S. Khirirat, and C. Renggli, “The convergence of sparsified gradient methods,” in Advances in Neural Information Processing Systems 31, Montreal, Canada, 2018, vol. Volume 2018, pp. 5973–5983. ista: 'Alistarh D-A, Hoefler T, Johansson M, Konstantinov NH, Khirirat S, Renggli C. 2018. The convergence of sparsified gradient methods. Advances in Neural Information Processing Systems 31. NeurIPS: Conference on Neural Information Processing Systems vol. Volume 2018, 5973–5983.' mla: Alistarh, Dan-Adrian, et al. “The Convergence of Sparsified Gradient Methods.” Advances in Neural Information Processing Systems 31, vol. Volume 2018, Neural Information Processing Systems Foundation, 2018, pp. 5973–83. short: D.-A. Alistarh, T. Hoefler, M. Johansson, N.H. Konstantinov, S. Khirirat, C. Renggli, in:, Advances in Neural Information Processing Systems 31, Neural Information Processing Systems Foundation, 2018, pp. 5973–5983. conference: end_date: 2018-12-08 location: Montreal, Canada name: 'NeurIPS: Conference on Neural Information Processing Systems' start_date: 2018-12-02 date_created: 2019-06-27T09:32:55Z date_published: 2018-12-01T00:00:00Z date_updated: 2023-10-17T11:47:20Z day: '01' department: - _id: DaAl - _id: ChLa ec_funded: 1 external_id: arxiv: - '1809.10505' isi: - '000461852000047' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1809.10505 month: '12' oa: 1 oa_version: Preprint page: 5973-5983 project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication: Advances in Neural Information Processing Systems 31 publication_status: published publisher: Neural Information Processing Systems Foundation quality_controlled: '1' scopus_import: '1' status: public title: The convergence of sparsified gradient methods type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: Volume 2018 year: '2018' ... --- _id: '7' abstract: - lang: eng text: Animal social networks are shaped by multiple selection pressures, including the need to ensure efficient communication and functioning while simultaneously limiting disease transmission. Social animals could potentially further reduce epidemic risk by altering their social networks in the presence of pathogens, yet there is currently no evidence for such pathogen-triggered responses. We tested this hypothesis experimentally in the ant Lasius niger using a combination of automated tracking, controlled pathogen exposure, transmission quantification, and temporally explicit simulations. Pathogen exposure induced behavioral changes in both exposed ants and their nestmates, which helped contain the disease by reinforcing key transmission-inhibitory properties of the colony's contact network. This suggests that social network plasticity in response to pathogens is an effective strategy for mitigating the effects of disease in social groups. acknowledgement: This project was funded by two European Research Council Advanced Grants (Social Life, 249375, and resiliANT, 741491) and two Swiss National Science Foundation grants (CR32I3_141063 and 310030_156732) to L.K. and a European Research Council Starting Grant (SocialVaccines, 243071) to S.C. article_processing_charge: No article_type: original author: - first_name: Nathalie full_name: Stroeymeyt, Nathalie last_name: Stroeymeyt - first_name: Anna V full_name: Grasse, Anna V id: 406F989C-F248-11E8-B48F-1D18A9856A87 last_name: Grasse - first_name: Alessandro full_name: Crespi, Alessandro last_name: Crespi - first_name: Danielle full_name: Mersch, Danielle last_name: Mersch - first_name: Sylvia full_name: Cremer, Sylvia id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87 last_name: Cremer orcid: 0000-0002-2193-3868 - first_name: Laurent full_name: Keller, Laurent last_name: Keller citation: ama: Stroeymeyt N, Grasse AV, Crespi A, Mersch D, Cremer S, Keller L. Social network plasticity decreases disease transmission in a eusocial insect. Science. 2018;362(6417):941-945. doi:10.1126/science.aat4793 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. Science. AAAS. https://doi.org/10.1126/science.aat4793 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.” Science. AAAS, 2018. https://doi.org/10.1126/science.aat4793. 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,” Science, vol. 362, no. 6417. AAAS, pp. 941–945, 2018. ista: Stroeymeyt N, Grasse AV, Crespi A, Mersch D, Cremer S, Keller L. 2018. Social network plasticity decreases disease transmission in a eusocial insect. Science. 362(6417), 941–945. mla: Stroeymeyt, Nathalie, et al. “Social Network Plasticity Decreases Disease Transmission in a Eusocial Insect.” Science, vol. 362, no. 6417, AAAS, 2018, pp. 941–45, doi:10.1126/science.aat4793. short: N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, Science 362 (2018) 941–945. date_created: 2018-12-11T11:44:07Z date_published: 2018-11-23T00:00:00Z date_updated: 2023-10-17T11:50:05Z day: '23' department: - _id: SyCr doi: 10.1126/science.aat4793 ec_funded: 1 external_id: isi: - '000451124500041' intvolume: ' 362' isi: 1 issue: '6417' language: - iso: eng main_file_link: - open_access: '1' url: https://serval.unil.ch/resource/serval:BIB_E9228C205467.P001/REF.pdf month: '11' oa: 1 oa_version: Published Version page: 941 - 945 project: - _id: 25DC711C-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '243071' name: 'Social Vaccination in Ant Colonies: from Individual Mechanisms to Society Effects' publication: Science publication_identifier: issn: - 1095-9203 publication_status: published publisher: AAAS publist_id: '8049' quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/for-ants-unity-is-strength-and-health/ record: - id: '13055' relation: research_data status: public scopus_import: '1' status: public title: Social network plasticity decreases disease transmission in a eusocial insect type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 362 year: '2018' ... --- _id: '19' abstract: - lang: eng text: Bacteria regulate genes to survive antibiotic stress, but regulation can be far from perfect. When regulation is not optimal, mutations that change gene expression can contribute to antibiotic resistance. It is not systematically understood to what extent natural gene regulation is or is not optimal for distinct antibiotics, and how changes in expression of specific genes quantitatively affect antibiotic resistance. Here we discover a simple quantitative relation between fitness, gene expression, and antibiotic potency, which rationalizes our observation that a multitude of genes and even innate antibiotic defense mechanisms have expression that is critically nonoptimal under antibiotic treatment. First, we developed a pooled-strain drug-diffusion assay and screened Escherichia coli overexpression and knockout libraries, finding that resistance to a range of 31 antibiotics could result from changing expression of a large and functionally diverse set of genes, in a primarily but not exclusively drug-specific manner. Second, by synthetically controlling the expression of single-drug and multidrug resistance genes, we observed that their fitness-expression functions changed dramatically under antibiotic treatment in accordance with a log-sensitivity relation. Thus, because many genes are nonoptimally expressed under antibiotic treatment, many regulatory mutations can contribute to resistance by altering expression and by activating latent defenses. article_processing_charge: No article_type: original author: - first_name: Adam full_name: Palmer, Adam last_name: Palmer - first_name: Remy P full_name: Chait, Remy P id: 3464AE84-F248-11E8-B48F-1D18A9856A87 last_name: Chait orcid: 0000-0003-0876-3187 - first_name: Roy full_name: Kishony, Roy last_name: Kishony citation: ama: Palmer A, Chait RP, Kishony R. Nonoptimal gene expression creates latent potential for antibiotic resistance. Molecular Biology and Evolution. 2018;35(11):2669-2684. doi:10.1093/molbev/msy163 apa: Palmer, A., Chait, R. P., & Kishony, R. (2018). Nonoptimal gene expression creates latent potential for antibiotic resistance. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msy163 chicago: Palmer, Adam, Remy P Chait, and Roy Kishony. “Nonoptimal Gene Expression Creates Latent Potential for Antibiotic Resistance.” Molecular Biology and Evolution. Oxford University Press, 2018. https://doi.org/10.1093/molbev/msy163. ieee: A. Palmer, R. P. Chait, and R. Kishony, “Nonoptimal gene expression creates latent potential for antibiotic resistance,” Molecular Biology and Evolution, vol. 35, no. 11. Oxford University Press, pp. 2669–2684, 2018. ista: Palmer A, Chait RP, Kishony R. 2018. Nonoptimal gene expression creates latent potential for antibiotic resistance. Molecular Biology and Evolution. 35(11), 2669–2684. mla: Palmer, Adam, et al. “Nonoptimal Gene Expression Creates Latent Potential for Antibiotic Resistance.” Molecular Biology and Evolution, vol. 35, no. 11, Oxford University Press, 2018, pp. 2669–84, doi:10.1093/molbev/msy163. short: A. Palmer, R.P. Chait, R. Kishony, Molecular Biology and Evolution 35 (2018) 2669–2684. date_created: 2018-12-11T11:44:11Z date_published: 2018-08-28T00:00:00Z date_updated: 2023-10-17T11:51:06Z day: '28' department: - _id: CaGu - _id: GaTk doi: 10.1093/molbev/msy163 external_id: isi: - '000452567200006' pmid: - '30169679' intvolume: ' 35' isi: 1 issue: '11' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pubmed/30169679 month: '08' oa: 1 oa_version: Submitted Version page: 2669 - 2684 pmid: 1 publication: Molecular Biology and Evolution publication_identifier: issn: - 0737-4038 publication_status: published publisher: Oxford University Press publist_id: '8036' quality_controlled: '1' scopus_import: '1' status: public title: Nonoptimal gene expression creates latent potential for antibiotic resistance type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 35 year: '2018' ... --- _id: '6' 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. article_processing_charge: No author: - first_name: Javier full_name: Masís, Javier last_name: Masís - first_name: David full_name: Mankus, David last_name: Mankus - first_name: Steffen full_name: Wolff, Steffen last_name: Wolff - first_name: Grigori full_name: Guitchounts, Grigori last_name: Guitchounts - first_name: Maximilian A full_name: Jösch, Maximilian A id: 2BD278E6-F248-11E8-B48F-1D18A9856A87 last_name: Jösch orcid: 0000-0002-3937-1330 - first_name: David full_name: Cox, David last_name: Cox 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 apa: Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., & Cox, D. (2018). A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. Journal of Visualized Experiments. MyJove Corporation. https://doi.org/10.3791/58585 chicago: Masís, Javier, David Mankus, Steffen Wolff, Grigori Guitchounts, Maximilian A Jösch, and David Cox. “A Micro-CT-Based Method for Characterising Lesions and Locating Electrodes in Small Animal Brains.” Journal of Visualized Experiments. MyJove Corporation, 2018. https://doi.org/10.3791/58585. ieee: J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M. A. Jösch, and D. Cox, “A micro-CT-based method for characterising lesions and locating electrodes in small animal brains,” Journal of visualized experiments, vol. 141. MyJove Corporation, 2018. ista: Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. 2018. A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. Journal of visualized experiments. 141. 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. short: J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments 141 (2018). date_created: 2018-12-11T11:44:07Z date_published: 2018-11-08T00:00:00Z date_updated: 2023-10-17T11:49:25Z day: '08' department: - _id: MaJö doi: 10.3791/58585 external_id: isi: - '000456469400103' intvolume: ' 141' isi: 1 language: - iso: eng month: '11' oa_version: None publication: Journal of visualized experiments publication_status: published publisher: MyJove Corporation publist_id: '8050' quality_controlled: '1' scopus_import: '1' status: public title: A micro-CT-based method for characterising lesions and locating electrodes in small animal brains type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 141 year: '2018' ... --- _id: '13055' 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" article_processing_charge: No author: - first_name: Nathalie full_name: Stroeymeyt, Nathalie last_name: Stroeymeyt - first_name: Anna V full_name: Grasse, Anna V id: 406F989C-F248-11E8-B48F-1D18A9856A87 last_name: Grasse - first_name: Alessandro full_name: Crespi, Alessandro last_name: Crespi - first_name: Danielle full_name: Mersch, Danielle last_name: Mersch - first_name: Sylvia full_name: Cremer, Sylvia id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87 last_name: Cremer orcid: 0000-0002-2193-3868 - first_name: Laurent full_name: Keller, Laurent last_name: Keller citation: 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 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 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. 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. 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. mla: Stroeymeyt, Nathalie, et al. Social Network Plasticity Decreases Disease Transmission in a Eusocial Insect. Zenodo, 2018, doi:10.5281/ZENODO.1322669. short: N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018). date_created: 2023-05-23T13:24:51Z date_published: 2018-10-23T00:00:00Z date_updated: 2023-10-17T11:50:04Z day: '23' ddc: - '570' department: - _id: SyCr doi: 10.5281/ZENODO.1322669 license: https://creativecommons.org/licenses/by/4.0/ main_file_link: - open_access: '1' url: https://doi.org/10.5281/zenodo.1480665 month: '10' oa: 1 oa_version: Published Version publisher: Zenodo related_material: record: - id: '7' relation: used_in_publication status: public status: public title: Social network plasticity decreases disease transmission in a eusocial insect tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: research_data_reference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2018' ... --- _id: '22' 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. article_processing_charge: No article_type: original author: - first_name: Gabriel full_name: Botello, Gabriel last_name: Botello - first_name: Florian full_name: Sedlmeir, Florian last_name: Sedlmeir - first_name: Alfredo R full_name: Rueda Sanchez, Alfredo R id: 3B82B0F8-F248-11E8-B48F-1D18A9856A87 last_name: Rueda Sanchez orcid: 0000-0001-6249-5860 - first_name: Kerlos full_name: Abdalmalak, Kerlos last_name: Abdalmalak - first_name: Elliott full_name: Brown, Elliott last_name: Brown - first_name: Gerd full_name: Leuchs, Gerd last_name: Leuchs - first_name: Sascha full_name: Preu, Sascha last_name: Preu - first_name: Daniel full_name: Segovia Vargas, Daniel last_name: Segovia Vargas - first_name: Dmitry full_name: Strekalov, Dmitry last_name: Strekalov - first_name: Luis full_name: Munoz, Luis last_name: Munoz - first_name: Harald full_name: Schwefel, Harald last_name: Schwefel citation: 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 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 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. 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. 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. 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. 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. date_created: 2018-12-11T11:44:12Z date_published: 2018-10-20T00:00:00Z date_updated: 2023-10-17T12:12:40Z day: '20' department: - _id: JoFi doi: 10.1364/OPTICA.5.001210 external_id: isi: - '000447853100007' intvolume: ' 5' isi: 1 issue: '10' language: - iso: eng main_file_link: - open_access: '1' url: 'www.doi.org/10.1364/OPTICA.5.001210 ' month: '10' oa: 1 oa_version: Published Version page: 1210 - 1219 publication: Optica publication_identifier: issn: - '23342536' publication_status: published publist_id: '8033' quality_controlled: '1' scopus_import: '1' status: public title: Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 5 year: '2018' ... --- _id: '5677' abstract: - lang: eng 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.' article_processing_charge: No article_type: original author: - first_name: Albert full_name: Benveniste, Albert last_name: Benveniste - first_name: Dejan full_name: Nickovic, Dejan last_name: Nickovic - first_name: Benoît full_name: Caillaud, Benoît last_name: Caillaud - first_name: Roberto full_name: Passerone, Roberto last_name: Passerone - first_name: Jean Baptiste full_name: Raclet, Jean Baptiste last_name: Raclet - first_name: Philipp full_name: Reinkemeier, Philipp last_name: Reinkemeier - first_name: Alberto full_name: Sangiovanni-Vincentelli, Alberto last_name: Sangiovanni-Vincentelli - first_name: Werner full_name: Damm, Werner last_name: Damm - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Kim G. full_name: Larsen, Kim G. last_name: Larsen 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 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. 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. 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. 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. date_created: 2018-12-16T22:59:19Z date_published: 2018-05-01T00:00:00Z date_updated: 2023-10-17T11:53:09Z day: '01' department: - _id: ToHe doi: 10.1561/1000000053 intvolume: ' 12' issue: 2-3 language: - iso: eng main_file_link: - open_access: '1' url: https://hal.inria.fr/hal-00757488/ month: '05' oa: 1 oa_version: Submitted Version page: 124-400 publication: Foundations and Trends in Electronic Design Automation publication_identifier: issn: - 1551-3939 publication_status: published publisher: Now Publishers quality_controlled: '1' scopus_import: '1' status: public title: Contracts for system design type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 12 year: '2018' ... --- _id: '435' abstract: - lang: eng 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. 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.' article_processing_charge: No author: - first_name: Bikashkali full_name: Midya, Bikashkali id: 456187FC-F248-11E8-B48F-1D18A9856A87 last_name: Midya - first_name: Vladimir full_name: Konotop, Vladimir last_name: Konotop citation: 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 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 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. 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. 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. short: B. Midya, V. Konotop, Optics Letters 43 (2018) 607–610. date_created: 2018-12-11T11:46:27Z date_published: 2018-02-01T00:00:00Z date_updated: 2023-10-17T12:15:06Z day: '01' department: - _id: MiLe doi: 10.1364/OL.43.000607 ec_funded: 1 external_id: arxiv: - '1711.01986' isi: - '000423776600066' intvolume: ' 43' isi: 1 issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1711.01986 month: '02' oa: 1 oa_version: Preprint page: 607 - 610 project: - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: Optics Letters publication_status: published publisher: Optica Publishing Group publist_id: '7388' quality_controlled: '1' scopus_import: '1' status: public title: Coherent-perfect-absorber and laser for bound states in a continuum type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 43 year: '2018' ...