---
_id: '157'
abstract:
- lang: eng
text: 'Social dilemmas occur when incentives for individuals are misaligned with
group interests 1-7 . According to the ''tragedy of the commons'', these misalignments
can lead to overexploitation and collapse of public resources. The resulting behaviours
can be analysed with the tools of game theory 8 . The theory of direct reciprocity
9-15 suggests that repeated interactions can alleviate such dilemmas, but previous
work has assumed that the public resource remains constant over time. Here we
introduce the idea that the public resource is instead changeable and depends
on the strategic choices of individuals. An intuitive scenario is that cooperation
increases the public resource, whereas defection decreases it. Thus, cooperation
allows the possibility of playing a more valuable game with higher payoffs, whereas
defection leads to a less valuable game. We analyse this idea using the theory
of stochastic games 16-19 and evolutionary game theory. We find that the dependence
of the public resource on previous interactions can greatly enhance the propensity
for cooperation. For these results, the interaction between reciprocity and payoff
feedback is crucial: neither repeated interactions in a constant environment nor
single interactions in a changing environment yield similar cooperation rates.
Our framework shows which feedbacks between exploitation and environment - either
naturally occurring or designed - help to overcome social dilemmas.'
acknowledgement: "European Research Council Start Grant 279307, Austrian Science Fund
(FWF) grant P23499-N23, \r\nC.H. acknowledges support from the ISTFELLOW programme."
article_processing_charge: No
author:
- first_name: Christian
full_name: Hilbe, Christian
id: 2FDF8F3C-F248-11E8-B48F-1D18A9856A87
last_name: Hilbe
orcid: 0000-0001-5116-955X
- first_name: Štepán
full_name: Šimsa, Štepán
last_name: Šimsa
- 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: Nowak, Martin
last_name: Nowak
citation:
ama: Hilbe C, Šimsa Š, Chatterjee K, Nowak M. Evolution of cooperation in stochastic
games. Nature. 2018;559(7713):246-249. doi:10.1038/s41586-018-0277-x
apa: Hilbe, C., Šimsa, Š., Chatterjee, K., & Nowak, M. (2018). Evolution of
cooperation in stochastic games. Nature. Nature Publishing Group. https://doi.org/10.1038/s41586-018-0277-x
chicago: Hilbe, Christian, Štepán Šimsa, Krishnendu Chatterjee, and Martin Nowak.
“Evolution of Cooperation in Stochastic Games.” Nature. Nature Publishing
Group, 2018. https://doi.org/10.1038/s41586-018-0277-x.
ieee: C. Hilbe, Š. Šimsa, K. Chatterjee, and M. Nowak, “Evolution of cooperation
in stochastic games,” Nature, vol. 559, no. 7713. Nature Publishing Group,
pp. 246–249, 2018.
ista: Hilbe C, Šimsa Š, Chatterjee K, Nowak M. 2018. Evolution of cooperation in
stochastic games. Nature. 559(7713), 246–249.
mla: Hilbe, Christian, et al. “Evolution of Cooperation in Stochastic Games.” Nature,
vol. 559, no. 7713, Nature Publishing Group, 2018, pp. 246–49, doi:10.1038/s41586-018-0277-x.
short: C. Hilbe, Š. Šimsa, K. Chatterjee, M. Nowak, Nature 559 (2018) 246–249.
date_created: 2018-12-11T11:44:56Z
date_published: 2018-07-04T00:00:00Z
date_updated: 2023-09-11T13:43:22Z
day: '04'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1038/s41586-018-0277-x
ec_funded: 1
external_id:
isi:
- '000438240900054'
file:
- access_level: open_access
checksum: 011ab905cf9a410bc2b96f15174d654d
content_type: application/pdf
creator: dernst
date_created: 2019-11-19T08:09:57Z
date_updated: 2020-07-14T12:45:02Z
file_id: '7049'
file_name: 2018_Nature_Hilbe.pdf
file_size: 2834442
relation: main_file
file_date_updated: 2020-07-14T12:45:02Z
has_accepted_license: '1'
intvolume: ' 559'
isi: 1
issue: '7713'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 246 - 249
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: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Nature
publication_status: published
publisher: Nature Publishing Group
publist_id: '7764'
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/engineering-cooperation/
scopus_import: '1'
status: public
title: Evolution of cooperation in stochastic games
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 559
year: '2018'
...
---
_id: '158'
abstract:
- lang: eng
text: 'The angiosperm seed is composed of three genetically distinct tissues: the
diploid embryo that originates from the fertilized egg cell, the triploid endosperm
that is produced from the fertilized central cell, and the maternal sporophytic
integuments that develop into the seed coat1. At the onset of embryo development
in Arabidopsis thaliana, the zygote divides asymmetrically, producing a small
apical embryonic cell and a larger basal cell that connects the embryo to the
maternal tissue2. The coordinated and synchronous development of the embryo and
the surrounding integuments, and the alignment of their growth axes, suggest communication
between maternal tissues and the embryo. In contrast to animals, however, where
a network of maternal factors that direct embryo patterning have been identified3,4,
only a few maternal mutations have been described to affect embryo development
in plants5–7. Early embryo patterning in Arabidopsis requires accumulation of
the phytohormone auxin in the apical cell by directed transport from the suspensor8–10.
However, the origin of this auxin has remained obscure. Here we investigate the
source of auxin for early embryogenesis and provide evidence that the mother plant
coordinates seed development by supplying auxin to the early embryo from the integuments
of the ovule. We show that auxin response increases in ovules after fertilization,
due to upregulated auxin biosynthesis in the integuments, and this maternally
produced auxin is required for correct embryo development.'
acknowledgement: This work was further supported by the Czech Science Foundation GACR
(GA13-40637S) to J.F.;
article_processing_charge: No
author:
- first_name: Hélène
full_name: Robert, Hélène
last_name: Robert
- first_name: Chulmin
full_name: Park, Chulmin
last_name: Park
- first_name: Carla
full_name: Gutièrrez, Carla
last_name: Gutièrrez
- first_name: Barbara
full_name: Wójcikowska, Barbara
last_name: Wójcikowska
- first_name: Aleš
full_name: Pěnčík, Aleš
last_name: Pěnčík
- first_name: Ondřej
full_name: Novák, Ondřej
last_name: Novák
- first_name: Junyi
full_name: Chen, Junyi
last_name: Chen
- first_name: Wim
full_name: Grunewald, Wim
last_name: Grunewald
- first_name: Thomas
full_name: Dresselhaus, Thomas
last_name: Dresselhaus
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Thomas
full_name: Laux, Thomas
last_name: Laux
citation:
ama: Robert H, Park C, Gutièrrez C, et al. Maternal auxin supply contributes to
early embryo patterning in Arabidopsis. Nature Plants. 2018;4(8):548-553.
doi:10.1038/s41477-018-0204-z
apa: Robert, H., Park, C., Gutièrrez, C., Wójcikowska, B., Pěnčík, A., Novák, O.,
… Laux, T. (2018). Maternal auxin supply contributes to early embryo patterning
in Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/s41477-018-0204-z
chicago: Robert, Hélène, Chulmin Park, Carla Gutièrrez, Barbara Wójcikowska, Aleš
Pěnčík, Ondřej Novák, Junyi Chen, et al. “Maternal Auxin Supply Contributes to
Early Embryo Patterning in Arabidopsis.” Nature Plants. Nature Publishing
Group, 2018. https://doi.org/10.1038/s41477-018-0204-z.
ieee: H. Robert et al., “Maternal auxin supply contributes to early embryo
patterning in Arabidopsis,” Nature Plants, vol. 4, no. 8. Nature Publishing
Group, pp. 548–553, 2018.
ista: Robert H, Park C, Gutièrrez C, Wójcikowska B, Pěnčík A, Novák O, Chen J, Grunewald
W, Dresselhaus T, Friml J, Laux T. 2018. Maternal auxin supply contributes to
early embryo patterning in Arabidopsis. Nature Plants. 4(8), 548–553.
mla: Robert, Hélène, et al. “Maternal Auxin Supply Contributes to Early Embryo Patterning
in Arabidopsis.” Nature Plants, vol. 4, no. 8, Nature Publishing Group,
2018, pp. 548–53, doi:10.1038/s41477-018-0204-z.
short: H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pěnčík, O. Novák, J.
Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018)
548–553.
date_created: 2018-12-11T11:44:56Z
date_published: 2018-07-16T00:00:00Z
date_updated: 2025-05-07T11:12:31Z
day: '16'
department:
- _id: JiFr
doi: 10.1038/s41477-018-0204-z
ec_funded: 1
external_id:
isi:
- '000443861300011'
pmid:
- '30013211'
intvolume: ' 4'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pubmed/30013211
month: '07'
oa: 1
oa_version: Submitted Version
page: 548 - 553
pmid: 1
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: Nature Plants
publication_status: published
publisher: Nature Publishing Group
publist_id: '7763'
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/plant-mothers-talk-to-their-embryos-via-the-hormone-auxin/
scopus_import: '1'
status: public
title: Maternal auxin supply contributes to early embryo patterning in Arabidopsis
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 4
year: '2018'
...
---
_id: '159'
abstract:
- lang: eng
text: L-type Ca2+ channels (LTCCs) play a crucial role in excitation-contraction
coupling and release of hormones from secretory cells. They are targets of antihypertensive
and antiarrhythmic drugs such as diltiazem. Here, we present a photoswitchable
diltiazem, FHU-779, which can be used to reversibly block endogenous LTCCs by
light. FHU-779 is as potent as diltiazem and can be used to place pancreatic β-cell
function and cardiac activity under optical control.
article_processing_charge: No
article_type: original
author:
- first_name: Timm
full_name: Fehrentz, Timm
last_name: Fehrentz
- first_name: Florian
full_name: Huber, Florian
last_name: Huber
- first_name: Nina
full_name: Hartrampf, Nina
last_name: Hartrampf
- first_name: Tobias
full_name: Bruegmann, Tobias
last_name: Bruegmann
- first_name: James
full_name: Frank, James
last_name: Frank
- first_name: Nicholas
full_name: Fine, Nicholas
last_name: Fine
- first_name: Daniela
full_name: Malan, Daniela
last_name: Malan
- first_name: Johann G
full_name: Danzl, Johann G
id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
last_name: Danzl
orcid: 0000-0001-8559-3973
- first_name: Denis
full_name: Tikhonov, Denis
last_name: Tikhonov
- first_name: Maritn
full_name: Sumser, Maritn
last_name: Sumser
- first_name: Philipp
full_name: Sasse, Philipp
last_name: Sasse
- first_name: David
full_name: Hodson, David
last_name: Hodson
- first_name: Boris
full_name: Zhorov, Boris
last_name: Zhorov
- first_name: Nikolaj
full_name: Klocker, Nikolaj
last_name: Klocker
- first_name: Dirk
full_name: Trauner, Dirk
last_name: Trauner
citation:
ama: Fehrentz T, Huber F, Hartrampf N, et al. Optical control of L-type Ca2+ channels
using a diltiazem photoswitch. Nature Chemical Biology. 2018;14(8):764-767.
doi:10.1038/s41589-018-0090-8
apa: Fehrentz, T., Huber, F., Hartrampf, N., Bruegmann, T., Frank, J., Fine, N.,
… Trauner, D. (2018). Optical control of L-type Ca2+ channels using a diltiazem
photoswitch. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/s41589-018-0090-8
chicago: Fehrentz, Timm, Florian Huber, Nina Hartrampf, Tobias Bruegmann, James
Frank, Nicholas Fine, Daniela Malan, et al. “Optical Control of L-Type Ca2+ Channels
Using a Diltiazem Photoswitch.” Nature Chemical Biology. Nature Publishing
Group, 2018. https://doi.org/10.1038/s41589-018-0090-8.
ieee: T. Fehrentz et al., “Optical control of L-type Ca2+ channels using
a diltiazem photoswitch,” Nature Chemical Biology, vol. 14, no. 8. Nature
Publishing Group, pp. 764–767, 2018.
ista: Fehrentz T, Huber F, Hartrampf N, Bruegmann T, Frank J, Fine N, Malan D, Danzl
JG, Tikhonov D, Sumser M, Sasse P, Hodson D, Zhorov B, Klocker N, Trauner D. 2018.
Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature
Chemical Biology. 14(8), 764–767.
mla: Fehrentz, Timm, et al. “Optical Control of L-Type Ca2+ Channels Using a Diltiazem
Photoswitch.” Nature Chemical Biology, vol. 14, no. 8, Nature Publishing
Group, 2018, pp. 764–67, doi:10.1038/s41589-018-0090-8.
short: T. Fehrentz, F. Huber, N. Hartrampf, T. Bruegmann, J. Frank, N. Fine, D.
Malan, J.G. Danzl, D. Tikhonov, M. Sumser, P. Sasse, D. Hodson, B. Zhorov, N.
Klocker, D. Trauner, Nature Chemical Biology 14 (2018) 764–767.
date_created: 2018-12-11T11:44:56Z
date_published: 2018-07-16T00:00:00Z
date_updated: 2023-09-13T09:36:35Z
day: '16'
ddc:
- '570'
department:
- _id: JoDa
doi: 10.1038/s41589-018-0090-8
external_id:
isi:
- '000438970200010'
file:
- access_level: open_access
checksum: d42935094ec845f54a0688bf12986d62
content_type: application/pdf
creator: dernst
date_created: 2020-05-14T12:14:09Z
date_updated: 2020-07-14T12:45:03Z
file_id: '7832'
file_name: 2018_NatureChemicalBiology_Fehrentz.pdf
file_size: 6321000
relation: main_file
file_date_updated: 2020-07-14T12:45:03Z
has_accepted_license: '1'
intvolume: ' 14'
isi: 1
issue: '8'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 764 - 767
publication: Nature Chemical Biology
publication_status: published
publisher: Nature Publishing Group
publist_id: '7762'
quality_controlled: '1'
related_material:
link:
- relation: erratum
url: https://doi.org/10.1038/s41589-021-00744-3
scopus_import: '1'
status: public
title: Optical control of L-type Ca2+ channels using a diltiazem photoswitch
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 14
year: '2018'
...
---
_id: '16'
abstract:
- lang: eng
text: We report quantitative evidence of mixing-layer elastic instability in a viscoelastic
fluid flow between two widely spaced obstacles hindering a channel flow at Re
1 and Wi 1. Two mixing layers with nonuniform shear velocity profiles are formed
in the region between the obstacles. The mixing-layer instability arises in the
vicinity of an inflection point on the shear velocity profile with a steep variation
in the elastic stress. The instability results in an intermittent appearance of
small vortices in the mixing layers and an amplification of spatiotemporal averaged
vorticity in the elastic turbulence regime. The latter is characterized through
scaling of friction factor with Wi and both pressure and velocity spectra. Furthermore,
the observations reported provide improved understanding of the stability of the
mixing layer in a viscoelastic fluid at large elasticity, i.e., Wi 1 and Re 1
and oppose the current view of suppression of vorticity solely by polymer additives.
acknowledgement: This work was partially supported by the Israel Science Foundation
(ISF; Grant No. 882/15) and the Binational USA-Israel Foundation (BSF; Grant No.
2016145).
article_number: '103303'
article_processing_charge: No
article_type: original
author:
- first_name: Atul
full_name: Varshney, Atul
id: 2A2006B2-F248-11E8-B48F-1D18A9856A87
last_name: Varshney
orcid: 0000-0002-3072-5999
- first_name: Victor
full_name: Steinberg, Victor
last_name: Steinberg
citation:
ama: Varshney A, Steinberg V. Mixing layer instability and vorticity amplification
in a creeping viscoelastic flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103303
apa: Varshney, A., & Steinberg, V. (2018). Mixing layer instability and vorticity
amplification in a creeping viscoelastic flow. Physical Review Fluids.
American Physical Society. https://doi.org/10.1103/PhysRevFluids.3.103303
chicago: Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity
Amplification in a Creeping Viscoelastic Flow.” Physical Review Fluids.
American Physical Society, 2018. https://doi.org/10.1103/PhysRevFluids.3.103303.
ieee: A. Varshney and V. Steinberg, “Mixing layer instability and vorticity amplification
in a creeping viscoelastic flow,” Physical Review Fluids, vol. 3, no. 10.
American Physical Society, 2018.
ista: Varshney A, Steinberg V. 2018. Mixing layer instability and vorticity amplification
in a creeping viscoelastic flow. Physical Review Fluids. 3(10), 103303.
mla: Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity
Amplification in a Creeping Viscoelastic Flow.” Physical Review Fluids,
vol. 3, no. 10, 103303, American Physical Society, 2018, doi:10.1103/PhysRevFluids.3.103303.
short: A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).
date_created: 2018-12-11T11:44:10Z
date_published: 2018-10-16T00:00:00Z
date_updated: 2023-09-13T08:57:05Z
day: '16'
ddc:
- '532'
department:
- _id: BjHo
doi: 10.1103/PhysRevFluids.3.103303
ec_funded: 1
external_id:
isi:
- '000447469200001'
file:
- access_level: open_access
checksum: 7fc0a2322214d1c04debef36d5bf2e8a
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:56Z
date_updated: 2020-07-14T12:45:04Z
file_id: '5043'
file_name: IST-2018-1062-v1+1_PhysRevFluids.3.103303.pdf
file_size: 1838431
relation: main_file
file_date_updated: 2020-07-14T12:45:04Z
has_accepted_license: '1'
intvolume: ' 3'
isi: 1
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Physical Review Fluids
publication_status: published
publisher: American Physical Society
publist_id: '8039'
pubrep_id: '1062'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mixing layer instability and vorticity amplification in a creeping viscoelastic
flow
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 3
year: '2018'
...
---
_id: '160'
abstract:
- lang: eng
text: We present layered concurrent programs, a compact and expressive notation
for specifying refinement proofs of concurrent programs. A layered concurrent
program specifies a sequence of connected concurrent programs, from most concrete
to most abstract, such that common parts of different programs are written exactly
once. These programs are expressed in the ordinary syntax of imperative concurrent
programs using gated atomic actions, sequencing, choice, and (recursive) procedure
calls. Each concurrent program is automatically extracted from the layered program.
We reduce refinement to the safety of a sequence of concurrent checker programs,
one each to justify the connection between every two consecutive concurrent programs.
These checker programs are also automatically extracted from the layered program.
Layered concurrent programs have been implemented in the CIVL verifier which has
been successfully used for the verification of several complex concurrent programs.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Bernhard
full_name: Kragl, Bernhard
id: 320FC952-F248-11E8-B48F-1D18A9856A87
last_name: Kragl
orcid: 0000-0001-7745-9117
- first_name: Shaz
full_name: Qadeer, Shaz
last_name: Qadeer
citation:
ama: 'Kragl B, Qadeer S. Layered Concurrent Programs. In: Vol 10981. Springer; 2018:79-102.
doi:10.1007/978-3-319-96145-3_5'
apa: 'Kragl, B., & Qadeer, S. (2018). Layered Concurrent Programs (Vol. 10981,
pp. 79–102). Presented at the CAV: Computer Aided Verification, Oxford, UK: Springer.
https://doi.org/10.1007/978-3-319-96145-3_5'
chicago: Kragl, Bernhard, and Shaz Qadeer. “Layered Concurrent Programs,” 10981:79–102.
Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_5.
ieee: 'B. Kragl and S. Qadeer, “Layered Concurrent Programs,” presented at the CAV:
Computer Aided Verification, Oxford, UK, 2018, vol. 10981, pp. 79–102.'
ista: 'Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided
Verification, LNCS, vol. 10981, 79–102.'
mla: Kragl, Bernhard, and Shaz Qadeer. Layered Concurrent Programs. Vol.
10981, Springer, 2018, pp. 79–102, doi:10.1007/978-3-319-96145-3_5.
short: B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
conference:
end_date: 2018-07-17
location: Oxford, UK
name: 'CAV: Computer Aided Verification'
start_date: 2018-07-14
date_created: 2018-12-11T11:44:57Z
date_published: 2018-07-18T00:00:00Z
date_updated: 2023-09-13T08:45:09Z
day: '18'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-319-96145-3_5
external_id:
isi:
- '000491481600005'
file:
- access_level: open_access
checksum: c64fff560fe5a7532ec10626ad1c215e
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T12:52:12Z
date_updated: 2020-07-14T12:45:04Z
file_id: '5705'
file_name: 2018_LNCS_Kragl.pdf
file_size: 1603844
relation: main_file
file_date_updated: 2020-07-14T12:45:04Z
has_accepted_license: '1'
intvolume: ' 10981'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '07'
oa: 1
oa_version: Published Version
page: 79 - 102
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication_status: published
publisher: Springer
publist_id: '7761'
quality_controlled: '1'
related_material:
record:
- id: '8332'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Layered Concurrent Programs
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10981
year: '2018'
...
---
_id: '161'
abstract:
- lang: eng
text: 'Which properties of metabolic networks can be derived solely from stoichiometry?
Predictive results have been obtained by flux balance analysis (FBA), by postulating
that cells set metabolic fluxes to maximize growth rate. Here we consider a generalization
of FBA to single-cell level using maximum entropy modeling, which we extend and
test experimentally. Specifically, we define for Escherichia coli metabolism a
flux distribution that yields the experimental growth rate: the model, containing
FBA as a limit, provides a better match to measured fluxes and it makes a wide
range of predictions: on flux variability, regulation, and correlations; on the
relative importance of stoichiometry vs. optimization; on scaling relations for
growth rate distributions. We validate the latter here with single-cell data at
different sub-inhibitory antibiotic concentrations. The model quantifies growth
optimization as emerging from the interplay of competitive dynamics in the population
and regulation of metabolism at the level of single cells.'
article_number: '2988'
article_processing_charge: No
author:
- first_name: Daniele
full_name: De Martino, Daniele
id: 3FF5848A-F248-11E8-B48F-1D18A9856A87
last_name: De Martino
orcid: 0000-0002-5214-4706
- first_name: Andersson Anna
full_name: Mc, Andersson Anna
last_name: Mc
- first_name: Tobias
full_name: Bergmiller, Tobias
id: 2C471CFA-F248-11E8-B48F-1D18A9856A87
last_name: Bergmiller
orcid: 0000-0001-5396-4346
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
- first_name: Gasper
full_name: Tkacik, Gasper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkacik
orcid: 0000-0002-6699-1455
citation:
ama: De Martino D, Mc AA, Bergmiller T, Guet CC, Tkačik G. Statistical mechanics
for metabolic networks during steady state growth. Nature Communications.
2018;9(1). doi:10.1038/s41467-018-05417-9
apa: De Martino, D., Mc, A. A., Bergmiller, T., Guet, C. C., & Tkačik, G. (2018).
Statistical mechanics for metabolic networks during steady state growth. Nature
Communications. Springer Nature. https://doi.org/10.1038/s41467-018-05417-9
chicago: De Martino, Daniele, Andersson Anna Mc, Tobias Bergmiller, Calin C Guet,
and Gašper Tkačik. “Statistical Mechanics for Metabolic Networks during Steady
State Growth.” Nature Communications. Springer Nature, 2018. https://doi.org/10.1038/s41467-018-05417-9.
ieee: D. De Martino, A. A. Mc, T. Bergmiller, C. C. Guet, and G. Tkačik, “Statistical
mechanics for metabolic networks during steady state growth,” Nature Communications,
vol. 9, no. 1. Springer Nature, 2018.
ista: De Martino D, Mc AA, Bergmiller T, Guet CC, Tkačik G. 2018. Statistical mechanics
for metabolic networks during steady state growth. Nature Communications. 9(1),
2988.
mla: De Martino, Daniele, et al. “Statistical Mechanics for Metabolic Networks during
Steady State Growth.” Nature Communications, vol. 9, no. 1, 2988, Springer
Nature, 2018, doi:10.1038/s41467-018-05417-9.
short: D. De Martino, A.A. Mc, T. Bergmiller, C.C. Guet, G. Tkačik, Nature Communications
9 (2018).
date_created: 2018-12-11T11:44:57Z
date_published: 2018-07-30T00:00:00Z
date_updated: 2024-02-21T13:45:39Z
day: '30'
ddc:
- '570'
department:
- _id: GaTk
- _id: CaGu
doi: 10.1038/s41467-018-05417-9
ec_funded: 1
external_id:
isi:
- '000440149300021'
file:
- access_level: open_access
checksum: 3ba7ab27b27723c7dcf633e8fc1f8f18
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T16:44:28Z
date_updated: 2020-07-14T12:45:06Z
file_id: '5728'
file_name: 2018_NatureComm_DeMartino.pdf
file_size: 1043205
relation: main_file
file_date_updated: 2020-07-14T12:45:06Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 254E9036-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P28844-B27
name: Biophysics of information processing in gene regulation
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Nature Communications
publication_status: published
publisher: Springer Nature
publist_id: '7760'
quality_controlled: '1'
related_material:
record:
- id: '5587'
relation: popular_science
status: public
scopus_import: '1'
status: public
title: Statistical mechanics for metabolic networks during steady state growth
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 9
year: '2018'
...
---
_id: '162'
abstract:
- lang: eng
text: 'Facial shape is the basis for facial recognition and categorization. Facial
features reflect the underlying geometry of the skeletal structures. Here, we
reveal that cartilaginous nasal capsule (corresponding to upper jaw and face)
is shaped by signals generated by neural structures: brain and olfactory epithelium.
Brain-derived Sonic Hedgehog (SHH) enables the induction of nasal septum and posterior
nasal capsule, whereas the formation of a capsule roof is controlled by signals
from the olfactory epithelium. Unexpectedly, the cartilage of the nasal capsule
turned out to be important for shaping membranous facial bones during development.
This suggests that conserved neurosensory structures could benefit from protection
and have evolved signals inducing cranial cartilages encasing them. Experiments
with mutant mice revealed that the genomic regulatory regions controlling production
of SHH in the nervous system contribute to facial cartilage morphogenesis, which
might be a mechanism responsible for the adaptive evolution of animal faces and
snouts.'
article_number: e34465
article_processing_charge: No
author:
- first_name: Marketa
full_name: Kaucka, Marketa
last_name: Kaucka
- first_name: Julian
full_name: Petersen, Julian
last_name: Petersen
- first_name: Marketa
full_name: Tesarova, Marketa
last_name: Tesarova
- first_name: Bara
full_name: Szarowska, Bara
last_name: Szarowska
- first_name: Maria
full_name: Kastriti, Maria
last_name: Kastriti
- first_name: Meng
full_name: Xie, Meng
last_name: Xie
- first_name: Anna
full_name: Kicheva, Anna
id: 3959A2A0-F248-11E8-B48F-1D18A9856A87
last_name: Kicheva
orcid: 0000-0003-4509-4998
- first_name: Karl
full_name: Annusver, Karl
last_name: Annusver
- first_name: Maria
full_name: Kasper, Maria
last_name: Kasper
- first_name: Orsolya
full_name: Symmons, Orsolya
last_name: Symmons
- first_name: Leslie
full_name: Pan, Leslie
last_name: Pan
- first_name: Francois
full_name: Spitz, Francois
last_name: Spitz
- first_name: Jozef
full_name: Kaiser, Jozef
last_name: Kaiser
- first_name: Maria
full_name: Hovorakova, Maria
last_name: Hovorakova
- first_name: Tomas
full_name: Zikmund, Tomas
last_name: Zikmund
- first_name: Kazunori
full_name: Sunadome, Kazunori
last_name: Sunadome
- first_name: Michael P
full_name: Matise, Michael P
last_name: Matise
- first_name: Hui
full_name: Wang, Hui
last_name: Wang
- first_name: Ulrika
full_name: Marklund, Ulrika
last_name: Marklund
- first_name: Hind
full_name: Abdo, Hind
last_name: Abdo
- first_name: Patrik
full_name: Ernfors, Patrik
last_name: Ernfors
- first_name: Pascal
full_name: Maire, Pascal
last_name: Maire
- first_name: Maud
full_name: Wurmser, Maud
last_name: Wurmser
- first_name: Andrei S
full_name: Chagin, Andrei S
last_name: Chagin
- first_name: Kaj
full_name: Fried, Kaj
last_name: Fried
- first_name: Igor
full_name: Adameyko, Igor
last_name: Adameyko
citation:
ama: Kaucka M, Petersen J, Tesarova M, et al. Signals from the brain and olfactory
epithelium control shaping of the mammalian nasal capsule cartilage. eLife.
2018;7. doi:10.7554/eLife.34465
apa: Kaucka, M., Petersen, J., Tesarova, M., Szarowska, B., Kastriti, M., Xie, M.,
… Adameyko, I. (2018). Signals from the brain and olfactory epithelium control
shaping of the mammalian nasal capsule cartilage. ELife. eLife Sciences
Publications. https://doi.org/10.7554/eLife.34465
chicago: Kaucka, Marketa, Julian Petersen, Marketa Tesarova, Bara Szarowska, Maria
Kastriti, Meng Xie, Anna Kicheva, et al. “Signals from the Brain and Olfactory
Epithelium Control Shaping of the Mammalian Nasal Capsule Cartilage.” ELife.
eLife Sciences Publications, 2018. https://doi.org/10.7554/eLife.34465.
ieee: M. Kaucka et al., “Signals from the brain and olfactory epithelium
control shaping of the mammalian nasal capsule cartilage,” eLife, vol.
7. eLife Sciences Publications, 2018.
ista: Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti M, Xie M, Kicheva
A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund
T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser
M, Chagin AS, Fried K, Adameyko I. 2018. Signals from the brain and olfactory
epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 7,
e34465.
mla: Kaucka, Marketa, et al. “Signals from the Brain and Olfactory Epithelium Control
Shaping of the Mammalian Nasal Capsule Cartilage.” ELife, vol. 7, e34465,
eLife Sciences Publications, 2018, doi:10.7554/eLife.34465.
short: M. Kaucka, J. Petersen, M. Tesarova, B. Szarowska, M. Kastriti, M. Xie, A.
Kicheva, K. Annusver, M. Kasper, O. Symmons, L. Pan, F. Spitz, J. Kaiser, M. Hovorakova,
T. Zikmund, K. Sunadome, M.P. Matise, H. Wang, U. Marklund, H. Abdo, P. Ernfors,
P. Maire, M. Wurmser, A.S. Chagin, K. Fried, I. Adameyko, ELife 7 (2018).
date_created: 2018-12-11T11:44:57Z
date_published: 2018-06-13T00:00:00Z
date_updated: 2023-09-18T09:29:07Z
day: '13'
ddc:
- '571'
department:
- _id: AnKi
doi: 10.7554/eLife.34465
ec_funded: 1
external_id:
isi:
- '000436227500001'
file:
- access_level: open_access
checksum: da2378cdcf6b5461dcde194e4d608343
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T16:41:58Z
date_updated: 2020-07-14T12:45:07Z
file_id: '5727'
file_name: 2018_eLife_Kaucka.pdf
file_size: 9816484
relation: main_file
file_date_updated: 2020-07-14T12:45:07Z
has_accepted_license: '1'
intvolume: ' 7'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: B6FC0238-B512-11E9-945C-1524E6697425
call_identifier: H2020
grant_number: '680037'
name: Coordination of Patterning And Growth In the Spinal Cord
publication: eLife
publication_status: published
publisher: eLife Sciences Publications
publist_id: '7759'
quality_controlled: '1'
related_material:
record:
- id: '9838'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Signals from the brain and olfactory epithelium control shaping of the mammalian
nasal capsule cartilage
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: 7
year: '2018'
...
---
_id: '163'
abstract:
- lang: eng
text: For ultrafast fixation of biological samples to avoid artifacts, high-pressure
freezing (HPF) followed by freeze substitution (FS) is preferred over chemical
fixation at room temperature. After HPF, samples are maintained at low temperature
during dehydration and fixation, while avoiding damaging recrystallization. This
is a notoriously slow process. McDonald and Webb demonstrated, in 2011, that sample
agitation during FS dramatically reduces the necessary time. Then, in 2015, we
(H.G. and S.R.) introduced an agitation module into the cryochamber of an automated
FS unit and demonstrated that the preparation of algae could be shortened from
days to a couple of hours. We argued that variability in the processing, reproducibility,
and safety issues are better addressed using automated FS units. For dissemination,
we started low-cost manufacturing of agitation modules for two of the most widely
used FS units, the Automatic Freeze Substitution Systems, AFS(1) and AFS2, from
Leica Microsystems, using three dimensional (3D)-printing of the major components.
To test them, several labs independently used the modules on a wide variety of
specimens that had previously been processed by manual agitation, or without agitation.
We demonstrate that automated processing with sample agitation saves time, increases
flexibility with respect to sample requirements and protocols, and produces data
of at least as good quality as other approaches.
article_processing_charge: No
article_type: original
author:
- first_name: Siegfried
full_name: Reipert, Siegfried
last_name: Reipert
- first_name: Helmuth
full_name: Goldammer, Helmuth
last_name: Goldammer
- first_name: Christine
full_name: Richardson, Christine
last_name: Richardson
- first_name: Martin
full_name: Goldberg, Martin
last_name: Goldberg
- first_name: Timothy
full_name: Hawkins, Timothy
last_name: Hawkins
- first_name: Elena
full_name: Hollergschwandtner, Elena
id: 3C054040-F248-11E8-B48F-1D18A9856A87
last_name: Hollergschwandtner
- first_name: Walter
full_name: Kaufmann, Walter
id: 3F99E422-F248-11E8-B48F-1D18A9856A87
last_name: Kaufmann
orcid: 0000-0001-9735-5315
- first_name: Sebastian
full_name: Antreich, Sebastian
last_name: Antreich
- first_name: York
full_name: Stierhof, York
last_name: Stierhof
citation:
ama: 'Reipert S, Goldammer H, Richardson C, et al. Agitation modules: Flexible means
to accelerate automated freeze substitution. Journal of Histochemistry and
Cytochemistry. 2018;66(12):903-921. doi:10.1369/0022155418786698'
apa: 'Reipert, S., Goldammer, H., Richardson, C., Goldberg, M., Hawkins, T., Saeckl,
E., … Stierhof, Y. (2018). Agitation modules: Flexible means to accelerate automated
freeze substitution. Journal of Histochemistry and Cytochemistry. SAGE
Publications. https://doi.org/10.1369/0022155418786698'
chicago: 'Reipert, Siegfried, Helmuth Goldammer, Christine Richardson, Martin Goldberg,
Timothy Hawkins, Elena Saeckl, Walter Kaufmann, Sebastian Antreich, and York Stierhof.
“Agitation Modules: Flexible Means to Accelerate Automated Freeze Substitution.”
Journal of Histochemistry and Cytochemistry. SAGE Publications, 2018. https://doi.org/10.1369/0022155418786698.'
ieee: 'S. Reipert et al., “Agitation modules: Flexible means to accelerate
automated freeze substitution,” Journal of Histochemistry and Cytochemistry,
vol. 66, no. 12. SAGE Publications, pp. 903–921, 2018.'
ista: 'Reipert S, Goldammer H, Richardson C, Goldberg M, Hawkins T, Saeckl E, Kaufmann
W, Antreich S, Stierhof Y. 2018. Agitation modules: Flexible means to accelerate
automated freeze substitution. Journal of Histochemistry and Cytochemistry. 66(12),
903–921.'
mla: 'Reipert, Siegfried, et al. “Agitation Modules: Flexible Means to Accelerate
Automated Freeze Substitution.” Journal of Histochemistry and Cytochemistry,
vol. 66, no. 12, SAGE Publications, 2018, pp. 903–21, doi:10.1369/0022155418786698.'
short: S. Reipert, H. Goldammer, C. Richardson, M. Goldberg, T. Hawkins, E. Saeckl,
W. Kaufmann, S. Antreich, Y. Stierhof, Journal of Histochemistry and Cytochemistry
66 (2018) 903–921.
date_created: 2018-12-11T11:44:57Z
date_published: 2018-12-01T00:00:00Z
date_updated: 2023-10-17T08:42:24Z
day: '01'
department:
- _id: RySh
- _id: EM-Fac
doi: 10.1369/0022155418786698
external_id:
isi:
- '000452277700005'
pmid:
- '29969056'
intvolume: ' 66'
isi: 1
issue: '12'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1369/0022155418786698
month: '12'
oa: 1
oa_version: Published Version
page: 903-921
pmid: 1
publication: Journal of Histochemistry and Cytochemistry
publication_identifier:
issn:
- 0022-1554
publication_status: published
publisher: SAGE Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Agitation modules: Flexible means to accelerate automated freeze substitution'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 66
year: '2018'
...
---
_id: '17'
abstract:
- lang: eng
text: Creeping flow of polymeric fluid without inertia exhibits elastic instabilities
and elastic turbulence accompanied by drag enhancement due to elastic stress produced
by flow-stretched polymers. However, in inertia-dominated flow at high Re and
low fluid elasticity El, a reduction in turbulent frictional drag is caused by
an intricate competition between inertial and elastic stresses. Here we explore
the effect of inertia on the stability of viscoelastic flow in a broad range of
control parameters El and (Re,Wi). We present the stability diagram of observed
flow regimes in Wi-Re coordinates and find that the instabilities' onsets show
an unexpectedly nonmonotonic dependence on El. Further, three distinct regions
in the diagram are identified based on El. Strikingly, for high-elasticity fluids
we discover a complete relaminarization of flow at Reynolds number in the range
of 1 to 10, different from a well-known turbulent drag reduction. These counterintuitive
effects may be explained by a finite polymer extensibility and a suppression of
vorticity at high Wi. Our results call for further theoretical and numerical development
to uncover the role of inertial effect on elastic turbulence in a viscoelastic
flow.
article_number: '103302 '
article_processing_charge: No
author:
- first_name: Atul
full_name: Varshney, Atul
id: 2A2006B2-F248-11E8-B48F-1D18A9856A87
last_name: Varshney
orcid: 0000-0002-3072-5999
- first_name: Victor
full_name: Steinberg, Victor
last_name: Steinberg
citation:
ama: Varshney A, Steinberg V. Drag enhancement and drag reduction in viscoelastic
flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103302
apa: Varshney, A., & Steinberg, V. (2018). Drag enhancement and drag reduction
in viscoelastic flow. Physical Review Fluids. American Physical Society.
https://doi.org/10.1103/PhysRevFluids.3.103302
chicago: Varshney, Atul, and Victor Steinberg. “Drag Enhancement and Drag Reduction
in Viscoelastic Flow.” Physical Review Fluids. American Physical Society,
2018. https://doi.org/10.1103/PhysRevFluids.3.103302.
ieee: A. Varshney and V. Steinberg, “Drag enhancement and drag reduction in viscoelastic
flow,” Physical Review Fluids, vol. 3, no. 10. American Physical Society,
2018.
ista: Varshney A, Steinberg V. 2018. Drag enhancement and drag reduction in viscoelastic
flow. Physical Review Fluids. 3(10), 103302.
mla: Varshney, Atul, and Victor Steinberg. “Drag Enhancement and Drag Reduction
in Viscoelastic Flow.” Physical Review Fluids, vol. 3, no. 10, 103302,
American Physical Society, 2018, doi:10.1103/PhysRevFluids.3.103302.
short: A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).
date_created: 2018-12-11T11:44:11Z
date_published: 2018-10-15T00:00:00Z
date_updated: 2023-09-11T12:59:28Z
day: '15'
ddc:
- '532'
department:
- _id: BjHo
doi: 10.1103/PhysRevFluids.3.103302
ec_funded: 1
external_id:
isi:
- '000447311500001'
file:
- access_level: open_access
checksum: e1445be33e8165114e96246275600750
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:14Z
date_updated: 2020-07-14T12:45:12Z
file_id: '4800'
file_name: IST-2018-1061-v1+1_PhysRevFluids.3.103302.pdf
file_size: 1409040
relation: main_file
file_date_updated: 2020-07-14T12:45:12Z
has_accepted_license: '1'
intvolume: ' 3'
isi: 1
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Physical Review Fluids
publication_status: published
publisher: American Physical Society
publist_id: '8038'
pubrep_id: '1061'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Drag enhancement and drag reduction in viscoelastic flow
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 3
year: '2018'
...
---
_id: '174'
abstract:
- lang: eng
text: We survey recent efforts to quantify failures of the Hasse principle in families
of rationally connected varieties.
alternative_title:
- Proceedings of Symposia in Pure Mathematics
article_processing_charge: No
author:
- first_name: Timothy D
full_name: Browning, Timothy D
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
citation:
ama: 'Browning TD. How often does the Hasse principle hold? In: Vol 97. American
Mathematical Society; 2018:89-102. doi:10.1090/pspum/097.2/01700'
apa: 'Browning, T. D. (2018). How often does the Hasse principle hold? (Vol. 97,
pp. 89–102). Presented at the Algebraic Geometry, Salt Lake City, Utah, USA: American
Mathematical Society. https://doi.org/10.1090/pspum/097.2/01700'
chicago: Browning, Timothy D. “How Often Does the Hasse Principle Hold?,” 97:89–102.
American Mathematical Society, 2018. https://doi.org/10.1090/pspum/097.2/01700.
ieee: T. D. Browning, “How often does the Hasse principle hold?,” presented at the
Algebraic Geometry, Salt Lake City, Utah, USA, 2018, vol. 97, no. 2, pp. 89–102.
ista: Browning TD. 2018. How often does the Hasse principle hold? Algebraic Geometry,
Proceedings of Symposia in Pure Mathematics, vol. 97, 89–102.
mla: Browning, Timothy D. How Often Does the Hasse Principle Hold? Vol. 97,
no. 2, American Mathematical Society, 2018, pp. 89–102, doi:10.1090/pspum/097.2/01700.
short: T.D. Browning, in:, American Mathematical Society, 2018, pp. 89–102.
conference:
end_date: 2015-07-10
location: Salt Lake City, Utah, USA
name: Algebraic Geometry
start_date: 2015-07-06
date_created: 2018-12-11T11:45:01Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2021-01-12T06:52:54Z
day: '01'
doi: 10.1090/pspum/097.2/01700
extern: '1'
intvolume: ' 97'
issue: '2'
language:
- iso: eng
month: '01'
oa_version: None
page: 89 - 102
publication_status: published
publisher: American Mathematical Society
quality_controlled: '1'
status: public
title: How often does the Hasse principle hold?
type: conference
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 97
year: '2018'
...
---
_id: '176'
abstract:
- lang: eng
text: For a general class of non-negative functions defined on integral ideals of
number fields, upper bounds are established for their average over the values
of certain principal ideals that are associated to irreducible binary forms with
integer coefficients.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Timothy D
full_name: Browning, Timothy D
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Efthymios
full_name: Sofos, Efthymios
last_name: Sofos
citation:
ama: Browning TD, Sofos E. Averages of arithmetic functions over principal ideals.
International Journal of Nuber Theory. 2018;15(3):547-567. doi:10.1142/S1793042119500283
apa: Browning, T. D., & Sofos, E. (2018). Averages of arithmetic functions over
principal ideals. International Journal of Nuber Theory. World Scientific
Publishing. https://doi.org/10.1142/S1793042119500283
chicago: Browning, Timothy D, and Efthymios Sofos. “Averages of Arithmetic Functions
over Principal Ideals.” International Journal of Nuber Theory. World Scientific
Publishing, 2018. https://doi.org/10.1142/S1793042119500283.
ieee: T. D. Browning and E. Sofos, “Averages of arithmetic functions over principal
ideals,” International Journal of Nuber Theory, vol. 15, no. 3. World Scientific
Publishing, pp. 547–567, 2018.
ista: Browning TD, Sofos E. 2018. Averages of arithmetic functions over principal
ideals. International Journal of Nuber Theory. 15(3), 547–567.
mla: Browning, Timothy D., and Efthymios Sofos. “Averages of Arithmetic Functions
over Principal Ideals.” International Journal of Nuber Theory, vol. 15,
no. 3, World Scientific Publishing, 2018, pp. 547–67, doi:10.1142/S1793042119500283.
short: T.D. Browning, E. Sofos, International Journal of Nuber Theory 15 (2018)
547–567.
date_created: 2018-12-11T11:45:01Z
date_published: 2018-11-16T00:00:00Z
date_updated: 2021-01-12T06:53:01Z
day: '16'
doi: 10.1142/S1793042119500283
extern: '1'
external_id:
arxiv:
- '1706.04331'
intvolume: ' 15'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1706.04331
month: '11'
oa: 1
oa_version: Preprint
page: 547-567
publication: International Journal of Nuber Theory
publication_status: published
publisher: World Scientific Publishing
status: public
title: Averages of arithmetic functions over principal ideals
type: journal_article
user_id: D865714E-FA4E-11E9-B85B-F5C5E5697425
volume: 15
year: '2018'
...
---
_id: '178'
abstract:
- lang: eng
text: We give an upper bound for the number of rational points of height at most
B, lying on a surface defined by a quadratic form Q. The bound shows an explicit
dependence on Q. It is optimal with respect to B, and is also optimal for typical
forms Q.
article_processing_charge: No
arxiv: 1
author:
- first_name: Timothy D
full_name: Browning, Timothy D
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Roger
full_name: Heath-Brown, Roger
last_name: Heath-Brown
citation:
ama: Browning TD, Heath-Brown R. Counting rational points on quadric surfaces. Discrete
Analysis. 2018;15:1-29. doi:10.19086/da.4375
apa: Browning, T. D., & Heath-Brown, R. (2018). Counting rational points on
quadric surfaces. Discrete Analysis. Alliance of Diamond Open Access Journals.
https://doi.org/10.19086/da.4375
chicago: Browning, Timothy D, and Roger Heath-Brown. “Counting Rational Points on
Quadric Surfaces.” Discrete Analysis. Alliance of Diamond Open Access Journals,
2018. https://doi.org/10.19086/da.4375.
ieee: T. D. Browning and R. Heath-Brown, “Counting rational points on quadric surfaces,”
Discrete Analysis, vol. 15. Alliance of Diamond Open Access Journals, pp.
1–29, 2018.
ista: Browning TD, Heath-Brown R. 2018. Counting rational points on quadric surfaces.
Discrete Analysis. 15, 1–29.
mla: Browning, Timothy D., and Roger Heath-Brown. “Counting Rational Points on Quadric
Surfaces.” Discrete Analysis, vol. 15, Alliance of Diamond Open Access
Journals, 2018, pp. 1–29, doi:10.19086/da.4375.
short: T.D. Browning, R. Heath-Brown, Discrete Analysis 15 (2018) 1–29.
date_created: 2018-12-11T11:45:02Z
date_published: 2018-09-07T00:00:00Z
date_updated: 2022-08-26T09:13:02Z
day: '07'
ddc:
- '512'
doi: 10.19086/da.4375
extern: '1'
external_id:
arxiv:
- '1801.00979'
intvolume: ' 15'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1801.00979
month: '09'
oa: 1
oa_version: Preprint
page: 1 - 29
publication: Discrete Analysis
publication_identifier:
eissn:
- 2397-3129
publication_status: published
publisher: Alliance of Diamond Open Access Journals
quality_controlled: '1'
status: public
title: Counting rational points on quadric surfaces
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: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 15
year: '2018'
...
---
_id: '18'
abstract:
- lang: eng
text: An N-superconcentrator is a directed, acyclic graph with N input nodes and
N output nodes such that every subset of the inputs and every subset of the outputs
of same cardinality can be connected by node-disjoint paths. It is known that
linear-size and bounded-degree superconcentrators exist. We prove the existence
of such superconcentrators with asymptotic density 25.3 (where the density is
the number of edges divided by N). The previously best known densities were 28
[12] and 27.4136 [17].
article_processing_charge: No
arxiv: 1
author:
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
- first_name: Michal
full_name: Rolinek, Michal
id: 3CB3BC06-F248-11E8-B48F-1D18A9856A87
last_name: Rolinek
citation:
ama: Kolmogorov V, Rolinek M. Superconcentrators of density 25.3. Ars Combinatoria.
2018;141(10):269-304.
apa: Kolmogorov, V., & Rolinek, M. (2018). Superconcentrators of density 25.3.
Ars Combinatoria. Charles Babbage Research Centre.
chicago: Kolmogorov, Vladimir, and Michal Rolinek. “Superconcentrators of Density
25.3.” Ars Combinatoria. Charles Babbage Research Centre, 2018.
ieee: V. Kolmogorov and M. Rolinek, “Superconcentrators of density 25.3,” Ars
Combinatoria, vol. 141, no. 10. Charles Babbage Research Centre, pp. 269–304,
2018.
ista: Kolmogorov V, Rolinek M. 2018. Superconcentrators of density 25.3. Ars Combinatoria.
141(10), 269–304.
mla: Kolmogorov, Vladimir, and Michal Rolinek. “Superconcentrators of Density 25.3.”
Ars Combinatoria, vol. 141, no. 10, Charles Babbage Research Centre, 2018,
pp. 269–304.
short: V. Kolmogorov, M. Rolinek, Ars Combinatoria 141 (2018) 269–304.
date_created: 2018-12-11T11:44:11Z
date_published: 2018-10-01T00:00:00Z
date_updated: 2023-09-19T14:46:18Z
day: '01'
department:
- _id: VlKo
external_id:
arxiv:
- '1405.7828'
isi:
- '000446809500022'
intvolume: ' 141'
isi: 1
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1405.7828
month: '10'
oa: 1
oa_version: Preprint
page: 269 - 304
publication: Ars Combinatoria
publication_identifier:
issn:
- 0381-7032
publication_status: published
publisher: Charles Babbage Research Centre
publist_id: '8037'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Superconcentrators of density 25.3
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 141
year: '2018'
...
---
_id: '180'
abstract:
- lang: eng
text: In this paper we define and study the classical Uniform Electron Gas (UEG),
a system of infinitely many electrons whose density is constant everywhere in
space. The UEG is defined differently from Jellium, which has a positive constant
background but no constraint on the density. We prove that the UEG arises in Density
Functional Theory in the limit of a slowly varying density, minimizing the indirect
Coulomb energy. We also construct the quantum UEG and compare it to the classical
UEG at low density.
acknowledgement: "This project has received funding from the European Research Council
(ERC) under the European\r\nUnion’s Horizon 2020 research and innovation programme
(grant agreement 694227 for R.S. and MDFT 725528 for M.L.). Financial support by
the Austrian Science Fund (FWF), project No P 27533-N27 (R.S.) and by the US National
Science Foundation, grant No PHY12-1265118 (E.H.L.) are gratefully acknowledged."
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Mathieu
full_name: Lewi, Mathieu
last_name: Lewi
- first_name: Élliott
full_name: Lieb, Élliott
last_name: Lieb
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Lewi M, Lieb É, Seiringer R. Statistical mechanics of the uniform electron
gas. Journal de l’Ecole Polytechnique - Mathematiques. 2018;5:79-116. doi:10.5802/jep.64
apa: Lewi, M., Lieb, É., & Seiringer, R. (2018). Statistical mechanics of the
uniform electron gas. Journal de l’Ecole Polytechnique - Mathematiques.
Ecole Polytechnique. https://doi.org/10.5802/jep.64
chicago: Lewi, Mathieu, Élliott Lieb, and Robert Seiringer. “Statistical Mechanics
of the Uniform Electron Gas.” Journal de l’Ecole Polytechnique - Mathematiques.
Ecole Polytechnique, 2018. https://doi.org/10.5802/jep.64.
ieee: M. Lewi, É. Lieb, and R. Seiringer, “Statistical mechanics of the uniform
electron gas,” Journal de l’Ecole Polytechnique - Mathematiques, vol. 5.
Ecole Polytechnique, pp. 79–116, 2018.
ista: Lewi M, Lieb É, Seiringer R. 2018. Statistical mechanics of the uniform electron
gas. Journal de l’Ecole Polytechnique - Mathematiques. 5, 79–116.
mla: Lewi, Mathieu, et al. “Statistical Mechanics of the Uniform Electron Gas.”
Journal de l’Ecole Polytechnique - Mathematiques, vol. 5, Ecole Polytechnique,
2018, pp. 79–116, doi:10.5802/jep.64.
short: M. Lewi, É. Lieb, R. Seiringer, Journal de l’Ecole Polytechnique - Mathematiques
5 (2018) 79–116.
date_created: 2018-12-11T11:45:03Z
date_published: 2018-07-01T00:00:00Z
date_updated: 2023-10-17T08:05:28Z
day: '01'
ddc:
- '510'
department:
- _id: RoSe
doi: 10.5802/jep.64
ec_funded: 1
external_id:
arxiv:
- '1705.10676'
file:
- access_level: open_access
checksum: 1ba7cccdf3900f42c4f715ae75d6813c
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T16:38:18Z
date_updated: 2020-07-14T12:45:16Z
file_id: '5726'
file_name: 2018_JournaldeLecoleMath_Lewi.pdf
file_size: 843938
relation: main_file
file_date_updated: 2020-07-14T12:45:16Z
has_accepted_license: '1'
intvolume: ' 5'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nd/4.0/
month: '07'
oa: 1
oa_version: Published Version
page: 79 - 116
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '694227'
name: Analysis of quantum many-body systems
- _id: 25C878CE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P27533_N27
name: Structure of the Excitation Spectrum for Many-Body Quantum Systems
publication: Journal de l'Ecole Polytechnique - Mathematiques
publication_identifier:
eissn:
- 2270-518X
issn:
- 2429-7100
publication_status: published
publisher: Ecole Polytechnique
publist_id: '7741'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Statistical mechanics of the uniform electron gas
tmp:
image: /image/cc_by_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nd/4.0/legalcode
name: Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)
short: CC BY-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2018'
...
---
_id: '181'
abstract:
- lang: eng
text: We consider large random matrices X with centered, independent entries but
possibly di erent variances. We compute the normalized trace of f(X)g(X∗) for
f, g functions analytic on the spectrum of X. We use these results to compute
the long time asymptotics for systems of coupled di erential equations with random
coe cients. We show that when the coupling is critical, the norm squared of the
solution decays like t−1/2.
acknowledgement: The work of the second author was also partially supported by the
Hausdorff Center of Mathematics.
article_processing_charge: No
arxiv: 1
author:
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Torben H
full_name: Krüger, Torben H
id: 3020C786-F248-11E8-B48F-1D18A9856A87
last_name: Krüger
orcid: 0000-0002-4821-3297
- first_name: David T
full_name: Renfrew, David T
id: 4845BF6A-F248-11E8-B48F-1D18A9856A87
last_name: Renfrew
orcid: 0000-0003-3493-121X
citation:
ama: Erdös L, Krüger TH, Renfrew DT. Power law decay for systems of randomly coupled
differential equations. SIAM Journal on Mathematical Analysis. 2018;50(3):3271-3290.
doi:10.1137/17M1143125
apa: Erdös, L., Krüger, T. H., & Renfrew, D. T. (2018). Power law decay for
systems of randomly coupled differential equations. SIAM Journal on Mathematical
Analysis. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/17M1143125
chicago: Erdös, László, Torben H Krüger, and David T Renfrew. “Power Law Decay for
Systems of Randomly Coupled Differential Equations.” SIAM Journal on Mathematical
Analysis. Society for Industrial and Applied Mathematics , 2018. https://doi.org/10.1137/17M1143125.
ieee: L. Erdös, T. H. Krüger, and D. T. Renfrew, “Power law decay for systems of
randomly coupled differential equations,” SIAM Journal on Mathematical Analysis,
vol. 50, no. 3. Society for Industrial and Applied Mathematics , pp. 3271–3290,
2018.
ista: Erdös L, Krüger TH, Renfrew DT. 2018. Power law decay for systems of randomly
coupled differential equations. SIAM Journal on Mathematical Analysis. 50(3),
3271–3290.
mla: Erdös, László, et al. “Power Law Decay for Systems of Randomly Coupled Differential
Equations.” SIAM Journal on Mathematical Analysis, vol. 50, no. 3, Society
for Industrial and Applied Mathematics , 2018, pp. 3271–90, doi:10.1137/17M1143125.
short: L. Erdös, T.H. Krüger, D.T. Renfrew, SIAM Journal on Mathematical Analysis
50 (2018) 3271–3290.
date_created: 2018-12-11T11:45:03Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2023-09-15T12:05:52Z
day: '01'
department:
- _id: LaEr
doi: 10.1137/17M1143125
ec_funded: 1
external_id:
arxiv:
- '1708.01546'
isi:
- '000437018500032'
intvolume: ' 50'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1708.01546
month: '01'
oa: 1
oa_version: Published Version
page: 3271 - 3290
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
- _id: 258F40A4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02080
name: Structured Non-Hermitian Random Matrices
publication: SIAM Journal on Mathematical Analysis
publication_status: published
publisher: 'Society for Industrial and Applied Mathematics '
publist_id: '7740'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Power law decay for systems of randomly coupled differential equations
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 50
year: '2018'
...
---
_id: '182'
abstract:
- lang: eng
text: We describe a new algorithm for the parametric identification problem for
signal temporal logic (STL), stated as follows. Given a densetime real-valued
signal w and a parameterized temporal logic formula φ, compute the subset of the
parameter space that renders the formula satisfied by the signal. Unlike previous
solutions, which were based on search in the parameter space or quantifier elimination,
our procedure works recursively on φ and computes the evolution over time of the
set of valid parameter assignments. This procedure is similar to that of monitoring
or computing the robustness of φ relative to w. Our implementation and experiments
demonstrate that this approach can work well in practice.
alternative_title:
- HSCC Proceedings
article_processing_charge: No
author:
- first_name: Alexey
full_name: Bakhirkin, Alexey
last_name: Bakhirkin
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Oded
full_name: Maler, Oded
last_name: Maler
citation:
ama: 'Bakhirkin A, Ferrere T, Maler O. Efficient parametric identification for STL.
In: Proceedings of the 21st International Conference on Hybrid Systems.
ACM; 2018:177-186. doi:10.1145/3178126.3178132'
apa: 'Bakhirkin, A., Ferrere, T., & Maler, O. (2018). Efficient parametric identification
for STL. In Proceedings of the 21st International Conference on Hybrid Systems
(pp. 177–186). Porto, Portugal: ACM. https://doi.org/10.1145/3178126.3178132'
chicago: Bakhirkin, Alexey, Thomas Ferrere, and Oded Maler. “Efficient Parametric
Identification for STL.” In Proceedings of the 21st International Conference
on Hybrid Systems, 177–86. ACM, 2018. https://doi.org/10.1145/3178126.3178132.
ieee: A. Bakhirkin, T. Ferrere, and O. Maler, “Efficient parametric identification
for STL,” in Proceedings of the 21st International Conference on Hybrid Systems,
Porto, Portugal, 2018, pp. 177–186.
ista: 'Bakhirkin A, Ferrere T, Maler O. 2018. Efficient parametric identification
for STL. Proceedings of the 21st International Conference on Hybrid Systems. HSCC:
Hybrid Systems: Computation and Control, HSCC Proceedings, , 177–186.'
mla: Bakhirkin, Alexey, et al. “Efficient Parametric Identification for STL.” Proceedings
of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–86,
doi:10.1145/3178126.3178132.
short: A. Bakhirkin, T. Ferrere, O. Maler, in:, Proceedings of the 21st International
Conference on Hybrid Systems, ACM, 2018, pp. 177–186.
conference:
end_date: 2018-04-13
location: Porto, Portugal
name: 'HSCC: Hybrid Systems: Computation and Control'
start_date: 2018-04-11
date_created: 2018-12-11T11:45:04Z
date_published: 2018-04-11T00:00:00Z
date_updated: 2023-09-11T13:30:51Z
day: '11'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1145/3178126.3178132
external_id:
isi:
- '000474781600020'
file:
- access_level: open_access
checksum: 81eabc96430e84336ea88310ac0a1ad0
content_type: application/pdf
creator: dernst
date_created: 2020-05-14T12:18:29Z
date_updated: 2020-07-14T12:45:17Z
file_id: '7833'
file_name: 2018_HSCC_Bakhirkin.pdf
file_size: 5900421
relation: main_file
file_date_updated: 2020-07-14T12:45:17Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 177 - 186
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: Proceedings of the 21st International Conference on Hybrid Systems
publication_identifier:
isbn:
- '978-1-4503-5642-8 '
publication_status: published
publisher: ACM
publist_id: '7739'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Efficient parametric identification for STL
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '183'
abstract:
- lang: eng
text: 'Fault-localization is considered to be a very tedious and time-consuming
activity in the design of complex Cyber-Physical Systems (CPS). This laborious
task essentially requires expert knowledge of the system in order to discover
the cause of the fault. In this context, we propose a new procedure that AIDS
designers in debugging Simulink/Stateflow hybrid system models, guided by Signal
Temporal Logic (STL) specifications. The proposed method relies on three main
ingredients: (1) a monitoring and a trace diagnostics procedure that checks whether
a tested behavior satisfies or violates an STL specification, localizes time segments
and interfaces variables contributing to the property violations; (2) a slicing
procedure that maps these observable behavior segments to the internal states
and transitions of the Simulink model; and (3) a spectrum-based fault-localization
method that combines the previous analysis from multiple tests to identify the
internal states and/or transitions that are the most likely to explain the fault.
We demonstrate the applicability of our approach on two Simulink models from the
automotive and the avionics domain.'
acknowledgement: This work was partially supported by the Austrian Science Fund (FWF)
under grants S11402-N23 and S11405-N23 (RiSE/SHiNE), the CPS/IoT project (HRSM),
the EU ICT COST Action IC1402 on Run-time Verification beyond Monitoring (ARVI),
the AMASS project (ECSEL 692474), and the ENABLE-S3 project (ECSEL 692455). The
CPS/IoT project receives support from the Austrian government through the Federal
Ministry of Science, Research and Economy (BMWFW) in the funding program Hochschulraum-Strukturmittel
(HRSM) 2016. The ECSEL Joint Undertaking receives support from the European Union’s
Horizon 2020 research and innovation programme and Austria, Denmark, Germany, Finland,
Czech Republic, Italy, Spain, Portugal, Poland, Ireland, Belgium, France, Netherlands,
United Kingdom, Slovakia, Norway.
alternative_title:
- HSCC Proceedings
article_processing_charge: No
author:
- first_name: Ezio
full_name: Bartocci, Ezio
last_name: Bartocci
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Niveditha
full_name: Manjunath, Niveditha
last_name: Manjunath
- first_name: Dejan
full_name: Nickovic, Dejan
last_name: Nickovic
citation:
ama: 'Bartocci E, Ferrere T, Manjunath N, Nickovic D. Localizing faults in simulink/stateflow
models with STL. In: Association for Computing Machinery, Inc; 2018:197-206. doi:10.1145/3178126.3178131'
apa: 'Bartocci, E., Ferrere, T., Manjunath, N., & Nickovic, D. (2018). Localizing
faults in simulink/stateflow models with STL (pp. 197–206). Presented at the HSCC:
Hybrid Systems: Computation and Control, Porto, Portugal: Association for Computing
Machinery, Inc. https://doi.org/10.1145/3178126.3178131'
chicago: Bartocci, Ezio, Thomas Ferrere, Niveditha Manjunath, and Dejan Nickovic.
“Localizing Faults in Simulink/Stateflow Models with STL,” 197–206. Association
for Computing Machinery, Inc, 2018. https://doi.org/10.1145/3178126.3178131.
ieee: 'E. Bartocci, T. Ferrere, N. Manjunath, and D. Nickovic, “Localizing faults
in simulink/stateflow models with STL,” presented at the HSCC: Hybrid Systems:
Computation and Control, Porto, Portugal, 2018, pp. 197–206.'
ista: 'Bartocci E, Ferrere T, Manjunath N, Nickovic D. 2018. Localizing faults in
simulink/stateflow models with STL. HSCC: Hybrid Systems: Computation and Control,
HSCC Proceedings, , 197–206.'
mla: Bartocci, Ezio, et al. Localizing Faults in Simulink/Stateflow Models with
STL. Association for Computing Machinery, Inc, 2018, pp. 197–206, doi:10.1145/3178126.3178131.
short: E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for
Computing Machinery, Inc, 2018, pp. 197–206.
conference:
end_date: 2018-04-13
location: Porto, Portugal
name: 'HSCC: Hybrid Systems: Computation and Control'
start_date: 2018-04-11
date_created: 2018-12-11T11:45:04Z
date_published: 2018-04-11T00:00:00Z
date_updated: 2023-09-13T08:48:46Z
day: '11'
department:
- _id: ToHe
doi: 10.1145/3178126.3178131
external_id:
isi:
- '000474781600022'
isi: 1
language:
- iso: eng
month: '04'
oa_version: None
page: 197 - 206
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication_status: published
publisher: Association for Computing Machinery, Inc
publist_id: '7738'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Localizing faults in simulink/stateflow models with STL
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '184'
abstract:
- lang: eng
text: We prove that for every d ≥ 2, deciding if a pure, d-dimensional, simplicial
complex is shellable is NP-hard, hence NP-complete. This resolves a question raised,
e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every d
≥ 2 and k ≥ 0, deciding if a pure, d-dimensional, simplicial complex is k-decomposable
is NP-hard. For d ≥ 3, both problems remain NP-hard when restricted to contractible
pure d-dimensional complexes.
acknowledgement: 'Partially supported by the project EMBEDS II (CZ: 7AMB17FR029, FR:
38087RM) of Czech-French collaboration.'
alternative_title:
- Leibniz International Proceedings in Information, LIPIcs
author:
- first_name: Xavier
full_name: Goaoc, Xavier
last_name: Goaoc
- first_name: Pavel
full_name: Paták, Pavel
last_name: Paták
- first_name: Zuzana
full_name: Patakova, Zuzana
id: 48B57058-F248-11E8-B48F-1D18A9856A87
last_name: Patakova
orcid: 0000-0002-3975-1683
- first_name: Martin
full_name: Tancer, Martin
id: 38AC689C-F248-11E8-B48F-1D18A9856A87
last_name: Tancer
orcid: 0000-0002-1191-6714
- first_name: Uli
full_name: Wagner, Uli
id: 36690CA2-F248-11E8-B48F-1D18A9856A87
last_name: Wagner
orcid: 0000-0002-1494-0568
citation:
ama: 'Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete.
In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:41:1-41:16.
doi:10.4230/LIPIcs.SoCG.2018.41'
apa: 'Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2018). Shellability
is NP-complete (Vol. 99, p. 41:1-41:16). Presented at the SoCG: Symposium on Computational
Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/LIPIcs.SoCG.2018.41'
chicago: Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner.
“Shellability Is NP-Complete,” 99:41:1-41:16. Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2018. https://doi.org/10.4230/LIPIcs.SoCG.2018.41.
ieee: 'X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Shellability
is NP-complete,” presented at the SoCG: Symposium on Computational Geometry, Budapest,
Hungary, 2018, vol. 99, p. 41:1-41:16.'
ista: 'Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2018. Shellability is NP-complete.
SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in
Information, LIPIcs, vol. 99, 41:1-41:16.'
mla: Goaoc, Xavier, et al. Shellability Is NP-Complete. Vol. 99, Schloss
Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16, doi:10.4230/LIPIcs.SoCG.2018.41.
short: X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl
- Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.
conference:
end_date: 2018-06-14
location: Budapest, Hungary
name: 'SoCG: Symposium on Computational Geometry'
start_date: 2018-06-11
date_created: 2018-12-11T11:45:04Z
date_published: 2018-06-11T00:00:00Z
date_updated: 2023-09-06T11:10:57Z
day: '11'
ddc:
- '516'
- '000'
department:
- _id: UlWa
doi: 10.4230/LIPIcs.SoCG.2018.41
file:
- access_level: open_access
checksum: d12bdd60f04a57307867704b5f930afd
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T16:35:02Z
date_updated: 2020-07-14T12:45:18Z
file_id: '5725'
file_name: 2018_LIPIcs_Goaoc.pdf
file_size: 718414
relation: main_file
file_date_updated: 2020-07-14T12:45:18Z
has_accepted_license: '1'
intvolume: ' 99'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 41:1 - 41:16
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7736'
quality_controlled: '1'
related_material:
record:
- id: '7108'
relation: later_version
status: public
scopus_import: 1
status: public
title: Shellability is NP-complete
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 99
year: '2018'
...
---
_id: '185'
abstract:
- lang: eng
text: We resolve in the affirmative conjectures of A. Skopenkov and Repovš (1998),
and M. Skopenkov (2003) generalizing the classical Hanani-Tutte theorem to the
setting of approximating maps of graphs on 2-dimensional surfaces by embeddings.
Our proof of this result is constructive and almost immediately implies an efficient
algorithm for testing whether a given piecewise linear map of a graph in a surface
is approximable by an embedding. More precisely, an instance of this problem consists
of (i) a graph G whose vertices are partitioned into clusters and whose inter-cluster
edges are partitioned into bundles, and (ii) a region R of a 2-dimensional compact
surface M given as the union of a set of pairwise disjoint discs corresponding
to the clusters and a set of pairwise disjoint "pipes" corresponding
to the bundles, connecting certain pairs of these discs. We are to decide whether
G can be embedded inside M so that the vertices in every cluster are drawn in
the corresponding disc, the edges in every bundle pass only through its corresponding
pipe, and every edge crosses the boundary of each disc at most once.
alternative_title:
- Leibniz International Proceedings in Information, LIPIcs
article_number: '39'
author:
- first_name: Radoslav
full_name: Fulek, Radoslav
id: 39F3FFE4-F248-11E8-B48F-1D18A9856A87
last_name: Fulek
orcid: 0000-0001-8485-1774
- first_name: Jan
full_name: Kynčl, Jan
last_name: Kynčl
citation:
ama: 'Fulek R, Kynčl J. Hanani-Tutte for approximating maps of graphs. In: Vol 99.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.SoCG.2018.39'
apa: 'Fulek, R., & Kynčl, J. (2018). Hanani-Tutte for approximating maps of
graphs (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry,
Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.39'
chicago: Fulek, Radoslav, and Jan Kynčl. “Hanani-Tutte for Approximating Maps of
Graphs,” Vol. 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.SoCG.2018.39.
ieee: 'R. Fulek and J. Kynčl, “Hanani-Tutte for approximating maps of graphs,” presented
at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol.
99.'
ista: 'Fulek R, Kynčl J. 2018. Hanani-Tutte for approximating maps of graphs. SoCG:
Symposium on Computational Geometry, Leibniz International Proceedings in Information,
LIPIcs, vol. 99, 39.'
mla: Fulek, Radoslav, and Jan Kynčl. Hanani-Tutte for Approximating Maps of Graphs.
Vol. 99, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.SoCG.2018.39.
short: R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2018.
conference:
end_date: 2018-06-14
location: Budapest, Hungary
name: 'SoCG: Symposium on Computational Geometry'
start_date: 2018-06-11
date_created: 2018-12-11T11:45:04Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2021-01-12T06:53:36Z
day: '01'
ddc:
- '510'
department:
- _id: UlWa
doi: 10.4230/LIPIcs.SoCG.2018.39
file:
- access_level: open_access
checksum: f1b94f1a75b37c414a1f61d59fb2cd4c
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T12:33:52Z
date_updated: 2020-07-14T12:45:19Z
file_id: '5701'
file_name: 2018_LIPIcs_Fulek.pdf
file_size: 718857
relation: main_file
file_date_updated: 2020-07-14T12:45:19Z
has_accepted_license: '1'
intvolume: ' 99'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
project:
- _id: 261FA626-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02281
name: Eliminating intersections in drawings of graphs
publication_identifier:
isbn:
- 978-3-95977-066-8
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7735'
quality_controlled: '1'
scopus_import: 1
status: public
title: Hanani-Tutte for approximating maps of graphs
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 99
year: '2018'
...
---
_id: '186'
abstract:
- lang: eng
text: 'A drawing of a graph on a surface is independently even if every pair of
nonadjacent edges in the drawing crosses an even number of times. The ℤ2-genus
of a graph G is the minimum g such that G has an independently even drawing on
the orientable surface of genus g. An unpublished result by Robertson and Seymour
implies that for every t, every graph of sufficiently large genus contains as
a minor a projective t × t grid or one of the following so-called t-Kuratowski
graphs: K3, t, or t copies of K5 or K3,3 sharing at most 2 common vertices. We
show that the ℤ2-genus of graphs in these families is unbounded in t; in fact,
equal to their genus. Together, this implies that the genus of a graph is bounded
from above by a function of its ℤ2-genus, solving a problem posed by Schaefer
and Štefankovič, and giving an approximate version of the Hanani-Tutte theorem
on orientable surfaces.'
alternative_title:
- LIPIcs
article_processing_charge: No
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: Jan
full_name: Kynčl, Jan
last_name: Kynčl
citation:
ama: 'Fulek R, Kynčl J. The ℤ2-Genus of Kuratowski minors. In: Vol 99. Schloss Dagstuhl
- Leibniz-Zentrum für Informatik; 2018:40.1-40.14. doi:10.4230/LIPIcs.SoCG.2018.40'
apa: 'Fulek, R., & Kynčl, J. (2018). The ℤ2-Genus of Kuratowski minors (Vol.
99, p. 40.1-40.14). Presented at the SoCG: Symposium on Computational Geometry,
Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.40'
chicago: Fulek, Radoslav, and Jan Kynčl. “The ℤ2-Genus of Kuratowski Minors,” 99:40.1-40.14.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.SoCG.2018.40.
ieee: 'R. Fulek and J. Kynčl, “The ℤ2-Genus of Kuratowski minors,” presented at
the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99,
p. 40.1-40.14.'
ista: 'Fulek R, Kynčl J. 2018. The ℤ2-Genus of Kuratowski minors. SoCG: Symposium
on Computational Geometry, LIPIcs, vol. 99, 40.1-40.14.'
mla: Fulek, Radoslav, and Jan Kynčl. The ℤ2-Genus of Kuratowski Minors. Vol.
99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14, doi:10.4230/LIPIcs.SoCG.2018.40.
short: R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2018, p. 40.1-40.14.
conference:
end_date: 2018-06-14
location: Budapest, Hungary
name: 'SoCG: Symposium on Computational Geometry'
start_date: 2018-06-11
date_created: 2018-12-11T11:45:05Z
date_published: 2018-06-11T00:00:00Z
date_updated: 2023-08-14T12:43:51Z
day: '11'
department:
- _id: UlWa
doi: 10.4230/LIPIcs.SoCG.2018.40
external_id:
arxiv:
- '1803.05085'
intvolume: ' 99'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1803.05085
month: '06'
oa: 1
oa_version: Submitted Version
page: 40.1 - 40.14
project:
- _id: 261FA626-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02281
name: Eliminating intersections in drawings of graphs
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7734'
quality_controlled: '1'
related_material:
record:
- id: '11593'
relation: later_version
status: public
scopus_import: '1'
status: public
title: The ℤ2-Genus of Kuratowski minors
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 99
year: '2018'
...