---
_id: '78'
abstract:
- lang: eng
text: We provide a procedure for detecting the sub-segments of an incrementally
observed Boolean signal ω that match a given temporal pattern ϕ. As a pattern
specification language, we use timed regular expressions, a formalism well-suited
for expressing properties of concurrent asynchronous behaviors embedded in metric
time. We construct a timed automaton accepting the timed language denoted by ϕ
and modify it slightly for the purpose of matching. We then apply zone-based reachability
computation to this automaton while it reads ω, and retrieve all the matching
segments from the results. Since the procedure is automaton based, it can be applied
to patterns specified by other formalisms such as timed temporal logics reducible
to timed automata or directly encoded as timed automata. The procedure has been
implemented and its performance on synthetic examples is demonstrated.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Alexey
full_name: Bakhirkin, Alexey
last_name: Bakhirkin
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Dejan
full_name: Nickovic, Dejan
last_name: Nickovic
- first_name: Oded
full_name: Maler, Oded
last_name: Maler
- first_name: Eugene
full_name: Asarin, Eugene
last_name: Asarin
citation:
ama: 'Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. Online timed pattern
matching using automata. In: Vol 11022. Springer; 2018:215-232. doi:10.1007/978-3-030-00151-3_13'
apa: 'Bakhirkin, A., Ferrere, T., Nickovic, D., Maler, O., & Asarin, E. (2018).
Online timed pattern matching using automata (Vol. 11022, pp. 215–232). Presented
at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China:
Springer. https://doi.org/10.1007/978-3-030-00151-3_13'
chicago: Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene
Asarin. “Online Timed Pattern Matching Using Automata,” 11022:215–32. Springer,
2018. https://doi.org/10.1007/978-3-030-00151-3_13.
ieee: 'A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed
pattern matching using automata,” presented at the FORMATS: Formal Modeling and
Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.'
ista: 'Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. 2018. Online timed
pattern matching using automata. FORMATS: Formal Modeling and Analysis of Timed
Systems, LNCS, vol. 11022, 215–232.'
mla: Bakhirkin, Alexey, et al. Online Timed Pattern Matching Using Automata.
Vol. 11022, Springer, 2018, pp. 215–32, doi:10.1007/978-3-030-00151-3_13.
short: A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer,
2018, pp. 215–232.
conference:
end_date: 2018-09-06
location: Bejing, China
name: 'FORMATS: Formal Modeling and Analysis of Timed Systems'
start_date: 2018-09-04
date_created: 2018-12-11T11:44:31Z
date_published: 2018-08-26T00:00:00Z
date_updated: 2023-09-13T09:35:46Z
day: '26'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-00151-3_13
external_id:
isi:
- '000884993200013'
file:
- access_level: open_access
checksum: 436b7574934324cfa7d1d3986fddc65b
content_type: application/pdf
creator: dernst
date_created: 2020-05-14T11:34:34Z
date_updated: 2020-07-14T12:48:03Z
file_id: '7831'
file_name: 2018_LNCS_Bakhirkin.pdf
file_size: 374851
relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: ' 11022'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 215 - 232
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication_identifier:
isbn:
- 978-3-030-00150-6
publication_status: published
publisher: Springer
publist_id: '7976'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Online timed pattern matching using automata
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11022
year: '2018'
...
---
_id: '317'
abstract:
- lang: eng
text: We replace the established aluminium gates for the formation of quantum dots
in silicon with gates made from palladium. We study the morphology of both aluminium
and palladium gates with transmission electron microscopy. The native aluminium
oxide is found to be formed all around the aluminium gates, which could lead to
the formation of unintentional dots. Therefore, we report on a novel fabrication
route that replaces aluminium and its native oxide by palladium with atomic-layer-deposition-grown
aluminium oxide. Using this approach, we show the formation of low-disorder gate-defined
quantum dots, which are reproducibly fabricated. Furthermore, palladium enables
us to further shrink the gate design, allowing us to perform electron transport
measurements in the few-electron regime in devices comprising only two gate layers,
a major technological advancement. It remains to be seen, whether the introduction
of palladium gates can improve the excellent results on electron and nuclear spin
qubits defined with an aluminium gate stack.
article_number: '5690'
article_processing_charge: No
author:
- first_name: Matthias
full_name: Brauns, Matthias
id: 33F94E3C-F248-11E8-B48F-1D18A9856A87
last_name: Brauns
- first_name: Sergey
full_name: Amitonov, Sergey
last_name: Amitonov
- first_name: Paul
full_name: Spruijtenburg, Paul
last_name: Spruijtenburg
- first_name: Floris
full_name: Zwanenburg, Floris
last_name: Zwanenburg
citation:
ama: Brauns M, Amitonov S, Spruijtenburg P, Zwanenburg F. Palladium gates for reproducible
quantum dots in silicon. Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-24004-y
apa: Brauns, M., Amitonov, S., Spruijtenburg, P., & Zwanenburg, F. (2018). Palladium
gates for reproducible quantum dots in silicon. Scientific Reports. Nature
Publishing Group. https://doi.org/10.1038/s41598-018-24004-y
chicago: Brauns, Matthias, Sergey Amitonov, Paul Spruijtenburg, and Floris Zwanenburg.
“Palladium Gates for Reproducible Quantum Dots in Silicon.” Scientific Reports.
Nature Publishing Group, 2018. https://doi.org/10.1038/s41598-018-24004-y.
ieee: M. Brauns, S. Amitonov, P. Spruijtenburg, and F. Zwanenburg, “Palladium gates
for reproducible quantum dots in silicon,” Scientific Reports, vol. 8,
no. 1. Nature Publishing Group, 2018.
ista: Brauns M, Amitonov S, Spruijtenburg P, Zwanenburg F. 2018. Palladium gates
for reproducible quantum dots in silicon. Scientific Reports. 8(1), 5690.
mla: Brauns, Matthias, et al. “Palladium Gates for Reproducible Quantum Dots in
Silicon.” Scientific Reports, vol. 8, no. 1, 5690, Nature Publishing Group,
2018, doi:10.1038/s41598-018-24004-y.
short: M. Brauns, S. Amitonov, P. Spruijtenburg, F. Zwanenburg, Scientific Reports
8 (2018).
date_created: 2018-12-11T11:45:47Z
date_published: 2018-04-09T00:00:00Z
date_updated: 2023-09-13T09:38:00Z
day: '09'
ddc:
- '539'
department:
- _id: GeKa
doi: 10.1038/s41598-018-24004-y
external_id:
isi:
- '000429404300013'
file:
- access_level: open_access
checksum: 20af238ca4ba6491b77270be8d826bf5
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:04Z
date_updated: 2020-07-14T12:46:02Z
file_id: '5256'
file_name: IST-2018-1016-v1+1_2018_Brauns_Palladium_gates.pdf
file_size: 1850530
relation: main_file
file_date_updated: 2020-07-14T12:46:02Z
has_accepted_license: '1'
intvolume: ' 8'
isi: 1
issue: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
publication: Scientific Reports
publication_status: published
publisher: Nature Publishing Group
publist_id: '7548'
pubrep_id: '1016'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Palladium gates for reproducible quantum dots in silicon
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: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 8
year: '2018'
...
---
_id: '194'
abstract:
- lang: eng
text: Ants are emerging model systems to study cellular signaling because distinct
castes possess different physiologic phenotypes within the same colony. Here we
studied the functionality of inotocin signaling, an insect ortholog of mammalian
oxytocin (OT), which was recently discovered in ants. In Lasius ants, we determined
that specialization within the colony, seasonal factors, and physiologic conditions
down-regulated the expression of the OT-like signaling system. Given this natural
variation, we interrogated its function using RNAi knockdowns. Next-generation
RNA sequencing of OT-like precursor knock-down ants highlighted its role in the
regulation of genes involved in metabolism. Knock-down ants exhibited higher walking
activity and increased self-grooming in the brood chamber. We propose that OT-like
signaling in ants is important for regulating metabolic processes and locomotion.
article_processing_charge: No
article_type: original
author:
- first_name: Zita
full_name: Liutkeviciute, Zita
last_name: Liutkeviciute
- first_name: Esther
full_name: Gil Mansilla, Esther
last_name: Gil Mansilla
- first_name: Thomas
full_name: Eder, Thomas
last_name: Eder
- first_name: Barbara E
full_name: Casillas Perez, Barbara E
id: 351ED2AA-F248-11E8-B48F-1D18A9856A87
last_name: Casillas Perez
- first_name: Maria
full_name: Giulia Di Giglio, Maria
last_name: Giulia Di Giglio
- first_name: Edin
full_name: Muratspahić, Edin
last_name: Muratspahić
- first_name: Florian
full_name: Grebien, Florian
last_name: Grebien
- first_name: Thomas
full_name: Rattei, Thomas
last_name: Rattei
- first_name: Markus
full_name: Muttenthaler, Markus
last_name: Muttenthaler
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
- first_name: Christian
full_name: Gruber, Christian
last_name: Gruber
citation:
ama: Liutkeviciute Z, Gil Mansilla E, Eder T, et al. Oxytocin-like signaling in
ants influences metabolic gene expression and locomotor activity. The FASEB
Journal. 2018;32(12):6808-6821. doi:10.1096/fj.201800443
apa: Liutkeviciute, Z., Gil Mansilla, E., Eder, T., Casillas Perez, B. E., Giulia
Di Giglio, M., Muratspahić, E., … Gruber, C. (2018). Oxytocin-like signaling in
ants influences metabolic gene expression and locomotor activity. The FASEB
Journal. FASEB. https://doi.org/10.1096/fj.201800443
chicago: Liutkeviciute, Zita, Esther Gil Mansilla, Thomas Eder, Barbara E Casillas
Perez, Maria Giulia Di Giglio, Edin Muratspahić, Florian Grebien, et al. “Oxytocin-like
Signaling in Ants Influences Metabolic Gene Expression and Locomotor Activity.”
The FASEB Journal. FASEB, 2018. https://doi.org/10.1096/fj.201800443.
ieee: Z. Liutkeviciute et al., “Oxytocin-like signaling in ants influences
metabolic gene expression and locomotor activity,” The FASEB Journal, vol.
32, no. 12. FASEB, pp. 6808–6821, 2018.
ista: Liutkeviciute Z, Gil Mansilla E, Eder T, Casillas Perez BE, Giulia Di Giglio
M, Muratspahić E, Grebien F, Rattei T, Muttenthaler M, Cremer S, Gruber C. 2018.
Oxytocin-like signaling in ants influences metabolic gene expression and locomotor
activity. The FASEB Journal. 32(12), 6808–6821.
mla: Liutkeviciute, Zita, et al. “Oxytocin-like Signaling in Ants Influences Metabolic
Gene Expression and Locomotor Activity.” The FASEB Journal, vol. 32, no.
12, FASEB, 2018, pp. 6808–21, doi:10.1096/fj.201800443.
short: Z. Liutkeviciute, E. Gil Mansilla, T. Eder, B.E. Casillas Perez, M. Giulia
Di Giglio, E. Muratspahić, F. Grebien, T. Rattei, M. Muttenthaler, S. Cremer,
C. Gruber, The FASEB Journal 32 (2018) 6808–6821.
date_created: 2018-12-11T11:45:08Z
date_published: 2018-11-29T00:00:00Z
date_updated: 2023-09-13T09:37:32Z
day: '29'
department:
- _id: SyCr
doi: 10.1096/fj.201800443
external_id:
isi:
- '000449359700035'
pmid:
- '29939785'
intvolume: ' 32'
isi: 1
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: ' https://doi.org/10.1096/fj.201800443'
month: '11'
oa: 1
oa_version: Published Version
page: 6808-6821
pmid: 1
project:
- _id: 25E3D34E-B435-11E9-9278-68D0E5697425
name: Individual function and social role of oxytocin-like neuropeptides in ants
publication: The FASEB Journal
publication_identifier:
issn:
- '08926638'
publication_status: published
publisher: FASEB
publist_id: '7721'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Oxytocin-like signaling in ants influences metabolic gene expression and locomotor
activity
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 32
year: '2018'
...
---
_id: '159'
abstract:
- lang: eng
text: L-type Ca2+ channels (LTCCs) play a crucial role in excitation-contraction
coupling and release of hormones from secretory cells. They are targets of antihypertensive
and antiarrhythmic drugs such as diltiazem. Here, we present a photoswitchable
diltiazem, FHU-779, which can be used to reversibly block endogenous LTCCs by
light. FHU-779 is as potent as diltiazem and can be used to place pancreatic β-cell
function and cardiac activity under optical control.
article_processing_charge: No
article_type: original
author:
- first_name: Timm
full_name: Fehrentz, Timm
last_name: Fehrentz
- first_name: Florian
full_name: Huber, Florian
last_name: Huber
- first_name: Nina
full_name: Hartrampf, Nina
last_name: Hartrampf
- first_name: Tobias
full_name: Bruegmann, Tobias
last_name: Bruegmann
- first_name: James
full_name: Frank, James
last_name: Frank
- first_name: Nicholas
full_name: Fine, Nicholas
last_name: Fine
- first_name: Daniela
full_name: Malan, Daniela
last_name: Malan
- first_name: Johann G
full_name: Danzl, Johann G
id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
last_name: Danzl
orcid: 0000-0001-8559-3973
- first_name: Denis
full_name: Tikhonov, Denis
last_name: Tikhonov
- first_name: Maritn
full_name: Sumser, Maritn
last_name: Sumser
- first_name: Philipp
full_name: Sasse, Philipp
last_name: Sasse
- first_name: David
full_name: Hodson, David
last_name: Hodson
- first_name: Boris
full_name: Zhorov, Boris
last_name: Zhorov
- first_name: Nikolaj
full_name: Klocker, Nikolaj
last_name: Klocker
- first_name: Dirk
full_name: Trauner, Dirk
last_name: Trauner
citation:
ama: Fehrentz T, Huber F, Hartrampf N, et al. Optical control of L-type Ca2+ channels
using a diltiazem photoswitch. Nature Chemical Biology. 2018;14(8):764-767.
doi:10.1038/s41589-018-0090-8
apa: Fehrentz, T., Huber, F., Hartrampf, N., Bruegmann, T., Frank, J., Fine, N.,
… Trauner, D. (2018). Optical control of L-type Ca2+ channels using a diltiazem
photoswitch. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/s41589-018-0090-8
chicago: Fehrentz, Timm, Florian Huber, Nina Hartrampf, Tobias Bruegmann, James
Frank, Nicholas Fine, Daniela Malan, et al. “Optical Control of L-Type Ca2+ Channels
Using a Diltiazem Photoswitch.” Nature Chemical Biology. Nature Publishing
Group, 2018. https://doi.org/10.1038/s41589-018-0090-8.
ieee: T. Fehrentz et al., “Optical control of L-type Ca2+ channels using
a diltiazem photoswitch,” Nature Chemical Biology, vol. 14, no. 8. Nature
Publishing Group, pp. 764–767, 2018.
ista: Fehrentz T, Huber F, Hartrampf N, Bruegmann T, Frank J, Fine N, Malan D, Danzl
JG, Tikhonov D, Sumser M, Sasse P, Hodson D, Zhorov B, Klocker N, Trauner D. 2018.
Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature
Chemical Biology. 14(8), 764–767.
mla: Fehrentz, Timm, et al. “Optical Control of L-Type Ca2+ Channels Using a Diltiazem
Photoswitch.” Nature Chemical Biology, vol. 14, no. 8, Nature Publishing
Group, 2018, pp. 764–67, doi:10.1038/s41589-018-0090-8.
short: T. Fehrentz, F. Huber, N. Hartrampf, T. Bruegmann, J. Frank, N. Fine, D.
Malan, J.G. Danzl, D. Tikhonov, M. Sumser, P. Sasse, D. Hodson, B. Zhorov, N.
Klocker, D. Trauner, Nature Chemical Biology 14 (2018) 764–767.
date_created: 2018-12-11T11:44:56Z
date_published: 2018-07-16T00:00:00Z
date_updated: 2023-09-13T09:36:35Z
day: '16'
ddc:
- '570'
department:
- _id: JoDa
doi: 10.1038/s41589-018-0090-8
external_id:
isi:
- '000438970200010'
file:
- access_level: open_access
checksum: d42935094ec845f54a0688bf12986d62
content_type: application/pdf
creator: dernst
date_created: 2020-05-14T12:14:09Z
date_updated: 2020-07-14T12:45:03Z
file_id: '7832'
file_name: 2018_NatureChemicalBiology_Fehrentz.pdf
file_size: 6321000
relation: main_file
file_date_updated: 2020-07-14T12:45:03Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
issue: '8'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 764 - 767
publication: Nature Chemical Biology
publication_status: published
publisher: Nature Publishing Group
publist_id: '7762'
quality_controlled: '1'
related_material:
link:
- relation: erratum
url: https://doi.org/10.1038/s41589-021-00744-3
scopus_import: '1'
status: public
title: Optical control of L-type Ca2+ channels using a diltiazem photoswitch
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 14
year: '2018'
...
---
_id: '79'
abstract:
- lang: eng
text: 'Markov Decision Processes (MDPs) are a popular class of models suitable for
solving control decision problems in probabilistic reactive systems. We consider
parametric MDPs (pMDPs) that include parameters in some of the transition probabilities
to account for stochastic uncertainties of the environment such as noise or input
disturbances. We study pMDPs with reachability objectives where the parameter
values are unknown and impossible to measure directly during execution, but there
is a probability distribution known over the parameter values. We study for the
first time computing parameter-independent strategies that are expectation optimal,
i.e., optimize the expected reachability probability under the probability distribution
over the parameters. We present an encoding of our problem to partially observable
MDPs (POMDPs), i.e., a reduction of our problem to computing optimal strategies
in POMDPs. We evaluate our method experimentally on several benchmarks: a motivating
(repeated) learner model; a series of benchmarks of varying configurations of
a robot moving on a grid; and a consensus protocol.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Sebastian
full_name: Arming, Sebastian
last_name: Arming
- first_name: Ezio
full_name: Bartocci, Ezio
last_name: Bartocci
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Joost P
full_name: Katoen, Joost P
id: 4524F760-F248-11E8-B48F-1D18A9856A87
last_name: Katoen
- first_name: Ana
full_name: Sokolova, Ana
last_name: Sokolova
citation:
ama: 'Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. Parameter-independent
strategies for pMDPs via POMDPs. In: Vol 11024. Springer; 2018:53-70. doi:10.1007/978-3-319-99154-2_4'
apa: 'Arming, S., Bartocci, E., Chatterjee, K., Katoen, J. P., & Sokolova, A.
(2018). Parameter-independent strategies for pMDPs via POMDPs (Vol. 11024, pp.
53–70). Presented at the QEST: Quantitative Evaluation of Systems, Beijing, China:
Springer. https://doi.org/10.1007/978-3-319-99154-2_4'
chicago: Arming, Sebastian, Ezio Bartocci, Krishnendu Chatterjee, Joost P Katoen,
and Ana Sokolova. “Parameter-Independent Strategies for PMDPs via POMDPs,” 11024:53–70.
Springer, 2018. https://doi.org/10.1007/978-3-319-99154-2_4.
ieee: 'S. Arming, E. Bartocci, K. Chatterjee, J. P. Katoen, and A. Sokolova, “Parameter-independent
strategies for pMDPs via POMDPs,” presented at the QEST: Quantitative Evaluation
of Systems, Beijing, China, 2018, vol. 11024, pp. 53–70.'
ista: 'Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. 2018. Parameter-independent
strategies for pMDPs via POMDPs. QEST: Quantitative Evaluation of Systems, LNCS,
vol. 11024, 53–70.'
mla: Arming, Sebastian, et al. Parameter-Independent Strategies for PMDPs via
POMDPs. Vol. 11024, Springer, 2018, pp. 53–70, doi:10.1007/978-3-319-99154-2_4.
short: S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer,
2018, pp. 53–70.
conference:
end_date: 2018-09-07
location: Beijing, China
name: 'QEST: Quantitative Evaluation of Systems'
start_date: 2018-09-04
date_created: 2018-12-11T11:44:31Z
date_published: 2018-08-15T00:00:00Z
date_updated: 2023-09-13T09:38:28Z
day: '15'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-319-99154-2_4
external_id:
arxiv:
- '1806.05126'
isi:
- '000548912200004'
intvolume: ' 11024'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1806.05126
month: '08'
oa: 1
oa_version: Preprint
page: 53-70
publication_status: published
publisher: Springer
publist_id: '7975'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Parameter-independent strategies for pMDPs via POMDPs
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11024
year: '2018'
...
---
_id: '14327'
abstract:
- lang: eng
text: "A common assumption in causal modeling posits that the data is generated
by a\r\nset of independent mechanisms, and algorithms should aim to recover this\r\nstructure.
Standard unsupervised learning, however, is often concerned with\r\ntraining a
single model to capture the overall distribution or aspects thereof.\r\nInspired
by clustering approaches, we consider mixtures of implicit generative\r\nmodels
that ``disentangle'' the independent generative mechanisms underlying\r\nthe data.
Relying on an additional set of discriminators, we propose a\r\ncompetitive training
procedure in which the models only need to capture the\r\nportion of the data
distribution from which they can produce realistic samples.\r\nAs a by-product,
each model is simpler and faster to train. We empirically show\r\nthat our approach
splits the training distribution in a sensible way and\r\nincreases the quality
of the generated samples."
article_number: '1804.11130'
article_processing_charge: No
author:
- first_name: Francesco
full_name: Locatello, Francesco
id: 26cfd52f-2483-11ee-8040-88983bcc06d4
last_name: Locatello
orcid: 0000-0002-4850-0683
- first_name: Damien
full_name: Vincent, Damien
last_name: Vincent
- first_name: Ilya
full_name: Tolstikhin, Ilya
last_name: Tolstikhin
- first_name: Gunnar
full_name: Rätsch, Gunnar
last_name: Rätsch
- first_name: Sylvain
full_name: Gelly, Sylvain
last_name: Gelly
- first_name: Bernhard
full_name: Schölkopf, Bernhard
last_name: Schölkopf
citation:
ama: Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive
training of mixtures of independent deep generative models. arXiv. doi:10.48550/arXiv.1804.11130
apa: Locatello, F., Vincent, D., Tolstikhin, I., Rätsch, G., Gelly, S., & Schölkopf,
B. (n.d.). Competitive training of mixtures of independent deep generative models.
arXiv. https://doi.org/10.48550/arXiv.1804.11130
chicago: Locatello, Francesco, Damien Vincent, Ilya Tolstikhin, Gunnar Rätsch, Sylvain
Gelly, and Bernhard Schölkopf. “Competitive Training of Mixtures of Independent
Deep Generative Models.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1804.11130.
ieee: F. Locatello, D. Vincent, I. Tolstikhin, G. Rätsch, S. Gelly, and B. Schölkopf,
“Competitive training of mixtures of independent deep generative models,” arXiv.
.
ista: Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive
training of mixtures of independent deep generative models. arXiv, 1804.11130.
mla: Locatello, Francesco, et al. “Competitive Training of Mixtures of Independent
Deep Generative Models.” ArXiv, 1804.11130, doi:10.48550/arXiv.1804.11130.
short: F. Locatello, D. Vincent, I. Tolstikhin, G. Rätsch, S. Gelly, B. Schölkopf,
ArXiv (n.d.).
date_created: 2023-09-13T12:20:49Z
date_published: 2018-04-30T00:00:00Z
date_updated: 2023-09-13T12:23:03Z
day: '30'
department:
- _id: FrLo
doi: 10.48550/arXiv.1804.11130
extern: '1'
external_id:
arxiv:
- '1804.11130'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.1804.11130
month: '04'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: Competitive training of mixtures of independent deep generative models
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '400'
abstract:
- lang: eng
text: We consider the two-dimensional BCS functional with a radial pair interaction.
We show that the translational symmetry is not broken in a certain temperature
interval below the critical temperature. In the case of vanishing angular momentum,
our results carry over to the three-dimensional case.
article_processing_charge: Yes (via OA deal)
author:
- first_name: Andreas
full_name: Deuchert, Andreas
id: 4DA65CD0-F248-11E8-B48F-1D18A9856A87
last_name: Deuchert
orcid: 0000-0003-3146-6746
- first_name: Alissa
full_name: Geisinge, Alissa
last_name: Geisinge
- first_name: Christian
full_name: Hainzl, Christian
last_name: Hainzl
- first_name: Michael
full_name: Loss, Michael
last_name: Loss
citation:
ama: Deuchert A, Geisinge A, Hainzl C, Loss M. Persistence of translational symmetry
in the BCS model with radial pair interaction. Annales Henri Poincare.
2018;19(5):1507-1527. doi:10.1007/s00023-018-0665-7
apa: Deuchert, A., Geisinge, A., Hainzl, C., & Loss, M. (2018). Persistence
of translational symmetry in the BCS model with radial pair interaction. Annales
Henri Poincare. Springer. https://doi.org/10.1007/s00023-018-0665-7
chicago: Deuchert, Andreas, Alissa Geisinge, Christian Hainzl, and Michael Loss.
“Persistence of Translational Symmetry in the BCS Model with Radial Pair Interaction.”
Annales Henri Poincare. Springer, 2018. https://doi.org/10.1007/s00023-018-0665-7.
ieee: A. Deuchert, A. Geisinge, C. Hainzl, and M. Loss, “Persistence of translational
symmetry in the BCS model with radial pair interaction,” Annales Henri Poincare,
vol. 19, no. 5. Springer, pp. 1507–1527, 2018.
ista: Deuchert A, Geisinge A, Hainzl C, Loss M. 2018. Persistence of translational
symmetry in the BCS model with radial pair interaction. Annales Henri Poincare.
19(5), 1507–1527.
mla: Deuchert, Andreas, et al. “Persistence of Translational Symmetry in the BCS
Model with Radial Pair Interaction.” Annales Henri Poincare, vol. 19, no.
5, Springer, 2018, pp. 1507–27, doi:10.1007/s00023-018-0665-7.
short: A. Deuchert, A. Geisinge, C. Hainzl, M. Loss, Annales Henri Poincare 19 (2018)
1507–1527.
date_created: 2018-12-11T11:46:15Z
date_published: 2018-05-01T00:00:00Z
date_updated: 2023-09-15T12:04:15Z
day: '01'
ddc:
- '510'
department:
- _id: RoSe
doi: 10.1007/s00023-018-0665-7
ec_funded: 1
external_id:
isi:
- '000429799900008'
file:
- access_level: open_access
checksum: 04d2c9bd7cbf3ca1d7acaaf4e7dca3e5
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:12:47Z
date_updated: 2020-07-14T12:46:22Z
file_id: '4966'
file_name: IST-2018-1011-v1+1_2018_Deuchert_Persistence.pdf
file_size: 582680
relation: main_file
file_date_updated: 2020-07-14T12:46:22Z
has_accepted_license: '1'
intvolume: ' 19'
isi: 1
issue: '5'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 1507 - 1527
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '694227'
name: Analysis of quantum many-body systems
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Annales Henri Poincare
publication_status: published
publisher: Springer
publist_id: '7429'
pubrep_id: '1011'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Persistence of translational symmetry in the BCS model with radial pair interaction
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: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 19
year: '2018'
...
---
_id: '406'
abstract:
- lang: eng
text: 'Recent developments in automated tracking allow uninterrupted, high-resolution
recording of animal trajectories, sometimes coupled with the identification of
stereotyped changes of body pose or other behaviors of interest. Analysis and
interpretation of such data represents a challenge: the timing of animal behaviors
may be stochastic and modulated by kinematic variables, by the interaction with
the environment or with the conspecifics within the animal group, and dependent
on internal cognitive or behavioral state of the individual. Existing models for
collective motion typically fail to incorporate the discrete, stochastic, and
internal-state-dependent aspects of behavior, while models focusing on individual
animal behavior typically ignore the spatial aspects of the problem. Here we propose
a probabilistic modeling framework to address this gap. Each animal can switch
stochastically between different behavioral states, with each state resulting
in a possibly different law of motion through space. Switching rates for behavioral
transitions can depend in a very general way, which we seek to identify from data,
on the effects of the environment as well as the interaction between the animals.
We represent the switching dynamics as a Generalized Linear Model and show that:
(i) forward simulation of multiple interacting animals is possible using a variant
of the Gillespie’s Stochastic Simulation Algorithm; (ii) formulated properly,
the maximum likelihood inference of switching rate functions is tractably solvable
by gradient descent; (iii) model selection can be used to identify factors that
modulate behavioral state switching and to appropriately adjust model complexity
to data. To illustrate our framework, we apply it to two synthetic models of animal
motion and to real zebrafish tracking data. '
acknowledgement: This work was supported by the Human Frontier Science Program RGP0065/2012
(GT, ES).
article_processing_charge: Yes
author:
- first_name: Katarína
full_name: Bod’Ová, Katarína
last_name: Bod’Ová
- first_name: Gabriel
full_name: Mitchell, Gabriel
id: 315BCD80-F248-11E8-B48F-1D18A9856A87
last_name: Mitchell
- first_name: Roy
full_name: Harpaz, Roy
last_name: Harpaz
- first_name: Elad
full_name: Schneidman, Elad
last_name: Schneidman
- first_name: Gasper
full_name: Tkacik, Gasper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkacik
orcid: 0000-0002-6699-1455
citation:
ama: Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. Probabilistic models
of individual and collective animal behavior. PLoS One. 2018;13(3). doi:10.1371/journal.pone.0193049
apa: Bod’Ová, K., Mitchell, G., Harpaz, R., Schneidman, E., & Tkačik, G. (2018).
Probabilistic models of individual and collective animal behavior. PLoS One.
Public Library of Science. https://doi.org/10.1371/journal.pone.0193049
chicago: Bod’Ová, Katarína, Gabriel Mitchell, Roy Harpaz, Elad Schneidman, and Gašper
Tkačik. “Probabilistic Models of Individual and Collective Animal Behavior.” PLoS
One. Public Library of Science, 2018. https://doi.org/10.1371/journal.pone.0193049.
ieee: K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, and G. Tkačik, “Probabilistic
models of individual and collective animal behavior,” PLoS One, vol. 13,
no. 3. Public Library of Science, 2018.
ista: Bod’Ová K, Mitchell G, Harpaz R, Schneidman E, Tkačik G. 2018. Probabilistic
models of individual and collective animal behavior. PLoS One. 13(3).
mla: Bod’Ová, Katarína, et al. “Probabilistic Models of Individual and Collective
Animal Behavior.” PLoS One, vol. 13, no. 3, Public Library of Science,
2018, doi:10.1371/journal.pone.0193049.
short: K. Bod’Ová, G. Mitchell, R. Harpaz, E. Schneidman, G. Tkačik, PLoS One 13
(2018).
date_created: 2018-12-11T11:46:18Z
date_published: 2018-03-07T00:00:00Z
date_updated: 2023-09-15T12:06:19Z
day: '07'
ddc:
- '530'
- '571'
department:
- _id: GaTk
doi: 10.1371/journal.pone.0193049
external_id:
isi:
- '000426896800032'
file:
- access_level: open_access
checksum: 684229493db75b43e98a46cd922da497
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:43Z
date_updated: 2020-07-14T12:46:22Z
file_id: '5165'
file_name: IST-2018-995-v1+1_2018_Bodova_Probabilistic.pdf
file_size: 6887358
relation: main_file
file_date_updated: 2020-07-14T12:46:22Z
has_accepted_license: '1'
intvolume: ' 13'
isi: 1
issue: '3'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
project:
- _id: 255008E4-B435-11E9-9278-68D0E5697425
grant_number: RGP0065/2012
name: Information processing and computation in fish groups
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '7423'
pubrep_id: '995'
quality_controlled: '1'
related_material:
record:
- id: '9831'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Probabilistic models of individual and collective animal behavior
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: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 13
year: '2018'
...
---
_id: '457'
abstract:
- lang: eng
text: Temperate bacteriophages integrate in bacterial genomes as prophages and represent
an important source of genetic variation for bacterial evolution, frequently transmitting
fitness-augmenting genes such as toxins responsible for virulence of major pathogens.
However, only a fraction of bacteriophage infections are lysogenic and lead to
prophage acquisition, whereas the majority are lytic and kill the infected bacteria.
Unless able to discriminate lytic from lysogenic infections, mechanisms of immunity
to bacteriophages are expected to act as a double-edged sword and increase the
odds of survival at the cost of depriving bacteria of potentially beneficial prophages.
We show that although restriction-modification systems as mechanisms of innate
immunity prevent both lytic and lysogenic infections indiscriminately in individual
bacteria, they increase the number of prophage-acquiring individuals at the population
level. We find that this counterintuitive result is a consequence of phage-host
population dynamics, in which restriction-modification systems delay infection
onset until bacteria reach densities at which the probability of lysogeny increases.
These results underscore the importance of population-level dynamics as a key
factor modulating costs and benefits of immunity to temperate bacteriophages
article_processing_charge: No
author:
- first_name: Maros
full_name: Pleska, Maros
id: 4569785E-F248-11E8-B48F-1D18A9856A87
last_name: Pleska
orcid: 0000-0001-7460-7479
- first_name: Moritz
full_name: Lang, Moritz
id: 29E0800A-F248-11E8-B48F-1D18A9856A87
last_name: Lang
- first_name: Dominik
full_name: Refardt, Dominik
last_name: Refardt
- first_name: Bruce
full_name: Levin, Bruce
last_name: Levin
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
citation:
ama: Pleska M, Lang M, Refardt D, Levin B, Guet CC. Phage-host population dynamics
promotes prophage acquisition in bacteria with innate immunity. Nature Ecology
and Evolution. 2018;2(2):359-366. doi:10.1038/s41559-017-0424-z
apa: Pleska, M., Lang, M., Refardt, D., Levin, B., & Guet, C. C. (2018). Phage-host
population dynamics promotes prophage acquisition in bacteria with innate immunity.
Nature Ecology and Evolution. Springer Nature. https://doi.org/10.1038/s41559-017-0424-z
chicago: Pleska, Maros, Moritz Lang, Dominik Refardt, Bruce Levin, and Calin C Guet.
“Phage-Host Population Dynamics Promotes Prophage Acquisition in Bacteria with
Innate Immunity.” Nature Ecology and Evolution. Springer Nature, 2018.
https://doi.org/10.1038/s41559-017-0424-z.
ieee: M. Pleska, M. Lang, D. Refardt, B. Levin, and C. C. Guet, “Phage-host population
dynamics promotes prophage acquisition in bacteria with innate immunity,” Nature
Ecology and Evolution, vol. 2, no. 2. Springer Nature, pp. 359–366, 2018.
ista: Pleska M, Lang M, Refardt D, Levin B, Guet CC. 2018. Phage-host population
dynamics promotes prophage acquisition in bacteria with innate immunity. Nature
Ecology and Evolution. 2(2), 359–366.
mla: Pleska, Maros, et al. “Phage-Host Population Dynamics Promotes Prophage Acquisition
in Bacteria with Innate Immunity.” Nature Ecology and Evolution, vol. 2,
no. 2, Springer Nature, 2018, pp. 359–66, doi:10.1038/s41559-017-0424-z.
short: M. Pleska, M. Lang, D. Refardt, B. Levin, C.C. Guet, Nature Ecology and Evolution
2 (2018) 359–366.
date_created: 2018-12-11T11:46:35Z
date_published: 2018-02-01T00:00:00Z
date_updated: 2023-09-15T12:04:57Z
day: '01'
department:
- _id: CaGu
- _id: GaTk
doi: 10.1038/s41559-017-0424-z
ec_funded: 1
external_id:
isi:
- '000426516400027'
intvolume: ' 2'
isi: 1
issue: '2'
language:
- iso: eng
month: '02'
oa_version: None
page: 359 - 366
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
- _id: 251BCBEC-B435-11E9-9278-68D0E5697425
grant_number: RGY0079/2011
name: Multi-Level Conflicts in Evolutionary Dynamics of Restriction-Modification
Systems (HFSP Young investigators' grant)
- _id: 251D65D8-B435-11E9-9278-68D0E5697425
grant_number: '24210'
name: Effects of Stochasticity on the Function of Restriction-Modi cation Systems
at the Single-Cell Level (DOC Fellowship)
publication: Nature Ecology and Evolution
publication_status: published
publisher: Springer Nature
publist_id: '7364'
quality_controlled: '1'
related_material:
record:
- id: '202'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Phage-host population dynamics promotes prophage acquisition in bacteria with
innate immunity
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 2
year: '2018'
...
---
_id: '55'
abstract:
- lang: eng
text: Many animals use antimicrobials to prevent or cure disease [1,2]. For example,
some animals will ingest plants with medicinal properties, both prophylactically
to prevent infection and therapeutically to self-medicate when sick. Antimicrobial
substances are also used as topical disinfectants, to prevent infection, protect
offspring and to sanitise their surroundings [1,2]. Social insects (ants, bees,
wasps and termites) build nests in environments with a high abundance and diversity
of pathogenic microorganisms — such as soil and rotting wood — and colonies are
often densely crowded, creating conditions that favour disease outbreaks. Consequently,
social insects have evolved collective disease defences to protect their colonies
from epidemics. These traits can be seen as functionally analogous to the immune
system of individual organisms [3,4]. This ‘social immunity’ utilises antimicrobials
to prevent and eradicate infections, and to keep the brood and nest clean. However,
these antimicrobial compounds can be harmful to the insects themselves, and it
is unknown how colonies prevent collateral damage when using them. Here, we demonstrate
that antimicrobial acids, produced by workers to disinfect the colony, are harmful
to the delicate pupal brood stage, but that the pupae are protected from the acids
by the presence of a silk cocoon. Garden ants spray their nests with an antimicrobial
poison to sanitize contaminated nestmates and brood. Here, Pull et al show that
they also prophylactically sanitise their colonies, and that the silk cocoon serves
as a barrier to protect developing pupae, thus preventing collateral damage during
nest sanitation.
article_processing_charge: No
article_type: original
author:
- first_name: Christopher
full_name: Pull, Christopher
id: 3C7F4840-F248-11E8-B48F-1D18A9856A87
last_name: Pull
orcid: 0000-0003-1122-3982
- first_name: Sina
full_name: Metzler, Sina
id: 48204546-F248-11E8-B48F-1D18A9856A87
last_name: Metzler
orcid: 0000-0002-9547-2494
- first_name: Elisabeth
full_name: Naderlinger, Elisabeth
id: 31757262-F248-11E8-B48F-1D18A9856A87
last_name: Naderlinger
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: Pull C, Metzler S, Naderlinger E, Cremer S. Protection against the lethal side
effects of social immunity in ants. Current Biology. 2018;28(19):R1139-R1140.
doi:10.1016/j.cub.2018.08.063
apa: Pull, C., Metzler, S., Naderlinger, E., & Cremer, S. (2018). Protection
against the lethal side effects of social immunity in ants. Current Biology.
Cell Press. https://doi.org/10.1016/j.cub.2018.08.063
chicago: Pull, Christopher, Sina Metzler, Elisabeth Naderlinger, and Sylvia Cremer.
“Protection against the Lethal Side Effects of Social Immunity in Ants.” Current
Biology. Cell Press, 2018. https://doi.org/10.1016/j.cub.2018.08.063.
ieee: C. Pull, S. Metzler, E. Naderlinger, and S. Cremer, “Protection against the
lethal side effects of social immunity in ants,” Current Biology, vol.
28, no. 19. Cell Press, pp. R1139–R1140, 2018.
ista: Pull C, Metzler S, Naderlinger E, Cremer S. 2018. Protection against the lethal
side effects of social immunity in ants. Current Biology. 28(19), R1139–R1140.
mla: Pull, Christopher, et al. “Protection against the Lethal Side Effects of Social
Immunity in Ants.” Current Biology, vol. 28, no. 19, Cell Press, 2018,
pp. R1139–40, doi:10.1016/j.cub.2018.08.063.
short: C. Pull, S. Metzler, E. Naderlinger, S. Cremer, Current Biology 28 (2018)
R1139–R1140.
date_created: 2018-12-11T11:44:23Z
date_published: 2018-10-08T00:00:00Z
date_updated: 2023-09-15T12:06:46Z
day: '08'
department:
- _id: SyCr
doi: 10.1016/j.cub.2018.08.063
external_id:
isi:
- '000446693400008'
intvolume: ' 28'
isi: 1
issue: '19'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cub.2018.08.063
month: '10'
oa: 1
oa_version: Published Version
page: R1139 - R1140
publication: Current Biology
publication_status: published
publisher: Cell Press
publist_id: '7999'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Protection against the lethal side effects of social immunity in ants
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 28
year: '2018'
...