---
_id: '11'
abstract:
- lang: eng
text: We report on a novel strategy to derive mean-field limits of quantum mechanical
systems in which a large number of particles weakly couple to a second-quantized
radiation field. The technique combines the method of counting and the coherent
state approach to study the growth of the correlations among the particles and
in the radiation field. As an instructional example, we derive the Schrödinger–Klein–Gordon
system of equations from the Nelson model with ultraviolet cutoff and possibly
massless scalar field. In particular, we prove the convergence of the reduced
density matrices (of the nonrelativistic particles and the field bosons) associated
with the exact time evolution to the projectors onto the solutions of the Schrödinger–Klein–Gordon
equations in trace norm. Furthermore, we derive explicit bounds on the rate of
convergence of the one-particle reduced density matrix of the nonrelativistic
particles in Sobolev norm.
arxiv: 1
author:
- first_name: Nikolai K
full_name: Leopold, Nikolai K
id: 4BC40BEC-F248-11E8-B48F-1D18A9856A87
last_name: Leopold
orcid: 0000-0002-0495-6822
- first_name: Peter
full_name: Pickl, Peter
last_name: Pickl
citation:
ama: 'Leopold NK, Pickl P. Mean-field limits of particles in interaction with quantised
radiation fields. In: Vol 270. Springer; 2018:185-214. doi:10.1007/978-3-030-01602-9_9'
apa: 'Leopold, N. K., & Pickl, P. (2018). Mean-field limits of particles in
interaction with quantised radiation fields (Vol. 270, pp. 185–214). Presented
at the MaLiQS: Macroscopic Limits of Quantum Systems, Munich, Germany: Springer.
https://doi.org/10.1007/978-3-030-01602-9_9'
chicago: Leopold, Nikolai K, and Peter Pickl. “Mean-Field Limits of Particles in
Interaction with Quantised Radiation Fields,” 270:185–214. Springer, 2018. https://doi.org/10.1007/978-3-030-01602-9_9.
ieee: 'N. K. Leopold and P. Pickl, “Mean-field limits of particles in interaction
with quantised radiation fields,” presented at the MaLiQS: Macroscopic Limits
of Quantum Systems, Munich, Germany, 2018, vol. 270, pp. 185–214.'
ista: 'Leopold NK, Pickl P. 2018. Mean-field limits of particles in interaction
with quantised radiation fields. MaLiQS: Macroscopic Limits of Quantum Systems
vol. 270, 185–214.'
mla: Leopold, Nikolai K., and Peter Pickl. Mean-Field Limits of Particles in
Interaction with Quantised Radiation Fields. Vol. 270, Springer, 2018, pp.
185–214, doi:10.1007/978-3-030-01602-9_9.
short: N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214.
conference:
end_date: 2017-04-01
location: Munich, Germany
name: 'MaLiQS: Macroscopic Limits of Quantum Systems'
start_date: 2017-03-30
date_created: 2018-12-11T11:44:08Z
date_published: 2018-10-27T00:00:00Z
date_updated: 2021-01-12T06:48:16Z
day: '27'
department:
- _id: RoSe
doi: 10.1007/978-3-030-01602-9_9
ec_funded: 1
external_id:
arxiv:
- '1806.10843'
intvolume: ' 270'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1806.10843
month: '10'
oa: 1
oa_version: Preprint
page: 185 - 214
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '694227'
name: Analysis of quantum many-body systems
publication_status: published
publisher: Springer
publist_id: '8045'
quality_controlled: '1'
scopus_import: 1
status: public
title: Mean-field limits of particles in interaction with quantised radiation fields
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 270
year: '2018'
...
---
OA_place: publisher
OA_type: diamond
_id: '10286'
abstract:
- lang: eng
text: 'In this paper, we evaluate clock signals generated in ring oscillators and
self-timed rings and the way their jitter can be transformed into random numbers.
We show that counting the periods of the jittery clock signal produces random
numbers of significantly better quality than the methods in which the jittery
signal is simply sampled (the case in almost all current methods). Moreover, we
use the counter values to characterize and continuously monitor the source of
randomness. However, instead of using the widely used statistical variance, we
propose to use Allan variance to do so. There are two main advantages: Allan variance
is insensitive to low frequency noises such as flicker noise that are known to
be autocorrelated and significantly less circuitry is required for its computation
than that used to compute commonly used variance. We also show that it is essential
to use a differential principle of randomness extraction from the jitter based
on the use of two identical oscillators to avoid autocorrelations originating
from external and internal global jitter sources and that this fact is valid for
both kinds of rings. Last but not least, we propose a method of statistical testing
based on high order Markov model to show the reduced dependencies when the proposed
randomness extraction is applied.'
article_processing_charge: No
article_type: original
author:
- first_name: Elie Noumon
full_name: Allini, Elie Noumon
last_name: Allini
- first_name: Maciej
full_name: Skórski, Maciej
id: EC09FA6A-02D0-11E9-8223-86B7C91467DD
last_name: Skórski
- first_name: Oto
full_name: Petura, Oto
last_name: Petura
- first_name: Florent
full_name: Bernard, Florent
last_name: Bernard
- first_name: Marek
full_name: Laban, Marek
last_name: Laban
- first_name: Viktor
full_name: Fischer, Viktor
last_name: Fischer
citation:
ama: Allini EN, Skórski M, Petura O, Bernard F, Laban M, Fischer V. Evaluation and
monitoring of free running oscillators serving as source of randomness. IACR
Transactions on Cryptographic Hardware and Embedded Systems. 2018;2018(3):214-242.
doi:10.13154/tches.v2018.i3.214-242
apa: Allini, E. N., Skórski, M., Petura, O., Bernard, F., Laban, M., & Fischer,
V. (2018). Evaluation and monitoring of free running oscillators serving as source
of randomness. IACR Transactions on Cryptographic Hardware and Embedded Systems.
International Association for Cryptologic Research. https://doi.org/10.13154/tches.v2018.i3.214-242
chicago: Allini, Elie Noumon, Maciej Skórski, Oto Petura, Florent Bernard, Marek
Laban, and Viktor Fischer. “Evaluation and Monitoring of Free Running Oscillators
Serving as Source of Randomness.” IACR Transactions on Cryptographic Hardware
and Embedded Systems. International Association for Cryptologic Research,
2018. https://doi.org/10.13154/tches.v2018.i3.214-242.
ieee: E. N. Allini, M. Skórski, O. Petura, F. Bernard, M. Laban, and V. Fischer,
“Evaluation and monitoring of free running oscillators serving as source of randomness,”
IACR Transactions on Cryptographic Hardware and Embedded Systems, vol.
2018, no. 3. International Association for Cryptologic Research, pp. 214–242,
2018.
ista: Allini EN, Skórski M, Petura O, Bernard F, Laban M, Fischer V. 2018. Evaluation
and monitoring of free running oscillators serving as source of randomness. IACR
Transactions on Cryptographic Hardware and Embedded Systems. 2018(3), 214–242.
mla: Allini, Elie Noumon, et al. “Evaluation and Monitoring of Free Running Oscillators
Serving as Source of Randomness.” IACR Transactions on Cryptographic Hardware
and Embedded Systems, vol. 2018, no. 3, International Association for Cryptologic
Research, 2018, pp. 214–42, doi:10.13154/tches.v2018.i3.214-242.
short: E.N. Allini, M. Skórski, O. Petura, F. Bernard, M. Laban, V. Fischer, IACR
Transactions on Cryptographic Hardware and Embedded Systems 2018 (2018) 214–242.
corr_author: '1'
date_created: 2021-11-14T23:01:25Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2025-05-20T09:40:25Z
day: '01'
ddc:
- '000'
department:
- _id: KrPi
doi: 10.13154/tches.v2018.i3.214-242
file:
- access_level: open_access
checksum: b816b848f046c48a8357700d9305dce5
content_type: application/pdf
creator: cchlebak
date_created: 2021-11-15T10:27:29Z
date_updated: 2021-11-15T10:27:29Z
file_id: '10289'
file_name: 2018_IACR_Allini.pdf
file_size: 955755
relation: main_file
success: 1
file_date_updated: 2021-11-15T10:27:29Z
has_accepted_license: '1'
intvolume: ' 2018'
issue: '3'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '01'
oa: 1
oa_version: Published Version
page: 214-242
publication: IACR Transactions on Cryptographic Hardware and Embedded Systems
publication_identifier:
eissn:
- 2569-2925
publication_status: published
publisher: International Association for Cryptologic Research
quality_controlled: '1'
scopus_import: '1'
status: public
title: Evaluation and monitoring of free running oscillators serving as source of
randomness
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2018
year: '2018'
...
---
OA_place: publisher
OA_type: hybrid
_id: '10417'
abstract:
- lang: eng
text: "We present a new dynamic partial-order reduction method for stateless model
checking of concurrent programs. A common approach for exploring program behaviors
relies on enumerating the traces of the program, without storing the visited states
(aka stateless exploration). As the number of distinct traces grows exponentially,
dynamic partial-order reduction (DPOR) techniques have been successfully used
to partition the space of traces into equivalence classes (Mazurkiewicz partitioning),
with the goal of exploring only few representative traces from each class.\r\n\r\nWe
introduce a new equivalence on traces under sequential consistency semantics,
which we call the observation equivalence. Two traces are observationally equivalent
if every read event observes the same write event in both traces. While the traditional
Mazurkiewicz equivalence is control-centric, our new definition is data-centric.
We show that our observation equivalence is coarser than the Mazurkiewicz equivalence,
and in many cases even exponentially coarser. We devise a DPOR exploration of
the trace space, called data-centric DPOR, based on the observation equivalence."
acknowledgement: "The research was partly supported by Austrian Science Fund (FWF)
Grant No P23499- N23, FWF\r\nNFN Grant No S11407-N23 (RiSE/SHiNE), ERC Start grant
(279307: Graph Games), and Czech\r\nScience Foundation grant GBP202/12/G061."
article_number: '31'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Marek
full_name: Chalupa, Marek
last_name: Chalupa
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Nishant
full_name: Sinha, Nishant
last_name: Sinha
- first_name: Kapil
full_name: Vaidya, Kapil
last_name: Vaidya
citation:
ama: Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. Data-centric dynamic
partial order reduction. Proceedings of the ACM on Programming Languages.
2018;2(POPL). doi:10.1145/3158119
apa: 'Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., & Vaidya, K.
(2018). Data-centric dynamic partial order reduction. Proceedings of the ACM
on Programming Languages. Los Angeles, CA, United States: Association for
Computing Machinery. https://doi.org/10.1145/3158119'
chicago: Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha,
and Kapil Vaidya. “Data-Centric Dynamic Partial Order Reduction.” Proceedings
of the ACM on Programming Languages. Association for Computing Machinery,
2018. https://doi.org/10.1145/3158119.
ieee: M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, “Data-centric
dynamic partial order reduction,” Proceedings of the ACM on Programming Languages,
vol. 2, no. POPL. Association for Computing Machinery, 2018.
ista: Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. 2018. Data-centric
dynamic partial order reduction. Proceedings of the ACM on Programming Languages.
2(POPL), 31.
mla: Chalupa, Marek, et al. “Data-Centric Dynamic Partial Order Reduction.” Proceedings
of the ACM on Programming Languages, vol. 2, no. POPL, 31, Association for
Computing Machinery, 2018, doi:10.1145/3158119.
short: M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Proceedings
of the ACM on Programming Languages 2 (2018).
conference:
end_date: 2018-01-13
location: Los Angeles, CA, United States
name: 'POPL: Programming Languages'
start_date: 2018-01-07
date_created: 2021-12-05T23:01:49Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2025-05-20T09:45:10Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1145/3158119
ec_funded: 1
external_id:
arxiv:
- '1610.01188'
file:
- access_level: open_access
checksum: b27ab1745f6dba2387deb785798a657c
content_type: application/pdf
creator: dernst
date_created: 2025-05-20T09:44:47Z
date_updated: 2025-05-20T09:44:47Z
file_id: '19716'
file_name: 2018_ACM_Chalupa.pdf
file_size: 388891
relation: main_file
success: 1
file_date_updated: 2025-05-20T09:44:47Z
has_accepted_license: '1'
intvolume: ' 2'
issue: POPL
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication: Proceedings of the ACM on Programming Languages
publication_identifier:
eissn:
- 2475-1421
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
record:
- id: '5448'
relation: earlier_version
status: public
- id: '5456'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Data-centric dynamic partial order reduction
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2
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: 2025-07-10T11:52:06Z
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:
- 2334-2536
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: '24'
abstract:
- lang: eng
text: Partially-observable Markov decision processes (POMDPs) with discounted-sum
payoff are a standard framework to model a wide range of problems related to decision
making under uncertainty. Traditionally, the goal has been to obtain policies
that optimize the expectation of the discounted-sum payoff. A key drawback of
the expectation measure is that even low probability events with extreme payoff
can significantly affect the expectation, and thus the obtained policies are not
necessarily risk-averse. An alternate approach is to optimize the probability
that the payoff is above a certain threshold, which allows obtaining risk-averse
policies, but ignores optimization of the expectation. We consider the expectation
optimization with probabilistic guarantee (EOPG) problem, where the goal is to
optimize the expectation ensuring that the payoff is above a given threshold with
at least a specified probability. We present several results on the EOPG problem,
including the first algorithm to solve it.
acknowledgement: "This research was supported by the Vienna Science and Technology
Fund (WWTF) grant ICT15-003; Austrian Science Fund (FWF): S11407-N23(RiSE/SHiNE);and
an ERC Start Grant (279307:Graph Games).\r\n"
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Adrian
full_name: Elgyütt, Adrian
id: 4A2E9DBA-F248-11E8-B48F-1D18A9856A87
last_name: Elgyütt
- first_name: Petr
full_name: Novotny, Petr
id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
last_name: Novotny
- first_name: Owen
full_name: Rouillé, Owen
last_name: Rouillé
citation:
ama: 'Chatterjee K, Elgyütt A, Novotný P, Rouillé O. Expectation optimization with
probabilistic guarantees in POMDPs with discounted-sum objectives. In: Vol 2018.
IJCAI; 2018:4692-4699. doi:10.24963/ijcai.2018/652'
apa: 'Chatterjee, K., Elgyütt, A., Novotný, P., & Rouillé, O. (2018). Expectation
optimization with probabilistic guarantees in POMDPs with discounted-sum objectives
(Vol. 2018, pp. 4692–4699). Presented at the IJCAI: International Joint Conference
on Artificial Intelligence, Stockholm, Sweden: IJCAI. https://doi.org/10.24963/ijcai.2018/652'
chicago: Chatterjee, Krishnendu, Adrian Elgyütt, Petr Novotný, and Owen Rouillé.
“Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum
Objectives,” 2018:4692–99. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/652.
ieee: 'K. Chatterjee, A. Elgyütt, P. Novotný, and O. Rouillé, “Expectation optimization
with probabilistic guarantees in POMDPs with discounted-sum objectives,” presented
at the IJCAI: International Joint Conference on Artificial Intelligence, Stockholm,
Sweden, 2018, vol. 2018, pp. 4692–4699.'
ista: 'Chatterjee K, Elgyütt A, Novotný P, Rouillé O. 2018. Expectation optimization
with probabilistic guarantees in POMDPs with discounted-sum objectives. IJCAI:
International Joint Conference on Artificial Intelligence vol. 2018, 4692–4699.'
mla: Chatterjee, Krishnendu, et al. Expectation Optimization with Probabilistic
Guarantees in POMDPs with Discounted-Sum Objectives. Vol. 2018, IJCAI, 2018,
pp. 4692–99, doi:10.24963/ijcai.2018/652.
short: K. Chatterjee, A. Elgyütt, P. Novotný, O. Rouillé, in:, IJCAI, 2018, pp.
4692–4699.
conference:
end_date: 2018-07-19
location: Stockholm, Sweden
name: 'IJCAI: International Joint Conference on Artificial Intelligence'
start_date: 2018-07-13
date_created: 2018-12-11T11:44:13Z
date_published: 2018-07-01T00:00:00Z
date_updated: 2025-04-14T13:51:04Z
day: '01'
department:
- _id: KrCh
- _id: ToHe
doi: 10.24963/ijcai.2018/652
ec_funded: 1
external_id:
arxiv:
- '1804.10601'
isi:
- '000764175404117'
intvolume: ' 2018'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1804.10601
month: '07'
oa: 1
oa_version: Preprint
page: 4692 - 4699
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication_status: published
publisher: IJCAI
publist_id: '8031'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum
objectives
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 2018
year: '2018'
...
---
_id: '25'
abstract:
- lang: eng
text: 'Partially observable Markov decision processes (POMDPs) are the standard
models for planning under uncertainty with both finite and infinite horizon. Besides
the well-known discounted-sum objective, indefinite-horizon objective (aka Goal-POMDPs)
is another classical objective for POMDPs. In this case, given a set of target
states and a positive cost for each transition, the optimization objective is
to minimize the expected total cost until a target state is reached. In the literature,
RTDP-Bel or heuristic search value iteration (HSVI) have been used for solving
Goal-POMDPs. Neither of these algorithms has theoretical convergence guarantees,
and HSVI may even fail to terminate its trials. We give the following contributions:
(1) We discuss the challenges introduced in Goal-POMDPs and illustrate how they
prevent the original HSVI from converging. (2) We present a novel algorithm inspired
by HSVI, termed Goal-HSVI, and show that our algorithm has convergence guarantees.
(3) We show that Goal-HSVI outperforms RTDP-Bel on a set of well-known examples.'
acknowledgement: '∗This work has been supported by Vienna Science and Technology Fund
(WWTF) Project ICT15-003, Austrian Science Fund (FWF) NFN Grant No S11407-N23 (RiSE/SHiNE),
and ERC Starting grant (279307: Graph Games). This research was sponsored by the
Army Research Laboratory and was accomplished under Cooperative Agreement Number
W911NF-13-2-0045 (ARL Cyber Security CRA). '
article_processing_charge: No
author:
- first_name: Karel
full_name: Horák, Karel
last_name: Horák
- first_name: Branislav
full_name: Bošanský, Branislav
last_name: Bošanský
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
citation:
ama: 'Horák K, Bošanský B, Chatterjee K. Goal-HSVI: Heuristic search value iteration
for goal-POMDPs. In: Proceedings of the Twenty-Seventh International Joint
Conference on Artificial Intelligence. Vol 2018-July. IJCAI; 2018:4764-4770.
doi:10.24963/ijcai.2018/662'
apa: 'Horák, K., Bošanský, B., & Chatterjee, K. (2018). Goal-HSVI: Heuristic
search value iteration for goal-POMDPs. In Proceedings of the Twenty-Seventh
International Joint Conference on Artificial Intelligence (Vol. 2018–July,
pp. 4764–4770). Stockholm, Sweden: IJCAI. https://doi.org/10.24963/ijcai.2018/662'
chicago: 'Horák, Karel, Branislav Bošanský, and Krishnendu Chatterjee. “Goal-HSVI:
Heuristic Search Value Iteration for Goal-POMDPs.” In Proceedings of the Twenty-Seventh
International Joint Conference on Artificial Intelligence, 2018–July:4764–70.
IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/662.'
ieee: 'K. Horák, B. Bošanský, and K. Chatterjee, “Goal-HSVI: Heuristic search value
iteration for goal-POMDPs,” in Proceedings of the Twenty-Seventh International
Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol.
2018–July, pp. 4764–4770.'
ista: 'Horák K, Bošanský B, Chatterjee K. 2018. Goal-HSVI: Heuristic search value
iteration for goal-POMDPs. Proceedings of the Twenty-Seventh International Joint
Conference on Artificial Intelligence. IJCAI: International Joint Conference on
Artificial Intelligence vol. 2018–July, 4764–4770.'
mla: 'Horák, Karel, et al. “Goal-HSVI: Heuristic Search Value Iteration for Goal-POMDPs.”
Proceedings of the Twenty-Seventh International Joint Conference on Artificial
Intelligence, vol. 2018–July, IJCAI, 2018, pp. 4764–70, doi:10.24963/ijcai.2018/662.'
short: K. Horák, B. Bošanský, K. Chatterjee, in:, Proceedings of the Twenty-Seventh
International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4764–4770.
conference:
end_date: 2018-07-19
location: Stockholm, Sweden
name: 'IJCAI: International Joint Conference on Artificial Intelligence'
start_date: 2018-07-13
date_created: 2018-12-11T11:44:13Z
date_published: 2018-07-01T00:00:00Z
date_updated: 2025-04-14T13:51:04Z
day: '01'
department:
- _id: KrCh
doi: 10.24963/ijcai.2018/662
ec_funded: 1
external_id:
isi:
- '000764175404127'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.24963/ijcai.2018/662
month: '07'
oa: 1
oa_version: Published Version
page: 4764 - 4770
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication: Proceedings of the Twenty-Seventh International Joint Conference on Artificial
Intelligence
publication_status: published
publisher: IJCAI
publist_id: '8030'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Goal-HSVI: Heuristic search value iteration for goal-POMDPs'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 2018-July
year: '2018'
...
---
_id: '155'
abstract:
- lang: eng
text: There is currently significant interest in operating devices in the quantum
regime, where their behaviour cannot be explained through classical mechanics.
Quantum states, including entangled states, are fragile and easily disturbed by
excessive thermal noise. Here we address the question of whether it is possible
to create non-reciprocal devices that encourage the flow of thermal noise towards
or away from a particular quantum device in a network. Our work makes use of the
cascaded systems formalism to answer this question in the affirmative, showing
how a three-port device can be used as an effective thermal transistor, and illustrates
how this formalism maps onto an experimentally-realisable optomechanical system.
Our results pave the way to more resilient quantum devices and to the use of thermal
noise as a resource.
alternative_title:
- Proceedings of SPIE
article_number: 106721N
article_processing_charge: No
arxiv: 1
author:
- first_name: André
full_name: Xuereb, André
last_name: Xuereb
- first_name: Matteo
full_name: Aquilina, Matteo
last_name: Aquilina
- first_name: Shabir
full_name: Barzanjeh, Shabir
id: 2D25E1F6-F248-11E8-B48F-1D18A9856A87
last_name: Barzanjeh
orcid: 0000-0003-0415-1423
citation:
ama: 'Xuereb A, Aquilina M, Barzanjeh S. Routing thermal noise through quantum networks.
In: Andrews DL, Ostendorf A, Bain AJ, Nunzi JM, eds. Vol 10672. SPIE; 2018. doi:10.1117/12.2309928'
apa: 'Xuereb, A., Aquilina, M., & Barzanjeh, S. (2018). Routing thermal noise
through quantum networks. In D. L. Andrews, A. Ostendorf, A. J. Bain, & J.
M. Nunzi (Eds.) (Vol. 10672). Presented at the SPIE: The international society
for optical engineering, Strasbourg, France: SPIE. https://doi.org/10.1117/12.2309928'
chicago: Xuereb, André, Matteo Aquilina, and Shabir Barzanjeh. “Routing Thermal
Noise through Quantum Networks.” edited by D L Andrews, A Ostendorf, A J Bain,
and J M Nunzi, Vol. 10672. SPIE, 2018. https://doi.org/10.1117/12.2309928.
ieee: 'A. Xuereb, M. Aquilina, and S. Barzanjeh, “Routing thermal noise through
quantum networks,” presented at the SPIE: The international society for optical
engineering, Strasbourg, France, 2018, vol. 10672.'
ista: 'Xuereb A, Aquilina M, Barzanjeh S. 2018. Routing thermal noise through quantum
networks. SPIE: The international society for optical engineering, Proceedings
of SPIE, vol. 10672, 106721N.'
mla: Xuereb, André, et al. Routing Thermal Noise through Quantum Networks.
Edited by D L Andrews et al., vol. 10672, 106721N, SPIE, 2018, doi:10.1117/12.2309928.
short: A. Xuereb, M. Aquilina, S. Barzanjeh, in:, D.L. Andrews, A. Ostendorf, A.J.
Bain, J.M. Nunzi (Eds.), SPIE, 2018.
conference:
end_date: 2018-04-26
location: Strasbourg, France
name: 'SPIE: The international society for optical engineering'
start_date: 2018-04-22
date_created: 2018-12-11T11:44:55Z
date_published: 2018-05-04T00:00:00Z
date_updated: 2023-09-18T08:12:24Z
day: '04'
department:
- _id: JoFi
doi: 10.1117/12.2309928
editor:
- first_name: D L
full_name: Andrews, D L
last_name: Andrews
- first_name: A
full_name: Ostendorf, A
last_name: Ostendorf
- first_name: A J
full_name: Bain, A J
last_name: Bain
- first_name: J M
full_name: Nunzi, J M
last_name: Nunzi
external_id:
arxiv:
- '1806.01000'
isi:
- '000453298500019'
intvolume: ' 10672'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1806.01000
month: '05'
oa: 1
oa_version: Preprint
publication_status: published
publisher: SPIE
publist_id: '7766'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Routing thermal noise through quantum networks
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10672
year: '2018'
...
---
_id: '156'
abstract:
- lang: eng
text: 'Imprecision in timing can sometimes be beneficial: Metric interval temporal
logic (MITL), disabling the expression of punctuality constraints, was shown to
translate to timed automata, yielding an elementary decision procedure. We show
how this principle extends to other forms of dense-time specification using regular
expressions. By providing a clean, automaton-based formal framework for non-punctual
languages, we are able to recover and extend several results in timed systems.
Metric interval regular expressions (MIRE) are introduced, providing regular expressions
with non-singular duration constraints. We obtain that MIRE are expressively complete
relative to a class of one-clock timed automata, which can be determinized using
additional clocks. Metric interval dynamic logic (MIDL) is then defined using
MIRE as temporal modalities. We show that MIDL generalizes known extensions of
MITL, while translating to timed automata at comparable cost.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
citation:
ama: 'Ferrere T. The compound interest in relaxing punctuality. In: Vol 10951. Springer;
2018:147-164. doi:10.1007/978-3-319-95582-7_9'
apa: 'Ferrere, T. (2018). The compound interest in relaxing punctuality (Vol. 10951,
pp. 147–164). Presented at the FM: Formal Methods, Oxford, UK: Springer. https://doi.org/10.1007/978-3-319-95582-7_9'
chicago: Ferrere, Thomas. “The Compound Interest in Relaxing Punctuality,” 10951:147–64.
Springer, 2018. https://doi.org/10.1007/978-3-319-95582-7_9.
ieee: 'T. Ferrere, “The compound interest in relaxing punctuality,” presented at
the FM: Formal Methods, Oxford, UK, 2018, vol. 10951, pp. 147–164.'
ista: 'Ferrere T. 2018. The compound interest in relaxing punctuality. FM: Formal
Methods, LNCS, vol. 10951, 147–164.'
mla: Ferrere, Thomas. The Compound Interest in Relaxing Punctuality. Vol.
10951, Springer, 2018, pp. 147–64, doi:10.1007/978-3-319-95582-7_9.
short: T. Ferrere, in:, Springer, 2018, pp. 147–164.
conference:
end_date: 2018-07-17
location: Oxford, UK
name: 'FM: Formal Methods'
start_date: 2018-07-15
date_created: 2018-12-11T11:44:55Z
date_published: 2018-07-12T00:00:00Z
date_updated: 2025-07-10T11:51:10Z
day: '12'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-319-95582-7_9
external_id:
isi:
- '000489765800009'
file:
- access_level: open_access
checksum: a045c213c42c445f1889326f8db82a0a
content_type: application/pdf
creator: dernst
date_created: 2020-10-09T06:22:41Z
date_updated: 2020-10-09T06:22:41Z
file_id: '8637'
file_name: 2018_LNCS_Ferrere.pdf
file_size: 485576
relation: main_file
success: 1
file_date_updated: 2020-10-09T06:22:41Z
has_accepted_license: '1'
intvolume: ' 10951'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 147 - 164
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication_status: published
publisher: Springer
publist_id: '7765'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The compound interest in relaxing punctuality
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10951
year: '2018'
...
---
_id: '157'
abstract:
- lang: eng
text: 'Social dilemmas occur when incentives for individuals are misaligned with
group interests 1-7 . According to the ''tragedy of the commons'', these misalignments
can lead to overexploitation and collapse of public resources. The resulting behaviours
can be analysed with the tools of game theory 8 . The theory of direct reciprocity
9-15 suggests that repeated interactions can alleviate such dilemmas, but previous
work has assumed that the public resource remains constant over time. Here we
introduce the idea that the public resource is instead changeable and depends
on the strategic choices of individuals. An intuitive scenario is that cooperation
increases the public resource, whereas defection decreases it. Thus, cooperation
allows the possibility of playing a more valuable game with higher payoffs, whereas
defection leads to a less valuable game. We analyse this idea using the theory
of stochastic games 16-19 and evolutionary game theory. We find that the dependence
of the public resource on previous interactions can greatly enhance the propensity
for cooperation. For these results, the interaction between reciprocity and payoff
feedback is crucial: neither repeated interactions in a constant environment nor
single interactions in a changing environment yield similar cooperation rates.
Our framework shows which feedbacks between exploitation and environment - either
naturally occurring or designed - help to overcome social dilemmas.'
acknowledgement: "European Research Council Start Grant 279307, Austrian Science Fund
(FWF) grant P23499-N23, \r\nC.H. acknowledges support from the ISTFELLOW programme."
article_processing_charge: No
author:
- first_name: Christian
full_name: Hilbe, Christian
id: 2FDF8F3C-F248-11E8-B48F-1D18A9856A87
last_name: Hilbe
orcid: 0000-0001-5116-955X
- first_name: Štepán
full_name: Šimsa, Štepán
last_name: Šimsa
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Nowak, Martin
last_name: Nowak
citation:
ama: Hilbe C, Šimsa Š, Chatterjee K, Nowak M. Evolution of cooperation in stochastic
games. Nature. 2018;559(7713):246-249. doi:10.1038/s41586-018-0277-x
apa: Hilbe, C., Šimsa, Š., Chatterjee, K., & Nowak, M. (2018). Evolution of
cooperation in stochastic games. Nature. Nature Publishing Group. https://doi.org/10.1038/s41586-018-0277-x
chicago: Hilbe, Christian, Štepán Šimsa, Krishnendu Chatterjee, and Martin Nowak.
“Evolution of Cooperation in Stochastic Games.” Nature. Nature Publishing
Group, 2018. https://doi.org/10.1038/s41586-018-0277-x.
ieee: C. Hilbe, Š. Šimsa, K. Chatterjee, and M. Nowak, “Evolution of cooperation
in stochastic games,” Nature, vol. 559, no. 7713. Nature Publishing Group,
pp. 246–249, 2018.
ista: Hilbe C, Šimsa Š, Chatterjee K, Nowak M. 2018. Evolution of cooperation in
stochastic games. Nature. 559(7713), 246–249.
mla: Hilbe, Christian, et al. “Evolution of Cooperation in Stochastic Games.” Nature,
vol. 559, no. 7713, Nature Publishing Group, 2018, pp. 246–49, doi:10.1038/s41586-018-0277-x.
short: C. Hilbe, Š. Šimsa, K. Chatterjee, M. Nowak, Nature 559 (2018) 246–249.
date_created: 2018-12-11T11:44:56Z
date_published: 2018-07-04T00:00:00Z
date_updated: 2025-04-15T06:30:08Z
day: '04'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1038/s41586-018-0277-x
ec_funded: 1
external_id:
isi:
- '000438240900054'
file:
- access_level: open_access
checksum: 011ab905cf9a410bc2b96f15174d654d
content_type: application/pdf
creator: dernst
date_created: 2019-11-19T08:09:57Z
date_updated: 2020-07-14T12:45:02Z
file_id: '7049'
file_name: 2018_Nature_Hilbe.pdf
file_size: 2834442
relation: main_file
file_date_updated: 2020-07-14T12:45:02Z
has_accepted_license: '1'
intvolume: ' 559'
isi: 1
issue: '7713'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 246 - 249
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Nature
publication_status: published
publisher: Nature Publishing Group
publist_id: '7764'
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/engineering-cooperation/
scopus_import: '1'
status: public
title: Evolution of cooperation in stochastic games
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 559
year: '2018'
...
---
_id: '158'
abstract:
- lang: eng
text: 'The angiosperm seed is composed of three genetically distinct tissues: the
diploid embryo that originates from the fertilized egg cell, the triploid endosperm
that is produced from the fertilized central cell, and the maternal sporophytic
integuments that develop into the seed coat1. At the onset of embryo development
in Arabidopsis thaliana, the zygote divides asymmetrically, producing a small
apical embryonic cell and a larger basal cell that connects the embryo to the
maternal tissue2. The coordinated and synchronous development of the embryo and
the surrounding integuments, and the alignment of their growth axes, suggest communication
between maternal tissues and the embryo. In contrast to animals, however, where
a network of maternal factors that direct embryo patterning have been identified3,4,
only a few maternal mutations have been described to affect embryo development
in plants5–7. Early embryo patterning in Arabidopsis requires accumulation of
the phytohormone auxin in the apical cell by directed transport from the suspensor8–10.
However, the origin of this auxin has remained obscure. Here we investigate the
source of auxin for early embryogenesis and provide evidence that the mother plant
coordinates seed development by supplying auxin to the early embryo from the integuments
of the ovule. We show that auxin response increases in ovules after fertilization,
due to upregulated auxin biosynthesis in the integuments, and this maternally
produced auxin is required for correct embryo development.'
acknowledgement: This work was further supported by the Czech Science Foundation GACR
(GA13-40637S) to J.F.;
article_processing_charge: No
author:
- first_name: Hélène
full_name: Robert, Hélène
last_name: Robert
- first_name: Chulmin
full_name: Park, Chulmin
last_name: Park
- first_name: Carla
full_name: Gutièrrez, Carla
last_name: Gutièrrez
- first_name: Barbara
full_name: Wójcikowska, Barbara
last_name: Wójcikowska
- first_name: Aleš
full_name: Pěnčík, Aleš
last_name: Pěnčík
- first_name: Ondřej
full_name: Novák, Ondřej
last_name: Novák
- first_name: Junyi
full_name: Chen, Junyi
last_name: Chen
- first_name: Wim
full_name: Grunewald, Wim
last_name: Grunewald
- first_name: Thomas
full_name: Dresselhaus, Thomas
last_name: Dresselhaus
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Thomas
full_name: Laux, Thomas
last_name: Laux
citation:
ama: Robert H, Park C, Gutièrrez C, et al. Maternal auxin supply contributes to
early embryo patterning in Arabidopsis. Nature Plants. 2018;4(8):548-553.
doi:10.1038/s41477-018-0204-z
apa: Robert, H., Park, C., Gutièrrez, C., Wójcikowska, B., Pěnčík, A., Novák, O.,
… Laux, T. (2018). Maternal auxin supply contributes to early embryo patterning
in Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/s41477-018-0204-z
chicago: Robert, Hélène, Chulmin Park, Carla Gutièrrez, Barbara Wójcikowska, Aleš
Pěnčík, Ondřej Novák, Junyi Chen, et al. “Maternal Auxin Supply Contributes to
Early Embryo Patterning in Arabidopsis.” Nature Plants. Nature Publishing
Group, 2018. https://doi.org/10.1038/s41477-018-0204-z.
ieee: H. Robert et al., “Maternal auxin supply contributes to early embryo
patterning in Arabidopsis,” Nature Plants, vol. 4, no. 8. Nature Publishing
Group, pp. 548–553, 2018.
ista: Robert H, Park C, Gutièrrez C, Wójcikowska B, Pěnčík A, Novák O, Chen J, Grunewald
W, Dresselhaus T, Friml J, Laux T. 2018. Maternal auxin supply contributes to
early embryo patterning in Arabidopsis. Nature Plants. 4(8), 548–553.
mla: Robert, Hélène, et al. “Maternal Auxin Supply Contributes to Early Embryo Patterning
in Arabidopsis.” Nature Plants, vol. 4, no. 8, Nature Publishing Group,
2018, pp. 548–53, doi:10.1038/s41477-018-0204-z.
short: H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pěnčík, O. Novák, J.
Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018)
548–553.
date_created: 2018-12-11T11:44:56Z
date_published: 2018-07-16T00:00:00Z
date_updated: 2025-04-15T07:48:03Z
day: '16'
department:
- _id: JiFr
doi: 10.1038/s41477-018-0204-z
ec_funded: 1
external_id:
isi:
- '000443861300011'
pmid:
- '30013211'
intvolume: ' 4'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pubmed/30013211
month: '07'
oa: 1
oa_version: Submitted Version
page: 548 - 553
pmid: 1
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: Nature Plants
publication_status: published
publisher: Nature Publishing Group
publist_id: '7763'
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/plant-mothers-talk-to-their-embryos-via-the-hormone-auxin/
scopus_import: '1'
status: public
title: Maternal auxin supply contributes to early embryo patterning in Arabidopsis
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 4
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: '16'
abstract:
- lang: eng
text: We report quantitative evidence of mixing-layer elastic instability in a viscoelastic
fluid flow between two widely spaced obstacles hindering a channel flow at Re
1 and Wi 1. Two mixing layers with nonuniform shear velocity profiles are formed
in the region between the obstacles. The mixing-layer instability arises in the
vicinity of an inflection point on the shear velocity profile with a steep variation
in the elastic stress. The instability results in an intermittent appearance of
small vortices in the mixing layers and an amplification of spatiotemporal averaged
vorticity in the elastic turbulence regime. The latter is characterized through
scaling of friction factor with Wi and both pressure and velocity spectra. Furthermore,
the observations reported provide improved understanding of the stability of the
mixing layer in a viscoelastic fluid at large elasticity, i.e., Wi 1 and Re 1
and oppose the current view of suppression of vorticity solely by polymer additives.
acknowledgement: This work was partially supported by the Israel Science Foundation
(ISF; Grant No. 882/15) and the Binational USA-Israel Foundation (BSF; Grant No.
2016145).
article_number: '103303'
article_processing_charge: No
article_type: original
author:
- first_name: Atul
full_name: Varshney, Atul
id: 2A2006B2-F248-11E8-B48F-1D18A9856A87
last_name: Varshney
orcid: 0000-0002-3072-5999
- first_name: Victor
full_name: Steinberg, Victor
last_name: Steinberg
citation:
ama: Varshney A, Steinberg V. Mixing layer instability and vorticity amplification
in a creeping viscoelastic flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103303
apa: Varshney, A., & Steinberg, V. (2018). Mixing layer instability and vorticity
amplification in a creeping viscoelastic flow. Physical Review Fluids.
American Physical Society. https://doi.org/10.1103/PhysRevFluids.3.103303
chicago: Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity
Amplification in a Creeping Viscoelastic Flow.” Physical Review Fluids.
American Physical Society, 2018. https://doi.org/10.1103/PhysRevFluids.3.103303.
ieee: A. Varshney and V. Steinberg, “Mixing layer instability and vorticity amplification
in a creeping viscoelastic flow,” Physical Review Fluids, vol. 3, no. 10.
American Physical Society, 2018.
ista: Varshney A, Steinberg V. 2018. Mixing layer instability and vorticity amplification
in a creeping viscoelastic flow. Physical Review Fluids. 3(10), 103303.
mla: Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity
Amplification in a Creeping Viscoelastic Flow.” Physical Review Fluids,
vol. 3, no. 10, 103303, American Physical Society, 2018, doi:10.1103/PhysRevFluids.3.103303.
short: A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).
date_created: 2018-12-11T11:44:10Z
date_published: 2018-10-16T00:00:00Z
date_updated: 2025-04-14T07:44:02Z
day: '16'
ddc:
- '532'
department:
- _id: BjHo
doi: 10.1103/PhysRevFluids.3.103303
ec_funded: 1
external_id:
isi:
- '000447469200001'
file:
- access_level: open_access
checksum: 7fc0a2322214d1c04debef36d5bf2e8a
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:56Z
date_updated: 2020-07-14T12:45:04Z
file_id: '5043'
file_name: IST-2018-1062-v1+1_PhysRevFluids.3.103303.pdf
file_size: 1838431
relation: main_file
file_date_updated: 2020-07-14T12:45:04Z
has_accepted_license: '1'
intvolume: ' 3'
isi: 1
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Physical Review Fluids
publication_status: published
publisher: American Physical Society
publist_id: '8039'
pubrep_id: '1062'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mixing layer instability and vorticity amplification in a creeping viscoelastic
flow
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 3
year: '2018'
...
---
_id: '161'
abstract:
- lang: eng
text: 'Which properties of metabolic networks can be derived solely from stoichiometry?
Predictive results have been obtained by flux balance analysis (FBA), by postulating
that cells set metabolic fluxes to maximize growth rate. Here we consider a generalization
of FBA to single-cell level using maximum entropy modeling, which we extend and
test experimentally. Specifically, we define for Escherichia coli metabolism a
flux distribution that yields the experimental growth rate: the model, containing
FBA as a limit, provides a better match to measured fluxes and it makes a wide
range of predictions: on flux variability, regulation, and correlations; on the
relative importance of stoichiometry vs. optimization; on scaling relations for
growth rate distributions. We validate the latter here with single-cell data at
different sub-inhibitory antibiotic concentrations. The model quantifies growth
optimization as emerging from the interplay of competitive dynamics in the population
and regulation of metabolism at the level of single cells.'
article_number: '2988'
article_processing_charge: No
author:
- first_name: Daniele
full_name: De Martino, Daniele
id: 3FF5848A-F248-11E8-B48F-1D18A9856A87
last_name: De Martino
orcid: 0000-0002-5214-4706
- first_name: Andersson Anna
full_name: Mc, Andersson Anna
last_name: Mc
- first_name: Tobias
full_name: Bergmiller, Tobias
id: 2C471CFA-F248-11E8-B48F-1D18A9856A87
last_name: Bergmiller
orcid: 0000-0001-5396-4346
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
- first_name: Gasper
full_name: Tkacik, Gasper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkacik
orcid: 0000-0002-6699-1455
citation:
ama: De Martino D, Mc AA, Bergmiller T, Guet CC, Tkačik G. Statistical mechanics
for metabolic networks during steady state growth. Nature Communications.
2018;9(1). doi:10.1038/s41467-018-05417-9
apa: De Martino, D., Mc, A. A., Bergmiller, T., Guet, C. C., & Tkačik, G. (2018).
Statistical mechanics for metabolic networks during steady state growth. Nature
Communications. Springer Nature. https://doi.org/10.1038/s41467-018-05417-9
chicago: De Martino, Daniele, Andersson Anna Mc, Tobias Bergmiller, Calin C Guet,
and Gašper Tkačik. “Statistical Mechanics for Metabolic Networks during Steady
State Growth.” Nature Communications. Springer Nature, 2018. https://doi.org/10.1038/s41467-018-05417-9.
ieee: D. De Martino, A. A. Mc, T. Bergmiller, C. C. Guet, and G. Tkačik, “Statistical
mechanics for metabolic networks during steady state growth,” Nature Communications,
vol. 9, no. 1. Springer Nature, 2018.
ista: De Martino D, Mc AA, Bergmiller T, Guet CC, Tkačik G. 2018. Statistical mechanics
for metabolic networks during steady state growth. Nature Communications. 9(1),
2988.
mla: De Martino, Daniele, et al. “Statistical Mechanics for Metabolic Networks during
Steady State Growth.” Nature Communications, vol. 9, no. 1, 2988, Springer
Nature, 2018, doi:10.1038/s41467-018-05417-9.
short: D. De Martino, A.A. Mc, T. Bergmiller, C.C. Guet, G. Tkačik, Nature Communications
9 (2018).
date_created: 2018-12-11T11:44:57Z
date_published: 2018-07-30T00:00:00Z
date_updated: 2025-04-15T06:50:08Z
day: '30'
ddc:
- '570'
department:
- _id: GaTk
- _id: CaGu
doi: 10.1038/s41467-018-05417-9
ec_funded: 1
external_id:
isi:
- '000440149300021'
file:
- access_level: open_access
checksum: 3ba7ab27b27723c7dcf633e8fc1f8f18
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T16:44:28Z
date_updated: 2020-07-14T12:45:06Z
file_id: '5728'
file_name: 2018_NatureComm_DeMartino.pdf
file_size: 1043205
relation: main_file
file_date_updated: 2020-07-14T12:45:06Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 254E9036-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P28844-B27
name: Biophysics of information processing in gene regulation
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Nature Communications
publication_status: published
publisher: Springer Nature
publist_id: '7760'
quality_controlled: '1'
related_material:
record:
- id: '5587'
relation: popular_science
status: public
scopus_import: '1'
status: public
title: Statistical mechanics for metabolic networks during steady state growth
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: 9
year: '2018'
...
---
_id: '162'
abstract:
- lang: eng
text: 'Facial shape is the basis for facial recognition and categorization. Facial
features reflect the underlying geometry of the skeletal structures. Here, we
reveal that cartilaginous nasal capsule (corresponding to upper jaw and face)
is shaped by signals generated by neural structures: brain and olfactory epithelium.
Brain-derived Sonic Hedgehog (SHH) enables the induction of nasal septum and posterior
nasal capsule, whereas the formation of a capsule roof is controlled by signals
from the olfactory epithelium. Unexpectedly, the cartilage of the nasal capsule
turned out to be important for shaping membranous facial bones during development.
This suggests that conserved neurosensory structures could benefit from protection
and have evolved signals inducing cranial cartilages encasing them. Experiments
with mutant mice revealed that the genomic regulatory regions controlling production
of SHH in the nervous system contribute to facial cartilage morphogenesis, which
might be a mechanism responsible for the adaptive evolution of animal faces and
snouts.'
article_number: e34465
article_processing_charge: No
author:
- first_name: Marketa
full_name: Kaucka, Marketa
last_name: Kaucka
- first_name: Julian
full_name: Petersen, Julian
last_name: Petersen
- first_name: Marketa
full_name: Tesarova, Marketa
last_name: Tesarova
- first_name: Bara
full_name: Szarowska, Bara
last_name: Szarowska
- first_name: Maria
full_name: Kastriti, Maria
last_name: Kastriti
- first_name: Meng
full_name: Xie, Meng
last_name: Xie
- first_name: Anna
full_name: Kicheva, Anna
id: 3959A2A0-F248-11E8-B48F-1D18A9856A87
last_name: Kicheva
orcid: 0000-0003-4509-4998
- first_name: Karl
full_name: Annusver, Karl
last_name: Annusver
- first_name: Maria
full_name: Kasper, Maria
last_name: Kasper
- first_name: Orsolya
full_name: Symmons, Orsolya
last_name: Symmons
- first_name: Leslie
full_name: Pan, Leslie
last_name: Pan
- first_name: Francois
full_name: Spitz, Francois
last_name: Spitz
- first_name: Jozef
full_name: Kaiser, Jozef
last_name: Kaiser
- first_name: Maria
full_name: Hovorakova, Maria
last_name: Hovorakova
- first_name: Tomas
full_name: Zikmund, Tomas
last_name: Zikmund
- first_name: Kazunori
full_name: Sunadome, Kazunori
last_name: Sunadome
- first_name: Michael P
full_name: Matise, Michael P
last_name: Matise
- first_name: Hui
full_name: Wang, Hui
last_name: Wang
- first_name: Ulrika
full_name: Marklund, Ulrika
last_name: Marklund
- first_name: Hind
full_name: Abdo, Hind
last_name: Abdo
- first_name: Patrik
full_name: Ernfors, Patrik
last_name: Ernfors
- first_name: Pascal
full_name: Maire, Pascal
last_name: Maire
- first_name: Maud
full_name: Wurmser, Maud
last_name: Wurmser
- first_name: Andrei S
full_name: Chagin, Andrei S
last_name: Chagin
- first_name: Kaj
full_name: Fried, Kaj
last_name: Fried
- first_name: Igor
full_name: Adameyko, Igor
last_name: Adameyko
citation:
ama: Kaucka M, Petersen J, Tesarova M, et al. Signals from the brain and olfactory
epithelium control shaping of the mammalian nasal capsule cartilage. eLife.
2018;7. doi:10.7554/eLife.34465
apa: Kaucka, M., Petersen, J., Tesarova, M., Szarowska, B., Kastriti, M., Xie, M.,
… Adameyko, I. (2018). Signals from the brain and olfactory epithelium control
shaping of the mammalian nasal capsule cartilage. ELife. eLife Sciences
Publications. https://doi.org/10.7554/eLife.34465
chicago: Kaucka, Marketa, Julian Petersen, Marketa Tesarova, Bara Szarowska, Maria
Kastriti, Meng Xie, Anna Kicheva, et al. “Signals from the Brain and Olfactory
Epithelium Control Shaping of the Mammalian Nasal Capsule Cartilage.” ELife.
eLife Sciences Publications, 2018. https://doi.org/10.7554/eLife.34465.
ieee: M. Kaucka et al., “Signals from the brain and olfactory epithelium
control shaping of the mammalian nasal capsule cartilage,” eLife, vol.
7. eLife Sciences Publications, 2018.
ista: Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti M, Xie M, Kicheva
A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund
T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser
M, Chagin AS, Fried K, Adameyko I. 2018. Signals from the brain and olfactory
epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 7,
e34465.
mla: Kaucka, Marketa, et al. “Signals from the Brain and Olfactory Epithelium Control
Shaping of the Mammalian Nasal Capsule Cartilage.” ELife, vol. 7, e34465,
eLife Sciences Publications, 2018, doi:10.7554/eLife.34465.
short: M. Kaucka, J. Petersen, M. Tesarova, B. Szarowska, M. Kastriti, M. Xie, A.
Kicheva, K. Annusver, M. Kasper, O. Symmons, L. Pan, F. Spitz, J. Kaiser, M. Hovorakova,
T. Zikmund, K. Sunadome, M.P. Matise, H. Wang, U. Marklund, H. Abdo, P. Ernfors,
P. Maire, M. Wurmser, A.S. Chagin, K. Fried, I. Adameyko, ELife 7 (2018).
date_created: 2018-12-11T11:44:57Z
date_published: 2018-06-13T00:00:00Z
date_updated: 2025-04-14T07:27:30Z
day: '13'
ddc:
- '571'
department:
- _id: AnKi
doi: 10.7554/eLife.34465
ec_funded: 1
external_id:
isi:
- '000436227500001'
file:
- access_level: open_access
checksum: da2378cdcf6b5461dcde194e4d608343
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T16:41:58Z
date_updated: 2020-07-14T12:45:07Z
file_id: '5727'
file_name: 2018_eLife_Kaucka.pdf
file_size: 9816484
relation: main_file
file_date_updated: 2020-07-14T12:45:07Z
has_accepted_license: '1'
intvolume: ' 7'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: B6FC0238-B512-11E9-945C-1524E6697425
call_identifier: H2020
grant_number: '680037'
name: Coordination of Patterning And Growth In the Spinal Cord
publication: eLife
publication_status: published
publisher: eLife Sciences Publications
publist_id: '7759'
quality_controlled: '1'
related_material:
record:
- id: '9838'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Signals from the brain and olfactory epithelium control shaping of the mammalian
nasal capsule cartilage
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: 7
year: '2018'
...
---
_id: '163'
abstract:
- lang: eng
text: For ultrafast fixation of biological samples to avoid artifacts, high-pressure
freezing (HPF) followed by freeze substitution (FS) is preferred over chemical
fixation at room temperature. After HPF, samples are maintained at low temperature
during dehydration and fixation, while avoiding damaging recrystallization. This
is a notoriously slow process. McDonald and Webb demonstrated, in 2011, that sample
agitation during FS dramatically reduces the necessary time. Then, in 2015, we
(H.G. and S.R.) introduced an agitation module into the cryochamber of an automated
FS unit and demonstrated that the preparation of algae could be shortened from
days to a couple of hours. We argued that variability in the processing, reproducibility,
and safety issues are better addressed using automated FS units. For dissemination,
we started low-cost manufacturing of agitation modules for two of the most widely
used FS units, the Automatic Freeze Substitution Systems, AFS(1) and AFS2, from
Leica Microsystems, using three dimensional (3D)-printing of the major components.
To test them, several labs independently used the modules on a wide variety of
specimens that had previously been processed by manual agitation, or without agitation.
We demonstrate that automated processing with sample agitation saves time, increases
flexibility with respect to sample requirements and protocols, and produces data
of at least as good quality as other approaches.
article_processing_charge: No
article_type: original
author:
- first_name: Siegfried
full_name: Reipert, Siegfried
last_name: Reipert
- first_name: Helmuth
full_name: Goldammer, Helmuth
last_name: Goldammer
- first_name: Christine
full_name: Richardson, Christine
last_name: Richardson
- first_name: Martin
full_name: Goldberg, Martin
last_name: Goldberg
- first_name: Timothy
full_name: Hawkins, Timothy
last_name: Hawkins
- first_name: Elena
full_name: Hollergschwandtner, Elena
id: 3C054040-F248-11E8-B48F-1D18A9856A87
last_name: Hollergschwandtner
- first_name: Walter
full_name: Kaufmann, Walter
id: 3F99E422-F248-11E8-B48F-1D18A9856A87
last_name: Kaufmann
orcid: 0000-0001-9735-5315
- first_name: Sebastian
full_name: Antreich, Sebastian
last_name: Antreich
- first_name: York
full_name: Stierhof, York
last_name: Stierhof
citation:
ama: 'Reipert S, Goldammer H, Richardson C, et al. Agitation modules: Flexible means
to accelerate automated freeze substitution. Journal of Histochemistry and
Cytochemistry. 2018;66(12):903-921. doi:10.1369/0022155418786698'
apa: 'Reipert, S., Goldammer, H., Richardson, C., Goldberg, M., Hawkins, T., Saeckl,
E., … Stierhof, Y. (2018). Agitation modules: Flexible means to accelerate automated
freeze substitution. Journal of Histochemistry and Cytochemistry. SAGE
Publications. https://doi.org/10.1369/0022155418786698'
chicago: 'Reipert, Siegfried, Helmuth Goldammer, Christine Richardson, Martin Goldberg,
Timothy Hawkins, Elena Saeckl, Walter Kaufmann, Sebastian Antreich, and York Stierhof.
“Agitation Modules: Flexible Means to Accelerate Automated Freeze Substitution.”
Journal of Histochemistry and Cytochemistry. SAGE Publications, 2018. https://doi.org/10.1369/0022155418786698.'
ieee: 'S. Reipert et al., “Agitation modules: Flexible means to accelerate
automated freeze substitution,” Journal of Histochemistry and Cytochemistry,
vol. 66, no. 12. SAGE Publications, pp. 903–921, 2018.'
ista: 'Reipert S, Goldammer H, Richardson C, Goldberg M, Hawkins T, Saeckl E, Kaufmann
W, Antreich S, Stierhof Y. 2018. Agitation modules: Flexible means to accelerate
automated freeze substitution. Journal of Histochemistry and Cytochemistry. 66(12),
903–921.'
mla: 'Reipert, Siegfried, et al. “Agitation Modules: Flexible Means to Accelerate
Automated Freeze Substitution.” Journal of Histochemistry and Cytochemistry,
vol. 66, no. 12, SAGE Publications, 2018, pp. 903–21, doi:10.1369/0022155418786698.'
short: S. Reipert, H. Goldammer, C. Richardson, M. Goldberg, T. Hawkins, E. Saeckl,
W. Kaufmann, S. Antreich, Y. Stierhof, Journal of Histochemistry and Cytochemistry
66 (2018) 903–921.
date_created: 2018-12-11T11:44:57Z
date_published: 2018-12-01T00:00:00Z
date_updated: 2023-10-17T08:42:24Z
day: '01'
department:
- _id: RySh
- _id: EM-Fac
doi: 10.1369/0022155418786698
external_id:
isi:
- '000452277700005'
pmid:
- '29969056'
intvolume: ' 66'
isi: 1
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1369/0022155418786698
month: '12'
oa: 1
oa_version: Published Version
page: 903-921
pmid: 1
publication: Journal of Histochemistry and Cytochemistry
publication_identifier:
issn:
- 0022-1554
publication_status: published
publisher: SAGE Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Agitation modules: Flexible means to accelerate automated freeze substitution'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 66
year: '2018'
...
---
_id: '17'
abstract:
- lang: eng
text: Creeping flow of polymeric fluid without inertia exhibits elastic instabilities
and elastic turbulence accompanied by drag enhancement due to elastic stress produced
by flow-stretched polymers. However, in inertia-dominated flow at high Re and
low fluid elasticity El, a reduction in turbulent frictional drag is caused by
an intricate competition between inertial and elastic stresses. Here we explore
the effect of inertia on the stability of viscoelastic flow in a broad range of
control parameters El and (Re,Wi). We present the stability diagram of observed
flow regimes in Wi-Re coordinates and find that the instabilities' onsets show
an unexpectedly nonmonotonic dependence on El. Further, three distinct regions
in the diagram are identified based on El. Strikingly, for high-elasticity fluids
we discover a complete relaminarization of flow at Reynolds number in the range
of 1 to 10, different from a well-known turbulent drag reduction. These counterintuitive
effects may be explained by a finite polymer extensibility and a suppression of
vorticity at high Wi. Our results call for further theoretical and numerical development
to uncover the role of inertial effect on elastic turbulence in a viscoelastic
flow.
article_number: '103302 '
article_processing_charge: No
author:
- first_name: Atul
full_name: Varshney, Atul
id: 2A2006B2-F248-11E8-B48F-1D18A9856A87
last_name: Varshney
orcid: 0000-0002-3072-5999
- first_name: Victor
full_name: Steinberg, Victor
last_name: Steinberg
citation:
ama: Varshney A, Steinberg V. Drag enhancement and drag reduction in viscoelastic
flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103302
apa: Varshney, A., & Steinberg, V. (2018). Drag enhancement and drag reduction
in viscoelastic flow. Physical Review Fluids. American Physical Society.
https://doi.org/10.1103/PhysRevFluids.3.103302
chicago: Varshney, Atul, and Victor Steinberg. “Drag Enhancement and Drag Reduction
in Viscoelastic Flow.” Physical Review Fluids. American Physical Society,
2018. https://doi.org/10.1103/PhysRevFluids.3.103302.
ieee: A. Varshney and V. Steinberg, “Drag enhancement and drag reduction in viscoelastic
flow,” Physical Review Fluids, vol. 3, no. 10. American Physical Society,
2018.
ista: Varshney A, Steinberg V. 2018. Drag enhancement and drag reduction in viscoelastic
flow. Physical Review Fluids. 3(10), 103302.
mla: Varshney, Atul, and Victor Steinberg. “Drag Enhancement and Drag Reduction
in Viscoelastic Flow.” Physical Review Fluids, vol. 3, no. 10, 103302,
American Physical Society, 2018, doi:10.1103/PhysRevFluids.3.103302.
short: A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).
date_created: 2018-12-11T11:44:11Z
date_published: 2018-10-15T00:00:00Z
date_updated: 2025-04-14T07:43:59Z
day: '15'
ddc:
- '532'
department:
- _id: BjHo
doi: 10.1103/PhysRevFluids.3.103302
ec_funded: 1
external_id:
isi:
- '000447311500001'
file:
- access_level: open_access
checksum: e1445be33e8165114e96246275600750
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:14Z
date_updated: 2020-07-14T12:45:12Z
file_id: '4800'
file_name: IST-2018-1061-v1+1_PhysRevFluids.3.103302.pdf
file_size: 1409040
relation: main_file
file_date_updated: 2020-07-14T12:45:12Z
has_accepted_license: '1'
intvolume: ' 3'
isi: 1
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Physical Review Fluids
publication_status: published
publisher: American Physical Society
publist_id: '8038'
pubrep_id: '1061'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Drag enhancement and drag reduction in viscoelastic flow
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 3
year: '2018'
...
---
_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: 2025-04-15T06:26:03Z
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: Formal methods for the design and analysis of complex systems
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: '7812'
abstract:
- lang: eng
text: Deep neural networks (DNNs) continue to make significant advances, solving
tasks from image classification to translation or reinforcement learning. One
aspect of the field receiving considerable attention is efficiently executing
deep models in resource-constrained environments, such as mobile or embedded devices.
This paper focuses on this problem, and proposes two new compression methods,
which jointly leverage weight quantization and distillation of larger teacher
networks into smaller student networks. The first method we propose is called
quantized distillation and leverages distillation during the training process,
by incorporating distillation loss, expressed with respect to the teacher, into
the training of a student network whose weights are quantized to a limited set
of levels. The second method, differentiable quantization, optimizes the location
of quantization points through stochastic gradient descent, to better fit the
behavior of the teacher model. We validate both methods through experiments on
convolutional and recurrent architectures. We show that quantized shallow students
can reach similar accuracy levels to full-precision teacher models, while providing
order of magnitude compression, and inference speedup that is linear in the depth
reduction. In sum, our results enable DNNs for resource-constrained environments
to leverage architecture and accuracy advances developed on more powerful devices.
acknowledgement: "We would like to thank Ce Zhang (ETH Zurich), Hantian Zhang (ETH
Zurich) and Martin Jaggi ´\r\n(EPFL) for their support with experiments and valuable
feedback.\r\n"
article_processing_charge: No
arxiv: 1
author:
- first_name: Antonio
full_name: Polino, Antonio
last_name: Polino
- first_name: Razvan
full_name: Pascanu, Razvan
last_name: Pascanu
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
citation:
ama: 'Polino A, Pascanu R, Alistarh D-A. Model compression via distillation and
quantization. In: 6th International Conference on Learning Representations.
; 2018.'
apa: Polino, A., Pascanu, R., & Alistarh, D.-A. (2018). Model compression via
distillation and quantization. In 6th International Conference on Learning
Representations. Vancouver, Canada.
chicago: Polino, Antonio, Razvan Pascanu, and Dan-Adrian Alistarh. “Model Compression
via Distillation and Quantization.” In 6th International Conference on Learning
Representations, 2018.
ieee: A. Polino, R. Pascanu, and D.-A. Alistarh, “Model compression via distillation
and quantization,” in 6th International Conference on Learning Representations,
Vancouver, Canada, 2018.
ista: 'Polino A, Pascanu R, Alistarh D-A. 2018. Model compression via distillation
and quantization. 6th International Conference on Learning Representations. ICLR:
International Conference on Learning Representations.'
mla: Polino, Antonio, et al. “Model Compression via Distillation and Quantization.”
6th International Conference on Learning Representations, 2018.
short: A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference
on Learning Representations, 2018.
conference:
end_date: 2018-05-03
location: Vancouver, Canada
name: 'ICLR: International Conference on Learning Representations'
start_date: 2018-04-30
date_created: 2020-05-10T22:00:51Z
date_published: 2018-05-01T00:00:00Z
date_updated: 2025-06-30T10:04:44Z
day: '01'
ddc:
- '000'
department:
- _id: DaAl
external_id:
arxiv:
- '1802.05668'
file:
- access_level: open_access
checksum: a4336c167978e81891970e4e4517a8c3
content_type: application/pdf
creator: dernst
date_created: 2020-05-26T13:02:00Z
date_updated: 2020-07-14T12:48:03Z
file_id: '7894'
file_name: 2018_ICLR_Polino.pdf
file_size: 308339
relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: 6th International Conference on Learning Representations
publication_status: published
quality_controlled: '1'
scopus_import: '1'
status: public
title: Model compression via distillation and quantization
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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
arxiv: 1
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: '81'
abstract:
- lang: eng
text: We solve the offline monitoring problem for timed propositional temporal logic
(TPTL), interpreted over dense-time Boolean signals. The variant of TPTL we consider
extends linear temporal logic (LTL) with clock variables and reset quantifiers,
providing a mechanism to specify real-time constraints. We first describe a general
monitoring algorithm based on an exhaustive computation of the set of satisfying
clock assignments as a finite union of zones. We then propose a specialized monitoring
algorithm for the one-variable case using a partition of the time domain based
on the notion of region equivalence, whose complexity is linear in the length
of the signal, thereby generalizing a known result regarding the monitoring of
metric temporal logic (MTL). The region and zone representations of time constraints
are known from timed automata verification and can also be used in the discrete-time
case. Our prototype implementation appears to outperform previous discrete-time
implementations of TPTL monitoring,
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Adrian
full_name: Elgyütt, Adrian
id: 4A2E9DBA-F248-11E8-B48F-1D18A9856A87
last_name: Elgyütt
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Elgyütt A, Ferrere T, Henzinger TA. Monitoring temporal logic with clock variables.
In: Vol 11022. Springer; 2018:53-70. doi:10.1007/978-3-030-00151-3_4'
apa: 'Elgyütt, A., Ferrere, T., & Henzinger, T. A. (2018). Monitoring temporal
logic with clock variables (Vol. 11022, pp. 53–70). Presented at the FORMATS:
Formal Modeling and Analysis of Timed Systems, Beijing, China: Springer. https://doi.org/10.1007/978-3-030-00151-3_4'
chicago: Elgyütt, Adrian, Thomas Ferrere, and Thomas A Henzinger. “Monitoring Temporal
Logic with Clock Variables,” 11022:53–70. Springer, 2018. https://doi.org/10.1007/978-3-030-00151-3_4.
ieee: 'A. Elgyütt, T. Ferrere, and T. A. Henzinger, “Monitoring temporal logic with
clock variables,” presented at the FORMATS: Formal Modeling and Analysis of Timed
Systems, Beijing, China, 2018, vol. 11022, pp. 53–70.'
ista: 'Elgyütt A, Ferrere T, Henzinger TA. 2018. Monitoring temporal logic with
clock variables. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS,
vol. 11022, 53–70.'
mla: Elgyütt, Adrian, et al. Monitoring Temporal Logic with Clock Variables.
Vol. 11022, Springer, 2018, pp. 53–70, doi:10.1007/978-3-030-00151-3_4.
short: A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
conference:
end_date: 2018-09-06
location: Beijing, 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: 2025-04-15T06:26:03Z
day: '26'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-00151-3_4
external_id:
isi:
- '000884993200004'
file:
- access_level: open_access
checksum: e5d81c9b50a6bd9d8a2c16953aad7e23
content_type: application/pdf
creator: dernst
date_created: 2020-10-09T06:24:21Z
date_updated: 2020-10-09T06:24:21Z
file_id: '8638'
file_name: 2018_LNCS_Elgyuett.pdf
file_size: 537219
relation: main_file
success: 1
file_date_updated: 2020-10-09T06:24:21Z
has_accepted_license: '1'
intvolume: ' 11022'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 53 - 70
project:
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication_status: published
publisher: Springer
publist_id: '7973'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Monitoring temporal logic with clock variables
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11022
year: '2018'
...