---
_id: '613'
abstract:
- lang: eng
text: 'Bacteria in groups vary individually, and interact with other bacteria and
the environment to produce population-level patterns of gene expression. Investigating
such behavior in detail requires measuring and controlling populations at the
single-cell level alongside precisely specified interactions and environmental
characteristics. Here we present an automated, programmable platform that combines
image-based gene expression and growth measurements with on-line optogenetic expression
control for hundreds of individual Escherichia coli cells over days, in a dynamically
adjustable environment. This integrated platform broadly enables experiments that
bridge individual and population behaviors. We demonstrate: (i) population structuring
by independent closed-loop control of gene expression in many individual cells,
(ii) cell-cell variation control during antibiotic perturbation, (iii) hybrid
bio-digital circuits in single cells, and freely specifiable digital communication
between individual bacteria. These examples showcase the potential for real-time
integration of theoretical models with measurement and control of many individual
cells to investigate and engineer microbial population behavior.'
acknowledgement: We are grateful to M. Lang, H. Janovjak, M. Khammash, A. Milias-Argeitis,
M. Rullan, G. Batt, A. Bosma-Moody, Aryan, S. Leibler, and members of the Guet and
Tkačik groups for helpful discussion, comments, and suggestions. We thank A. Moglich,
T. Mathes, J. Tabor, and S. Schmidl for kind gifts of strains, and R. Hauschild,
B. Knep, M. Lang, T. Asenov, E. Papusheva, T. Menner, T. Adletzberger, and J. Merrin
for technical assistance. The research leading to these results has received funding
from the People Programme (Marie Curie Actions) of the European Union’s Seventh
Framework Programme (FP7/2007–2013) under REA grant agreement no. [291734]. (to
R.C. and J.R.), Austrian Science Fund grant FWF P28844 (to G.T.), and internal IST
Austria Interdisciplinary Project Support. J.R. acknowledges support from the Agence
Nationale de la Recherche (ANR) under Grant Nos. ANR-16-CE33-0018 (MEMIP), ANR-16-CE12-0025
(COGEX) and ANR-10-BINF-06-01 (ICEBERG).
article_number: '1535'
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Remy P
full_name: Chait, Remy P
id: 3464AE84-F248-11E8-B48F-1D18A9856A87
last_name: Chait
orcid: 0000-0003-0876-3187
- first_name: Jakob
full_name: Ruess, Jakob
id: 4A245D00-F248-11E8-B48F-1D18A9856A87
last_name: Ruess
orcid: 0000-0003-1615-3282
- first_name: Tobias
full_name: Bergmiller, Tobias
id: 2C471CFA-F248-11E8-B48F-1D18A9856A87
last_name: Bergmiller
orcid: 0000-0001-5396-4346
- first_name: Gasper
full_name: Tkacik, Gasper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkacik
orcid: 0000-0002-6699-1455
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
citation:
ama: Chait RP, Ruess J, Bergmiller T, Tkačik G, Guet CC. Shaping bacterial population
behavior through computer interfaced control of individual cells. Nature Communications.
2017;8(1). doi:10.1038/s41467-017-01683-1
apa: Chait, R. P., Ruess, J., Bergmiller, T., Tkačik, G., & Guet, C. C. (2017).
Shaping bacterial population behavior through computer interfaced control of individual
cells. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-01683-1
chicago: Chait, Remy P, Jakob Ruess, Tobias Bergmiller, Gašper Tkačik, and Calin
C Guet. “Shaping Bacterial Population Behavior through Computer Interfaced Control
of Individual Cells.” Nature Communications. Nature Publishing Group, 2017.
https://doi.org/10.1038/s41467-017-01683-1.
ieee: R. P. Chait, J. Ruess, T. Bergmiller, G. Tkačik, and C. C. Guet, “Shaping
bacterial population behavior through computer interfaced control of individual
cells,” Nature Communications, vol. 8, no. 1. Nature Publishing Group,
2017.
ista: Chait RP, Ruess J, Bergmiller T, Tkačik G, Guet CC. 2017. Shaping bacterial
population behavior through computer interfaced control of individual cells. Nature
Communications. 8(1), 1535.
mla: Chait, Remy P., et al. “Shaping Bacterial Population Behavior through Computer
Interfaced Control of Individual Cells.” Nature Communications, vol. 8,
no. 1, 1535, Nature Publishing Group, 2017, doi:10.1038/s41467-017-01683-1.
short: R.P. Chait, J. Ruess, T. Bergmiller, G. Tkačik, C.C. Guet, Nature Communications
8 (2017).
date_created: 2018-12-11T11:47:30Z
date_published: 2017-12-01T00:00:00Z
date_updated: 2021-01-12T08:06:15Z
day: '01'
ddc:
- '576'
- '579'
department:
- _id: CaGu
- _id: GaTk
doi: 10.1038/s41467-017-01683-1
ec_funded: 1
file:
- access_level: open_access
checksum: 44bb5d0229926c23a9955d9fe0f9723f
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:05Z
date_updated: 2020-07-14T12:47:20Z
file_id: '5190'
file_name: IST-2017-911-v1+1_s41467-017-01683-1.pdf
file_size: 1951699
relation: main_file
file_date_updated: 2020-07-14T12:47:20Z
has_accepted_license: '1'
intvolume: ' 8'
issue: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '12'
oa: 1
oa_version: Published Version
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
- _id: 254E9036-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P28844-B27
name: Biophysics of information processing in gene regulation
publication: Nature Communications
publication_identifier:
issn:
- '20411723'
publication_status: published
publisher: Nature Publishing Group
publist_id: '7191'
pubrep_id: '911'
quality_controlled: '1'
scopus_import: 1
status: public
title: Shaping bacterial population behavior through computer interfaced control of
individual cells
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2017'
...
---
_id: '615'
abstract:
- lang: eng
text: We show that the Dyson Brownian Motion exhibits local universality after a
very short time assuming that local rigidity and level repulsion of the eigenvalues
hold. These conditions are verified, hence bulk spectral universality is proven,
for a large class of Wigner-like matrices, including deformed Wigner ensembles
and ensembles with non-stochastic variance matrices whose limiting densities differ
from Wigner's semicircle law.
author:
- 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: Kevin
full_name: Schnelli, Kevin
id: 434AD0AE-F248-11E8-B48F-1D18A9856A87
last_name: Schnelli
orcid: 0000-0003-0954-3231
citation:
ama: Erdös L, Schnelli K. Universality for random matrix flows with time dependent
density. Annales de l’institut Henri Poincare (B) Probability and Statistics.
2017;53(4):1606-1656. doi:10.1214/16-AIHP765
apa: Erdös, L., & Schnelli, K. (2017). Universality for random matrix flows
with time dependent density. Annales de l’institut Henri Poincare (B) Probability
and Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/16-AIHP765
chicago: Erdös, László, and Kevin Schnelli. “Universality for Random Matrix Flows
with Time Dependent Density.” Annales de l’institut Henri Poincare (B) Probability
and Statistics. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/16-AIHP765.
ieee: L. Erdös and K. Schnelli, “Universality for random matrix flows with time
dependent density,” Annales de l’institut Henri Poincare (B) Probability and
Statistics, vol. 53, no. 4. Institute of Mathematical Statistics, pp. 1606–1656,
2017.
ista: Erdös L, Schnelli K. 2017. Universality for random matrix flows with time
dependent density. Annales de l’institut Henri Poincare (B) Probability and Statistics.
53(4), 1606–1656.
mla: Erdös, László, and Kevin Schnelli. “Universality for Random Matrix Flows with
Time Dependent Density.” Annales de l’institut Henri Poincare (B) Probability
and Statistics, vol. 53, no. 4, Institute of Mathematical Statistics, 2017,
pp. 1606–56, doi:10.1214/16-AIHP765.
short: L. Erdös, K. Schnelli, Annales de l’institut Henri Poincare (B) Probability
and Statistics 53 (2017) 1606–1656.
date_created: 2018-12-11T11:47:30Z
date_published: 2017-11-01T00:00:00Z
date_updated: 2021-01-12T08:06:22Z
day: '01'
department:
- _id: LaEr
doi: 10.1214/16-AIHP765
ec_funded: 1
intvolume: ' 53'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1504.00650
month: '11'
oa: 1
oa_version: Submitted Version
page: 1606 - 1656
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: Annales de l'institut Henri Poincare (B) Probability and Statistics
publication_identifier:
issn:
- '02460203'
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '7189'
quality_controlled: '1'
scopus_import: 1
status: public
title: Universality for random matrix flows with time dependent density
type: journal_article
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 53
year: '2017'
...
---
_id: '623'
abstract:
- lang: eng
text: Genetic factors might be largely responsible for the development of autism
spectrum disorder (ASD) that alone or in combination with specific environmental
risk factors trigger the pathology. Multiple mutations identified in ASD patients
that impair synaptic function in the central nervous system are well studied in
animal models. How these mutations might interact with other risk factors is not
fully understood though. Additionally, how systems outside of the brain are altered
in the context of ASD is an emerging area of research. Extracerebral influences
on the physiology could begin in utero and contribute to changes in the brain
and in the development of other body systems and further lead to epigenetic changes.
Therefore, multiple recent studies have aimed at elucidating the role of gene-environment
interactions in ASD. Here we provide an overview on the extracerebral systems
that might play an important associative role in ASD and review evidence regarding
the potential roles of inflammation, trace metals, metabolism, genetic susceptibility,
enteric nervous system function and the microbiota of the gastrointestinal (GI)
tract on the development of endophenotypes in animal models of ASD. By influencing
environmental conditions, it might be possible to reduce or limit the severity
of ASD pathology.
alternative_title:
- ADVSANAT
author:
- first_name: Elisa
full_name: Hill Yardin, Elisa
last_name: Hill Yardin
- first_name: Sonja
full_name: Mckeown, Sonja
last_name: Mckeown
- first_name: Gaia
full_name: Novarino, Gaia
id: 3E57A680-F248-11E8-B48F-1D18A9856A87
last_name: Novarino
orcid: 0000-0002-7673-7178
- first_name: Andreas
full_name: Grabrucker, Andreas
last_name: Grabrucker
citation:
ama: 'Hill Yardin E, Mckeown S, Novarino G, Grabrucker A. Extracerebral dysfunction
in animal models of autism spectrum disorder. In: Schmeisser M, Boekers T, eds.
Translational Anatomy and Cell Biology of Autism Spectrum Disorder. Vol
224. Advances in Anatomy Embryology and Cell Biology. Springer; 2017:159-187.
doi:10.1007/978-3-319-52498-6_9'
apa: Hill Yardin, E., Mckeown, S., Novarino, G., & Grabrucker, A. (2017). Extracerebral
dysfunction in animal models of autism spectrum disorder. In M. Schmeisser &
T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum
Disorder (Vol. 224, pp. 159–187). Springer. https://doi.org/10.1007/978-3-319-52498-6_9
chicago: Hill Yardin, Elisa, Sonja Mckeown, Gaia Novarino, and Andreas Grabrucker.
“Extracerebral Dysfunction in Animal Models of Autism Spectrum Disorder.” In Translational
Anatomy and Cell Biology of Autism Spectrum Disorder, edited by Michael Schmeisser
and Tobias Boekers, 224:159–87. Advances in Anatomy Embryology and Cell Biology.
Springer, 2017. https://doi.org/10.1007/978-3-319-52498-6_9.
ieee: E. Hill Yardin, S. Mckeown, G. Novarino, and A. Grabrucker, “Extracerebral
dysfunction in animal models of autism spectrum disorder,” in Translational
Anatomy and Cell Biology of Autism Spectrum Disorder, vol. 224, M. Schmeisser
and T. Boekers, Eds. Springer, 2017, pp. 159–187.
ista: 'Hill Yardin E, Mckeown S, Novarino G, Grabrucker A. 2017.Extracerebral dysfunction
in animal models of autism spectrum disorder. In: Translational Anatomy and Cell
Biology of Autism Spectrum Disorder. ADVSANAT, vol. 224, 159–187.'
mla: Hill Yardin, Elisa, et al. “Extracerebral Dysfunction in Animal Models of Autism
Spectrum Disorder.” Translational Anatomy and Cell Biology of Autism Spectrum
Disorder, edited by Michael Schmeisser and Tobias Boekers, vol. 224, Springer,
2017, pp. 159–87, doi:10.1007/978-3-319-52498-6_9.
short: E. Hill Yardin, S. Mckeown, G. Novarino, A. Grabrucker, in:, M. Schmeisser,
T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder,
Springer, 2017, pp. 159–187.
date_created: 2018-12-11T11:47:33Z
date_published: 2017-05-28T00:00:00Z
date_updated: 2021-01-12T08:06:46Z
day: '28'
department:
- _id: GaNo
doi: 10.1007/978-3-319-52498-6_9
editor:
- first_name: Michael
full_name: Schmeisser, Michael
last_name: Schmeisser
- first_name: Tobias
full_name: Boekers, Tobias
last_name: Boekers
intvolume: ' 224'
language:
- iso: eng
month: '05'
oa_version: None
page: 159 - 187
publication: Translational Anatomy and Cell Biology of Autism Spectrum Disorder
publication_identifier:
isbn:
- 978-3-319-52496-2
issn:
- '03015556'
publication_status: published
publisher: Springer
publist_id: '7177'
quality_controlled: '1'
scopus_import: 1
series_title: Advances in Anatomy Embryology and Cell Biology
status: public
title: Extracerebral dysfunction in animal models of autism spectrum disorder
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 224
year: '2017'
...
---
_id: '626'
abstract:
- lang: eng
text: 'Our focus here is on the infinitesimal model. In this model, one or several
quantitative traits are described as the sum of a genetic and a non-genetic component,
the first being distributed within families as a normal random variable centred
at the average of the parental genetic components, and with a variance independent
of the parental traits. Thus, the variance that segregates within families is
not perturbed by selection, and can be predicted from the variance components.
This does not necessarily imply that the trait distribution across the whole population
should be Gaussian, and indeed selection or population structure may have a substantial
effect on the overall trait distribution. One of our main aims is to identify
some general conditions on the allelic effects for the infinitesimal model to
be accurate. We first review the long history of the infinitesimal model in quantitative
genetics. Then we formulate the model at the phenotypic level in terms of individual
trait values and relationships between individuals, but including different evolutionary
processes: genetic drift, recombination, selection, mutation, population structure,
…. We give a range of examples of its application to evolutionary questions related
to stabilising selection, assortative mating, effective population size and response
to selection, habitat preference and speciation. We provide a mathematical justification
of the model as the limit as the number M of underlying loci tends to infinity
of a model with Mendelian inheritance, mutation and environmental noise, when
the genetic component of the trait is purely additive. We also show how the model
generalises to include epistatic effects. We prove in particular that, within
each family, the genetic components of the individual trait values in the current
generation are indeed normally distributed with a variance independent of ancestral
traits, up to an error of order 1∕M. Simulations suggest that in some cases the
convergence may be as fast as 1∕M.'
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Alison
full_name: Etheridge, Alison
last_name: Etheridge
- first_name: Amandine
full_name: Véber, Amandine
last_name: Véber
citation:
ama: 'Barton NH, Etheridge A, Véber A. The infinitesimal model: Definition derivation
and implications. Theoretical Population Biology. 2017;118:50-73. doi:10.1016/j.tpb.2017.06.001'
apa: 'Barton, N. H., Etheridge, A., & Véber, A. (2017). The infinitesimal model:
Definition derivation and implications. Theoretical Population Biology.
Academic Press. https://doi.org/10.1016/j.tpb.2017.06.001'
chicago: 'Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “The Infinitesimal
Model: Definition Derivation and Implications.” Theoretical Population Biology.
Academic Press, 2017. https://doi.org/10.1016/j.tpb.2017.06.001.'
ieee: 'N. H. Barton, A. Etheridge, and A. Véber, “The infinitesimal model: Definition
derivation and implications,” Theoretical Population Biology, vol. 118.
Academic Press, pp. 50–73, 2017.'
ista: 'Barton NH, Etheridge A, Véber A. 2017. The infinitesimal model: Definition
derivation and implications. Theoretical Population Biology. 118, 50–73.'
mla: 'Barton, Nicholas H., et al. “The Infinitesimal Model: Definition Derivation
and Implications.” Theoretical Population Biology, vol. 118, Academic Press,
2017, pp. 50–73, doi:10.1016/j.tpb.2017.06.001.'
short: N.H. Barton, A. Etheridge, A. Véber, Theoretical Population Biology 118 (2017)
50–73.
date_created: 2018-12-11T11:47:34Z
date_published: 2017-12-01T00:00:00Z
date_updated: 2021-01-12T08:06:50Z
day: '01'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.1016/j.tpb.2017.06.001
ec_funded: 1
file:
- access_level: open_access
checksum: 7dd02bfcfe8f244f4a6c19091aedf2c8
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:12:45Z
date_updated: 2020-07-14T12:47:25Z
file_id: '4964'
file_name: IST-2017-908-v1+1_1-s2.0-S0040580917300886-main_1_.pdf
file_size: 1133924
relation: main_file
file_date_updated: 2020-07-14T12:47:25Z
has_accepted_license: '1'
intvolume: ' 118'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 50 - 73
project:
- _id: 25B07788-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '250152'
name: Limits to selection in biology and in evolutionary computation
publication: Theoretical Population Biology
publication_identifier:
issn:
- '00405809'
publication_status: published
publisher: Academic Press
publist_id: '7169'
pubrep_id: '908'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'The infinitesimal model: Definition derivation and implications'
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: 118
year: '2017'
...
---
_id: '625'
abstract:
- lang: eng
text: In the analysis of reactive systems a quantitative objective assigns a real
value to every trace of the system. The value decision problem for a quantitative
objective requires a trace whose value is at least a given threshold, and the
exact value decision problem requires a trace whose value is exactly the threshold.
We compare the computational complexity of the value and exact value decision
problems for classical quantitative objectives, such as sum, discounted sum, energy,
and mean-payoff for two standard models of reactive systems, namely, graphs and
graph games.
acknowledgement: 'This research was supported in part by the Austrian Science Fund
(FWF) under grants S11402-N23 and S11407-N23 (RiSE/SHiNE), and Z211-N23 (Wittgenstein
Award), ERC Start grant (279307: Graph Games), Vienna Science and Technology Fund
(WWTF) through project ICT15-003.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Laurent
full_name: Doyen, Laurent
last_name: Doyen
- 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: 'Chatterjee K, Doyen L, Henzinger TA. The cost of exactness in quantitative
reachability. In: Aceto L, Bacci G, Ingólfsdóttir A, Legay A, Mardare R, eds.
Models, Algorithms, Logics and Tools. Vol 10460. Theoretical Computer Science
and General Issues. Springer; 2017:367-381. doi:10.1007/978-3-319-63121-9_18'
apa: Chatterjee, K., Doyen, L., & Henzinger, T. A. (2017). The cost of exactness
in quantitative reachability. In L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay,
& R. Mardare (Eds.), Models, Algorithms, Logics and Tools (Vol. 10460,
pp. 367–381). Springer. https://doi.org/10.1007/978-3-319-63121-9_18
chicago: Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “The Cost
of Exactness in Quantitative Reachability.” In Models, Algorithms, Logics and
Tools, edited by Luca Aceto, Giorgio Bacci, Anna Ingólfsdóttir, Axel Legay,
and Radu Mardare, 10460:367–81. Theoretical Computer Science and General Issues.
Springer, 2017. https://doi.org/10.1007/978-3-319-63121-9_18.
ieee: K. Chatterjee, L. Doyen, and T. A. Henzinger, “The cost of exactness in quantitative
reachability,” in Models, Algorithms, Logics and Tools, vol. 10460, L.
Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, and R. Mardare, Eds. Springer, 2017,
pp. 367–381.
ista: 'Chatterjee K, Doyen L, Henzinger TA. 2017.The cost of exactness in quantitative
reachability. In: Models, Algorithms, Logics and Tools. LNCS, vol. 10460, 367–381.'
mla: Chatterjee, Krishnendu, et al. “The Cost of Exactness in Quantitative Reachability.”
Models, Algorithms, Logics and Tools, edited by Luca Aceto et al., vol.
10460, Springer, 2017, pp. 367–81, doi:10.1007/978-3-319-63121-9_18.
short: K. Chatterjee, L. Doyen, T.A. Henzinger, in:, L. Aceto, G. Bacci, A. Ingólfsdóttir,
A. Legay, R. Mardare (Eds.), Models, Algorithms, Logics and Tools, Springer, 2017,
pp. 367–381.
date_created: 2018-12-11T11:47:34Z
date_published: 2017-07-25T00:00:00Z
date_updated: 2022-05-23T08:54:02Z
day: '25'
ddc:
- '000'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-319-63121-9_18
ec_funded: 1
editor:
- first_name: Luca
full_name: Aceto, Luca
last_name: Aceto
- first_name: Giorgio
full_name: Bacci, Giorgio
last_name: Bacci
- first_name: Anna
full_name: Ingólfsdóttir, Anna
last_name: Ingólfsdóttir
- first_name: Axel
full_name: Legay, Axel
last_name: Legay
- first_name: Radu
full_name: Mardare, Radu
last_name: Mardare
file:
- access_level: open_access
checksum: b2402766ec02c79801aac634bd8f9f6c
content_type: application/pdf
creator: dernst
date_created: 2019-11-19T08:06:50Z
date_updated: 2020-07-14T12:47:25Z
file_id: '7048'
file_name: 2017_ModelsAlgorithms_Chatterjee.pdf
file_size: 192826
relation: main_file
file_date_updated: 2020-07-14T12:47:25Z
has_accepted_license: '1'
intvolume: ' 10460'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 367 - 381
project:
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication: Models, Algorithms, Logics and Tools
publication_identifier:
isbn:
- 978-3-319-63120-2
issn:
- 0302-9743
publication_status: published
publisher: Springer
publist_id: '7170'
quality_controlled: '1'
scopus_import: '1'
series_title: Theoretical Computer Science and General Issues
status: public
title: The cost of exactness in quantitative reachability
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10460
year: '2017'
...
---
_id: '624'
abstract:
- lang: eng
text: Bacteria adapt to adverse environmental conditions by altering gene expression
patterns. Recently, a novel stress adaptation mechanism has been described that
allows Escherichia coli to alter gene expression at the post-transcriptional level.
The key player in this regulatory pathway is the endoribonuclease MazF, the toxin
component of the toxin-antitoxin module mazEF that is triggered by various stressful
conditions. In general, MazF degrades the majority of transcripts by cleaving
at ACA sites, which results in the retardation of bacterial growth. Furthermore,
MazF can process a small subset of mRNAs and render them leaderless by removing
their ribosome binding site. MazF concomitantly modifies ribosomes, making them
selective for the translation of leaderless mRNAs. In this study, we employed
fluorescent reporter-systems to investigate mazEF expression during stressful
conditions, and to infer consequences of the mRNA processing mediated by MazF
on gene expression at the single-cell level. Our results suggest that mazEF transcription
is maintained at low levels in single cells encountering adverse conditions, such
as antibiotic stress or amino acid starvation. Moreover, using the grcA mRNA as
a model for MazF-mediated mRNA processing, we found that MazF activation promotes
heterogeneity in the grcA reporter expression, resulting in a subpopulation of
cells with increased levels of GrcA reporter protein.
acknowledgement: 'Austrian Science Fund (FWF): M1697, P22249; Swiss National Science
Foundation (SNF): 145706; European Commission;FWF Special Research Program: RNA-REG
F43'
article_number: '3830'
author:
- first_name: Nela
full_name: Nikolic, Nela
id: 42D9CABC-F248-11E8-B48F-1D18A9856A87
last_name: Nikolic
orcid: 0000-0001-9068-6090
- first_name: Zrinka
full_name: Didara, Zrinka
last_name: Didara
- first_name: Isabella
full_name: Moll, Isabella
last_name: Moll
citation:
ama: Nikolic N, Didara Z, Moll I. MazF activation promotes translational heterogeneity
of the grcA mRNA in Escherichia coli populations. PeerJ. 2017;2017(9).
doi:10.7717/peerj.3830
apa: Nikolic, N., Didara, Z., & Moll, I. (2017). MazF activation promotes translational
heterogeneity of the grcA mRNA in Escherichia coli populations. PeerJ.
PeerJ. https://doi.org/10.7717/peerj.3830
chicago: Nikolic, Nela, Zrinka Didara, and Isabella Moll. “MazF Activation Promotes
Translational Heterogeneity of the GrcA MRNA in Escherichia Coli Populations.”
PeerJ. PeerJ, 2017. https://doi.org/10.7717/peerj.3830.
ieee: N. Nikolic, Z. Didara, and I. Moll, “MazF activation promotes translational
heterogeneity of the grcA mRNA in Escherichia coli populations,” PeerJ,
vol. 2017, no. 9. PeerJ, 2017.
ista: Nikolic N, Didara Z, Moll I. 2017. MazF activation promotes translational
heterogeneity of the grcA mRNA in Escherichia coli populations. PeerJ. 2017(9),
3830.
mla: Nikolic, Nela, et al. “MazF Activation Promotes Translational Heterogeneity
of the GrcA MRNA in Escherichia Coli Populations.” PeerJ, vol. 2017, no.
9, 3830, PeerJ, 2017, doi:10.7717/peerj.3830.
short: N. Nikolic, Z. Didara, I. Moll, PeerJ 2017 (2017).
date_created: 2018-12-11T11:47:33Z
date_published: 2017-09-21T00:00:00Z
date_updated: 2021-01-12T08:06:48Z
day: '21'
ddc:
- '579'
department:
- _id: CaGu
doi: 10.7717/peerj.3830
file:
- access_level: open_access
checksum: 3d79ae6b6eabc90b0eaaed82ff3493b0
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:51Z
date_updated: 2020-07-14T12:47:24Z
file_id: '4908'
file_name: IST-2017-909-v1+1_peerj-3830.pdf
file_size: 682064
relation: main_file
file_date_updated: 2020-07-14T12:47:24Z
has_accepted_license: '1'
intvolume: ' 2017'
issue: '9'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
publication: PeerJ
publication_identifier:
issn:
- '21678359'
publication_status: published
publisher: PeerJ
publist_id: '7172'
pubrep_id: '909'
quality_controlled: '1'
scopus_import: 1
status: public
title: MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia
coli populations
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: 2017
year: '2017'
...
---
_id: '628'
abstract:
- lang: eng
text: We consider the problem of developing automated techniques for solving recurrence
relations to aid the expected-runtime analysis of programs. The motivation is
that several classical textbook algorithms have quite efficient expected-runtime
complexity, whereas the corresponding worst-case bounds are either inefficient
(e.g., Quick-Sort), or completely ineffective (e.g., Coupon-Collector). Since
the main focus of expected-runtime analysis is to obtain efficient bounds, we
consider bounds that are either logarithmic, linear or almost-linear (O(log n),
O(n), O(n · log n), respectively, where n represents the input size). Our main
contribution is an efficient (simple linear-time algorithm) sound approach for
deriving such expected-runtime bounds for the analysis of recurrence relations
induced by randomized algorithms. The experimental results show that our approach
can efficiently derive asymptotically optimal expected-runtime bounds for recurrences
of classical randomized algorithms, including Randomized-Search, Quick-Sort, Quick-Select,
Coupon-Collector, where the worst-case bounds are either inefficient (such as
linear as compared to logarithmic expected-runtime complexity, or quadratic as
compared to linear or almost-linear expected-runtime complexity), or ineffective.
alternative_title:
- LNCS
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Hongfei
full_name: Fu, Hongfei
last_name: Fu
- first_name: Aniket
full_name: Murhekar, Aniket
last_name: Murhekar
citation:
ama: 'Chatterjee K, Fu H, Murhekar A. Automated recurrence analysis for almost linear
expected runtime bounds. In: Majumdar R, Kunčak V, eds. Vol 10426. Springer; 2017:118-139.
doi:10.1007/978-3-319-63387-9_6'
apa: 'Chatterjee, K., Fu, H., & Murhekar, A. (2017). Automated recurrence analysis
for almost linear expected runtime bounds. In R. Majumdar & V. Kunčak (Eds.)
(Vol. 10426, pp. 118–139). Presented at the CAV: Computer Aided Verification,
Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63387-9_6'
chicago: Chatterjee, Krishnendu, Hongfei Fu, and Aniket Murhekar. “Automated Recurrence
Analysis for Almost Linear Expected Runtime Bounds.” edited by Rupak Majumdar
and Viktor Kunčak, 10426:118–39. Springer, 2017. https://doi.org/10.1007/978-3-319-63387-9_6.
ieee: 'K. Chatterjee, H. Fu, and A. Murhekar, “Automated recurrence analysis for
almost linear expected runtime bounds,” presented at the CAV: Computer Aided Verification,
Heidelberg, Germany, 2017, vol. 10426, pp. 118–139.'
ista: 'Chatterjee K, Fu H, Murhekar A. 2017. Automated recurrence analysis for almost
linear expected runtime bounds. CAV: Computer Aided Verification, LNCS, vol. 10426,
118–139.'
mla: Chatterjee, Krishnendu, et al. Automated Recurrence Analysis for Almost
Linear Expected Runtime Bounds. Edited by Rupak Majumdar and Viktor Kunčak,
vol. 10426, Springer, 2017, pp. 118–39, doi:10.1007/978-3-319-63387-9_6.
short: K. Chatterjee, H. Fu, A. Murhekar, in:, R. Majumdar, V. Kunčak (Eds.), Springer,
2017, pp. 118–139.
conference:
end_date: 2017-07-28
location: Heidelberg, Germany
name: 'CAV: Computer Aided Verification'
start_date: 2017-07-24
date_created: 2018-12-11T11:47:35Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2021-01-12T08:06:55Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-319-63387-9_6
ec_funded: 1
editor:
- first_name: Rupak
full_name: Majumdar, Rupak
last_name: Majumdar
- first_name: Viktor
full_name: Kunčak, Viktor
last_name: Kunčak
intvolume: ' 10426'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1705.00314
month: '01'
oa: 1
oa_version: Submitted Version
page: 118 - 139
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _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'
publication_identifier:
isbn:
- 978-331963386-2
publication_status: published
publisher: Springer
publist_id: '7166'
quality_controlled: '1'
scopus_import: 1
status: public
title: Automated recurrence analysis for almost linear expected runtime bounds
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 10426
year: '2017'
...
---
_id: '629'
abstract:
- lang: eng
text: Even simple cells like bacteria have precisely regulated cellular anatomies,
which allow them to grow, divide and to respond to internal or external cues with
high fidelity. How spatial and temporal intracellular organization in prokaryotic
cells is achieved and maintained on the basis of locally interacting proteins
still remains largely a mystery. Bulk biochemical assays with purified components
and in vivo experiments help us to approach key cellular processes from two opposite
ends, in terms of minimal and maximal complexity. However, to understand how cellular
phenomena emerge, that are more than the sum of their parts, we have to assemble
cellular subsystems step by step from the bottom up. Here, we review recent in
vitro reconstitution experiments with proteins of the bacterial cell division
machinery and illustrate how they help to shed light on fundamental cellular mechanisms
that constitute spatiotemporal order and regulate cell division.
author:
- first_name: Martin
full_name: Loose, Martin
id: 462D4284-F248-11E8-B48F-1D18A9856A87
last_name: Loose
orcid: 0000-0001-7309-9724
- first_name: Katja
full_name: Zieske, Katja
last_name: Zieske
- first_name: Petra
full_name: Schwille, Petra
last_name: Schwille
citation:
ama: 'Loose M, Zieske K, Schwille P. Reconstitution of protein dynamics involved
in bacterial cell division. In: Prokaryotic Cytoskeletons. Vol 84. Sub-Cellular
Biochemistry. Springer; 2017:419-444. doi:10.1007/978-3-319-53047-5_15'
apa: Loose, M., Zieske, K., & Schwille, P. (2017). Reconstitution of protein
dynamics involved in bacterial cell division. In Prokaryotic Cytoskeletons
(Vol. 84, pp. 419–444). Springer. https://doi.org/10.1007/978-3-319-53047-5_15
chicago: Loose, Martin, Katja Zieske, and Petra Schwille. “Reconstitution of Protein
Dynamics Involved in Bacterial Cell Division.” In Prokaryotic Cytoskeletons,
84:419–44. Sub-Cellular Biochemistry. Springer, 2017. https://doi.org/10.1007/978-3-319-53047-5_15.
ieee: M. Loose, K. Zieske, and P. Schwille, “Reconstitution of protein dynamics
involved in bacterial cell division,” in Prokaryotic Cytoskeletons, vol.
84, Springer, 2017, pp. 419–444.
ista: 'Loose M, Zieske K, Schwille P. 2017.Reconstitution of protein dynamics involved
in bacterial cell division. In: Prokaryotic Cytoskeletons. vol. 84, 419–444.'
mla: Loose, Martin, et al. “Reconstitution of Protein Dynamics Involved in Bacterial
Cell Division.” Prokaryotic Cytoskeletons, vol. 84, Springer, 2017, pp.
419–44, doi:10.1007/978-3-319-53047-5_15.
short: M. Loose, K. Zieske, P. Schwille, in:, Prokaryotic Cytoskeletons, Springer,
2017, pp. 419–444.
date_created: 2018-12-11T11:47:35Z
date_published: 2017-05-13T00:00:00Z
date_updated: 2021-01-12T08:06:57Z
day: '13'
department:
- _id: MaLo
doi: 10.1007/978-3-319-53047-5_15
external_id:
pmid:
- '28500535'
intvolume: ' 84'
language:
- iso: eng
month: '05'
oa_version: None
page: 419 - 444
pmid: 1
publication: Prokaryotic Cytoskeletons
publication_identifier:
eisbn:
- 978-3-319-53047-5
publication_status: published
publisher: Springer
publist_id: '7165'
quality_controlled: '1'
scopus_import: 1
series_title: Sub-Cellular Biochemistry
status: public
title: Reconstitution of protein dynamics involved in bacterial cell division
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 84
year: '2017'
...
---
_id: '630'
abstract:
- lang: eng
text: 'Background: Standards have become available to share semantically encoded
vital parameters from medical devices, as required for example by personal healthcare
records. Standardised sharing of biosignal data largely remains open. Objectives:
The goal of this work is to explore available biosignal file format and data exchange
standards and profiles, and to conceptualise end-To-end solutions. Methods: The
authors reviewed and discussed available biosignal file format standards with
other members of international standards development organisations (SDOs). Results:
A raw concept for standards based acquisition, storage, archiving and sharing
of biosignals was developed. The GDF format may serve for storing biosignals.
Signals can then be shared using FHIR resources and may be stored on FHIR servers
or in DICOM archives, with DICOM waveforms as one possible format. Conclusion:
Currently a group of international SDOs (e.g. HL7, IHE, DICOM, IEEE) is engaged
in intensive discussions. This discussion extends existing work that already was
adopted by large implementer communities. The concept presented here only reports
the current status of the discussion in Austria. The discussion will continue
internationally, with results to be expected over the coming years.'
alternative_title:
- Studies in Health Technology and Informatics
author:
- first_name: Stefan
full_name: Sauermann, Stefan
last_name: Sauermann
- first_name: Veronika
full_name: David, Veronika
last_name: David
- first_name: Alois
full_name: Schlögl, Alois
id: 45BF87EE-F248-11E8-B48F-1D18A9856A87
last_name: Schlögl
orcid: 0000-0002-5621-8100
- first_name: Reinhard
full_name: Egelkraut, Reinhard
last_name: Egelkraut
- first_name: Matthias
full_name: Frohner, Matthias
last_name: Frohner
- first_name: Birgit
full_name: Pohn, Birgit
last_name: Pohn
- first_name: Philipp
full_name: Urbauer, Philipp
last_name: Urbauer
- first_name: Alexander
full_name: Mense, Alexander
last_name: Mense
citation:
ama: 'Sauermann S, David V, Schlögl A, et al. Biosignals standards and FHIR: The
way to go. In: Vol 236. IOS Press; 2017:356-362. doi:10.3233/978-1-61499-759-7-356'
apa: 'Sauermann, S., David, V., Schlögl, A., Egelkraut, R., Frohner, M., Pohn, B.,
… Mense, A. (2017). Biosignals standards and FHIR: The way to go (Vol. 236, pp.
356–362). Presented at the eHealth: Health Informatics Meets eHealth, Vienna,
Austria: IOS Press. https://doi.org/10.3233/978-1-61499-759-7-356'
chicago: 'Sauermann, Stefan, Veronika David, Alois Schlögl, Reinhard Egelkraut,
Matthias Frohner, Birgit Pohn, Philipp Urbauer, and Alexander Mense. “Biosignals
Standards and FHIR: The Way to Go,” 236:356–62. IOS Press, 2017. https://doi.org/10.3233/978-1-61499-759-7-356.'
ieee: 'S. Sauermann et al., “Biosignals standards and FHIR: The way to go,”
presented at the eHealth: Health Informatics Meets eHealth, Vienna, Austria, 2017,
vol. 236, pp. 356–362.'
ista: 'Sauermann S, David V, Schlögl A, Egelkraut R, Frohner M, Pohn B, Urbauer
P, Mense A. 2017. Biosignals standards and FHIR: The way to go. eHealth: Health
Informatics Meets eHealth, Studies in Health Technology and Informatics, vol.
236, 356–362.'
mla: 'Sauermann, Stefan, et al. Biosignals Standards and FHIR: The Way to Go.
Vol. 236, IOS Press, 2017, pp. 356–62, doi:10.3233/978-1-61499-759-7-356.'
short: S. Sauermann, V. David, A. Schlögl, R. Egelkraut, M. Frohner, B. Pohn, P.
Urbauer, A. Mense, in:, IOS Press, 2017, pp. 356–362.
conference:
end_date: 2017-05-24
location: Vienna, Austria
name: 'eHealth: Health Informatics Meets eHealth'
start_date: 2017-05-23
date_created: 2018-12-11T11:47:36Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2021-01-12T08:06:59Z
day: '01'
ddc:
- '005'
department:
- _id: ScienComp
- _id: PeJo
doi: 10.3233/978-1-61499-759-7-356
file:
- access_level: open_access
checksum: 1254dcc5b04a996d97fad9a726b42727
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:56Z
date_updated: 2020-07-14T12:47:27Z
file_id: '4913'
file_name: IST-2017-906-v1+1_SHTI236-0356.pdf
file_size: 443635
relation: main_file
file_date_updated: 2020-07-14T12:47:27Z
has_accepted_license: '1'
intvolume: ' 236'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '01'
oa: 1
oa_version: Published Version
page: 356 - 362
publication_identifier:
isbn:
- 978-161499758-0
publication_status: published
publisher: IOS Press
publist_id: '7164'
pubrep_id: '906'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Biosignals standards and FHIR: The way to go'
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 236
year: '2017'
...
---
_id: '632'
abstract:
- lang: eng
text: 'We consider a 2D quantum system of N bosons in a trapping potential |x|s,
interacting via a pair potential of the form N2β−1 w(Nβ x). We show that for all
0 < β < (s + 1)/(s + 2), the leading order behavior of ground states of
the many-body system is described in the large N limit by the corresponding cubic
nonlinear Schrödinger energy functional. Our result covers the focusing case (w
< 0) where even the stability of the many-body system is not obvious. This
answers an open question mentioned by X. Chen and J. Holmer for harmonic traps
(s = 2). Together with the BBGKY hierarchy approach used by these authors, our
result implies the convergence of the many-body quantum dynamics to the focusing
NLS equation with harmonic trap for all 0 < β < 3/4. '
author:
- first_name: Mathieu
full_name: Lewin, Mathieu
last_name: Lewin
- first_name: Phan
full_name: Nam, Phan
id: 404092F4-F248-11E8-B48F-1D18A9856A87
last_name: Nam
- first_name: Nicolas
full_name: Rougerie, Nicolas
last_name: Rougerie
citation:
ama: Lewin M, Nam P, Rougerie N. A note on 2D focusing many boson systems. Proceedings
of the American Mathematical Society. 2017;145(6):2441-2454. doi:10.1090/proc/13468
apa: Lewin, M., Nam, P., & Rougerie, N. (2017). A note on 2D focusing many boson
systems. Proceedings of the American Mathematical Society. American Mathematical
Society. https://doi.org/10.1090/proc/13468
chicago: Lewin, Mathieu, Phan Nam, and Nicolas Rougerie. “A Note on 2D Focusing
Many Boson Systems.” Proceedings of the American Mathematical Society.
American Mathematical Society, 2017. https://doi.org/10.1090/proc/13468.
ieee: M. Lewin, P. Nam, and N. Rougerie, “A note on 2D focusing many boson systems,”
Proceedings of the American Mathematical Society, vol. 145, no. 6. American
Mathematical Society, pp. 2441–2454, 2017.
ista: Lewin M, Nam P, Rougerie N. 2017. A note on 2D focusing many boson systems.
Proceedings of the American Mathematical Society. 145(6), 2441–2454.
mla: Lewin, Mathieu, et al. “A Note on 2D Focusing Many Boson Systems.” Proceedings
of the American Mathematical Society, vol. 145, no. 6, American Mathematical
Society, 2017, pp. 2441–54, doi:10.1090/proc/13468.
short: M. Lewin, P. Nam, N. Rougerie, Proceedings of the American Mathematical Society
145 (2017) 2441–2454.
date_created: 2018-12-11T11:47:36Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2021-01-12T08:07:03Z
day: '01'
department:
- _id: RoSe
doi: 10.1090/proc/13468
ec_funded: 1
intvolume: ' 145'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1509.09045
month: '01'
oa: 1
oa_version: Submitted Version
page: 2441 - 2454
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Proceedings of the American Mathematical Society
publication_status: published
publisher: American Mathematical Society
publist_id: '7160'
quality_controlled: '1'
scopus_import: 1
status: public
title: A note on 2D focusing many boson systems
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 145
year: '2017'
...