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