---
_id: '2035'
abstract:
- lang: eng
text: "Considering a continuous self-map and the induced endomorphism on homology,
we study the eigenvalues and eigenspaces of the latter. Taking a filtration of
representations, we define the persistence of the eigenspaces, effectively introducing
a hierarchical organization of the map. The algorithm that computes this information
for a finite sample is proved to be stable, and to give the correct answer for
a sufficiently dense sample. Results computed with an implementation of the algorithm
provide evidence of its practical utility.\r\n"
acknowledgement: This research is partially supported by the Toposys project FP7-ICT-318493-STREP,
by ESF under the ACAT Research Network Programme, by the Russian Government under
mega project 11.G34.31.0053, and by the Polish National Science Center under Grant
No. N201 419639.
article_processing_charge: No
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Grzegorz
full_name: Jablonski, Grzegorz
id: 4483EF78-F248-11E8-B48F-1D18A9856A87
last_name: Jablonski
orcid: 0000-0002-3536-9866
- first_name: Marian
full_name: Mrozek, Marian
last_name: Mrozek
citation:
ama: Edelsbrunner H, Jablonski G, Mrozek M. The persistent homology of a self-map.
Foundations of Computational Mathematics. 2015;15(5):1213-1244. doi:10.1007/s10208-014-9223-y
apa: Edelsbrunner, H., Jablonski, G., & Mrozek, M. (2015). The persistent homology
of a self-map. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-014-9223-y
chicago: Edelsbrunner, Herbert, Grzegorz Jablonski, and Marian Mrozek. “The Persistent
Homology of a Self-Map.” Foundations of Computational Mathematics. Springer,
2015. https://doi.org/10.1007/s10208-014-9223-y.
ieee: H. Edelsbrunner, G. Jablonski, and M. Mrozek, “The persistent homology of
a self-map,” Foundations of Computational Mathematics, vol. 15, no. 5.
Springer, pp. 1213–1244, 2015.
ista: Edelsbrunner H, Jablonski G, Mrozek M. 2015. The persistent homology of a
self-map. Foundations of Computational Mathematics. 15(5), 1213–1244.
mla: Edelsbrunner, Herbert, et al. “The Persistent Homology of a Self-Map.” Foundations
of Computational Mathematics, vol. 15, no. 5, Springer, 2015, pp. 1213–44,
doi:10.1007/s10208-014-9223-y.
short: H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics
15 (2015) 1213–1244.
date_created: 2018-12-11T11:55:20Z
date_published: 2015-10-01T00:00:00Z
date_updated: 2025-09-23T14:08:54Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.1007/s10208-014-9223-y
ec_funded: 1
external_id:
isi:
- '000360862900004'
file:
- access_level: open_access
checksum: 3566f3a8b0c1bc550e62914a88c584ff
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:10Z
date_updated: 2020-07-14T12:45:26Z
file_id: '4670'
file_name: IST-2016-486-v1+1_s10208-014-9223-y.pdf
file_size: 1317546
relation: main_file
file_date_updated: 2020-07-14T12:45:26Z
has_accepted_license: '1'
intvolume: ' 15'
isi: 1
issue: '5'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '10'
oa: 1
oa_version: Published Version
page: 1213 - 1244
project:
- _id: 255D761E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '318493'
name: Topological Complex Systems
publication: Foundations of Computational Mathematics
publication_status: published
publisher: Springer
publist_id: '5022'
pubrep_id: '486'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The persistent homology of a self-map
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 15
year: '2015'
...
---
_id: '1874'
abstract:
- lang: eng
text: 'The hippocampal region, comprising the hippocampal formation and the parahippocampal
region, has been one of the most intensively studied parts of the brain for decades.
Better understanding of its functional diversity and complexity has led to an
increased demand for specificity in experimental procedures and manipulations.
In view of the complex 3D structure of the hippocampal region, precisely positioned
experimental approaches require a fine-grained architectural description that
is available and readable to experimentalists lacking detailed anatomical experience.
In this paper, we provide the first cyto- and chemoarchitectural description of
the hippocampal formation and parahippocampal region in the rat at high resolution
and in the three standard sectional planes: coronal, horizontal and sagittal.
The atlas uses a series of adjacent sections stained for neurons and for a number
of chemical marker substances, particularly parvalbumin and calbindin. All the
borders defined in one plane have been cross-checked against their counterparts
in the other two planes. The entire dataset will be made available as a web-based
interactive application through the Rodent Brain WorkBench (http://www.rbwb.org)
which, together with this paper, provides a unique atlas resource.'
article_processing_charge: No
author:
- first_name: Charlotte
full_name: Boccara, Charlotte
id: 3FC06552-F248-11E8-B48F-1D18A9856A87
last_name: Boccara
orcid: 0000-0001-7237-5109
- first_name: Lisa
full_name: Kjønigsen, Lisa
last_name: Kjønigsen
- first_name: Ingvild
full_name: Hammer, Ingvild
last_name: Hammer
- first_name: Jan
full_name: Bjaalie, Jan
last_name: Bjaalie
- first_name: Trygve
full_name: Leergaard, Trygve
last_name: Leergaard
- first_name: Menno
full_name: Witter, Menno
last_name: Witter
citation:
ama: Boccara CN, Kjønigsen L, Hammer I, Bjaalie J, Leergaard T, Witter M. A three-plane
architectonic atlas of the rat hippocampal region. Hippocampus. 2015;25(7):838-857.
doi:10.1002/hipo.22407
apa: Boccara, C. N., Kjønigsen, L., Hammer, I., Bjaalie, J., Leergaard, T., &
Witter, M. (2015). A three-plane architectonic atlas of the rat hippocampal region.
Hippocampus. Wiley. https://doi.org/10.1002/hipo.22407
chicago: Boccara, Charlotte N., Lisa Kjønigsen, Ingvild Hammer, Jan Bjaalie, Trygve
Leergaard, and Menno Witter. “A Three-Plane Architectonic Atlas of the Rat Hippocampal
Region.” Hippocampus. Wiley, 2015. https://doi.org/10.1002/hipo.22407.
ieee: C. N. Boccara, L. Kjønigsen, I. Hammer, J. Bjaalie, T. Leergaard, and M. Witter,
“A three-plane architectonic atlas of the rat hippocampal region,” Hippocampus,
vol. 25, no. 7. Wiley, pp. 838–857, 2015.
ista: Boccara CN, Kjønigsen L, Hammer I, Bjaalie J, Leergaard T, Witter M. 2015.
A three-plane architectonic atlas of the rat hippocampal region. Hippocampus.
25(7), 838–857.
mla: Boccara, Charlotte N., et al. “A Three-Plane Architectonic Atlas of the Rat
Hippocampal Region.” Hippocampus, vol. 25, no. 7, Wiley, 2015, pp. 838–57,
doi:10.1002/hipo.22407.
short: C.N. Boccara, L. Kjønigsen, I. Hammer, J. Bjaalie, T. Leergaard, M. Witter,
Hippocampus 25 (2015) 838–857.
date_created: 2018-12-11T11:54:29Z
date_published: 2015-07-01T00:00:00Z
date_updated: 2025-09-23T07:29:29Z
day: '01'
department:
- _id: JoCs
doi: 10.1002/hipo.22407
external_id:
isi:
- '000356812700007'
intvolume: ' 25'
isi: 1
issue: '7'
language:
- iso: eng
month: '07'
oa_version: None
page: 838 - 857
publication: Hippocampus
publication_status: published
publisher: Wiley
publist_id: '5222'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A three-plane architectonic atlas of the rat hippocampal region
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 25
year: '2015'
...
---
_id: '1878'
abstract:
- lang: eng
text: Petrocoptis is a small genus of chasmophytic plants endemic to the Iberian
Peninsula, with some localized populations in the French Pyrenees. Within the
genus, a dozen species have been recognized based on morphological diversity,
most of them with limited distribution area, in small populations and frequently
with potential threats to their survival. To date, however, a molecular evaluation
of the current systematic treatments has not been carried out. The aim of the
present study is to infer phylogenetic relationships among its subordinate taxa
by using plastidial rps16 intron and nuclear internal transcribed spacer (ITS)
DNA sequences; and evaluate the phylogenetic placement of the genus Petrocoptis
within the family Caryophyllaceae. The monophyly of Petrocoptis is supported by
both ITS and rps16 intron sequence analyses. Furthermore, time estimates using
BEAST analyses indicate a Middle to Late Miocene diversification (10.59 Myr, 6.44–15.26
Myr highest posterior densities [HPD], for ITS; 14.30 Myr, 8.61–21.00 Myr HPD,
for rps16 intron).
article_processing_charge: No
author:
- first_name: Eduardo
full_name: Cires Rodriguez, Eduardo
id: 2AD56A7A-F248-11E8-B48F-1D18A9856A87
last_name: Cires Rodriguez
- first_name: José
full_name: Prieto, José
last_name: Prieto
citation:
ama: Cires Rodriguez E, Prieto J. Phylogenetic relationships of Petrocoptis A. Braun
ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula. Journal
of Plant Research. 2015;128(2):223-238. doi:10.1007/s10265-014-0691-6
apa: Cires Rodriguez, E., & Prieto, J. (2015). Phylogenetic relationships of
Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian
Peninsula. Journal of Plant Research. Springer. https://doi.org/10.1007/s10265-014-0691-6
chicago: Cires Rodriguez, Eduardo, and José Prieto. “Phylogenetic Relationships
of Petrocoptis A. Braun Ex Endl. (Caryophyllaceae), a Discussed Genus from the
Iberian Peninsula.” Journal of Plant Research. Springer, 2015. https://doi.org/10.1007/s10265-014-0691-6.
ieee: E. Cires Rodriguez and J. Prieto, “Phylogenetic relationships of Petrocoptis
A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula,”
Journal of Plant Research, vol. 128, no. 2. Springer, pp. 223–238, 2015.
ista: Cires Rodriguez E, Prieto J. 2015. Phylogenetic relationships of Petrocoptis
A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula.
Journal of Plant Research. 128(2), 223–238.
mla: Cires Rodriguez, Eduardo, and José Prieto. “Phylogenetic Relationships of Petrocoptis
A. Braun Ex Endl. (Caryophyllaceae), a Discussed Genus from the Iberian Peninsula.”
Journal of Plant Research, vol. 128, no. 2, Springer, 2015, pp. 223–38,
doi:10.1007/s10265-014-0691-6.
short: E. Cires Rodriguez, J. Prieto, Journal of Plant Research 128 (2015) 223–238.
corr_author: '1'
date_created: 2018-12-11T11:54:30Z
date_published: 2015-01-24T00:00:00Z
date_updated: 2025-09-23T09:49:04Z
day: '24'
department:
- _id: JiFr
doi: 10.1007/s10265-014-0691-6
external_id:
isi:
- '000350826000001'
intvolume: ' 128'
isi: 1
issue: '2'
language:
- iso: eng
month: '01'
oa_version: None
page: 223 - 238
publication: Journal of Plant Research
publication_status: published
publisher: Springer
publist_id: '5217'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae),
a discussed genus from the Iberian Peninsula
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 128
year: '2015'
...
---
_id: '1879'
abstract:
- lang: eng
text: When electron microscopy (EM) was introduced in the 1930s it gave scientists
their first look into the nanoworld of cells. Over the last 80 years EM has vastly
increased our understanding of the complex cellular structures that underlie the
diverse functions that cells need to maintain life. One drawback that has been
difficult to overcome was the inherent lack of volume information, mainly due
to the limit on the thickness of sections that could be viewed in a transmission
electron microscope (TEM). For many years scientists struggled to achieve three-dimensional
(3D) EM using serial section reconstructions, TEM tomography, and scanning EM
(SEM) techniques such as freeze-fracture. Although each technique yielded some
special information, they required a significant amount of time and specialist
expertise to obtain even a very small 3D EM dataset. Almost 20 years ago scientists
began to exploit SEMs to image blocks of embedded tissues and perform serial sectioning
of these tissues inside the SEM chamber. Using first focused ion beams (FIB) and
subsequently robotic ultramicrotomes (serial block-face, SBF-SEM) microscopists
were able to collect large volumes of 3D EM information at resolutions that could
address many important biological questions, and do so in an efficient manner.
We present here some examples of 3D EM taken from the many diverse specimens that
have been imaged in our core facility. We propose that the next major step forward
will be to efficiently correlate functional information obtained using light microscopy
(LM) with 3D EM datasets to more completely investigate the important links between
cell structures and their functions.
acknowledgement: The Zeiss Merlin with Gatan 3View2XP and Zeiss Auriga were acquired
through a CLEM grant from Minister Ingrid Lieten to the VIB Bio-Imaging-Core. Michiel
Krols and Saskia Lippens are the recipients of a fellowship from the FWO (Fonds
Wetenschappelijk Onderzoek) of Flanders.
article_processing_charge: No
author:
- first_name: A
full_name: Kremer, A
last_name: Kremer
- first_name: Stefaan
full_name: Lippens, Stefaan
last_name: Lippens
- first_name: Sonia
full_name: Bartunkova, Sonia
last_name: Bartunkova
- first_name: Bob
full_name: Asselbergh, Bob
last_name: Asselbergh
- first_name: Cendric
full_name: Blanpain, Cendric
last_name: Blanpain
- first_name: Matyas
full_name: Fendrych, Matyas
id: 43905548-F248-11E8-B48F-1D18A9856A87
last_name: Fendrych
orcid: 0000-0002-9767-8699
- first_name: A
full_name: Goossens, A
last_name: Goossens
- first_name: Matthew
full_name: Holt, Matthew
last_name: Holt
- first_name: Sophie
full_name: Janssens, Sophie
last_name: Janssens
- first_name: Michiel
full_name: Krols, Michiel
last_name: Krols
- first_name: Jean
full_name: Larsimont, Jean
last_name: Larsimont
- first_name: Conor
full_name: Mc Guire, Conor
last_name: Mc Guire
- first_name: Moritz
full_name: Nowack, Moritz
last_name: Nowack
- first_name: Xavier
full_name: Saelens, Xavier
last_name: Saelens
- first_name: Andreas
full_name: Schertel, Andreas
last_name: Schertel
- first_name: B
full_name: Schepens, B
last_name: Schepens
- first_name: M
full_name: Slezak, M
last_name: Slezak
- first_name: Vincent
full_name: Timmerman, Vincent
last_name: Timmerman
- first_name: Clara
full_name: Theunis, Clara
last_name: Theunis
- first_name: Ronald
full_name: Van Brempt, Ronald
last_name: Van Brempt
- first_name: Y
full_name: Visser, Y
last_name: Visser
- first_name: Christophe
full_name: Guérin, Christophe
last_name: Guérin
citation:
ama: Kremer A, Lippens S, Bartunkova S, et al. Developing 3D SEM in a broad biological
context. Journal of Microscopy. 2015;259(2):80-96. doi:10.1111/jmi.12211
apa: Kremer, A., Lippens, S., Bartunkova, S., Asselbergh, B., Blanpain, C., Fendrych,
M., … Guérin, C. (2015). Developing 3D SEM in a broad biological context. Journal
of Microscopy. Wiley-Blackwell. https://doi.org/10.1111/jmi.12211
chicago: Kremer, A, Stefaan Lippens, Sonia Bartunkova, Bob Asselbergh, Cendric Blanpain,
Matyas Fendrych, A Goossens, et al. “Developing 3D SEM in a Broad Biological Context.”
Journal of Microscopy. Wiley-Blackwell, 2015. https://doi.org/10.1111/jmi.12211.
ieee: A. Kremer et al., “Developing 3D SEM in a broad biological context,”
Journal of Microscopy, vol. 259, no. 2. Wiley-Blackwell, pp. 80–96, 2015.
ista: Kremer A, Lippens S, Bartunkova S, Asselbergh B, Blanpain C, Fendrych M, Goossens
A, Holt M, Janssens S, Krols M, Larsimont J, Mc Guire C, Nowack M, Saelens X,
Schertel A, Schepens B, Slezak M, Timmerman V, Theunis C, Van Brempt R, Visser
Y, Guérin C. 2015. Developing 3D SEM in a broad biological context. Journal of
Microscopy. 259(2), 80–96.
mla: Kremer, A., et al. “Developing 3D SEM in a Broad Biological Context.” Journal
of Microscopy, vol. 259, no. 2, Wiley-Blackwell, 2015, pp. 80–96, doi:10.1111/jmi.12211.
short: A. Kremer, S. Lippens, S. Bartunkova, B. Asselbergh, C. Blanpain, M. Fendrych,
A. Goossens, M. Holt, S. Janssens, M. Krols, J. Larsimont, C. Mc Guire, M. Nowack,
X. Saelens, A. Schertel, B. Schepens, M. Slezak, V. Timmerman, C. Theunis, R.
Van Brempt, Y. Visser, C. Guérin, Journal of Microscopy 259 (2015) 80–96.
date_created: 2018-12-11T11:54:30Z
date_published: 2015-08-01T00:00:00Z
date_updated: 2025-09-23T08:26:17Z
day: '01'
ddc:
- '570'
department:
- _id: JiFr
doi: 10.1111/jmi.12211
external_id:
isi:
- '000358300600002'
file:
- access_level: open_access
checksum: 3649c5372d1644062d728ea9287e367f
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:19Z
date_updated: 2020-07-14T12:45:19Z
file_id: '4872'
file_name: IST-2016-459-v1+1_KREMER_et_al-2015-Journal_of_Microscopy.pdf
file_size: 2899898
relation: main_file
file_date_updated: 2020-07-14T12:45:19Z
has_accepted_license: '1'
intvolume: ' 259'
isi: 1
issue: '2'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 80 - 96
publication: Journal of Microscopy
publication_status: published
publisher: Wiley-Blackwell
publist_id: '5218'
pubrep_id: '459'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Developing 3D SEM in a broad biological context
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 259
year: '2015'
...
---
_id: '1880'
abstract:
- lang: eng
text: We investigate the relation between Bose-Einstein condensation (BEC) and superfluidity
in the ground state of a one-dimensional model of interacting bosons in a strong
random potential. We prove rigorously that in a certain parameter regime the superfluid
fraction can be arbitrarily small while complete BEC prevails. In another regime
there is both complete BEC and complete superfluidity, despite the strong disorder
acknowledgement: Support from the Natural Sciences and Engineering Research Council
of Canada NSERC (MK and RS) and from the Austrian Science Fund FWF (JY, under project
P 22929-N16) is gratefully acknowledged
article_number: '013022'
article_processing_charge: No
author:
- first_name: Martin
full_name: Könenberg, Martin
last_name: Könenberg
- first_name: Thomas
full_name: Moser, Thomas
id: 2B5FC9A4-F248-11E8-B48F-1D18A9856A87
last_name: Moser
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
- first_name: Jakob
full_name: Yngvason, Jakob
last_name: Yngvason
citation:
ama: Könenberg M, Moser T, Seiringer R, Yngvason J. Superfluid behavior of a Bose-Einstein
condensate in a random potential. New Journal of Physics. 2015;17. doi:10.1088/1367-2630/17/1/013022
apa: Könenberg, M., Moser, T., Seiringer, R., & Yngvason, J. (2015). Superfluid
behavior of a Bose-Einstein condensate in a random potential. New Journal of
Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/17/1/013022
chicago: Könenberg, Martin, Thomas Moser, Robert Seiringer, and Jakob Yngvason.
“Superfluid Behavior of a Bose-Einstein Condensate in a Random Potential.” New
Journal of Physics. IOP Publishing, 2015. https://doi.org/10.1088/1367-2630/17/1/013022.
ieee: M. Könenberg, T. Moser, R. Seiringer, and J. Yngvason, “Superfluid behavior
of a Bose-Einstein condensate in a random potential,” New Journal of Physics,
vol. 17. IOP Publishing, 2015.
ista: Könenberg M, Moser T, Seiringer R, Yngvason J. 2015. Superfluid behavior of
a Bose-Einstein condensate in a random potential. New Journal of Physics. 17,
013022.
mla: Könenberg, Martin, et al. “Superfluid Behavior of a Bose-Einstein Condensate
in a Random Potential.” New Journal of Physics, vol. 17, 013022, IOP Publishing,
2015, doi:10.1088/1367-2630/17/1/013022.
short: M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, New Journal of Physics
17 (2015).
date_created: 2018-12-11T11:54:30Z
date_published: 2015-01-15T00:00:00Z
date_updated: 2025-09-23T10:51:00Z
day: '15'
ddc:
- '530'
department:
- _id: RoSe
doi: 10.1088/1367-2630/17/1/013022
external_id:
isi:
- '000348759300007'
file:
- access_level: open_access
checksum: 38fdf2b5ac30445e26a5d613abd84b16
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:12:44Z
date_updated: 2020-07-14T12:45:20Z
file_id: '4963'
file_name: IST-2016-447-v1+1_document_1_.pdf
file_size: 768108
relation: main_file
file_date_updated: 2020-07-14T12:45:20Z
has_accepted_license: '1'
intvolume: ' 17'
isi: 1
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
project:
- _id: 26450934-B435-11E9-9278-68D0E5697425
name: NSERC Postdoctoral fellowship
publication: New Journal of Physics
publication_status: published
publisher: IOP Publishing
publist_id: '5214'
pubrep_id: '447'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Superfluid behavior of a Bose-Einstein condensate in a random potential
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 17
year: '2015'
...
---
_id: '1882'
abstract:
- lang: eng
text: We provide a framework for compositional and iterative design and verification
of systems with quantitative information, such as rewards, time or energy. It
is based on disjunctive modal transition systems where we allow actions to bear
various types of quantitative information. Throughout the design process the actions
can be further refined and the information made more precise. We show how to compute
the results of standard operations on the systems, including the quotient (residual),
which has not been previously considered for quantitative non-deterministic systems.
Our quantitative framework has close connections to the modal nu-calculus and
is compositional with respect to general notions of distances between systems
and the standard operations.
acknowledgement: This research was funded in part by the European Research Council
(ERC) under grant agreement 267989 (QUAREM), by the Austrian Science Fund (FWF)
project S11402-N23 (RiSE), and by the Czech Science Foundation, grant No. P202/12/G061.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Uli
full_name: Fahrenberg, Uli
last_name: Fahrenberg
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
- first_name: Axel
full_name: Legay, Axel
last_name: Legay
- first_name: Louis
full_name: Traonouez, Louis
last_name: Traonouez
citation:
ama: 'Fahrenberg U, Kretinsky J, Legay A, Traonouez L. Compositionality for quantitative
specifications. In: Vol 8997. Springer; 2015:306-324. doi:10.1007/978-3-319-15317-9_19'
apa: 'Fahrenberg, U., Kretinsky, J., Legay, A., & Traonouez, L. (2015). Compositionality
for quantitative specifications (Vol. 8997, pp. 306–324). Presented at the FACS:
Formal Aspects of Component Software, Bertinoro, Italy: Springer. https://doi.org/10.1007/978-3-319-15317-9_19'
chicago: Fahrenberg, Uli, Jan Kretinsky, Axel Legay, and Louis Traonouez. “Compositionality
for Quantitative Specifications,” 8997:306–24. Springer, 2015. https://doi.org/10.1007/978-3-319-15317-9_19.
ieee: 'U. Fahrenberg, J. Kretinsky, A. Legay, and L. Traonouez, “Compositionality
for quantitative specifications,” presented at the FACS: Formal Aspects of Component
Software, Bertinoro, Italy, 2015, vol. 8997, pp. 306–324.'
ista: 'Fahrenberg U, Kretinsky J, Legay A, Traonouez L. 2015. Compositionality for
quantitative specifications. FACS: Formal Aspects of Component Software, LNCS,
vol. 8997, 306–324.'
mla: Fahrenberg, Uli, et al. Compositionality for Quantitative Specifications.
Vol. 8997, Springer, 2015, pp. 306–24, doi:10.1007/978-3-319-15317-9_19.
short: U. Fahrenberg, J. Kretinsky, A. Legay, L. Traonouez, in:, Springer, 2015,
pp. 306–324.
conference:
end_date: 2014-09-12
location: Bertinoro, Italy
name: 'FACS: Formal Aspects of Component Software'
start_date: 2014-09-10
corr_author: '1'
date_created: 2018-12-11T11:54:31Z
date_published: 2015-01-30T00:00:00Z
date_updated: 2025-06-11T07:22:00Z
day: '30'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1007/978-3-319-15317-9_19
ec_funded: 1
external_id:
arxiv:
- '1408.1256'
intvolume: ' 8997'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1408.1256
month: '01'
oa: 1
oa_version: Preprint
page: 306 - 324
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _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: '5216'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Compositionality for quantitative specifications
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8997
year: '2015'
...
---
_id: '1883'
abstract:
- lang: eng
text: "We introduce a one-parametric family of tree growth models, in which branching
probabilities decrease with branch age τ as τ-α. Depending on the exponent α,
the scaling of tree depth with tree size n displays a transition between the logarithmic
scaling of random trees and an algebraic growth. At the transition (α=1) tree
depth grows as (logn)2. This anomalous scaling is in good agreement with the trend
observed in evolution of biological species, thus providing a theoretical support
for age-dependent speciation and associating it to the occurrence of a critical
point.\r\n"
article_number: '022803'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Stephanie
full_name: Keller-Schmidt, Stephanie
last_name: Keller-Schmidt
- first_name: Murat
full_name: Tugrul, Murat
id: 37C323C6-F248-11E8-B48F-1D18A9856A87
last_name: Tugrul
orcid: 0000-0002-8523-0758
- first_name: Víctor
full_name: Eguíluz, Víctor
last_name: Eguíluz
- first_name: Emilio
full_name: Hernandez Garcia, Emilio
last_name: Hernandez Garcia
- first_name: Konstantin
full_name: Klemm, Konstantin
last_name: Klemm
citation:
ama: Keller-Schmidt S, Tugrul M, Eguíluz V, Hernandez Garcia E, Klemm K. Anomalous
scaling in an age-dependent branching model. Physical Review E Statistical
Nonlinear and Soft Matter Physics. 2015;91(2). doi:10.1103/PhysRevE.91.022803
apa: Keller-Schmidt, S., Tugrul, M., Eguíluz, V., Hernandez Garcia, E., & Klemm,
K. (2015). Anomalous scaling in an age-dependent branching model. Physical
Review E Statistical Nonlinear and Soft Matter Physics. American Institute
of Physics. https://doi.org/10.1103/PhysRevE.91.022803
chicago: Keller-Schmidt, Stephanie, Murat Tugrul, Víctor Eguíluz, Emilio Hernandez
Garcia, and Konstantin Klemm. “Anomalous Scaling in an Age-Dependent Branching
Model.” Physical Review E Statistical Nonlinear and Soft Matter Physics.
American Institute of Physics, 2015. https://doi.org/10.1103/PhysRevE.91.022803.
ieee: S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, and K. Klemm,
“Anomalous scaling in an age-dependent branching model,” Physical Review E
Statistical Nonlinear and Soft Matter Physics, vol. 91, no. 2. American Institute
of Physics, 2015.
ista: Keller-Schmidt S, Tugrul M, Eguíluz V, Hernandez Garcia E, Klemm K. 2015.
Anomalous scaling in an age-dependent branching model. Physical Review E Statistical
Nonlinear and Soft Matter Physics. 91(2), 022803.
mla: Keller-Schmidt, Stephanie, et al. “Anomalous Scaling in an Age-Dependent Branching
Model.” Physical Review E Statistical Nonlinear and Soft Matter Physics,
vol. 91, no. 2, 022803, American Institute of Physics, 2015, doi:10.1103/PhysRevE.91.022803.
short: S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, K. Klemm,
Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).
date_created: 2018-12-11T11:54:31Z
date_published: 2015-02-02T00:00:00Z
date_updated: 2025-09-23T07:53:52Z
day: '02'
department:
- _id: NiBa
doi: 10.1103/PhysRevE.91.022803
external_id:
arxiv:
- '1012.3298'
isi:
- '000349860900006'
intvolume: ' 91'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1012.3298
month: '02'
oa: 1
oa_version: Preprint
publication: Physical Review E Statistical Nonlinear and Soft Matter Physics
publication_status: published
publisher: American Institute of Physics
publist_id: '5213'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Anomalous scaling in an age-dependent branching model
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 91
year: '2015'
...
---
_id: '1885'
abstract:
- lang: eng
text: 'The concept of positional information is central to our understanding of
how cells determine their location in a multicellular structure and thereby their
developmental fates. Nevertheless, positional information has neither been defined
mathematically nor quantified in a principled way. Here we provide an information-theoretic
definition in the context of developmental gene expression patterns and examine
the features of expression patterns that affect positional information quantitatively.
We connect positional information with the concept of positional error and develop
tools to directly measure information and error from experimental data. We illustrate
our framework for the case of gap gene expression patterns in the early Drosophila
embryo and show how information that is distributed among only four genes is sufficient
to determine developmental fates with nearly single-cell resolution. Our approach
can be generalized to a variety of different model systems; procedures and examples
are discussed in detail. '
article_processing_charge: No
arxiv: 1
author:
- first_name: Gasper
full_name: Tkacik, Gasper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkacik
orcid: 0000-0002-6699-1455
- first_name: Julien
full_name: Dubuis, Julien
last_name: Dubuis
- first_name: Mariela
full_name: Petkova, Mariela
last_name: Petkova
- first_name: Thomas
full_name: Gregor, Thomas
last_name: Gregor
citation:
ama: 'Tkačik G, Dubuis J, Petkova M, Gregor T. Positional information, positional
error, and readout precision in morphogenesis: A mathematical framework. Genetics.
2015;199(1):39-59. doi:10.1534/genetics.114.171850'
apa: 'Tkačik, G., Dubuis, J., Petkova, M., & Gregor, T. (2015). Positional information,
positional error, and readout precision in morphogenesis: A mathematical framework.
Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.114.171850'
chicago: 'Tkačik, Gašper, Julien Dubuis, Mariela Petkova, and Thomas Gregor. “Positional
Information, Positional Error, and Readout Precision in Morphogenesis: A Mathematical
Framework.” Genetics. Genetics Society of America, 2015. https://doi.org/10.1534/genetics.114.171850.'
ieee: 'G. Tkačik, J. Dubuis, M. Petkova, and T. Gregor, “Positional information,
positional error, and readout precision in morphogenesis: A mathematical framework,”
Genetics, vol. 199, no. 1. Genetics Society of America, pp. 39–59, 2015.'
ista: 'Tkačik G, Dubuis J, Petkova M, Gregor T. 2015. Positional information, positional
error, and readout precision in morphogenesis: A mathematical framework. Genetics.
199(1), 39–59.'
mla: 'Tkačik, Gašper, et al. “Positional Information, Positional Error, and Readout
Precision in Morphogenesis: A Mathematical Framework.” Genetics, vol. 199,
no. 1, Genetics Society of America, 2015, pp. 39–59, doi:10.1534/genetics.114.171850.'
short: G. Tkačik, J. Dubuis, M. Petkova, T. Gregor, Genetics 199 (2015) 39–59.
corr_author: '1'
date_created: 2018-12-11T11:54:32Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2025-09-23T09:53:07Z
day: '01'
department:
- _id: GaTk
doi: 10.1534/genetics.114.171850
external_id:
arxiv:
- '1404.5599'
isi:
- '000347712900004'
intvolume: ' 199'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1404.5599
month: '01'
oa: 1
oa_version: Preprint
page: 39 - 59
publication: Genetics
publication_status: published
publisher: Genetics Society of America
publist_id: '5210'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Positional information, positional error, and readout precision in morphogenesis:
A mathematical framework'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 199
year: '2015'
...
---
_id: '1938'
abstract:
- lang: eng
text: 'We numerically investigate the distribution of extrema of ''chaotic'' Laplacian
eigenfunctions on two-dimensional manifolds. Our contribution is two-fold: (a)
we count extrema on grid graphs with a small number of randomly added edges and
show the behavior to coincide with the 1957 prediction of Longuet-Higgins for
the continuous case and (b) we compute the regularity of their spatial distribution
using discrepancy, which is a classical measure from the theory of Monte Carlo
integration. The first part suggests that grid graphs with randomly added edges
should behave like two-dimensional surfaces with ergodic geodesic flow; in the
second part we show that the extrema are more regularly distributed in space than
the grid Z2.'
acknowledgement: "F.P. was supported by the Graduate School of IST Austria. S.S. was
partially supported by CRC1060 of the DFG\r\nThe authors thank Olga Symonova and
Michael Kerber for sharing their implementation of the persistence algorithm. "
article_processing_charge: No
author:
- first_name: Florian
full_name: Pausinger, Florian
id: 2A77D7A2-F248-11E8-B48F-1D18A9856A87
last_name: Pausinger
orcid: 0000-0002-8379-3768
- first_name: Stefan
full_name: Steinerberger, Stefan
last_name: Steinerberger
citation:
ama: Pausinger F, Steinerberger S. On the distribution of local extrema in quantum
chaos. Physics Letters, Section A. 2015;379(6):535-541. doi:10.1016/j.physleta.2014.12.010
apa: Pausinger, F., & Steinerberger, S. (2015). On the distribution of local
extrema in quantum chaos. Physics Letters, Section A. Elsevier. https://doi.org/10.1016/j.physleta.2014.12.010
chicago: Pausinger, Florian, and Stefan Steinerberger. “On the Distribution of Local
Extrema in Quantum Chaos.” Physics Letters, Section A. Elsevier, 2015.
https://doi.org/10.1016/j.physleta.2014.12.010.
ieee: F. Pausinger and S. Steinerberger, “On the distribution of local extrema in
quantum chaos,” Physics Letters, Section A, vol. 379, no. 6. Elsevier,
pp. 535–541, 2015.
ista: Pausinger F, Steinerberger S. 2015. On the distribution of local extrema in
quantum chaos. Physics Letters, Section A. 379(6), 535–541.
mla: Pausinger, Florian, and Stefan Steinerberger. “On the Distribution of Local
Extrema in Quantum Chaos.” Physics Letters, Section A, vol. 379, no. 6,
Elsevier, 2015, pp. 535–41, doi:10.1016/j.physleta.2014.12.010.
short: F. Pausinger, S. Steinerberger, Physics Letters, Section A 379 (2015) 535–541.
corr_author: '1'
date_created: 2018-12-11T11:54:49Z
date_published: 2015-03-06T00:00:00Z
date_updated: 2025-09-23T09:44:12Z
day: '06'
department:
- _id: HeEd
doi: 10.1016/j.physleta.2014.12.010
external_id:
isi:
- '000349586000006'
intvolume: ' 379'
isi: 1
issue: '6'
language:
- iso: eng
month: '03'
oa_version: None
page: 535 - 541
publication: Physics Letters, Section A
publication_status: published
publisher: Elsevier
publist_id: '5152'
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the distribution of local extrema in quantum chaos
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 379
year: '2015'
...
---
_id: '1940'
abstract:
- lang: eng
text: We typically think of cells as responding to external signals independently
by regulating their gene expression levels, yet they often locally exchange information
and coordinate. Can such spatial coupling be of benefit for conveying signals
subject to gene regulatory noise? Here we extend our information-theoretic framework
for gene regulation to spatially extended systems. As an example, we consider
a lattice of nuclei responding to a concentration field of a transcriptional regulator
(the "input") by expressing a single diffusible target gene. When input
concentrations are low, diffusive coupling markedly improves information transmission;
optimal gene activation functions also systematically change. A qualitatively
new regulatory strategy emerges where individual cells respond to the input in
a nearly step-like fashion that is subsequently averaged out by strong diffusion.
While motivated by early patterning events in the Drosophila embryo, our framework
is generically applicable to spatially coupled stochastic gene expression models.
article_number: '062710'
article_processing_charge: No
arxiv: 1
author:
- first_name: Thomas R
full_name: Sokolowski, Thomas R
id: 3E999752-F248-11E8-B48F-1D18A9856A87
last_name: Sokolowski
orcid: 0000-0002-1287-3779
- first_name: Gasper
full_name: Tkacik, Gasper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkacik
orcid: 0000-0002-6699-1455
citation:
ama: Sokolowski TR, Tkačik G. Optimizing information flow in small genetic networks.
IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter
Physics. 2015;91(6). doi:10.1103/PhysRevE.91.062710
apa: Sokolowski, T. R., & Tkačik, G. (2015). Optimizing information flow in
small genetic networks. IV. Spatial coupling. Physical Review E Statistical
Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.91.062710
chicago: Sokolowski, Thomas R, and Gašper Tkačik. “Optimizing Information Flow in
Small Genetic Networks. IV. Spatial Coupling.” Physical Review E Statistical
Nonlinear and Soft Matter Physics. American Institute of Physics, 2015. https://doi.org/10.1103/PhysRevE.91.062710.
ieee: T. R. Sokolowski and G. Tkačik, “Optimizing information flow in small genetic
networks. IV. Spatial coupling,” Physical Review E Statistical Nonlinear and
Soft Matter Physics, vol. 91, no. 6. American Institute of Physics, 2015.
ista: Sokolowski TR, Tkačik G. 2015. Optimizing information flow in small genetic
networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft
Matter Physics. 91(6), 062710.
mla: Sokolowski, Thomas R., and Gašper Tkačik. “Optimizing Information Flow in Small
Genetic Networks. IV. Spatial Coupling.” Physical Review E Statistical Nonlinear
and Soft Matter Physics, vol. 91, no. 6, 062710, American Institute of Physics,
2015, doi:10.1103/PhysRevE.91.062710.
short: T.R. Sokolowski, G. Tkačik, Physical Review E Statistical Nonlinear and Soft
Matter Physics 91 (2015).
corr_author: '1'
date_created: 2018-12-11T11:54:49Z
date_published: 2015-06-15T00:00:00Z
date_updated: 2025-09-23T09:46:10Z
day: '15'
department:
- _id: GaTk
doi: 10.1103/PhysRevE.91.062710
external_id:
arxiv:
- '1501.04015'
isi:
- '000356131600006'
intvolume: ' 91'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1501.04015
month: '06'
oa: 1
oa_version: Preprint
publication: Physical Review E Statistical Nonlinear and Soft Matter Physics
publication_status: published
publisher: American Institute of Physics
publist_id: '5145'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Optimizing information flow in small genetic networks. IV. Spatial coupling
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 91
year: '2015'
...
---
_id: '1944'
acknowledgement: This work was supported by the European Research Council (project
ERC-2011-StG-20101109-PSDP); the Agency for Innovation by Science and Technology
(IWT) (predoctoral fellowship to H.R.); and the People Programme (Marie Curie Actions)
of the European Union
article_processing_charge: No
author:
- first_name: Hana
full_name: Rakusová, Hana
last_name: Rakusová
- first_name: Matyas
full_name: Fendrych, Matyas
id: 43905548-F248-11E8-B48F-1D18A9856A87
last_name: Fendrych
orcid: 0000-0002-9767-8699
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Rakusová H, Fendrych M, Friml J. Intracellular trafficking and PIN-mediated
cell polarity during tropic responses in plants. Current Opinion in Plant Biology.
2015;23(2):116-123. doi:10.1016/j.pbi.2014.12.002
apa: Rakusová, H., Fendrych, M., & Friml, J. (2015). Intracellular trafficking
and PIN-mediated cell polarity during tropic responses in plants. Current Opinion
in Plant Biology. Elsevier. https://doi.org/10.1016/j.pbi.2014.12.002
chicago: Rakusová, Hana, Matyas Fendrych, and Jiří Friml. “Intracellular Trafficking
and PIN-Mediated Cell Polarity during Tropic Responses in Plants.” Current
Opinion in Plant Biology. Elsevier, 2015. https://doi.org/10.1016/j.pbi.2014.12.002.
ieee: H. Rakusová, M. Fendrych, and J. Friml, “Intracellular trafficking and PIN-mediated
cell polarity during tropic responses in plants,” Current Opinion in Plant
Biology, vol. 23, no. 2. Elsevier, pp. 116–123, 2015.
ista: Rakusová H, Fendrych M, Friml J. 2015. Intracellular trafficking and PIN-mediated
cell polarity during tropic responses in plants. Current Opinion in Plant Biology.
23(2), 116–123.
mla: Rakusová, Hana, et al. “Intracellular Trafficking and PIN-Mediated Cell Polarity
during Tropic Responses in Plants.” Current Opinion in Plant Biology, vol.
23, no. 2, Elsevier, 2015, pp. 116–23, doi:10.1016/j.pbi.2014.12.002.
short: H. Rakusová, M. Fendrych, J. Friml, Current Opinion in Plant Biology 23 (2015)
116–123.
corr_author: '1'
date_created: 2018-12-11T11:54:51Z
date_published: 2015-02-01T00:00:00Z
date_updated: 2025-09-23T09:23:09Z
day: '01'
department:
- _id: JiFr
doi: 10.1016/j.pbi.2014.12.002
ec_funded: 1
external_id:
isi:
- '000349880900017'
intvolume: ' 23'
isi: 1
issue: '2'
language:
- iso: eng
month: '02'
oa_version: None
page: 116 - 123
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Current Opinion in Plant Biology
publication_status: published
publisher: Elsevier
publist_id: '5140'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Intracellular trafficking and PIN-mediated cell polarity during tropic responses
in plants
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 23
year: '2015'
...
---
_id: '1481'
abstract:
- lang: eng
text: 'Simple board games, like Tic-Tac-Toe and CONNECT-4, play an important role
not only in the development of mathematical and logical skills, but also in the
emotional and social development. In this paper, we address the problem of generating
targeted starting positions for such games. This can facilitate new approaches
for bringing novice players to mastery, and also leads to discovery of interesting
game variants. We present an approach that generates starting states of varying
hardness levels for player 1 in a two-player board game, given rules of the board
game, the desired number of steps required for player 1 to win, and the expertise
levels of the two players. Our approach leverages symbolic methods and iterative
simulation to efficiently search the extremely large state space. We present experimental
results that include discovery of states of varying hardness levels for several
simple grid-based board games. The presence of such states for standard game variants
like 4×4 Tic-Tac-Toe opens up new games to be played that have never been played
as the default start state is heavily biased. '
acknowledgement: "A Technical Report of this paper is available at: \r\nhttps://repository.ist.ac.at/id/eprint/146.\r\n"
article_processing_charge: No
arxiv: 1
author:
- first_name: Umair
full_name: Ahmed, Umair
last_name: Ahmed
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Sumit
full_name: Gulwani, Sumit
last_name: Gulwani
citation:
ama: 'Ahmed U, Chatterjee K, Gulwani S. Automatic generation of alternative starting
positions for simple traditional board games. In: Proceedings of the Twenty-Ninth
AAAI Conference on Artificial Intelligence. Vol 2. AAAI Press; 2015:745-752.'
apa: 'Ahmed, U., Chatterjee, K., & Gulwani, S. (2015). Automatic generation
of alternative starting positions for simple traditional board games. In Proceedings
of the Twenty-Ninth AAAI Conference on Artificial Intelligence (Vol. 2, pp.
745–752). Austin, TX, USA: AAAI Press.'
chicago: Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. “Automatic Generation
of Alternative Starting Positions for Simple Traditional Board Games.” In Proceedings
of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2:745–52.
AAAI Press, 2015.
ieee: U. Ahmed, K. Chatterjee, and S. Gulwani, “Automatic generation of alternative
starting positions for simple traditional board games,” in Proceedings of the
Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, TX, USA,
2015, vol. 2, pp. 745–752.
ista: 'Ahmed U, Chatterjee K, Gulwani S. 2015. Automatic generation of alternative
starting positions for simple traditional board games. Proceedings of the Twenty-Ninth
AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence
vol. 2, 745–752.'
mla: Ahmed, Umair, et al. “Automatic Generation of Alternative Starting Positions
for Simple Traditional Board Games.” Proceedings of the Twenty-Ninth AAAI Conference
on Artificial Intelligence, vol. 2, AAAI Press, 2015, pp. 745–52.
short: U. Ahmed, K. Chatterjee, S. Gulwani, in:, Proceedings of the Twenty-Ninth
AAAI Conference on Artificial Intelligence, AAAI Press, 2015, pp. 745–752.
conference:
end_date: 2015-01-30
location: Austin, TX, USA
name: 'AAAI: Conference on Artificial Intelligence'
start_date: 2015-01-25
date_created: 2018-12-11T11:52:16Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2025-05-19T11:10:17Z
day: '01'
department:
- _id: KrCh
ec_funded: 1
external_id:
arxiv:
- '1411.4023'
intvolume: ' 2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/download/9523/9300
month: '01'
oa: 1
oa_version: None
page: 745 - 752
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _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: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence
publication_status: published
publisher: AAAI Press
publist_id: '5713'
quality_controlled: '1'
related_material:
record:
- id: '5410'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Automatic generation of alternative starting positions for simple traditional
board games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2015'
...
---
_id: '1483'
abstract:
- lang: eng
text: Topological data analysis offers a rich source of valuable information to
study vision problems. Yet, so far we lack a theoretically sound connection to
popular kernel-based learning techniques, such as kernel SVMs or kernel PCA. In
this work, we establish such a connection by designing a multi-scale kernel for
persistence diagrams, a stable summary representation of topological features
in data. We show that this kernel is positive definite and prove its stability
with respect to the 1-Wasserstein distance. Experiments on two benchmark datasets
for 3D shape classification/retrieval and texture recognition show considerable
performance gains of the proposed method compared to an alternative approach that
is based on the recently introduced persistence landscapes.
article_processing_charge: No
arxiv: 1
author:
- first_name: Jan
full_name: Reininghaus, Jan
id: 4505473A-F248-11E8-B48F-1D18A9856A87
last_name: Reininghaus
- first_name: Stefan
full_name: Huber, Stefan
id: 4700A070-F248-11E8-B48F-1D18A9856A87
last_name: Huber
orcid: 0000-0002-8871-5814
- first_name: Ulrich
full_name: Bauer, Ulrich
id: 2ADD483A-F248-11E8-B48F-1D18A9856A87
last_name: Bauer
orcid: 0000-0002-9683-0724
- first_name: Roland
full_name: Kwitt, Roland
last_name: Kwitt
citation:
ama: 'Reininghaus J, Huber S, Bauer U, Kwitt R. A stable multi-scale kernel for
topological machine learning. In: IEEE; 2015:4741-4748. doi:10.1109/CVPR.2015.7299106'
apa: 'Reininghaus, J., Huber, S., Bauer, U., & Kwitt, R. (2015). A stable multi-scale
kernel for topological machine learning (pp. 4741–4748). Presented at the CVPR:
Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE. https://doi.org/10.1109/CVPR.2015.7299106'
chicago: Reininghaus, Jan, Stefan Huber, Ulrich Bauer, and Roland Kwitt. “A Stable
Multi-Scale Kernel for Topological Machine Learning,” 4741–48. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7299106.
ieee: 'J. Reininghaus, S. Huber, U. Bauer, and R. Kwitt, “A stable multi-scale kernel
for topological machine learning,” presented at the CVPR: Computer Vision and
Pattern Recognition, Boston, MA, USA, 2015, pp. 4741–4748.'
ista: 'Reininghaus J, Huber S, Bauer U, Kwitt R. 2015. A stable multi-scale kernel
for topological machine learning. CVPR: Computer Vision and Pattern Recognition,
4741–4748.'
mla: Reininghaus, Jan, et al. A Stable Multi-Scale Kernel for Topological Machine
Learning. IEEE, 2015, pp. 4741–48, doi:10.1109/CVPR.2015.7299106.
short: J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.
conference:
end_date: 2015-06-12
location: Boston, MA, USA
name: 'CVPR: Computer Vision and Pattern Recognition'
start_date: 2015-06-07
date_created: 2018-12-11T11:52:17Z
date_published: 2015-10-14T00:00:00Z
date_updated: 2025-06-11T06:37:43Z
day: '14'
department:
- _id: HeEd
doi: 10.1109/CVPR.2015.7299106
external_id:
arxiv:
- '1412.6821'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1412.6821
month: '10'
oa: 1
oa_version: Preprint
page: 4741 - 4748
publication_identifier:
eisbn:
- '978-1-4673-6964-0 '
publication_status: published
publisher: IEEE
publist_id: '5709'
scopus_import: '1'
status: public
title: A stable multi-scale kernel for topological machine learning
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2015'
...
---
_id: '1495'
abstract:
- lang: eng
text: 'Motivated by biological questions, we study configurations of equal-sized
disks in the Euclidean plane that neither pack nor cover. Measuring the quality
by the probability that a random point lies in exactly one disk, we show that
the regular hexagonal grid gives the maximum among lattice configurations. '
article_processing_charge: No
arxiv: 1
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Mabel
full_name: Iglesias Ham, Mabel
id: 41B58C0C-F248-11E8-B48F-1D18A9856A87
last_name: Iglesias Ham
- first_name: Vitaliy
full_name: Kurlin, Vitaliy
last_name: Kurlin
citation:
ama: 'Edelsbrunner H, Iglesias Ham M, Kurlin V. Relaxed disk packing. In: Proceedings
of the 27th Canadian Conference on Computational Geometry. Vol 2015-August.
Queen’s University; 2015:128-135.'
apa: 'Edelsbrunner, H., Iglesias Ham, M., & Kurlin, V. (2015). Relaxed disk
packing. In Proceedings of the 27th Canadian Conference on Computational Geometry
(Vol. 2015–August, pp. 128–135). Ontario, Canada: Queen’s University.'
chicago: Edelsbrunner, Herbert, Mabel Iglesias Ham, and Vitaliy Kurlin. “Relaxed
Disk Packing.” In Proceedings of the 27th Canadian Conference on Computational
Geometry, 2015–August:128–35. Queen’s University, 2015.
ieee: H. Edelsbrunner, M. Iglesias Ham, and V. Kurlin, “Relaxed disk packing,” in
Proceedings of the 27th Canadian Conference on Computational Geometry,
Ontario, Canada, 2015, vol. 2015–August, pp. 128–135.
ista: 'Edelsbrunner H, Iglesias Ham M, Kurlin V. 2015. Relaxed disk packing. Proceedings
of the 27th Canadian Conference on Computational Geometry. CCCG: Canadian Conference
on Computational Geometry vol. 2015–August, 128–135.'
mla: Edelsbrunner, Herbert, et al. “Relaxed Disk Packing.” Proceedings of the
27th Canadian Conference on Computational Geometry, vol. 2015–August, Queen’s
University, 2015, pp. 128–35.
short: H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th
Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.
conference:
end_date: 2015-08-12
location: Ontario, Canada
name: 'CCCG: Canadian Conference on Computational Geometry'
start_date: 2015-08-10
date_created: 2018-12-11T11:52:21Z
date_published: 2015-08-01T00:00:00Z
date_updated: 2025-06-11T06:38:01Z
day: '01'
department:
- _id: HeEd
ec_funded: 1
external_id:
arxiv:
- '1505.03402'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1505.03402
month: '08'
oa: 1
oa_version: Submitted Version
page: 128-135
project:
- _id: 255D761E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '318493'
name: Topological Complex Systems
publication: Proceedings of the 27th Canadian Conference on Computational Geometry
publication_status: published
publisher: Queen's University
publist_id: '5684'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Relaxed disk packing
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2015-August
year: '2015'
...
---
_id: '1497'
abstract:
- lang: eng
text: Detecting allelic biases from high-throughput sequencing data requires an
approach that maximises sensitivity while minimizing false positives. Here, we
present Allelome.PRO, an automated user-friendly bioinformatics pipeline, which
uses high-throughput sequencing data from reciprocal crosses of two genetically
distinct mouse strains to detect allele-specific expression and chromatin modifications.
Allelome.PRO extends approaches used in previous studies that exclusively analyzed
imprinted expression to give a complete picture of the ‘allelome’ by automatically
categorising the allelic expression of all genes in a given cell type into imprinted,
strain-biased, biallelic or non-informative. Allelome.PRO offers increased sensitivity
to analyze lowly expressed transcripts, together with a robust false discovery
rate empirically calculated from variation in the sequencing data. We used RNA-seq
data from mouse embryonic fibroblasts from F1 reciprocal crosses to determine
a biologically relevant allelic ratio cutoff, and define for the first time an
entire allelome. Furthermore, we show that Allelome.PRO detects differential enrichment
of H3K4me3 over promoters from ChIP-seq data validating the RNA-seq results. This
approach can be easily extended to analyze histone marks of active enhancers,
or transcription factor binding sites and therefore provides a powerful tool to
identify candidate cis regulatory elements genome wide.
acknowledgement: "Austrian Science Fund [FWF P25185-B22, FWF F4302- B09, FWFW1207-B09].
Funding for open access charge: Austrian Science Fund.\r\nWe thank Florian Breitwieser
for advice during the early stages of this project. High-throughput sequencing was
conducted by the Biomedical Sequencing Facility (BSF) at CeMM in Vienna."
article_number: e146
article_processing_charge: No
author:
- first_name: Daniel
full_name: Andergassen, Daniel
last_name: Andergassen
- first_name: Christoph
full_name: Dotter, Christoph
id: 4C66542E-F248-11E8-B48F-1D18A9856A87
last_name: Dotter
orcid: 0000-0002-9033-9096
- first_name: Tomasz
full_name: Kulinski, Tomasz
last_name: Kulinski
- first_name: Philipp
full_name: Guenzl, Philipp
last_name: Guenzl
- first_name: Philipp
full_name: Bammer, Philipp
last_name: Bammer
- first_name: Denise
full_name: Barlow, Denise
last_name: Barlow
- first_name: Florian
full_name: Pauler, Florian
last_name: Pauler
- first_name: Quanah
full_name: Hudson, Quanah
last_name: Hudson
citation:
ama: Andergassen D, Dotter C, Kulinski T, et al. Allelome.PRO, a pipeline to define
allele-specific genomic features from high-throughput sequencing data. Nucleic
Acids Research. 2015;43(21). doi:10.1093/nar/gkv727
apa: Andergassen, D., Dotter, C., Kulinski, T., Guenzl, P., Bammer, P., Barlow,
D., … Hudson, Q. (2015). Allelome.PRO, a pipeline to define allele-specific genomic
features from high-throughput sequencing data. Nucleic Acids Research.
Oxford University Press. https://doi.org/10.1093/nar/gkv727
chicago: Andergassen, Daniel, Christoph Dotter, Tomasz Kulinski, Philipp Guenzl,
Philipp Bammer, Denise Barlow, Florian Pauler, and Quanah Hudson. “Allelome.PRO,
a Pipeline to Define Allele-Specific Genomic Features from High-Throughput Sequencing
Data.” Nucleic Acids Research. Oxford University Press, 2015. https://doi.org/10.1093/nar/gkv727.
ieee: D. Andergassen et al., “Allelome.PRO, a pipeline to define allele-specific
genomic features from high-throughput sequencing data,” Nucleic Acids Research,
vol. 43, no. 21. Oxford University Press, 2015.
ista: Andergassen D, Dotter C, Kulinski T, Guenzl P, Bammer P, Barlow D, Pauler
F, Hudson Q. 2015. Allelome.PRO, a pipeline to define allele-specific genomic
features from high-throughput sequencing data. Nucleic Acids Research. 43(21),
e146.
mla: Andergassen, Daniel, et al. “Allelome.PRO, a Pipeline to Define Allele-Specific
Genomic Features from High-Throughput Sequencing Data.” Nucleic Acids Research,
vol. 43, no. 21, e146, Oxford University Press, 2015, doi:10.1093/nar/gkv727.
short: D. Andergassen, C. Dotter, T. Kulinski, P. Guenzl, P. Bammer, D. Barlow,
F. Pauler, Q. Hudson, Nucleic Acids Research 43 (2015).
date_created: 2018-12-11T11:52:22Z
date_published: 2015-07-21T00:00:00Z
date_updated: 2025-09-23T07:45:31Z
day: '21'
ddc:
- '570'
department:
- _id: GaNo
doi: 10.1093/nar/gkv727
external_id:
isi:
- '000366410900009'
file:
- access_level: open_access
checksum: 385b83854fd0eb2e4f386867da2823e2
content_type: application/pdf
creator: dernst
date_created: 2018-12-20T14:18:57Z
date_updated: 2020-07-14T12:44:58Z
file_id: '5768'
file_name: 2015_NucleicAcidsRes_Andergassen.pdf
file_size: 6863297
relation: main_file
file_date_updated: 2020-07-14T12:44:58Z
has_accepted_license: '1'
intvolume: ' 43'
isi: 1
issue: '21'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
publication: Nucleic Acids Research
publication_status: published
publisher: Oxford University Press
publist_id: '5682'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput
sequencing 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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 43
year: '2015'
...
---
_id: '1498'
abstract:
- lang: eng
text: Fault-tolerant distributed algorithms play an important role in many critical/high-availability
applications. These algorithms are notoriously difficult to implement correctly,
due to asynchronous communication and the occurrence of faults, such as the network
dropping messages or computers crashing. Nonetheless there is surprisingly little
language and verification support to build distributed systems based on fault-tolerant
algorithms. In this paper, we present some of the challenges that a designer has
to overcome to implement a fault-tolerant distributed system. Then we review different
models that have been proposed to reason about distributed algorithms and sketch
how such a model can form the basis for a domain-specific programming language.
Adopting a high-level programming model can simplify the programmer's life and
make the code amenable to automated verification, while still compiling to efficiently
executable code. We conclude by summarizing the current status of an ongoing language
design and implementation project that is based on this idea.
alternative_title:
- LIPIcs
author:
- first_name: Cezara
full_name: Dragoi, Cezara
id: 2B2B5ED0-F248-11E8-B48F-1D18A9856A87
last_name: Dragoi
- 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: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
citation:
ama: Dragoi C, Henzinger TA, Zufferey D. The need for language support for fault-tolerant
distributed systems. 2015;32:90-102. doi:10.4230/LIPIcs.SNAPL.2015.90
apa: 'Dragoi, C., Henzinger, T. A., & Zufferey, D. (2015). The need for language
support for fault-tolerant distributed systems. Presented at the SNAPL: Summit
oN Advances in Programming Languages, Asilomar, CA, United States: Schloss Dagstuhl
- Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90'
chicago: Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “The Need for
Language Support for Fault-Tolerant Distributed Systems.” Leibniz International
Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2015. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90.
ieee: C. Dragoi, T. A. Henzinger, and D. Zufferey, “The need for language support
for fault-tolerant distributed systems,” vol. 32. Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, pp. 90–102, 2015.
ista: Dragoi C, Henzinger TA, Zufferey D. 2015. The need for language support for
fault-tolerant distributed systems. 32, 90–102.
mla: Dragoi, Cezara, et al. The Need for Language Support for Fault-Tolerant
Distributed Systems. Vol. 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2015, pp. 90–102, doi:10.4230/LIPIcs.SNAPL.2015.90.
short: C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.
conference:
end_date: 2015-05-06
location: Asilomar, CA, United States
name: 'SNAPL: Summit oN Advances in Programming Languages'
start_date: 2015-05-03
corr_author: '1'
date_created: 2018-12-11T11:52:22Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2025-04-15T06:26:02Z
day: '01'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.SNAPL.2015.90
ec_funded: 1
file:
- access_level: open_access
checksum: cf5e94baa89a2dc4c5de01abc676eda8
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:14:02Z
date_updated: 2020-07-14T12:44:58Z
file_id: '5050'
file_name: IST-2016-499-v1+1_9.pdf
file_size: 489362
relation: main_file
file_date_updated: 2020-07-14T12:44:58Z
has_accepted_license: '1'
intvolume: ' 32'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 90 - 102
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication_identifier:
isbn:
- '978-3-939897-80-4 '
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '5681'
pubrep_id: '499'
quality_controlled: '1'
scopus_import: 1
series_title: Leibniz International Proceedings in Informatics
status: public
title: The need for language support for fault-tolerant distributed systems
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: 32
year: '2015'
...
---
_id: '1499'
abstract:
- lang: eng
text: "We consider weighted automata with both positive and negative integer weights
on edges and\r\nstudy the problem of synchronization using adaptive strategies
that may only observe whether\r\nthe current weight-level is negative or nonnegative.
We show that the synchronization problem is decidable in polynomial time for deterministic
weighted automata."
acknowledgement: "The research leading to these results has received funding from
the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement
601148 (CASSTING), EU FP7 FET project SENSATION, Sino-Danish Basic Research Center
IDAE4CPS, the European Research Council (ERC) under grant agreement 267989 (QUAREM),
the Austrian Science Fund (FWF) project S11402-N23 (RiSE) and Z211-N23 (Wittgenstein
Award), the Czech Science Foundation under grant agreement P202/12/G061, and People
Programme (Marie Curie Actions) of the European Union’s Seventh Framework\r\nProgramme
(FP7/2007-2013) REA Grant No 291734."
alternative_title:
- LIPIcs
author:
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
- first_name: Kim
full_name: Larsen, Kim
last_name: Larsen
- first_name: Simon
full_name: Laursen, Simon
last_name: Laursen
- first_name: Jiří
full_name: Srba, Jiří
last_name: Srba
citation:
ama: 'Kretinsky J, Larsen K, Laursen S, Srba J. Polynomial time decidability of
weighted synchronization under partial observability. In: Vol 42. Schloss Dagstuhl
- Leibniz-Zentrum für Informatik; 2015:142-154. doi:10.4230/LIPIcs.CONCUR.2015.142'
apa: 'Kretinsky, J., Larsen, K., Laursen, S., & Srba, J. (2015). Polynomial
time decidability of weighted synchronization under partial observability (Vol.
42, pp. 142–154). Presented at the CONCUR: Concurrency Theory, Madrid, Spain:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2015.142'
chicago: Kretinsky, Jan, Kim Larsen, Simon Laursen, and Jiří Srba. “Polynomial Time
Decidability of Weighted Synchronization under Partial Observability,” 42:142–54.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.CONCUR.2015.142.
ieee: 'J. Kretinsky, K. Larsen, S. Laursen, and J. Srba, “Polynomial time decidability
of weighted synchronization under partial observability,” presented at the CONCUR:
Concurrency Theory, Madrid, Spain, 2015, vol. 42, pp. 142–154.'
ista: 'Kretinsky J, Larsen K, Laursen S, Srba J. 2015. Polynomial time decidability
of weighted synchronization under partial observability. CONCUR: Concurrency Theory,
LIPIcs, vol. 42, 142–154.'
mla: Kretinsky, Jan, et al. Polynomial Time Decidability of Weighted Synchronization
under Partial Observability. Vol. 42, Schloss Dagstuhl - Leibniz-Zentrum für
Informatik, 2015, pp. 142–54, doi:10.4230/LIPIcs.CONCUR.2015.142.
short: J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2015, pp. 142–154.
conference:
end_date: 2015-09-04
location: Madrid, Spain
name: 'CONCUR: Concurrency Theory'
start_date: 2015-09-01
date_created: 2018-12-11T11:52:22Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2025-04-15T06:26:02Z
day: '01'
ddc:
- '000'
- '003'
department:
- _id: ToHe
- _id: KrCh
doi: 10.4230/LIPIcs.CONCUR.2015.142
ec_funded: 1
file:
- access_level: open_access
checksum: 49eb5021caafaabe5356c65b9c5f8c9c
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:12Z
date_updated: 2020-07-14T12:44:58Z
file_id: '4672'
file_name: IST-2016-498-v1+1_32.pdf
file_size: 623563
relation: main_file
file_date_updated: 2020-07-14T12:44:58Z
has_accepted_license: '1'
intvolume: ' 42'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 142 - 154
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '5680'
pubrep_id: '498'
quality_controlled: '1'
scopus_import: 1
status: public
title: Polynomial time decidability of weighted synchronization under partial observability
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: 42
year: '2015'
...
---
_id: '1505'
abstract:
- lang: eng
text: This paper is aimed at deriving the universality of the largest eigenvalue
of a class of high-dimensional real or complex sample covariance matrices of the
form W N =Σ 1/2XX∗Σ 1/2 . Here, X = (xij )M,N is an M× N random matrix with independent
entries xij , 1 ≤ i M,≤ 1 ≤ j ≤ N such that Exij = 0, E|xij |2 = 1/N . On dimensionality,
we assume that M = M(N) and N/M → d ε (0, ∞) as N ∞→. For a class of general deterministic
positive-definite M × M matrices Σ , under some additional assumptions on the
distribution of xij 's, we show that the limiting behavior of the largest eigenvalue
of W N is universal, via pursuing a Green function comparison strategy raised
in [Probab. Theory Related Fields 154 (2012) 341-407, Adv. Math. 229 (2012) 1435-1515]
by Erd″os, Yau and Yin for Wigner matrices and extended by Pillai and Yin [Ann.
Appl. Probab. 24 (2014) 935-1001] to sample covariance matrices in the null case
(&Epsi = I ). Consequently, in the standard complex case (Ex2 ij = 0), combing
this universality property and the results known for Gaussian matrices obtained
by El Karoui in [Ann. Probab. 35 (2007) 663-714] (nonsingular case) and Onatski
in [Ann. Appl. Probab. 18 (2008) 470-490] (singular case), we show that after
an appropriate normalization the largest eigenvalue of W N converges weakly to
the type 2 Tracy-Widom distribution TW2 . Moreover, in the real case, we show
that whenΣ is spiked with a fixed number of subcritical spikes, the type 1 Tracy-Widom
limit TW1 holds for the normalized largest eigenvalue of W N , which extends a
result of Féral and Péché in [J. Math. Phys. 50 (2009) 073302] to the scenario
of nondiagonal Σ and more generally distributed X . In summary, we establish the
Tracy-Widom type universality for the largest eigenvalue of generally distributed
sample covariance matrices under quite light assumptions on &Sigma . Applications
of these limiting results to statistical signal detection and structure recognition
of separable covariance matrices are also discussed.
acknowledgement: "B.Z. was supported in part by NSFC Grant 11071213, ZJNSF
\ Grant R6090034 and SRFDP Grant 20100101110001. P.G. was supported in part
by the Ministry of Education, Singapore, under Grant ARC 14/11. Z.W. was supported
\ in part by the Ministry of Education, Singapore, under Grant ARC 14/11,
\ and by a Grant R-155-000-131-112 at the National University of Singapore\r\n"
article_processing_charge: No
arxiv: 1
author:
- first_name: Zhigang
full_name: Bao, Zhigang
id: 442E6A6C-F248-11E8-B48F-1D18A9856A87
last_name: Bao
orcid: 0000-0003-3036-1475
- first_name: Guangming
full_name: Pan, Guangming
last_name: Pan
- first_name: Wang
full_name: Zhou, Wang
last_name: Zhou
citation:
ama: Bao Z, Pan G, Zhou W. Universality for the largest eigenvalue of sample covariance
matrices with general population. Annals of Statistics. 2015;43(1):382-421.
doi:10.1214/14-AOS1281
apa: Bao, Z., Pan, G., & Zhou, W. (2015). Universality for the largest eigenvalue
of sample covariance matrices with general population. Annals of Statistics.
Institute of Mathematical Statistics. https://doi.org/10.1214/14-AOS1281
chicago: Bao, Zhigang, Guangming Pan, and Wang Zhou. “Universality for the Largest
Eigenvalue of Sample Covariance Matrices with General Population.” Annals of
Statistics. Institute of Mathematical Statistics, 2015. https://doi.org/10.1214/14-AOS1281.
ieee: Z. Bao, G. Pan, and W. Zhou, “Universality for the largest eigenvalue of sample
covariance matrices with general population,” Annals of Statistics, vol.
43, no. 1. Institute of Mathematical Statistics, pp. 382–421, 2015.
ista: Bao Z, Pan G, Zhou W. 2015. Universality for the largest eigenvalue of sample
covariance matrices with general population. Annals of Statistics. 43(1), 382–421.
mla: Bao, Zhigang, et al. “Universality for the Largest Eigenvalue of Sample Covariance
Matrices with General Population.” Annals of Statistics, vol. 43, no. 1,
Institute of Mathematical Statistics, 2015, pp. 382–421, doi:10.1214/14-AOS1281.
short: Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
date_created: 2018-12-11T11:52:25Z
date_published: 2015-02-01T00:00:00Z
date_updated: 2025-09-29T11:02:34Z
day: '01'
department:
- _id: LaEr
doi: 10.1214/14-AOS1281
external_id:
arxiv:
- '1304.5690'
isi:
- '000349738500014'
intvolume: ' 43'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1304.5690
month: '02'
oa: 1
oa_version: Preprint
page: 382 - 421
publication: Annals of Statistics
publication_status: published
publisher: Institute of Mathematical Statistics
publist_id: '5672'
quality_controlled: '1'
status: public
title: Universality for the largest eigenvalue of sample covariance matrices with
general population
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 43
year: '2015'
...
---
_id: '1506'
abstract:
- lang: eng
text: Consider the square random matrix An = (aij)n,n, where {aij:= a(n)ij , i,
j = 1, . . . , n} is a collection of independent real random variables with means
zero and variances one. Under the additional moment condition supn max1≤i,j ≤n
Ea4ij <∞, we prove Girko's logarithmic law of det An in the sense that as n→∞
log | detAn| ? (1/2) log(n-1)! d/→√(1/2) log n N(0, 1).
article_processing_charge: No
arxiv: 1
author:
- first_name: Zhigang
full_name: Bao, Zhigang
id: 442E6A6C-F248-11E8-B48F-1D18A9856A87
last_name: Bao
orcid: 0000-0003-3036-1475
- first_name: Guangming
full_name: Pan, Guangming
last_name: Pan
- first_name: Wang
full_name: Zhou, Wang
last_name: Zhou
citation:
ama: Bao Z, Pan G, Zhou W. The logarithmic law of random determinant. Bernoulli.
2015;21(3):1600-1628. doi:10.3150/14-BEJ615
apa: Bao, Z., Pan, G., & Zhou, W. (2015). The logarithmic law of random determinant.
Bernoulli. Bernoulli Society for Mathematical Statistics and Probability.
https://doi.org/10.3150/14-BEJ615
chicago: Bao, Zhigang, Guangming Pan, and Wang Zhou. “The Logarithmic Law of Random
Determinant.” Bernoulli. Bernoulli Society for Mathematical Statistics
and Probability, 2015. https://doi.org/10.3150/14-BEJ615.
ieee: Z. Bao, G. Pan, and W. Zhou, “The logarithmic law of random determinant,”
Bernoulli, vol. 21, no. 3. Bernoulli Society for Mathematical Statistics
and Probability, pp. 1600–1628, 2015.
ista: Bao Z, Pan G, Zhou W. 2015. The logarithmic law of random determinant. Bernoulli.
21(3), 1600–1628.
mla: Bao, Zhigang, et al. “The Logarithmic Law of Random Determinant.” Bernoulli,
vol. 21, no. 3, Bernoulli Society for Mathematical Statistics and Probability,
2015, pp. 1600–28, doi:10.3150/14-BEJ615.
short: Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
date_created: 2018-12-11T11:52:25Z
date_published: 2015-08-01T00:00:00Z
date_updated: 2025-09-23T13:59:56Z
day: '01'
department:
- _id: LaEr
doi: 10.3150/14-BEJ615
external_id:
arxiv:
- '1208.5823'
isi:
- '000356993100012'
intvolume: ' 21'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1208.5823
month: '08'
oa: 1
oa_version: Preprint
page: 1600 - 1628
publication: Bernoulli
publication_status: published
publisher: Bernoulli Society for Mathematical Statistics and Probability
publist_id: '5671'
quality_controlled: '1'
status: public
title: The logarithmic law of random determinant
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 21
year: '2015'
...
---
_id: '1508'
abstract:
- lang: eng
text: We consider generalized Wigner ensembles and general β-ensembles with analytic
potentials for any β ≥ 1. The recent universality results in particular assert
that the local averages of consecutive eigenvalue gaps in the bulk of the spectrum
are universal in the sense that they coincide with those of the corresponding
Gaussian β-ensembles. In this article, we show that local averaging is not necessary
for this result, i.e. we prove that the single gap distributions in the bulk are
universal. In fact, with an additional step, our result can be extended to any
C4(ℝ) potential.
article_processing_charge: No
arxiv: 1
author:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Horng
full_name: Yau, Horng
last_name: Yau
citation:
ama: Erdös L, Yau H. Gap universality of generalized Wigner and β ensembles. Journal
of the European Mathematical Society. 2015;17(8):1927-2036. doi:10.4171/JEMS/548
apa: Erdös, L., & Yau, H. (2015). Gap universality of generalized Wigner and
β ensembles. Journal of the European Mathematical Society. European Mathematical
Society. https://doi.org/10.4171/JEMS/548
chicago: Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and
β Ensembles.” Journal of the European Mathematical Society. European Mathematical
Society, 2015. https://doi.org/10.4171/JEMS/548.
ieee: L. Erdös and H. Yau, “Gap universality of generalized Wigner and β ensembles,”
Journal of the European Mathematical Society, vol. 17, no. 8. European
Mathematical Society, pp. 1927–2036, 2015.
ista: Erdös L, Yau H. 2015. Gap universality of generalized Wigner and β ensembles.
Journal of the European Mathematical Society. 17(8), 1927–2036.
mla: Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and β
Ensembles.” Journal of the European Mathematical Society, vol. 17, no.
8, European Mathematical Society, 2015, pp. 1927–2036, doi:10.4171/JEMS/548.
short: L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015)
1927–2036.
date_created: 2018-12-11T11:52:26Z
date_published: 2015-08-01T00:00:00Z
date_updated: 2025-09-23T09:08:38Z
day: '01'
department:
- _id: LaEr
doi: 10.4171/JEMS/548
external_id:
arxiv:
- '1211.3786'
isi:
- '000360822900003'
intvolume: ' 17'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1211.3786
month: '08'
oa: 1
oa_version: Preprint
page: 1927 - 2036
publication: Journal of the European Mathematical Society
publication_status: published
publisher: European Mathematical Society
publist_id: '5669'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Gap universality of generalized Wigner and β ensembles
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 17
year: '2015'
...