---
_id: '6465'
abstract:
- lang: eng
text: Tight control over protein degradation is a fundamental requirement for cells
to respond rapidly to various stimuli and adapt to a fluctuating environment.
Here we develop a versatile, easy-to-handle library of destabilizing tags (degrons)
for the precise regulation of protein expression profiles in mammalian cells by
modulating target protein half-lives in a predictable manner. Using the well-established
tetracycline gene-regulation system as a model, we show that the dynamics of protein
expression can be tuned by fusing appropriate degron tags to gene regulators.
Next, we apply this degron library to tune a synthetic pulse-generating circuit
in mammalian cells. With this toolbox we establish a set of pulse generators with
tailored pulse lengths and magnitudes of protein expression. This methodology
will prove useful in the functional roles of essential proteins, fine-tuning of
gene-expression systems, and enabling a higher complexity in the design of synthetic
biological systems in mammalian cells.
article_number: '2013'
article_processing_charge: No
author:
- first_name: Hélène
full_name: Chassin, Hélène
last_name: Chassin
- first_name: Marius
full_name: Müller, Marius
last_name: Müller
- first_name: Marcel
full_name: Tigges, Marcel
last_name: Tigges
- first_name: Leo
full_name: Scheller, Leo
last_name: Scheller
- first_name: Moritz
full_name: Lang, Moritz
id: 29E0800A-F248-11E8-B48F-1D18A9856A87
last_name: Lang
- first_name: Martin
full_name: Fussenegger, Martin
last_name: Fussenegger
citation:
ama: Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. A modular
degron library for synthetic circuits in mammalian cells. Nature Communications.
2019;10(1). doi:10.1038/s41467-019-09974-5
apa: Chassin, H., Müller, M., Tigges, M., Scheller, L., Lang, M., & Fussenegger,
M. (2019). A modular degron library for synthetic circuits in mammalian cells.
Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-09974-5
chicago: Chassin, Hélène, Marius Müller, Marcel Tigges, Leo Scheller, Moritz Lang,
and Martin Fussenegger. “A Modular Degron Library for Synthetic Circuits in Mammalian
Cells.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-09974-5.
ieee: H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, and M. Fussenegger,
“A modular degron library for synthetic circuits in mammalian cells,” Nature
Communications, vol. 10, no. 1. Springer Nature, 2019.
ista: Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. 2019. A
modular degron library for synthetic circuits in mammalian cells. Nature Communications.
10(1), 2013.
mla: Chassin, Hélène, et al. “A Modular Degron Library for Synthetic Circuits in
Mammalian Cells.” Nature Communications, vol. 10, no. 1, 2013, Springer
Nature, 2019, doi:10.1038/s41467-019-09974-5.
short: H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature
Communications 10 (2019).
date_created: 2019-05-19T21:59:14Z
date_published: 2019-05-01T00:00:00Z
date_updated: 2023-08-25T10:33:51Z
day: '01'
ddc:
- '570'
department:
- _id: CaGu
doi: 10.1038/s41467-019-09974-5
external_id:
isi:
- '000466338600006'
file:
- access_level: open_access
checksum: e214d3e4f8c81e35981583c4569b51b8
content_type: application/pdf
creator: dernst
date_created: 2019-05-20T07:33:54Z
date_updated: 2020-07-14T12:47:31Z
file_id: '6471'
file_name: 2019_NatureComm_Chassin.pdf
file_size: 1191827
relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
intvolume: ' 10'
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:
- relation: erratum
url: https://doi.org/10.1038/s41467-023-36111-0
scopus_import: '1'
status: public
title: A modular degron library for synthetic circuits in mammalian 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 10
year: '2019'
...
---
_id: '6466'
abstract:
- lang: eng
text: "One of the most striking and consistent results in speciation genomics is
the heterogeneous divergence observed across the genomes of closely related species.
This pattern was initially attributed to different levels of gene exchange—with
divergence preserved at loci generating a barrier to gene flow but homogenized
at unlinked neutral loci. Although there is evidence to support this model, it
is now recognized that interpreting patterns of divergence across genomes is not
so straightforward. One \r\nproblem is that heterogenous divergence between populations
can also be generated by other processes (e.g. recurrent selective sweeps or background
selection) without any involvement of differential gene flow. Thus, integrated
studies that identify which loci are likely subject to divergent selection are
required to shed light on the interplay between selection and gene flow during
the early phases of speciation. In this issue of Molecular Ecology, Rifkin et
al. (2019) confront this challenge using a pair of sister morning glory species.
They wisely design their sampling to take the geographic context of individuals
into account, including geographically isolated (allopatric) and co‐occurring
(sympatric) populations. This enabled them to show that individuals are phenotypically
less differentiated in sympatry. They also found that the loci that resist introgression
are enriched for those most differentiated in allopatry and loci that exhibit
signals of divergent selection. One great strength of the \r\nstudy is the combination
of methods from population genetics and molecular evolution, including the development
of a model to simultaneously infer admixture proportions and selfing rates."
article_processing_charge: No
author:
- first_name: David
full_name: Field, David
id: 419049E2-F248-11E8-B48F-1D18A9856A87
last_name: Field
orcid: 0000-0002-4014-8478
- first_name: Christelle
full_name: Fraisse, Christelle
id: 32DF5794-F248-11E8-B48F-1D18A9856A87
last_name: Fraisse
orcid: 0000-0001-8441-5075
citation:
ama: Field D, Fraisse C. Breaking down barriers in morning glories. Molecular
ecology. 2019;28(7):1579-1581. doi:10.1111/mec.15048
apa: Field, D., & Fraisse, C. (2019). Breaking down barriers in morning glories.
Molecular Ecology. Wiley. https://doi.org/10.1111/mec.15048
chicago: Field, David, and Christelle Fraisse. “Breaking down Barriers in Morning
Glories.” Molecular Ecology. Wiley, 2019. https://doi.org/10.1111/mec.15048.
ieee: D. Field and C. Fraisse, “Breaking down barriers in morning glories,” Molecular
ecology, vol. 28, no. 7. Wiley, pp. 1579–1581, 2019.
ista: Field D, Fraisse C. 2019. Breaking down barriers in morning glories. Molecular
ecology. 28(7), 1579–1581.
mla: Field, David, and Christelle Fraisse. “Breaking down Barriers in Morning Glories.”
Molecular Ecology, vol. 28, no. 7, Wiley, 2019, pp. 1579–81, doi:10.1111/mec.15048.
short: D. Field, C. Fraisse, Molecular Ecology 28 (2019) 1579–1581.
date_created: 2019-05-19T21:59:15Z
date_published: 2019-04-01T00:00:00Z
date_updated: 2023-08-25T10:37:30Z
day: '01'
ddc:
- '580'
- '576'
department:
- _id: NiBa
doi: 10.1111/mec.15048
external_id:
isi:
- '000474808300001'
file:
- access_level: open_access
checksum: 521e3aff3e9263ddf2ffbfe0b6157715
content_type: application/pdf
creator: dernst
date_created: 2019-05-20T11:49:06Z
date_updated: 2020-07-14T12:47:31Z
file_id: '6472'
file_name: 2019_MolecularEcology_Field.pdf
file_size: 367711
relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
intvolume: ' 28'
isi: 1
issue: '7'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 1579-1581
publication: Molecular ecology
publication_identifier:
eissn:
- 1365294X
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Breaking down barriers in morning glories
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: 28
year: '2019'
...
---
_id: '6467'
abstract:
- lang: eng
text: Fitness interactions between mutations can influence a population’s evolution
in many different ways. While epistatic effects are difficult to measure precisely,
important information is captured by the mean and variance of log fitnesses for
individuals carrying different numbers of mutations. We derive predictions for
these quantities from a class of simple fitness landscapes, based on models of
optimizing selection on quantitative traits. We also explore extensions to the
models, including modular pleiotropy, variable effect sizes, mutational bias and
maladaptation of the wild type. We illustrate our approach by reanalysing a large
dataset of mutant effects in a yeast snoRNA (small nucleolar RNA). Though characterized
by some large epistatic effects, these data give a good overall fit to the non-epistatic
null model, suggesting that epistasis might have limited influence on the evolutionary
dynamics in this system. We also show how the amount of epistasis depends on both
the underlying fitness landscape and the distribution of mutations, and so is
expected to vary in consistent ways between new mutations, standing variation
and fixed mutations.
article_number: '0881'
article_processing_charge: No
article_type: original
author:
- first_name: Christelle
full_name: Fraisse, Christelle
id: 32DF5794-F248-11E8-B48F-1D18A9856A87
last_name: Fraisse
orcid: 0000-0001-8441-5075
- first_name: John J.
full_name: Welch, John J.
last_name: Welch
citation:
ama: Fraisse C, Welch JJ. The distribution of epistasis on simple fitness landscapes.
Biology Letters. 2019;15(4). doi:10.1098/rsbl.2018.0881
apa: Fraisse, C., & Welch, J. J. (2019). The distribution of epistasis on simple
fitness landscapes. Biology Letters. Royal Society of London. https://doi.org/10.1098/rsbl.2018.0881
chicago: Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis
on Simple Fitness Landscapes.” Biology Letters. Royal Society of London,
2019. https://doi.org/10.1098/rsbl.2018.0881.
ieee: C. Fraisse and J. J. Welch, “The distribution of epistasis on simple fitness
landscapes,” Biology Letters, vol. 15, no. 4. Royal Society of London,
2019.
ista: Fraisse C, Welch JJ. 2019. The distribution of epistasis on simple fitness
landscapes. Biology Letters. 15(4), 0881.
mla: Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis on Simple
Fitness Landscapes.” Biology Letters, vol. 15, no. 4, 0881, Royal Society
of London, 2019, doi:10.1098/rsbl.2018.0881.
short: C. Fraisse, J.J. Welch, Biology Letters 15 (2019).
date_created: 2019-05-19T21:59:15Z
date_published: 2019-04-03T00:00:00Z
date_updated: 2023-08-25T10:34:41Z
day: '03'
department:
- _id: BeVi
- _id: NiBa
doi: 10.1098/rsbl.2018.0881
ec_funded: 1
external_id:
isi:
- '000465405300010'
pmid:
- '31014191'
intvolume: ' 15'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1098/rsbl.2018.0881
month: '04'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Biology Letters
publication_identifier:
eissn:
- 1744957X
issn:
- '17449561'
publication_status: published
publisher: Royal Society of London
quality_controlled: '1'
related_material:
link:
- relation: supplementary_material
url: https://dx.doi.org/10.6084/m9.figshare.c.4461008
record:
- id: '9798'
relation: research_data
status: public
- id: '9799'
relation: research_data
status: public
scopus_import: '1'
status: public
title: The distribution of epistasis on simple fitness landscapes
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 15
year: '2019'
...
---
_id: '6470'
abstract:
- lang: eng
text: 'Investigating neuronal activity using genetically encoded Ca2+ indicators
in behaving animals is hampered by inaccuracies in spike inference from fluorescent
tracers. Here we combine two‐photon [Ca2+] imaging with cell‐attached recordings,
followed by post hoc determination of the expression level of GCaMP6f, to explore
how it affects the amplitude, kinetics and temporal summation of somatic [Ca2+]
transients in mouse hippocampal pyramidal cells (PCs). The amplitude of unitary
[Ca2+] transients (evoked by a single action potential) negatively correlates
with GCaMP6f expression, but displays large variability even among PCs with similarly
low expression levels. The summation of fluorescence signals is frequency‐dependent,
supralinear and also shows remarkable cell‐to‐cell variability. We performed experimental
data‐based simulations and found that spike inference error rates using MLspike
depend strongly on unitary peak amplitudes and GCaMP6f expression levels. We provide
simple methods for estimating the unitary [Ca2+] transients in individual weakly
GCaMP6f‐expressing PCs, with which we achieve spike inference error rates of ∼5%. '
article_processing_charge: No
article_type: original
author:
- first_name: Tímea
full_name: Éltes, Tímea
last_name: Éltes
- first_name: Miklos
full_name: Szoboszlay, Miklos
last_name: Szoboszlay
- first_name: Margit Katalin
full_name: Szigeti, Margit Katalin
id: 44F4BDC0-F248-11E8-B48F-1D18A9856A87
last_name: Szigeti
orcid: 0000-0001-9500-8758
- first_name: Zoltan
full_name: Nusser, Zoltan
last_name: Nusser
citation:
ama: Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. Improved spike inference accuracy
by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing
hippocampal pyramidal cells. Journal of Physiology. 2019;597(11):2925–2947.
doi:10.1113/JP277681
apa: Éltes, T., Szoboszlay, M., Szigeti, M. K., & Nusser, Z. (2019). Improved
spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients
in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology.
Wiley. https://doi.org/10.1113/JP277681
chicago: Éltes, Tímea, Miklos Szoboszlay, Margit Katalin Szigeti, and Zoltan Nusser.
“Improved Spike Inference Accuracy by Estimating the Peak Amplitude of Unitary
[Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal Pyramidal Cells.” Journal
of Physiology. Wiley, 2019. https://doi.org/10.1113/JP277681.
ieee: T. Éltes, M. Szoboszlay, M. K. Szigeti, and Z. Nusser, “Improved spike inference
accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly
GCaMP6f-expressing hippocampal pyramidal cells,” Journal of Physiology,
vol. 597, no. 11. Wiley, pp. 2925–2947, 2019.
ista: Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. 2019. Improved spike inference
accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly
GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. 597(11),
2925–2947.
mla: Éltes, Tímea, et al. “Improved Spike Inference Accuracy by Estimating the Peak
Amplitude of Unitary [Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal
Pyramidal Cells.” Journal of Physiology, vol. 597, no. 11, Wiley, 2019,
pp. 2925–2947, doi:10.1113/JP277681.
short: T. Éltes, M. Szoboszlay, M.K. Szigeti, Z. Nusser, Journal of Physiology 597
(2019) 2925–2947.
date_created: 2019-05-19T21:59:17Z
date_published: 2019-06-01T00:00:00Z
date_updated: 2023-08-25T10:34:15Z
day: '01'
department:
- _id: GaNo
doi: 10.1113/JP277681
external_id:
isi:
- '000470780400013'
pmid:
- '31006863'
intvolume: ' 597'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1113/JP277681
month: '06'
oa: 1
oa_version: Published Version
page: 2925–2947
pmid: 1
publication: Journal of Physiology
publication_identifier:
eissn:
- '14697793'
issn:
- '00223751'
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Improved spike inference accuracy by estimating the peak amplitude of unitary
[Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 597
year: '2019'
...
---
_id: '6473'
abstract:
- lang: eng
text: "Single cells are constantly interacting with their environment and each other,
more importantly, the accurate perception of environmental cues is crucial for
growth, survival, and reproduction. This communication between cells and their
environment can be formalized in mathematical terms and be quantified as the information
flow between them, as prescribed by information theory. \r\nThe recent availability
of real–time dynamical patterns of signaling molecules in single cells has allowed
us to identify encoding about the identity of the environment in the time–series.
However, efficient estimation of the information transmitted by these signals
has been a data–analysis challenge due to the high dimensionality of the trajectories
and the limited number of samples. In the first part of this thesis, we develop
and evaluate decoding–based estimation methods to lower bound the mutual information
and derive model–based precise information estimates for biological reaction networks
governed by the chemical master equation. This is followed by applying the decoding-based
methods to study the intracellular representation of extracellular changes in
budding yeast, by observing the transient dynamics of nuclear translocation of
10 transcription factors in response to 3 stress conditions. Additionally, we
apply these estimators to previously published data on ERK and Ca2+ signaling
and yeast stress response. We argue that this single cell decoding-based measure
of information provides an unbiased, quantitative and interpretable measure for
the fidelity of biological signaling processes. \r\nFinally, in the last section,
we deal with gene regulation which is primarily controlled by transcription factors
(TFs) that bind to the DNA to activate gene expression. The possibility that non-cognate
TFs activate transcription diminishes the accuracy of regulation with potentially
disastrous effects for the cell. This ’crosstalk’ acts as a previously unexplored
source of noise in biochemical networks and puts a strong constraint on their
performance. To mitigate erroneous initiation we propose an out of equilibrium
scheme that implements kinetic proofreading. We show that such architectures are
favored over their equilibrium counterparts for complex organisms despite introducing
noise in gene expression. "
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Sarah A
full_name: Cepeda Humerez, Sarah A
id: 3DEE19A4-F248-11E8-B48F-1D18A9856A87
last_name: Cepeda Humerez
citation:
ama: Cepeda Humerez SA. Estimating information flow in single cells. 2019. doi:10.15479/AT:ISTA:6473
apa: Cepeda Humerez, S. A. (2019). Estimating information flow in single cells.
Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6473
chicago: Cepeda Humerez, Sarah A. “Estimating Information Flow in Single Cells.”
Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6473.
ieee: S. A. Cepeda Humerez, “Estimating information flow in single cells,” Institute
of Science and Technology Austria, 2019.
ista: Cepeda Humerez SA. 2019. Estimating information flow in single cells. Institute
of Science and Technology Austria.
mla: Cepeda Humerez, Sarah A. Estimating Information Flow in Single Cells.
Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6473.
short: S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute
of Science and Technology Austria, 2019.
date_created: 2019-05-21T00:11:23Z
date_published: 2019-05-23T00:00:00Z
date_updated: 2025-05-28T11:57:00Z
day: '23'
ddc:
- '004'
degree_awarded: PhD
department:
- _id: GaTk
doi: 10.15479/AT:ISTA:6473
file:
- access_level: closed
checksum: 75f9184c1346e10a5de5f9cc7338309a
content_type: application/zip
creator: scepeda
date_created: 2019-05-23T11:18:16Z
date_updated: 2020-07-14T12:47:31Z
file_id: '6480'
file_name: Thesis_Cepeda.zip
file_size: 23937464
relation: source_file
- access_level: open_access
checksum: afdc0633ddbd71d5b13550d7fb4f4454
content_type: application/pdf
creator: scepeda
date_created: 2019-05-23T11:18:13Z
date_updated: 2020-07-14T12:47:31Z
file_id: '6481'
file_name: CepedaThesis.pdf
file_size: 16646985
relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
keyword:
- Information estimation
- Time-series
- data analysis
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: '135'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '6900'
relation: dissertation_contains
status: public
- id: '281'
relation: dissertation_contains
status: public
- id: '2016'
relation: dissertation_contains
status: public
- id: '1576'
relation: dissertation_contains
status: public
status: public
supervisor:
- first_name: Gašper
full_name: Tkačik, Gašper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkačik
orcid: 0000-0002-6699-1455
title: Estimating information flow in single 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: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2019'
...
---
_id: '6477'
abstract:
- lang: eng
text: 'Thermalizing quantum systems are conventionallydescribed by statistical mechanics
at equilib-rium. However, not all systems fall into this category, with many-body
localization providinga generic mechanism for thermalization to fail in strongly
disordered systems. Many-bodylocalized (MBL) systems remain perfect insulators
at nonzero temperature, which do notthermalize and therefore cannot be describedusing
statistical mechanics. This Colloquiumreviews recent theoretical and experimental
advances in studies of MBL systems, focusing onthe new perspective provided by
entanglement and nonequilibrium experimental probes suchas quantum quenches. Theoretically,
MBL systems exhibit a new kind of robust integrability: anextensive set of quasilocal
integrals of motion emerges, which provides an intuitive explanationof the breakdown
of thermalization. A description based on quasilocal integrals of motion isused
to predict dynamical properties of MBL systems, such as the spreading of quantumentanglement,
the behavior of local observables, and the response to external dissipativeprocesses.
Furthermore, MBL systems can exhibit eigenstate transitions and quantum ordersforbidden
in thermodynamic equilibrium. An outline isgiven of the current theoretical under-standing
of the quantum-to-classical transitionbetween many-body localized and ergodic
phasesand anomalous transport in the vicinity of that transition. Experimentally,
synthetic quantumsystems, which are well isolated from an external thermal reservoir,
provide natural platforms forrealizing the MBL phase. Recent experiments with
ultracold atoms, trapped ions, superconductingqubits, and quantum materials, in
which different signatures of many-body localization have beenobserved, are reviewed.
This Colloquium concludes by listing outstanding challenges andpromising future
research directions.'
article_number: '021001'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Dmitry A.
full_name: Abanin, Dmitry A.
last_name: Abanin
- first_name: Ehud
full_name: Altman, Ehud
last_name: Altman
- first_name: Immanuel
full_name: Bloch, Immanuel
last_name: Bloch
- first_name: Maksym
full_name: Serbyn, Maksym
id: 47809E7E-F248-11E8-B48F-1D18A9856A87
last_name: Serbyn
orcid: 0000-0002-2399-5827
citation:
ama: 'Abanin DA, Altman E, Bloch I, Serbyn M. Colloquium: Many-body localization,
thermalization, and entanglement. Reviews of Modern Physics. 2019;91(2).
doi:10.1103/revmodphys.91.021001'
apa: 'Abanin, D. A., Altman, E., Bloch, I., & Serbyn, M. (2019). Colloquium:
Many-body localization, thermalization, and entanglement. Reviews of Modern
Physics. American Physical Society. https://doi.org/10.1103/revmodphys.91.021001'
chicago: 'Abanin, Dmitry A., Ehud Altman, Immanuel Bloch, and Maksym Serbyn. “Colloquium:
Many-Body Localization, Thermalization, and Entanglement.” Reviews of Modern
Physics. American Physical Society, 2019. https://doi.org/10.1103/revmodphys.91.021001.'
ieee: 'D. A. Abanin, E. Altman, I. Bloch, and M. Serbyn, “Colloquium: Many-body
localization, thermalization, and entanglement,” Reviews of Modern Physics,
vol. 91, no. 2. American Physical Society, 2019.'
ista: 'Abanin DA, Altman E, Bloch I, Serbyn M. 2019. Colloquium: Many-body localization,
thermalization, and entanglement. Reviews of Modern Physics. 91(2), 021001.'
mla: 'Abanin, Dmitry A., et al. “Colloquium: Many-Body Localization, Thermalization,
and Entanglement.” Reviews of Modern Physics, vol. 91, no. 2, 021001, American
Physical Society, 2019, doi:10.1103/revmodphys.91.021001.'
short: D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91
(2019).
date_created: 2019-05-23T07:38:43Z
date_published: 2019-05-22T00:00:00Z
date_updated: 2023-08-25T10:37:56Z
day: '22'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.1103/revmodphys.91.021001
external_id:
arxiv:
- '1804.11065'
isi:
- '000469046900001'
file:
- access_level: open_access
checksum: 4aec0e6662b09f6e0f828cd30ff2c3a6
content_type: application/pdf
creator: mserbyn
date_created: 2019-05-23T07:39:05Z
date_updated: 2020-07-14T12:47:31Z
file_id: '6478'
file_name: RevModPhys.91.021001.pdf
file_size: 1695677
relation: main_file
file_date_updated: 2020-07-14T12:47:31Z
has_accepted_license: '1'
intvolume: ' 91'
isi: 1
issue: '2'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
publication: Reviews of Modern Physics
publication_identifier:
eissn:
- 0034-6861
issn:
- 1539-0756
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Colloquium: Many-body localization, thermalization, and entanglement'
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 91
year: '2019'
...
---
_id: '6482'
abstract:
- lang: eng
text: 'Computer vision systems for automatic image categorization have become accurate
and reliable enough that they can run continuously for days or even years as components
of real-world commercial applications. A major open problem in this context, however,
is quality control. Good classification performance can only be expected if systems
run under the specific conditions, in particular data distributions, that they
were trained for. Surprisingly, none of the currently used deep network architectures
have a built-in functionality that could detect if a network operates on data
from a distribution it was not trained for, such that potentially a warning to
the human users could be triggered. In this work, we describe KS(conf), a procedure
for detecting such outside of specifications (out-of-specs) operation, based on
statistical testing of the network outputs. We show by extensive experiments using
the ImageNet, AwA2 and DAVIS datasets on a variety of ConvNets architectures that
KS(conf) reliably detects out-of-specs situations. It furthermore has a number
of properties that make it a promising candidate for practical deployment: it
is easy to implement, adds almost no overhead to the system, works with all networks,
including pretrained ones, and requires no a priori knowledge of how the data
distribution could change. '
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Rémy
full_name: Sun, Rémy
last_name: Sun
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Sun R, Lampert C. KS(conf): A light-weight test if a ConvNet operates outside
of Its specifications. In: Vol 11269. Springer Nature; 2019:244-259. doi:10.1007/978-3-030-12939-2_18'
apa: 'Sun, R., & Lampert, C. (2019). KS(conf): A light-weight test if a ConvNet
operates outside of Its specifications (Vol. 11269, pp. 244–259). Presented at
the GCPR: Conference on Pattern Recognition, Stuttgart, Germany: Springer Nature.
https://doi.org/10.1007/978-3-030-12939-2_18'
chicago: 'Sun, Rémy, and Christoph Lampert. “KS(Conf): A Light-Weight Test If a
ConvNet Operates Outside of Its Specifications,” 11269:244–59. Springer Nature,
2019. https://doi.org/10.1007/978-3-030-12939-2_18.'
ieee: 'R. Sun and C. Lampert, “KS(conf): A light-weight test if a ConvNet operates
outside of Its specifications,” presented at the GCPR: Conference on Pattern Recognition,
Stuttgart, Germany, 2019, vol. 11269, pp. 244–259.'
ista: 'Sun R, Lampert C. 2019. KS(conf): A light-weight test if a ConvNet operates
outside of Its specifications. GCPR: Conference on Pattern Recognition, LNCS,
vol. 11269, 244–259.'
mla: 'Sun, Rémy, and Christoph Lampert. KS(Conf): A Light-Weight Test If a ConvNet
Operates Outside of Its Specifications. Vol. 11269, Springer Nature, 2019,
pp. 244–59, doi:10.1007/978-3-030-12939-2_18.'
short: R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
conference:
end_date: 2018-10-12
location: Stuttgart, Germany
name: 'GCPR: Conference on Pattern Recognition'
start_date: 2018-10-09
date_created: 2019-05-24T09:48:36Z
date_published: 2019-02-14T00:00:00Z
date_updated: 2024-02-22T14:57:29Z
day: '14'
department:
- _id: ChLa
doi: 10.1007/978-3-030-12939-2_18
ec_funded: 1
external_id:
arxiv:
- '1804.04171'
intvolume: ' 11269'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1804.04171
month: '02'
oa: 1
oa_version: Preprint
page: 244-259
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '308036'
name: Lifelong Learning of Visual Scene Understanding
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030129385'
- '9783030129392'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '6944'
relation: later_version
status: public
scopus_import: '1'
status: public
title: 'KS(conf): A light-weight test if a ConvNet operates outside of Its specifications'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11269
year: '2019'
...
---
_id: '6485'
abstract:
- lang: eng
text: Traditional concurrent programming involves manipulating shared mutable state.
Alternatives to this programming style are communicating sequential processes
(CSP) [1] and actor [2] models, which share data via explicit communication. Rendezvous
channelis the common abstraction for communication between several processes,
where senders and receivers perform a rendezvous handshake as a part of their
protocol (senders wait for receivers and vice versa). Additionally to this, channels
support the select expression. In this work, we present the first efficient lock-free
channel algorithm, and compare it against Go [3] and Kotlin [4] baseline implementations.
article_processing_charge: No
author:
- first_name: Nikita
full_name: Koval, Nikita
id: 2F4DB10C-F248-11E8-B48F-1D18A9856A87
last_name: Koval
- first_name: Dan-Adrian
full_name: Alistarh, Dan-Adrian
id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
last_name: Alistarh
orcid: 0000-0003-3650-940X
- first_name: Roman
full_name: Elizarov, Roman
last_name: Elizarov
citation:
ama: Koval N, Alistarh D-A, Elizarov R. Lock-Free Channels for Programming via
Communicating Sequential Processes. ACM Press; 2019:417-418. doi:10.1145/3293883.3297000
apa: 'Koval, N., Alistarh, D.-A., & Elizarov, R. (2019). Lock-free channels
for programming via communicating sequential processes. Proceedings of
the 24th Symposium on Principles and Practice of Parallel Programming (pp.
417–418). Washington, NY, United States: ACM Press. https://doi.org/10.1145/3293883.3297000'
chicago: Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. Lock-Free Channels
for Programming via Communicating Sequential Processes. Proceedings of
the 24th Symposium on Principles and Practice of Parallel Programming. ACM
Press, 2019. https://doi.org/10.1145/3293883.3297000.
ieee: N. Koval, D.-A. Alistarh, and R. Elizarov, Lock-free channels for programming
via communicating sequential processes. ACM Press, 2019, pp. 417–418.
ista: Koval N, Alistarh D-A, Elizarov R. 2019. Lock-free channels for programming
via communicating sequential processes, ACM Press,p.
mla: Koval, Nikita, et al. “Lock-Free Channels for Programming via Communicating
Sequential Processes.” Proceedings of the 24th Symposium on Principles and
Practice of Parallel Programming, ACM Press, 2019, pp. 417–18, doi:10.1145/3293883.3297000.
short: N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming
via Communicating Sequential Processes, ACM Press, 2019.
conference:
end_date: 2019-02-20
location: Washington, NY, United States
name: 'PPoPP: Principles and Practice of Parallel Programming'
start_date: 2019-02-16
date_created: 2019-05-24T10:09:12Z
date_published: 2019-02-01T00:00:00Z
date_updated: 2023-08-25T10:41:20Z
day: '01'
department:
- _id: DaAl
doi: 10.1145/3293883.3297000
external_id:
isi:
- '000587604600044'
isi: 1
language:
- iso: eng
month: '02'
oa_version: None
page: 417-418
publication: Proceedings of the 24th Symposium on Principles and Practice of Parallel
Programming
publication_identifier:
isbn:
- '9781450362252'
publication_status: published
publisher: ACM Press
quality_controlled: '1'
status: public
title: Lock-free channels for programming via communicating sequential processes
type: conference_poster
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2019'
...
---
_id: '6486'
abstract:
- lang: eng
text: Based on a novel control scheme, where a steady modification of the streamwise
velocity profile leads to complete relaminarization of initially fully turbulent
pipe flow, we investigate the applicability and usefulness of custom-shaped honeycombs
for such control. The custom-shaped honeycombs are used as stationary flow management
devices which generate specific modifications of the streamwise velocity profile.
Stereoscopic particle image velocimetry and pressure drop measurements are used
to investigate and capture the development of the relaminarizing flow downstream
these devices. We compare the performance of straight (constant length across
the radius of the pipe) honeycombs with custom-shaped ones (variable length across
the radius) and try to determine the optimal shape for maximal relaminarization
at minimal pressure loss. The optimally modified streamwise velocity profile is
found to be M-shaped, and the maximum attainable Reynolds number for total relaminarization
is found to be of the order of 10,000. Consequently, the respective reduction
in skin friction downstream of the device is almost by a factor of 5. The break-even
point, where the additional pressure drop caused by the device is balanced by
the savings due to relaminarization and a net gain is obtained, corresponds to
a downstream stretch of distances as low as approximately 100 pipe diameters of
laminar flow.
acknowledged_ssus:
- _id: M-Shop
article_number: '111105'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Jakob
full_name: Kühnen, Jakob
id: 3A47AE32-F248-11E8-B48F-1D18A9856A87
last_name: Kühnen
orcid: 0000-0003-4312-0179
- first_name: Davide
full_name: Scarselli, Davide
id: 40315C30-F248-11E8-B48F-1D18A9856A87
last_name: Scarselli
orcid: 0000-0001-5227-4271
- 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: Kühnen J, Scarselli D, Hof B. Relaminarization of pipe flow by means of 3D-printed
shaped honeycombs. Journal of Fluids Engineering. 2019;141(11). doi:10.1115/1.4043494
apa: Kühnen, J., Scarselli, D., & Hof, B. (2019). Relaminarization of pipe flow
by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering.
ASME. https://doi.org/10.1115/1.4043494
chicago: Kühnen, Jakob, Davide Scarselli, and Björn Hof. “Relaminarization of Pipe
Flow by Means of 3D-Printed Shaped Honeycombs.” Journal of Fluids Engineering.
ASME, 2019. https://doi.org/10.1115/1.4043494.
ieee: J. Kühnen, D. Scarselli, and B. Hof, “Relaminarization of pipe flow by means
of 3D-printed shaped honeycombs,” Journal of Fluids Engineering, vol. 141,
no. 11. ASME, 2019.
ista: Kühnen J, Scarselli D, Hof B. 2019. Relaminarization of pipe flow by means
of 3D-printed shaped honeycombs. Journal of Fluids Engineering. 141(11), 111105.
mla: Kühnen, Jakob, et al. “Relaminarization of Pipe Flow by Means of 3D-Printed
Shaped Honeycombs.” Journal of Fluids Engineering, vol. 141, no. 11, 111105,
ASME, 2019, doi:10.1115/1.4043494.
short: J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).
date_created: 2019-05-26T21:59:13Z
date_published: 2019-11-01T00:00:00Z
date_updated: 2024-03-25T23:30:20Z
day: '01'
department:
- _id: BjHo
doi: 10.1115/1.4043494
ec_funded: 1
external_id:
arxiv:
- '1809.07625'
isi:
- '000487748600005'
intvolume: ' 141'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1809.07625
month: '11'
oa: 1
oa_version: Preprint
project:
- _id: 25152F3A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '306589'
name: Decoding the complexity of turbulence at its origin
publication: Journal of Fluids Engineering
publication_identifier:
eissn:
- 1528901X
issn:
- '00982202'
publication_status: published
publisher: ASME
quality_controlled: '1'
related_material:
record:
- id: '7258'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Relaminarization of pipe flow by means of 3D-printed shaped honeycombs
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 141
year: '2019'
...
---
_id: '6490'
abstract:
- lang: eng
text: "Smart contracts are programs that are stored and executed on the Blockchain
and can receive, manage and transfer money (cryptocurrency units). Two important
problems regarding smart contracts are formal analysis and compiler optimization.
Formal analysis is extremely important, because smart contracts hold funds worth
billions of dollars and their code is immutable after deployment. Hence, an undetected
bug can cause significant financial losses. Compiler optimization is also crucial,
because every action of a smart contract has to be executed by every node in the
Blockchain network. Therefore, optimizations in compiling smart contracts can
lead to significant savings in computation, time and energy.\r\n\r\nTwo classical
approaches in program analysis and compiler optimization are intraprocedural and
interprocedural analysis. In intraprocedural analysis, each function is analyzed
separately, while interprocedural analysis considers the entire program. In both
cases, the analyses are usually reduced to graph problems over the control flow
graph (CFG) of the program. These graph problems are often computationally expensive.
Hence, there has been ample research on exploiting structural properties of CFGs
for efficient algorithms. One such well-studied property is the treewidth, which
is a measure of tree-likeness of graphs. It is known that intraprocedural CFGs
of structured programs have treewidth at most 6, whereas the interprocedural treewidth
cannot be bounded. This result has been used as a basis for many efficient intraprocedural
analyses.\r\n\r\nIn this paper, we explore the idea of exploiting the treewidth
of smart contracts for formal analysis and compiler optimization. First, similar
to classical programs, we show that the intraprocedural treewidth of structured
Solidity and Vyper smart contracts is at most 9. Second, for global analysis,
we prove that the interprocedural treewidth of structured smart contracts is bounded
by 10 and, in sharp contrast with classical programs, treewidth-based algorithms
can be easily applied for interprocedural analysis. Finally, we supplement our
theoretical results with experiments using a tool we implemented for computing
treewidth of smart contracts and show that the treewidth is much lower in practice.
We use 36,764 real-world Ethereum smart contracts as benchmarks and find that
they have an average treewidth of at most 3.35 for the intraprocedural case and
3.65 for the interprocedural case.\r\n"
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: Amir Kafshdar
full_name: Goharshady, Amir Kafshdar
id: 391365CE-F248-11E8-B48F-1D18A9856A87
last_name: Goharshady
orcid: 0000-0003-1702-6584
- first_name: Ehsan Kafshdar
full_name: Goharshady, Ehsan Kafshdar
last_name: Goharshady
citation:
ama: 'Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts.
In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part
F147772. ACM; :400-408. doi:10.1145/3297280.3297322'
apa: 'Chatterjee, K., Goharshady, A. K., & Goharshady, E. K. (n.d.). The treewidth
of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing
(Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297322'
chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady.
“The Treewidth of Smart Contracts.” In Proceedings of the 34th ACM Symposium
on Applied Computing, Part F147772:400–408. ACM, n.d. https://doi.org/10.1145/3297280.3297322.
ieee: K. Chatterjee, A. K. Goharshady, and E. K. Goharshady, “The treewidth of smart
contracts,” in Proceedings of the 34th ACM Symposium on Applied Computing,
Limassol, Cyprus, vol. Part F147772, pp. 400–408.
ista: 'Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts.
Proceedings of the 34th ACM Symposium on Applied Computing. SAC: Symposium on
Applied Computing vol. Part F147772, 400–408.'
mla: Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings
of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, pp.
400–08, doi:10.1145/3297280.3297322.
short: K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the
34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
conference:
end_date: 2019-04-12
location: Limassol, Cyprus
name: 'SAC: Symposium on Applied Computing'
start_date: 2019-04-08
date_created: 2019-05-26T21:59:15Z
date_published: 2019-04-01T00:00:00Z
date_updated: 2024-03-25T23:30:18Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1145/3297280.3297322
external_id:
isi:
- '000474685800052'
file:
- access_level: open_access
checksum: dddc20f6d9881f23b8755eb720ec9d6f
content_type: application/pdf
creator: dernst
date_created: 2020-05-14T09:50:11Z
date_updated: 2020-07-14T12:47:32Z
file_id: '7827'
file_name: 2019_ACM_Chatterjee.pdf
file_size: 6937138
relation: main_file
file_date_updated: 2020-07-14T12:47:32Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 400-408
publication: Proceedings of the 34th ACM Symposium on Applied Computing
publication_identifier:
isbn:
- '9781450359337'
publication_status: submitted
publisher: ACM
pubrep_id: '1070'
quality_controlled: '1'
related_material:
record:
- id: '8934'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: The treewidth of smart contracts
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: Part F147772
year: '2019'
...
---
_id: '6493'
abstract:
- lang: eng
text: We present two algorithmic approaches for synthesizing linear hybrid automata
from experimental data. Unlike previous approaches, our algorithms work without
a template and generate an automaton with nondeterministic guards and invariants,
and with an arbitrary number and topology of modes. They thus construct a succinct
model from the data and provide formal guarantees. In particular, (1) the generated
automaton can reproduce the data up to a specified tolerance and (2) the automaton
is tight, given the first guarantee. Our first approach encodes the synthesis
problem as a logical formula in the theory of linear arithmetic, which can then
be solved by an SMT solver. This approach minimizes the number of modes in the
resulting model but is only feasible for limited data sets. To address scalability,
we propose a second approach that does not enforce to find a minimal model. The
algorithm constructs an initial automaton and then iteratively extends the automaton
based on processing new data. Therefore the algorithm is well-suited for online
and synthesis-in-the-loop applications. The core of the algorithm is a membership
query that checks whether, within the specified tolerance, a given data set can
result from the execution of a given automaton. We solve this membership problem
for linear hybrid automata by repeated reachability computations. We demonstrate
the effectiveness of the algorithm on synthetic data sets and on cardiac-cell
measurements.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Miriam
full_name: Garcia Soto, Miriam
id: 4B3207F6-F248-11E8-B48F-1D18A9856A87
last_name: Garcia Soto
orcid: 0000−0003−2936−5719
- 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: Christian
full_name: Schilling, Christian
id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
last_name: Schilling
orcid: 0000-0003-3658-1065
- first_name: Luka
full_name: Zeleznik, Luka
id: 3ADCA2E4-F248-11E8-B48F-1D18A9856A87
last_name: Zeleznik
citation:
ama: 'Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis
of linear hybrid automata. In: 31st International Conference on Computer-Aided
Verification. Vol 11561. Springer; 2019:297-314. doi:10.1007/978-3-030-25540-4_16'
apa: 'Garcia Soto, M., Henzinger, T. A., Schilling, C., & Zeleznik, L. (2019).
Membership-based synthesis of linear hybrid automata. In 31st International
Conference on Computer-Aided Verification (Vol. 11561, pp. 297–314). New York
City, NY, USA: Springer. https://doi.org/10.1007/978-3-030-25540-4_16'
chicago: Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka
Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In 31st International
Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019.
https://doi.org/10.1007/978-3-030-25540-4_16.
ieee: M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based
synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided
Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
ista: 'Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based
synthesis of linear hybrid automata. 31st International Conference on Computer-Aided
Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.'
mla: Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.”
31st International Conference on Computer-Aided Verification, vol. 11561,
Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
short: M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International
Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
conference:
end_date: 2019-07-18
location: New York City, NY, USA
name: 'CAV: Computer-Aided Verification'
start_date: 2019-07-15
date_created: 2019-05-27T07:09:53Z
date_published: 2019-07-12T00:00:00Z
date_updated: 2023-08-25T10:40:41Z
day: '12'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-25540-4_16
ec_funded: 1
external_id:
isi:
- '000491468000016'
file:
- access_level: open_access
checksum: 1f1d61b83a151031745ef70a501da3d6
content_type: application/pdf
creator: dernst
date_created: 2019-08-14T11:05:30Z
date_updated: 2020-07-14T12:47:32Z
file_id: '6817'
file_name: 2019_CAV_GarciaSoto.pdf
file_size: 674795
relation: main_file
file_date_updated: 2020-07-14T12:47:32Z
has_accepted_license: '1'
intvolume: ' 11561'
isi: 1
keyword:
- Synthesis
- Linear hybrid automaton
- Membership
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 297-314
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: 31st International Conference on Computer-Aided Verification
publication_identifier:
isbn:
- '9783030255398'
issn:
- 0302-9743
publication_status: published
publisher: Springer
quality_controlled: '1'
scopus_import: '1'
status: public
title: Membership-based synthesis of linear hybrid automata
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: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11561
year: '2019'
...
---
_id: '65'
abstract:
- lang: eng
text: We provide an entropy formulation for porous medium-type equations with a
stochastic, non-linear, spatially inhomogeneous forcing. Well-posedness and L1-contraction
is obtained in the class of entropy solutions. Our scope allows for porous medium
operators Δ(|u|m−1u) for all m∈(1,∞), and Hölder continuous diffusion nonlinearity
with exponent 1/2.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Konstantinos
full_name: Dareiotis, Konstantinos
last_name: Dareiotis
- first_name: Mate
full_name: Gerencser, Mate
id: 44ECEDF2-F248-11E8-B48F-1D18A9856A87
last_name: Gerencser
- first_name: Benjamin
full_name: Gess, Benjamin
last_name: Gess
citation:
ama: Dareiotis K, Gerencser M, Gess B. Entropy solutions for stochastic porous media
equations. Journal of Differential Equations. 2019;266(6):3732-3763. doi:10.1016/j.jde.2018.09.012
apa: Dareiotis, K., Gerencser, M., & Gess, B. (2019). Entropy solutions for
stochastic porous media equations. Journal of Differential Equations. Elsevier.
https://doi.org/10.1016/j.jde.2018.09.012
chicago: Dareiotis, Konstantinos, Mate Gerencser, and Benjamin Gess. “Entropy Solutions
for Stochastic Porous Media Equations.” Journal of Differential Equations.
Elsevier, 2019. https://doi.org/10.1016/j.jde.2018.09.012.
ieee: K. Dareiotis, M. Gerencser, and B. Gess, “Entropy solutions for stochastic
porous media equations,” Journal of Differential Equations, vol. 266, no.
6. Elsevier, pp. 3732–3763, 2019.
ista: Dareiotis K, Gerencser M, Gess B. 2019. Entropy solutions for stochastic porous
media equations. Journal of Differential Equations. 266(6), 3732–3763.
mla: Dareiotis, Konstantinos, et al. “Entropy Solutions for Stochastic Porous Media
Equations.” Journal of Differential Equations, vol. 266, no. 6, Elsevier,
2019, pp. 3732–63, doi:10.1016/j.jde.2018.09.012.
short: K. Dareiotis, M. Gerencser, B. Gess, Journal of Differential Equations 266
(2019) 3732–3763.
date_created: 2018-12-11T11:44:26Z
date_published: 2019-03-05T00:00:00Z
date_updated: 2023-08-24T14:30:16Z
day: '5'
department:
- _id: JaMa
doi: 10.1016/j.jde.2018.09.012
external_id:
arxiv:
- '1803.06953'
isi:
- '000456332500026'
intvolume: ' 266'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1803.06953
month: '03'
oa: 1
oa_version: Preprint
page: 3732-3763
publication: Journal of Differential Equations
publication_status: published
publisher: Elsevier
publist_id: '7989'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Entropy solutions for stochastic porous media equations
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 266
year: '2019'
...
---
_id: '6504'
abstract:
- lang: eng
text: "Root gravitropism is one of the most important processes allowing plant adaptation
to the land environment. Auxin plays a central role in mediating root gravitropism,
but how auxin contributes to gravitational perception and the subsequent response
is still unclear.\r\n\r\nHere, we showed that the local auxin maximum/gradient
within the root apex, which is generated by the PIN directional auxin transporters,
regulates the expression of three key starch granule synthesis genes, SS4, PGM
and ADG1, which in turn influence the accumulation of starch granules that serve
as a statolith perceiving gravity.\r\n\r\nMoreover, using the cvxIAA‐ccvTIR1 system,
we also showed that TIR1‐mediated auxin signaling is required for starch granule
formation and gravitropic response within root tips. In addition, axr3 mutants
showed reduced auxin‐mediated starch granule accumulation and disruption of gravitropism
within the root apex.\r\n\r\nOur results indicate that auxin‐mediated statolith
production relies on the TIR1/AFB‐AXR3‐mediated auxin signaling pathway. In summary,
we propose a dual role for auxin in gravitropism: the regulation of both gravity
perception and response."
article_processing_charge: No
article_type: original
author:
- first_name: Yuzhou
full_name: Zhang, Yuzhou
id: 3B6137F2-F248-11E8-B48F-1D18A9856A87
last_name: Zhang
orcid: 0000-0003-2627-6956
- first_name: P
full_name: He, P
last_name: He
- first_name: X
full_name: Ma, X
last_name: Ma
- first_name: Z
full_name: Yang, Z
last_name: Yang
- first_name: C
full_name: Pang, C
last_name: Pang
- first_name: J
full_name: Yu, J
last_name: Yu
- first_name: G
full_name: Wang, G
last_name: Wang
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: G
full_name: Xiao, G
last_name: Xiao
citation:
ama: Zhang Y, He P, Ma X, et al. Auxin-mediated statolith production for root gravitropism.
New Phytologist. 2019;224(2):761-774. doi:10.1111/nph.15932
apa: Zhang, Y., He, P., Ma, X., Yang, Z., Pang, C., Yu, J., … Xiao, G. (2019). Auxin-mediated
statolith production for root gravitropism. New Phytologist. Wiley. https://doi.org/10.1111/nph.15932
chicago: Zhang, Yuzhou, P He, X Ma, Z Yang, C Pang, J Yu, G Wang, Jiří Friml, and
G Xiao. “Auxin-Mediated Statolith Production for Root Gravitropism.” New Phytologist.
Wiley, 2019. https://doi.org/10.1111/nph.15932.
ieee: Y. Zhang et al., “Auxin-mediated statolith production for root gravitropism,”
New Phytologist, vol. 224, no. 2. Wiley, pp. 761–774, 2019.
ista: Zhang Y, He P, Ma X, Yang Z, Pang C, Yu J, Wang G, Friml J, Xiao G. 2019.
Auxin-mediated statolith production for root gravitropism. New Phytologist. 224(2),
761–774.
mla: Zhang, Yuzhou, et al. “Auxin-Mediated Statolith Production for Root Gravitropism.”
New Phytologist, vol. 224, no. 2, Wiley, 2019, pp. 761–74, doi:10.1111/nph.15932.
short: Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao,
New Phytologist 224 (2019) 761–774.
date_created: 2019-05-28T14:33:26Z
date_published: 2019-10-01T00:00:00Z
date_updated: 2023-08-28T08:40:13Z
day: '01'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1111/nph.15932
external_id:
isi:
- '000487184200024'
pmid:
- '31111487'
file:
- access_level: open_access
checksum: 6488243334538f5c39099a701cbf76b9
content_type: application/pdf
creator: dernst
date_created: 2020-10-14T08:59:33Z
date_updated: 2020-10-14T08:59:33Z
file_id: '8661'
file_name: 2019_NewPhytologist_Zhang_accepted.pdf
file_size: 1099061
relation: main_file
success: 1
file_date_updated: 2020-10-14T08:59:33Z
has_accepted_license: '1'
intvolume: ' 224'
isi: 1
issue: '2'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 761-774
pmid: 1
publication: New Phytologist
publication_identifier:
eissn:
- 1469-8137
issn:
- 0028-646x
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Auxin-mediated statolith production for root gravitropism
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 224
year: '2019'
...
---
_id: '6506'
abstract:
- lang: eng
text: How does environmental complexity affect the evolution of single genes? Here,
we measured the effects of a set of Bacillus subtilis glutamate dehydrogenase
mutants across 19 different environments—from phenotypically homogeneous single-cell
populations in liquid media to heterogeneous biofilms, plant roots and soil populations.
The effects of individual gene mutations on organismal fitness were highly reproducible
in liquid cultures. However, 84% of the tested alleles showed opposing fitness
effects under different growth conditions (sign environmental pleiotropy). In
colony biofilms and soil samples, different alleles dominated in parallel replica
experiments. Accordingly, we found that in these heterogeneous cell populations
the fate of mutations was dictated by a combination of selection and drift. The
latter relates to programmed prophage excisions that occurred during biofilm development.
Overall, for each condition, a wide range of glutamate dehydrogenase mutations
persisted and sometimes fixated as a result of the combined action of selection,
pleiotropy and chance. However, over longer periods and in multiple environments,
nearly all of this diversity would be lost—across all the environments and conditions
that we tested, the wild type was the fittest allele.
article_processing_charge: No
article_type: original
author:
- first_name: Lianet
full_name: Noda-García, Lianet
last_name: Noda-García
- first_name: Dan
full_name: Davidi, Dan
last_name: Davidi
- first_name: Elisa
full_name: Korenblum, Elisa
last_name: Korenblum
- first_name: Assaf
full_name: Elazar, Assaf
last_name: Elazar
- first_name: Ekaterina
full_name: Putintseva, Ekaterina
id: 2EF67C84-F248-11E8-B48F-1D18A9856A87
last_name: Putintseva
- first_name: Asaph
full_name: Aharoni, Asaph
last_name: Aharoni
- first_name: Dan S.
full_name: Tawfik, Dan S.
last_name: Tawfik
citation:
ama: Noda-García L, Davidi D, Korenblum E, et al. Chance and pleiotropy dominate
genetic diversity in complex bacterial environments. Nature Microbiology.
2019;4(7):1221–1230. doi:10.1038/s41564-019-0412-y
apa: Noda-García, L., Davidi, D., Korenblum, E., Elazar, A., Putintseva, E., Aharoni,
A., & Tawfik, D. S. (2019). Chance and pleiotropy dominate genetic diversity
in complex bacterial environments. Nature Microbiology. Springer Nature.
https://doi.org/10.1038/s41564-019-0412-y
chicago: Noda-García, Lianet, Dan Davidi, Elisa Korenblum, Assaf Elazar, Ekaterina
Putintseva, Asaph Aharoni, and Dan S. Tawfik. “Chance and Pleiotropy Dominate
Genetic Diversity in Complex Bacterial Environments.” Nature Microbiology.
Springer Nature, 2019. https://doi.org/10.1038/s41564-019-0412-y.
ieee: L. Noda-García et al., “Chance and pleiotropy dominate genetic diversity
in complex bacterial environments,” Nature Microbiology, vol. 4, no. 7.
Springer Nature, pp. 1221–1230, 2019.
ista: Noda-García L, Davidi D, Korenblum E, Elazar A, Putintseva E, Aharoni A, Tawfik
DS. 2019. Chance and pleiotropy dominate genetic diversity in complex bacterial
environments. Nature Microbiology. 4(7), 1221–1230.
mla: Noda-García, Lianet, et al. “Chance and Pleiotropy Dominate Genetic Diversity
in Complex Bacterial Environments.” Nature Microbiology, vol. 4, no. 7,
Springer Nature, 2019, pp. 1221–1230, doi:10.1038/s41564-019-0412-y.
short: L. Noda-García, D. Davidi, E. Korenblum, A. Elazar, E. Putintseva, A. Aharoni,
D.S. Tawfik, Nature Microbiology 4 (2019) 1221–1230.
date_created: 2019-05-29T13:03:30Z
date_published: 2019-07-01T00:00:00Z
date_updated: 2023-08-28T08:39:47Z
day: '01'
department:
- _id: FyKo
doi: 10.1038/s41564-019-0412-y
external_id:
isi:
- '000480348200017'
intvolume: ' 4'
isi: 1
issue: '7'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.biorxiv.org/content/10.1101/340828v2
month: '07'
oa: 1
oa_version: Preprint
page: 1221–1230
publication: Nature Microbiology
publication_identifier:
issn:
- 2058-5276
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Chance and pleiotropy dominate genetic diversity in complex bacterial environments
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 4
year: '2019'
...
---
_id: '6508'
abstract:
- lang: eng
text: Segregation of maternal determinants within the oocyte constitutes the first
step in embryo patterning. In zebrafish oocytes, extensive ooplasmic streaming
leads to the segregation of ooplasm from yolk granules along the animal-vegetal
axis of the oocyte. Here, we show that this process does not rely on cortical
actin reorganization, as previously thought, but instead on a cell-cycle-dependent
bulk actin polymerization wave traveling from the animal to the vegetal pole of
the oocyte. This wave functions in segregation by both pulling ooplasm animally
and pushing yolk granules vegetally. Using biophysical experimentation and theory,
we show that ooplasm pulling is mediated by bulk actin network flows exerting
friction forces on the ooplasm, while yolk granule pushing is achieved by a mechanism
closely resembling actin comet formation on yolk granules. Our study defines a
novel role of cell-cycle-controlled bulk actin polymerization waves in oocyte
polarization via ooplasmic segregation.
acknowledged_ssus:
- _id: Bio
- _id: PreCl
acknowledgement: We would like to thank Pierre Recho, Guillaume Salbreux, and Silvia
Grigolon for advice on the theory, Lila Solnica-Krezel for kindly providing us with
zebrafish dachsous mutants, members of the Heisenberg and Hannezo groups for fruitful
discussions, and the Bioimaging and zebrafish facilities at IST Austria for their
continuous support. This project has received funding from the European Union (European
Research Council Advanced Grant 742573 to C.P.H.) and from the Austrian Science
Fund (FWF) (P 31639 to E.H.).
article_processing_charge: No
article_type: original
author:
- first_name: Shayan
full_name: Shamipour, Shayan
id: 40B34FE2-F248-11E8-B48F-1D18A9856A87
last_name: Shamipour
- first_name: Roland
full_name: Kardos, Roland
id: 4039350E-F248-11E8-B48F-1D18A9856A87
last_name: Kardos
- first_name: Shi-lei
full_name: Xue, Shi-lei
id: 31D2C804-F248-11E8-B48F-1D18A9856A87
last_name: Xue
- first_name: Björn
full_name: Hof, Björn
id: 3A374330-F248-11E8-B48F-1D18A9856A87
last_name: Hof
orcid: 0000-0003-2057-2754
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
- first_name: Carl-Philipp J
full_name: Heisenberg, Carl-Philipp J
id: 39427864-F248-11E8-B48F-1D18A9856A87
last_name: Heisenberg
orcid: 0000-0002-0912-4566
citation:
ama: Shamipour S, Kardos R, Xue S, Hof B, Hannezo EB, Heisenberg C-PJ. Bulk actin
dynamics drive phase segregation in zebrafish oocytes. Cell. 2019;177(6):1463-1479.e18.
doi:10.1016/j.cell.2019.04.030
apa: Shamipour, S., Kardos, R., Xue, S., Hof, B., Hannezo, E. B., & Heisenberg,
C.-P. J. (2019). Bulk actin dynamics drive phase segregation in zebrafish oocytes.
Cell. Elsevier. https://doi.org/10.1016/j.cell.2019.04.030
chicago: Shamipour, Shayan, Roland Kardos, Shi-lei Xue, Björn Hof, Edouard B Hannezo,
and Carl-Philipp J Heisenberg. “Bulk Actin Dynamics Drive Phase Segregation in
Zebrafish Oocytes.” Cell. Elsevier, 2019. https://doi.org/10.1016/j.cell.2019.04.030.
ieee: S. Shamipour, R. Kardos, S. Xue, B. Hof, E. B. Hannezo, and C.-P. J. Heisenberg,
“Bulk actin dynamics drive phase segregation in zebrafish oocytes,” Cell,
vol. 177, no. 6. Elsevier, p. 1463–1479.e18, 2019.
ista: Shamipour S, Kardos R, Xue S, Hof B, Hannezo EB, Heisenberg C-PJ. 2019. Bulk
actin dynamics drive phase segregation in zebrafish oocytes. Cell. 177(6), 1463–1479.e18.
mla: Shamipour, Shayan, et al. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish
Oocytes.” Cell, vol. 177, no. 6, Elsevier, 2019, p. 1463–1479.e18, doi:10.1016/j.cell.2019.04.030.
short: S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg,
Cell 177 (2019) 1463–1479.e18.
date_created: 2019-06-02T21:59:12Z
date_published: 2019-05-30T00:00:00Z
date_updated: 2024-03-25T23:30:21Z
day: '30'
ddc:
- '570'
department:
- _id: CaHe
- _id: EdHa
- _id: BjHo
doi: 10.1016/j.cell.2019.04.030
ec_funded: 1
external_id:
isi:
- '000469415100013'
pmid:
- '31080065'
file:
- access_level: open_access
checksum: aea43726d80e35ce3885073a5f05c3e3
content_type: application/pdf
creator: dernst
date_created: 2020-10-21T07:22:34Z
date_updated: 2020-10-21T07:22:34Z
file_id: '8686'
file_name: 2019_Cell_Shamipour_accepted.pdf
file_size: 3356292
relation: main_file
success: 1
file_date_updated: 2020-10-21T07:22:34Z
has_accepted_license: '1'
intvolume: ' 177'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.cell.2019.04.030
month: '05'
oa: 1
oa_version: Published Version
page: 1463-1479.e18
pmid: 1
project:
- _id: 260F1432-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742573'
name: Interaction and feedback between cell mechanics and fate specification in
vertebrate gastrulation
- _id: 268294B6-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P31639
name: Active mechano-chemical description of the cell cytoskeleton
publication: Cell
publication_identifier:
eissn:
- '10974172'
issn:
- '00928674'
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/how-the-cytoplasm-separates-from-the-yolk/
record:
- id: '8350'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Bulk actin dynamics drive phase segregation in zebrafish oocytes
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 177
year: '2019'
...
---
_id: '6511'
abstract:
- lang: eng
text: Let U and V be two independent N by N random matrices that are distributed
according to Haar measure on U(N). Let Σ be a nonnegative deterministic N by N
matrix. The single ring theorem [Ann. of Math. (2) 174 (2011) 1189–1217] asserts
that the empirical eigenvalue distribution of the matrix X:=UΣV∗ converges weakly,
in the limit of large N, to a deterministic measure which is supported on a single
ring centered at the origin in ℂ. Within the bulk regime, that is, in the interior
of the single ring, we establish the convergence of the empirical eigenvalue distribution
on the optimal local scale of order N−1/2+ε and establish the optimal convergence
rate. The same results hold true when U and V are Haar distributed on O(N).
article_processing_charge: No
arxiv: 1
author:
- first_name: Zhigang
full_name: Bao, Zhigang
id: 442E6A6C-F248-11E8-B48F-1D18A9856A87
last_name: Bao
orcid: 0000-0003-3036-1475
- 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: Bao Z, Erdös L, Schnelli K. Local single ring theorem on optimal scale. Annals
of Probability. 2019;47(3):1270-1334. doi:10.1214/18-AOP1284
apa: Bao, Z., Erdös, L., & Schnelli, K. (2019). Local single ring theorem on
optimal scale. Annals of Probability. Institute of Mathematical Statistics.
https://doi.org/10.1214/18-AOP1284
chicago: Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Single Ring Theorem
on Optimal Scale.” Annals of Probability. Institute of Mathematical Statistics,
2019. https://doi.org/10.1214/18-AOP1284.
ieee: Z. Bao, L. Erdös, and K. Schnelli, “Local single ring theorem on optimal scale,”
Annals of Probability, vol. 47, no. 3. Institute of Mathematical Statistics,
pp. 1270–1334, 2019.
ista: Bao Z, Erdös L, Schnelli K. 2019. Local single ring theorem on optimal scale.
Annals of Probability. 47(3), 1270–1334.
mla: Bao, Zhigang, et al. “Local Single Ring Theorem on Optimal Scale.” Annals
of Probability, vol. 47, no. 3, Institute of Mathematical Statistics, 2019,
pp. 1270–334, doi:10.1214/18-AOP1284.
short: Z. Bao, L. Erdös, K. Schnelli, Annals of Probability 47 (2019) 1270–1334.
date_created: 2019-06-02T21:59:13Z
date_published: 2019-05-01T00:00:00Z
date_updated: 2023-08-28T09:32:29Z
day: '01'
department:
- _id: LaEr
doi: 10.1214/18-AOP1284
ec_funded: 1
external_id:
arxiv:
- '1612.05920'
isi:
- '000466616100003'
intvolume: ' 47'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1612.05920
month: '05'
oa: 1
oa_version: Preprint
page: 1270-1334
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: Annals of Probability
publication_identifier:
issn:
- '00911798'
publication_status: published
publisher: Institute of Mathematical Statistics
quality_controlled: '1'
scopus_import: '1'
status: public
title: Local single ring theorem on optimal scale
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 47
year: '2019'
...
---
_id: '6513'
abstract:
- lang: eng
text: Adult intestinal stem cells are located at the bottom of crypts of Lieberkühn,
where they express markers such as LGR5 1,2 and fuel the constant replenishment
of the intestinal epithelium1. Although fetal LGR5-expressing cells can give rise
to adult intestinal stem cells3,4, it remains unclear whether this population
in the patterned epithelium represents unique intestinal stem-cell precursors.
Here we show, using unbiased quantitative lineage-tracing approaches, biophysical
modelling and intestinal transplantation, that all cells of the mouse intestinal
epithelium—irrespective of their location and pattern of LGR5 expression in the
fetal gut tube—contribute actively to the adult intestinal stem cell pool. Using
3D imaging, we find that during fetal development the villus undergoes gross remodelling
and fission. This brings epithelial cells from the non-proliferative villus into
the proliferative intervillus region, which enables them to contribute to the
adult stem-cell niche. Our results demonstrate that large-scale remodelling of
the intestinal wall and cell-fate specification are closely linked. Moreover,
these findings provide a direct link between the observed plasticity and cellular
reprogramming of differentiating cells in adult tissues following damage5,6,7,8,9,
revealing that stem-cell identity is an induced rather than a hardwired property.
article_processing_charge: No
article_type: original
author:
- first_name: Jordi
full_name: Guiu, Jordi
last_name: Guiu
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
- first_name: Shiro
full_name: Yui, Shiro
last_name: Yui
- first_name: Samuel
full_name: Demharter, Samuel
last_name: Demharter
- first_name: Svetlana
full_name: Ulyanchenko, Svetlana
last_name: Ulyanchenko
- first_name: Martti
full_name: Maimets, Martti
last_name: Maimets
- first_name: Anne
full_name: Jørgensen, Anne
last_name: Jørgensen
- first_name: Signe
full_name: Perlman, Signe
last_name: Perlman
- first_name: Lene
full_name: Lundvall, Lene
last_name: Lundvall
- first_name: Linn Salto
full_name: Mamsen, Linn Salto
last_name: Mamsen
- first_name: Agnete
full_name: Larsen, Agnete
last_name: Larsen
- first_name: Rasmus H.
full_name: Olesen, Rasmus H.
last_name: Olesen
- first_name: Claus Yding
full_name: Andersen, Claus Yding
last_name: Andersen
- first_name: Lea Langhoff
full_name: Thuesen, Lea Langhoff
last_name: Thuesen
- first_name: Kristine Juul
full_name: Hare, Kristine Juul
last_name: Hare
- first_name: Tune H.
full_name: Pers, Tune H.
last_name: Pers
- first_name: Konstantin
full_name: Khodosevich, Konstantin
last_name: Khodosevich
- first_name: Benjamin D.
full_name: Simons, Benjamin D.
last_name: Simons
- first_name: Kim B.
full_name: Jensen, Kim B.
last_name: Jensen
citation:
ama: Guiu J, Hannezo EB, Yui S, et al. Tracing the origin of adult intestinal stem
cells. Nature. 2019;570:107-111. doi:10.1038/s41586-019-1212-5
apa: Guiu, J., Hannezo, E. B., Yui, S., Demharter, S., Ulyanchenko, S., Maimets,
M., … Jensen, K. B. (2019). Tracing the origin of adult intestinal stem cells.
Nature. Springer Nature. https://doi.org/10.1038/s41586-019-1212-5
chicago: Guiu, Jordi, Edouard B Hannezo, Shiro Yui, Samuel Demharter, Svetlana Ulyanchenko,
Martti Maimets, Anne Jørgensen, et al. “Tracing the Origin of Adult Intestinal
Stem Cells.” Nature. Springer Nature, 2019. https://doi.org/10.1038/s41586-019-1212-5.
ieee: J. Guiu et al., “Tracing the origin of adult intestinal stem cells,”
Nature, vol. 570. Springer Nature, pp. 107–111, 2019.
ista: Guiu J, Hannezo EB, Yui S, Demharter S, Ulyanchenko S, Maimets M, Jørgensen
A, Perlman S, Lundvall L, Mamsen LS, Larsen A, Olesen RH, Andersen CY, Thuesen
LL, Hare KJ, Pers TH, Khodosevich K, Simons BD, Jensen KB. 2019. Tracing the origin
of adult intestinal stem cells. Nature. 570, 107–111.
mla: Guiu, Jordi, et al. “Tracing the Origin of Adult Intestinal Stem Cells.” Nature,
vol. 570, Springer Nature, 2019, pp. 107–11, doi:10.1038/s41586-019-1212-5.
short: J. Guiu, E.B. Hannezo, S. Yui, S. Demharter, S. Ulyanchenko, M. Maimets,
A. Jørgensen, S. Perlman, L. Lundvall, L.S. Mamsen, A. Larsen, R.H. Olesen, C.Y.
Andersen, L.L. Thuesen, K.J. Hare, T.H. Pers, K. Khodosevich, B.D. Simons, K.B.
Jensen, Nature 570 (2019) 107–111.
date_created: 2019-06-02T21:59:14Z
date_published: 2019-06-06T00:00:00Z
date_updated: 2023-08-28T09:30:23Z
day: '06'
department:
- _id: EdHa
doi: 10.1038/s41586-019-1212-5
external_id:
isi:
- '000470149000048'
pmid:
- '31092921'
intvolume: ' 570'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6986928
month: '06'
oa: 1
oa_version: Submitted Version
page: 107-111
pmid: 1
publication: Nature
publication_identifier:
eissn:
- '14764687'
issn:
- '00280836'
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Tracing the origin of adult intestinal stem cells
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 570
year: '2019'
...
---
_id: '6515'
abstract:
- lang: eng
text: We give non-degeneracy criteria for Riemannian simplices based on simplices
in spaces of constant sectional curvature. It extends previous work on Riemannian
simplices, where we developed Riemannian simplices with respect to Euclidean reference
simplices. The criteria we give in this article are in terms of quality measures
for spaces of constant curvature that we develop here. We see that simplices in
spaces that have nearly constant curvature, are already non-degenerate under very
weak quality demands. This is of importance because it allows for sampling of
Riemannian manifolds based on anisotropy of the manifold and not (absolute) curvature.
author:
- first_name: Ramsay
full_name: Dyer, Ramsay
last_name: Dyer
- first_name: Gert
full_name: Vegter, Gert
last_name: Vegter
- first_name: Mathijs
full_name: Wintraecken, Mathijs
id: 307CFBC8-F248-11E8-B48F-1D18A9856A87
last_name: Wintraecken
orcid: 0000-0002-7472-2220
citation:
ama: Dyer R, Vegter G, Wintraecken M. Simplices modelled on spaces of constant curvature.
Journal of Computational Geometry . 2019;10(1):223–256. doi:10.20382/jocg.v10i1a9
apa: Dyer, R., Vegter, G., & Wintraecken, M. (2019). Simplices modelled on spaces
of constant curvature. Journal of Computational Geometry . Carleton University.
https://doi.org/10.20382/jocg.v10i1a9
chicago: Dyer, Ramsay, Gert Vegter, and Mathijs Wintraecken. “Simplices Modelled
on Spaces of Constant Curvature.” Journal of Computational Geometry . Carleton
University, 2019. https://doi.org/10.20382/jocg.v10i1a9.
ieee: R. Dyer, G. Vegter, and M. Wintraecken, “Simplices modelled on spaces of constant
curvature,” Journal of Computational Geometry , vol. 10, no. 1. Carleton
University, pp. 223–256, 2019.
ista: Dyer R, Vegter G, Wintraecken M. 2019. Simplices modelled on spaces of constant
curvature. Journal of Computational Geometry . 10(1), 223–256.
mla: Dyer, Ramsay, et al. “Simplices Modelled on Spaces of Constant Curvature.”
Journal of Computational Geometry , vol. 10, no. 1, Carleton University,
2019, pp. 223–256, doi:10.20382/jocg.v10i1a9.
short: R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10
(2019) 223–256.
date_created: 2019-06-03T09:35:33Z
date_published: 2019-07-01T00:00:00Z
date_updated: 2021-01-12T08:07:50Z
day: '01'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.20382/jocg.v10i1a9
ec_funded: 1
file:
- access_level: open_access
checksum: 57b4df2f16a74eb499734ec8ee240178
content_type: application/pdf
creator: mwintrae
date_created: 2019-06-03T09:30:01Z
date_updated: 2020-07-14T12:47:32Z
file_id: '6516'
file_name: mainJournalFinal.pdf
file_size: 2170882
relation: main_file
file_date_updated: 2020-07-14T12:47:32Z
has_accepted_license: '1'
intvolume: ' 10'
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 223–256
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: 'Journal of Computational Geometry '
publication_identifier:
issn:
- 1920-180X
publication_status: published
publisher: Carleton University
quality_controlled: '1'
scopus_import: 1
status: public
title: Simplices modelled on spaces of constant curvature
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: 10
year: '2019'
...
---
_id: '6521'
abstract:
- lang: eng
text: Microglia have emerged as a critical component of neurodegenerative diseases.
Genetic manipulation of microglia can elucidate their functional impact in disease.
In neuroscience, recombinant viruses such as lentiviruses and adeno-associated
viruses (AAVs) have been successfully used to target various cell types in the
brain, although effective transduction of microglia is rare. In this review, we
provide a short background of lentiviruses and AAVs, and strategies for designing
recombinant viral vectors. Then, we will summarize recent literature on successful
microglial transductions in vitro and in vivo, and discuss the current challenges.
Finally, we provide guidelines for reporting the efficiency and specificity of
viral targeting in microglia, which will enable the microglial research community
to assess and improve methodologies for future studies.
article_number: '134310'
article_processing_charge: No
article_type: original
author:
- first_name: Margaret E
full_name: Maes, Margaret E
id: 3838F452-F248-11E8-B48F-1D18A9856A87
last_name: Maes
orcid: 0000-0001-9642-1085
- first_name: Gloria
full_name: Colombo, Gloria
id: 3483CF6C-F248-11E8-B48F-1D18A9856A87
last_name: Colombo
orcid: 0000-0001-9434-8902
- first_name: Rouven
full_name: Schulz, Rouven
id: 4C5E7B96-F248-11E8-B48F-1D18A9856A87
last_name: Schulz
orcid: 0000-0001-5297-733X
- first_name: Sandra
full_name: Siegert, Sandra
id: 36ACD32E-F248-11E8-B48F-1D18A9856A87
last_name: Siegert
orcid: 0000-0001-8635-0877
citation:
ama: 'Maes ME, Colombo G, Schulz R, Siegert S. Targeting microglia with lentivirus
and AAV: Recent advances and remaining challenges. Neuroscience Letters.
2019;707. doi:10.1016/j.neulet.2019.134310'
apa: 'Maes, M. E., Colombo, G., Schulz, R., & Siegert, S. (2019). Targeting
microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience
Letters. Elsevier. https://doi.org/10.1016/j.neulet.2019.134310'
chicago: 'Maes, Margaret E, Gloria Colombo, Rouven Schulz, and Sandra Siegert. “Targeting
Microglia with Lentivirus and AAV: Recent Advances and Remaining Challenges.”
Neuroscience Letters. Elsevier, 2019. https://doi.org/10.1016/j.neulet.2019.134310.'
ieee: 'M. E. Maes, G. Colombo, R. Schulz, and S. Siegert, “Targeting microglia with
lentivirus and AAV: Recent advances and remaining challenges,” Neuroscience
Letters, vol. 707. Elsevier, 2019.'
ista: 'Maes ME, Colombo G, Schulz R, Siegert S. 2019. Targeting microglia with lentivirus
and AAV: Recent advances and remaining challenges. Neuroscience Letters. 707,
134310.'
mla: 'Maes, Margaret E., et al. “Targeting Microglia with Lentivirus and AAV: Recent
Advances and Remaining Challenges.” Neuroscience Letters, vol. 707, 134310,
Elsevier, 2019, doi:10.1016/j.neulet.2019.134310.'
short: M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).
date_created: 2019-06-05T13:16:24Z
date_published: 2019-08-10T00:00:00Z
date_updated: 2023-08-28T09:30:57Z
day: '10'
ddc:
- '570'
department:
- _id: SaSi
doi: 10.1016/j.neulet.2019.134310
ec_funded: 1
external_id:
isi:
- '000486094600037'
pmid:
- '31158432'
file:
- access_level: open_access
checksum: 553c9dbd39727fbed55ee991c51ca4d1
content_type: application/pdf
creator: dernst
date_created: 2019-06-08T11:44:20Z
date_updated: 2020-07-14T12:47:33Z
file_id: '6551'
file_name: 2019_Neuroscience_Maes.pdf
file_size: 1779287
relation: main_file
file_date_updated: 2020-07-14T12:47:33Z
has_accepted_license: '1'
intvolume: ' 707'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
- _id: 25D4A630-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '715571'
name: Microglia action towards neuronal circuit formation and function in health
and disease
- _id: 267F75D8-B435-11E9-9278-68D0E5697425
name: Modulating microglia through G protein-coupled receptor (GPCR) signaling
publication: Neuroscience Letters
publication_identifier:
issn:
- 0304-3940
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Targeting microglia with lentivirus and AAV: Recent advances and remaining
challenges'
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: 707
year: '2019'
...
---
_id: '6528'
abstract:
- lang: eng
text: We construct a verifiable delay function (VDF) by showing how the Rivest-Shamir-Wagner
time-lock puzzle can be made publicly verifiable. Concretely, we give a statistically
sound public-coin protocol to prove that a tuple (N,x,T,y) satisfies y=x2T (mod
N) where the prover doesn’t know the factorization of N and its running time is
dominated by solving the puzzle, that is, compute x2T, which is conjectured to
require T sequential squarings. To get a VDF we make this protocol non-interactive
using the Fiat-Shamir heuristic.The motivation for this work comes from the Chia
blockchain design, which uses a VDF as akey ingredient. For typical parameters
(T≤2 40, N= 2048), our proofs are of size around 10K B, verification cost around
three RSA exponentiations and computing the proof is 8000 times faster than solving
the puzzle even without any parallelism.
alternative_title:
- LIPIcs
article_number: '60'
article_processing_charge: No
author:
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
citation:
ama: 'Pietrzak KZ. Simple verifiable delay functions. In: 10th Innovations in
Theoretical Computer Science Conference. Vol 124. Schloss Dagstuhl - Leibniz-Zentrum
für Informatik; 2019. doi:10.4230/LIPICS.ITCS.2019.60'
apa: 'Pietrzak, K. Z. (2019). Simple verifiable delay functions. In 10th Innovations
in Theoretical Computer Science Conference (Vol. 124). San Diego, CA, United
States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ITCS.2019.60'
chicago: Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” In 10th
Innovations in Theoretical Computer Science Conference, Vol. 124. Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.ITCS.2019.60.
ieee: K. Z. Pietrzak, “Simple verifiable delay functions,” in 10th Innovations
in Theoretical Computer Science Conference, San Diego, CA, United States,
2019, vol. 124.
ista: 'Pietrzak KZ. 2019. Simple verifiable delay functions. 10th Innovations in
Theoretical Computer Science Conference. ITCS 2019: Innovations in Theoretical
Computer Science, LIPIcs, vol. 124, 60.'
mla: Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” 10th Innovations
in Theoretical Computer Science Conference, vol. 124, 60, Schloss Dagstuhl
- Leibniz-Zentrum für Informatik, 2019, doi:10.4230/LIPICS.ITCS.2019.60.
short: K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference,
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
conference:
end_date: 2019-01-12
location: San Diego, CA, United States
name: 'ITCS 2019: Innovations in Theoretical Computer Science'
start_date: 2019-01-10
date_created: 2019-06-06T14:12:36Z
date_published: 2019-01-10T00:00:00Z
date_updated: 2021-01-12T08:07:53Z
day: '10'
ddc:
- '000'
department:
- _id: KrPi
doi: 10.4230/LIPICS.ITCS.2019.60
ec_funded: 1
file:
- access_level: open_access
checksum: f0ae1bb161431d9db3dea5ace082bfb5
content_type: application/pdf
creator: dernst
date_created: 2019-06-06T14:22:04Z
date_updated: 2020-07-14T12:47:33Z
file_id: '6529'
file_name: 2019_LIPIcs_Pietrzak.pdf
file_size: 558770
relation: main_file
file_date_updated: 2020-07-14T12:47:33Z
has_accepted_license: '1'
intvolume: ' 124'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2018/627
month: '01'
oa: 1
oa_version: Published Version
project:
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication: 10th Innovations in Theoretical Computer Science Conference
publication_identifier:
isbn:
- 978-3-95977-095-8
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: 1
status: public
title: Simple verifiable delay functions
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: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 124
year: '2019'
...