---
_id: '1108'
abstract:
- lang: eng
text: In this work we study the learnability of stochastic processes with respect
to the conditional risk, i.e. the existence of a learning algorithm that improves
its next-step performance with the amount of observed data. We introduce a notion
of pairwise discrepancy between conditional distributions at different times steps
and show how certain properties of these discrepancies can be used to construct
a successful learning algorithm. Our main results are two theorems that establish
criteria for learnability for many classes of stochastic processes, including
all special cases studied previously in the literature.
alternative_title:
- PMLR
article_processing_charge: No
author:
- first_name: Alexander
full_name: Zimin, Alexander
id: 37099E9C-F248-11E8-B48F-1D18A9856A87
last_name: Zimin
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Zimin A, Lampert C. Learning theory for conditional risk minimization. In:
Vol 54. ML Research Press; 2017:213-222.'
apa: 'Zimin, A., & Lampert, C. (2017). Learning theory for conditional risk
minimization (Vol. 54, pp. 213–222). Presented at the AISTATS: Artificial Intelligence
and Statistics, Fort Lauderdale, FL, United States: ML Research Press.'
chicago: Zimin, Alexander, and Christoph Lampert. “Learning Theory for Conditional
Risk Minimization,” 54:213–22. ML Research Press, 2017.
ieee: 'A. Zimin and C. Lampert, “Learning theory for conditional risk minimization,”
presented at the AISTATS: Artificial Intelligence and Statistics, Fort Lauderdale,
FL, United States, 2017, vol. 54, pp. 213–222.'
ista: 'Zimin A, Lampert C. 2017. Learning theory for conditional risk minimization.
AISTATS: Artificial Intelligence and Statistics, PMLR, vol. 54, 213–222.'
mla: Zimin, Alexander, and Christoph Lampert. Learning Theory for Conditional
Risk Minimization. Vol. 54, ML Research Press, 2017, pp. 213–22.
short: A. Zimin, C. Lampert, in:, ML Research Press, 2017, pp. 213–222.
conference:
end_date: 2017-04-22
location: Fort Lauderdale, FL, United States
name: 'AISTATS: Artificial Intelligence and Statistics'
start_date: 2017-04-20
date_created: 2018-12-11T11:50:11Z
date_published: 2017-04-01T00:00:00Z
date_updated: 2025-04-15T07:10:22Z
day: '01'
department:
- _id: ChLa
ec_funded: 1
external_id:
isi:
- '000509368500024'
intvolume: ' 54'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://proceedings.mlr.press/v54/zimin17a/zimin17a.pdf
month: '04'
oa: 1
oa_version: Submitted Version
page: 213 - 222
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '308036'
name: Lifelong Learning of Visual Scene Understanding
publication_status: published
publisher: ML Research Press
publist_id: '6261'
quality_controlled: '1'
status: public
title: Learning theory for conditional risk minimization
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 54
year: '2017'
...
---
_id: '1109'
abstract:
- lang: eng
text: 'Rotation of molecules embedded in He nanodroplets is explored by a combination
of fs laser-induced alignment experiments and angulon quasiparticle theory. We
demonstrate that at low fluence of the fs alignment pulse, the molecule and its
solvation shell can be set into coherent collective rotation lasting long enough
to form revivals. With increasing fluence, however, the revivals disappear --
instead, rotational dynamics as rapid as for an isolated molecule is observed
during the first few picoseconds. Classical calculations trace this phenomenon
to transient decoupling of the molecule from its He shell. Our results open novel
opportunities for studying non-equilibrium solute-solvent dynamics and quantum
thermalization. '
article_number: '203203'
article_processing_charge: No
arxiv: 1
author:
- first_name: Benjamin
full_name: Shepperson, Benjamin
last_name: Shepperson
- first_name: Anders
full_name: Søndergaard, Anders
last_name: Søndergaard
- first_name: Lars
full_name: Christiansen, Lars
last_name: Christiansen
- first_name: Jan
full_name: Kaczmarczyk, Jan
id: 46C405DE-F248-11E8-B48F-1D18A9856A87
last_name: Kaczmarczyk
orcid: 0000-0002-1629-3675
- first_name: Robert
full_name: Zillich, Robert
last_name: Zillich
- first_name: Mikhail
full_name: Lemeshko, Mikhail
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
- first_name: Henrik
full_name: Stapelfeldt, Henrik
last_name: Stapelfeldt
citation:
ama: 'Shepperson B, Søndergaard A, Christiansen L, et al. Laser-induced rotation
of iodine molecules in helium nanodroplets: Revivals and breaking-free. Physical
Review Letters. 2017;118(20). doi:10.1103/PhysRevLett.118.203203'
apa: 'Shepperson, B., Søndergaard, A., Christiansen, L., Kaczmarczyk, J., Zillich,
R., Lemeshko, M., & Stapelfeldt, H. (2017). Laser-induced rotation of iodine
molecules in helium nanodroplets: Revivals and breaking-free. Physical Review
Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.118.203203'
chicago: 'Shepperson, Benjamin, Anders Søndergaard, Lars Christiansen, Jan Kaczmarczyk,
Robert Zillich, Mikhail Lemeshko, and Henrik Stapelfeldt. “Laser-Induced Rotation
of Iodine Molecules in Helium Nanodroplets: Revivals and Breaking-Free.” Physical
Review Letters. American Physical Society, 2017. https://doi.org/10.1103/PhysRevLett.118.203203.'
ieee: 'B. Shepperson et al., “Laser-induced rotation of iodine molecules
in helium nanodroplets: Revivals and breaking-free,” Physical Review Letters,
vol. 118, no. 20. American Physical Society, 2017.'
ista: 'Shepperson B, Søndergaard A, Christiansen L, Kaczmarczyk J, Zillich R, Lemeshko
M, Stapelfeldt H. 2017. Laser-induced rotation of iodine molecules in helium nanodroplets:
Revivals and breaking-free. Physical Review Letters. 118(20), 203203.'
mla: 'Shepperson, Benjamin, et al. “Laser-Induced Rotation of Iodine Molecules in
Helium Nanodroplets: Revivals and Breaking-Free.” Physical Review Letters,
vol. 118, no. 20, 203203, American Physical Society, 2017, doi:10.1103/PhysRevLett.118.203203.'
short: B. Shepperson, A. Søndergaard, L. Christiansen, J. Kaczmarczyk, R. Zillich,
M. Lemeshko, H. Stapelfeldt, Physical Review Letters 118 (2017).
date_created: 2018-12-11T11:50:12Z
date_published: 2017-05-19T00:00:00Z
date_updated: 2025-06-04T08:36:27Z
day: '19'
department:
- _id: MiLe
doi: 10.1103/PhysRevLett.118.203203
external_id:
arxiv:
- '1702.01977'
isi:
- '000401664000005'
intvolume: ' 118'
isi: 1
issue: '20'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1702.01977
month: '05'
oa: 1
oa_version: Preprint
project:
- _id: 26031614-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29902
name: Quantum rotations in the presence of a many-body environment
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '6260'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals
and breaking-free'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 118
year: '2017'
...
---
_id: '1110'
abstract:
- lang: eng
text: The phytohormone auxin is a major determinant and regulatory component important
for plant development. Auxin transport between cells is mediated by a complex
system of transporters such as AUX1/LAX, PIN, and ABCB proteins, and their localization
and activity is thought to be influenced by phosphatases and kinases. Flavonols
have been shown to alter auxin transport activity and changes in flavonol accumulation
in the Arabidopsis thaliana rol1-2 mutant cause defects in auxin transport and
seedling development. A new mutation in ROOTS CURL IN NPA 1 (RCN1), encoding a
regulatory subunit of the phosphatase PP2A, was found to suppress the growth defects
of rol1-2 without changing the flavonol content. rol1-2 rcn1-3 double mutants
show wild type-like auxin transport activity while levels of free auxin are not
affected by rcn1-3. In the rol1-2 mutant, PIN2 shows a flavonol-induced basal-to-apical
shift in polar localization which is reversed in the rol1-2 rcn1-3 to basal localization.
In vivo analysis of PINOID action, a kinase known to influence PIN protein localization
in a PP2A-antagonistic manner, revealed a negative impact of flavonols on PINOID
activity. Together, these data suggest that flavonols affect auxin transport by
modifying the antagonistic kinase/phosphatase equilibrium.
acknowledgement: European Research Council (project ERC-2011-StG-20101109-PSDP), European
Social Fund (CZ.1.07/2.3.00/20.0043) and the Czech Science Foundation (GA13-40637S)
[JF].
article_number: '41906'
article_processing_charge: No
author:
- first_name: Benjamin
full_name: Kuhn, Benjamin
last_name: Kuhn
- first_name: Tomasz
full_name: Nodzyński, Tomasz
last_name: Nodzyński
- first_name: Sanae
full_name: Errafi, Sanae
last_name: Errafi
- first_name: Rahel
full_name: Bucher, Rahel
last_name: Bucher
- first_name: Shibu
full_name: Gupta, Shibu
last_name: Gupta
- first_name: Bibek
full_name: Aryal, Bibek
last_name: Aryal
- first_name: Petre
full_name: Dobrev, Petre
last_name: Dobrev
- first_name: Laurent
full_name: Bigler, Laurent
last_name: Bigler
- first_name: Markus
full_name: Geisler, Markus
last_name: Geisler
- first_name: Eva
full_name: Zažímalová, Eva
last_name: Zažímalová
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Christoph
full_name: Ringli, Christoph
last_name: Ringli
citation:
ama: Kuhn B, Nodzyński T, Errafi S, et al. Flavonol-induced changes in PIN2 polarity
and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase
activity. Scientific Reports. 2017;7. doi:10.1038/srep41906
apa: Kuhn, B., Nodzyński, T., Errafi, S., Bucher, R., Gupta, S., Aryal, B., … Ringli,
C. (2017). Flavonol-induced changes in PIN2 polarity and auxin transport in the
Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific
Reports. Nature Publishing Group. https://doi.org/10.1038/srep41906
chicago: Kuhn, Benjamin, Tomasz Nodzyński, Sanae Errafi, Rahel Bucher, Shibu Gupta,
Bibek Aryal, Petre Dobrev, et al. “Flavonol-Induced Changes in PIN2 Polarity and
Auxin Transport in the Arabidopsis Thaliana Rol1-2 Mutant Require Phosphatase
Activity.” Scientific Reports. Nature Publishing Group, 2017. https://doi.org/10.1038/srep41906.
ieee: B. Kuhn et al., “Flavonol-induced changes in PIN2 polarity and auxin
transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity,”
Scientific Reports, vol. 7. Nature Publishing Group, 2017.
ista: Kuhn B, Nodzyński T, Errafi S, Bucher R, Gupta S, Aryal B, Dobrev P, Bigler
L, Geisler M, Zažímalová E, Friml J, Ringli C. 2017. Flavonol-induced changes
in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant
require phosphatase activity. Scientific Reports. 7, 41906.
mla: Kuhn, Benjamin, et al. “Flavonol-Induced Changes in PIN2 Polarity and Auxin
Transport in the Arabidopsis Thaliana Rol1-2 Mutant Require Phosphatase Activity.”
Scientific Reports, vol. 7, 41906, Nature Publishing Group, 2017, doi:10.1038/srep41906.
short: B. Kuhn, T. Nodzyński, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev,
L. Bigler, M. Geisler, E. Zažímalová, J. Friml, C. Ringli, Scientific Reports
7 (2017).
date_created: 2018-12-11T11:50:12Z
date_published: 2017-02-06T00:00:00Z
date_updated: 2025-07-10T11:50:06Z
day: '06'
ddc:
- '581'
department:
- _id: JiFr
doi: 10.1038/srep41906
ec_funded: 1
external_id:
isi:
- '000393367600001'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:09Z
date_updated: 2018-12-12T10:18:09Z
file_id: '5328'
file_name: IST-2017-803-v1+1_srep41906.pdf
file_size: 1654496
relation: main_file
file_date_updated: 2018-12-12T10:18:09Z
has_accepted_license: '1'
intvolume: ' 7'
isi: 1
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: Scientific Reports
publication_identifier:
issn:
- 2045-2322
publication_status: published
publisher: Nature Publishing Group
publist_id: '6258'
pubrep_id: '803'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis
thaliana rol1-2 mutant require phosphatase activity
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: 7
year: '2017'
...
---
_id: '1111'
abstract:
- lang: eng
text: Adaptation depends critically on the effects of new mutations and their dependency
on the genetic background in which they occur. These two factors can be summarized
by the fitness landscape. However, it would require testing all mutations in all
backgrounds, making the definition and analysis of fitness landscapes mostly inaccessible.
Instead of postulating a particular fitness landscape, we address this problem
by considering general classes of landscapes and calculating an upper limit for
the time it takes for a population to reach a fitness peak, circumventing the
need to have full knowledge about the fitness landscape. We analyze populations
in the weak-mutation regime and characterize the conditions that enable them to
quickly reach the fitness peak as a function of the number of sites under selection.
We show that for additive landscapes there is a critical selection strength enabling
populations to reach high-fitness genotypes, regardless of the distribution of
effects. This threshold scales with the number of sites under selection, effectively
setting a limit to adaptation, and results from the inevitable increase in deleterious
mutational pressure as the population adapts in a space of discrete genotypes.
Furthermore, we show that for the class of all unimodal landscapes this condition
is sufficient but not necessary for rapid adaptation, as in some highly epistatic
landscapes the critical strength does not depend on the number of sites under
selection; effectively removing this barrier to adaptation.
article_processing_charge: No
article_type: original
author:
- first_name: Jorge
full_name: Heredia, Jorge
last_name: Heredia
- first_name: Barbora
full_name: Trubenova, Barbora
id: 42302D54-F248-11E8-B48F-1D18A9856A87
last_name: Trubenova
orcid: 0000-0002-6873-2967
- first_name: Dirk
full_name: Sudholt, Dirk
last_name: Sudholt
- first_name: Tiago
full_name: Paixao, Tiago
id: 2C5658E6-F248-11E8-B48F-1D18A9856A87
last_name: Paixao
orcid: 0000-0003-2361-3953
citation:
ama: Heredia J, Trubenova B, Sudholt D, Paixao T. Selection limits to adaptive walks
on correlated landscapes. Genetics. 2017;205(2):803-825. doi:10.1534/genetics.116.189340
apa: Heredia, J., Trubenova, B., Sudholt, D., & Paixao, T. (2017). Selection
limits to adaptive walks on correlated landscapes. Genetics. Genetics Society
of America. https://doi.org/10.1534/genetics.116.189340
chicago: Heredia, Jorge, Barbora Trubenova, Dirk Sudholt, and Tiago Paixao. “Selection
Limits to Adaptive Walks on Correlated Landscapes.” Genetics. Genetics
Society of America, 2017. https://doi.org/10.1534/genetics.116.189340.
ieee: J. Heredia, B. Trubenova, D. Sudholt, and T. Paixao, “Selection limits to
adaptive walks on correlated landscapes,” Genetics, vol. 205, no. 2. Genetics
Society of America, pp. 803–825, 2017.
ista: Heredia J, Trubenova B, Sudholt D, Paixao T. 2017. Selection limits to adaptive
walks on correlated landscapes. Genetics. 205(2), 803–825.
mla: Heredia, Jorge, et al. “Selection Limits to Adaptive Walks on Correlated Landscapes.”
Genetics, vol. 205, no. 2, Genetics Society of America, 2017, pp. 803–25,
doi:10.1534/genetics.116.189340.
short: J. Heredia, B. Trubenova, D. Sudholt, T. Paixao, Genetics 205 (2017) 803–825.
date_created: 2018-12-11T11:50:12Z
date_published: 2017-02-01T00:00:00Z
date_updated: 2025-07-10T11:50:06Z
day: '01'
department:
- _id: NiBa
doi: 10.1534/genetics.116.189340
ec_funded: 1
external_id:
isi:
- '000394144900025'
pmid:
- '27881471'
intvolume: ' 205'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1534/genetics.116.189340
month: '02'
oa: 1
oa_version: Published Version
page: 803 - 825
pmid: 1
project:
- _id: 25B1EC9E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '618091'
name: Speed of Adaptation in Population Genetics and Evolutionary Computation
publication: Genetics
publication_identifier:
issn:
- 0016-6731
publication_status: published
publisher: Genetics Society of America
publist_id: '6256'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Selection limits to adaptive walks on correlated landscapes
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 205
year: '2017'
...
---
_id: '1112'
abstract:
- lang: eng
text: There has been renewed interest in modelling the behaviour of evolutionary
algorithms by more traditional mathematical objects, such as ordinary differential
equations or Markov chains. The advantage is that the analysis becomes greatly
facilitated due to the existence of well established methods. However, this typically
comes at the cost of disregarding information about the process. Here, we introduce
the use of stochastic differential equations (SDEs) for the study of EAs. SDEs
can produce simple analytical results for the dynamics of stochastic processes,
unlike Markov chains which can produce rigorous but unwieldy expressions about
the dynamics. On the other hand, unlike ordinary differential equations (ODEs),
they do not discard information about the stochasticity of the process. We show
that these are especially suitable for the analysis of fixed budget scenarios
and present analogs of the additive and multiplicative drift theorems for SDEs.
We exemplify the use of these methods for two model algorithms ((1+1) EA and RLS)
on two canonical problems(OneMax and LeadingOnes).
author:
- first_name: Tiago
full_name: Paixao, Tiago
id: 2C5658E6-F248-11E8-B48F-1D18A9856A87
last_name: Paixao
orcid: 0000-0003-2361-3953
- first_name: Jorge
full_name: Pérez Heredia, Jorge
last_name: Pérez Heredia
citation:
ama: 'Paixao T, Pérez Heredia J. An application of stochastic differential equations
to evolutionary algorithms. In: Proceedings of the 14th ACM/SIGEVO Conference
on Foundations of Genetic Algorithms. ACM; 2017:3-11. doi:10.1145/3040718.3040729'
apa: 'Paixao, T., & Pérez Heredia, J. (2017). An application of stochastic differential
equations to evolutionary algorithms. In Proceedings of the 14th ACM/SIGEVO
Conference on Foundations of Genetic Algorithms (pp. 3–11). Copenhagen, Denmark:
ACM. https://doi.org/10.1145/3040718.3040729'
chicago: Paixao, Tiago, and Jorge Pérez Heredia. “An Application of Stochastic Differential
Equations to Evolutionary Algorithms.” In Proceedings of the 14th ACM/SIGEVO
Conference on Foundations of Genetic Algorithms, 3–11. ACM, 2017. https://doi.org/10.1145/3040718.3040729.
ieee: T. Paixao and J. Pérez Heredia, “An application of stochastic differential
equations to evolutionary algorithms,” in Proceedings of the 14th ACM/SIGEVO
Conference on Foundations of Genetic Algorithms, Copenhagen, Denmark, 2017,
pp. 3–11.
ista: 'Paixao T, Pérez Heredia J. 2017. An application of stochastic differential
equations to evolutionary algorithms. Proceedings of the 14th ACM/SIGEVO Conference
on Foundations of Genetic Algorithms. FOGA: Foundations of Genetic Algorithms,
3–11.'
mla: Paixao, Tiago, and Jorge Pérez Heredia. “An Application of Stochastic Differential
Equations to Evolutionary Algorithms.” Proceedings of the 14th ACM/SIGEVO Conference
on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11, doi:10.1145/3040718.3040729.
short: T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference
on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.
conference:
end_date: 2017-01-15
location: Copenhagen, Denmark
name: 'FOGA: Foundations of Genetic Algorithms'
start_date: 2017-01-12
date_created: 2018-12-11T11:50:12Z
date_published: 2017-01-12T00:00:00Z
date_updated: 2021-01-12T06:48:22Z
day: '12'
department:
- _id: NiBa
doi: 10.1145/3040718.3040729
language:
- iso: eng
month: '01'
oa_version: None
page: 3 - 11
publication: Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic
Algorithms
publication_identifier:
isbn:
- 978-145034651-1
publication_status: published
publisher: ACM
publist_id: '6255'
quality_controlled: '1'
scopus_import: 1
status: public
title: An application of stochastic differential equations to evolutionary algorithms
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2017'
...
---
_id: '1113'
abstract:
- lang: eng
text: 'A drawing of a graph G is radial if the vertices of G are placed on concentric
circles C 1 , . . . , C k with common center c , and edges are drawn radially
: every edge intersects every circle centered at c at most once. G is radial planar
if it has a radial embedding, that is, a crossing-free radial drawing. If the
vertices of G are ordered or partitioned into ordered levels (as they are for
leveled graphs), we require that the assignment of vertices to circles corresponds
to the given ordering or leveling. We show that a graph G is radial planar if
G has a radial drawing in which every two edges cross an even number of times;
the radial embedding has the same leveling as the radial drawing. In other words,
we establish the weak variant of the Hanani-Tutte theorem for radial planarity.
This generalizes a result by Pach and Toth.'
acknowledgement: An earlier version of the paper appeared in the proceedings of Graph
Drawing 2015. The research of the first author has received funding from the People
Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme
(FP7/2007-2013) under REA grant agreement no [291734].
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Radoslav
full_name: Fulek, Radoslav
id: 39F3FFE4-F248-11E8-B48F-1D18A9856A87
last_name: Fulek
orcid: 0000-0001-8485-1774
- first_name: Michael
full_name: Pelsmajer, Michael
last_name: Pelsmajer
- first_name: Marcus
full_name: Schaefer, Marcus
last_name: Schaefer
citation:
ama: Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity. Journal
of Graph Algorithms and Applications. 2017;21(1):135-154. doi:10.7155/jgaa.00408
apa: Fulek, R., Pelsmajer, M., & Schaefer, M. (2017). Hanani-Tutte for radial
planarity. Journal of Graph Algorithms and Applications. Brown University.
https://doi.org/10.7155/jgaa.00408
chicago: Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte
for Radial Planarity.” Journal of Graph Algorithms and Applications. Brown
University, 2017. https://doi.org/10.7155/jgaa.00408.
ieee: R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,”
Journal of Graph Algorithms and Applications, vol. 21, no. 1. Brown University,
pp. 135–154, 2017.
ista: Fulek R, Pelsmajer M, Schaefer M. 2017. Hanani-Tutte for radial planarity.
Journal of Graph Algorithms and Applications. 21(1), 135–154.
mla: Fulek, Radoslav, et al. “Hanani-Tutte for Radial Planarity.” Journal of
Graph Algorithms and Applications, vol. 21, no. 1, Brown University, 2017,
pp. 135–54, doi:10.7155/jgaa.00408.
short: R. Fulek, M. Pelsmajer, M. Schaefer, Journal of Graph Algorithms and Applications
21 (2017) 135–154.
date_created: 2018-12-11T11:50:13Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2025-09-23T09:13:42Z
day: '01'
ddc:
- '510'
department:
- _id: UlWa
doi: 10.7155/jgaa.00408
ec_funded: 1
external_id:
arxiv:
- '1608.08662'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2019-10-24T10:54:37Z
date_updated: 2019-10-24T10:54:37Z
file_id: '6967'
file_name: 2017_JournalGraphAlgorithms_Fulek.pdf
file_size: 573623
relation: main_file
success: 1
file_date_updated: 2019-10-24T10:54:37Z
has_accepted_license: '1'
intvolume: ' 21'
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 135 - 154
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Journal of Graph Algorithms and Applications
publication_status: published
publisher: Brown University
publist_id: '6254'
quality_controlled: '1'
related_material:
record:
- id: '1164'
relation: earlier_version
status: public
- id: '1595'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Hanani-Tutte for radial planarity
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: 21
year: '2017'
...
---
_id: '1114'
abstract:
- lang: eng
text: Nonequilibrium phase transitions exist in damped-driven open quantum systems
when the continuous tuning of an external parameter leads to a transition between
two robust steady states. In second-order transitions this change is abrupt at
a critical point, whereas in first-order transitions the two phases can coexist
in a critical hysteresis domain. Here, we report the observation of a first-order
dissipative quantum phase transition in a driven circuit quantum electrodynamics
system. It takes place when the photon blockade of the driven cavity-atom system
is broken by increasing the drive power. The observed experimental signature is
a bimodal phase space distribution with varying weights controlled by the drive
strength. Our measurements show an improved stabilization of the classical attractors
up to the millisecond range when the size of the quantum system is increased from
one to three artificial atoms. The formation of such robust pointer states could
be used for new quantum measurement schemes or to investigate multiphoton phases
of finite-size, nonlinear, open quantum systems.
article_number: '011012'
article_processing_charge: Yes
author:
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
- first_name: András
full_name: Dombi, András
last_name: Dombi
- first_name: András
full_name: Vukics, András
last_name: Vukics
- first_name: Andreas
full_name: Wallraff, Andreas
last_name: Wallraff
- first_name: Peter
full_name: Domokos, Peter
last_name: Domokos
citation:
ama: Fink JM, Dombi A, Vukics A, Wallraff A, Domokos P. Observation of the photon
blockade breakdown phase transition. Physical Review X. 2017;7(1). doi:10.1103/PhysRevX.7.011012
apa: Fink, J. M., Dombi, A., Vukics, A., Wallraff, A., & Domokos, P. (2017).
Observation of the photon blockade breakdown phase transition. Physical Review
X. American Physical Society. https://doi.org/10.1103/PhysRevX.7.011012
chicago: Fink, Johannes M, András Dombi, András Vukics, Andreas Wallraff, and Peter
Domokos. “Observation of the Photon Blockade Breakdown Phase Transition.” Physical
Review X. American Physical Society, 2017. https://doi.org/10.1103/PhysRevX.7.011012.
ieee: J. M. Fink, A. Dombi, A. Vukics, A. Wallraff, and P. Domokos, “Observation
of the photon blockade breakdown phase transition,” Physical Review X,
vol. 7, no. 1. American Physical Society, 2017.
ista: Fink JM, Dombi A, Vukics A, Wallraff A, Domokos P. 2017. Observation of the
photon blockade breakdown phase transition. Physical Review X. 7(1), 011012.
mla: Fink, Johannes M., et al. “Observation of the Photon Blockade Breakdown Phase
Transition.” Physical Review X, vol. 7, no. 1, 011012, American Physical
Society, 2017, doi:10.1103/PhysRevX.7.011012.
short: J.M. Fink, A. Dombi, A. Vukics, A. Wallraff, P. Domokos, Physical Review
X 7 (2017).
date_created: 2018-12-11T11:50:13Z
date_published: 2017-01-31T00:00:00Z
date_updated: 2025-07-10T11:50:07Z
day: '31'
ddc:
- '539'
department:
- _id: JoFi
doi: 10.1103/PhysRevX.7.011012
external_id:
isi:
- '000397450500001'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:12:52Z
date_updated: 2018-12-12T10:12:52Z
file_id: '4972'
file_name: IST-2017-753-v1+1_PhysRevX.7.011012.pdf
file_size: 1172926
relation: main_file
file_date_updated: 2018-12-12T10:12:52Z
has_accepted_license: '1'
intvolume: ' 7'
isi: 1
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
publication: Physical Review X
publication_identifier:
issn:
- 2160-3308
publication_status: published
publisher: American Physical Society
publist_id: '6252'
pubrep_id: '753'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Observation of the photon blockade breakdown phase transition
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: 7
year: '2017'
...
---
_id: '1118'
abstract:
- lang: eng
text: Sharp wave-ripple (SWR) oscillations play a key role in memory consolidation
during non-rapid eye movement sleep, immobility, and consummatory behavior. However,
whether temporally modulated synaptic excitation or inhibition underlies the ripples
is controversial. To address this question, we performed simultaneous recordings
of excitatory and inhibitory postsynaptic currents (EPSCs and IPSCs) and local
field potentials (LFPs) in the CA1 region of awake mice in vivo. During SWRs,
inhibition dominated over excitation, with a peak conductance ratio of 4.1 ± 0.5.
Furthermore, the amplitude of SWR-associated IPSCs was positively correlated with
SWR magnitude, whereas that of EPSCs was not. Finally, phase analysis indicated
that IPSCs were phase-locked to individual ripple cycles, whereas EPSCs were uniformly
distributed in phase space. Optogenetic inhibition indicated that PV+ interneurons
provided a major contribution to SWR-associated IPSCs. Thus, phasic inhibition,
but not excitation, shapes SWR oscillations in the hippocampal CA1 region in vivo.
acknowledged_ssus:
- _id: M-Shop
- _id: ScienComp
- _id: PreCl
article_processing_charge: No
author:
- first_name: Jian
full_name: Gan, Jian
id: 3614E438-F248-11E8-B48F-1D18A9856A87
last_name: Gan
- first_name: Shih-Ming
full_name: Weng, Shih-Ming
id: 2F9C5AC8-F248-11E8-B48F-1D18A9856A87
last_name: Weng
- first_name: Alejandro
full_name: Pernia-Andrade, Alejandro
id: 36963E98-F248-11E8-B48F-1D18A9856A87
last_name: Pernia-Andrade
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
- first_name: Peter M
full_name: Jonas, Peter M
id: 353C1B58-F248-11E8-B48F-1D18A9856A87
last_name: Jonas
orcid: 0000-0001-5001-4804
citation:
ama: Gan J, Weng S-M, Pernia-Andrade A, Csicsvari JL, Jonas PM. Phase-locked inhibition,
but not excitation, underlies hippocampal ripple oscillations in awake mice in
vivo. Neuron. 2017;93(2):308-314. doi:10.1016/j.neuron.2016.12.018
apa: Gan, J., Weng, S.-M., Pernia-Andrade, A., Csicsvari, J. L., & Jonas, P.
M. (2017). Phase-locked inhibition, but not excitation, underlies hippocampal
ripple oscillations in awake mice in vivo. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2016.12.018
chicago: Gan, Jian, Shih-Ming Weng, Alejandro Pernia-Andrade, Jozsef L Csicsvari,
and Peter M Jonas. “Phase-Locked Inhibition, but Not Excitation, Underlies Hippocampal
Ripple Oscillations in Awake Mice in Vivo.” Neuron. Elsevier, 2017. https://doi.org/10.1016/j.neuron.2016.12.018.
ieee: J. Gan, S.-M. Weng, A. Pernia-Andrade, J. L. Csicsvari, and P. M. Jonas, “Phase-locked
inhibition, but not excitation, underlies hippocampal ripple oscillations in awake
mice in vivo,” Neuron, vol. 93, no. 2. Elsevier, pp. 308–314, 2017.
ista: Gan J, Weng S-M, Pernia-Andrade A, Csicsvari JL, Jonas PM. 2017. Phase-locked
inhibition, but not excitation, underlies hippocampal ripple oscillations in awake
mice in vivo. Neuron. 93(2), 308–314.
mla: Gan, Jian, et al. “Phase-Locked Inhibition, but Not Excitation, Underlies Hippocampal
Ripple Oscillations in Awake Mice in Vivo.” Neuron, vol. 93, no. 2, Elsevier,
2017, pp. 308–14, doi:10.1016/j.neuron.2016.12.018.
short: J. Gan, S.-M. Weng, A. Pernia-Andrade, J.L. Csicsvari, P.M. Jonas, Neuron
93 (2017) 308–314.
date_created: 2018-12-11T11:50:15Z
date_published: 2017-01-18T00:00:00Z
date_updated: 2025-04-15T07:20:01Z
day: '18'
ddc:
- '571'
department:
- _id: PeJo
- _id: JoCs
doi: 10.1016/j.neuron.2016.12.018
ec_funded: 1
external_id:
isi:
- '000396428200010'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:56Z
date_updated: 2018-12-12T10:08:56Z
file_id: '4719'
file_name: IST-2017-752-v1+1_1-s2.0-S0896627316309606-main.pdf
file_size: 2738950
relation: main_file
file_date_updated: 2018-12-12T10:08:56Z
has_accepted_license: '1'
intvolume: ' 93'
isi: 1
issue: '2'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 308 - 314
project:
- _id: 25C26B1E-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P24909-B24
name: Mechanisms of transmitter release at GABAergic synapses
- _id: 25C0F108-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '268548'
name: Nanophysiology of fast-spiking, parvalbumin-expressing GABAergic interneurons
publication: Neuron
publication_status: published
publisher: Elsevier
publist_id: '6244'
pubrep_id: '752'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations
in awake mice in vivo
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 93
year: '2017'
...
---
_id: '1119'
abstract:
- lang: eng
text: Understanding the behavior of molecules interacting with superfluid helium
represents a formidable challenge and, in general, requires approaches relying
on large-scale numerical simulations. Here we demonstrate that experimental data
collected over the last 20 years provide evidence that molecules immersed in superfluid
helium form recently-predicted angulon quasiparticles [Phys. Rev. Lett. 114, 203001
(2015)]. Most importantly, casting the many-body problem in terms of angulons
amounts to a drastic simplification and yields effective molecular moments of
inertia as straightforward analytic solutions of a simple microscopic Hamiltonian.
The outcome of the angulon theory is in good agreement with experiment for a broad
range of molecular impurities, from heavy to medium-mass to light species. These
results pave the way to understanding molecular rotation in liquid and crystalline
phases in terms of the angulon quasiparticle.
article_number: '095301'
article_processing_charge: No
arxiv: 1
author:
- first_name: Mikhail
full_name: Lemeshko, Mikhail
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
citation:
ama: Lemeshko M. Quasiparticle approach to molecules interacting with quantum solvents.
Physical Review Letters. 2017;118(9). doi:10.1103/PhysRevLett.118.095301
apa: Lemeshko, M. (2017). Quasiparticle approach to molecules interacting with quantum
solvents. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.118.095301
chicago: Lemeshko, Mikhail. “Quasiparticle Approach to Molecules Interacting with
Quantum Solvents.” Physical Review Letters. American Physical Society,
2017. https://doi.org/10.1103/PhysRevLett.118.095301.
ieee: M. Lemeshko, “Quasiparticle approach to molecules interacting with quantum
solvents,” Physical Review Letters, vol. 118, no. 9. American Physical
Society, 2017.
ista: Lemeshko M. 2017. Quasiparticle approach to molecules interacting with quantum
solvents. Physical Review Letters. 118(9), 095301.
mla: Lemeshko, Mikhail. “Quasiparticle Approach to Molecules Interacting with Quantum
Solvents.” Physical Review Letters, vol. 118, no. 9, 095301, American Physical
Society, 2017, doi:10.1103/PhysRevLett.118.095301.
short: M. Lemeshko, Physical Review Letters 118 (2017).
date_created: 2018-12-11T11:50:15Z
date_published: 2017-02-27T00:00:00Z
date_updated: 2025-06-04T08:36:48Z
day: '27'
department:
- _id: MiLe
doi: 10.1103/PhysRevLett.118.095301
external_id:
arxiv:
- '1610.01604'
isi:
- '000404769200006'
intvolume: ' 118'
isi: 1
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1610.01604
month: '02'
oa: 1
oa_version: Submitted Version
project:
- _id: 25636330-B435-11E9-9278-68D0E5697425
grant_number: 11-NSF-1070
name: Genome-wide Analysis of Root Traits
publication: Physical Review Letters
publication_identifier:
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
publist_id: '6243'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quasiparticle approach to molecules interacting with quantum solvents
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 118
year: '2017'
...
---
_id: '1132'
abstract:
- lang: eng
text: The hippocampus is thought to initiate systems-wide mnemonic processes through
the reactivation of previously acquired spatial and episodic memory traces, which
can recruit the entorhinal cortex as a first stage of memory redistribution to
other brain areas. Hippocampal reactivation occurs during sharp wave-ripples,
in which synchronous network firing encodes sequences of places.We investigated
the coordination of this replay by recording assembly activity simultaneously
in the CA1 region of the hippocampus and superficial layers of the medial entorhinal
cortex. We found that entorhinal cell assemblies can replay trajectories independently
of the hippocampus and sharp wave-ripples. This suggests that the hippocampus
is not the sole initiator of spatial and episodic memory trace reactivation. Memory
systems involved in these processes may include nonhierarchical, parallel components.
article_processing_charge: No
author:
- first_name: Joseph
full_name: O'Neill, Joseph
id: 426376DC-F248-11E8-B48F-1D18A9856A87
last_name: O'Neill
- first_name: Charlotte
full_name: Boccara, Charlotte
id: 3FC06552-F248-11E8-B48F-1D18A9856A87
last_name: Boccara
orcid: 0000-0001-7237-5109
- first_name: Federico
full_name: Stella, Federico
id: 39AF1E74-F248-11E8-B48F-1D18A9856A87
last_name: Stella
orcid: 0000-0001-9439-3148
- first_name: Philipp
full_name: Schönenberger, Philipp
id: 3B9D816C-F248-11E8-B48F-1D18A9856A87
last_name: Schönenberger
- first_name: Jozsef L
full_name: Csicsvari, Jozsef L
id: 3FA14672-F248-11E8-B48F-1D18A9856A87
last_name: Csicsvari
orcid: 0000-0002-5193-4036
citation:
ama: O’Neill J, Boccara CN, Stella F, Schönenberger P, Csicsvari JL. Superficial
layers of the medial entorhinal cortex replay independently of the hippocampus.
Science. 2017;355(6321):184-188. doi:10.1126/science.aag2787
apa: O’Neill, J., Boccara, C. N., Stella, F., Schönenberger, P., & Csicsvari,
J. L. (2017). Superficial layers of the medial entorhinal cortex replay independently
of the hippocampus. Science. American Association for the Advancement of
Science. https://doi.org/10.1126/science.aag2787
chicago: O’Neill, Joseph, Charlotte N. Boccara, Federico Stella, Philipp Schönenberger,
and Jozsef L Csicsvari. “Superficial Layers of the Medial Entorhinal Cortex Replay
Independently of the Hippocampus.” Science. American Association for the
Advancement of Science, 2017. https://doi.org/10.1126/science.aag2787.
ieee: J. O’Neill, C. N. Boccara, F. Stella, P. Schönenberger, and J. L. Csicsvari,
“Superficial layers of the medial entorhinal cortex replay independently of the
hippocampus,” Science, vol. 355, no. 6321. American Association for the
Advancement of Science, pp. 184–188, 2017.
ista: O’Neill J, Boccara CN, Stella F, Schönenberger P, Csicsvari JL. 2017. Superficial
layers of the medial entorhinal cortex replay independently of the hippocampus.
Science. 355(6321), 184–188.
mla: O’Neill, Joseph, et al. “Superficial Layers of the Medial Entorhinal Cortex
Replay Independently of the Hippocampus.” Science, vol. 355, no. 6321,
American Association for the Advancement of Science, 2017, pp. 184–88, doi:10.1126/science.aag2787.
short: J. O’Neill, C.N. Boccara, F. Stella, P. Schönenberger, J.L. Csicsvari, Science
355 (2017) 184–188.
date_created: 2018-12-11T11:50:19Z
date_published: 2017-01-13T00:00:00Z
date_updated: 2025-07-10T11:50:09Z
day: '13'
ddc:
- '571'
department:
- _id: JoCs
doi: 10.1126/science.aag2787
ec_funded: 1
external_id:
isi:
- '000391743700044'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:22Z
date_updated: 2018-12-12T10:10:22Z
file_id: '4809'
file_name: IST-2018-976-v1+1_2017Preprint_ONeill_Superficial_layers.pdf
file_size: 3761201
relation: main_file
file_date_updated: 2018-12-12T10:10:22Z
has_accepted_license: '1'
intvolume: ' 355'
isi: 1
issue: '6321'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 184 - 188
project:
- _id: 257A4776-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '281511'
name: Memory-related information processing in neuronal circuits of the hippocampus
and entorhinal cortex
publication: Science
publication_identifier:
issn:
- 0036-8075
publication_status: published
publisher: American Association for the Advancement of Science
publist_id: '6226'
pubrep_id: '976'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Superficial layers of the medial entorhinal cortex replay independently of
the hippocampus
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 355
year: '2017'
...
---
_id: '1133'
abstract:
- lang: eng
text: 'It is a common knowledge that an effective interaction of a quantum impurity
with an electromagnetic field can be screened by surrounding charge carriers,
whether mobile or static. Here we demonstrate that very strong, "anomalous" screening
can take place in the presence of a neutral, weakly polarizable environment, due
to an exchange of orbital angular momentum between the impurity and the bath.
Furthermore, we show that it is possible to generalize all phenomena related to
isolated impurities in an external field to the case when a many-body environment
is present, by casting the problem in terms of the angulon quasiparticle. As a
result, the relevant observables such as the effective Rabi frequency, geometric
phase, and impurity spatial alignment are straightforward to evaluate in terms
of a single parameter: the angular-momentum-dependent screening factor.'
article_number: '085302'
article_processing_charge: No
arxiv: 1
author:
- first_name: Enderalp
full_name: Yakaboylu, Enderalp
id: 38CB71F6-F248-11E8-B48F-1D18A9856A87
last_name: Yakaboylu
orcid: 0000-0001-5973-0874
- first_name: Mikhail
full_name: Lemeshko, Mikhail
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
citation:
ama: Yakaboylu E, Lemeshko M. Anomalous screening of quantum impurities by a neutral
environment. Physical Review Letters. 2017;118(8). doi:10.1103/PhysRevLett.118.085302
apa: Yakaboylu, E., & Lemeshko, M. (2017). Anomalous screening of quantum impurities
by a neutral environment. Physical Review Letters. American Physical Society.
https://doi.org/10.1103/PhysRevLett.118.085302
chicago: Yakaboylu, Enderalp, and Mikhail Lemeshko. “Anomalous Screening of Quantum
Impurities by a Neutral Environment.” Physical Review Letters. American
Physical Society, 2017. https://doi.org/10.1103/PhysRevLett.118.085302.
ieee: E. Yakaboylu and M. Lemeshko, “Anomalous screening of quantum impurities by
a neutral environment,” Physical Review Letters, vol. 118, no. 8. American
Physical Society, 2017.
ista: Yakaboylu E, Lemeshko M. 2017. Anomalous screening of quantum impurities by
a neutral environment. Physical Review Letters. 118(8), 085302.
mla: Yakaboylu, Enderalp, and Mikhail Lemeshko. “Anomalous Screening of Quantum
Impurities by a Neutral Environment.” Physical Review Letters, vol. 118,
no. 8, 085302, American Physical Society, 2017, doi:10.1103/PhysRevLett.118.085302.
short: E. Yakaboylu, M. Lemeshko, Physical Review Letters 118 (2017).
date_created: 2018-12-11T11:50:19Z
date_published: 2017-02-22T00:00:00Z
date_updated: 2025-06-04T08:38:44Z
day: '22'
department:
- _id: MiLe
doi: 10.1103/PhysRevLett.118.085302
ec_funded: 1
external_id:
arxiv:
- '1612.02820'
isi:
- '000394667600003'
intvolume: ' 118'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1612.02820
month: '02'
oa: 1
oa_version: Submitted Version
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
- _id: 26031614-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29902
name: Quantum rotations in the presence of a many-body environment
publication: Physical Review Letters
publication_identifier:
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
publist_id: '6225'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Anomalous screening of quantum impurities by a neutral environment
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 118
year: '2017'
...
---
_id: '1000'
abstract:
- lang: eng
text: 'We study probabilistic models of natural images and extend the autoregressive
family of PixelCNN models by incorporating latent variables. Subsequently, we
describe two new generative image models that exploit different image transformations
as latent variables: a quantized grayscale view of the image or a multi-resolution
image pyramid. The proposed models tackle two known shortcomings of existing PixelCNN
models: 1) their tendency to focus on low-level image details, while largely ignoring
high-level image information, such as object shapes, and 2) their computationally
costly procedure for image sampling. We experimentally demonstrate benefits of
our LatentPixelCNN models, in particular showing that they produce much more realistically
looking image samples than previous state-of-the-art probabilistic models. '
acknowledgement: We thank Tim Salimans for spotting a mistake in our preliminary arXiv
manuscript. This work was funded by the European Research Council under the European
Unions Seventh Framework Programme (FP7/2007-2013)/ERC grant agreement no 308036.
article_processing_charge: No
arxiv: 1
author:
- first_name: Alexander
full_name: Kolesnikov, Alexander
id: 2D157DB6-F248-11E8-B48F-1D18A9856A87
last_name: Kolesnikov
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Kolesnikov A, Lampert C. PixelCNN models with auxiliary variables for natural
image modeling. In: 34th International Conference on Machine Learning.
Vol 70. JMLR; 2017:1905-1914.'
apa: 'Kolesnikov, A., & Lampert, C. (2017). PixelCNN models with auxiliary variables
for natural image modeling. In 34th International Conference on Machine Learning
(Vol. 70, pp. 1905–1914). Sydney, Australia: JMLR.'
chicago: Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary
Variables for Natural Image Modeling.” In 34th International Conference on
Machine Learning, 70:1905–14. JMLR, 2017.
ieee: A. Kolesnikov and C. Lampert, “PixelCNN models with auxiliary variables for
natural image modeling,” in 34th International Conference on Machine Learning,
Sydney, Australia, 2017, vol. 70, pp. 1905–1914.
ista: 'Kolesnikov A, Lampert C. 2017. PixelCNN models with auxiliary variables for
natural image modeling. 34th International Conference on Machine Learning. ICML:
International Conference on Machine Learning vol. 70, 1905–1914.'
mla: Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary
Variables for Natural Image Modeling.” 34th International Conference on Machine
Learning, vol. 70, JMLR, 2017, pp. 1905–14.
short: A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine
Learning, JMLR, 2017, pp. 1905–1914.
conference:
end_date: 2017-08-11
location: Sydney, Australia
name: 'ICML: International Conference on Machine Learning'
start_date: 2017-08-06
date_created: 2018-12-11T11:49:37Z
date_published: 2017-08-01T00:00:00Z
date_updated: 2025-04-15T07:10:22Z
day: '01'
department:
- _id: ChLa
ec_funded: 1
external_id:
arxiv:
- '1612.08185'
isi:
- '000683309501102'
has_accepted_license: '1'
intvolume: ' 70'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1612.08185
month: '08'
oa: 1
oa_version: Submitted Version
page: 1905 - 1914
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '308036'
name: Lifelong Learning of Visual Scene Understanding
publication: 34th International Conference on Machine Learning
publication_identifier:
isbn:
- 978-151085514-4
publication_status: published
publisher: JMLR
publist_id: '6398'
quality_controlled: '1'
scopus_import: '1'
status: public
title: PixelCNN models with auxiliary variables for natural image modeling
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 70
year: '2017'
...
---
_id: '1003'
abstract:
- lang: eng
text: Network games (NGs) are played on directed graphs and are extensively used
in network design and analysis. Search problems for NGs include finding special
strategy profiles such as a Nash equilibrium and a globally optimal solution.
The networks modeled by NGs may be huge. In formal verification, abstraction has
proven to be an extremely effective technique for reasoning about systems with
big and even infinite state spaces. We describe an abstraction-refinement methodology
for reasoning about NGs. Our methodology is based on an abstraction function that
maps the state space of an NG to a much smaller state space. We search for a global
optimum and a Nash equilibrium by reasoning on an under- and an overapproximation
defined on top of this smaller state space. When the approximations are too coarse
to find such profiles, we refine the abstraction function. Our experimental results
demonstrate the efficiency of the methodology.
article_processing_charge: No
author:
- first_name: Guy
full_name: Avni, Guy
id: 463C8BC2-F248-11E8-B48F-1D18A9856A87
last_name: Avni
orcid: 0000-0001-5588-8287
- first_name: Shibashis
full_name: Guha, Shibashis
last_name: Guha
- first_name: Orna
full_name: Kupferman, Orna
last_name: Kupferman
citation:
ama: 'Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning
about network games. In: AAAI Press; 2017:70-76. doi:10.24963/ijcai.2017/11'
apa: 'Avni, G., Guha, S., & Kupferman, O. (2017). An abstraction-refinement
methodology for reasoning about network games (pp. 70–76). Presented at the IJCAI:
International Joint Conference on Artificial Intelligence , Melbourne, Australia:
AAAI Press. https://doi.org/10.24963/ijcai.2017/11'
chicago: Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement
Methodology for Reasoning about Network Games,” 70–76. AAAI Press, 2017. https://doi.org/10.24963/ijcai.2017/11.
ieee: 'G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology
for reasoning about network games,” presented at the IJCAI: International Joint
Conference on Artificial Intelligence , Melbourne, Australia, 2017, pp. 70–76.'
ista: 'Avni G, Guha S, Kupferman O. 2017. An abstraction-refinement methodology
for reasoning about network games. IJCAI: International Joint Conference on Artificial
Intelligence , 70–76.'
mla: Avni, Guy, et al. An Abstraction-Refinement Methodology for Reasoning about
Network Games. AAAI Press, 2017, pp. 70–76, doi:10.24963/ijcai.2017/11.
short: G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
conference:
end_date: 2017-08-25
location: Melbourne, Australia
name: 'IJCAI: International Joint Conference on Artificial Intelligence '
start_date: 2017-08-19
date_created: 2018-12-11T11:49:38Z
date_published: 2017-05-30T00:00:00Z
date_updated: 2025-07-10T11:49:38Z
day: '30'
ddc:
- '004'
department:
- _id: ToHe
doi: 10.24963/ijcai.2017/11
external_id:
isi:
- '000764137500011'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:58Z
date_updated: 2018-12-12T10:16:58Z
file_id: '5249'
file_name: IST-2017-818-v1+1_allIJCAI_CR.pdf
file_size: 365172
relation: main_file
file_date_updated: 2018-12-12T10:16:58Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
page: 70 - 76
project:
- _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:
issn:
- 1045-0823
publication_status: published
publisher: AAAI Press
publist_id: '6395'
pubrep_id: '818'
quality_controlled: '1'
related_material:
record:
- id: '6006'
relation: later_version
status: public
scopus_import: '1'
status: public
title: An abstraction-refinement methodology for reasoning about network games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2017'
...
---
_id: '1006'
abstract:
- lang: eng
text: 'Background: The phenomenon of immune priming, i.e. enhanced protection following
a secondary exposure to a pathogen, has now been demonstrated in a wide range
of invertebrate species. Despite accumulating phenotypic evidence, knowledge of
its mechanistic underpinnings is currently very limited. Here we used the system
of the red flour beetle, Tribolium castaneum and the insect pathogen Bacillus
thuringiensis (Bt) to further our molecular understanding of the oral immune priming
phenomenon. We addressed how ingestion of bacterial cues (derived from spore supernatants)
of an orally pathogenic and non-pathogenic Bt strain affects gene expression upon
later challenge exposure, using a whole-transcriptome sequencing approach. Results:
Whereas gene expression of individuals primed with the orally non-pathogenic strain
showed minor changes to controls, we found that priming with the pathogenic strain
induced regulation of a large set of distinct genes, many of which are known immune
candidates. Intriguingly, the immune repertoire activated upon priming and subsequent
challenge qualitatively differed from the one mounted upon infection with Bt without
previous priming. Moreover, a large subset of priming-specific genes showed an
inverse regulation compared to their regulation upon challenge only. Conclusions:
Our data demonstrate that gene expression upon infection is strongly affected
by previous immune priming. We hypothesise that this shift in gene expression
indicates activation of a more targeted and efficient response towards a previously
encountered pathogen, in anticipation of potential secondary encounter.'
article_processing_charge: No
author:
- first_name: Jenny
full_name: Greenwood, Jenny
last_name: Greenwood
- first_name: Barbara
full_name: Milutinovic, Barbara
id: 2CDC32B8-F248-11E8-B48F-1D18A9856A87
last_name: Milutinovic
orcid: 0000-0002-8214-4758
- first_name: Robert
full_name: Peuß, Robert
last_name: Peuß
- first_name: Sarah
full_name: Behrens, Sarah
last_name: Behrens
- first_name: Daniela
full_name: Essar, Daniela
last_name: Essar
- first_name: Philip
full_name: Rosenstiel, Philip
last_name: Rosenstiel
- first_name: Hinrich
full_name: Schulenburg, Hinrich
last_name: Schulenburg
- first_name: Joachim
full_name: Kurtz, Joachim
last_name: Kurtz
citation:
ama: Greenwood J, Milutinovic B, Peuß R, et al. Oral immune priming with Bacillus
thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae.
BMC Genomics. 2017;18(1):329. doi:10.1186/s12864-017-3705-7
apa: Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel,
P., … Kurtz, J. (2017). Oral immune priming with Bacillus thuringiensis induces
a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics.
BioMed Central. https://doi.org/10.1186/s12864-017-3705-7
chicago: Greenwood, Jenny, Barbara Milutinovic, Robert Peuß, Sarah Behrens, Daniela
Essar, Philip Rosenstiel, Hinrich Schulenburg, and Joachim Kurtz. “Oral Immune
Priming with Bacillus Thuringiensis Induces a Shift in the Gene Expression of
Tribolium Castaneum Larvae.” BMC Genomics. BioMed Central, 2017. https://doi.org/10.1186/s12864-017-3705-7.
ieee: J. Greenwood et al., “Oral immune priming with Bacillus thuringiensis
induces a shift in the gene expression of Tribolium castaneum larvae,” BMC
Genomics, vol. 18, no. 1. BioMed Central, p. 329, 2017.
ista: Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg
H, Kurtz J. 2017. Oral immune priming with Bacillus thuringiensis induces a shift
in the gene expression of Tribolium castaneum larvae. BMC Genomics. 18(1), 329.
mla: Greenwood, Jenny, et al. “Oral Immune Priming with Bacillus Thuringiensis Induces
a Shift in the Gene Expression of Tribolium Castaneum Larvae.” BMC Genomics,
vol. 18, no. 1, BioMed Central, 2017, p. 329, doi:10.1186/s12864-017-3705-7.
short: J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel,
H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.
date_created: 2018-12-11T11:49:39Z
date_published: 2017-04-26T00:00:00Z
date_updated: 2025-07-10T11:49:40Z
day: '26'
ddc:
- '570'
department:
- _id: SyCr
doi: 10.1186/s12864-017-3705-7
external_id:
isi:
- '000400625200004'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:16:46Z
date_updated: 2018-12-12T10:16:46Z
file_id: '5236'
file_name: IST-2017-814-v1+1_s12864-017-3705-7.pdf
file_size: 2379672
relation: main_file
file_date_updated: 2018-12-12T10:16:46Z
has_accepted_license: '1'
intvolume: ' 18'
isi: 1
issue: '1'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
page: '329'
publication: BMC Genomics
publication_identifier:
issn:
- 1471-2164
publication_status: published
publisher: BioMed Central
publist_id: '6392'
pubrep_id: '814'
quality_controlled: '1'
related_material:
record:
- id: '9859'
relation: research_data
status: public
- id: '9860'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Oral immune priming with Bacillus thuringiensis induces a shift in the gene
expression of Tribolium castaneum larvae
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: 18
year: '2017'
...
---
_id: '1007'
abstract:
- lang: eng
text: 'A nonlinear system possesses an invariance with respect to a set of transformations
if its output dynamics remain invariant when transforming the input, and adjusting
the initial condition accordingly. Most research has focused on invariances with
respect to time-independent pointwise transformations like translational-invariance
(u(t) -> u(t) + p, p in R) or scale-invariance (u(t) -> pu(t), p in R>0).
In this article, we introduce the concept of s0-invariances with respect to continuous
input transformations exponentially growing/decaying over time. We show that s0-invariant
systems not only encompass linear time-invariant (LTI) systems with transfer functions
having an irreducible zero at s0 in R, but also that the input/output relationship
of nonlinear s0-invariant systems possesses properties well known from their linear
counterparts. Furthermore, we extend the concept of s0-invariances to second-
and higher-order s0-invariances, corresponding to invariances with respect to
transformations of the time-derivatives of the input, and encompassing LTI systems
with zeros of multiplicity two or higher. Finally, we show that nth-order 0-invariant
systems realize – under mild conditions – nth-order nonlinear differential operators:
when excited by an input of a characteristic functional form, the system’s output
converges to a constant value only depending on the nth (nonlinear) derivative
of the input.'
article_processing_charge: Yes (in subscription journal)
author:
- first_name: Moritz
full_name: Lang, Moritz
id: 29E0800A-F248-11E8-B48F-1D18A9856A87
last_name: Lang
- first_name: Eduardo
full_name: Sontag, Eduardo
last_name: Sontag
citation:
ama: Lang M, Sontag E. Zeros of nonlinear systems with input invariances. Automatica.
2017;81C:46-55. doi:10.1016/j.automatica.2017.03.030
apa: Lang, M., & Sontag, E. (2017). Zeros of nonlinear systems with input invariances.
Automatica. International Federation of Automatic Control. https://doi.org/10.1016/j.automatica.2017.03.030
chicago: Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input
Invariances.” Automatica. International Federation of Automatic Control,
2017. https://doi.org/10.1016/j.automatica.2017.03.030.
ieee: M. Lang and E. Sontag, “Zeros of nonlinear systems with input invariances,”
Automatica, vol. 81C. International Federation of Automatic Control, pp.
46–55, 2017.
ista: Lang M, Sontag E. 2017. Zeros of nonlinear systems with input invariances.
Automatica. 81C, 46–55.
mla: Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.”
Automatica, vol. 81C, International Federation of Automatic Control, 2017,
pp. 46–55, doi:10.1016/j.automatica.2017.03.030.
short: M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
date_created: 2018-12-11T11:49:39Z
date_published: 2017-06-01T00:00:00Z
date_updated: 2025-04-15T06:50:01Z
day: '01'
ddc:
- '000'
department:
- _id: CaGu
- _id: GaTk
doi: 10.1016/j.automatica.2017.03.030
ec_funded: 1
external_id:
isi:
- '000403513900006'
file:
- access_level: open_access
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:11:29Z
date_updated: 2018-12-12T10:11:29Z
file_id: '4884'
file_name: IST-2017-813-v1+1_ZerosOfNonlinearSystems.pdf
file_size: 1401954
relation: main_file
file_date_updated: 2018-12-12T10:11:29Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 46 - 55
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Automatica
publication_identifier:
issn:
- 0005-1098
publication_status: published
publisher: International Federation of Automatic Control
publist_id: '6391'
pubrep_id: '813'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Zeros of nonlinear systems with input invariances
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: 81C
year: '2017'
...
---
_id: '1009'
abstract:
- lang: eng
text: A standard objective in partially-observable Markov decision processes (POMDPs)
is to find a policy that maximizes the expected discounted-sum payoff. However,
such policies may still permit unlikely but highly undesirable outcomes, which
is problematic especially in safety-critical applications. Recently, there has
been a surge of interest in POMDPs where the goal is to maximize the probability
to ensure that the payoff is at least a given threshold, but these approaches
do not consider any optimization beyond satisfying this threshold constraint.
In this work we go beyond both the “expectation” and “threshold” approaches and
consider a “guaranteed payoff optimization (GPO)” problem for POMDPs, where we
are given a threshold t and the objective is to find a policy σ such that a) each
possible outcome of σ yields a discounted-sum payoff of at least t, and b) the
expected discounted-sum payoff of σ is optimal (or near-optimal) among all policies
satisfying a). We present a practical approach to tackle the GPO problem and evaluate
it on standard POMDP benchmarks.
acknowledgement: 'he research leading to these results was supported by the Austrian
Science Fund (FWF) NFN Grant no. S11407-N23 (RiSE/SHiNE); two ERC Starting grants
(279307: Graph Games, 279499: inVEST); the Vienna Science and Tech- nology Fund
(WWTF) through project ICT15-003; and the People Programme (Marie Curie Actions)
of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant
agreement no. [291734].'
article_processing_charge: No
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Petr
full_name: Novotny, Petr
id: 3CC3B868-F248-11E8-B48F-1D18A9856A87
last_name: Novotny
- first_name: Guillermo
full_name: Pérez, Guillermo
last_name: Pérez
- first_name: Jean
full_name: Raskin, Jean
last_name: Raskin
- first_name: Djordje
full_name: Zikelic, Djordje
last_name: Zikelic
citation:
ama: 'Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. Optimizing expectation
with guarantees in POMDPs. In: Proceedings of the 31st AAAI Conference on Artificial
Intelligence. Vol 5. AAAI Press; 2017:3725-3732.'
apa: 'Chatterjee, K., Novotný, P., Pérez, G., Raskin, J., & Zikelic, D. (2017).
Optimizing expectation with guarantees in POMDPs. In Proceedings of the 31st
AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3725–3732). San Francisco,
CA, United States: AAAI Press.'
chicago: Chatterjee, Krishnendu, Petr Novotný, Guillermo Pérez, Jean Raskin, and
Djordje Zikelic. “Optimizing Expectation with Guarantees in POMDPs.” In Proceedings
of the 31st AAAI Conference on Artificial Intelligence, 5:3725–32. AAAI Press,
2017.
ieee: K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, and D. Zikelic, “Optimizing
expectation with guarantees in POMDPs,” in Proceedings of the 31st AAAI Conference
on Artificial Intelligence, San Francisco, CA, United States, 2017, vol. 5,
pp. 3725–3732.
ista: 'Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. 2017. Optimizing expectation
with guarantees in POMDPs. Proceedings of the 31st AAAI Conference on Artificial
Intelligence. AAAI: Conference on Artificial Intelligence vol. 5, 3725–3732.'
mla: Chatterjee, Krishnendu, et al. “Optimizing Expectation with Guarantees in POMDPs.”
Proceedings of the 31st AAAI Conference on Artificial Intelligence, vol.
5, AAAI Press, 2017, pp. 3725–32.
short: K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings
of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp.
3725–3732.
conference:
end_date: 2017-02-10
location: San Francisco, CA, United States
name: 'AAAI: Conference on Artificial Intelligence'
start_date: 2017-02-04
date_created: 2018-12-11T11:49:40Z
date_published: 2017-01-01T00:00:00Z
date_updated: 2025-04-14T13:51:03Z
day: '01'
department:
- _id: KrCh
ec_funded: 1
external_id:
isi:
- '000485630703107'
intvolume: ' 5'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.aaai.org/ocs/index.php/AAAI/AAAI17/paper/download/14354/14092
month: '01'
oa: 1
oa_version: Submitted Version
page: 3725 - 3732
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
publication: Proceedings of the 31st AAAI Conference on Artificial Intelligence
publication_status: published
publisher: AAAI Press
publist_id: '6387'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Optimizing expectation with guarantees in POMDPs
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 5
year: '2017'
...
---
_id: '1011'
abstract:
- lang: eng
text: Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly
equivalent, are standard models for interprocedural analysis. Yet RSMs are more
convenient as they (a) explicitly model function calls and returns, and (b) specify
many natural parameters for algorithmic analysis, e.g., the number of entries
and exits. We consider a general framework where RSM transitions are labeled from
a semiring and path properties are algebraic with semiring operations, which can
model, e.g., interprocedural reachability and dataflow analysis problems. Our
main contributions are new algorithms for several fundamental problems. As compared
to a direct translation of RSMs to PDSs and the best-known existing bounds of
PDSs, our analysis algorithm improves the complexity for finite-height semirings
(that subsumes reachability and standard dataflow properties). We further consider
the problem of extracting distance values from the representation structures computed
by our algorithm, and give efficient algorithms that distinguish the complexity
of a one-time preprocessing from the complexity of each individual query. Another
advantage of our algorithm is that our improvements carry over to the concurrent
setting, where we improve the bestknown complexity for the context-bounded analysis
of concurrent RSMs. Finally, we provide a prototype implementation that gives
a significant speed-up on several benchmarks from the SLAM/SDV project.
alternative_title:
- LNCS
article_processing_charge: No
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: Bernhard
full_name: Kragl, Bernhard
id: 320FC952-F248-11E8-B48F-1D18A9856A87
last_name: Kragl
orcid: 0000-0001-7745-9117
- first_name: Samarth
full_name: Mishra, Samarth
last_name: Mishra
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
citation:
ama: 'Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted
recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:10.1007/978-3-662-54434-1_11'
apa: 'Chatterjee, K., Kragl, B., Mishra, S., & Pavlogiannis, A. (2017). Faster
algorithms for weighted recursive state machines. In H. Yang (Ed.) (Vol. 10201,
pp. 287–313). Presented at the ESOP: European Symposium on Programming, Uppsala,
Sweden: Springer. https://doi.org/10.1007/978-3-662-54434-1_11'
chicago: Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis.
“Faster Algorithms for Weighted Recursive State Machines.” edited by Hongseok
Yang, 10201:287–313. Springer, 2017. https://doi.org/10.1007/978-3-662-54434-1_11.
ieee: 'K. Chatterjee, B. Kragl, S. Mishra, and A. Pavlogiannis, “Faster algorithms
for weighted recursive state machines,” presented at the ESOP: European Symposium
on Programming, Uppsala, Sweden, 2017, vol. 10201, pp. 287–313.'
ista: 'Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms
for weighted recursive state machines. ESOP: European Symposium on Programming,
LNCS, vol. 10201, 287–313.'
mla: Chatterjee, Krishnendu, et al. Faster Algorithms for Weighted Recursive
State Machines. Edited by Hongseok Yang, vol. 10201, Springer, 2017, pp. 287–313,
doi:10.1007/978-3-662-54434-1_11.
short: K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.),
Springer, 2017, pp. 287–313.
conference:
end_date: 2017-04-29
location: Uppsala, Sweden
name: 'ESOP: European Symposium on Programming'
start_date: 2017-04-22
date_created: 2018-12-11T11:49:41Z
date_published: 2017-03-19T00:00:00Z
date_updated: 2025-06-04T08:09:18Z
day: '19'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1007/978-3-662-54434-1_11
ec_funded: 1
editor:
- first_name: Hongseok
full_name: Yang, Hongseok
last_name: Yang
external_id:
arxiv:
- '1701.04914'
isi:
- '000681702400011'
intvolume: ' 10201'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1701.04914
month: '03'
oa: 1
oa_version: Submitted Version
page: 287 - 313
project:
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
publication_identifier:
issn:
- 0302-9743
publication_status: published
publisher: Springer
publist_id: '6384'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Faster algorithms for weighted recursive state machines
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10201
year: '2017'
...
---
_id: '10126'
article_number: 391a
article_processing_charge: No
article_type: letter_note
author:
- first_name: Afshin
full_name: Vahid Belarghou, Afshin
last_name: Vahid Belarghou
- first_name: Anđela
full_name: Šarić, Anđela
id: bf63d406-f056-11eb-b41d-f263a6566d8b
last_name: Šarić
orcid: 0000-0002-7854-2139
- first_name: Timon
full_name: Idema, Timon
last_name: Idema
citation:
ama: Vahid Belarghou A, Šarić A, Idema T. Curvature mediated interactions in highly
curved membranes. Biophysical Journal. 2017;112(3). doi:10.1016/j.bpj.2016.11.2123
apa: Vahid Belarghou, A., Šarić, A., & Idema, T. (2017). Curvature mediated
interactions in highly curved membranes. Biophysical Journal. Elsevier
. https://doi.org/10.1016/j.bpj.2016.11.2123
chicago: Vahid Belarghou, Afshin, Anđela Šarić, and Timon Idema. “Curvature Mediated
Interactions in Highly Curved Membranes.” Biophysical Journal. Elsevier
, 2017. https://doi.org/10.1016/j.bpj.2016.11.2123.
ieee: A. Vahid Belarghou, A. Šarić, and T. Idema, “Curvature mediated interactions
in highly curved membranes,” Biophysical Journal, vol. 112, no. 3. Elsevier
, 2017.
ista: Vahid Belarghou A, Šarić A, Idema T. 2017. Curvature mediated interactions
in highly curved membranes. Biophysical Journal. 112(3), 391a.
mla: Vahid Belarghou, Afshin, et al. “Curvature Mediated Interactions in Highly
Curved Membranes.” Biophysical Journal, vol. 112, no. 3, 391a, Elsevier
, 2017, doi:10.1016/j.bpj.2016.11.2123.
short: A. Vahid Belarghou, A. Šarić, T. Idema, Biophysical Journal 112 (2017).
date_created: 2021-10-12T07:47:55Z
date_published: 2017-02-03T00:00:00Z
date_updated: 2021-11-03T10:02:45Z
day: '03'
doi: 10.1016/j.bpj.2016.11.2123
extern: '1'
intvolume: ' 112'
issue: '3'
keyword:
- biophysics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.cell.com/biophysj/fulltext/S0006-3495(16)33153-8
month: '02'
oa: 1
oa_version: Published Version
publication: Biophysical Journal
publication_identifier:
issn:
- 0006-3495
publication_status: published
publisher: 'Elsevier '
quality_controlled: '1'
status: public
title: Curvature mediated interactions in highly curved membranes
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 112
year: '2017'
...
---
_id: '1013'
abstract:
- lang: eng
text: From microwave ovens to satellite television to the GPS and data services
on our mobile phones, microwave technology is everywhere today. But one technology
that has so far failed to prove its worth in this wavelength regime is quantum
communication that uses the states of single photons as information carriers.
This is because single microwave photons, as opposed to classical microwave signals,
are extremely vulnerable to noise from thermal excitations in the channels through
which they travel. Two new independent studies, one by Ze-Liang Xiang at Technische
Universität Wien (Vienna), Austria, and colleagues [1] and another by Benoît Vermersch
at the University of Innsbruck, also in Austria, and colleagues [2] now describe
a theoretical protocol for microwave quantum communication that is resilient to
thermal and other types of noise. Their approach could become a powerful technique
to establish fast links between superconducting data processors in a future all-microwave
quantum network.
article_processing_charge: No
article_type: review
author:
- first_name: Johannes M
full_name: Fink, Johannes M
id: 4B591CBA-F248-11E8-B48F-1D18A9856A87
last_name: Fink
orcid: 0000-0001-8112-028X
citation:
ama: 'Fink JM. Viewpoint: Microwave quantum states beat the heat. Physics.
2017;10(32). doi:10.1103/Physics.10.32'
apa: 'Fink, J. M. (2017). Viewpoint: Microwave quantum states beat the heat. Physics.
American Physical Society. https://doi.org/10.1103/Physics.10.32'
chicago: 'Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.”
Physics. American Physical Society, 2017. https://doi.org/10.1103/Physics.10.32.'
ieee: 'J. M. Fink, “Viewpoint: Microwave quantum states beat the heat,” Physics,
vol. 10, no. 32. American Physical Society, 2017.'
ista: 'Fink JM. 2017. Viewpoint: Microwave quantum states beat the heat. Physics.
10(32).'
mla: 'Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” Physics,
vol. 10, no. 32, American Physical Society, 2017, doi:10.1103/Physics.10.32.'
short: J.M. Fink, Physics 10 (2017).
corr_author: '1'
date_created: 2018-12-11T11:49:41Z
date_published: 2017-03-27T00:00:00Z
date_updated: 2024-10-09T20:57:21Z
day: '27'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1103/Physics.10.32
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2019-10-24T11:38:14Z
date_updated: 2019-10-24T11:38:14Z
file_id: '6968'
file_name: 2017_Physics_Fink.pdf
file_size: 193622
relation: main_file
success: 1
file_date_updated: 2019-10-24T11:38:14Z
has_accepted_license: '1'
intvolume: ' 10'
issue: '32'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
publication: Physics
publication_status: published
publisher: American Physical Society
publist_id: '6382'
quality_controlled: '1'
status: public
title: 'Viewpoint: Microwave quantum states beat the heat'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10
year: '2017'
...
---
_id: '1014'
abstract:
- lang: eng
text: 'We consider the large-scale regularity of solutions to second-order linear
elliptic equations with random coefficient fields. In contrast to previous works
on regularity theory for random elliptic operators, our interest is in the regularity
at the boundary: We consider problems posed on the half-space with homogeneous
Dirichlet boundary conditions and derive an associated C1,α-type large-scale regularity
theory in the form of a corresponding decay estimate for the homogenization-adapted
tilt-excess. This regularity theory entails an associated Liouville-type theorem.
The results are based on the existence of homogenization correctors adapted to
the half-space setting, which we construct-by an entirely deterministic argument-as
a modification of the homogenization corrector on the whole space. This adaption
procedure is carried out inductively on larger scales, crucially relying on the
regularity theory already established on smaller scales.'
article_processing_charge: No
author:
- first_name: Julian L
full_name: Fischer, Julian L
id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
last_name: Fischer
orcid: 0000-0002-0479-558X
- first_name: Claudia
full_name: Raithel, Claudia
last_name: Raithel
citation:
ama: Fischer JL, Raithel C. Liouville principles and a large-scale regularity theory
for random elliptic operators on the half-space. SIAM Journal on Mathematical
Analysis. 2017;49(1):82-114. doi:10.1137/16M1070384
apa: Fischer, J. L., & Raithel, C. (2017). Liouville principles and a large-scale
regularity theory for random elliptic operators on the half-space. SIAM Journal
on Mathematical Analysis. Society for Industrial and Applied Mathematics .
https://doi.org/10.1137/16M1070384
chicago: Fischer, Julian L, and Claudia Raithel. “Liouville Principles and a Large-Scale
Regularity Theory for Random Elliptic Operators on the Half-Space.” SIAM Journal
on Mathematical Analysis. Society for Industrial and Applied Mathematics ,
2017. https://doi.org/10.1137/16M1070384.
ieee: J. L. Fischer and C. Raithel, “Liouville principles and a large-scale regularity
theory for random elliptic operators on the half-space,” SIAM Journal on Mathematical
Analysis, vol. 49, no. 1. Society for Industrial and Applied Mathematics ,
pp. 82–114, 2017.
ista: Fischer JL, Raithel C. 2017. Liouville principles and a large-scale regularity
theory for random elliptic operators on the half-space. SIAM Journal on Mathematical
Analysis. 49(1), 82–114.
mla: Fischer, Julian L., and Claudia Raithel. “Liouville Principles and a Large-Scale
Regularity Theory for Random Elliptic Operators on the Half-Space.” SIAM Journal
on Mathematical Analysis, vol. 49, no. 1, Society for Industrial and Applied
Mathematics , 2017, pp. 82–114, doi:10.1137/16M1070384.
short: J.L. Fischer, C. Raithel, SIAM Journal on Mathematical Analysis 49 (2017)
82–114.
date_created: 2018-12-11T11:49:41Z
date_published: 2017-01-12T00:00:00Z
date_updated: 2023-09-22T09:43:36Z
day: '12'
doi: 10.1137/16M1070384
extern: '1'
external_id:
isi:
- '000396681800004'
intvolume: ' 49'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1703.04328
month: '01'
oa: 1
oa_version: Submitted Version
page: 82 - 114
publication: SIAM Journal on Mathematical Analysis
publication_identifier:
issn:
- '00361410'
publication_status: published
publisher: 'Society for Industrial and Applied Mathematics '
publist_id: '6381'
quality_controlled: '1'
status: public
title: Liouville principles and a large-scale regularity theory for random elliptic
operators on the half-space
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 49
year: '2017'
...