---
_id: '303'
abstract:
- lang: eng
text: The theory of tropical series, that we develop here, firstly appeared in the
study of the growth of pluriharmonic functions. Motivated by waves in sandpile
models we introduce a dynamic on the set of tropical series, and it is experimentally
observed that this dynamic obeys a power law. So, this paper serves as a compilation
of results we need for other articles and also introduces several objects interesting
by themselves.
acknowledgement: The first author, Nikita Kalinin, is funded by SNCF PostDoc.Mobility
grant 168647. Support from the Basic Research Program of the National Research University
Higher School of Economics is gratefully acknowledged. The second author, Mikhail
Shkolnikov, is supported in part by the grant 159240 of the Swiss National Science
Foundation as well as by the National Center of Competence in Research SwissMAP
of the Swiss National Science Foundation.
article_processing_charge: No
author:
- first_name: Nikita
full_name: Kalinin, Nikita
last_name: Kalinin
- first_name: Mikhail
full_name: Shkolnikov, Mikhail
id: 35084A62-F248-11E8-B48F-1D18A9856A87
last_name: Shkolnikov
orcid: 0000-0002-4310-178X
citation:
ama: Kalinin N, Shkolnikov M. Introduction to tropical series and wave dynamic on
them. Discrete and Continuous Dynamical Systems- Series A. 2018;38(6):2827-2849.
doi:10.3934/dcds.2018120
apa: Kalinin, N., & Shkolnikov, M. (2018). Introduction to tropical series and
wave dynamic on them. Discrete and Continuous Dynamical Systems- Series A.
AIMS. https://doi.org/10.3934/dcds.2018120
chicago: Kalinin, Nikita, and Mikhail Shkolnikov. “Introduction to Tropical Series
and Wave Dynamic on Them.” Discrete and Continuous Dynamical Systems- Series
A. AIMS, 2018. https://doi.org/10.3934/dcds.2018120.
ieee: N. Kalinin and M. Shkolnikov, “Introduction to tropical series and wave dynamic
on them,” Discrete and Continuous Dynamical Systems- Series A, vol. 38,
no. 6. AIMS, pp. 2827–2849, 2018.
ista: Kalinin N, Shkolnikov M. 2018. Introduction to tropical series and wave dynamic
on them. Discrete and Continuous Dynamical Systems- Series A. 38(6), 2827–2849.
mla: Kalinin, Nikita, and Mikhail Shkolnikov. “Introduction to Tropical Series and
Wave Dynamic on Them.” Discrete and Continuous Dynamical Systems- Series A,
vol. 38, no. 6, AIMS, 2018, pp. 2827–49, doi:10.3934/dcds.2018120.
short: N. Kalinin, M. Shkolnikov, Discrete and Continuous Dynamical Systems- Series
A 38 (2018) 2827–2849.
date_created: 2018-12-11T11:45:43Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2023-09-12T07:45:37Z
day: '01'
department:
- _id: TaHa
doi: 10.3934/dcds.2018120
external_id:
arxiv:
- '1706.03062'
isi:
- '000438818400007'
intvolume: ' 38'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1706.03062
month: '06'
oa: 1
oa_version: Submitted Version
page: 2827 - 2849
publication: Discrete and Continuous Dynamical Systems- Series A
publication_status: published
publisher: AIMS
publist_id: '7576'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Introduction to tropical series and wave dynamic on them
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 38
year: '2018'
...
---
_id: '282'
abstract:
- lang: eng
text: Adaptive introgression is common in nature and can be driven by selection
acting on multiple, linked genes. We explore the effects of polygenic selection
on introgression under the infinitesimal model with linkage. This model assumes
that the introgressing block has an effectively infinite number of genes, each
with an infinitesimal effect on the trait under selection. The block is assumed
to introgress under directional selection within a native population that is genetically
homogeneous. We use individual-based simulations and a branching process approximation
to compute various statistics of the introgressing block, and explore how these
depend on parameters such as the map length and initial trait value associated
with the introgressing block, the genetic variability along the block, and the
strength of selection. Our results show that the introgression dynamics of a block
under infinitesimal selection is qualitatively different from the dynamics of
neutral introgression. We also find that in the long run, surviving descendant
blocks are likely to have intermediate lengths, and clarify how the length is
shaped by the interplay between linkage and infinitesimal selection. Our results
suggest that it may be difficult to distinguish introgression of single loci from
that of genomic blocks with multiple, tightly linked and weakly selected loci.
article_processing_charge: No
author:
- first_name: Himani
full_name: Sachdeva, Himani
id: 42377A0A-F248-11E8-B48F-1D18A9856A87
last_name: Sachdeva
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: Sachdeva H, Barton NH. Introgression of a block of genome under infinitesimal
selection. Genetics. 2018;209(4):1279-1303. doi:10.1534/genetics.118.301018
apa: Sachdeva, H., & Barton, N. H. (2018). Introgression of a block of genome
under infinitesimal selection. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.118.301018
chicago: Sachdeva, Himani, and Nicholas H Barton. “Introgression of a Block of Genome
under Infinitesimal Selection.” Genetics. Genetics Society of America,
2018. https://doi.org/10.1534/genetics.118.301018.
ieee: H. Sachdeva and N. H. Barton, “Introgression of a block of genome under infinitesimal
selection,” Genetics, vol. 209, no. 4. Genetics Society of America, pp.
1279–1303, 2018.
ista: Sachdeva H, Barton NH. 2018. Introgression of a block of genome under infinitesimal
selection. Genetics. 209(4), 1279–1303.
mla: Sachdeva, Himani, and Nicholas H. Barton. “Introgression of a Block of Genome
under Infinitesimal Selection.” Genetics, vol. 209, no. 4, Genetics Society
of America, 2018, pp. 1279–303, doi:10.1534/genetics.118.301018.
short: H. Sachdeva, N.H. Barton, Genetics 209 (2018) 1279–1303.
date_created: 2018-12-11T11:45:36Z
date_published: 2018-08-01T00:00:00Z
date_updated: 2023-09-13T08:22:32Z
day: '01'
department:
- _id: NiBa
doi: 10.1534/genetics.118.301018
external_id:
isi:
- '000440014100020'
intvolume: ' 209'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.biorxiv.org/content/early/2017/11/30/227082
month: '08'
oa: 1
oa_version: Submitted Version
page: 1279 - 1303
publication: Genetics
publication_status: published
publisher: Genetics Society of America
publist_id: '7617'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Introgression of a block of genome under infinitesimal selection
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 209
year: '2018'
...
---
_id: '108'
abstract:
- lang: eng
text: Universal hashing found a lot of applications in computer science. In cryptography
the most important fact about universal families is the so called Leftover Hash
Lemma, proved by Impagliazzo, Levin and Luby. In the language of modern cryptography
it states that almost universal families are good extractors. In this work we
provide a somewhat surprising characterization in the opposite direction. Namely,
every extractor with sufficiently good parameters yields a universal family on
a noticeable fraction of its inputs. Our proof technique is based on tools from
extremal graph theory applied to the \'collision graph\' induced by the extractor,
and may be of independent interest. We discuss possible applications to the theory
of randomness extractors and non-malleable codes.
alternative_title:
- ISIT Proceedings
article_processing_charge: No
author:
- first_name: Marciej
full_name: Obremski, Marciej
last_name: Obremski
- first_name: Maciej
full_name: Skorski, Maciej
id: EC09FA6A-02D0-11E9-8223-86B7C91467DD
last_name: Skorski
citation:
ama: 'Obremski M, Skórski M. Inverted leftover hash lemma. In: Vol 2018. IEEE; 2018.
doi:10.1109/ISIT.2018.8437654'
apa: 'Obremski, M., & Skórski, M. (2018). Inverted leftover hash lemma (Vol.
2018). Presented at the ISIT: International Symposium on Information Theory, Vail,
CO, USA: IEEE. https://doi.org/10.1109/ISIT.2018.8437654'
chicago: Obremski, Marciej, and Maciej Skórski. “Inverted Leftover Hash Lemma,”
Vol. 2018. IEEE, 2018. https://doi.org/10.1109/ISIT.2018.8437654.
ieee: 'M. Obremski and M. Skórski, “Inverted leftover hash lemma,” presented at
the ISIT: International Symposium on Information Theory, Vail, CO, USA, 2018,
vol. 2018.'
ista: 'Obremski M, Skórski M. 2018. Inverted leftover hash lemma. ISIT: International
Symposium on Information Theory, ISIT Proceedings, vol. 2018.'
mla: Obremski, Marciej, and Maciej Skórski. Inverted Leftover Hash Lemma.
Vol. 2018, IEEE, 2018, doi:10.1109/ISIT.2018.8437654.
short: M. Obremski, M. Skórski, in:, IEEE, 2018.
conference:
end_date: 2018-06-22
location: Vail, CO, USA
name: 'ISIT: International Symposium on Information Theory'
start_date: '2018-06-17 '
date_created: 2018-12-11T11:44:40Z
date_published: 2018-08-16T00:00:00Z
date_updated: 2023-09-13T08:23:18Z
day: '16'
department:
- _id: KrPi
doi: 10.1109/ISIT.2018.8437654
external_id:
isi:
- '000448139300368'
intvolume: ' 2018'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2017/507
month: '08'
oa: 1
oa_version: Submitted Version
publication_status: published
publisher: IEEE
publist_id: '7946'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Inverted leftover hash lemma
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 2018
year: '2018'
...
---
_id: '160'
abstract:
- lang: eng
text: We present layered concurrent programs, a compact and expressive notation
for specifying refinement proofs of concurrent programs. A layered concurrent
program specifies a sequence of connected concurrent programs, from most concrete
to most abstract, such that common parts of different programs are written exactly
once. These programs are expressed in the ordinary syntax of imperative concurrent
programs using gated atomic actions, sequencing, choice, and (recursive) procedure
calls. Each concurrent program is automatically extracted from the layered program.
We reduce refinement to the safety of a sequence of concurrent checker programs,
one each to justify the connection between every two consecutive concurrent programs.
These checker programs are also automatically extracted from the layered program.
Layered concurrent programs have been implemented in the CIVL verifier which has
been successfully used for the verification of several complex concurrent programs.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Bernhard
full_name: Kragl, Bernhard
id: 320FC952-F248-11E8-B48F-1D18A9856A87
last_name: Kragl
orcid: 0000-0001-7745-9117
- first_name: Shaz
full_name: Qadeer, Shaz
last_name: Qadeer
citation:
ama: 'Kragl B, Qadeer S. Layered Concurrent Programs. In: Vol 10981. Springer; 2018:79-102.
doi:10.1007/978-3-319-96145-3_5'
apa: 'Kragl, B., & Qadeer, S. (2018). Layered Concurrent Programs (Vol. 10981,
pp. 79–102). Presented at the CAV: Computer Aided Verification, Oxford, UK: Springer.
https://doi.org/10.1007/978-3-319-96145-3_5'
chicago: Kragl, Bernhard, and Shaz Qadeer. “Layered Concurrent Programs,” 10981:79–102.
Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_5.
ieee: 'B. Kragl and S. Qadeer, “Layered Concurrent Programs,” presented at the CAV:
Computer Aided Verification, Oxford, UK, 2018, vol. 10981, pp. 79–102.'
ista: 'Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided
Verification, LNCS, vol. 10981, 79–102.'
mla: Kragl, Bernhard, and Shaz Qadeer. Layered Concurrent Programs. Vol.
10981, Springer, 2018, pp. 79–102, doi:10.1007/978-3-319-96145-3_5.
short: B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
conference:
end_date: 2018-07-17
location: Oxford, UK
name: 'CAV: Computer Aided Verification'
start_date: 2018-07-14
date_created: 2018-12-11T11:44:57Z
date_published: 2018-07-18T00:00:00Z
date_updated: 2023-09-13T08:45:09Z
day: '18'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-319-96145-3_5
external_id:
isi:
- '000491481600005'
file:
- access_level: open_access
checksum: c64fff560fe5a7532ec10626ad1c215e
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T12:52:12Z
date_updated: 2020-07-14T12:45:04Z
file_id: '5705'
file_name: 2018_LNCS_Kragl.pdf
file_size: 1603844
relation: main_file
file_date_updated: 2020-07-14T12:45:04Z
has_accepted_license: '1'
intvolume: ' 10981'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 79 - 102
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication_status: published
publisher: Springer
publist_id: '7761'
quality_controlled: '1'
related_material:
record:
- id: '8332'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Layered Concurrent Programs
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10981
year: '2018'
...
---
_id: '82'
abstract:
- lang: eng
text: In experimental cultures, when bacteria are mixed with lytic (virulent) bacteriophage,
bacterial cells resistant to the phage commonly emerge and become the dominant
population of bacteria. Following the ascent of resistant mutants, the densities
of bacteria in these simple communities become limited by resources rather than
the phage. Despite the evolution of resistant hosts, upon which the phage cannot
replicate, the lytic phage population is most commonly maintained in an apparently
stable state with the resistant bacteria. Several mechanisms have been put forward
to account for this result. Here we report the results of population dynamic/evolution
experiments with a virulent mutant of phage Lambda, λVIR, and Escherichia coli
in serial transfer cultures. We show that, following the ascent of λVIR-resistant
bacteria, λVIRis maintained in the majority of cases in maltose-limited minimal
media and in all cases in nutrient-rich broth. Using mathematical models and experiments,
we show that the dominant mechanism responsible for maintenance of λVIRin these
resource-limited populations dominated by resistant E. coli is a high rate of
either phenotypic or genetic transition from resistance to susceptibility—a hitherto
undemonstrated mechanism we term "leaky resistance." We discuss the
implications of leaky resistance to our understanding of the conditions for the
maintenance of phage in populations of bacteria—their “existence conditions.”.
article_number: '2005971'
article_processing_charge: Yes
author:
- first_name: Waqas
full_name: Chaudhry, Waqas
last_name: Chaudhry
- first_name: Maros
full_name: Pleska, Maros
id: 4569785E-F248-11E8-B48F-1D18A9856A87
last_name: Pleska
orcid: 0000-0001-7460-7479
- first_name: Nilang
full_name: Shah, Nilang
last_name: Shah
- first_name: Howard
full_name: Weiss, Howard
last_name: Weiss
- first_name: Ingrid
full_name: Mccall, Ingrid
last_name: Mccall
- first_name: Justin
full_name: Meyer, Justin
last_name: Meyer
- first_name: Animesh
full_name: Gupta, Animesh
last_name: Gupta
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
- first_name: Bruce
full_name: Levin, Bruce
last_name: Levin
citation:
ama: Chaudhry W, Pleska M, Shah N, et al. Leaky resistance and the conditions for
the existence of lytic bacteriophage. PLoS Biology. 2018;16(8). doi:10.1371/journal.pbio.2005971
apa: Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J., … Levin,
B. (2018). Leaky resistance and the conditions for the existence of lytic bacteriophage.
PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005971
chicago: Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall,
Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Leaky Resistance
and the Conditions for the Existence of Lytic Bacteriophage.” PLoS Biology.
Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005971.
ieee: W. Chaudhry et al., “Leaky resistance and the conditions for the existence
of lytic bacteriophage,” PLoS Biology, vol. 16, no. 8. Public Library of
Science, 2018.
ista: Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC,
Levin B. 2018. Leaky resistance and the conditions for the existence of lytic
bacteriophage. PLoS Biology. 16(8), 2005971.
mla: Chaudhry, Waqas, et al. “Leaky Resistance and the Conditions for the Existence
of Lytic Bacteriophage.” PLoS Biology, vol. 16, no. 8, 2005971, Public
Library of Science, 2018, doi:10.1371/journal.pbio.2005971.
short: W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta,
C.C. Guet, B. Levin, PLoS Biology 16 (2018).
date_created: 2018-12-11T11:44:32Z
date_published: 2018-08-16T00:00:00Z
date_updated: 2023-09-13T08:45:41Z
day: '16'
ddc:
- '570'
department:
- _id: CaGu
doi: 10.1371/journal.pbio.2005971
external_id:
isi:
- '000443383300024'
file:
- access_level: open_access
checksum: 527076f78265cd4ea192cd1569851587
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T12:55:31Z
date_updated: 2020-07-14T12:48:10Z
file_id: '5706'
file_name: 2018_Plos_Chaudhry.pdf
file_size: 4007095
relation: main_file
file_date_updated: 2020-07-14T12:48:10Z
has_accepted_license: '1'
intvolume: ' 16'
isi: 1
issue: '8'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: PLoS Biology
publication_status: published
publisher: Public Library of Science
publist_id: '7972'
quality_controlled: '1'
related_material:
record:
- id: '9810'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Leaky resistance and the conditions for the existence of lytic bacteriophage
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 16
year: '2018'
...
---
_id: '4'
abstract:
- lang: eng
text: We present a data-driven technique to instantly predict how fluid flows around
various three-dimensional objects. Such simulation is useful for computational
fabrication and engineering, but is usually computationally expensive since it
requires solving the Navier-Stokes equation for many time steps. To accelerate
the process, we propose a machine learning framework which predicts aerodynamic
forces and velocity and pressure fields given a threedimensional shape input.
Handling detailed free-form three-dimensional shapes in a data-driven framework
is challenging because machine learning approaches usually require a consistent
parametrization of input and output. We present a novel PolyCube maps-based parametrization
that can be computed for three-dimensional shapes at interactive rates. This allows
us to efficiently learn the nonlinear response of the flow using a Gaussian process
regression. We demonstrate the effectiveness of our approach for the interactive
design and optimization of a car body.
article_number: '89'
article_processing_charge: No
author:
- first_name: Nobuyuki
full_name: Umetani, Nobuyuki
last_name: Umetani
- first_name: Bernd
full_name: Bickel, Bernd
id: 49876194-F248-11E8-B48F-1D18A9856A87
last_name: Bickel
orcid: 0000-0001-6511-9385
citation:
ama: Umetani N, Bickel B. Learning three-dimensional flow for interactive aerodynamic
design. ACM Trans Graph. 2018;37(4). doi:10.1145/3197517.3201325
apa: Umetani, N., & Bickel, B. (2018). Learning three-dimensional flow for interactive
aerodynamic design. ACM Trans. Graph. ACM. https://doi.org/10.1145/3197517.3201325
chicago: Umetani, Nobuyuki, and Bernd Bickel. “Learning Three-Dimensional Flow for
Interactive Aerodynamic Design.” ACM Trans. Graph. ACM, 2018. https://doi.org/10.1145/3197517.3201325.
ieee: N. Umetani and B. Bickel, “Learning three-dimensional flow for interactive
aerodynamic design,” ACM Trans. Graph., vol. 37, no. 4. ACM, 2018.
ista: Umetani N, Bickel B. 2018. Learning three-dimensional flow for interactive
aerodynamic design. ACM Trans. Graph. 37(4), 89.
mla: Umetani, Nobuyuki, and Bernd Bickel. “Learning Three-Dimensional Flow for Interactive
Aerodynamic Design.” ACM Trans. Graph., vol. 37, no. 4, 89, ACM, 2018,
doi:10.1145/3197517.3201325.
short: N. Umetani, B. Bickel, ACM Trans. Graph. 37 (2018).
date_created: 2018-12-11T11:44:06Z
date_published: 2018-08-04T00:00:00Z
date_updated: 2023-09-13T08:46:15Z
day: '04'
ddc:
- '003'
- '004'
department:
- _id: BeBi
doi: 10.1145/3197517.3201325
ec_funded: 1
external_id:
isi:
- '000448185000050'
file:
- access_level: open_access
checksum: 7a2243668f215821bc6aecad0320079a
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:28Z
date_updated: 2020-07-14T12:46:22Z
file_id: '5216'
file_name: IST-2018-1049-v1+1_2018_sigg_Learning3DAerodynamics.pdf
file_size: 22803163
relation: main_file
file_date_updated: 2020-07-14T12:46:22Z
has_accepted_license: '1'
intvolume: ' 37'
isi: 1
issue: '4'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
project:
- _id: 24F9549A-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '715767'
name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and
Modeling'
publication: ACM Trans. Graph.
publication_status: published
publisher: ACM
publist_id: '8053'
pubrep_id: '1049'
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/new-interactive-machine-learning-tool-makes-car-designs-more-aerodynamic/
scopus_import: '1'
status: public
title: Learning three-dimensional flow for interactive aerodynamic design
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 37
year: '2018'
...
---
_id: '566'
abstract:
- lang: eng
text: "We consider large random matrices X with centered, independent entries which
have comparable but not necessarily identical variances. Girko's circular law
asserts that the spectrum is supported in a disk and in case of identical variances,
the limiting density is uniform. In this special case, the local circular law
by Bourgade et. al. [11,12] shows that the empirical density converges even locally
on scales slightly above the typical eigenvalue spacing. In the general case,
the limiting density is typically inhomogeneous and it is obtained via solving
a system of deterministic equations. Our main result is the local inhomogeneous
circular law in the bulk spectrum on the optimal scale for a general variance
profile of the entries of X. \r\n\r\n"
article_processing_charge: No
article_type: original
author:
- first_name: Johannes
full_name: Alt, Johannes
id: 36D3D8B6-F248-11E8-B48F-1D18A9856A87
last_name: Alt
- 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: Torben H
full_name: Krüger, Torben H
id: 3020C786-F248-11E8-B48F-1D18A9856A87
last_name: Krüger
orcid: 0000-0002-4821-3297
citation:
ama: Alt J, Erdös L, Krüger TH. Local inhomogeneous circular law. Annals Applied
Probability . 2018;28(1):148-203. doi:10.1214/17-AAP1302
apa: Alt, J., Erdös, L., & Krüger, T. H. (2018). Local inhomogeneous circular
law. Annals Applied Probability . Institute of Mathematical Statistics.
https://doi.org/10.1214/17-AAP1302
chicago: Alt, Johannes, László Erdös, and Torben H Krüger. “Local Inhomogeneous
Circular Law.” Annals Applied Probability . Institute of Mathematical Statistics,
2018. https://doi.org/10.1214/17-AAP1302.
ieee: J. Alt, L. Erdös, and T. H. Krüger, “Local inhomogeneous circular law,” Annals
Applied Probability , vol. 28, no. 1. Institute of Mathematical Statistics,
pp. 148–203, 2018.
ista: Alt J, Erdös L, Krüger TH. 2018. Local inhomogeneous circular law. Annals
Applied Probability . 28(1), 148–203.
mla: Alt, Johannes, et al. “Local Inhomogeneous Circular Law.” Annals Applied
Probability , vol. 28, no. 1, Institute of Mathematical Statistics, 2018,
pp. 148–203, doi:10.1214/17-AAP1302.
short: J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability 28 (2018) 148–203.
date_created: 2018-12-11T11:47:13Z
date_published: 2018-03-03T00:00:00Z
date_updated: 2023-09-13T08:47:52Z
day: '03'
department:
- _id: LaEr
doi: 10.1214/17-AAP1302
ec_funded: 1
external_id:
arxiv:
- '1612.07776 '
isi:
- '000431721800005'
intvolume: ' 28'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: 'https://arxiv.org/abs/1612.07776 '
month: '03'
oa: 1
oa_version: Preprint
page: 148-203
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: 'Annals Applied Probability '
publication_status: published
publisher: Institute of Mathematical Statistics
quality_controlled: '1'
related_material:
record:
- id: '149'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Local inhomogeneous circular law
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 28
year: '2018'
...
---
_id: '106'
abstract:
- lang: eng
text: The goal of this article is to introduce the reader to the theory of intrinsic
geometry of convex surfaces. We illustrate the power of the tools by proving a
theorem on convex surfaces containing an arbitrarily long closed simple geodesic.
Let us remind ourselves that a curve in a surface is called geodesic if every
sufficiently short arc of the curve is length minimizing; if, in addition, it
has no self-intersections, we call it simple geodesic. A tetrahedron with equal
opposite edges is called isosceles. The axiomatic method of Alexandrov geometry
allows us to work with the metrics of convex surfaces directly, without approximating
it first by a smooth or polyhedral metric. Such approximations destroy the closed
geodesics on the surface; therefore it is difficult (if at all possible) to apply
approximations in the proof of our theorem. On the other hand, a proof in the
smooth or polyhedral case usually admits a translation into Alexandrov’s language;
such translation makes the result more general. In fact, our proof resembles a
translation of the proof given by Protasov. Note that the main theorem implies
in particular that a smooth convex surface does not have arbitrarily long simple
closed geodesics. However we do not know a proof of this corollary that is essentially
simpler than the one presented below.
article_processing_charge: No
author:
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
- first_name: Anton
full_name: Petrunin, Anton
last_name: Petrunin
citation:
ama: Akopyan A, Petrunin A. Long geodesics on convex surfaces. Mathematical Intelligencer.
2018;40(3):26-31. doi:10.1007/s00283-018-9795-5
apa: Akopyan, A., & Petrunin, A. (2018). Long geodesics on convex surfaces.
Mathematical Intelligencer. Springer. https://doi.org/10.1007/s00283-018-9795-5
chicago: Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.”
Mathematical Intelligencer. Springer, 2018. https://doi.org/10.1007/s00283-018-9795-5.
ieee: A. Akopyan and A. Petrunin, “Long geodesics on convex surfaces,” Mathematical
Intelligencer, vol. 40, no. 3. Springer, pp. 26–31, 2018.
ista: Akopyan A, Petrunin A. 2018. Long geodesics on convex surfaces. Mathematical
Intelligencer. 40(3), 26–31.
mla: Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.”
Mathematical Intelligencer, vol. 40, no. 3, Springer, 2018, pp. 26–31,
doi:10.1007/s00283-018-9795-5.
short: A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.
date_created: 2018-12-11T11:44:40Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2023-09-13T08:49:16Z
day: '01'
department:
- _id: HeEd
doi: 10.1007/s00283-018-9795-5
external_id:
arxiv:
- '1702.05172'
isi:
- '000444141200005'
intvolume: ' 40'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1702.05172
month: '09'
oa: 1
oa_version: Preprint
page: 26 - 31
publication: Mathematical Intelligencer
publication_status: published
publisher: Springer
publist_id: '7948'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Long geodesics on convex surfaces
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 40
year: '2018'
...
---
_id: '275'
abstract:
- lang: eng
text: Lymphatic endothelial cells (LECs) release extracellular chemokines to guide
the migration of dendritic cells. In this study, we report that LECs also release
basolateral exosome-rich endothelial vesicles (EEVs) that are secreted in greater
numbers in the presence of inflammatory cytokines and accumulate in the perivascular
stroma of small lymphatic vessels in human chronic inflammatory diseases. Proteomic
analyses of EEV fractions identified > 1,700 cargo proteins and revealed a
dominant motility-promoting protein signature. In vitro and ex vivo EEV fractions
augmented cellular protrusion formation in a CX3CL1/fractalkine-dependent fashion
and enhanced the directional migratory response of human dendritic cells along
guidance cues. We conclude that perilymphatic LEC exosomes enhance exploratory
behavior and thus promote directional migration of CX3CR1-expressing cells in
complex tissue environments.
acknowledgement: M. Brown was supported by the Cell Communication in Health and Disease
Graduate Study Program of the Austrian Science Fund and Medizinische Universität
Wien, M. Sixt by the European Research Council (ERC GA 281556) and an Austrian Science
Fund START award, K.L. Bennett by the Austrian Academy of Sciences, D.G. Jackson
and L.A. Johnson by Unit Funding (MC_UU_12010/2) and project grants from the Medical
Research Council (G1100134 and MR/L008610/1), and M. Detmar by the Schweizerischer
Nationalfonds zur Förderung der Wissenschaftlichen Forschung and Advanced European
Research Council grant LYVICAM. K. Vaahtomeri was supported by an Academy of Finland
postdoctoral research grant (287853). This project has received funding from the
European Union’s Horizon 2020 research and innovation program under grant agreement
No. 668036 (RELENT).
article_processing_charge: No
author:
- first_name: Markus
full_name: Brown, Markus
id: 3DAB9AFC-F248-11E8-B48F-1D18A9856A87
last_name: Brown
- first_name: Louise
full_name: Johnson, Louise
last_name: Johnson
- first_name: Dario
full_name: Leone, Dario
last_name: Leone
- first_name: Peter
full_name: Májek, Peter
last_name: Májek
- first_name: Kari
full_name: Vaahtomeri, Kari
id: 368EE576-F248-11E8-B48F-1D18A9856A87
last_name: Vaahtomeri
orcid: 0000-0001-7829-3518
- first_name: Daniel
full_name: Senfter, Daniel
last_name: Senfter
- first_name: Nora
full_name: Bukosza, Nora
last_name: Bukosza
- first_name: Helga
full_name: Schachner, Helga
last_name: Schachner
- first_name: Gabriele
full_name: Asfour, Gabriele
last_name: Asfour
- first_name: Brigitte
full_name: Langer, Brigitte
last_name: Langer
- first_name: Robert
full_name: Hauschild, Robert
id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87
last_name: Hauschild
orcid: 0000-0001-9843-3522
- first_name: Katja
full_name: Parapatics, Katja
last_name: Parapatics
- first_name: Young
full_name: Hong, Young
last_name: Hong
- first_name: Keiryn
full_name: Bennett, Keiryn
last_name: Bennett
- first_name: Renate
full_name: Kain, Renate
last_name: Kain
- first_name: Michael
full_name: Detmar, Michael
last_name: Detmar
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: David
full_name: Jackson, David
last_name: Jackson
- first_name: Dontscho
full_name: Kerjaschki, Dontscho
last_name: Kerjaschki
citation:
ama: Brown M, Johnson L, Leone D, et al. Lymphatic exosomes promote dendritic cell
migration along guidance cues. Journal of Cell Biology. 2018;217(6):2205-2221.
doi:10.1083/jcb.201612051
apa: Brown, M., Johnson, L., Leone, D., Májek, P., Vaahtomeri, K., Senfter, D.,
… Kerjaschki, D. (2018). Lymphatic exosomes promote dendritic cell migration along
guidance cues. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201612051
chicago: Brown, Markus, Louise Johnson, Dario Leone, Peter Májek, Kari Vaahtomeri,
Daniel Senfter, Nora Bukosza, et al. “Lymphatic Exosomes Promote Dendritic Cell
Migration along Guidance Cues.” Journal of Cell Biology. Rockefeller University
Press, 2018. https://doi.org/10.1083/jcb.201612051.
ieee: M. Brown et al., “Lymphatic exosomes promote dendritic cell migration
along guidance cues,” Journal of Cell Biology, vol. 217, no. 6. Rockefeller
University Press, pp. 2205–2221, 2018.
ista: Brown M, Johnson L, Leone D, Májek P, Vaahtomeri K, Senfter D, Bukosza N,
Schachner H, Asfour G, Langer B, Hauschild R, Parapatics K, Hong Y, Bennett K,
Kain R, Detmar M, Sixt MK, Jackson D, Kerjaschki D. 2018. Lymphatic exosomes promote
dendritic cell migration along guidance cues. Journal of Cell Biology. 217(6),
2205–2221.
mla: Brown, Markus, et al. “Lymphatic Exosomes Promote Dendritic Cell Migration
along Guidance Cues.” Journal of Cell Biology, vol. 217, no. 6, Rockefeller
University Press, 2018, pp. 2205–21, doi:10.1083/jcb.201612051.
short: M. Brown, L. Johnson, D. Leone, P. Májek, K. Vaahtomeri, D. Senfter, N. Bukosza,
H. Schachner, G. Asfour, B. Langer, R. Hauschild, K. Parapatics, Y. Hong, K. Bennett,
R. Kain, M. Detmar, M.K. Sixt, D. Jackson, D. Kerjaschki, Journal of Cell Biology
217 (2018) 2205–2221.
date_created: 2018-12-11T11:45:33Z
date_published: 2018-04-12T00:00:00Z
date_updated: 2023-09-13T08:51:29Z
day: '12'
ddc:
- '570'
department:
- _id: MiSi
- _id: Bio
doi: 10.1083/jcb.201612051
ec_funded: 1
external_id:
isi:
- '000438077800026'
pmid:
- '29650776'
file:
- access_level: open_access
checksum: 9c7eba51a35c62da8c13f98120b64df4
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T12:50:07Z
date_updated: 2020-07-14T12:45:45Z
file_id: '5704'
file_name: 2018_JournalCellBiology_Brown.pdf
file_size: 2252043
relation: main_file
file_date_updated: 2020-07-14T12:45:45Z
has_accepted_license: '1'
intvolume: ' 217'
isi: 1
issue: '6'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 2205 - 2221
pmid: 1
project:
- _id: 25A8E5EA-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Y 564-B12
name: Cytoskeletal force generation and transduction of leukocytes (FWF)
- _id: 25A603A2-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '281556'
name: Cytoskeletal force generation and force transduction of migrating leukocytes
(EU)
publication: Journal of Cell Biology
publication_status: published
publisher: Rockefeller University Press
publist_id: '7627'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Lymphatic exosomes promote dendritic cell migration along guidance cues
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 217
year: '2018'
...
---
_id: '158'
abstract:
- lang: eng
text: 'The angiosperm seed is composed of three genetically distinct tissues: the
diploid embryo that originates from the fertilized egg cell, the triploid endosperm
that is produced from the fertilized central cell, and the maternal sporophytic
integuments that develop into the seed coat1. At the onset of embryo development
in Arabidopsis thaliana, the zygote divides asymmetrically, producing a small
apical embryonic cell and a larger basal cell that connects the embryo to the
maternal tissue2. The coordinated and synchronous development of the embryo and
the surrounding integuments, and the alignment of their growth axes, suggest communication
between maternal tissues and the embryo. In contrast to animals, however, where
a network of maternal factors that direct embryo patterning have been identified3,4,
only a few maternal mutations have been described to affect embryo development
in plants5–7. Early embryo patterning in Arabidopsis requires accumulation of
the phytohormone auxin in the apical cell by directed transport from the suspensor8–10.
However, the origin of this auxin has remained obscure. Here we investigate the
source of auxin for early embryogenesis and provide evidence that the mother plant
coordinates seed development by supplying auxin to the early embryo from the integuments
of the ovule. We show that auxin response increases in ovules after fertilization,
due to upregulated auxin biosynthesis in the integuments, and this maternally
produced auxin is required for correct embryo development.'
acknowledgement: This work was further supported by the Czech Science Foundation GACR
(GA13-40637S) to J.F.;
article_processing_charge: No
author:
- first_name: Hélène
full_name: Robert, Hélène
last_name: Robert
- first_name: Chulmin
full_name: Park, Chulmin
last_name: Park
- first_name: Carla
full_name: Gutièrrez, Carla
last_name: Gutièrrez
- first_name: Barbara
full_name: Wójcikowska, Barbara
last_name: Wójcikowska
- first_name: Aleš
full_name: Pěnčík, Aleš
last_name: Pěnčík
- first_name: Ondřej
full_name: Novák, Ondřej
last_name: Novák
- first_name: Junyi
full_name: Chen, Junyi
last_name: Chen
- first_name: Wim
full_name: Grunewald, Wim
last_name: Grunewald
- first_name: Thomas
full_name: Dresselhaus, Thomas
last_name: Dresselhaus
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Thomas
full_name: Laux, Thomas
last_name: Laux
citation:
ama: Robert H, Park C, Gutièrrez C, et al. Maternal auxin supply contributes to
early embryo patterning in Arabidopsis. Nature Plants. 2018;4(8):548-553.
doi:10.1038/s41477-018-0204-z
apa: Robert, H., Park, C., Gutièrrez, C., Wójcikowska, B., Pěnčík, A., Novák, O.,
… Laux, T. (2018). Maternal auxin supply contributes to early embryo patterning
in Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/s41477-018-0204-z
chicago: Robert, Hélène, Chulmin Park, Carla Gutièrrez, Barbara Wójcikowska, Aleš
Pěnčík, Ondřej Novák, Junyi Chen, et al. “Maternal Auxin Supply Contributes to
Early Embryo Patterning in Arabidopsis.” Nature Plants. Nature Publishing
Group, 2018. https://doi.org/10.1038/s41477-018-0204-z.
ieee: H. Robert et al., “Maternal auxin supply contributes to early embryo
patterning in Arabidopsis,” Nature Plants, vol. 4, no. 8. Nature Publishing
Group, pp. 548–553, 2018.
ista: Robert H, Park C, Gutièrrez C, Wójcikowska B, Pěnčík A, Novák O, Chen J, Grunewald
W, Dresselhaus T, Friml J, Laux T. 2018. Maternal auxin supply contributes to
early embryo patterning in Arabidopsis. Nature Plants. 4(8), 548–553.
mla: Robert, Hélène, et al. “Maternal Auxin Supply Contributes to Early Embryo Patterning
in Arabidopsis.” Nature Plants, vol. 4, no. 8, Nature Publishing Group,
2018, pp. 548–53, doi:10.1038/s41477-018-0204-z.
short: H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pěnčík, O. Novák, J.
Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018)
548–553.
date_created: 2018-12-11T11:44:56Z
date_published: 2018-07-16T00:00:00Z
date_updated: 2023-09-13T08:53:28Z
day: '16'
department:
- _id: JiFr
doi: 10.1038/s41477-018-0204-z
ec_funded: 1
external_id:
isi:
- '000443861300011'
pmid:
- '30013211'
intvolume: ' 4'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pubmed/30013211
month: '07'
oa: 1
oa_version: Submitted Version
page: 548 - 553
pmid: 1
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: Nature Plants
publication_status: published
publisher: Nature Publishing Group
publist_id: '7763'
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/plant-mothers-talk-to-their-embryos-via-the-hormone-auxin/
scopus_import: '1'
status: public
title: Maternal auxin supply contributes to early embryo patterning in Arabidopsis
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 4
year: '2018'
...
---
_id: '152'
abstract:
- lang: eng
text: Complex I has an essential role in ATP production by coupling electron transfer
from NADH to quinone with translocation of protons across the inner mitochondrial
membrane. Isolated complex I deficiency is a frequent cause of mitochondrial inherited
diseases. Complex I has also been implicated in cancer, ageing, and neurodegenerative
conditions. Until recently, the understanding of complex I deficiency on the molecular
level was limited due to the lack of high-resolution structures of the enzyme.
However, due to developments in single particle cryo-electron microscopy (cryo-EM),
recent studies have reported nearly atomic resolution maps and models of mitochondrial
complex I. These structures significantly add to our understanding of complex
I mechanism and assembly. The disease-causing mutations are discussed here in
their structural context.
article_processing_charge: No
article_type: original
author:
- first_name: Karol
full_name: Fiedorczuk, Karol
id: 5BFF67CE-02D1-11E9-B11A-A5A4D7DFFFD0
last_name: Fiedorczuk
- first_name: Leonid A
full_name: Sazanov, Leonid A
id: 338D39FE-F248-11E8-B48F-1D18A9856A87
last_name: Sazanov
orcid: 0000-0002-0977-7989
citation:
ama: Fiedorczuk K, Sazanov LA. Mammalian mitochondrial complex I structure and disease
causing mutations. Trends in Cell Biology. 2018;28(10):835-867. doi:10.1016/j.tcb.2018.06.006
apa: Fiedorczuk, K., & Sazanov, L. A. (2018). Mammalian mitochondrial complex
I structure and disease causing mutations. Trends in Cell Biology. Elsevier.
https://doi.org/10.1016/j.tcb.2018.06.006
chicago: Fiedorczuk, Karol, and Leonid A Sazanov. “Mammalian Mitochondrial Complex
I Structure and Disease Causing Mutations.” Trends in Cell Biology. Elsevier,
2018. https://doi.org/10.1016/j.tcb.2018.06.006.
ieee: K. Fiedorczuk and L. A. Sazanov, “Mammalian mitochondrial complex I structure
and disease causing mutations,” Trends in Cell Biology, vol. 28, no. 10.
Elsevier, pp. 835–867, 2018.
ista: Fiedorczuk K, Sazanov LA. 2018. Mammalian mitochondrial complex I structure
and disease causing mutations. Trends in Cell Biology. 28(10), 835–867.
mla: Fiedorczuk, Karol, and Leonid A. Sazanov. “Mammalian Mitochondrial Complex
I Structure and Disease Causing Mutations.” Trends in Cell Biology, vol.
28, no. 10, Elsevier, 2018, pp. 835–67, doi:10.1016/j.tcb.2018.06.006.
short: K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 835–867.
date_created: 2018-12-11T11:44:54Z
date_published: 2018-07-26T00:00:00Z
date_updated: 2023-09-13T08:51:56Z
day: '26'
ddc:
- '572'
department:
- _id: LeSa
doi: 10.1016/j.tcb.2018.06.006
external_id:
isi:
- '000445118200007'
file:
- access_level: open_access
checksum: ef6d2b4e1fd63948539639242610bfa6
content_type: application/pdf
creator: lsazanov
date_created: 2019-11-07T12:55:20Z
date_updated: 2020-07-14T12:45:00Z
file_id: '6994'
file_name: SasanovFinalMS+EdComments_LS_allacc_withFigs.pdf
file_size: 2185385
relation: main_file
file_date_updated: 2020-07-14T12:45:00Z
has_accepted_license: '1'
intvolume: ' 28'
isi: 1
issue: '10'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 835 - 867
publication: Trends in Cell Biology
publication_status: published
publisher: Elsevier
publist_id: '7769'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mammalian mitochondrial complex I structure and disease causing mutations
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 28
year: '2018'
...
---
_id: '310'
abstract:
- lang: eng
text: A model of computation that is widely used in the formal analysis of reactive
systems is symbolic algorithms. In this model the access to the input graph is
restricted to consist of symbolic operations, which are expensive in comparison
to the standard RAM operations. We give lower bounds on the number of symbolic
operations for basic graph problems such as the computation of the strongly connected
components and of the approximate diameter as well as for fundamental problems
in model checking such as safety, liveness, and coliveness. Our lower bounds are
linear in the number of vertices of the graph, even for constant-diameter graphs.
For none of these problems lower bounds on the number of symbolic operations were
known before. The lower bounds show an interesting separation of these problems
from the reachability problem, which can be solved with O(D) symbolic operations,
where D is the diameter of the graph. Additionally we present an approximation
algorithm for the graph diameter which requires Õ(n/D) symbolic steps to achieve
a (1 +ϵ)-approximation for any constant > 0. This compares to O(n/D) symbolic
steps for the (naive) exact algorithm and O(D) symbolic steps for a 2-approximation.
Finally we also give a refined analysis of the strongly connected components algorithms
of [15], showing that it uses an optimal number of symbolic steps that is proportional
to the sum of the diameters of the strongly connected components.
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: Wolfgang
full_name: Dvorák, Wolfgang
last_name: Dvorák
- first_name: Monika H
full_name: Henzinger, Monika H
id: 540c9bbd-f2de-11ec-812d-d04a5be85630
last_name: Henzinger
orcid: 0000-0002-5008-6530
- first_name: Veronika
full_name: Loitzenbauer, Veronika
last_name: Loitzenbauer
citation:
ama: 'Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. Lower bounds for symbolic
computation on graphs: Strongly connected components, liveness, safety, and diameter.
In: ACM; 2018:2341-2356. doi:10.1137/1.9781611975031.151'
apa: 'Chatterjee, K., Dvorák, W., Henzinger, M. H., & Loitzenbauer, V. (2018).
Lower bounds for symbolic computation on graphs: Strongly connected components,
liveness, safety, and diameter (pp. 2341–2356). Presented at the SODA: Symposium
on Discrete Algorithms, New Orleans, Louisiana, United States: ACM. https://doi.org/10.1137/1.9781611975031.151'
chicago: 'Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Veronika
Loitzenbauer. “Lower Bounds for Symbolic Computation on Graphs: Strongly Connected
Components, Liveness, Safety, and Diameter,” 2341–56. ACM, 2018. https://doi.org/10.1137/1.9781611975031.151.'
ieee: 'K. Chatterjee, W. Dvorák, M. H. Henzinger, and V. Loitzenbauer, “Lower bounds
for symbolic computation on graphs: Strongly connected components, liveness, safety,
and diameter,” presented at the SODA: Symposium on Discrete Algorithms, New Orleans,
Louisiana, United States, 2018, pp. 2341–2356.'
ista: 'Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. 2018. Lower bounds
for symbolic computation on graphs: Strongly connected components, liveness, safety,
and diameter. SODA: Symposium on Discrete Algorithms, 2341–2356.'
mla: 'Chatterjee, Krishnendu, et al. Lower Bounds for Symbolic Computation on
Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. ACM,
2018, pp. 2341–56, doi:10.1137/1.9781611975031.151.'
short: K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, ACM, 2018,
pp. 2341–2356.
conference:
end_date: 2018-01-10
location: New Orleans, Louisiana, United States
name: 'SODA: Symposium on Discrete Algorithms'
start_date: 2018-01-07
date_created: 2018-12-11T11:45:45Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2023-09-13T08:50:16Z
day: '01'
department:
- _id: KrCh
doi: 10.1137/1.9781611975031.151
ec_funded: 1
external_id:
arxiv:
- '1711.09148'
isi:
- '000483921200152'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1711.09148
month: '01'
oa: 1
oa_version: Preprint
page: 2341 - 2356
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication_status: published
publisher: ACM
publist_id: '7555'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Lower bounds for symbolic computation on graphs: Strongly connected components,
liveness, safety, and diameter'
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '436'
abstract:
- lang: eng
text: There has been significant interest recently in using complex quantum systems
to create effective nonreciprocal dynamics. Proposals have been put forward for
the realization of artificial magnetic fields for photons and phonons; experimental
progress is fast making these proposals a reality. Much work has concentrated
on the use of such systems for controlling the flow of signals, e.g., to create
isolators or directional amplifiers for optical signals. In this Letter, we build
on this work but move in a different direction. We develop the theory of and discuss
a potential realization for the controllable flow of thermal noise in quantum
systems. We demonstrate theoretically that the unidirectional flow of thermal
noise is possible within quantum cascaded systems. Viewing an optomechanical platform
as a cascaded system we show here that one can ultimately control the direction
of the flow of thermal noise. By appropriately engineering the mechanical resonator,
which acts as an artificial reservoir, the flow of thermal noise can be constrained
to a desired direction, yielding a thermal rectifier. The proposed quantum thermal
noise rectifier could potentially be used to develop devices such as a thermal
modulator, a thermal router, and a thermal amplifier for nanoelectronic devices
and superconducting circuits.
article_number: '060601 '
article_processing_charge: No
author:
- first_name: Shabir
full_name: Barzanjeh, Shabir
id: 2D25E1F6-F248-11E8-B48F-1D18A9856A87
last_name: Barzanjeh
orcid: 0000-0003-0415-1423
- first_name: Matteo
full_name: Aquilina, Matteo
last_name: Aquilina
- first_name: André
full_name: Xuereb, André
last_name: Xuereb
citation:
ama: Barzanjeh S, Aquilina M, Xuereb A. Manipulating the flow of thermal noise in
quantum devices. Physical Review Letters. 2018;120(6). doi:10.1103/PhysRevLett.120.060601
apa: Barzanjeh, S., Aquilina, M., & Xuereb, A. (2018). Manipulating the flow
of thermal noise in quantum devices. Physical Review Letters. American
Physical Society. https://doi.org/10.1103/PhysRevLett.120.060601
chicago: Barzanjeh, Shabir, Matteo Aquilina, and André Xuereb. “Manipulating the
Flow of Thermal Noise in Quantum Devices.” Physical Review Letters. American
Physical Society, 2018. https://doi.org/10.1103/PhysRevLett.120.060601.
ieee: S. Barzanjeh, M. Aquilina, and A. Xuereb, “Manipulating the flow of thermal
noise in quantum devices,” Physical Review Letters, vol. 120, no. 6. American
Physical Society, 2018.
ista: Barzanjeh S, Aquilina M, Xuereb A. 2018. Manipulating the flow of thermal
noise in quantum devices. Physical Review Letters. 120(6), 060601.
mla: Barzanjeh, Shabir, et al. “Manipulating the Flow of Thermal Noise in Quantum
Devices.” Physical Review Letters, vol. 120, no. 6, 060601, American Physical
Society, 2018, doi:10.1103/PhysRevLett.120.060601.
short: S. Barzanjeh, M. Aquilina, A. Xuereb, Physical Review Letters 120 (2018).
date_created: 2018-12-11T11:46:28Z
date_published: 2018-02-07T00:00:00Z
date_updated: 2023-09-13T08:52:27Z
day: '07'
department:
- _id: JoFi
doi: 10.1103/PhysRevLett.120.060601
ec_funded: 1
external_id:
arxiv:
- '1706.09051'
isi:
- '000424382100004'
intvolume: ' 120'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1706.09051
month: '02'
oa: 1
oa_version: Preprint
project:
- _id: 257EB838-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '732894'
name: Hybrid Optomechanical Technologies
- _id: 258047B6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '707438'
name: 'Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination
with cavity Optomechanics SUPEREOM'
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '7387'
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/interference-as-a-new-method-for-cooling-quantum-devices/
scopus_import: '1'
status: public
title: Manipulating the flow of thermal noise in quantum devices
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 120
year: '2018'
...
---
_id: '5858'
abstract:
- lang: eng
text: Spatial patterns are ubiquitous on the subcellular, cellular and tissue level,
and can be studied using imaging techniques such as light and fluorescence microscopy.
Imaging data provide quantitative information about biological systems; however,
mechanisms causing spatial patterning often remain elusive. In recent years, spatio-temporal
mathematical modelling has helped to overcome this problem. Yet, outliers and
structured noise limit modelling of whole imaging data, and models often consider
spatial summary statistics. Here, we introduce an integrated data-driven modelling
approach that can cope with measurement artefacts and whole imaging data. Our
approach combines mechanistic models of the biological processes with robust statistical
models of the measurement process. The parameters of the integrated model are
calibrated using a maximum-likelihood approach. We used this integrated modelling
approach to study in vivo gradients of the chemokine (C-C motif) ligand 21 (CCL21).
CCL21 gradients guide dendritic cells and are important in the adaptive immune
response. Using artificial data, we verified that the integrated modelling approach
provides reliable parameter estimates in the presence of measurement noise and
that bias and variance of these estimates are reduced compared to conventional
approaches. The application to experimental data allowed the parametrization and
subsequent refinement of the model using additional mechanisms. Among other results,
model-based hypothesis testing predicted lymphatic vessel-dependent concentration
of heparan sulfate, the binding partner of CCL21. The selected model provided
an accurate description of the experimental data and was partially validated using
published data. Our findings demonstrate that integrated statistical modelling
of whole imaging data is computationally feasible and can provide novel biological
insights.
article_number: '20180600'
article_processing_charge: No
author:
- first_name: Sabrina
full_name: Hross, Sabrina
last_name: Hross
- first_name: Fabian J.
full_name: Theis, Fabian J.
last_name: Theis
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Jan
full_name: Hasenauer, Jan
last_name: Hasenauer
citation:
ama: Hross S, Theis FJ, Sixt MK, Hasenauer J. Mechanistic description of spatial
processes using integrative modelling of noise-corrupted imaging data. Journal
of the Royal Society Interface. 2018;15(149). doi:10.1098/rsif.2018.0600
apa: Hross, S., Theis, F. J., Sixt, M. K., & Hasenauer, J. (2018). Mechanistic
description of spatial processes using integrative modelling of noise-corrupted
imaging data. Journal of the Royal Society Interface. Royal Society Publishing.
https://doi.org/10.1098/rsif.2018.0600
chicago: Hross, Sabrina, Fabian J. Theis, Michael K Sixt, and Jan Hasenauer. “Mechanistic
Description of Spatial Processes Using Integrative Modelling of Noise-Corrupted
Imaging Data.” Journal of the Royal Society Interface. Royal Society Publishing,
2018. https://doi.org/10.1098/rsif.2018.0600.
ieee: S. Hross, F. J. Theis, M. K. Sixt, and J. Hasenauer, “Mechanistic description
of spatial processes using integrative modelling of noise-corrupted imaging data,”
Journal of the Royal Society Interface, vol. 15, no. 149. Royal Society
Publishing, 2018.
ista: Hross S, Theis FJ, Sixt MK, Hasenauer J. 2018. Mechanistic description of
spatial processes using integrative modelling of noise-corrupted imaging data.
Journal of the Royal Society Interface. 15(149), 20180600.
mla: Hross, Sabrina, et al. “Mechanistic Description of Spatial Processes Using
Integrative Modelling of Noise-Corrupted Imaging Data.” Journal of the Royal
Society Interface, vol. 15, no. 149, 20180600, Royal Society Publishing, 2018,
doi:10.1098/rsif.2018.0600.
short: S. Hross, F.J. Theis, M.K. Sixt, J. Hasenauer, Journal of the Royal Society
Interface 15 (2018).
date_created: 2019-01-20T22:59:18Z
date_published: 2018-12-05T00:00:00Z
date_updated: 2023-09-13T08:55:05Z
day: '05'
ddc:
- '570'
department:
- _id: MiSi
doi: 10.1098/rsif.2018.0600
external_id:
isi:
- '000456783800011'
file:
- access_level: open_access
checksum: 56eb4308a15b7190bff938fab1f780e8
content_type: application/pdf
creator: dernst
date_created: 2019-02-05T14:46:44Z
date_updated: 2020-07-14T12:47:13Z
file_id: '5925'
file_name: 2018_Interface_Hross.pdf
file_size: 1464288
relation: main_file
file_date_updated: 2020-07-14T12:47:13Z
has_accepted_license: '1'
intvolume: ' 15'
isi: 1
issue: '149'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
publication: Journal of the Royal Society Interface
publication_identifier:
issn:
- '17425689'
publication_status: published
publisher: Royal Society Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mechanistic description of spatial processes using integrative modelling of
noise-corrupted imaging data
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 15
year: '2018'
...
---
_id: '16'
abstract:
- lang: eng
text: We report quantitative evidence of mixing-layer elastic instability in a viscoelastic
fluid flow between two widely spaced obstacles hindering a channel flow at Re
1 and Wi 1. Two mixing layers with nonuniform shear velocity profiles are formed
in the region between the obstacles. The mixing-layer instability arises in the
vicinity of an inflection point on the shear velocity profile with a steep variation
in the elastic stress. The instability results in an intermittent appearance of
small vortices in the mixing layers and an amplification of spatiotemporal averaged
vorticity in the elastic turbulence regime. The latter is characterized through
scaling of friction factor with Wi and both pressure and velocity spectra. Furthermore,
the observations reported provide improved understanding of the stability of the
mixing layer in a viscoelastic fluid at large elasticity, i.e., Wi 1 and Re 1
and oppose the current view of suppression of vorticity solely by polymer additives.
acknowledgement: This work was partially supported by the Israel Science Foundation
(ISF; Grant No. 882/15) and the Binational USA-Israel Foundation (BSF; Grant No.
2016145).
article_number: '103303'
article_processing_charge: No
article_type: original
author:
- first_name: Atul
full_name: Varshney, Atul
id: 2A2006B2-F248-11E8-B48F-1D18A9856A87
last_name: Varshney
orcid: 0000-0002-3072-5999
- first_name: Victor
full_name: Steinberg, Victor
last_name: Steinberg
citation:
ama: Varshney A, Steinberg V. Mixing layer instability and vorticity amplification
in a creeping viscoelastic flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103303
apa: Varshney, A., & Steinberg, V. (2018). Mixing layer instability and vorticity
amplification in a creeping viscoelastic flow. Physical Review Fluids.
American Physical Society. https://doi.org/10.1103/PhysRevFluids.3.103303
chicago: Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity
Amplification in a Creeping Viscoelastic Flow.” Physical Review Fluids.
American Physical Society, 2018. https://doi.org/10.1103/PhysRevFluids.3.103303.
ieee: A. Varshney and V. Steinberg, “Mixing layer instability and vorticity amplification
in a creeping viscoelastic flow,” Physical Review Fluids, vol. 3, no. 10.
American Physical Society, 2018.
ista: Varshney A, Steinberg V. 2018. Mixing layer instability and vorticity amplification
in a creeping viscoelastic flow. Physical Review Fluids. 3(10), 103303.
mla: Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity
Amplification in a Creeping Viscoelastic Flow.” Physical Review Fluids,
vol. 3, no. 10, 103303, American Physical Society, 2018, doi:10.1103/PhysRevFluids.3.103303.
short: A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).
date_created: 2018-12-11T11:44:10Z
date_published: 2018-10-16T00:00:00Z
date_updated: 2023-09-13T08:57:05Z
day: '16'
ddc:
- '532'
department:
- _id: BjHo
doi: 10.1103/PhysRevFluids.3.103303
ec_funded: 1
external_id:
isi:
- '000447469200001'
file:
- access_level: open_access
checksum: 7fc0a2322214d1c04debef36d5bf2e8a
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:56Z
date_updated: 2020-07-14T12:45:04Z
file_id: '5043'
file_name: IST-2018-1062-v1+1_PhysRevFluids.3.103303.pdf
file_size: 1838431
relation: main_file
file_date_updated: 2020-07-14T12:45:04Z
has_accepted_license: '1'
intvolume: ' 3'
isi: 1
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Physical Review Fluids
publication_status: published
publisher: American Physical Society
publist_id: '8039'
pubrep_id: '1062'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mixing layer instability and vorticity amplification in a creeping viscoelastic
flow
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 3
year: '2018'
...
---
_id: '43'
abstract:
- lang: eng
text: 'The initial amount of pathogens required to start an infection within a susceptible
host is called the infective dose and is known to vary to a large extent between
different pathogen species. We investigate the hypothesis that the differences
in infective doses are explained by the mode of action in the underlying mechanism
of pathogenesis: Pathogens with locally acting mechanisms tend to have smaller
infective doses than pathogens with distantly acting mechanisms. While empirical
evidence tends to support the hypothesis, a formal theoretical explanation has
been lacking. We give simple analytical models to gain insight into this phenomenon
and also investigate a stochastic, spatially explicit, mechanistic within-host
model for toxin-dependent bacterial infections. The model shows that pathogens
secreting locally acting toxins have smaller infective doses than pathogens secreting
diffusive toxins, as hypothesized. While local pathogenetic mechanisms require
smaller infective doses, pathogens with distantly acting toxins tend to spread
faster and may cause more damage to the host. The proposed model can serve as
a basis for the spatially explicit analysis of various virulence factors also
in the context of other problems in infection dynamics.'
acknowledgement: J.R. and J.V.A. were also supported by the Academy of Finland Grants
1273253 and 267541.
article_processing_charge: No
author:
- first_name: Joel
full_name: Rybicki, Joel
id: 334EFD2E-F248-11E8-B48F-1D18A9856A87
last_name: Rybicki
orcid: 0000-0002-6432-6646
- first_name: Eva
full_name: Kisdi, Eva
last_name: Kisdi
- first_name: Jani
full_name: Anttila, Jani
last_name: Anttila
citation:
ama: Rybicki J, Kisdi E, Anttila J. Model of bacterial toxin-dependent pathogenesis
explains infective dose. PNAS. 2018;115(42):10690-10695. doi:10.1073/pnas.1721061115
apa: Rybicki, J., Kisdi, E., & Anttila, J. (2018). Model of bacterial toxin-dependent
pathogenesis explains infective dose. PNAS. National Academy of Sciences.
https://doi.org/10.1073/pnas.1721061115
chicago: Rybicki, Joel, Eva Kisdi, and Jani Anttila. “Model of Bacterial Toxin-Dependent
Pathogenesis Explains Infective Dose.” PNAS. National Academy of Sciences,
2018. https://doi.org/10.1073/pnas.1721061115.
ieee: J. Rybicki, E. Kisdi, and J. Anttila, “Model of bacterial toxin-dependent
pathogenesis explains infective dose,” PNAS, vol. 115, no. 42. National
Academy of Sciences, pp. 10690–10695, 2018.
ista: Rybicki J, Kisdi E, Anttila J. 2018. Model of bacterial toxin-dependent pathogenesis
explains infective dose. PNAS. 115(42), 10690–10695.
mla: Rybicki, Joel, et al. “Model of Bacterial Toxin-Dependent Pathogenesis Explains
Infective Dose.” PNAS, vol. 115, no. 42, National Academy of Sciences,
2018, pp. 10690–95, doi:10.1073/pnas.1721061115.
short: J. Rybicki, E. Kisdi, J. Anttila, PNAS 115 (2018) 10690–10695.
date_created: 2018-12-11T11:44:19Z
date_published: 2018-10-02T00:00:00Z
date_updated: 2023-09-13T08:57:38Z
day: '02'
ddc:
- '570'
- '577'
department:
- _id: DaAl
doi: 10.1073/pnas.1721061115
ec_funded: 1
external_id:
isi:
- '000447491300057'
file:
- access_level: open_access
checksum: df7ac544a587c06b75692653b9fabd18
content_type: application/pdf
creator: dernst
date_created: 2019-04-09T08:02:50Z
date_updated: 2020-07-14T12:46:26Z
file_id: '6258'
file_name: 2018_PNAS_Rybicki.pdf
file_size: 4070777
relation: main_file
file_date_updated: 2020-07-14T12:46:26Z
has_accepted_license: '1'
intvolume: ' 115'
isi: 1
issue: '42'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 10690 - 10695
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: PNAS
publication_status: published
publisher: National Academy of Sciences
publist_id: '8011'
pubrep_id: '1063'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Model of bacterial toxin-dependent pathogenesis explains infective dose
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 115
year: '2018'
...
---
_id: '13'
abstract:
- lang: eng
text: We propose a new method for fabricating digital objects through reusable silicone
molds. Molds are generated by casting liquid silicone into custom 3D printed containers
called metamolds. Metamolds automatically define the cuts that are needed to extract
the cast object from the silicone mold. The shape of metamolds is designed through
a novel segmentation technique, which takes into account both geometric and topological
constraints involved in the process of mold casting. Our technique is simple,
does not require changing the shape or topology of the input objects, and only
requires off-the- shelf materials and technologies. We successfully tested our
method on a set of challenging examples with complex shapes and rich geometric
detail. © 2018 Association for Computing Machinery.
article_number: '136'
article_processing_charge: No
author:
- first_name: Thomas
full_name: Alderighi, Thomas
last_name: Alderighi
- first_name: Luigi
full_name: Malomo, Luigi
last_name: Malomo
- first_name: Daniela
full_name: Giorgi, Daniela
last_name: Giorgi
- first_name: Nico
full_name: Pietroni, Nico
last_name: Pietroni
- first_name: Bernd
full_name: Bickel, Bernd
id: 49876194-F248-11E8-B48F-1D18A9856A87
last_name: Bickel
orcid: 0000-0001-6511-9385
- first_name: Paolo
full_name: Cignoni, Paolo
last_name: Cignoni
citation:
ama: 'Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. Metamolds:
Computational design of silicone molds. ACM Trans Graph. 2018;37(4). doi:10.1145/3197517.3201381'
apa: 'Alderighi, T., Malomo, L., Giorgi, D., Pietroni, N., Bickel, B., & Cignoni,
P. (2018). Metamolds: Computational design of silicone molds. ACM Trans. Graph.
ACM. https://doi.org/10.1145/3197517.3201381'
chicago: 'Alderighi, Thomas, Luigi Malomo, Daniela Giorgi, Nico Pietroni, Bernd
Bickel, and Paolo Cignoni. “Metamolds: Computational Design of Silicone Molds.”
ACM Trans. Graph. ACM, 2018. https://doi.org/10.1145/3197517.3201381.'
ieee: 'T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, and P. Cignoni,
“Metamolds: Computational design of silicone molds,” ACM Trans. Graph.,
vol. 37, no. 4. ACM, 2018.'
ista: 'Alderighi T, Malomo L, Giorgi D, Pietroni N, Bickel B, Cignoni P. 2018. Metamolds:
Computational design of silicone molds. ACM Trans. Graph. 37(4), 136.'
mla: 'Alderighi, Thomas, et al. “Metamolds: Computational Design of Silicone Molds.”
ACM Trans. Graph., vol. 37, no. 4, 136, ACM, 2018, doi:10.1145/3197517.3201381.'
short: T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, P. Cignoni, ACM
Trans. Graph. 37 (2018).
date_created: 2018-12-11T11:44:09Z
date_published: 2018-08-04T00:00:00Z
date_updated: 2023-09-13T08:56:07Z
day: '04'
ddc:
- '004'
department:
- _id: BeBi
doi: 10.1145/3197517.3201381
ec_funded: 1
external_id:
isi:
- '000448185000097'
file:
- access_level: open_access
checksum: 61d46273dca4de626accef1d17a0aaad
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:52Z
date_updated: 2020-07-14T12:44:43Z
file_id: '5374'
file_name: IST-2018-1038-v1+1_metamolds_authorversion.pdf
file_size: 91939066
relation: main_file
file_date_updated: 2020-07-14T12:44:43Z
has_accepted_license: '1'
intvolume: ' 37'
isi: 1
issue: '4'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
project:
- _id: 24F9549A-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '715767'
name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and
Modeling'
publication: ACM Trans. Graph.
publication_status: published
publisher: ACM
publist_id: '8043'
pubrep_id: '1038'
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/metamolds-molding-a-mold/
scopus_import: '1'
status: public
title: 'Metamolds: Computational design of silicone molds'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 37
year: '2018'
...
---
_id: '137'
abstract:
- lang: eng
text: Fluorescent sensors are an essential part of the experimental toolbox of the
life sciences, where they are used ubiquitously to visualize intra- and extracellular
signaling. In the brain, optical neurotransmitter sensors can shed light on temporal
and spatial aspects of signal transmission by directly observing, for instance,
neurotransmitter release and spread. Here we report the development and application
of the first optical sensor for the amino acid glycine, which is both an inhibitory
neurotransmitter and a co-agonist of the N-methyl-d-aspartate receptors (NMDARs)
involved in synaptic plasticity. Computational design of a glycine-specific binding
protein allowed us to produce the optical glycine FRET sensor (GlyFS), which can
be used with single and two-photon excitation fluorescence microscopy. We took
advantage of this newly developed sensor to test predictions about the uneven
spatial distribution of glycine in extracellular space and to demonstrate that
extracellular glycine levels are controlled by plasticity-inducing stimuli.
article_processing_charge: No
article_type: original
author:
- first_name: William
full_name: Zhang, William
last_name: Zhang
- first_name: Michel
full_name: Herde, Michel
last_name: Herde
- first_name: Joshua
full_name: Mitchell, Joshua
last_name: Mitchell
- first_name: Jason
full_name: Whitfield, Jason
last_name: Whitfield
- first_name: Andreas
full_name: Wulff, Andreas
last_name: Wulff
- first_name: Vanessa
full_name: Vongsouthi, Vanessa
last_name: Vongsouthi
- first_name: Inmaculada
full_name: Sanchez Romero, Inmaculada
id: 3D9C5D30-F248-11E8-B48F-1D18A9856A87
last_name: Sanchez Romero
- first_name: Polina
full_name: Gulakova, Polina
last_name: Gulakova
- first_name: Daniel
full_name: Minge, Daniel
last_name: Minge
- first_name: Björn
full_name: Breithausen, Björn
last_name: Breithausen
- first_name: Susanne
full_name: Schoch, Susanne
last_name: Schoch
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
- first_name: Colin
full_name: Jackson, Colin
last_name: Jackson
- first_name: Christian
full_name: Henneberger, Christian
last_name: Henneberger
citation:
ama: Zhang W, Herde M, Mitchell J, et al. Monitoring hippocampal glycine with the
computationally designed optical sensor GlyFS. Nature Chemical Biology.
2018;14(9):861-869. doi:10.1038/s41589-018-0108-2
apa: Zhang, W., Herde, M., Mitchell, J., Whitfield, J., Wulff, A., Vongsouthi, V.,
… Henneberger, C. (2018). Monitoring hippocampal glycine with the computationally
designed optical sensor GlyFS. Nature Chemical Biology. Nature Publishing
Group. https://doi.org/10.1038/s41589-018-0108-2
chicago: Zhang, William, Michel Herde, Joshua Mitchell, Jason Whitfield, Andreas
Wulff, Vanessa Vongsouthi, Inmaculada Sanchez-Romero, et al. “Monitoring Hippocampal
Glycine with the Computationally Designed Optical Sensor GlyFS.” Nature Chemical
Biology. Nature Publishing Group, 2018. https://doi.org/10.1038/s41589-018-0108-2.
ieee: W. Zhang et al., “Monitoring hippocampal glycine with the computationally
designed optical sensor GlyFS,” Nature Chemical Biology, vol. 14, no. 9.
Nature Publishing Group, pp. 861–869, 2018.
ista: Zhang W, Herde M, Mitchell J, Whitfield J, Wulff A, Vongsouthi V, Sanchez-Romero
I, Gulakova P, Minge D, Breithausen B, Schoch S, Janovjak HL, Jackson C, Henneberger
C. 2018. Monitoring hippocampal glycine with the computationally designed optical
sensor GlyFS. Nature Chemical Biology. 14(9), 861–869.
mla: Zhang, William, et al. “Monitoring Hippocampal Glycine with the Computationally
Designed Optical Sensor GlyFS.” Nature Chemical Biology, vol. 14, no. 9,
Nature Publishing Group, 2018, pp. 861–69, doi:10.1038/s41589-018-0108-2.
short: W. Zhang, M. Herde, J. Mitchell, J. Whitfield, A. Wulff, V. Vongsouthi, I.
Sanchez-Romero, P. Gulakova, D. Minge, B. Breithausen, S. Schoch, H.L. Janovjak,
C. Jackson, C. Henneberger, Nature Chemical Biology 14 (2018) 861–869.
date_created: 2018-12-11T11:44:49Z
date_published: 2018-07-30T00:00:00Z
date_updated: 2023-09-13T08:58:05Z
day: '30'
department:
- _id: HaJa
doi: 10.1038/s41589-018-0108-2
external_id:
isi:
- '000442174500013'
pmid:
- '30061718 '
intvolume: ' 14'
isi: 1
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pubmed/30061718
month: '07'
oa: 1
oa_version: Submitted Version
page: 861 - 869
pmid: 1
project:
- _id: 255BFFFA-B435-11E9-9278-68D0E5697425
grant_number: RGY0084/2012
name: In situ real-time imaging of neurotransmitter signaling using designer optical
sensors (HFSP Young Investigator)
publication: Nature Chemical Biology
publication_status: published
publisher: Nature Publishing Group
publist_id: '7786'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Monitoring hippocampal glycine with the computationally designed optical sensor
GlyFS
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 14
year: '2018'
...
---
_id: '276'
abstract:
- lang: eng
text: Directed migration of cells relies on their ability to sense directional guidance
cues and to interact with pericellular structures in order to transduce contractile
cytoskeletal- into mechanical forces. These biomechanical processes depend highly
on microenvironmental factors such as exposure to 2D surfaces or 3D matrices.
In vivo, the majority of cells are exposed to 3D environments. Data on 3D cell
migration are mostly derived from intravital microscopy or collagen-based in vitro
assays. Both approaches offer only limited controlla-bility of experimental conditions.
Here, we developed an automated microfluidic system that allows positioning of
cells in 3D microenvironments containing highly controlled diffusion-based chemokine
gradients. Tracking migration in such gradients was feasible in real time at the
single cell level. Moreover, the setup allowed on-chip immunocytochemistry and
thus linking of functional with phenotypical properties in individual cells. Spatially
defined retrieval of cells from the device allows down-stream off-chip analysis.
Using dendritic cells as a model, our setup specifically allowed us for the first
time to quantitate key migration characteristics of cells exposed to identical
gradients of the chemokine CCL19 yet placed on 2D vs in 3D environments. Migration
properties between 2D and 3D migration were distinct. Morphological features of
cells migrating in an in vitro 3D environment were similar to those of cells migrating
in animal tissues, but different from cells migrating on a surface. Our system
thus offers a highly controllable in vitro-mimic of a 3D environment that cells
traffic in vivo.
acknowledgement: This work was supported by the Swiss National Science Foundation
(MD-PhD fellowships, 323530_164221 to C.F.; and 323630_151483 to A.J.; grant PZ00P3_144863
to M.R, grant 31003A_156431 to T.S.; PZ00P3_148000 to C.T.B.; PZ00P3_154733 to M.M.),
a Novartis “FreeNovation” grant to M.M. and T.S. and an EMBO long-term fellowship
(ALTF 1396-2014) co-funded by the European Commission (LTFCOFUND2013, GA-2013-609409)
to J.R.. M.R. was supported by the Gebert Rüf Foundation (GRS 058/14). The funders
had no role in study design, data collection and analysis, decision to publish,
or preparation of the manuscript.
article_number: e0198330
article_processing_charge: No
article_type: original
author:
- first_name: Corina
full_name: Frick, Corina
last_name: Frick
- first_name: Philip
full_name: Dettinger, Philip
last_name: Dettinger
- first_name: Jörg
full_name: Renkawitz, Jörg
id: 3F0587C8-F248-11E8-B48F-1D18A9856A87
last_name: Renkawitz
orcid: 0000-0003-2856-3369
- first_name: Annaïse
full_name: Jauch, Annaïse
last_name: Jauch
- first_name: Christoph
full_name: Berger, Christoph
last_name: Berger
- first_name: Mike
full_name: Recher, Mike
last_name: Recher
- first_name: Timm
full_name: Schroeder, Timm
last_name: Schroeder
- first_name: Matthias
full_name: Mehling, Matthias
last_name: Mehling
citation:
ama: Frick C, Dettinger P, Renkawitz J, et al. Nano-scale microfluidics to study
3D chemotaxis at the single cell level. PLoS One. 2018;13(6). doi:10.1371/journal.pone.0198330
apa: Frick, C., Dettinger, P., Renkawitz, J., Jauch, A., Berger, C., Recher, M.,
… Mehling, M. (2018). Nano-scale microfluidics to study 3D chemotaxis at the single
cell level. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0198330
chicago: Frick, Corina, Philip Dettinger, Jörg Renkawitz, Annaïse Jauch, Christoph
Berger, Mike Recher, Timm Schroeder, and Matthias Mehling. “Nano-Scale Microfluidics
to Study 3D Chemotaxis at the Single Cell Level.” PLoS One. Public Library
of Science, 2018. https://doi.org/10.1371/journal.pone.0198330.
ieee: C. Frick et al., “Nano-scale microfluidics to study 3D chemotaxis at
the single cell level,” PLoS One, vol. 13, no. 6. Public Library of Science,
2018.
ista: Frick C, Dettinger P, Renkawitz J, Jauch A, Berger C, Recher M, Schroeder
T, Mehling M. 2018. Nano-scale microfluidics to study 3D chemotaxis at the single
cell level. PLoS One. 13(6), e0198330.
mla: Frick, Corina, et al. “Nano-Scale Microfluidics to Study 3D Chemotaxis at the
Single Cell Level.” PLoS One, vol. 13, no. 6, e0198330, Public Library
of Science, 2018, doi:10.1371/journal.pone.0198330.
short: C. Frick, P. Dettinger, J. Renkawitz, A. Jauch, C. Berger, M. Recher, T.
Schroeder, M. Mehling, PLoS One 13 (2018).
date_created: 2018-12-11T11:45:34Z
date_published: 2018-06-07T00:00:00Z
date_updated: 2023-09-13T09:00:15Z
day: '07'
ddc:
- '570'
department:
- _id: MiSi
doi: 10.1371/journal.pone.0198330
external_id:
isi:
- '000434384900031'
file:
- access_level: open_access
checksum: 95fc5dc3938b3ad3b7697d10c83cc143
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T14:10:32Z
date_updated: 2020-07-14T12:45:45Z
file_id: '5709'
file_name: 2018_Plos_Frick.pdf
file_size: 7682167
relation: main_file
file_date_updated: 2020-07-14T12:45:45Z
has_accepted_license: '1'
intvolume: ' 13'
isi: 1
issue: '6'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
publication: PLoS One
publication_status: published
publisher: Public Library of Science
publist_id: '7626'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nano-scale microfluidics to study 3D chemotaxis at the single cell level
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 13
year: '2018'
...
---
_id: '283'
abstract:
- lang: eng
text: Light represents the principal signal driving circadian clock entrainment.
However, how light influences the evolution of the clock remains poorly understood.
The cavefish Phreatichthys andruzzii represents a fascinating model to explore
how evolution under extreme aphotic conditions shapes the circadian clock, since
in this species the clock is unresponsive to light. We have previously demonstrated
that loss-of-function mutations targeting non-visual opsins contribute in part
to this blind clock phenotype. Here, we have compared orthologs of two core clock
genes that play a key role in photic entrainment, cry1a and per2, in both zebrafish
and P. andruzzii. We encountered aberrantly spliced variants for the P. andruzzii
per2 transcript. The most abundant transcript encodes a truncated protein lacking
the C-terminal Cry binding domain and incorporating an intronic, transposon-derived
coding sequence. We demonstrate that the transposon insertion leads to a predominantly
cytoplasmic localization of the cavefish Per2 protein in contrast to the zebrafish
ortholog which is distributed in both the nucleus and cytoplasm. Thus, it seems
that during evolution in complete darkness, the photic entrainment pathway of
the circadian clock has been subject to mutation at multiple levels, extending
from opsin photoreceptors to nuclear effectors.
article_number: '8754'
article_processing_charge: No
author:
- first_name: Rosa Maria
full_name: Ceinos, Rosa Maria
last_name: Ceinos
- first_name: Elena
full_name: Frigato, Elena
last_name: Frigato
- first_name: Cristina
full_name: Pagano, Cristina
last_name: Pagano
- first_name: Nadine
full_name: Frohlich, Nadine
last_name: Frohlich
- first_name: Pietro
full_name: Negrini, Pietro
last_name: Negrini
- first_name: Nicola
full_name: Cavallari, Nicola
id: 457160E6-F248-11E8-B48F-1D18A9856A87
last_name: Cavallari
- first_name: Daniela
full_name: Vallone, Daniela
last_name: Vallone
- first_name: Silvia
full_name: Fuselli, Silvia
last_name: Fuselli
- first_name: Cristiano
full_name: Bertolucci, Cristiano
last_name: Bertolucci
- first_name: Nicholas S
full_name: Foulkes, Nicholas S
last_name: Foulkes
citation:
ama: Ceinos RM, Frigato E, Pagano C, et al. Mutations in blind cavefish target the
light regulated circadian clock gene period 2. Scientific Reports. 2018;8(1).
doi:10.1038/s41598-018-27080-2
apa: Ceinos, R. M., Frigato, E., Pagano, C., Frohlich, N., Negrini, P., Cavallari,
N., … Foulkes, N. S. (2018). Mutations in blind cavefish target the light regulated
circadian clock gene period 2. Scientific Reports. Nature Publishing Group.
https://doi.org/10.1038/s41598-018-27080-2
chicago: Ceinos, Rosa Maria, Elena Frigato, Cristina Pagano, Nadine Frohlich, Pietro
Negrini, Nicola Cavallari, Daniela Vallone, Silvia Fuselli, Cristiano Bertolucci,
and Nicholas S Foulkes. “Mutations in Blind Cavefish Target the Light Regulated
Circadian Clock Gene Period 2.” Scientific Reports. Nature Publishing Group,
2018. https://doi.org/10.1038/s41598-018-27080-2.
ieee: R. M. Ceinos et al., “Mutations in blind cavefish target the light
regulated circadian clock gene period 2,” Scientific Reports, vol. 8, no.
1. Nature Publishing Group, 2018.
ista: Ceinos RM, Frigato E, Pagano C, Frohlich N, Negrini P, Cavallari N, Vallone
D, Fuselli S, Bertolucci C, Foulkes NS. 2018. Mutations in blind cavefish target
the light regulated circadian clock gene period 2. Scientific Reports. 8(1), 8754.
mla: Ceinos, Rosa Maria, et al. “Mutations in Blind Cavefish Target the Light Regulated
Circadian Clock Gene Period 2.” Scientific Reports, vol. 8, no. 1, 8754,
Nature Publishing Group, 2018, doi:10.1038/s41598-018-27080-2.
short: R.M. Ceinos, E. Frigato, C. Pagano, N. Frohlich, P. Negrini, N. Cavallari,
D. Vallone, S. Fuselli, C. Bertolucci, N.S. Foulkes, Scientific Reports 8 (2018).
date_created: 2018-12-11T11:45:36Z
date_published: 2018-06-08T00:00:00Z
date_updated: 2023-09-13T08:59:27Z
day: '08'
ddc:
- '570'
department:
- _id: EvBe
doi: 10.1038/s41598-018-27080-2
external_id:
isi:
- '000434640800008'
file:
- access_level: open_access
checksum: 9c3942d772f84f3df032ffde0ed9a8ea
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T13:04:46Z
date_updated: 2020-07-14T12:45:49Z
file_id: '5707'
file_name: 2018_ScientificReports_Ceinos.pdf
file_size: 1855324
relation: main_file
file_date_updated: 2020-07-14T12:45:49Z
has_accepted_license: '1'
intvolume: ' 8'
isi: 1
issue: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
publication: Scientific Reports
publication_status: published
publisher: Nature Publishing Group
publist_id: '7616'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mutations in blind cavefish target the light regulated circadian clock gene
period 2
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 8
year: '2018'
...