---
_id: '1864'
abstract:
- lang: eng
text: "The Altshuler–Shklovskii formulas (Altshuler and Shklovskii, BZh Eksp Teor
Fiz 91:200, 1986) predict, for any disordered quantum system in the diffusive
regime, a universal power law behaviour for the correlation functions of the mesoscopic
eigenvalue density. In this paper and its companion (Erdős and Knowles, The Altshuler–Shklovskii
formulas for random band matrices I: the unimodular case, 2013), we prove these
formulas for random band matrices. In (Erdős and Knowles, The Altshuler–Shklovskii
formulas for random band matrices I: the unimodular case, 2013) we introduced
a diagrammatic approach and presented robust estimates on general diagrams under
certain simplifying assumptions. In this paper, we remove these assumptions by
giving a general estimate of the subleading diagrams. We also give a precise analysis
of the leading diagrams which give rise to the Altschuler–Shklovskii power laws.
Moreover, we introduce a family of general random band matrices which interpolates
between real symmetric (β = 1) and complex Hermitian (β = 2) models, and track
the transition for the mesoscopic density–density correlation. Finally, we address
the higher-order correlation functions by proving that they behave asymptotically
according to a Gaussian process whose covariance is given by the Altshuler–Shklovskii
formulas.\r\n"
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: Antti
full_name: Knowles, Antti
last_name: Knowles
citation:
ama: 'Erdös L, Knowles A. The Altshuler–Shklovskii formulas for random band matrices
II: The general case. Annales Henri Poincare. 2015;16(3):709-799. doi:10.1007/s00023-014-0333-5'
apa: 'Erdös, L., & Knowles, A. (2015). The Altshuler–Shklovskii formulas for
random band matrices II: The general case. Annales Henri Poincare. Springer.
https://doi.org/10.1007/s00023-014-0333-5'
chicago: 'Erdös, László, and Antti Knowles. “The Altshuler–Shklovskii Formulas for
Random Band Matrices II: The General Case.” Annales Henri Poincare. Springer,
2015. https://doi.org/10.1007/s00023-014-0333-5.'
ieee: 'L. Erdös and A. Knowles, “The Altshuler–Shklovskii formulas for random band
matrices II: The general case,” Annales Henri Poincare, vol. 16, no. 3.
Springer, pp. 709–799, 2015.'
ista: 'Erdös L, Knowles A. 2015. The Altshuler–Shklovskii formulas for random band
matrices II: The general case. Annales Henri Poincare. 16(3), 709–799.'
mla: 'Erdös, László, and Antti Knowles. “The Altshuler–Shklovskii Formulas for Random
Band Matrices II: The General Case.” Annales Henri Poincare, vol. 16, no.
3, Springer, 2015, pp. 709–99, doi:10.1007/s00023-014-0333-5.'
short: L. Erdös, A. Knowles, Annales Henri Poincare 16 (2015) 709–799.
date_created: 2018-12-11T11:54:26Z
date_published: 2015-03-01T00:00:00Z
date_updated: 2021-01-12T06:53:42Z
day: '01'
department:
- _id: LaEr
doi: 10.1007/s00023-014-0333-5
ec_funded: 1
intvolume: ' 16'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1309.5107
month: '03'
oa: 1
oa_version: Preprint
page: 709 - 799
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
publication: Annales Henri Poincare
publication_status: published
publisher: Springer
publist_id: '5233'
scopus_import: 1
status: public
title: 'The Altshuler–Shklovskii formulas for random band matrices II: The general
case'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 16
year: '2015'
...
---
_id: '1865'
abstract:
- lang: eng
text: The plant hormone auxin and its directional transport are known to play a
crucial role in defining the embryonic axis and subsequent development of the
body plan. Although the role of PIN auxin efflux transporters has been clearly
assigned during embryonic shoot and root specification, the role of the auxin
influx carriers AUX1 and LIKE-AUX1 (LAX) proteins is not well established. Here,
we used chemical and genetic tools on Brassica napus microspore-derived embryos
and Arabidopsis thaliana zygotic embryos, and demonstrate that AUX1, LAX1 and
LAX2 are required for both shoot and root pole formation, in concert with PIN
efflux carriers. Furthermore, we uncovered a positive-feedback loop betweenMONOPTEROS(ARF5)-dependent
auxin signalling and auxin transport. ThisMONOPTEROSdependent transcriptional
regulation of auxin influx (AUX1, LAX1 and LAX2) and auxin efflux (PIN1 and PIN4)
carriers by MONOPTEROS helps to maintain proper auxin transport to the root tip.
These results indicate that auxin-dependent cell specification during embryo development
requires balanced auxin transport involving both influx and efflux mechanisms,
and that this transport is maintained by a positive transcriptional feedback on
auxin signalling.
acknowledgement: W.G. is a post-doctoral fellow of the Research Foundation Flanders.
H.S.R. is supported by Employment of Best Young Scientists for International Cooperation
Empowerment [CZ.1.07/2.3.00/30.0037], co-financed by the European Social Fund and
the state budget of the Czech Republic. Mi.S. was funded by the Ramón y Cajal program.
This work was supported by the European Research Council [project ERC-2011-StG-20101109-PSDP],
project ‘CEITEC – Central European Institute of Technology’ [CZ.1.05/1.1.00/02.0068],
the European Social Fund [CZ.1.07/2.3.00/20.0043] and the Czech Science Foundation
GACR [GA13-40637S] to J.F. We acknowledge funding from the Biological and Biotechnological
Science Research Council (BBSRC) and Engineering Physics Science Research Council
(EPSRC) to R.S. and M.B
author:
- first_name: Hélène
full_name: Robert, Hélène
last_name: Robert
- first_name: Wim
full_name: Grunewald, Wim
last_name: Grunewald
- first_name: Michael
full_name: Sauer, Michael
last_name: Sauer
- first_name: Bernard
full_name: Cannoot, Bernard
last_name: Cannoot
- first_name: Mercedes
full_name: Soriano, Mercedes
last_name: Soriano
- first_name: Ranjan
full_name: Swarup, Ranjan
last_name: Swarup
- first_name: Dolf
full_name: Weijers, Dolf
last_name: Weijers
- first_name: Malcolm
full_name: Bennett, Malcolm
last_name: Bennett
- first_name: Kim
full_name: Boutilier, Kim
last_name: Boutilier
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Robert H, Grunewald W, Sauer M, et al. Plant embryogenesis requires AUX/LAX-mediated
auxin influx. Development. 2015;142(4):702-711. doi:10.1242/dev.115832
apa: Robert, H., Grunewald, W., Sauer, M., Cannoot, B., Soriano, M., Swarup, R.,
… Friml, J. (2015). Plant embryogenesis requires AUX/LAX-mediated auxin influx.
Development. Company of Biologists. https://doi.org/10.1242/dev.115832
chicago: Robert, Hélène, Wim Grunewald, Michael Sauer, Bernard Cannoot, Mercedes
Soriano, Ranjan Swarup, Dolf Weijers, Malcolm Bennett, Kim Boutilier, and Jiří
Friml. “Plant Embryogenesis Requires AUX/LAX-Mediated Auxin Influx.” Development.
Company of Biologists, 2015. https://doi.org/10.1242/dev.115832.
ieee: H. Robert et al., “Plant embryogenesis requires AUX/LAX-mediated auxin
influx,” Development, vol. 142, no. 4. Company of Biologists, pp. 702–711,
2015.
ista: Robert H, Grunewald W, Sauer M, Cannoot B, Soriano M, Swarup R, Weijers D,
Bennett M, Boutilier K, Friml J. 2015. Plant embryogenesis requires AUX/LAX-mediated
auxin influx. Development. 142(4), 702–711.
mla: Robert, Hélène, et al. “Plant Embryogenesis Requires AUX/LAX-Mediated Auxin
Influx.” Development, vol. 142, no. 4, Company of Biologists, 2015, pp.
702–11, doi:10.1242/dev.115832.
short: H. Robert, W. Grunewald, M. Sauer, B. Cannoot, M. Soriano, R. Swarup, D.
Weijers, M. Bennett, K. Boutilier, J. Friml, Development 142 (2015) 702–711.
date_created: 2018-12-11T11:54:26Z
date_published: 2015-02-15T00:00:00Z
date_updated: 2021-01-12T06:53:43Z
day: '15'
department:
- _id: JiFr
doi: 10.1242/dev.115832
ec_funded: 1
intvolume: ' 142'
issue: '4'
language:
- iso: eng
month: '02'
oa_version: None
page: 702 - 711
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: Development
publication_status: published
publisher: Company of Biologists
publist_id: '5231'
quality_controlled: '1'
scopus_import: 1
status: public
title: Plant embryogenesis requires AUX/LAX-mediated auxin influx
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 142
year: '2015'
...
---
_id: '1866'
author:
- 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: Jean
full_name: Raskin, Jean
last_name: Raskin
citation:
ama: 'Henzinger TA, Raskin J. The equivalence problem for finite automata: Technical
perspective. Communications of the ACM. 2015;58(2):86-86. doi:10.1145/2701001'
apa: 'Henzinger, T. A., & Raskin, J. (2015). The equivalence problem for finite
automata: Technical perspective. Communications of the ACM. ACM. https://doi.org/10.1145/2701001'
chicago: 'Henzinger, Thomas A, and Jean Raskin. “The Equivalence Problem for Finite
Automata: Technical Perspective.” Communications of the ACM. ACM, 2015.
https://doi.org/10.1145/2701001.'
ieee: 'T. A. Henzinger and J. Raskin, “The equivalence problem for finite automata:
Technical perspective,” Communications of the ACM, vol. 58, no. 2. ACM,
pp. 86–86, 2015.'
ista: 'Henzinger TA, Raskin J. 2015. The equivalence problem for finite automata:
Technical perspective. Communications of the ACM. 58(2), 86–86.'
mla: 'Henzinger, Thomas A., and Jean Raskin. “The Equivalence Problem for Finite
Automata: Technical Perspective.” Communications of the ACM, vol. 58, no.
2, ACM, 2015, pp. 86–86, doi:10.1145/2701001.'
short: T.A. Henzinger, J. Raskin, Communications of the ACM 58 (2015) 86–86.
date_created: 2018-12-11T11:54:26Z
date_published: 2015-01-28T00:00:00Z
date_updated: 2021-01-12T06:53:43Z
day: '28'
department:
- _id: ToHe
doi: 10.1145/2701001
intvolume: ' 58'
issue: '2'
language:
- iso: eng
month: '01'
oa_version: None
page: 86-86
publication: Communications of the ACM
publication_status: published
publisher: ACM
publist_id: '5232'
scopus_import: 1
status: public
title: 'The equivalence problem for finite automata: Technical perspective'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 58
year: '2015'
...
---
_id: '1867'
abstract:
- lang: eng
text: Cultured mammalian cells essential are model systems in basic biology research,
production platforms of proteins for medical use, and testbeds in synthetic biology.
Flavin cofactors, in particular flavin mononucleotide (FMN) and flavin adenine
dinucleotide (FAD), are critical for cellular redox reactions and sense light
in naturally occurring photoreceptors and optogenetic tools. Here, we quantified
flavin contents of commonly used mammalian cell lines. We first compared three
procedures for extraction of free and noncovalently protein-bound flavins and
verified extraction using fluorescence spectroscopy. For separation, two CE methods
with different BGEs were established, and detection was performed by LED-induced
fluorescence with limit of detections (LODs 0.5-3.8 nM). We found that riboflavin
(RF), FMN, and FAD contents varied significantly between cell lines. RF (3.1-14
amol/cell) and FAD (2.2-17.0 amol/cell) were the predominant flavins, while FMN
(0.46-3.4 amol/cell) was found at markedly lower levels. Observed flavin contents
agree with those previously extracted from mammalian tissues, yet reduced forms
of RF were detected that were not described previously. Quantification of flavins
in mammalian cell lines will allow a better understanding of cellular redox reactions
and optogenetic tools.
author:
- first_name: Jens
full_name: Hühner, Jens
last_name: Hühner
- first_name: Álvaro
full_name: Inglés Prieto, Álvaro
id: 2A9DB292-F248-11E8-B48F-1D18A9856A87
last_name: Inglés Prieto
orcid: 0000-0002-5409-8571
- first_name: Christian
full_name: Neusüß, Christian
last_name: Neusüß
- first_name: Michael
full_name: Lämmerhofer, Michael
last_name: Lämmerhofer
- first_name: Harald L
full_name: Janovjak, Harald L
id: 33BA6C30-F248-11E8-B48F-1D18A9856A87
last_name: Janovjak
orcid: 0000-0002-8023-9315
citation:
ama: Hühner J, Inglés Prieto Á, Neusüß C, Lämmerhofer M, Janovjak HL. Quantification
of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian
model cells by CE with LED-induced fluorescence detection. Electrophoresis.
2015;36(4):518-525. doi:10.1002/elps.201400451
apa: Hühner, J., Inglés Prieto, Á., Neusüß, C., Lämmerhofer, M., & Janovjak,
H. L. (2015). Quantification of riboflavin, flavin mononucleotide, and flavin
adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence
detection. Electrophoresis. Wiley. https://doi.org/10.1002/elps.201400451
chicago: Hühner, Jens, Álvaro Inglés Prieto, Christian Neusüß, Michael Lämmerhofer,
and Harald L Janovjak. “Quantification of Riboflavin, Flavin Mononucleotide, and
Flavin Adenine Dinucleotide in Mammalian Model Cells by CE with LED-Induced Fluorescence
Detection.” Electrophoresis. Wiley, 2015. https://doi.org/10.1002/elps.201400451.
ieee: J. Hühner, Á. Inglés Prieto, C. Neusüß, M. Lämmerhofer, and H. L. Janovjak,
“Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide
in mammalian model cells by CE with LED-induced fluorescence detection,” Electrophoresis,
vol. 36, no. 4. Wiley, pp. 518–525, 2015.
ista: Hühner J, Inglés Prieto Á, Neusüß C, Lämmerhofer M, Janovjak HL. 2015. Quantification
of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian
model cells by CE with LED-induced fluorescence detection. Electrophoresis. 36(4),
518–525.
mla: Hühner, Jens, et al. “Quantification of Riboflavin, Flavin Mononucleotide,
and Flavin Adenine Dinucleotide in Mammalian Model Cells by CE with LED-Induced
Fluorescence Detection.” Electrophoresis, vol. 36, no. 4, Wiley, 2015,
pp. 518–25, doi:10.1002/elps.201400451.
short: J. Hühner, Á. Inglés Prieto, C. Neusüß, M. Lämmerhofer, H.L. Janovjak, Electrophoresis
36 (2015) 518–525.
date_created: 2018-12-11T11:54:26Z
date_published: 2015-02-01T00:00:00Z
date_updated: 2021-01-12T06:53:43Z
day: '01'
department:
- _id: HaJa
doi: 10.1002/elps.201400451
ec_funded: 1
intvolume: ' 36'
issue: '4'
language:
- iso: eng
month: '02'
oa_version: None
page: 518 - 525
project:
- _id: 25548C20-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '303564'
name: Microbial Ion Channels for Synthetic Neurobiology
- _id: 255BFFFA-B435-11E9-9278-68D0E5697425
grant_number: RGY0084/2012
name: In situ real-time imaging of neurotransmitter signaling using designer optical
sensors (HFSP Young Investigator)
publication: Electrophoresis
publication_status: published
publisher: Wiley
publist_id: '5230'
pubrep_id: '836'
quality_controlled: '1'
scopus_import: 1
status: public
title: Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide
in mammalian model cells by CE with LED-induced fluorescence detection
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 36
year: '2015'
...
---
_id: '1868'
abstract:
- lang: eng
text: We investigate high-dimensional nonlinear dynamical systems exhibiting multiple
resonances under adiabatic parameter variations. Our motivations come from experimental
considerations where time-dependent sweeping of parameters is a practical approach
to probing and characterizing the bifurcations of the system. The question is
whether bifurcations so detected are faithful representations of the bifurcations
intrinsic to the original stationary system. Utilizing a harmonically forced,
closed fluid flow system that possesses multiple resonances and solving the Navier-Stokes
equation under proper boundary conditions, we uncover the phenomenon of the early
effect. Specifically, as a control parameter, e.g., the driving frequency, is
adiabatically increased from an initial value, resonances emerge at frequency
values that are lower than those in the corresponding stationary system. The phenomenon
is established by numerical characterization of physical quantities through the
resonances, which include the kinetic energy and the vorticity field, and a heuristic
analysis based on the concept of instantaneous frequency. A simple formula is
obtained which relates the resonance points in the time-dependent and time-independent
systems. Our findings suggest that, in general, any true bifurcation of a nonlinear
dynamical system can be unequivocally uncovered through adiabatic parameter sweeping,
in spite of a shift in the bifurcation point, which is of value to experimental
studies of nonlinear dynamical systems.
article_number: '022906'
author:
- first_name: Youngyong
full_name: Park, Youngyong
last_name: Park
- first_name: Younghae
full_name: Do, Younghae
last_name: Do
- first_name: Sebastian
full_name: Altmeyer, Sebastian
id: 2EE67FDC-F248-11E8-B48F-1D18A9856A87
last_name: Altmeyer
orcid: 0000-0001-5964-0203
- first_name: Yingcheng
full_name: Lai, Yingcheng
last_name: Lai
- first_name: Gyuwon
full_name: Lee, Gyuwon
last_name: Lee
citation:
ama: Park Y, Do Y, Altmeyer S, Lai Y, Lee G. Early effect in time-dependent, high-dimensional
nonlinear dynamical systems with multiple resonances. Physical Review E.
2015;91(2). doi:10.1103/PhysRevE.91.022906
apa: Park, Y., Do, Y., Altmeyer, S., Lai, Y., & Lee, G. (2015). Early effect
in time-dependent, high-dimensional nonlinear dynamical systems with multiple
resonances. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.91.022906
chicago: Park, Youngyong, Younghae Do, Sebastian Altmeyer, Yingcheng Lai, and Gyuwon
Lee. “Early Effect in Time-Dependent, High-Dimensional Nonlinear Dynamical Systems
with Multiple Resonances.” Physical Review E. American Physical Society,
2015. https://doi.org/10.1103/PhysRevE.91.022906.
ieee: Y. Park, Y. Do, S. Altmeyer, Y. Lai, and G. Lee, “Early effect in time-dependent,
high-dimensional nonlinear dynamical systems with multiple resonances,” Physical
Review E, vol. 91, no. 2. American Physical Society, 2015.
ista: Park Y, Do Y, Altmeyer S, Lai Y, Lee G. 2015. Early effect in time-dependent,
high-dimensional nonlinear dynamical systems with multiple resonances. Physical
Review E. 91(2), 022906.
mla: Park, Youngyong, et al. “Early Effect in Time-Dependent, High-Dimensional Nonlinear
Dynamical Systems with Multiple Resonances.” Physical Review E, vol. 91,
no. 2, 022906, American Physical Society, 2015, doi:10.1103/PhysRevE.91.022906.
short: Y. Park, Y. Do, S. Altmeyer, Y. Lai, G. Lee, Physical Review E 91 (2015).
date_created: 2018-12-11T11:54:27Z
date_published: 2015-02-09T00:00:00Z
date_updated: 2021-01-12T06:53:44Z
day: '09'
department:
- _id: BjHo
doi: 10.1103/PhysRevE.91.022906
intvolume: ' 91'
issue: '2'
language:
- iso: eng
month: '02'
oa_version: None
publication: Physical Review E
publication_identifier:
issn:
- 1539-3755
publication_status: published
publisher: American Physical Society
publist_id: '5229'
quality_controlled: '1'
scopus_import: 1
status: public
title: Early effect in time-dependent, high-dimensional nonlinear dynamical systems
with multiple resonances
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 91
year: '2015'
...
---
_id: '1871'
abstract:
- lang: eng
text: The plant hormone auxin is a key regulator of plant growth and development.
Differences in auxin distribution within tissues are mediated by the polar auxin
transport machinery, and cellular auxin responses occur depending on changes in
cellular auxin levels. Multiple receptor systems at the cell surface and in the
interior operate to sense and interpret fluctuations in auxin distribution that
occur during plant development. Until now, three proteins or protein complexes
that can bind auxin have been identified. SCFTIR1 [a SKP1-cullin-1-F-box complex
that contains transport inhibitor response 1 (TIR1) as the F-box protein] and
S-phase-kinaseassociated protein 2 (SKP2) localize to the nucleus, whereas auxinbinding
protein 1 (ABP1), predominantly associates with the endoplasmic reticulum and
cell surface. In this Cell Science at a Glance article, we summarize recent discoveries
in the field of auxin transport and signaling that have led to the identification
of new components of these pathways, as well as their mutual interaction.
acknowledgement: This work was supported by the European Research Council [project
ERC-2011-StG-20101109-PSDP]; European Social Fund [grant number CZ.1.07/2.3.00/20.0043]
and the Czech Science Foundation GAČR [grant number GA13-40637S]
author:
- first_name: Peter
full_name: Grones, Peter
id: 399876EC-F248-11E8-B48F-1D18A9856A87
last_name: Grones
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Grones P, Friml J. Auxin transporters and binding proteins at a glance. Journal
of Cell Science. 2015;128(1):1-7. doi:10.1242/jcs.159418
apa: Grones, P., & Friml, J. (2015). Auxin transporters and binding proteins
at a glance. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.159418
chicago: Grones, Peter, and Jiří Friml. “Auxin Transporters and Binding Proteins
at a Glance.” Journal of Cell Science. Company of Biologists, 2015. https://doi.org/10.1242/jcs.159418.
ieee: P. Grones and J. Friml, “Auxin transporters and binding proteins at a glance,”
Journal of Cell Science, vol. 128, no. 1. Company of Biologists, pp. 1–7,
2015.
ista: Grones P, Friml J. 2015. Auxin transporters and binding proteins at a glance.
Journal of Cell Science. 128(1), 1–7.
mla: Grones, Peter, and Jiří Friml. “Auxin Transporters and Binding Proteins at
a Glance.” Journal of Cell Science, vol. 128, no. 1, Company of Biologists,
2015, pp. 1–7, doi:10.1242/jcs.159418.
short: P. Grones, J. Friml, Journal of Cell Science 128 (2015) 1–7.
date_created: 2018-12-11T11:54:28Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2021-01-12T06:53:45Z
day: '01'
ddc:
- '570'
department:
- _id: JiFr
doi: 10.1242/jcs.159418
file:
- access_level: open_access
checksum: 24c779f4cd9d549ca6833e26f486be27
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:00Z
date_updated: 2020-07-14T12:45:19Z
file_id: '4852'
file_name: IST-2016-563-v1+1_1.full.pdf
file_size: 1688844
relation: main_file
file_date_updated: 2020-07-14T12:45:19Z
has_accepted_license: '1'
intvolume: ' 128'
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 1 - 7
publication: Journal of Cell Science
publication_status: published
publisher: Company of Biologists
publist_id: '5225'
pubrep_id: '563'
quality_controlled: '1'
scopus_import: 1
status: public
title: Auxin transporters and binding proteins at a glance
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 128
year: '2015'
...
---
_id: '1873'
abstract:
- lang: eng
text: 'We consider partially observable Markov decision processes (POMDPs) with
limit-average payoff, where a reward value in the interval [0,1] is associated
with every transition, and the payoff of an infinite path is the long-run average
of the rewards. We consider two types of path constraints: (i) a quantitative
constraint defines the set of paths where the payoff is at least a given threshold
λ1ε(0,1]; and (ii) a qualitative constraint which is a special case of the quantitative
constraint with λ1=1. We consider the computation of the almost-sure winning set,
where the controller needs to ensure that the path constraint is satisfied with
probability 1. Our main results for qualitative path constraints are as follows:
(i) the problem of deciding the existence of a finite-memory controller is EXPTIME-complete;
and (ii) the problem of deciding the existence of an infinite-memory controller
is undecidable. For quantitative path constraints we show that the problem of
deciding the existence of a finite-memory controller is undecidable. We also present
a prototype implementation of our EXPTIME algorithm and experimental results on
several examples.'
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Chmelik, Martin
id: 3624234E-F248-11E8-B48F-1D18A9856A87
last_name: Chmelik
citation:
ama: Chatterjee K, Chmelik M. POMDPs under probabilistic semantics. Artificial
Intelligence. 2015;221:46-72. doi:10.1016/j.artint.2014.12.009
apa: Chatterjee, K., & Chmelik, M. (2015). POMDPs under probabilistic semantics.
Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2014.12.009
chicago: Chatterjee, Krishnendu, and Martin Chmelik. “POMDPs under Probabilistic
Semantics.” Artificial Intelligence. Elsevier, 2015. https://doi.org/10.1016/j.artint.2014.12.009.
ieee: K. Chatterjee and M. Chmelik, “POMDPs under probabilistic semantics,” Artificial
Intelligence, vol. 221. Elsevier, pp. 46–72, 2015.
ista: Chatterjee K, Chmelik M. 2015. POMDPs under probabilistic semantics. Artificial
Intelligence. 221, 46–72.
mla: Chatterjee, Krishnendu, and Martin Chmelik. “POMDPs under Probabilistic Semantics.”
Artificial Intelligence, vol. 221, Elsevier, 2015, pp. 46–72, doi:10.1016/j.artint.2014.12.009.
short: K. Chatterjee, M. Chmelik, Artificial Intelligence 221 (2015) 46–72.
date_created: 2018-12-11T11:54:28Z
date_published: 2015-04-01T00:00:00Z
date_updated: 2021-01-12T06:53:46Z
day: '01'
department:
- _id: KrCh
doi: 10.1016/j.artint.2014.12.009
external_id:
arxiv:
- '1408.2058'
intvolume: ' 221'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1408.2058
month: '04'
oa: 1
oa_version: Preprint
page: 46 - 72
publication: Artificial Intelligence
publication_status: published
publisher: Elsevier
publist_id: '5224'
quality_controlled: '1'
scopus_import: 1
status: public
title: POMDPs under probabilistic semantics
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 221
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.'
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: 2021-01-12T06:53:46Z
day: '01'
department:
- _id: JoCs
doi: 10.1002/hipo.22407
intvolume: ' 25'
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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).
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.
date_created: 2018-12-11T11:54:30Z
date_published: 2015-01-24T00:00:00Z
date_updated: 2021-01-12T06:53:47Z
day: '24'
department:
- _id: JiFr
doi: 10.1007/s10265-014-0691-6
intvolume: ' 128'
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
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.
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: 2021-01-12T06:53:48Z
day: '01'
ddc:
- '570'
department:
- _id: JiFr
doi: 10.1111/jmi.12211
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'
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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'
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 Ltd. 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 Ltd., 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 Ltd., 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
Ltd., 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: 2021-01-12T06:53:48Z
day: '15'
ddc:
- '530'
department:
- _id: RoSe
doi: 10.1088/1367-2630/17/1/013022
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'
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 Ltd.
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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
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
date_created: 2018-12-11T11:54:31Z
date_published: 2015-01-30T00:00:00Z
date_updated: 2021-01-12T06:53:49Z
day: '30'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1007/978-3-319-15317-9_19
ec_funded: 1
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: 2021-01-12T06:53:49Z
day: '02'
department:
- _id: NiBa
doi: 10.1103/PhysRevE.91.022803
external_id:
arxiv:
- '1012.3298'
intvolume: ' 91'
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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. '
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.
date_created: 2018-12-11T11:54:32Z
date_published: 2015-01-01T00:00:00Z
date_updated: 2021-01-12T06:53:50Z
day: '01'
department:
- _id: GaTk
doi: 10.1534/genetics.114.171850
intvolume: ' 199'
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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. "
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.
date_created: 2018-12-11T11:54:49Z
date_published: 2015-03-06T00:00:00Z
date_updated: 2021-01-12T06:54:12Z
day: '06'
department:
- _id: HeEd
doi: 10.1016/j.physleta.2014.12.010
intvolume: ' 379'
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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'
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).
date_created: 2018-12-11T11:54:49Z
date_published: 2015-06-15T00:00:00Z
date_updated: 2021-01-12T06:54:13Z
day: '15'
department:
- _id: GaTk
doi: 10.1103/PhysRevE.91.062710
intvolume: ' 91'
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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
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.
date_created: 2018-12-11T11:54:51Z
date_published: 2015-02-01T00:00:00Z
date_updated: 2021-01-12T06:54:15Z
day: '01'
department:
- _id: JiFr
doi: 10.1016/j.pbi.2014.12.002
ec_funded: 1
intvolume: ' 23'
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2015'
...
---
_id: '1992'
abstract:
- lang: eng
text: "We present a method and a tool for generating succinct representations of
sets of concurrent traces. We focus on trace sets that contain all correct or
all incorrect permutations of events from a given trace. We represent trace sets
as HB-Formulas that are Boolean combinations of happens-before constraints between
events. To generate a representation of incorrect interleavings, our method iteratively
explores interleavings that violate the specification and gathers generalizations
of the discovered interleavings into an HB-Formula; its complement yields a representation
of correct interleavings.\r\n\r\nWe claim that our trace set representations can
drive diverse verification, fault localization, repair, and synthesis techniques
for concurrent programs. We demonstrate this by using our tool in three case studies
involving synchronization synthesis, bug summarization, and abstraction refinement
based verification. In each case study, our initial experimental results have
been promising.\r\n\r\nIn the first case study, we present an algorithm for inferring
missing synchronization from an HB-Formula representing correct interleavings
of a given trace. The algorithm applies rules to rewrite specific patterns in
the HB-Formula into locks, barriers, and wait-notify constructs. In the second
case study, we use an HB-Formula representing incorrect interleavings for bug
summarization. While the HB-Formula itself is a concise counterexample summary,
we present additional inference rules to help identify specific concurrency bugs
such as data races, define-use order violations, and two-stage access bugs. In
the final case study, we present a novel predicate learning procedure that uses
HB-Formulas representing abstract counterexamples to accelerate counterexample-guided
abstraction refinement (CEGAR). In each iteration of the CEGAR loop, the procedure
refines the abstraction to eliminate multiple spurious abstract counterexamples
drawn from the HB-Formula."
author:
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- 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: Arjun
full_name: Radhakrishna, Arjun
id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
last_name: Radhakrishna
- first_name: Roopsha
full_name: Samanta, Roopsha
id: 3D2AAC08-F248-11E8-B48F-1D18A9856A87
last_name: Samanta
- first_name: Thorsten
full_name: Tarrach, Thorsten
id: 3D6E8F2C-F248-11E8-B48F-1D18A9856A87
last_name: Tarrach
orcid: 0000-0003-4409-8487
citation:
ama: 'Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. Succinct representation
of concurrent trace sets. In: ACM; 2015:433-444. doi:10.1145/2676726.2677008'
apa: 'Gupta, A., Henzinger, T. A., Radhakrishna, A., Samanta, R., & Tarrach,
T. (2015). Succinct representation of concurrent trace sets (pp. 433–444). Presented
at the POPL: Principles of Programming Languages, Mumbai, India: ACM. https://doi.org/10.1145/2676726.2677008'
chicago: Gupta, Ashutosh, Thomas A Henzinger, Arjun Radhakrishna, Roopsha Samanta,
and Thorsten Tarrach. “Succinct Representation of Concurrent Trace Sets,” 433–44.
ACM, 2015. https://doi.org/10.1145/2676726.2677008.
ieee: 'A. Gupta, T. A. Henzinger, A. Radhakrishna, R. Samanta, and T. Tarrach, “Succinct
representation of concurrent trace sets,” presented at the POPL: Principles of
Programming Languages, Mumbai, India, 2015, pp. 433–444.'
ista: 'Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. 2015. Succinct
representation of concurrent trace sets. POPL: Principles of Programming Languages,
433–444.'
mla: Gupta, Ashutosh, et al. Succinct Representation of Concurrent Trace Sets.
ACM, 2015, pp. 433–44, doi:10.1145/2676726.2677008.
short: A. Gupta, T.A. Henzinger, A. Radhakrishna, R. Samanta, T. Tarrach, in:, ACM,
2015, pp. 433–444.
conference:
end_date: 2015-01-17
location: Mumbai, India
name: 'POPL: Principles of Programming Languages'
start_date: 2015-01-15
date_created: 2018-12-11T11:55:05Z
date_published: 2015-01-15T00:00:00Z
date_updated: 2021-01-12T06:54:33Z
day: '15'
ddc:
- '005'
department:
- _id: ToHe
doi: 10.1145/2676726.2677008
file:
- access_level: open_access
checksum: f0d4395b600f410a191256ac0b73af32
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:56Z
date_updated: 2020-07-14T12:45:22Z
file_id: '5314'
file_name: IST-2015-317-v1+1_author_version.pdf
file_size: 399462
relation: main_file
file_date_updated: 2020-07-14T12:45:22Z
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 433 - 444
publication_identifier:
isbn:
- 978-1-4503-3300-9
publication_status: published
publisher: ACM
publist_id: '5091'
pubrep_id: '317'
quality_controlled: '1'
scopus_import: 1
status: public
title: Succinct representation of concurrent trace sets
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2015'
...
---
_id: '1993'
abstract:
- lang: eng
text: 'The fitness effects of symbionts on their hosts can be context-dependent,
with usually benign symbionts causing detrimental effects when their hosts are
stressed, or typically parasitic symbionts providing protection towards their
hosts (e.g. against pathogen infection). Here, we studied the novel association
between the invasive garden ant Lasius neglectus and its fungal ectosymbiont Laboulbenia
formicarum for potential costs and benefits. We tested ants with different Laboulbenia
levels for their survival and immunity under resource limitation and exposure
to the obligate killing entomopathogen Metarhizium brunneum. While survival of
L. neglectus workers under starvation was significantly decreased with increasing
Laboulbenia levels, host survival under Metarhizium exposure increased with higher
levels of the ectosymbiont, suggesting a symbiont-mediated anti-pathogen protection,
which seems to be driven mechanistically by both improved sanitary behaviours
and an upregulated immune system. Ants with high Laboulbenia levels showed significantly
longer self-grooming and elevated expression of immune genes relevant for wound
repair and antifungal responses (β-1,3-glucan binding protein, Prophenoloxidase),
compared with ants carrying low Laboulbenia levels. This suggests that the ectosymbiont
Laboulbenia formicarum weakens its ant host by either direct resource exploitation
or the costs of an upregulated behavioural and immunological response, which,
however, provides a prophylactic protection upon later exposure to pathogens. '
acknowledged_ssus:
- _id: EM-Fac
acknowledgement: "Funding was obtained by the German Research Foundation (CR 118–2)
and an ERC StG (243071) by the European Research Council (both to S.C.).\r\nWe thank
Line V. Ugelvig for help with ant collection and statistical discussion, Xavier
Espadaler for detailed information on the ant collection site, Birgit Lautenschläger
for the electron microscopy images and Eva Sixt for ant drawings. We further thank
Jørgen Eilenberg for the fungal strain, Meghan L. Vyleta for genetic strain characterization
and immune gene primer development, Paul Schmid-Hempel for discussion, and Line
V. Ugelvig, Xavier Espadaler and Christopher D. Pull for comments on the manuscript.
S.C., M.K. and S.T. conceived the study; M.K. and A.V.G. performed the experiments;
M.K. performed the statistical analysis; S.C. and M.K. wrote the manuscript with
intense contributions of A.V.G. and S.T.; all authors approved the manuscript."
article_number: '20141976'
article_processing_charge: No
article_type: original
author:
- first_name: Matthias
full_name: Konrad, Matthias
id: 46528076-F248-11E8-B48F-1D18A9856A87
last_name: Konrad
- first_name: Anna V
full_name: Grasse, Anna V
id: 406F989C-F248-11E8-B48F-1D18A9856A87
last_name: Grasse
- first_name: Simon
full_name: Tragust, Simon
id: 35A7A418-F248-11E8-B48F-1D18A9856A87
last_name: Tragust
- 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, Grasse AV, Tragust S, Cremer S. Anti-pathogen protection versus survival
costs mediated by an ectosymbiont in an ant host. Proceedings of the Royal
Society of London Series B Biological Sciences. 2015;282(1799). doi:10.1098/rspb.2014.1976
apa: Konrad, M., Grasse, A. V., Tragust, S., & Cremer, S. (2015). Anti-pathogen
protection versus survival costs mediated by an ectosymbiont in an ant host. Proceedings
of the Royal Society of London Series B Biological Sciences. The Royal Society.
https://doi.org/10.1098/rspb.2014.1976
chicago: Konrad, Matthias, Anna V Grasse, Simon Tragust, and Sylvia Cremer. “Anti-Pathogen
Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.”
Proceedings of the Royal Society of London Series B Biological Sciences.
The Royal Society, 2015. https://doi.org/10.1098/rspb.2014.1976.
ieee: M. Konrad, A. V. Grasse, S. Tragust, and S. Cremer, “Anti-pathogen protection
versus survival costs mediated by an ectosymbiont in an ant host,” Proceedings
of the Royal Society of London Series B Biological Sciences, vol. 282, no.
1799. The Royal Society, 2015.
ista: Konrad M, Grasse AV, Tragust S, Cremer S. 2015. Anti-pathogen protection versus
survival costs mediated by an ectosymbiont in an ant host. Proceedings of the
Royal Society of London Series B Biological Sciences. 282(1799), 20141976.
mla: Konrad, Matthias, et al. “Anti-Pathogen Protection versus Survival Costs Mediated
by an Ectosymbiont in an Ant Host.” Proceedings of the Royal Society of London
Series B Biological Sciences, vol. 282, no. 1799, 20141976, The Royal Society,
2015, doi:10.1098/rspb.2014.1976.
short: M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, Proceedings of the Royal Society
of London Series B Biological Sciences 282 (2015).
date_created: 2018-12-11T11:55:06Z
date_published: 2015-01-22T00:00:00Z
date_updated: 2023-02-23T14:06:41Z
day: '22'
department:
- _id: SyCr
doi: 10.1098/rspb.2014.1976
ec_funded: 1
external_id:
pmid:
- '25473011'
intvolume: ' 282'
issue: '1799'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4286035/
month: '01'
oa: 1
oa_version: Submitted Version
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'
- _id: 25DAF0B2-B435-11E9-9278-68D0E5697425
grant_number: CR-118/3-1
name: Host-Parasite Coevolution
publication: Proceedings of the Royal Society of London Series B Biological Sciences
publication_identifier:
eissn:
- 1471-2954
issn:
- 0962-8452
publication_status: published
publisher: The Royal Society
publist_id: '5090'
quality_controlled: '1'
related_material:
record:
- id: '9740'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Anti-pathogen protection versus survival costs mediated by an ectosymbiont
in an ant host
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 282
year: '2015'
...
---
_id: '1997'
abstract:
- lang: eng
text: We prove that the three-state toric homogeneous Markov chain model has Markov
degree two. In algebraic terminology this means, that a certain class of toric
ideals is generated by quadratic binomials. This was conjectured by Haws, Martin
del Campo, Takemura and Yoshida, who proved that they are generated by degree
six binomials.
author:
- first_name: Patrik
full_name: Noren, Patrik
id: 46870C74-F248-11E8-B48F-1D18A9856A87
last_name: Noren
citation:
ama: Noren P. The three-state toric homogeneous Markov chain model has Markov degree
two. Journal of Symbolic Computation. 2015;68/Part 2(May-June):285-296.
doi:10.1016/j.jsc.2014.09.014
apa: Noren, P. (2015). The three-state toric homogeneous Markov chain model has
Markov degree two. Journal of Symbolic Computation. Elsevier. https://doi.org/10.1016/j.jsc.2014.09.014
chicago: Noren, Patrik. “The Three-State Toric Homogeneous Markov Chain Model Has
Markov Degree Two.” Journal of Symbolic Computation. Elsevier, 2015. https://doi.org/10.1016/j.jsc.2014.09.014.
ieee: P. Noren, “The three-state toric homogeneous Markov chain model has Markov
degree two,” Journal of Symbolic Computation, vol. 68/Part 2, no. May-June.
Elsevier, pp. 285–296, 2015.
ista: Noren P. 2015. The three-state toric homogeneous Markov chain model has Markov
degree two. Journal of Symbolic Computation. 68/Part 2(May-June), 285–296.
mla: Noren, Patrik. “The Three-State Toric Homogeneous Markov Chain Model Has Markov
Degree Two.” Journal of Symbolic Computation, vol. 68/Part 2, no. May-June,
Elsevier, 2015, pp. 285–96, doi:10.1016/j.jsc.2014.09.014.
short: P. Noren, Journal of Symbolic Computation 68/Part 2 (2015) 285–296.
date_created: 2018-12-11T11:55:07Z
date_published: 2015-05-01T00:00:00Z
date_updated: 2021-01-12T06:54:35Z
day: '01'
department:
- _id: CaUh
doi: 10.1016/j.jsc.2014.09.014
issue: May-June
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1207.0077
month: '05'
oa: 1
oa_version: Preprint
page: 285 - 296
publication: Journal of Symbolic Computation
publication_status: published
publisher: Elsevier
publist_id: '5082'
quality_controlled: '1'
scopus_import: 1
status: public
title: The three-state toric homogeneous Markov chain model has Markov degree two
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 68/Part 2
year: '2015'
...