---
_id: '68'
abstract:
- lang: eng
text: The most common assumption made in statistical learning theory is the assumption
of the independent and identically distributed (i.i.d.) data. While being very
convenient mathematically, it is often very clearly violated in practice. This
disparity between the machine learning theory and applications underlies a growing
demand in the development of algorithms that learn from dependent data and theory
that can provide generalization guarantees similar to the independent situations.
This thesis is dedicated to two variants of dependencies that can arise in practice.
One is a dependence on the level of samples in a single learning task. Another
dependency type arises in the multi-task setting when the tasks are dependent
on each other even though the data for them can be i.i.d. In both cases we model
the data (samples or tasks) as stochastic processes and introduce new algorithms
for both settings that take into account and exploit the resulting dependencies.
We prove the theoretical guarantees on the performance of the introduced algorithms
under different evaluation criteria and, in addition, we compliment the theoretical
study by the empirical one, where we evaluate some of the algorithms on two real
world datasets to highlight their practical applicability.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Alexander
full_name: Zimin, Alexander
id: 37099E9C-F248-11E8-B48F-1D18A9856A87
last_name: Zimin
citation:
ama: Zimin A. Learning from dependent data. 2018. doi:10.15479/AT:ISTA:TH1048
apa: Zimin, A. (2018). Learning from dependent data. Institute of Science
and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH1048
chicago: Zimin, Alexander. “Learning from Dependent Data.” Institute of Science
and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH1048.
ieee: A. Zimin, “Learning from dependent data,” Institute of Science and Technology
Austria, 2018.
ista: Zimin A. 2018. Learning from dependent data. Institute of Science and Technology
Austria.
mla: Zimin, Alexander. Learning from Dependent Data. Institute of Science
and Technology Austria, 2018, doi:10.15479/AT:ISTA:TH1048.
short: A. Zimin, Learning from Dependent Data, Institute of Science and Technology
Austria, 2018.
date_created: 2018-12-11T11:44:27Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2023-09-07T12:29:07Z
day: '01'
ddc:
- '004'
- '519'
degree_awarded: PhD
department:
- _id: ChLa
doi: 10.15479/AT:ISTA:TH1048
ec_funded: 1
file:
- access_level: open_access
checksum: e849dd40a915e4d6c5572b51b517f098
content_type: application/pdf
creator: dernst
date_created: 2019-04-09T07:32:47Z
date_updated: 2020-07-14T12:47:40Z
file_id: '6253'
file_name: 2018_Thesis_Zimin.pdf
file_size: 1036137
relation: main_file
- access_level: closed
checksum: da092153cec55c97461bd53c45c5d139
content_type: application/zip
creator: dernst
date_created: 2019-04-09T07:32:47Z
date_updated: 2020-07-14T12:47:40Z
file_id: '6254'
file_name: 2018_Thesis_Zimin_Source.zip
file_size: 637490
relation: source_file
file_date_updated: 2020-07-14T12:47:40Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '92'
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '308036'
name: Lifelong Learning of Visual Scene Understanding
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '7986'
pubrep_id: '1048'
status: public
supervisor:
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
title: Learning from dependent data
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '83'
abstract:
- lang: eng
text: "A proof system is a protocol between a prover and a verifier over a common
input in which an honest prover convinces the verifier of the validity of true
statements. Motivated by the success of decentralized cryptocurrencies, exemplified
by Bitcoin, the focus of this thesis will be on proof systems which found applications
in some sustainable alternatives to Bitcoin, such as the Spacemint and Chia cryptocurrencies.
In particular, we focus on proofs of space and proofs of sequential work.\r\nProofs
of space (PoSpace) were suggested as more ecological, economical, and egalitarian
alternative to the energy-wasteful proof-of-work mining of Bitcoin. However, the
state-of-the-art constructions of PoSpace are based on sophisticated graph pebbling
lower bounds, and are therefore complex. Moreover, when these PoSpace are used
in cryptocurrencies like Spacemint, miners can only start mining after ensuring
that a commitment to their space is already added in a special transaction to
the blockchain. Proofs of sequential work (PoSW) are proof systems in which a
prover, upon receiving a statement x and a time parameter T, computes a proof
which convinces the verifier that T time units had passed since x was received.
Whereas Spacemint assumes synchrony to retain some interesting Bitcoin dynamics,
Chia requires PoSW with unique proofs, i.e., PoSW in which it is hard to come
up with more than one accepting proof for any true statement. In this thesis we
construct simple and practically-efficient PoSpace and PoSW. When using our PoSpace
in cryptocurrencies, miners can start mining on the fly, like in Bitcoin, and
unlike current constructions of PoSW, which either achieve efficient verification
of sequential work, or faster-than-recomputing verification of correctness of
proofs, but not both at the same time, ours achieve the best of these two worlds."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Hamza M
full_name: Abusalah, Hamza M
id: 40297222-F248-11E8-B48F-1D18A9856A87
last_name: Abusalah
citation:
ama: Abusalah HM. Proof systems for sustainable decentralized cryptocurrencies.
2018. doi:10.15479/AT:ISTA:TH_1046
apa: Abusalah, H. M. (2018). Proof systems for sustainable decentralized cryptocurrencies.
Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1046
chicago: Abusalah, Hamza M. “Proof Systems for Sustainable Decentralized Cryptocurrencies.”
Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1046.
ieee: H. M. Abusalah, “Proof systems for sustainable decentralized cryptocurrencies,”
Institute of Science and Technology Austria, 2018.
ista: Abusalah HM. 2018. Proof systems for sustainable decentralized cryptocurrencies.
Institute of Science and Technology Austria.
mla: Abusalah, Hamza M. Proof Systems for Sustainable Decentralized Cryptocurrencies.
Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:TH_1046.
short: H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies,
Institute of Science and Technology Austria, 2018.
date_created: 2018-12-11T11:44:32Z
date_published: 2018-09-05T00:00:00Z
date_updated: 2023-09-07T12:30:23Z
day: '05'
ddc:
- '004'
degree_awarded: PhD
department:
- _id: KrPi
doi: 10.15479/AT:ISTA:TH_1046
ec_funded: 1
file:
- access_level: open_access
checksum: c4b5f7d111755d1396787f41886fc674
content_type: application/pdf
creator: dernst
date_created: 2019-04-09T06:43:41Z
date_updated: 2020-07-14T12:48:11Z
file_id: '6245'
file_name: 2018_Thesis_Abusalah.pdf
file_size: 876241
relation: main_file
- access_level: closed
checksum: 0f382ac56b471c48fd907d63eb87dafe
content_type: application/x-gzip
creator: dernst
date_created: 2019-04-09T06:43:41Z
date_updated: 2020-07-14T12:48:11Z
file_id: '6246'
file_name: 2018_Thesis_Abusalah_source.tar.gz
file_size: 2029190
relation: source_file
file_date_updated: 2020-07-14T12:48:11Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '59'
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '259668'
name: Provable Security for Physical Cryptography
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '7971'
pubrep_id: '1046'
related_material:
record:
- id: '1229'
relation: part_of_dissertation
status: public
- id: '1235'
relation: part_of_dissertation
status: public
- id: '1236'
relation: part_of_dissertation
status: public
- id: '559'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
title: Proof systems for sustainable decentralized cryptocurrencies
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '197'
abstract:
- lang: eng
text: Modern computer vision systems heavily rely on statistical machine learning
models, which typically require large amounts of labeled data to be learned reliably.
Moreover, very recently computer vision research widely adopted techniques for
representation learning, which further increase the demand for labeled data. However,
for many important practical problems there is relatively small amount of labeled
data available, so it is problematic to leverage full potential of the representation
learning methods. One way to overcome this obstacle is to invest substantial resources
into producing large labelled datasets. Unfortunately, this can be prohibitively
expensive in practice. In this thesis we focus on the alternative way of tackling
the aforementioned issue. We concentrate on methods, which make use of weakly-labeled
or even unlabeled data. Specifically, the first half of the thesis is dedicated
to the semantic image segmentation task. We develop a technique, which achieves
competitive segmentation performance and only requires annotations in a form of
global image-level labels instead of dense segmentation masks. Subsequently, we
present a new methodology, which further improves segmentation performance by
leveraging tiny additional feedback from a human annotator. By using our methods
practitioners can greatly reduce the amount of data annotation effort, which is
required to learn modern image segmentation models. In the second half of the
thesis we focus on methods for learning from unlabeled visual data. We study a
family of autoregressive models for modeling structure of natural images and discuss
potential applications of these models. Moreover, we conduct in-depth study of
one of these applications, where we develop the state-of-the-art model for the
probabilistic image colorization task.
acknowledgement: I also gratefully acknowledge the support of NVIDIA Corporation with
the donation of the GPUs used for this research.
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Alexander
full_name: Kolesnikov, Alexander
id: 2D157DB6-F248-11E8-B48F-1D18A9856A87
last_name: Kolesnikov
citation:
ama: Kolesnikov A. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural
Images. 2018. doi:10.15479/AT:ISTA:th_1021
apa: Kolesnikov, A. (2018). Weakly-Supervised Segmentation and Unsupervised Modeling
of Natural Images. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1021
chicago: Kolesnikov, Alexander. “Weakly-Supervised Segmentation and Unsupervised
Modeling of Natural Images.” Institute of Science and Technology Austria, 2018.
https://doi.org/10.15479/AT:ISTA:th_1021.
ieee: A. Kolesnikov, “Weakly-Supervised Segmentation and Unsupervised Modeling of
Natural Images,” Institute of Science and Technology Austria, 2018.
ista: Kolesnikov A. 2018. Weakly-Supervised Segmentation and Unsupervised Modeling
of Natural Images. Institute of Science and Technology Austria.
mla: Kolesnikov, Alexander. Weakly-Supervised Segmentation and Unsupervised Modeling
of Natural Images. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th_1021.
short: A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of
Natural Images, Institute of Science and Technology Austria, 2018.
date_created: 2018-12-11T11:45:09Z
date_published: 2018-05-25T00:00:00Z
date_updated: 2023-09-07T12:51:46Z
day: '25'
ddc:
- '004'
degree_awarded: PhD
department:
- _id: ChLa
doi: 10.15479/AT:ISTA:th_1021
ec_funded: 1
file:
- access_level: open_access
checksum: bc678e02468d8ebc39dc7267dfb0a1c4
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:57Z
date_updated: 2020-07-14T12:45:22Z
file_id: '5113'
file_name: IST-2018-1021-v1+1_thesis-unsigned-pdfa.pdf
file_size: 12918758
relation: main_file
- access_level: closed
checksum: bc66973b086da5a043f1162dcfb1fde4
content_type: application/zip
creator: dernst
date_created: 2019-04-05T09:34:49Z
date_updated: 2020-07-14T12:45:22Z
file_id: '6225'
file_name: 2018_Thesis_Kolesnikov_source.zip
file_size: 55973760
relation: source_file
file_date_updated: 2020-07-14T12:45:22Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: '113'
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '308036'
name: Lifelong Learning of Visual Scene Understanding
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '7718'
pubrep_id: '1021'
status: public
supervisor:
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
title: Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '6774'
abstract:
- lang: eng
text: "A central problem of algebraic topology is to understand the homotopy groups
\ \U0001D70B\U0001D451(\U0001D44B) of a topological space X. For the computational
version of the problem, it is well known that there is no algorithm to decide
whether the fundamental group \U0001D70B1(\U0001D44B) of a given finite simplicial
complex X is trivial. On the other hand, there are several algorithms that, given
a finite simplicial complex X that is simply connected (i.e., with \U0001D70B1(\U0001D44B)
\ trivial), compute the higher homotopy group \U0001D70B\U0001D451(\U0001D44B)
\ for any given \U0001D451≥2 . However, these algorithms come with a caveat:
They compute the isomorphism type of \U0001D70B\U0001D451(\U0001D44B) , \U0001D451≥2
\ as an abstract finitely generated abelian group given by generators and relations,
but they work with very implicit representations of the elements of \U0001D70B\U0001D451(\U0001D44B)
. Converting elements of this abstract group into explicit geometric maps from
the d-dimensional sphere \U0001D446\U0001D451 to X has been one of the main
unsolved problems in the emerging field of computational homotopy theory. Here
we present an algorithm that, given a simply connected space X, computes \U0001D70B\U0001D451(\U0001D44B)
\ and represents its elements as simplicial maps from a suitable triangulation
of the d-sphere \U0001D446\U0001D451 to X. For fixed d, the algorithm runs
in time exponential in size(\U0001D44B) , the number of simplices of X. Moreover,
we prove that this is optimal: For every fixed \U0001D451≥2 , we construct a
family of simply connected spaces X such that for any simplicial map representing
a generator of \U0001D70B\U0001D451(\U0001D44B) , the size of the triangulation
of \U0001D446\U0001D451 on which the map is defined, is exponential in size(\U0001D44B)
."
article_type: original
author:
- first_name: Marek
full_name: Filakovský, Marek
id: 3E8AF77E-F248-11E8-B48F-1D18A9856A87
last_name: Filakovský
- first_name: Peter
full_name: Franek, Peter
id: 473294AE-F248-11E8-B48F-1D18A9856A87
last_name: Franek
orcid: 0000-0001-8878-8397
- first_name: Uli
full_name: Wagner, Uli
id: 36690CA2-F248-11E8-B48F-1D18A9856A87
last_name: Wagner
orcid: 0000-0002-1494-0568
- first_name: Stephan Y
full_name: Zhechev, Stephan Y
id: 3AA52972-F248-11E8-B48F-1D18A9856A87
last_name: Zhechev
citation:
ama: Filakovský M, Franek P, Wagner U, Zhechev SY. Computing simplicial representatives
of homotopy group elements. Journal of Applied and Computational Topology.
2018;2(3-4):177-231. doi:10.1007/s41468-018-0021-5
apa: Filakovský, M., Franek, P., Wagner, U., & Zhechev, S. Y. (2018). Computing
simplicial representatives of homotopy group elements. Journal of Applied and
Computational Topology. Springer. https://doi.org/10.1007/s41468-018-0021-5
chicago: Filakovský, Marek, Peter Franek, Uli Wagner, and Stephan Y Zhechev. “Computing
Simplicial Representatives of Homotopy Group Elements.” Journal of Applied
and Computational Topology. Springer, 2018. https://doi.org/10.1007/s41468-018-0021-5.
ieee: M. Filakovský, P. Franek, U. Wagner, and S. Y. Zhechev, “Computing simplicial
representatives of homotopy group elements,” Journal of Applied and Computational
Topology, vol. 2, no. 3–4. Springer, pp. 177–231, 2018.
ista: Filakovský M, Franek P, Wagner U, Zhechev SY. 2018. Computing simplicial representatives
of homotopy group elements. Journal of Applied and Computational Topology. 2(3–4),
177–231.
mla: Filakovský, Marek, et al. “Computing Simplicial Representatives of Homotopy
Group Elements.” Journal of Applied and Computational Topology, vol. 2,
no. 3–4, Springer, 2018, pp. 177–231, doi:10.1007/s41468-018-0021-5.
short: M. Filakovský, P. Franek, U. Wagner, S.Y. Zhechev, Journal of Applied and
Computational Topology 2 (2018) 177–231.
date_created: 2019-08-08T06:47:40Z
date_published: 2018-12-01T00:00:00Z
date_updated: 2023-09-07T13:10:36Z
day: '01'
ddc:
- '514'
department:
- _id: UlWa
doi: 10.1007/s41468-018-0021-5
file:
- access_level: open_access
checksum: cf9e7fcd2a113dd4828774fc75cdb7e8
content_type: application/pdf
creator: dernst
date_created: 2019-08-08T06:55:21Z
date_updated: 2020-07-14T12:47:40Z
file_id: '6775'
file_name: 2018_JourAppliedComputTopology_Filakovsky.pdf
file_size: 1056278
relation: main_file
file_date_updated: 2020-07-14T12:47:40Z
has_accepted_license: '1'
intvolume: ' 2'
issue: 3-4
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 177-231
project:
- _id: 25F8B9BC-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M01980
name: Robust invariants of Nonlinear Systems
- _id: 3AC91DDA-15DF-11EA-824D-93A3E7B544D1
call_identifier: FWF
name: FWF Open Access Fund
publication: Journal of Applied and Computational Topology
publication_identifier:
eissn:
- 2367-1734
issn:
- 2367-1726
publication_status: published
publisher: Springer
quality_controlled: '1'
related_material:
record:
- id: '6681'
relation: dissertation_contains
status: public
status: public
title: Computing simplicial representatives of homotopy group elements
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2018'
...
---
_id: '133'
abstract:
- lang: eng
text: Synchronous programs are easy to specify because the side effects of an operation
are finished by the time the invocation of the operation returns to the caller.
Asynchronous programs, on the other hand, are difficult to specify because there
are side effects due to pending computation scheduled as a result of the invocation
of an operation. They are also difficult to verify because of the large number
of possible interleavings of concurrent computation threads. We present synchronization,
a new proof rule that simplifies the verification of asynchronous programs by
introducing the fiction, for proof purposes, that asynchronous operations complete
synchronously. Synchronization summarizes an asynchronous computation as immediate
atomic effect. Modular verification is enabled via pending asynchronous calls
in atomic summaries, and a complementary proof rule that eliminates pending asynchronous
calls when components and their specifications are composed. We evaluate synchronization
in the context of a multi-layer refinement verification methodology on a collection
of benchmark programs.
alternative_title:
- LIPIcs
article_number: '21'
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
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Kragl B, Qadeer S, Henzinger TA. Synchronizing the asynchronous. In: Vol 118.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.CONCUR.2018.21'
apa: 'Kragl, B., Qadeer, S., & Henzinger, T. A. (2018). Synchronizing the asynchronous
(Vol. 118). Presented at the CONCUR: International Conference on Concurrency Theory,
Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2018.21'
chicago: Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Synchronizing the
Asynchronous,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
https://doi.org/10.4230/LIPIcs.CONCUR.2018.21.
ieee: 'B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,”
presented at the CONCUR: International Conference on Concurrency Theory, Beijing,
China, 2018, vol. 118.'
ista: 'Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR:
International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.'
mla: Kragl, Bernhard, et al. Synchronizing the Asynchronous. Vol. 118, 21,
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.CONCUR.2018.21.
short: B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2018.
conference:
end_date: 2018-09-07
location: Beijing, China
name: 'CONCUR: International Conference on Concurrency Theory'
start_date: 2018-09-04
date_created: 2018-12-11T11:44:48Z
date_published: 2018-08-13T00:00:00Z
date_updated: 2023-09-07T13:18:00Z
day: '13'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.CONCUR.2018.21
file:
- access_level: open_access
checksum: c90895f4c5fafc18ddc54d1c8848077e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:46Z
date_updated: 2020-07-14T12:44:44Z
file_id: '5368'
file_name: IST-2018-853-v2+2_concur2018.pdf
file_size: 745438
relation: main_file
file_date_updated: 2020-07-14T12:44:44Z
has_accepted_license: '1'
intvolume: ' 118'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 25F2ACDE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Rigorous Systems Engineering
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
publication_identifier:
issn:
- '18688969'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7790'
pubrep_id: '1039'
quality_controlled: '1'
related_material:
record:
- id: '6426'
relation: earlier_version
status: public
- id: '8332'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Synchronizing the asynchronous
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: 118
year: '2018'
...
---
_id: '187'
abstract:
- lang: eng
text: 'Given a locally finite X ⊆ ℝd and a radius r ≥ 0, the k-fold cover of X and
r consists of all points in ℝd that have k or more points of X within distance
r. We consider two filtrations - one in scale obtained by fixing k and increasing
r, and the other in depth obtained by fixing r and decreasing k - and we compute
the persistence diagrams of both. While standard methods suffice for the filtration
in scale, we need novel geometric and topological concepts for the filtration
in depth. In particular, we introduce a rhomboid tiling in ℝd+1 whose horizontal
integer slices are the order-k Delaunay mosaics of X, and construct a zigzag module
from Delaunay mosaics that is isomorphic to the persistence module of the multi-covers. '
acknowledgement: This work is partially supported by the DFG Collaborative Research
Center TRR 109, ‘Discretization in Geometry and Dynamics’, through grant no. I02979-N35
of the Austrian Science Fund (FWF).
alternative_title:
- LIPIcs
article_number: '34'
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Georg F
full_name: Osang, Georg F
id: 464B40D6-F248-11E8-B48F-1D18A9856A87
last_name: Osang
orcid: 0000-0002-8882-5116
citation:
ama: 'Edelsbrunner H, Osang GF. The multi-cover persistence of Euclidean balls.
In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.SoCG.2018.34'
apa: 'Edelsbrunner, H., & Osang, G. F. (2018). The multi-cover persistence of
Euclidean balls (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry,
Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.34'
chicago: Edelsbrunner, Herbert, and Georg F Osang. “The Multi-Cover Persistence
of Euclidean Balls,” Vol. 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2018. https://doi.org/10.4230/LIPIcs.SoCG.2018.34.
ieee: 'H. Edelsbrunner and G. F. Osang, “The multi-cover persistence of Euclidean
balls,” presented at the SoCG: Symposium on Computational Geometry, Budapest,
Hungary, 2018, vol. 99.'
ista: 'Edelsbrunner H, Osang GF. 2018. The multi-cover persistence of Euclidean
balls. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 34.'
mla: Edelsbrunner, Herbert, and Georg F. Osang. The Multi-Cover Persistence of
Euclidean Balls. Vol. 99, 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2018, doi:10.4230/LIPIcs.SoCG.2018.34.
short: H. Edelsbrunner, G.F. Osang, in:, Schloss Dagstuhl - Leibniz-Zentrum für
Informatik, 2018.
conference:
end_date: 2018-06-14
location: Budapest, Hungary
name: 'SoCG: Symposium on Computational Geometry'
start_date: 2018-06-11
date_created: 2018-12-11T11:45:05Z
date_published: 2018-06-11T00:00:00Z
date_updated: 2023-09-07T13:29:00Z
day: '11'
ddc:
- '516'
department:
- _id: HeEd
doi: 10.4230/LIPIcs.SoCG.2018.34
file:
- access_level: open_access
checksum: d8c0533ad0018eb4ed1077475eb8fc18
content_type: application/pdf
creator: dernst
date_created: 2018-12-18T09:27:22Z
date_updated: 2020-07-14T12:45:19Z
file_id: '5738'
file_name: 2018_LIPIcs_Edelsbrunner_Osang.pdf
file_size: 528018
relation: main_file
file_date_updated: 2020-07-14T12:45:19Z
has_accepted_license: '1'
intvolume: ' 99'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 2561EBF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I02979-N35
name: Persistence and stability of geometric complexes
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7732'
quality_controlled: '1'
related_material:
record:
- id: '9317'
relation: later_version
status: public
- id: '9056'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: The multi-cover persistence of Euclidean balls
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: 99
year: '2018'
...
---
_id: '692'
abstract:
- lang: eng
text: We consider families of confocal conics and two pencils of Apollonian circles
having the same foci. We will show that these families of curves generate trivial
3-webs and find the exact formulas describing them.
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
citation:
ama: Akopyan A. 3-Webs generated by confocal conics and circles. Geometriae Dedicata.
2018;194(1):55-64. doi:10.1007/s10711-017-0265-6
apa: Akopyan, A. (2018). 3-Webs generated by confocal conics and circles. Geometriae
Dedicata. Springer. https://doi.org/10.1007/s10711-017-0265-6
chicago: Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” Geometriae
Dedicata. Springer, 2018. https://doi.org/10.1007/s10711-017-0265-6.
ieee: A. Akopyan, “3-Webs generated by confocal conics and circles,” Geometriae
Dedicata, vol. 194, no. 1. Springer, pp. 55–64, 2018.
ista: Akopyan A. 2018. 3-Webs generated by confocal conics and circles. Geometriae
Dedicata. 194(1), 55–64.
mla: Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” Geometriae
Dedicata, vol. 194, no. 1, Springer, 2018, pp. 55–64, doi:10.1007/s10711-017-0265-6.
short: A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
date_created: 2018-12-11T11:47:57Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2023-09-08T11:40:29Z
day: '01'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.1007/s10711-017-0265-6
ec_funded: 1
external_id:
isi:
- '000431418800004'
file:
- access_level: open_access
checksum: 1febcfc1266486053a069e3425ea3713
content_type: application/pdf
creator: kschuh
date_created: 2020-01-03T11:35:08Z
date_updated: 2020-07-14T12:47:44Z
file_id: '7222'
file_name: 2018_Springer_Akopyan.pdf
file_size: 1140860
relation: main_file
file_date_updated: 2020-07-14T12:47:44Z
has_accepted_license: '1'
intvolume: ' 194'
isi: 1
issue: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 55 - 64
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Geometriae Dedicata
publication_status: published
publisher: Springer
publist_id: '7014'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 3-Webs generated by confocal conics and circles
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: 194
year: '2018'
...
---
_id: '77'
abstract:
- lang: eng
text: Holes confined in quantum dots have gained considerable interest in the past
few years due to their potential as spin qubits. Here we demonstrate two-axis
control of a spin 3/2 qubit in natural Ge. The qubit is formed in a hut wire double
quantum dot device. The Pauli spin blockade principle allowed us to demonstrate
electric dipole spin resonance by applying a radio frequency electric field to
one of the electrodes defining the double quantum dot. Coherent hole spin oscillations
with Rabi frequencies reaching 140 MHz are demonstrated and dephasing times of
130 ns are measured. The reported results emphasize the potential of Ge as a platform
for fast and electrically tunable hole spin qubit devices.
acknowledged_ssus:
- _id: M-Shop
- _id: NanoFab
article_processing_charge: Yes
article_type: original
author:
- first_name: Hannes
full_name: Watzinger, Hannes
id: 35DF8E50-F248-11E8-B48F-1D18A9856A87
last_name: Watzinger
- first_name: Josip
full_name: Kukucka, Josip
id: 3F5D8856-F248-11E8-B48F-1D18A9856A87
last_name: Kukucka
- first_name: Lada
full_name: Vukusic, Lada
id: 31E9F056-F248-11E8-B48F-1D18A9856A87
last_name: Vukusic
orcid: 0000-0003-2424-8636
- first_name: Fei
full_name: Gao, Fei
last_name: Gao
- first_name: Ting
full_name: Wang, Ting
last_name: Wang
- first_name: Friedrich
full_name: Schäffler, Friedrich
last_name: Schäffler
- first_name: Jian
full_name: Zhang, Jian
last_name: Zhang
- first_name: Georgios
full_name: Katsaros, Georgios
id: 38DB5788-F248-11E8-B48F-1D18A9856A87
last_name: Katsaros
orcid: 0000-0001-8342-202X
citation:
ama: Watzinger H, Kukucka J, Vukušić L, et al. A germanium hole spin qubit. Nature
Communications. 2018;9(3902). doi:10.1038/s41467-018-06418-4
apa: Watzinger, H., Kukucka, J., Vukušić, L., Gao, F., Wang, T., Schäffler, F.,
… Katsaros, G. (2018). A germanium hole spin qubit. Nature Communications.
Nature Publishing Group. https://doi.org/10.1038/s41467-018-06418-4
chicago: Watzinger, Hannes, Josip Kukucka, Lada Vukušić, Fei Gao, Ting Wang, Friedrich
Schäffler, Jian Zhang, and Georgios Katsaros. “A Germanium Hole Spin Qubit.” Nature
Communications. Nature Publishing Group, 2018. https://doi.org/10.1038/s41467-018-06418-4.
ieee: H. Watzinger et al., “A germanium hole spin qubit,” Nature Communications,
vol. 9, no. 3902. Nature Publishing Group, 2018.
ista: Watzinger H, Kukucka J, Vukušić L, Gao F, Wang T, Schäffler F, Zhang J, Katsaros
G. 2018. A germanium hole spin qubit. Nature Communications. 9(3902).
mla: Watzinger, Hannes, et al. “A Germanium Hole Spin Qubit.” Nature Communications,
vol. 9, no. 3902, Nature Publishing Group, 2018, doi:10.1038/s41467-018-06418-4.
short: H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang,
G. Katsaros, Nature Communications 9 (2018).
date_created: 2018-12-11T11:44:30Z
date_published: 2018-09-25T00:00:00Z
date_updated: 2023-09-08T11:44:02Z
day: '25'
ddc:
- '530'
department:
- _id: GeKa
doi: 10.1038/s41467-018-06418-4
ec_funded: 1
external_id:
isi:
- '000445560800010'
file:
- access_level: open_access
checksum: e7148c10a64497e279c4de570b6cc544
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T10:28:30Z
date_updated: 2020-07-14T12:48:02Z
file_id: '5687'
file_name: 2018_NatureComm_Watzinger.pdf
file_size: 1063469
relation: main_file
file_date_updated: 2020-07-14T12:48:02Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
issue: '3902 '
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 25517E86-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '335497'
name: Towards Spin qubits and Majorana fermions in Germanium selfassembled hut-wires
- _id: 2552F888-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Y00715
name: Loch Spin-Qubits und Majorana-Fermionen in Germanium
publication: Nature Communications
publication_status: published
publisher: Nature Publishing Group
quality_controlled: '1'
related_material:
record:
- id: '7977'
relation: popular_science
- id: '7996'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: A germanium hole spin qubit
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 9
year: '2018'
...
---
_id: '401'
abstract:
- lang: eng
text: The actomyosin cytoskeleton, a key stress-producing unit in epithelial cells,
oscillates spontaneously in a wide variety of systems. Although much of the signal
cascade regulating myosin activity has been characterized, the origin of such
oscillatory behavior is still unclear. Here, we show that basal myosin II oscillation
in Drosophila ovarian epithelium is not controlled by actomyosin cortical tension,
but instead relies on a biochemical oscillator involving ROCK and myosin phosphatase.
Key to this oscillation is a diffusive ROCK flow, linking junctional Rho1 to medial
actomyosin cortex, and dynamically maintained by a self-activation loop reliant
on ROCK kinase activity. In response to the resulting myosin II recruitment, myosin
phosphatase is locally enriched and shuts off ROCK and myosin II signals. Coupling
Drosophila genetics, live imaging, modeling, and optogenetics, we uncover an intrinsic
biochemical oscillator at the core of myosin II regulatory network, shedding light
on the spatio-temporal dynamics of force generation.
article_number: '1210'
article_processing_charge: No
author:
- first_name: Xiang
full_name: Qin, Xiang
last_name: Qin
- 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: Thomas
full_name: Mangeat, Thomas
last_name: Mangeat
- first_name: Chang
full_name: Liu, Chang
last_name: Liu
- first_name: Pralay
full_name: Majumder, Pralay
last_name: Majumder
- first_name: Jjiaying
full_name: Liu, Jjiaying
last_name: Liu
- first_name: Valerie
full_name: Choesmel Cadamuro, Valerie
last_name: Choesmel Cadamuro
- first_name: Jocelyn
full_name: Mcdonald, Jocelyn
last_name: Mcdonald
- first_name: Yinyao
full_name: Liu, Yinyao
last_name: Liu
- first_name: Bin
full_name: Yi, Bin
last_name: Yi
- first_name: Xiaobo
full_name: Wang, Xiaobo
last_name: Wang
citation:
ama: Qin X, Hannezo EB, Mangeat T, et al. A biochemical network controlling basal
myosin oscillation. Nature Communications. 2018;9(1). doi:10.1038/s41467-018-03574-5
apa: Qin, X., Hannezo, E. B., Mangeat, T., Liu, C., Majumder, P., Liu, J., … Wang,
X. (2018). A biochemical network controlling basal myosin oscillation. Nature
Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-018-03574-5
chicago: Qin, Xiang, Edouard B Hannezo, Thomas Mangeat, Chang Liu, Pralay Majumder,
Jjiaying Liu, Valerie Choesmel Cadamuro, et al. “A Biochemical Network Controlling
Basal Myosin Oscillation.” Nature Communications. Nature Publishing Group,
2018. https://doi.org/10.1038/s41467-018-03574-5.
ieee: X. Qin et al., “A biochemical network controlling basal myosin oscillation,”
Nature Communications, vol. 9, no. 1. Nature Publishing Group, 2018.
ista: Qin X, Hannezo EB, Mangeat T, Liu C, Majumder P, Liu J, Choesmel Cadamuro
V, Mcdonald J, Liu Y, Yi B, Wang X. 2018. A biochemical network controlling basal
myosin oscillation. Nature Communications. 9(1), 1210.
mla: Qin, Xiang, et al. “A Biochemical Network Controlling Basal Myosin Oscillation.”
Nature Communications, vol. 9, no. 1, 1210, Nature Publishing Group, 2018,
doi:10.1038/s41467-018-03574-5.
short: X. Qin, E.B. Hannezo, T. Mangeat, C. Liu, P. Majumder, J. Liu, V. Choesmel
Cadamuro, J. Mcdonald, Y. Liu, B. Yi, X. Wang, Nature Communications 9 (2018).
date_created: 2018-12-11T11:46:16Z
date_published: 2018-03-23T00:00:00Z
date_updated: 2023-09-08T11:41:45Z
day: '23'
ddc:
- '539'
- '570'
department:
- _id: EdHa
doi: 10.1038/s41467-018-03574-5
external_id:
isi:
- '000428165400009'
file:
- access_level: open_access
checksum: 87a427bc2e8724be3dd22a4efdd21a33
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:45Z
date_updated: 2020-07-14T12:46:22Z
file_id: '4902'
file_name: IST-2018-996-v1+1_2018_Hannezo_A-biochemical.pdf
file_size: 3780491
relation: main_file
file_date_updated: 2020-07-14T12:46:22Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
issue: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
publication: Nature Communications
publication_status: published
publisher: Nature Publishing Group
publist_id: '7427'
pubrep_id: '996'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A biochemical network controlling basal myosin oscillation
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 9
year: '2018'
...
---
_id: '318'
abstract:
- lang: eng
text: The insect’s fat body combines metabolic and immunological functions. In this
issue of Developmental Cell, Franz et al. (2018) show that in Drosophila, cells
of the fat body are not static, but can actively “swim” toward sites of epithelial
injury, where they physically clog the wound and locally secrete antimicrobial
peptides.
acknowledgement: Short Survey
article_processing_charge: No
author:
- first_name: Alessandra M
full_name: Casano, Alessandra M
id: 3DBA3F4E-F248-11E8-B48F-1D18A9856A87
last_name: Casano
orcid: 0000-0002-6009-6804
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
citation:
ama: Casano AM, Sixt MK. A fat lot of good for wound healing. Developmental Cell.
2018;44(4):405-406. doi:10.1016/j.devcel.2018.02.009
apa: Casano, A. M., & Sixt, M. K. (2018). A fat lot of good for wound healing.
Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2018.02.009
chicago: Casano, Alessandra M, and Michael K Sixt. “A Fat Lot of Good for Wound
Healing.” Developmental Cell. Cell Press, 2018. https://doi.org/10.1016/j.devcel.2018.02.009.
ieee: A. M. Casano and M. K. Sixt, “A fat lot of good for wound healing,” Developmental
Cell, vol. 44, no. 4. Cell Press, pp. 405–406, 2018.
ista: Casano AM, Sixt MK. 2018. A fat lot of good for wound healing. Developmental
Cell. 44(4), 405–406.
mla: Casano, Alessandra M., and Michael K. Sixt. “A Fat Lot of Good for Wound Healing.”
Developmental Cell, vol. 44, no. 4, Cell Press, 2018, pp. 405–06, doi:10.1016/j.devcel.2018.02.009.
short: A.M. Casano, M.K. Sixt, Developmental Cell 44 (2018) 405–406.
date_created: 2018-12-11T11:45:47Z
date_published: 2018-02-26T00:00:00Z
date_updated: 2023-09-08T11:42:28Z
day: '26'
department:
- _id: MiSi
doi: 10.1016/j.devcel.2018.02.009
external_id:
isi:
- '000426150700002'
pmid:
- '29486189'
intvolume: ' 44'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pubmed/29486189
month: '02'
oa: 1
oa_version: Published Version
page: 405 - 406
pmid: 1
publication: Developmental Cell
publication_status: published
publisher: Cell Press
publist_id: '7547'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A fat lot of good for wound healing
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 44
year: '2018'
...
---
_id: '410'
abstract:
- lang: eng
text: Lesion verification and quantification is traditionally done via histological
examination of sectioned brains, a time-consuming process that relies heavily
on manual estimation. Such methods are particularly problematic in posterior cortical
regions (e.g. visual cortex), where sectioning leads to significant damage and
distortion of tissue. Even more challenging is the post hoc localization of micro-electrodes,
which relies on the same techniques, suffers from similar drawbacks and requires
even higher precision. Here, we propose a new, simple method for quantitative
lesion characterization and electrode localization that is less labor-intensive
and yields more detailed results than conventional methods. We leverage staining
techniques standard in electron microscopy with the use of commodity micro-CT
imaging. We stain whole rat and zebra finch brains in osmium tetroxide, embed
these in resin and scan entire brains in a micro-CT machine. The scans result
in 3D reconstructions of the brains with section thickness dependent on sample
size (12–15 and 5–6 microns for rat and zebra finch respectively) that can be
segmented manually or automatically. Because the method captures the entire intact
brain volume, comparisons within and across studies are more tractable, and the
extent of lesions and electrodes may be studied with higher accuracy than with
current methods.
article_number: '5184'
article_processing_charge: No
author:
- first_name: Javier
full_name: Masís, Javier
last_name: Masís
- first_name: David
full_name: Mankus, David
last_name: Mankus
- first_name: Steffen
full_name: Wolff, Steffen
last_name: Wolff
- first_name: Grigori
full_name: Guitchounts, Grigori
last_name: Guitchounts
- first_name: Maximilian A
full_name: Jösch, Maximilian A
id: 2BD278E6-F248-11E8-B48F-1D18A9856A87
last_name: Jösch
orcid: 0000-0002-3937-1330
- first_name: David
full_name: Cox, David
last_name: Cox
citation:
ama: Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. A micro-CT-based
method for quantitative brain lesion characterization and electrode localization.
Scientific Reports. 2018;8(1). doi:10.1038/s41598-018-23247-z
apa: Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., & Cox,
D. (2018). A micro-CT-based method for quantitative brain lesion characterization
and electrode localization. Scientific Reports. Nature Publishing Group.
https://doi.org/10.1038/s41598-018-23247-z
chicago: Masís, Javier, David Mankus, Steffen Wolff, Grigori Guitchounts, Maximilian
A Jösch, and David Cox. “A Micro-CT-Based Method for Quantitative Brain Lesion
Characterization and Electrode Localization.” Scientific Reports. Nature
Publishing Group, 2018. https://doi.org/10.1038/s41598-018-23247-z.
ieee: J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M. A. Jösch, and D. Cox, “A
micro-CT-based method for quantitative brain lesion characterization and electrode
localization,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group,
2018.
ista: Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. 2018. A micro-CT-based
method for quantitative brain lesion characterization and electrode localization.
Scientific Reports. 8(1), 5184.
mla: Masís, Javier, et al. “A Micro-CT-Based Method for Quantitative Brain Lesion
Characterization and Electrode Localization.” Scientific Reports, vol.
8, no. 1, 5184, Nature Publishing Group, 2018, doi:10.1038/s41598-018-23247-z.
short: J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Scientific
Reports 8 (2018).
date_created: 2018-12-11T11:46:19Z
date_published: 2018-03-26T00:00:00Z
date_updated: 2023-09-08T11:48:39Z
day: '26'
ddc:
- '571'
- '572'
department:
- _id: MaJö
doi: 10.1038/s41598-018-23247-z
external_id:
isi:
- '000428234100005'
file:
- access_level: open_access
checksum: 653fcb852f899c75b00ceee2a670d738
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:42Z
date_updated: 2020-07-14T12:46:23Z
file_id: '4831'
file_name: IST-2018-994-v1+1_2018_Joesch_A-micro-CT-based.pdf
file_size: 2359430
relation: main_file
file_date_updated: 2020-07-14T12:46:23Z
has_accepted_license: '1'
intvolume: ' 8'
isi: 1
issue: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
publication: Scientific Reports
publication_status: published
publisher: Nature Publishing Group
publist_id: '7419'
pubrep_id: '994'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A micro-CT-based method for quantitative brain lesion characterization and
electrode localization
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'
...
---
_id: '277'
abstract:
- lang: eng
text: 'Arabidopsis and human ARM protein interact with telomerase. Deregulated mRNA
levels of DNA repair and ribosomal protein genes in an Arabidopsis arm mutant
suggest non-telomeric ARM function. The human homolog ARMC6 interacts with hTRF2.
Abstract: Telomerase maintains telomeres and has proposed non-telomeric functions.
We previously identified interaction of the C-terminal domain of Arabidopsis telomerase
reverse transcriptase (AtTERT) with an armadillo/β-catenin-like repeat (ARM) containing
protein. Here we explore protein–protein interactions of the ARM protein, AtTERT
domains, POT1a, TRF-like family and SMH family proteins, and the chromatin remodeling
protein CHR19 using bimolecular fluorescence complementation (BiFC), yeast two-hybrid
(Y2H) analysis, and co-immunoprecipitation. The ARM protein interacts with both
the N- and C-terminal domains of AtTERT in different cellular compartments. ARM
interacts with CHR19 and TRF-like I family proteins that also bind AtTERT directly
or through interaction with POT1a. The putative human ARM homolog co-precipitates
telomerase activity and interacts with hTRF2 protein in vitro. Analysis of Arabidopsis
arm mutants shows no obvious changes in telomere length or telomerase activity,
suggesting that ARM is not essential for telomere maintenance. The observed interactions
with telomerase and Myb-like domain proteins (TRF-like family I) may therefore
reflect possible non-telomeric functions. Transcript levels of several DNA repair
and ribosomal genes are affected in arm mutants, and ARM, likely in association
with other proteins, suppressed expression of XRCC3 and RPSAA promoter constructs
in luciferase reporter assays. In conclusion, ARM can participate in non-telomeric
functions of telomerase, and can also perform its own telomerase-independent functions.'
article_processing_charge: No
article_type: original
author:
- first_name: Ladislav
full_name: Dokládal, Ladislav
last_name: Dokládal
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
- first_name: David
full_name: Honys, David
last_name: Honys
- first_name: Nikoleta
full_name: Dupláková, Nikoleta
last_name: Dupláková
- first_name: Lan
full_name: Lee, Lan
last_name: Lee
- first_name: Stanton
full_name: Gelvin, Stanton
last_name: Gelvin
- first_name: Eva
full_name: Sýkorová, Eva
last_name: Sýkorová
citation:
ama: Dokládal L, Benková E, Honys D, et al. An armadillo-domain protein participates
in a telomerase interaction network. Plant Molecular Biology. 2018;97(5):407-420.
doi:10.1007/s11103-018-0747-4
apa: Dokládal, L., Benková, E., Honys, D., Dupláková, N., Lee, L., Gelvin, S., &
Sýkorová, E. (2018). An armadillo-domain protein participates in a telomerase
interaction network. Plant Molecular Biology. Springer. https://doi.org/10.1007/s11103-018-0747-4
chicago: Dokládal, Ladislav, Eva Benková, David Honys, Nikoleta Dupláková, Lan Lee,
Stanton Gelvin, and Eva Sýkorová. “An Armadillo-Domain Protein Participates in
a Telomerase Interaction Network.” Plant Molecular Biology. Springer, 2018.
https://doi.org/10.1007/s11103-018-0747-4.
ieee: L. Dokládal et al., “An armadillo-domain protein participates in a
telomerase interaction network,” Plant Molecular Biology, vol. 97, no.
5. Springer, pp. 407–420, 2018.
ista: Dokládal L, Benková E, Honys D, Dupláková N, Lee L, Gelvin S, Sýkorová E.
2018. An armadillo-domain protein participates in a telomerase interaction network.
Plant Molecular Biology. 97(5), 407–420.
mla: Dokládal, Ladislav, et al. “An Armadillo-Domain Protein Participates in a Telomerase
Interaction Network.” Plant Molecular Biology, vol. 97, no. 5, Springer,
2018, pp. 407–20, doi:10.1007/s11103-018-0747-4.
short: L. Dokládal, E. Benková, D. Honys, N. Dupláková, L. Lee, S. Gelvin, E. Sýkorová,
Plant Molecular Biology 97 (2018) 407–420.
date_created: 2018-12-11T11:45:34Z
date_published: 2018-06-12T00:00:00Z
date_updated: 2023-09-08T13:21:05Z
day: '12'
ddc:
- '580'
department:
- _id: EvBe
doi: 10.1007/s11103-018-0747-4
external_id:
isi:
- '000438981700009'
file:
- access_level: open_access
checksum: 451ae47616e6af2533099f596b2a47fb
content_type: application/pdf
creator: dernst
date_created: 2020-05-14T12:23:08Z
date_updated: 2020-07-14T12:45:45Z
file_id: '7834'
file_name: 2018_PlantMolecBio_Dokladal.pdf
file_size: 1150679
relation: main_file
file_date_updated: 2020-07-14T12:45:45Z
has_accepted_license: '1'
intvolume: ' 97'
isi: 1
issue: '5'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Submitted Version
page: 407 - 420
publication: Plant Molecular Biology
publication_status: published
publisher: Springer
publist_id: '7625'
quality_controlled: '1'
scopus_import: '1'
status: public
title: An armadillo-domain protein participates in a telomerase interaction network
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 97
year: '2018'
...
---
_id: '299'
abstract:
- lang: eng
text: We introduce in this paper AMT 2.0 , a tool for qualitative and quantitative
analysis of hybrid continuous and Boolean signals that combine numerical values
and discrete events. The evaluation of the signals is based on rich temporal specifications
expressed in extended Signal Temporal Logic (xSTL), which integrates Timed Regular
Expressions (TRE) within Signal Temporal Logic (STL). The tool features qualitative
monitoring (property satisfaction checking), trace diagnostics for explaining
and justifying property violations and specification-driven measurement of quantitative
features of the signal.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Dejan
full_name: Nickovic, Dejan
id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
last_name: Nickovic
- first_name: Olivier
full_name: Lebeltel, Olivier
last_name: Lebeltel
- first_name: Oded
full_name: Maler, Oded
last_name: Maler
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Dogan
full_name: Ulus, Dogan
last_name: Ulus
citation:
ama: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and
quantitative trace analysis with extended signal temporal logic. In: Beyer D,
Huisman M, eds. Vol 10806. Springer; 2018:303-319. doi:10.1007/978-3-319-89963-3_18'
apa: 'Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., & Ulus, D. (2018).
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal
logic. In D. Beyer & M. Huisman (Eds.) (Vol. 10806, pp. 303–319). Presented
at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems,
Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89963-3_18'
chicago: 'Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan
Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal
Temporal Logic.” edited by Dirk Beyer and Marieke Huisman, 10806:303–19. Springer,
2018. https://doi.org/10.1007/978-3-319-89963-3_18.'
ieee: 'D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative
and quantitative trace analysis with extended signal temporal logic,” presented
at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems,
Thessaloniki, Greece, 2018, vol. 10806, pp. 303–319.'
ista: 'Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2018. AMT 2.0: Qualitative
and quantitative trace analysis with extended signal temporal logic. TACAS: Tools
and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10806,
303–319.'
mla: 'Nickovic, Dejan, et al. AMT 2.0: Qualitative and Quantitative Trace Analysis
with Extended Signal Temporal Logic. Edited by Dirk Beyer and Marieke Huisman,
vol. 10806, Springer, 2018, pp. 303–19, doi:10.1007/978-3-319-89963-3_18.'
short: D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M.
Huisman (Eds.), Springer, 2018, pp. 303–319.
conference:
end_date: 2018-04-20
location: Thessaloniki, Greece
name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems'
start_date: 2018-04-14
date_created: 2018-12-11T11:45:41Z
date_published: 2018-04-14T00:00:00Z
date_updated: 2023-09-08T11:52:02Z
day: '14'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-319-89963-3_18
editor:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Marieke
full_name: Huisman, Marieke
last_name: Huisman
external_id:
isi:
- '00445822600018'
file:
- access_level: open_access
checksum: e11db3b9c8e27a1c7d1c738cc5e4d25a
content_type: application/pdf
creator: dernst
date_created: 2019-02-06T07:33:05Z
date_updated: 2020-07-14T12:45:58Z
file_id: '5928'
file_name: 2018_LNCS_Nickovic.pdf
file_size: 3267209
relation: main_file
file_date_updated: 2020-07-14T12:45:58Z
has_accepted_license: '1'
intvolume: ' 10806'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: 303 - 319
publication_status: published
publisher: Springer
publist_id: '7582'
quality_controlled: '1'
related_material:
record:
- id: '10861'
relation: later_version
status: public
scopus_import: '1'
status: public
title: 'AMT 2.0: Qualitative and quantitative trace analysis with extended signal
temporal logic'
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: 10806
year: '2018'
...
---
_id: '413'
abstract:
- lang: eng
text: Being cared for when sick is a benefit of sociality that can reduce disease
and improve survival of group members. However, individuals providing care risk
contracting infectious diseases themselves. If they contract a low pathogen dose,
they may develop low-level infections that do not cause disease but still affect
host immunity by either decreasing or increasing the host’s vulnerability to subsequent
infections. Caring for contagious individuals can thus significantly alter the
future disease susceptibility of caregivers. Using ants and their fungal pathogens
as a model system, we tested if the altered disease susceptibility of experienced
caregivers, in turn, affects their expression of sanitary care behavior. We found
that low-level infections contracted during sanitary care had protective or neutral
effects on secondary exposure to the same (homologous) pathogen but consistently
caused high mortality on superinfection with a different (heterologous) pathogen.
In response to this risk, the ants selectively adjusted the expression of their
sanitary care. Specifically, the ants performed less grooming and more antimicrobial
disinfection when caring for nestmates contaminated with heterologous pathogens
compared with homologous ones. By modulating the components of sanitary care in
this way the ants acquired less infectious particles of the heterologous pathogens,
resulting in reduced superinfection. The performance of risk-adjusted sanitary
care reveals the remarkable capacity of ants to react to changes in their disease
susceptibility, according to their own infection history and to flexibly adjust
collective care to individual risk.
article_processing_charge: No
author:
- first_name: Matthias
full_name: Konrad, Matthias
id: 46528076-F248-11E8-B48F-1D18A9856A87
last_name: Konrad
- first_name: Christopher
full_name: Pull, Christopher
id: 3C7F4840-F248-11E8-B48F-1D18A9856A87
last_name: Pull
orcid: 0000-0003-1122-3982
- first_name: Sina
full_name: Metzler, Sina
id: 48204546-F248-11E8-B48F-1D18A9856A87
last_name: Metzler
orcid: 0000-0002-9547-2494
- first_name: Katharina
full_name: Seif, Katharina
id: 90F7894A-02CF-11E9-976E-E38CFE5CBC1D
last_name: Seif
- first_name: Elisabeth
full_name: Naderlinger, Elisabeth
id: 31757262-F248-11E8-B48F-1D18A9856A87
last_name: Naderlinger
- first_name: Anna V
full_name: Grasse, Anna V
id: 406F989C-F248-11E8-B48F-1D18A9856A87
last_name: Grasse
- first_name: Sylvia
full_name: Cremer, Sylvia
id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
last_name: Cremer
orcid: 0000-0002-2193-3868
citation:
ama: Konrad M, Pull C, Metzler S, et al. Ants avoid superinfections by performing
risk-adjusted sanitary care. PNAS. 2018;115(11):2782-2787. doi:10.1073/pnas.1713501115
apa: Konrad, M., Pull, C., Metzler, S., Seif, K., Naderlinger, E., Grasse, A. V.,
& Cremer, S. (2018). Ants avoid superinfections by performing risk-adjusted
sanitary care. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1713501115
chicago: Konrad, Matthias, Christopher Pull, Sina Metzler, Katharina Seif, Elisabeth
Naderlinger, Anna V Grasse, and Sylvia Cremer. “Ants Avoid Superinfections by
Performing Risk-Adjusted Sanitary Care.” PNAS. National Academy of Sciences,
2018. https://doi.org/10.1073/pnas.1713501115.
ieee: M. Konrad et al., “Ants avoid superinfections by performing risk-adjusted
sanitary care,” PNAS, vol. 115, no. 11. National Academy of Sciences, pp.
2782–2787, 2018.
ista: Konrad M, Pull C, Metzler S, Seif K, Naderlinger E, Grasse AV, Cremer S. 2018.
Ants avoid superinfections by performing risk-adjusted sanitary care. PNAS. 115(11),
2782–2787.
mla: Konrad, Matthias, et al. “Ants Avoid Superinfections by Performing Risk-Adjusted
Sanitary Care.” PNAS, vol. 115, no. 11, National Academy of Sciences, 2018,
pp. 2782–87, doi:10.1073/pnas.1713501115.
short: M. Konrad, C. Pull, S. Metzler, K. Seif, E. Naderlinger, A.V. Grasse, S.
Cremer, PNAS 115 (2018) 2782–2787.
date_created: 2018-12-11T11:46:20Z
date_published: 2018-03-13T00:00:00Z
date_updated: 2023-09-08T13:22:21Z
day: '13'
department:
- _id: SyCr
doi: 10.1073/pnas.1713501115
ec_funded: 1
external_id:
isi:
- '000427245400069'
pmid:
- '29463746'
intvolume: ' 115'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pubmed/29463746
month: '03'
oa: 1
oa_version: Published Version
page: 2782 - 2787
pmid: 1
project:
- _id: 25DC711C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '243071'
name: 'Social Vaccination in Ant Colonies: from Individual Mechanisms to Society
Effects'
publication: PNAS
publication_status: published
publisher: National Academy of Sciences
publist_id: '7416'
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/helping-in-spite-of-risk-ants-perform-risk-averse-sanitary-care-of-infectious-nest-mates/
scopus_import: '1'
status: public
title: Ants avoid superinfections by performing risk-adjusted sanitary care
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 115
year: '2018'
...
---
_id: '195'
abstract:
- lang: eng
text: We demonstrate that identical impurities immersed in a two-dimensional many-particle
bath can be viewed as flux-tube-charged-particle composites described by fractional
statistics. In particular, we find that the bath manifests itself as an external
magnetic flux tube with respect to the impurities, and hence the time-reversal
symmetry is broken for the effective Hamiltonian describing the impurities. The
emerging flux tube acts as a statistical gauge field after a certain critical
coupling. This critical coupling corresponds to the intersection point between
the quasiparticle state and the phonon wing, where the angular momentum is transferred
from the impurity to the bath. This amounts to a novel configuration with emerging
anyons. The proposed setup paves the way to realizing anyons using electrons interacting
with superfluid helium or lattice phonons, as well as using atomic impurities
in ultracold gases.
article_number: '045402'
article_processing_charge: No
author:
- first_name: Enderalp
full_name: Yakaboylu, Enderalp
id: 38CB71F6-F248-11E8-B48F-1D18A9856A87
last_name: Yakaboylu
orcid: 0000-0001-5973-0874
- first_name: Mikhail
full_name: Lemeshko, Mikhail
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
citation:
ama: Yakaboylu E, Lemeshko M. Anyonic statistics of quantum impurities in two dimensions.
Physical Review B - Condensed Matter and Materials Physics. 2018;98(4).
doi:10.1103/PhysRevB.98.045402
apa: Yakaboylu, E., & Lemeshko, M. (2018). Anyonic statistics of quantum impurities
in two dimensions. Physical Review B - Condensed Matter and Materials Physics.
American Physical Society. https://doi.org/10.1103/PhysRevB.98.045402
chicago: Yakaboylu, Enderalp, and Mikhail Lemeshko. “Anyonic Statistics of Quantum
Impurities in Two Dimensions.” Physical Review B - Condensed Matter and Materials
Physics. American Physical Society, 2018. https://doi.org/10.1103/PhysRevB.98.045402.
ieee: E. Yakaboylu and M. Lemeshko, “Anyonic statistics of quantum impurities in
two dimensions,” Physical Review B - Condensed Matter and Materials Physics,
vol. 98, no. 4. American Physical Society, 2018.
ista: Yakaboylu E, Lemeshko M. 2018. Anyonic statistics of quantum impurities in
two dimensions. Physical Review B - Condensed Matter and Materials Physics. 98(4),
045402.
mla: Yakaboylu, Enderalp, and Mikhail Lemeshko. “Anyonic Statistics of Quantum Impurities
in Two Dimensions.” Physical Review B - Condensed Matter and Materials Physics,
vol. 98, no. 4, 045402, American Physical Society, 2018, doi:10.1103/PhysRevB.98.045402.
short: E. Yakaboylu, M. Lemeshko, Physical Review B - Condensed Matter and Materials
Physics 98 (2018).
date_created: 2018-12-11T11:45:08Z
date_published: 2018-07-15T00:00:00Z
date_updated: 2023-09-08T13:22:57Z
day: '15'
department:
- _id: MiLe
doi: 10.1103/PhysRevB.98.045402
ec_funded: 1
external_id:
arxiv:
- '1712.00308'
isi:
- '000436939100007'
intvolume: ' 98'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1712.00308
month: '07'
oa: 1
oa_version: Submitted Version
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
- _id: 26031614-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29902
name: Quantum rotations in the presence of a many-body environment
publication: Physical Review B - Condensed Matter and Materials Physics
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Anyonic statistics of quantum impurities in two dimensions
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 98
year: '2018'
...
---
_id: '144'
abstract:
- lang: eng
text: The task of a monitor is to watch, at run-time, the execution of a reactive
system, and signal the occurrence of a safety violation in the observed sequence
of events. While finite-state monitors have been studied extensively, in practice,
monitoring software also makes use of unbounded memory. We define a model of automata
equipped with integer-valued registers which can execute only a bounded number
of instructions between consecutive events, and thus can form the theoretical
basis for the study of infinite-state monitors. We classify these register monitors
according to the number k of available registers, and the type of register instructions.
In stark contrast to the theory of computability for register machines, we prove
that for every k 1, monitors with k + 1 counters (with instruction set 〈+1, =〉)
are strictly more expressive than monitors with k counters. We also show that
adder monitors (with instruction set 〈1, +, =〉) are strictly more expressive than
counter monitors, but are complete for monitoring all computable safety -languages
for k = 6. Real-time monitors are further required to signal the occurrence of
a safety violation as soon as it occurs. The expressiveness hierarchy for counter
monitors carries over to real-time monitors. We then show that 2 adders cannot
simulate 3 counters in real-time. Finally, we show that real-time adder monitors
with inequalities are as expressive as real-time Turing machines.
alternative_title:
- ACM/IEEE Symposium on Logic in Computer Science
article_processing_charge: No
author:
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- 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: Ege
full_name: Saraç, Ege
last_name: Saraç
citation:
ama: 'Ferrere T, Henzinger TA, Saraç E. A theory of register monitors. In: Vol Part
F138033. IEEE; 2018:394-403. doi:10.1145/3209108.3209194'
apa: 'Ferrere, T., Henzinger, T. A., & Saraç, E. (2018). A theory of register
monitors (Vol. Part F138033, pp. 394–403). Presented at the LICS: Logic in Computer
Science, Oxford, UK: IEEE. https://doi.org/10.1145/3209108.3209194'
chicago: Ferrere, Thomas, Thomas A Henzinger, and Ege Saraç. “A Theory of Register
Monitors,” Part F138033:394–403. IEEE, 2018. https://doi.org/10.1145/3209108.3209194.
ieee: 'T. Ferrere, T. A. Henzinger, and E. Saraç, “A theory of register monitors,”
presented at the LICS: Logic in Computer Science, Oxford, UK, 2018, vol. Part
F138033, pp. 394–403.'
ista: 'Ferrere T, Henzinger TA, Saraç E. 2018. A theory of register monitors. LICS:
Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol.
Part F138033, 394–403.'
mla: Ferrere, Thomas, et al. A Theory of Register Monitors. Vol. Part F138033,
IEEE, 2018, pp. 394–403, doi:10.1145/3209108.3209194.
short: T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
conference:
end_date: 2018-07-12
location: Oxford, UK
name: 'LICS: Logic in Computer Science'
start_date: 2018-07-09
date_created: 2018-12-11T11:44:52Z
date_published: 2018-07-09T00:00:00Z
date_updated: 2023-09-08T11:49:13Z
day: '09'
department:
- _id: ToHe
doi: 10.1145/3209108.3209194
external_id:
isi:
- '000545262800041'
isi: 1
language:
- iso: eng
month: '07'
oa_version: None
page: 394 - 403
publication_status: published
publisher: IEEE
publist_id: '7779'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A theory of register monitors
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: Part F138033
year: '2018'
...
---
_id: '203'
abstract:
- lang: eng
text: Asymmetric auxin distribution is instrumental for the differential growth
that causes organ bending on tropic stimuli and curvatures during plant development.
Local differences in auxin concentrations are achieved mainly by polarized cellular
distribution of PIN auxin transporters, but whether other mechanisms involving
auxin homeostasis are also relevant for the formation of auxin gradients is not
clear. Here we show that auxin methylation is required for asymmetric auxin distribution
across the hypocotyl, particularly during its response to gravity. We found that
loss-of-function mutants in Arabidopsis IAA CARBOXYL METHYLTRANSFERASE1 (IAMT1)
prematurely unfold the apical hook, and that their hypocotyls are impaired in
gravitropic reorientation. This defect is linked to an auxin-dependent increase
in PIN gene expression, leading to an increased polar auxin transport and lack
of asymmetric distribution of PIN3 in the iamt1 mutant. Gravitropic reorientation
in the iamt1 mutant could be restored with either endodermis-specific expression
of IAMT1 or partial inhibition of polar auxin transport, which also results in
normal PIN gene expression levels. We propose that IAA methylation is necessary
in gravity-sensing cells to restrict polar auxin transport within the range of
auxin levels that allow for differential responses.
article_processing_charge: No
author:
- first_name: Mohamad
full_name: Abbas, Mohamad
id: 47E8FC1C-F248-11E8-B48F-1D18A9856A87
last_name: Abbas
- first_name: García J
full_name: Hernández, García J
last_name: Hernández
- first_name: Stephan
full_name: Pollmann, Stephan
last_name: Pollmann
- first_name: Sophia L
full_name: Samodelov, Sophia L
last_name: Samodelov
- first_name: Martina
full_name: Kolb, Martina
last_name: Kolb
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Ulrich Z
full_name: Hammes, Ulrich Z
last_name: Hammes
- first_name: Matias D
full_name: Zurbriggen, Matias D
last_name: Zurbriggen
- first_name: Miguel
full_name: Blázquez, Miguel
last_name: Blázquez
- first_name: David
full_name: Alabadí, David
last_name: Alabadí
citation:
ama: Abbas M, Hernández GJ, Pollmann S, et al. Auxin methylation is required for
differential growth in Arabidopsis. PNAS. 2018;115(26):6864-6869. doi:10.1073/pnas.1806565115
apa: Abbas, M., Hernández, G. J., Pollmann, S., Samodelov, S. L., Kolb, M., Friml,
J., … Alabadí, D. (2018). Auxin methylation is required for differential growth
in Arabidopsis. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1806565115
chicago: Abbas, Mohamad, García J Hernández, Stephan Pollmann, Sophia L Samodelov,
Martina Kolb, Jiří Friml, Ulrich Z Hammes, Matias D Zurbriggen, Miguel Blázquez,
and David Alabadí. “Auxin Methylation Is Required for Differential Growth in Arabidopsis.”
PNAS. National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1806565115.
ieee: M. Abbas et al., “Auxin methylation is required for differential growth
in Arabidopsis,” PNAS, vol. 115, no. 26. National Academy of Sciences,
pp. 6864–6869, 2018.
ista: Abbas M, Hernández GJ, Pollmann S, Samodelov SL, Kolb M, Friml J, Hammes UZ,
Zurbriggen MD, Blázquez M, Alabadí D. 2018. Auxin methylation is required for
differential growth in Arabidopsis. PNAS. 115(26), 6864–6869.
mla: Abbas, Mohamad, et al. “Auxin Methylation Is Required for Differential Growth
in Arabidopsis.” PNAS, vol. 115, no. 26, National Academy of Sciences,
2018, pp. 6864–69, doi:10.1073/pnas.1806565115.
short: M. Abbas, G.J. Hernández, S. Pollmann, S.L. Samodelov, M. Kolb, J. Friml,
U.Z. Hammes, M.D. Zurbriggen, M. Blázquez, D. Alabadí, PNAS 115 (2018) 6864–6869.
date_created: 2018-12-11T11:45:11Z
date_published: 2018-06-26T00:00:00Z
date_updated: 2023-09-08T13:24:40Z
day: '26'
department:
- _id: JiFr
doi: 10.1073/pnas.1806565115
ec_funded: 1
external_id:
isi:
- '000436245000096'
intvolume: ' 115'
isi: 1
issue: '26'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://eprints.nottingham.ac.uk/52388/
month: '06'
oa: 1
oa_version: None
page: 6864-6869
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: PNAS
publication_status: published
publisher: National Academy of Sciences
publist_id: '7710'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Auxin methylation is required for differential growth in Arabidopsis
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 115
year: '2018'
...
---
_id: '399'
abstract:
- lang: eng
text: Following an earlier calculation in 3D, we calculate the 2D critical temperature
of a dilute, translation-invariant Bose gas using a variational formulation of
the Bogoliubov approximation introduced by Critchley and Solomon in 1976. This
provides the first analytical calculation of the Kosterlitz-Thouless transition
temperature that includes the constant in the logarithm.
acknowledgement: We thank Robert Seiringer and Daniel Ueltschi for bringing the issue
of the change in critical temperature to our attention. We also thank the Erwin
Schrödinger Institute (all authors) and the Department of Mathematics, University
of Copenhagen (MN) for the hospitality during the period this work was carried out.
We gratefully acknowledge the financial support by the European Unions Seventh Framework
Programme under the ERC Grant Agreement Nos. 321029 (JPS and RR) and 337603 (RR)
as well as support by the VIL-LUM FONDEN via the QMATH Centre of Excellence (Grant
No. 10059) (JPS and RR), by the National Science Center (NCN) under grant No. 2016/21/D/ST1/02430
and the Austrian Science Fund (FWF) through project No. P 27533-N27 (MN).
article_number: '10007'
article_processing_charge: No
article_type: original
author:
- first_name: Marcin M
full_name: Napiórkowski, Marcin M
id: 4197AD04-F248-11E8-B48F-1D18A9856A87
last_name: Napiórkowski
- first_name: Robin
full_name: Reuvers, Robin
last_name: Reuvers
- first_name: Jan
full_name: Solovej, Jan
last_name: Solovej
citation:
ama: Napiórkowski MM, Reuvers R, Solovej J. Calculation of the critical temperature
of a dilute Bose gas in the Bogoliubov approximation. EPL. 2018;121(1).
doi:10.1209/0295-5075/121/10007
apa: Napiórkowski, M. M., Reuvers, R., & Solovej, J. (2018). Calculation of
the critical temperature of a dilute Bose gas in the Bogoliubov approximation.
EPL. IOP Publishing Ltd. https://doi.org/10.1209/0295-5075/121/10007
chicago: Napiórkowski, Marcin M, Robin Reuvers, and Jan Solovej. “Calculation of
the Critical Temperature of a Dilute Bose Gas in the Bogoliubov Approximation.”
EPL. IOP Publishing Ltd., 2018. https://doi.org/10.1209/0295-5075/121/10007.
ieee: M. M. Napiórkowski, R. Reuvers, and J. Solovej, “Calculation of the critical
temperature of a dilute Bose gas in the Bogoliubov approximation,” EPL,
vol. 121, no. 1. IOP Publishing Ltd., 2018.
ista: Napiórkowski MM, Reuvers R, Solovej J. 2018. Calculation of the critical temperature
of a dilute Bose gas in the Bogoliubov approximation. EPL. 121(1), 10007.
mla: Napiórkowski, Marcin M., et al. “Calculation of the Critical Temperature of
a Dilute Bose Gas in the Bogoliubov Approximation.” EPL, vol. 121, no.
1, 10007, IOP Publishing Ltd., 2018, doi:10.1209/0295-5075/121/10007.
short: M.M. Napiórkowski, R. Reuvers, J. Solovej, EPL 121 (2018).
date_created: 2018-12-11T11:46:15Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2023-09-08T13:30:51Z
day: '01'
department:
- _id: RoSe
doi: 10.1209/0295-5075/121/10007
external_id:
arxiv:
- '1706.01822'
isi:
- '000460003000003'
intvolume: ' 121'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1706.01822
month: '01'
oa: 1
oa_version: Preprint
project:
- _id: 25C878CE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P27533_N27
name: Structure of the Excitation Spectrum for Many-Body Quantum Systems
publication: EPL
publication_status: published
publisher: IOP Publishing Ltd.
publist_id: '7432'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov
approximation
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 121
year: '2018'
...
---
_id: '5830'
abstract:
- lang: eng
text: CLE peptides have been implicated in various developmental processes of plants
and mediate their responses to environmental stimuli. However, the biological
relevance of most CLE genes remains to be functionally characterized. Here, we
report that CLE9, which is expressed in stomata, acts as an essential regulator
in the induction of stomatal closure. Exogenous application of CLE9 peptides or
overexpression of CLE9 effectively led to stomatal closure and enhanced drought
tolerance, whereas CLE9 loss-of-function mutants were sensitivity to drought stress.
CLE9-induced stomatal closure was impaired in abscisic acid (ABA)-deficient mutants,
indicating that ABA is required for CLE9-medaited guard cell signalling. We further
deciphered that two guard cell ABA-signalling components, OST1 and SLAC1, were
responsible for CLE9-induced stomatal closure. MPK3 and MPK6 were activated by
the CLE9 peptide, and CLE9 peptides failed to close stomata in mpk3 and mpk6 mutants.
In addition, CLE9 peptides stimulated the induction of hydrogen peroxide (H2O2)
and nitric oxide (NO) synthesis associated with stomatal closure, which was abolished
in the NADPH oxidase-deficient mutants or nitric reductase mutants, respectively.
Collectively, our results reveal a novel ABA-dependent function of CLE9 in the
regulation of stomatal apertures, thereby suggesting a potential role of CLE9
in the stress acclimatization of plants.
article_processing_charge: No
author:
- first_name: Luosha
full_name: Zhang, Luosha
last_name: Zhang
- first_name: Xiong
full_name: Shi, Xiong
last_name: Shi
- first_name: Yutao
full_name: Zhang, Yutao
last_name: Zhang
- first_name: Jiajing
full_name: Wang, Jiajing
last_name: Wang
- first_name: Jingwei
full_name: Yang, Jingwei
last_name: Yang
- first_name: Takashi
full_name: Ishida, Takashi
last_name: Ishida
- first_name: Wenqian
full_name: Jiang, Wenqian
last_name: Jiang
- first_name: Xiangyu
full_name: Han, Xiangyu
last_name: Han
- first_name: Jingke
full_name: Kang, Jingke
last_name: Kang
- first_name: Xuening
full_name: Wang, Xuening
last_name: Wang
- first_name: Lixia
full_name: Pan, Lixia
last_name: Pan
- first_name: Shuo
full_name: Lv, Shuo
last_name: Lv
- first_name: Bing
full_name: Cao, Bing
last_name: Cao
- first_name: Yonghong
full_name: Zhang, Yonghong
last_name: Zhang
- first_name: Jinbin
full_name: Wu, Jinbin
last_name: Wu
- first_name: Huibin
full_name: Han, Huibin
id: 31435098-F248-11E8-B48F-1D18A9856A87
last_name: Han
- first_name: Zhubing
full_name: Hu, Zhubing
last_name: Hu
- first_name: Langjun
full_name: Cui, Langjun
last_name: Cui
- first_name: Shinichiro
full_name: Sawa, Shinichiro
last_name: Sawa
- first_name: Junmin
full_name: He, Junmin
last_name: He
- first_name: Guodong
full_name: Wang, Guodong
last_name: Wang
citation:
ama: Zhang L, Shi X, Zhang Y, et al. CLE9 peptide-induced stomatal closure is mediated
by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana.
Plant Cell and Environment. 2018. doi:10.1111/pce.13475
apa: Zhang, L., Shi, X., Zhang, Y., Wang, J., Yang, J., Ishida, T., … Wang, G. (2018).
CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide,
and nitric oxide in arabidopsis thaliana. Plant Cell and Environment. Wiley.
https://doi.org/10.1111/pce.13475
chicago: Zhang, Luosha, Xiong Shi, Yutao Zhang, Jiajing Wang, Jingwei Yang, Takashi
Ishida, Wenqian Jiang, et al. “CLE9 Peptide-Induced Stomatal Closure Is Mediated
by Abscisic Acid, Hydrogen Peroxide, and Nitric Oxide in Arabidopsis Thaliana.”
Plant Cell and Environment. Wiley, 2018. https://doi.org/10.1111/pce.13475.
ieee: L. Zhang et al., “CLE9 peptide-induced stomatal closure is mediated
by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana,”
Plant Cell and Environment. Wiley, 2018.
ista: Zhang L, Shi X, Zhang Y, Wang J, Yang J, Ishida T, Jiang W, Han X, Kang J,
Wang X, Pan L, Lv S, Cao B, Zhang Y, Wu J, Han H, Hu Z, Cui L, Sawa S, He J, Wang
G. 2018. CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen
peroxide, and nitric oxide in arabidopsis thaliana. Plant Cell and Environment.
mla: Zhang, Luosha, et al. “CLE9 Peptide-Induced Stomatal Closure Is Mediated by
Abscisic Acid, Hydrogen Peroxide, and Nitric Oxide in Arabidopsis Thaliana.” Plant
Cell and Environment, Wiley, 2018, doi:10.1111/pce.13475.
short: L. Zhang, X. Shi, Y. Zhang, J. Wang, J. Yang, T. Ishida, W. Jiang, X. Han,
J. Kang, X. Wang, L. Pan, S. Lv, B. Cao, Y. Zhang, J. Wu, H. Han, Z. Hu, L. Cui,
S. Sawa, J. He, G. Wang, Plant Cell and Environment (2018).
date_created: 2019-01-13T22:59:11Z
date_published: 2018-10-31T00:00:00Z
date_updated: 2023-09-11T12:43:31Z
day: '31'
department:
- _id: JiFr
doi: 10.1111/pce.13475
external_id:
isi:
- '000459014800021'
pmid:
- '30378140'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pubmed/30378140
month: '10'
oa: 1
oa_version: Published Version
pmid: 1
publication: Plant Cell and Environment
publication_identifier:
issn:
- '01407791'
publication_status: epub_ahead
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: CLE9 peptide-induced stomatal closure is mediated by abscisic acid, hydrogen
peroxide, and nitric oxide in arabidopsis thaliana
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '288'
abstract:
- lang: eng
text: Recent lineage tracing studies have revealed that mammary gland homeostasis
relies on unipotent stem cells. However, whether and when lineage restriction
occurs during embryonic mammary development, and which signals orchestrate cell
fate specification, remain unknown. Using a combination of in vivo clonal analysis
with whole mount immunofluorescence and mathematical modelling of clonal dynamics,
we found that embryonic multipotent mammary cells become lineage-restricted surprisingly
early in development, with evidence for unipotency as early as E12.5 and no statistically
discernable bipotency after E15.5. To gain insights into the mechanisms governing
the switch from multipotency to unipotency, we used gain-of-function Notch1 mice
and demonstrated that Notch activation cell autonomously dictates luminal cell
fate specification to both embryonic and basally committed mammary cells. These
functional studies have important implications for understanding the signals underlying
cell plasticity and serve to clarify how reactivation of embryonic programs in
adult cells can lead to cancer.
article_processing_charge: No
article_type: original
author:
- first_name: Anna
full_name: Lilja, Anna
last_name: Lilja
- first_name: Veronica
full_name: Rodilla, Veronica
last_name: Rodilla
- first_name: Mathilde
full_name: Huyghe, Mathilde
last_name: Huyghe
- 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: Camille
full_name: Landragin, Camille
last_name: Landragin
- first_name: Olivier
full_name: Renaud, Olivier
last_name: Renaud
- first_name: Olivier
full_name: Leroy, Olivier
last_name: Leroy
- first_name: Steffen
full_name: Rulands, Steffen
last_name: Rulands
- first_name: Benjamin
full_name: Simons, Benjamin
last_name: Simons
- first_name: Silvia
full_name: Fré, Silvia
last_name: Fré
citation:
ama: Lilja A, Rodilla V, Huyghe M, et al. Clonal analysis of Notch1-expressing cells
reveals the existence of unipotent stem cells that retain long-term plasticity
in the embryonic mammary gland. Nature Cell Biology. 2018;20(6):677-687.
doi:10.1038/s41556-018-0108-1
apa: Lilja, A., Rodilla, V., Huyghe, M., Hannezo, E. B., Landragin, C., Renaud,
O., … Fré, S. (2018). Clonal analysis of Notch1-expressing cells reveals the existence
of unipotent stem cells that retain long-term plasticity in the embryonic mammary
gland. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/s41556-018-0108-1
chicago: Lilja, Anna, Veronica Rodilla, Mathilde Huyghe, Edouard B Hannezo, Camille
Landragin, Olivier Renaud, Olivier Leroy, Steffen Rulands, Benjamin Simons, and
Silvia Fré. “Clonal Analysis of Notch1-Expressing Cells Reveals the Existence
of Unipotent Stem Cells That Retain Long-Term Plasticity in the Embryonic Mammary
Gland.” Nature Cell Biology. Nature Publishing Group, 2018. https://doi.org/10.1038/s41556-018-0108-1.
ieee: A. Lilja et al., “Clonal analysis of Notch1-expressing cells reveals
the existence of unipotent stem cells that retain long-term plasticity in the
embryonic mammary gland,” Nature Cell Biology, vol. 20, no. 6. Nature Publishing
Group, pp. 677–687, 2018.
ista: Lilja A, Rodilla V, Huyghe M, Hannezo EB, Landragin C, Renaud O, Leroy O,
Rulands S, Simons B, Fré S. 2018. Clonal analysis of Notch1-expressing cells reveals
the existence of unipotent stem cells that retain long-term plasticity in the
embryonic mammary gland. Nature Cell Biology. 20(6), 677–687.
mla: Lilja, Anna, et al. “Clonal Analysis of Notch1-Expressing Cells Reveals the
Existence of Unipotent Stem Cells That Retain Long-Term Plasticity in the Embryonic
Mammary Gland.” Nature Cell Biology, vol. 20, no. 6, Nature Publishing
Group, 2018, pp. 677–87, doi:10.1038/s41556-018-0108-1.
short: A. Lilja, V. Rodilla, M. Huyghe, E.B. Hannezo, C. Landragin, O. Renaud, O.
Leroy, S. Rulands, B. Simons, S. Fré, Nature Cell Biology 20 (2018) 677–687.
date_created: 2018-12-11T11:45:38Z
date_published: 2018-05-21T00:00:00Z
date_updated: 2023-09-11T12:44:08Z
day: '21'
department:
- _id: EdHa
doi: 10.1038/s41556-018-0108-1
external_id:
isi:
- '000433237300003'
pmid:
- '29784917'
intvolume: ' 20'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6984964
month: '05'
oa: 1
oa_version: Submitted Version
page: 677 - 687
pmid: 1
publication: Nature Cell Biology
publication_status: published
publisher: Nature Publishing Group
publist_id: '7594'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Clonal analysis of Notch1-expressing cells reveals the existence of unipotent
stem cells that retain long-term plasticity in the embryonic mammary gland
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 20
year: '2018'
...