---
_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'
...