---
_id: '9412'
abstract:
- lang: eng
text: We extend our recent result [22] on the central limit theorem for the linear
eigenvalue statistics of non-Hermitian matrices X with independent, identically
distributed complex entries to the real symmetry class. We find that the expectation
and variance substantially differ from their complex counterparts, reflecting
(i) the special spectral symmetry of real matrices onto the real axis; and (ii)
the fact that real i.i.d. matrices have many real eigenvalues. Our result generalizes
the previously known special cases where either the test function is analytic
[49] or the first four moments of the matrix elements match the real Gaussian
[59, 44]. The key element of the proof is the analysis of several weakly dependent
Dyson Brownian motions (DBMs). The conceptual novelty of the real case compared
with [22] is that the correlation structure of the stochastic differentials in
each individual DBM is non-trivial, potentially even jeopardising its well-posedness.
article_number: '24'
article_processing_charge: No
author:
- first_name: Giorgio
full_name: Cipolloni, Giorgio
id: 42198EFA-F248-11E8-B48F-1D18A9856A87
last_name: Cipolloni
orcid: 0000-0002-4901-7992
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Dominik J
full_name: Schröder, Dominik J
id: 408ED176-F248-11E8-B48F-1D18A9856A87
last_name: Schröder
orcid: 0000-0002-2904-1856
citation:
ama: Cipolloni G, Erdös L, Schröder DJ. Fluctuation around the circular law for
random matrices with real entries. Electronic Journal of Probability. 2021;26.
doi:10.1214/21-EJP591
apa: Cipolloni, G., Erdös, L., & Schröder, D. J. (2021). Fluctuation around
the circular law for random matrices with real entries. Electronic Journal
of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/21-EJP591
chicago: Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “Fluctuation
around the Circular Law for Random Matrices with Real Entries.” Electronic
Journal of Probability. Institute of Mathematical Statistics, 2021. https://doi.org/10.1214/21-EJP591.
ieee: G. Cipolloni, L. Erdös, and D. J. Schröder, “Fluctuation around the circular
law for random matrices with real entries,” Electronic Journal of Probability,
vol. 26. Institute of Mathematical Statistics, 2021.
ista: Cipolloni G, Erdös L, Schröder DJ. 2021. Fluctuation around the circular law
for random matrices with real entries. Electronic Journal of Probability. 26,
24.
mla: Cipolloni, Giorgio, et al. “Fluctuation around the Circular Law for Random
Matrices with Real Entries.” Electronic Journal of Probability, vol. 26,
24, Institute of Mathematical Statistics, 2021, doi:10.1214/21-EJP591.
short: G. Cipolloni, L. Erdös, D.J. Schröder, Electronic Journal of Probability
26 (2021).
date_created: 2021-05-23T22:01:44Z
date_published: 2021-03-23T00:00:00Z
date_updated: 2023-08-08T13:39:19Z
day: '23'
ddc:
- '510'
department:
- _id: LaEr
doi: 10.1214/21-EJP591
ec_funded: 1
external_id:
arxiv:
- '2002.02438'
isi:
- '000641855600001'
file:
- access_level: open_access
checksum: 864ab003ad4cffea783f65aa8c2ba69f
content_type: application/pdf
creator: kschuh
date_created: 2021-05-25T13:24:19Z
date_updated: 2021-05-25T13:24:19Z
file_id: '9423'
file_name: 2021_EJP_Cipolloni.pdf
file_size: 865148
relation: main_file
success: 1
file_date_updated: 2021-05-25T13:24:19Z
has_accepted_license: '1'
intvolume: ' 26'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Electronic Journal of Probability
publication_identifier:
eissn:
- '10836489'
publication_status: published
publisher: Institute of Mathematical Statistics
quality_controlled: '1'
scopus_import: '1'
status: public
title: Fluctuation around the circular law for random matrices with real entries
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 26
year: '2021'
...
---
_id: '9407'
abstract:
- lang: eng
text: 'High impact epidemics constitute one of the largest threats humanity is facing
in the 21st century. In the absence of pharmaceutical interventions, physical
distancing together with testing, contact tracing and quarantining are crucial
in slowing down epidemic dynamics. Yet, here we show that if testing capacities
are limited, containment may fail dramatically because such combined countermeasures
drastically change the rules of the epidemic transition: Instead of continuous,
the response to countermeasures becomes discontinuous. Rather than following the
conventional exponential growth, the outbreak that is initially strongly suppressed
eventually accelerates and scales faster than exponential during an explosive
growth period. As a consequence, containment measures either suffice to stop the
outbreak at low total case numbers or fail catastrophically if marginally too
weak, thus implying large uncertainties in reliably estimating overall epidemic
dynamics, both during initial phases and during second wave scenarios.'
acknowledgement: The authors thank Malte Schröder for valuable discussions and creating
the scale-free network topologies. B.H. thanks Mukund Vasudevan for helpful discussion.
The research by M.T. was supported by the Deutsche Forschungsgemeinschaft (DFG,
German Research Foundation) under Germany´s Excellence Strategy–EXC-2068–390729961–Cluster
of Excellence Physics of Life of TU Dresden.
article_number: '2586'
article_processing_charge: No
article_type: original
author:
- first_name: Davide
full_name: Scarselli, Davide
id: 40315C30-F248-11E8-B48F-1D18A9856A87
last_name: Scarselli
orcid: 0000-0001-5227-4271
- first_name: Nazmi B
full_name: Budanur, Nazmi B
id: 3EA1010E-F248-11E8-B48F-1D18A9856A87
last_name: Budanur
orcid: 0000-0003-0423-5010
- first_name: Marc
full_name: Timme, Marc
last_name: Timme
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
citation:
ama: Scarselli D, Budanur NB, Timme M, Hof B. Discontinuous epidemic transition
due to limited testing. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-22725-9
apa: Scarselli, D., Budanur, N. B., Timme, M., & Hof, B. (2021). Discontinuous
epidemic transition due to limited testing. Nature Communications. Springer
Nature. https://doi.org/10.1038/s41467-021-22725-9
chicago: Scarselli, Davide, Nazmi B Budanur, Marc Timme, and Björn Hof. “Discontinuous
Epidemic Transition Due to Limited Testing.” Nature Communications. Springer
Nature, 2021. https://doi.org/10.1038/s41467-021-22725-9.
ieee: D. Scarselli, N. B. Budanur, M. Timme, and B. Hof, “Discontinuous epidemic
transition due to limited testing,” Nature Communications, vol. 12, no.
1. Springer Nature, 2021.
ista: Scarselli D, Budanur NB, Timme M, Hof B. 2021. Discontinuous epidemic transition
due to limited testing. Nature Communications. 12(1), 2586.
mla: Scarselli, Davide, et al. “Discontinuous Epidemic Transition Due to Limited
Testing.” Nature Communications, vol. 12, no. 1, 2586, Springer Nature,
2021, doi:10.1038/s41467-021-22725-9.
short: D. Scarselli, N.B. Budanur, M. Timme, B. Hof, Nature Communications 12 (2021).
date_created: 2021-05-23T22:01:42Z
date_published: 2021-05-10T00:00:00Z
date_updated: 2023-08-08T13:45:13Z
day: '10'
ddc:
- '570'
department:
- _id: BjHo
doi: 10.1038/s41467-021-22725-9
external_id:
isi:
- '000687305500044'
file:
- access_level: open_access
checksum: fe26c1b8a7da1ae07a6c03f80ff06ea1
content_type: application/pdf
creator: kschuh
date_created: 2021-05-25T14:18:40Z
date_updated: 2021-05-25T14:18:40Z
file_id: '9426'
file_name: 2021_NatureCommunications_Scarselli.pdf
file_size: 1176573
relation: main_file
success: 1
file_date_updated: 2021-05-25T14:18:40Z
has_accepted_license: '1'
intvolume: ' 12'
isi: 1
issue: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: Nature Communications
publication_identifier:
eissn:
- '20411723'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/smashing-the-covid-curve/
scopus_import: '1'
status: public
title: Discontinuous epidemic transition due to limited testing
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 12
year: '2021'
...
---
_id: '9411'
abstract:
- lang: eng
text: The dynamics of a triangular magnetocapillary swimmer is studied using the
lattice Boltzmann method. We extend on our previous work, which deals with the
self-assembly and a specific type of the swimmer motion characterized by the swimmer’s
maximum velocity centred around the particle’s inverse viscous time. Here, we
identify additional regimes of motion. First, modifying the ratio of surface tension
and magnetic forces allows to study the swimmer propagation in the regime of significantly
lower frequencies mainly defined by the strength of the magnetocapillary potential.
Second, introducing a constant magnetic contribution in each of the particles
in addition to their magnetic moment induced by external fields leads to another
regime characterized by strong in-plane swimmer reorientations that resemble experimental
observations.
acknowledgement: This work was financially supported by the DFG Priority Programme
SPP 1726 “Microswimmers–From Single Particle Motion to Collective Behaviour” (HA
4382/5-1). We further acknowledge the Jülich Supercomputing Centre (JSC) and the
High Performance Computing Centre Stuttgart (HLRS) for the allocation of computing
time.
article_number: '59'
article_processing_charge: No
author:
- first_name: Alexander
full_name: Sukhov, Alexander
last_name: Sukhov
- first_name: Maxime
full_name: Hubert, Maxime
last_name: Hubert
- first_name: Galien M
full_name: Grosjean, Galien M
id: 0C5FDA4A-9CF6-11E9-8939-FF05E6697425
last_name: Grosjean
orcid: 0000-0001-5154-417X
- first_name: Oleg
full_name: Trosman, Oleg
last_name: Trosman
- first_name: Sebastian
full_name: Ziegler, Sebastian
last_name: Ziegler
- first_name: Ylona
full_name: Collard, Ylona
last_name: Collard
- first_name: Nicolas
full_name: Vandewalle, Nicolas
last_name: Vandewalle
- first_name: Ana Sunčana
full_name: Smith, Ana Sunčana
last_name: Smith
- first_name: Jens
full_name: Harting, Jens
last_name: Harting
citation:
ama: Sukhov A, Hubert M, Grosjean GM, et al. Regimes of motion of magnetocapillary
swimmers. European Physical Journal E. 2021;44(4). doi:10.1140/epje/s10189-021-00065-2
apa: Sukhov, A., Hubert, M., Grosjean, G. M., Trosman, O., Ziegler, S., Collard,
Y., … Harting, J. (2021). Regimes of motion of magnetocapillary swimmers. European
Physical Journal E. Springer. https://doi.org/10.1140/epje/s10189-021-00065-2
chicago: Sukhov, Alexander, Maxime Hubert, Galien M Grosjean, Oleg Trosman, Sebastian
Ziegler, Ylona Collard, Nicolas Vandewalle, Ana Sunčana Smith, and Jens Harting.
“Regimes of Motion of Magnetocapillary Swimmers.” European Physical Journal
E. Springer, 2021. https://doi.org/10.1140/epje/s10189-021-00065-2.
ieee: A. Sukhov et al., “Regimes of motion of magnetocapillary swimmers,”
European Physical Journal E, vol. 44, no. 4. Springer, 2021.
ista: Sukhov A, Hubert M, Grosjean GM, Trosman O, Ziegler S, Collard Y, Vandewalle
N, Smith AS, Harting J. 2021. Regimes of motion of magnetocapillary swimmers.
European Physical Journal E. 44(4), 59.
mla: Sukhov, Alexander, et al. “Regimes of Motion of Magnetocapillary Swimmers.”
European Physical Journal E, vol. 44, no. 4, 59, Springer, 2021, doi:10.1140/epje/s10189-021-00065-2.
short: A. Sukhov, M. Hubert, G.M. Grosjean, O. Trosman, S. Ziegler, Y. Collard,
N. Vandewalle, A.S. Smith, J. Harting, European Physical Journal E 44 (2021).
date_created: 2021-05-23T22:01:44Z
date_published: 2021-04-24T00:00:00Z
date_updated: 2023-08-08T13:36:28Z
day: '24'
ddc:
- '530'
department:
- _id: ScWa
doi: 10.1140/epje/s10189-021-00065-2
external_id:
isi:
- '000643251300001'
file:
- access_level: open_access
checksum: 0ef342d011afbe3c5cb058fda9a3f395
content_type: application/pdf
creator: kschuh
date_created: 2021-05-25T11:32:14Z
date_updated: 2021-05-25T11:32:14Z
file_id: '9422'
file_name: 2021_EPJE_Sukhov.pdf
file_size: 2507870
relation: main_file
success: 1
file_date_updated: 2021-05-25T11:32:14Z
has_accepted_license: '1'
intvolume: ' 44'
isi: 1
issue: '4'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
publication: European Physical Journal E
publication_identifier:
eissn:
- 1292895X
issn:
- '12928941'
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
status: public
title: Regimes of motion of magnetocapillary swimmers
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 44
year: '2021'
...
---
_id: '9414'
abstract:
- lang: eng
text: Microtubule plus-end depolymerization rate is a potentially important target
of physiological regulation, but it has been challenging to measure, so its role
in spatial organization is poorly understood. Here we apply a method for tracking
plus ends based on time difference imaging to measure depolymerization rates in
large interphase asters growing in Xenopus egg extract. We observed strong spatial
regulation of depolymerization rates, which were higher in the aster interior
compared with the periphery, and much less regulation of polymerization or catastrophe
rates. We interpret these data in terms of a limiting component model, where aster
growth results in lower levels of soluble tubulin and microtubule-associated proteins
(MAPs) in the interior cytosol compared with that at the periphery. The steady-state
polymer fraction of tubulin was ∼30%, so tubulin is not strongly depleted in the
aster interior. We propose that the limiting component for microtubule assembly
is a MAP that inhibits depolymerization, and that egg asters are tuned to low
microtubule density.
acknowledgement: The authors thank the members of Mitchison, Brugués, and Jay Gatlin
groups (University of Wyoming) for discussions. We thank Heino Andreas (MPI-CBG)
for frog maintenance. We thank Nikon for microscopy support at Marine Biological
Laboratory (MBL). K.I. was supported by fellowships from the Honjo International
Scholarship Foundation and Center of Systems Biology Dresden. F.D. was supported
by the DIGGS-BB fellowship provided by the German Research Foundation (DFG). P.C.
is supported by a Boehringer Ingelheim Fonds PhD fellowship. J.F.P. was supported
by a fellowship from the Fannie and John Hertz Foundation. M.L.’s research is supported
by European Research Council (ERC) Grant no. ERC-2015-StG-679239. J.B.’s research
is supported by the Human Frontiers Science Program (CDA00074/2014). T.J.M.’s research
is supported by National Institutes of Health Grant no. R35GM131753.
article_processing_charge: No
article_type: original
author:
- first_name: Keisuke
full_name: Ishihara, Keisuke
last_name: Ishihara
- first_name: Franziska
full_name: Decker, Franziska
last_name: Decker
- first_name: Paulo R
full_name: Dos Santos Caldas, Paulo R
id: 38FCDB4C-F248-11E8-B48F-1D18A9856A87
last_name: Dos Santos Caldas
orcid: 0000-0001-6730-4461
- first_name: James F.
full_name: Pelletier, James F.
last_name: Pelletier
- first_name: Martin
full_name: Loose, Martin
id: 462D4284-F248-11E8-B48F-1D18A9856A87
last_name: Loose
orcid: 0000-0001-7309-9724
- first_name: Jan
full_name: Brugués, Jan
last_name: Brugués
- first_name: Timothy J.
full_name: Mitchison, Timothy J.
last_name: Mitchison
citation:
ama: Ishihara K, Decker F, Dos Santos Caldas PR, et al. Spatial variation of microtubule
depolymerization in large asters. Molecular Biology of the Cell. 2021;32(9):869-879.
doi:10.1091/MBC.E20-11-0723
apa: Ishihara, K., Decker, F., Dos Santos Caldas, P. R., Pelletier, J. F., Loose,
M., Brugués, J., & Mitchison, T. J. (2021). Spatial variation of microtubule
depolymerization in large asters. Molecular Biology of the Cell. American
Society for Cell Biology. https://doi.org/10.1091/MBC.E20-11-0723
chicago: Ishihara, Keisuke, Franziska Decker, Paulo R Dos Santos Caldas, James F.
Pelletier, Martin Loose, Jan Brugués, and Timothy J. Mitchison. “Spatial Variation
of Microtubule Depolymerization in Large Asters.” Molecular Biology of the
Cell. American Society for Cell Biology, 2021. https://doi.org/10.1091/MBC.E20-11-0723.
ieee: K. Ishihara et al., “Spatial variation of microtubule depolymerization
in large asters,” Molecular Biology of the Cell, vol. 32, no. 9. American
Society for Cell Biology, pp. 869–879, 2021.
ista: Ishihara K, Decker F, Dos Santos Caldas PR, Pelletier JF, Loose M, Brugués
J, Mitchison TJ. 2021. Spatial variation of microtubule depolymerization in large
asters. Molecular Biology of the Cell. 32(9), 869–879.
mla: Ishihara, Keisuke, et al. “Spatial Variation of Microtubule Depolymerization
in Large Asters.” Molecular Biology of the Cell, vol. 32, no. 9, American
Society for Cell Biology, 2021, pp. 869–79, doi:10.1091/MBC.E20-11-0723.
short: K. Ishihara, F. Decker, P.R. Dos Santos Caldas, J.F. Pelletier, M. Loose,
J. Brugués, T.J. Mitchison, Molecular Biology of the Cell 32 (2021) 869–879.
date_created: 2021-05-23T22:01:45Z
date_published: 2021-04-19T00:00:00Z
date_updated: 2023-08-08T13:36:02Z
day: '19'
department:
- _id: MaLo
doi: 10.1091/MBC.E20-11-0723
ec_funded: 1
external_id:
isi:
- '000641574700005'
intvolume: ' 32'
isi: 1
issue: '9'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-sa/3.0/
main_file_link:
- open_access: '1'
url: https://www.molbiolcell.org/doi/10.1091/mbc.E20-11-0723
month: '04'
oa: 1
oa_version: Published Version
page: 869-879
project:
- _id: 2595697A-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '679239'
name: Self-Organization of the Bacterial Cell
- _id: 260D98C8-B435-11E9-9278-68D0E5697425
name: Reconstitution of Bacterial Cell Division Using Purified Components
publication: Molecular Biology of the Cell
publication_identifier:
eissn:
- 1939-4586
issn:
- 1059-1524
publication_status: published
publisher: American Society for Cell Biology
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spatial variation of microtubule depolymerization in large asters
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/3.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA
3.0)
short: CC BY-NC-SA (3.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 32
year: '2021'
...
---
_id: '9356'
abstract:
- lang: eng
text: 'In runtime verification, a monitor watches a trace of a system and, if possible,
decides after observing each finite prefix whether or not the unknown infinite
trace satisfies a given specification. We generalize the theory of runtime verification
to monitors that attempt to estimate numerical values of quantitative trace properties
(instead of attempting to conclude boolean values of trace specifications), such
as maximal or average response time along a trace. Quantitative monitors are approximate:
with every finite prefix, they can improve their estimate of the infinite trace''s
unknown property value. Consequently, quantitative monitors can be compared with
regard to a precision-cost trade-off: better approximations of the property value
require more monitor resources, such as states (in the case of finite-state monitors)
or registers, and additional resources yield better approximations. We introduce
a formal framework for quantitative and approximate monitoring, show how it conservatively
generalizes the classical boolean setting for monitoring, and give several precision-cost
trade-offs for monitors. For example, we prove that there are quantitative properties
for which every additional register improves monitoring precision.'
acknowledgement: We thank the anonymous reviewers for their helpful comments. This
research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23
(Wittgenstein Award).
article_number: '9470547'
article_processing_charge: No
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
- first_name: Naci E
full_name: Sarac, Naci E
id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425
last_name: Sarac
citation:
ama: 'Henzinger TA, Sarac NE. Quantitative and approximate monitoring. In: Proceedings
of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute
of Electrical and Electronics Engineers; 2021. doi:10.1109/LICS52264.2021.9470547'
apa: 'Henzinger, T. A., & Sarac, N. E. (2021). Quantitative and approximate
monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in
Computer Science. Online: Institute of Electrical and Electronics Engineers.
https://doi.org/10.1109/LICS52264.2021.9470547'
chicago: Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.”
In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science.
Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470547.
ieee: T. A. Henzinger and N. E. Sarac, “Quantitative and approximate monitoring,”
in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Online, 2021.
ista: 'Henzinger TA, Sarac NE. 2021. Quantitative and approximate monitoring. Proceedings
of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium
on Logic in Computer Science, 9470547.'
mla: Henzinger, Thomas A., and Naci E. Sarac. “Quantitative and Approximate Monitoring.”
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
9470547, Institute of Electrical and Electronics Engineers, 2021, doi:10.1109/LICS52264.2021.9470547.
short: T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE
Symposium on Logic in Computer Science, Institute of Electrical and Electronics
Engineers, 2021.
conference:
end_date: 2021-07-02
location: Online
name: 'LICS: Symposium on Logic in Computer Science'
start_date: 2021-06-29
date_created: 2021-04-30T17:30:47Z
date_published: 2021-06-29T00:00:00Z
date_updated: 2023-08-08T13:52:56Z
day: '29'
ddc:
- '000'
department:
- _id: GradSch
- _id: ToHe
doi: 10.1109/LICS52264.2021.9470547
external_id:
arxiv:
- '2105.08353'
isi:
- '000947350400021'
file:
- access_level: open_access
checksum: 6e4cba3f72775f479c5b1b75d1a4a0c4
content_type: application/pdf
creator: esarac
date_created: 2021-06-16T08:23:54Z
date_updated: 2021-06-16T08:23:54Z
file_id: '9557'
file_name: qam.pdf
file_size: 641990
relation: main_file
success: 1
file_date_updated: 2021-06-16T08:23:54Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer
Science
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantitative and approximate monitoring
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2021'
...