---
_id: '43'
abstract:
- lang: eng
text: 'The initial amount of pathogens required to start an infection within a susceptible
host is called the infective dose and is known to vary to a large extent between
different pathogen species. We investigate the hypothesis that the differences
in infective doses are explained by the mode of action in the underlying mechanism
of pathogenesis: Pathogens with locally acting mechanisms tend to have smaller
infective doses than pathogens with distantly acting mechanisms. While empirical
evidence tends to support the hypothesis, a formal theoretical explanation has
been lacking. We give simple analytical models to gain insight into this phenomenon
and also investigate a stochastic, spatially explicit, mechanistic within-host
model for toxin-dependent bacterial infections. The model shows that pathogens
secreting locally acting toxins have smaller infective doses than pathogens secreting
diffusive toxins, as hypothesized. While local pathogenetic mechanisms require
smaller infective doses, pathogens with distantly acting toxins tend to spread
faster and may cause more damage to the host. The proposed model can serve as
a basis for the spatially explicit analysis of various virulence factors also
in the context of other problems in infection dynamics.'
acknowledgement: J.R. and J.V.A. were also supported by the Academy of Finland Grants
1273253 and 267541.
article_processing_charge: No
author:
- first_name: Joel
full_name: Rybicki, Joel
id: 334EFD2E-F248-11E8-B48F-1D18A9856A87
last_name: Rybicki
orcid: 0000-0002-6432-6646
- first_name: Eva
full_name: Kisdi, Eva
last_name: Kisdi
- first_name: Jani
full_name: Anttila, Jani
last_name: Anttila
citation:
ama: Rybicki J, Kisdi E, Anttila J. Model of bacterial toxin-dependent pathogenesis
explains infective dose. Proceedings of the National Academy of Sciences of
the United States of America. 2018;115(42):10690-10695. doi:10.1073/pnas.1721061115
apa: Rybicki, J., Kisdi, E., & Anttila, J. (2018). Model of bacterial toxin-dependent
pathogenesis explains infective dose. Proceedings of the National Academy of
Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.1721061115
chicago: Rybicki, Joel, Eva Kisdi, and Jani Anttila. “Model of Bacterial Toxin-Dependent
Pathogenesis Explains Infective Dose.” Proceedings of the National Academy
of Sciences of the United States of America. National Academy of Sciences,
2018. https://doi.org/10.1073/pnas.1721061115.
ieee: J. Rybicki, E. Kisdi, and J. Anttila, “Model of bacterial toxin-dependent
pathogenesis explains infective dose,” Proceedings of the National Academy
of Sciences of the United States of America, vol. 115, no. 42. National Academy
of Sciences, pp. 10690–10695, 2018.
ista: Rybicki J, Kisdi E, Anttila J. 2018. Model of bacterial toxin-dependent pathogenesis
explains infective dose. Proceedings of the National Academy of Sciences of the
United States of America. 115(42), 10690–10695.
mla: Rybicki, Joel, et al. “Model of Bacterial Toxin-Dependent Pathogenesis Explains
Infective Dose.” Proceedings of the National Academy of Sciences of the United
States of America, vol. 115, no. 42, National Academy of Sciences, 2018, pp.
10690–95, doi:10.1073/pnas.1721061115.
short: J. Rybicki, E. Kisdi, J. Anttila, Proceedings of the National Academy of
Sciences of the United States of America 115 (2018) 10690–10695.
date_created: 2018-12-11T11:44:19Z
date_published: 2018-10-02T00:00:00Z
date_updated: 2025-06-03T11:16:28Z
day: '02'
ddc:
- '570'
- '577'
department:
- _id: DaAl
doi: 10.1073/pnas.1721061115
ec_funded: 1
external_id:
isi:
- '000447491300057'
file:
- access_level: open_access
checksum: df7ac544a587c06b75692653b9fabd18
content_type: application/pdf
creator: dernst
date_created: 2019-04-09T08:02:50Z
date_updated: 2020-07-14T12:46:26Z
file_id: '6258'
file_name: 2018_PNAS_Rybicki.pdf
file_size: 4070777
relation: main_file
file_date_updated: 2020-07-14T12:46:26Z
has_accepted_license: '1'
intvolume: ' 115'
isi: 1
issue: '42'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 10690 - 10695
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: Proceedings of the National Academy of Sciences of the United States
of America
publication_identifier:
eissn:
- 1091-6490
issn:
- 0027-8424
publication_status: published
publisher: National Academy of Sciences
publist_id: '8011'
pubrep_id: '1063'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Model of bacterial toxin-dependent pathogenesis explains infective dose
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 115
year: '2018'
...
---
_id: '430'
abstract:
- lang: eng
text: In this issue of GENETICS, a new method for detecting natural selection on
polygenic traits is developed and applied to sev- eral human examples ( Racimo
et al. 2018 ). By de fi nition, many loci contribute to variation in polygenic
traits, and a challenge for evolutionary ge neticists has been that these traits
can evolve by small, nearly undetectable shifts in allele frequencies across each
of many, typically unknown, loci. Recently, a helpful remedy has arisen. Genome-wide
associ- ation studies (GWAS) have been illuminating sets of loci that can be interrogated
jointly for c hanges in allele frequencies. By aggregating small signal s of change
across many such loci, directional natural selection is now in principle detect-
able using genetic data, even for highly polygenic traits. This is an exciting
arena of progress – with these methods, tests can be made for selection associated
with traits, and we can now study selection in what may be its most prevalent
mode. The continuing fast pace of GWAS publications suggest there will be many
more polygenic tests of selection in the near future, as every new GWAS is an
opportunity for an accom- panying test of polygenic selection. However, it is
important to be aware of complications th at arise in interpretation, especially
given that these studies may easily be misinter- preted both in and outside the
evolutionary genetics commu- nity. Here, we provide context for understanding
polygenic tests and urge caution regarding how these results are inter- preted
and reported upon more broadly.
article_processing_charge: No
author:
- first_name: John
full_name: Novembre, John
last_name: Novembre
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
citation:
ama: Novembre J, Barton NH. Tread lightly interpreting polygenic tests of selection.
Genetics. 2018;208(4):1351-1355. doi:10.1534/genetics.118.300786
apa: Novembre, J., & Barton, N. H. (2018). Tread lightly interpreting polygenic
tests of selection. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.118.300786
chicago: Novembre, John, and Nicholas H Barton. “Tread Lightly Interpreting Polygenic
Tests of Selection.” Genetics. Genetics Society of America, 2018. https://doi.org/10.1534/genetics.118.300786.
ieee: J. Novembre and N. H. Barton, “Tread lightly interpreting polygenic tests
of selection,” Genetics, vol. 208, no. 4. Genetics Society of America,
pp. 1351–1355, 2018.
ista: Novembre J, Barton NH. 2018. Tread lightly interpreting polygenic tests of
selection. Genetics. 208(4), 1351–1355.
mla: Novembre, John, and Nicholas H. Barton. “Tread Lightly Interpreting Polygenic
Tests of Selection.” Genetics, vol. 208, no. 4, Genetics Society of America,
2018, pp. 1351–55, doi:10.1534/genetics.118.300786.
short: J. Novembre, N.H. Barton, Genetics 208 (2018) 1351–1355.
date_created: 2018-12-11T11:46:26Z
date_published: 2018-04-01T00:00:00Z
date_updated: 2023-09-19T10:17:30Z
day: '01'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.1534/genetics.118.300786
external_id:
isi:
- '000429094400005'
file:
- access_level: open_access
checksum: 3d838dc285df394376555b794b6a5ad1
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:12:40Z
date_updated: 2020-07-14T12:46:26Z
file_id: '4958'
file_name: IST-2018-1012-v1+1_2018_Barton_Tread.pdf
file_size: 500129
relation: main_file
file_date_updated: 2020-07-14T12:46:26Z
has_accepted_license: '1'
intvolume: ' 208'
isi: 1
issue: '4'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '04'
oa: 1
oa_version: Published Version
page: 1351 - 1355
publication: Genetics
publication_status: published
publisher: Genetics Society of America
publist_id: '7393'
pubrep_id: '1012'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Tread lightly interpreting polygenic tests of selection
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: 208
year: '2018'
...
---
_id: '433'
abstract:
- lang: eng
text: 'A thrackle is a graph drawn in the plane so that every pair of its edges
meet exactly once: either at a common end vertex or in a proper crossing. We prove
that any thrackle of n vertices has at most 1.3984n edges. Quasi-thrackles are
defined similarly, except that every pair of edges that do not share a vertex
are allowed to cross an odd number of times. It is also shown that the maximum
number of edges of a quasi-thrackle on n vertices is 3/2(n-1), and that this bound
is best possible for infinitely many values of n.'
alternative_title:
- LNCS
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: János
full_name: Pach, János
last_name: Pach
citation:
ama: 'Fulek R, Pach J. Thrackles: An improved upper bound. In: Vol 10692. Springer;
2018:160-166. doi:10.1007/978-3-319-73915-1_14'
apa: 'Fulek, R., & Pach, J. (2018). Thrackles: An improved upper bound (Vol.
10692, pp. 160–166). Presented at the GD: Graph Drawing and Network Visualization,
Boston, MA, United States: Springer. https://doi.org/10.1007/978-3-319-73915-1_14'
chicago: 'Fulek, Radoslav, and János Pach. “Thrackles: An Improved Upper Bound,”
10692:160–66. Springer, 2018. https://doi.org/10.1007/978-3-319-73915-1_14.'
ieee: 'R. Fulek and J. Pach, “Thrackles: An improved upper bound,” presented at
the GD: Graph Drawing and Network Visualization, Boston, MA, United States, 2018,
vol. 10692, pp. 160–166.'
ista: 'Fulek R, Pach J. 2018. Thrackles: An improved upper bound. GD: Graph Drawing
and Network Visualization, LNCS, vol. 10692, 160–166.'
mla: 'Fulek, Radoslav, and János Pach. Thrackles: An Improved Upper Bound.
Vol. 10692, Springer, 2018, pp. 160–66, doi:10.1007/978-3-319-73915-1_14.'
short: R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
conference:
end_date: 2017-09-27
location: Boston, MA, United States
name: 'GD: Graph Drawing and Network Visualization'
start_date: 201-09-25
corr_author: '1'
date_created: 2018-12-11T11:46:27Z
date_published: 2018-01-21T00:00:00Z
date_updated: 2026-04-16T09:48:11Z
day: '21'
department:
- _id: UlWa
doi: 10.1007/978-3-319-73915-1_14
external_id:
arxiv:
- '1708.08037'
intvolume: ' 10692'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1708.08037
month: '01'
oa: 1
oa_version: Submitted Version
page: 160 - 166
publication_status: published
publisher: Springer
publist_id: '7390'
quality_controlled: '1'
related_material:
record:
- id: '5857'
relation: later_version
status: public
scopus_import: '1'
status: public
title: 'Thrackles: An improved upper bound'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10692
year: '2018'
...
---
_id: '434'
abstract:
- lang: eng
text: In this paper, we present a formal model-driven design approach to establish
a safety-assured implementation of multifunction vehicle bus controller (MVBC),
which controls the data transmission among the devices of the vehicle. First,
the generic models and safety requirements described in International Electrotechnical
Commission Standard 61375 are formalized as time automata and timed computation
tree logic formulas, respectively. With model checking tool Uppaal, we verify
whether or not the constructed timed automata satisfy the formulas and several
logic inconsistencies in the original standard are detected and corrected. Then,
we apply the code generation tool Times to generate C code from the verified model,
which is later synthesized into a real MVBC chip, with some handwriting glue code.
Furthermore, the runtime verification tool RMOR is applied on the integrated code,
to verify some safety requirements that cannot be formalized on the timed automata.
For evaluation, we compare the proposed approach with existing MVBC design methods,
such as BeagleBone, Galsblock, and Simulink. Experiments show that more ambiguousness
or bugs in the standard are detected during Uppaal verification, and the generated
code of Times outperforms the C code generated by others in terms of the synthesized
binary code size. The errors in the standard have been confirmed and the resulting
MVBC has been deployed in the real train communication network.
article_processing_charge: No
author:
- first_name: Yu
full_name: Jiang, Yu
last_name: Jiang
- first_name: Han
full_name: Liu, Han
last_name: Liu
- first_name: Huobing
full_name: Song, Huobing
last_name: Song
- first_name: Hui
full_name: Kong, Hui
id: 3BDE25AA-F248-11E8-B48F-1D18A9856A87
last_name: Kong
orcid: 0000-0002-3066-6941
- first_name: Rui
full_name: Wang, Rui
last_name: Wang
- first_name: Yong
full_name: Guan, Yong
last_name: Guan
- first_name: Lui
full_name: Sha, Lui
last_name: Sha
citation:
ama: Jiang Y, Liu H, Song H, et al. Safety-assured model-driven design of the multifunction
vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems.
2018;19(10):3320-3333. doi:10.1109/TITS.2017.2778077
apa: Jiang, Y., Liu, H., Song, H., Kong, H., Wang, R., Guan, Y., & Sha, L. (2018).
Safety-assured model-driven design of the multifunction vehicle bus controller.
IEEE Transactions on Intelligent Transportation Systems. IEEE. https://doi.org/10.1109/TITS.2017.2778077
chicago: Jiang, Yu, Han Liu, Huobing Song, Hui Kong, Rui Wang, Yong Guan, and Lui
Sha. “Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.”
IEEE Transactions on Intelligent Transportation Systems. IEEE, 2018. https://doi.org/10.1109/TITS.2017.2778077.
ieee: Y. Jiang et al., “Safety-assured model-driven design of the multifunction
vehicle bus controller,” IEEE Transactions on Intelligent Transportation Systems,
vol. 19, no. 10. IEEE, pp. 3320–3333, 2018.
ista: Jiang Y, Liu H, Song H, Kong H, Wang R, Guan Y, Sha L. 2018. Safety-assured
model-driven design of the multifunction vehicle bus controller. IEEE Transactions
on Intelligent Transportation Systems. 19(10), 3320–3333.
mla: Jiang, Yu, et al. “Safety-Assured Model-Driven Design of the Multifunction
Vehicle Bus Controller.” IEEE Transactions on Intelligent Transportation Systems,
vol. 19, no. 10, IEEE, 2018, pp. 3320–33, doi:10.1109/TITS.2017.2778077.
short: Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions
on Intelligent Transportation Systems 19 (2018) 3320–3333.
date_created: 2018-12-11T11:46:27Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2025-09-22T09:39:54Z
day: '01'
department:
- _id: ToHe
doi: 10.1109/TITS.2017.2778077
external_id:
isi:
- '000446651100020'
intvolume: ' 19'
isi: 1
issue: '10'
language:
- iso: eng
month: '01'
oa_version: None
page: 3320 - 3333
publication: IEEE Transactions on Intelligent Transportation Systems
publication_status: published
publisher: IEEE
publist_id: '7389'
quality_controlled: '1'
related_material:
record:
- id: '1205'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Safety-assured model-driven design of the multifunction vehicle bus controller
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 19
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: 2025-04-14T07:26:59Z
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: '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: 2025-07-10T11:51:21Z
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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; 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. 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, 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, 2018, pp. 197–206, doi:10.1145/3178126.3178131.
short: E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for
Computing Machinery, 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: 2025-07-10T11:51:22Z
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
publist_id: '7738'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Localizing faults in simulink/stateflow models with STL
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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: 2025-06-04T07:49:02Z
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: '5992'
abstract:
- lang: eng
text: Lamellipodia are flat membrane protrusions formed during mesenchymal motion.
Polymerization at the leading edge assembles the actin filament network and generates
protrusion force. How this force is supported by the network and how the assembly
rate is shared between protrusion and network retrograde flow determines the protrusion
rate. We use mathematical modeling to understand experiments changing the F-actin
density in lamellipodia of B16-F1 melanoma cells by modulation of Arp2/3 complex
activity or knockout of the formins FMNL2 and FMNL3. Cells respond to a reduction
of density with a decrease of protrusion velocity, an increase in the ratio of
force to filament number, but constant network assembly rate. The relation between
protrusion force and tension gradient in the F-actin network and the density dependency
of friction, elasticity, and viscosity of the network explain the experimental
observations. The formins act as filament nucleators and elongators with differential
rates. Modulation of their activity suggests an effect on network assembly rate.
Contrary to these expectations, the effect of changes in elongator composition
is much weaker than the consequences of the density change. We conclude that the
force acting on the leading edge membrane is the force required to drive F-actin
network retrograde flow.
article_processing_charge: No
author:
- first_name: Setareh
full_name: Dolati, Setareh
last_name: Dolati
- first_name: Frieda
full_name: Kage, Frieda
last_name: Kage
- first_name: Jan
full_name: Mueller, Jan
last_name: Mueller
- first_name: Mathias
full_name: Müsken, Mathias
last_name: Müsken
- first_name: Marieluise
full_name: Kirchner, Marieluise
last_name: Kirchner
- first_name: Gunnar
full_name: Dittmar, Gunnar
last_name: Dittmar
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Klemens
full_name: Rottner, Klemens
last_name: Rottner
- first_name: Martin
full_name: Falcke, Martin
last_name: Falcke
citation:
ama: Dolati S, Kage F, Mueller J, et al. On the relation between filament density,
force generation, and protrusion rate in mesenchymal cell motility. Molecular
Biology of the Cell. 2018;29(22):2674-2686. doi:10.1091/mbc.e18-02-0082
apa: Dolati, S., Kage, F., Mueller, J., Müsken, M., Kirchner, M., Dittmar, G., …
Falcke, M. (2018). On the relation between filament density, force generation,
and protrusion rate in mesenchymal cell motility. Molecular Biology of the
Cell. American Society for Cell Biology. https://doi.org/10.1091/mbc.e18-02-0082
chicago: Dolati, Setareh, Frieda Kage, Jan Mueller, Mathias Müsken, Marieluise Kirchner,
Gunnar Dittmar, Michael K Sixt, Klemens Rottner, and Martin Falcke. “On the Relation
between Filament Density, Force Generation, and Protrusion Rate in Mesenchymal
Cell Motility.” Molecular Biology of the Cell. American Society for Cell
Biology, 2018. https://doi.org/10.1091/mbc.e18-02-0082.
ieee: S. Dolati et al., “On the relation between filament density, force
generation, and protrusion rate in mesenchymal cell motility,” Molecular Biology
of the Cell, vol. 29, no. 22. American Society for Cell Biology, pp. 2674–2686,
2018.
ista: Dolati S, Kage F, Mueller J, Müsken M, Kirchner M, Dittmar G, Sixt MK, Rottner
K, Falcke M. 2018. On the relation between filament density, force generation,
and protrusion rate in mesenchymal cell motility. Molecular Biology of the Cell.
29(22), 2674–2686.
mla: Dolati, Setareh, et al. “On the Relation between Filament Density, Force Generation,
and Protrusion Rate in Mesenchymal Cell Motility.” Molecular Biology of the
Cell, vol. 29, no. 22, American Society for Cell Biology, 2018, pp. 2674–86,
doi:10.1091/mbc.e18-02-0082.
short: S. Dolati, F. Kage, J. Mueller, M. Müsken, M. Kirchner, G. Dittmar, M.K.
Sixt, K. Rottner, M. Falcke, Molecular Biology of the Cell 29 (2018) 2674–2686.
das_tickbox: '1'
date_created: 2019-02-14T12:25:47Z
date_published: 2018-11-01T00:00:00Z
date_updated: 2026-07-06T12:25:34Z
day: '01'
ddc:
- '570'
department:
- _id: MiSi
doi: 10.1091/mbc.e18-02-0082
external_id:
isi:
- '000455641000011'
pmid:
- '30156465'
file:
- access_level: open_access
checksum: e98465b4416b3e804c47f40086932af2
content_type: application/pdf
creator: kschuh
date_created: 2019-02-14T12:34:29Z
date_updated: 2020-07-14T12:47:15Z
file_id: '5994'
file_name: 2018_ASCB_Dolati.pdf
file_size: 6668971
relation: main_file
file_date_updated: 2020-07-14T12:47:15Z
has_accepted_license: '1'
intvolume: ' 29'
isi: 1
issue: '22'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-sa/4.0/
month: '11'
oa: 1
oa_version: Published Version
page: 2674-2686
pmid: 1
publication: Molecular Biology of the Cell
publication_identifier:
eissn:
- 1939-4586
publication_status: published
publisher: American Society for Cell Biology
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the relation between filament density, force generation, and protrusion
rate in mesenchymal cell motility
tmp:
image: /images/cc_by_nc_sa.png
legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC
BY-NC-SA 4.0)
short: CC BY-NC-SA (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 29
year: '2018'
...
---
_id: '8547'
abstract:
- lang: eng
text: The cerebral cortex contains multiple hierarchically organized areas with
distinctive cytoarchitectonical patterns, but the cellular mechanisms underlying
the emergence of this diversity remain unclear. Here, we have quantitatively investigated
the neuronal output of individual progenitor cells in the ventricular zone of
the developing mouse neocortex using a combination of methods that together circumvent
the biases and limitations of individual approaches. We found that individual
cortical progenitor cells show a high degree of stochasticity and generate pyramidal
cell lineages that adopt a wide range of laminar configurations. Mathematical
modelling these lineage data suggests that a small number of progenitor cell populations,
each generating pyramidal cells following different stochastic developmental programs,
suffice to generate the heterogenous complement of pyramidal cell lineages that
collectively build the complex cytoarchitecture of the neocortex.
acknowledgement: We thank I. Andrew and S.E. Bae for excellent technical assistance,
F. Gage for plasmids, and K. Nave (Nex-Cre) for mouse colonies. We thank members
of the Marín and Rico laboratories for stimulating discussions and ideas. Our research
on this topic is supported by grants from the European Research Council (ERC-2017-AdG
787355 to O.M and ERC2016-CoG 725780 to S.H.) and Wellcome Trust (103714MA) to O.M.
L.L. was the recipient of an EMBO long-term postdoctoral fellowship, R.B. received
support from FWF Lise-Meitner program (M 2416) and F.K.W. was supported by an EMBO
postdoctoral fellowship and is currently a Marie Skłodowska-Curie Fellow from the
European Commission under the H2020 Programme.
article_processing_charge: No
author:
- first_name: Alfredo
full_name: Llorca, Alfredo
last_name: Llorca
- first_name: Gabriele
full_name: Ciceri, Gabriele
last_name: Ciceri
- first_name: Robert J
full_name: Beattie, Robert J
id: 2E26DF60-F248-11E8-B48F-1D18A9856A87
last_name: Beattie
orcid: 0000-0002-8483-8753
- first_name: Fong K.
full_name: Wong, Fong K.
last_name: Wong
- first_name: Giovanni
full_name: Diana, Giovanni
last_name: Diana
- first_name: Eleni
full_name: Serafeimidou, Eleni
last_name: Serafeimidou
- first_name: Marian
full_name: Fernández-Otero, Marian
last_name: Fernández-Otero
- first_name: Carmen
full_name: Streicher, Carmen
id: 36BCB99C-F248-11E8-B48F-1D18A9856A87
last_name: Streicher
- first_name: Sebastian J.
full_name: Arnold, Sebastian J.
last_name: Arnold
- first_name: Martin
full_name: Meyer, Martin
last_name: Meyer
- first_name: Simon
full_name: Hippenmeyer, Simon
id: 37B36620-F248-11E8-B48F-1D18A9856A87
last_name: Hippenmeyer
orcid: 0000-0003-2279-1061
- first_name: Miguel
full_name: Maravall, Miguel
last_name: Maravall
- first_name: Oscar
full_name: Marín, Oscar
last_name: Marín
citation:
ama: Llorca A, Ciceri G, Beattie RJ, et al. Heterogeneous progenitor cell behaviors
underlie the assembly of neocortical cytoarchitecture. bioRxiv. doi:10.1101/494088
apa: Llorca, A., Ciceri, G., Beattie, R. J., Wong, F. K., Diana, G., Serafeimidou,
E., … Marín, O. (n.d.). Heterogeneous progenitor cell behaviors underlie the assembly
of neocortical cytoarchitecture. bioRxiv. https://doi.org/10.1101/494088
chicago: Llorca, Alfredo, Gabriele Ciceri, Robert J Beattie, Fong K. Wong, Giovanni
Diana, Eleni Serafeimidou, Marian Fernández-Otero, et al. “Heterogeneous Progenitor
Cell Behaviors Underlie the Assembly of Neocortical Cytoarchitecture.” BioRxiv,
n.d. https://doi.org/10.1101/494088.
ieee: A. Llorca et al., “Heterogeneous progenitor cell behaviors underlie
the assembly of neocortical cytoarchitecture,” bioRxiv. .
ista: Llorca A, Ciceri G, Beattie RJ, Wong FK, Diana G, Serafeimidou E, Fernández-Otero
M, Streicher C, Arnold SJ, Meyer M, Hippenmeyer S, Maravall M, Marín O. Heterogeneous
progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture.
bioRxiv, 10.1101/494088.
mla: Llorca, Alfredo, et al. “Heterogeneous Progenitor Cell Behaviors Underlie the
Assembly of Neocortical Cytoarchitecture.” BioRxiv, doi:10.1101/494088.
short: A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou,
M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall,
O. Marín, BioRxiv (n.d.).
das_tickbox: '1'
date_created: 2020-09-21T12:01:50Z
date_published: 2018-12-13T00:00:00Z
date_updated: 2026-07-06T12:52:50Z
day: '13'
department:
- _id: SiHi
doi: 10.1101/494088
ec_funded: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1101/494088
month: '12'
oa: 1
oa_version: Preprint
project:
- _id: 260018B0-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '725780'
name: Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development
- _id: 264E56E2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02416
name: Molecular Mechanisms Regulating Gliogenesis in the Neocortex
publication: bioRxiv
publication_status: submitted
status: public
title: Heterogeneous progenitor cell behaviors underlie the assembly of neocortical
cytoarchitecture
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
OA_place: publisher
OA_type: diamond
_id: '10286'
abstract:
- lang: eng
text: 'In this paper, we evaluate clock signals generated in ring oscillators and
self-timed rings and the way their jitter can be transformed into random numbers.
We show that counting the periods of the jittery clock signal produces random
numbers of significantly better quality than the methods in which the jittery
signal is simply sampled (the case in almost all current methods). Moreover, we
use the counter values to characterize and continuously monitor the source of
randomness. However, instead of using the widely used statistical variance, we
propose to use Allan variance to do so. There are two main advantages: Allan variance
is insensitive to low frequency noises such as flicker noise that are known to
be autocorrelated and significantly less circuitry is required for its computation
than that used to compute commonly used variance. We also show that it is essential
to use a differential principle of randomness extraction from the jitter based
on the use of two identical oscillators to avoid autocorrelations originating
from external and internal global jitter sources and that this fact is valid for
both kinds of rings. Last but not least, we propose a method of statistical testing
based on high order Markov model to show the reduced dependencies when the proposed
randomness extraction is applied.'
article_processing_charge: No
article_type: original
author:
- first_name: Elie Noumon
full_name: Allini, Elie Noumon
last_name: Allini
- first_name: Maciej
full_name: Skórski, Maciej
id: EC09FA6A-02D0-11E9-8223-86B7C91467DD
last_name: Skórski
- first_name: Oto
full_name: Petura, Oto
last_name: Petura
- first_name: Florent
full_name: Bernard, Florent
last_name: Bernard
- first_name: Marek
full_name: Laban, Marek
last_name: Laban
- first_name: Viktor
full_name: Fischer, Viktor
last_name: Fischer
citation:
ama: Allini EN, Skórski M, Petura O, Bernard F, Laban M, Fischer V. Evaluation and
monitoring of free running oscillators serving as source of randomness. IACR
Transactions on Cryptographic Hardware and Embedded Systems. 2018;2018(3):214-242.
doi:10.13154/tches.v2018.i3.214-242
apa: Allini, E. N., Skórski, M., Petura, O., Bernard, F., Laban, M., & Fischer,
V. (2018). Evaluation and monitoring of free running oscillators serving as source
of randomness. IACR Transactions on Cryptographic Hardware and Embedded Systems.
International Association for Cryptologic Research. https://doi.org/10.13154/tches.v2018.i3.214-242
chicago: Allini, Elie Noumon, Maciej Skórski, Oto Petura, Florent Bernard, Marek
Laban, and Viktor Fischer. “Evaluation and Monitoring of Free Running Oscillators
Serving as Source of Randomness.” IACR Transactions on Cryptographic Hardware
and Embedded Systems. International Association for Cryptologic Research,
2018. https://doi.org/10.13154/tches.v2018.i3.214-242.
ieee: E. N. Allini, M. Skórski, O. Petura, F. Bernard, M. Laban, and V. Fischer,
“Evaluation and monitoring of free running oscillators serving as source of randomness,”
IACR Transactions on Cryptographic Hardware and Embedded Systems, vol.
2018, no. 3. International Association for Cryptologic Research, pp. 214–242,
2018.
ista: Allini EN, Skórski M, Petura O, Bernard F, Laban M, Fischer V. 2018. Evaluation
and monitoring of free running oscillators serving as source of randomness. IACR
Transactions on Cryptographic Hardware and Embedded Systems. 2018(3), 214–242.
mla: Allini, Elie Noumon, et al. “Evaluation and Monitoring of Free Running Oscillators
Serving as Source of Randomness.” IACR Transactions on Cryptographic Hardware
and Embedded Systems, vol. 2018, no. 3, International Association for Cryptologic
Research, 2018, pp. 214–42, doi:10.13154/tches.v2018.i3.214-242.
short: E.N. Allini, M. Skórski, O. Petura, F. Bernard, M. Laban, V. Fischer, IACR
Transactions on Cryptographic Hardware and Embedded Systems 2018 (2018) 214–242.
corr_author: '1'
das_tickbox: '1'
date_created: 2021-11-14T23:01:25Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2026-07-06T13:16:35Z
day: '01'
ddc:
- '000'
department:
- _id: KrPi
doi: 10.13154/tches.v2018.i3.214-242
file:
- access_level: open_access
checksum: b816b848f046c48a8357700d9305dce5
content_type: application/pdf
creator: cchlebak
date_created: 2021-11-15T10:27:29Z
date_updated: 2021-11-15T10:27:29Z
file_id: '10289'
file_name: 2018_IACR_Allini.pdf
file_size: 955755
relation: main_file
success: 1
file_date_updated: 2021-11-15T10:27:29Z
has_accepted_license: '1'
intvolume: ' 2018'
issue: '3'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 214-242
publication: IACR Transactions on Cryptographic Hardware and Embedded Systems
publication_identifier:
eissn:
- 2569-2925
publication_status: published
publisher: International Association for Cryptologic Research
quality_controlled: '1'
scopus_import: '1'
status: public
title: Evaluation and monitoring of free running oscillators serving as source of
randomness
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: 2018
year: '2018'
...
---
_id: '5995'
abstract:
- lang: eng
text: "Motivation\r\nComputational prediction of the effect of mutations on protein
stability is used by researchers in many fields. The utility of the prediction
methods is affected by their accuracy and bias. Bias, a systematic shift of the
predicted change of stability, has been noted as an issue for several methods,
but has not been investigated systematically. Presence of the bias may lead to
misleading results especially when exploring the effects of combination of different
mutations.\r\n\r\nResults\r\nHere we use a protocol to measure the bias as a function
of the number of introduced mutations. It is based on a self-consistency test
of the reciprocity the effect of a mutation. An advantage of the used approach
is that it relies solely on crystal structures without experimentally measured
stability values. We applied the protocol to four popular algorithms predicting
change of protein stability upon mutation, FoldX, Eris, Rosetta and I-Mutant,
and found an inherent bias. For one program, FoldX, we manage to substantially
reduce the bias using additional relaxation by Modeller. Authors using algorithms
for predicting effects of mutations should be aware of the bias described here."
article_processing_charge: No
author:
- first_name: Dinara R
full_name: Usmanova, Dinara R
last_name: Usmanova
- first_name: Natalya S
full_name: Bogatyreva, Natalya S
last_name: Bogatyreva
- first_name: Joan
full_name: Ariño Bernad, Joan
last_name: Ariño Bernad
- first_name: Aleksandra A
full_name: Eremina, Aleksandra A
last_name: Eremina
- first_name: Anastasiya A
full_name: Gorshkova, Anastasiya A
last_name: Gorshkova
- first_name: German M
full_name: Kanevskiy, German M
last_name: Kanevskiy
- first_name: Lyubov R
full_name: Lonishin, Lyubov R
last_name: Lonishin
- first_name: Alexander V
full_name: Meister, Alexander V
last_name: Meister
- first_name: Alisa G
full_name: Yakupova, Alisa G
last_name: Yakupova
- first_name: Fyodor
full_name: Kondrashov, Fyodor
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
- first_name: Dmitry
full_name: Ivankov, Dmitry
id: 49FF1036-F248-11E8-B48F-1D18A9856A87
last_name: Ivankov
orcid: 0000-0002-8224-4118
citation:
ama: Usmanova DR, Bogatyreva NS, Ariño Bernad J, et al. Self-consistency test reveals
systematic bias in programs for prediction change of stability upon mutation.
Bioinformatics. 2018;34(21):3653-3658. doi:10.1093/bioinformatics/bty340
apa: Usmanova, D. R., Bogatyreva, N. S., Ariño Bernad, J., Eremina, A. A., Gorshkova,
A. A., Kanevskiy, G. M., … Ivankov, D. (2018). Self-consistency test reveals systematic
bias in programs for prediction change of stability upon mutation. Bioinformatics.
Oxford University Press. https://doi.org/10.1093/bioinformatics/bty340
chicago: Usmanova, Dinara R, Natalya S Bogatyreva, Joan Ariño Bernad, Aleksandra
A Eremina, Anastasiya A Gorshkova, German M Kanevskiy, Lyubov R Lonishin, et al.
“Self-Consistency Test Reveals Systematic Bias in Programs for Prediction Change
of Stability upon Mutation.” Bioinformatics. Oxford University Press, 2018.
https://doi.org/10.1093/bioinformatics/bty340.
ieee: D. R. Usmanova et al., “Self-consistency test reveals systematic bias
in programs for prediction change of stability upon mutation,” Bioinformatics,
vol. 34, no. 21. Oxford University Press, pp. 3653–3658, 2018.
ista: Usmanova DR, Bogatyreva NS, Ariño Bernad J, Eremina AA, Gorshkova AA, Kanevskiy
GM, Lonishin LR, Meister AV, Yakupova AG, Kondrashov F, Ivankov D. 2018. Self-consistency
test reveals systematic bias in programs for prediction change of stability upon
mutation. Bioinformatics. 34(21), 3653–3658.
mla: Usmanova, Dinara R., et al. “Self-Consistency Test Reveals Systematic Bias
in Programs for Prediction Change of Stability upon Mutation.” Bioinformatics,
vol. 34, no. 21, Oxford University Press, 2018, pp. 3653–58, doi:10.1093/bioinformatics/bty340.
short: D.R. Usmanova, N.S. Bogatyreva, J. Ariño Bernad, A.A. Eremina, A.A. Gorshkova,
G.M. Kanevskiy, L.R. Lonishin, A.V. Meister, A.G. Yakupova, F. Kondrashov, D.
Ivankov, Bioinformatics 34 (2018) 3653–3658.
das_tickbox: '1'
date_created: 2019-02-14T12:48:00Z
date_published: 2018-11-01T00:00:00Z
date_updated: 2026-07-06T13:48:02Z
day: '01'
ddc:
- '570'
department:
- _id: FyKo
doi: 10.1093/bioinformatics/bty340
ec_funded: 1
external_id:
isi:
- '000450038900008'
pmid:
- '29722803'
file:
- access_level: open_access
checksum: 7e0495153f44211479674601d7f6ee03
content_type: application/pdf
creator: kschuh
date_created: 2019-02-14T13:00:55Z
date_updated: 2020-07-14T12:47:15Z
file_id: '5997'
file_name: 2018_Oxford_Usmanova.pdf
file_size: 291969
relation: main_file
file_date_updated: 2020-07-14T12:47:15Z
has_accepted_license: '1'
intvolume: ' 34'
isi: 1
issue: '21'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '11'
oa: 1
oa_version: Published Version
page: 3653-3658
pmid: 1
project:
- _id: 26120F5C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '335980'
name: Systematic investigation of epistasis in molecular evolution
publication: Bioinformatics
publication_identifier:
eissn:
- 1367-4811
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Self-consistency test reveals systematic bias in programs for prediction change
of stability upon mutation
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 34
year: '2018'
...
---
_id: '404'
abstract:
- lang: eng
text: "We construct martingale solutions to stochastic thin-film equations by introducing
a (spatial) semidiscretization and establishing convergence. The discrete scheme
allows for variants of the energy and entropy estimates in the continuous setting
as long as the discrete energy does not exceed certain threshold values depending
on the spatial grid size $h$. Using a stopping time argument to prolongate high-energy
paths constant in time, arbitrary moments of coupled energy/entropy functionals
can be controlled. Having established Hölder regularity of approximate solutions,
the convergence proof is then based on compactness arguments---in particular on
Jakubowski's generalization of Skorokhod's theorem---weak convergence methods,
and recent tools on martingale convergence.\r\n\r\n"
article_processing_charge: No
article_type: original
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: Günther
full_name: Grün, Günther
last_name: Grün
citation:
ama: Fischer JL, Grün G. Existence of positive solutions to stochastic thin-film
equations. SIAM Journal on Mathematical Analysis. 2018;50(1):411-455. doi:10.1137/16M1098796
apa: Fischer, J. L., & Grün, G. (2018). Existence of positive solutions to stochastic
thin-film equations. SIAM Journal on Mathematical Analysis. Society for
Industrial and Applied Mathematics. https://doi.org/10.1137/16M1098796
chicago: Fischer, Julian L, and Günther Grün. “Existence of Positive Solutions to
Stochastic Thin-Film Equations.” SIAM Journal on Mathematical Analysis.
Society for Industrial and Applied Mathematics, 2018. https://doi.org/10.1137/16M1098796.
ieee: J. L. Fischer and G. Grün, “Existence of positive solutions to stochastic
thin-film equations,” SIAM Journal on Mathematical Analysis, vol. 50, no.
1. Society for Industrial and Applied Mathematics, pp. 411–455, 2018.
ista: Fischer JL, Grün G. 2018. Existence of positive solutions to stochastic thin-film
equations. SIAM Journal on Mathematical Analysis. 50(1), 411–455.
mla: Fischer, Julian L., and Günther Grün. “Existence of Positive Solutions to Stochastic
Thin-Film Equations.” SIAM Journal on Mathematical Analysis, vol. 50, no.
1, Society for Industrial and Applied Mathematics, 2018, pp. 411–55, doi:10.1137/16M1098796.
short: J.L. Fischer, G. Grün, SIAM Journal on Mathematical Analysis 50 (2018) 411–455.
corr_author: '1'
das_tickbox: '1'
date_created: 2018-12-11T11:46:17Z
date_published: 2018-01-30T00:00:00Z
date_updated: 2026-07-06T14:01:18Z
day: '30'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1137/16M1098796
external_id:
isi:
- '000426630900015'
file:
- access_level: open_access
checksum: 89a8eae7c52bb356c04f52b44bff4b5a
content_type: application/pdf
creator: dernst
date_created: 2019-11-07T12:20:25Z
date_updated: 2020-07-14T12:46:22Z
file_id: '6992'
file_name: 2018_SIAM_Fischer.pdf
file_size: 557338
relation: main_file
file_date_updated: 2020-07-14T12:46:22Z
has_accepted_license: '1'
intvolume: ' 50'
isi: 1
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 411 - 455
publication: SIAM Journal on Mathematical Analysis
publication_status: published
publisher: Society for Industrial and Applied Mathematics
publist_id: '7425'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Existence of positive solutions to stochastic thin-film equations
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 50
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.
das_tickbox: '1'
date_created: 2018-12-11T11:45:03Z
date_published: 2018-01-01T00:00:00Z
date_updated: 2026-07-06T14:02:06Z
day: '01'
ddc:
- '500'
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 50
year: '2018'
...
---
_id: '312'
abstract:
- lang: eng
text: Motivated by biological questions, we study configurations of equal spheres
that neither pack nor cover. Placing their centers on a lattice, we define the
soft density of the configuration by penalizing multiple overlaps. Considering
the 1-parameter family of diagonally distorted 3-dimensional integer lattices,
we show that the soft density is maximized at the FCC lattice.
acknowledgement: This work was partially supported by the DFG Collaborative Research
Center TRR 109, “Discretization in Geometry and Dynamics,” through grant I02979-N35
of the Austrian Science Fund (FWF).
article_processing_charge: No
article_type: original
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Mabel
full_name: Iglesias Ham, Mabel
id: 41B58C0C-F248-11E8-B48F-1D18A9856A87
last_name: Iglesias Ham
citation:
ama: Edelsbrunner H, Iglesias Ham M. On the optimality of the FCC lattice for soft
sphere packing. SIAM J Discrete Math. 2018;32(1):750-782. doi:10.1137/16M1097201
apa: Edelsbrunner, H., & Iglesias Ham, M. (2018). On the optimality of the FCC
lattice for soft sphere packing. SIAM J Discrete Math. Society for Industrial
and Applied Mathematics. https://doi.org/10.1137/16M1097201
chicago: Edelsbrunner, Herbert, and Mabel Iglesias Ham. “On the Optimality of the
FCC Lattice for Soft Sphere Packing.” SIAM J Discrete Math. Society for
Industrial and Applied Mathematics, 2018. https://doi.org/10.1137/16M1097201.
ieee: H. Edelsbrunner and M. Iglesias Ham, “On the optimality of the FCC lattice
for soft sphere packing,” SIAM J Discrete Math, vol. 32, no. 1. Society
for Industrial and Applied Mathematics, pp. 750–782, 2018.
ista: Edelsbrunner H, Iglesias Ham M. 2018. On the optimality of the FCC lattice
for soft sphere packing. SIAM J Discrete Math. 32(1), 750–782.
mla: Edelsbrunner, Herbert, and Mabel Iglesias Ham. “On the Optimality of the FCC
Lattice for Soft Sphere Packing.” SIAM J Discrete Math, vol. 32, no. 1,
Society for Industrial and Applied Mathematics, 2018, pp. 750–82, doi:10.1137/16M1097201.
short: H. Edelsbrunner, M. Iglesias Ham, SIAM J Discrete Math 32 (2018) 750–782.
das_tickbox: '1'
date_created: 2018-12-11T11:45:46Z
date_published: 2018-03-29T00:00:00Z
date_updated: 2026-07-06T14:00:50Z
day: '29'
department:
- _id: HeEd
doi: 10.1137/16M1097201
external_id:
isi:
- '000428958900038'
intvolume: ' 32'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://pdfs.semanticscholar.org/d2d5/6da00fbc674e6a8b1bb9d857167e54200dc6.pdf
month: '03'
oa: 1
oa_version: Submitted Version
page: 750 - 782
project:
- _id: 2561EBF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I02979-N35
name: Persistence and stability of geometric complexes
publication: SIAM J Discrete Math
publication_identifier:
issn:
- 0895-4801
publication_status: published
publisher: Society for Industrial and Applied Mathematics
publist_id: '7553'
quality_controlled: '1'
scopus_import: '1'
status: public
title: On the optimality of the FCC lattice for soft sphere packing
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 32
year: '2018'
...
---
_id: '22'
abstract:
- lang: eng
text: Conventional ultra-high sensitivity detectors in the millimeter-wave range
are usually cooled as their own thermal noise at room temperature would mask the
weak received radiation. The need for cryogenic systems increases the cost and
complexity of the instruments, hindering the development of, among others, airborne
and space applications. In this work, the nonlinear parametric upconversion of
millimeter-wave radiation to the optical domain inside high-quality (Q) lithium
niobate whispering-gallery mode (WGM) resonators is proposed for ultra-low noise
detection. We experimentally demonstrate coherent upconversion of millimeter-wave
signals to a 1550 nm telecom carrier, with a photon conversion efficiency surpassing
the state-of-the-art by 2 orders of magnitude. Moreover, a theoretical model shows
that the thermal equilibrium of counterpropagating WGMs is broken by overcoupling
the millimeter-wave WGM, effectively cooling the upconverted mode and allowing
ultra-low noise detection. By theoretically estimating the sensitivity of a correlation
radiometer based on the presented scheme, it is found that room-temperature radiometers
with better sensitivity than state-of-the-art high-electron-mobility transistor
(HEMT)-based radiometers can be designed. This detection paradigm can be used
to develop room-temperature instrumentation for radio astronomy, earth observation,
planetary missions, and imaging systems.
article_processing_charge: No
article_type: original
author:
- first_name: Gabriel
full_name: Botello, Gabriel
last_name: Botello
- first_name: Florian
full_name: Sedlmeir, Florian
last_name: Sedlmeir
- first_name: Alfredo R
full_name: Rueda Sanchez, Alfredo R
id: 3B82B0F8-F248-11E8-B48F-1D18A9856A87
last_name: Rueda Sanchez
orcid: 0000-0001-6249-5860
- first_name: Kerlos
full_name: Abdalmalak, Kerlos
last_name: Abdalmalak
- first_name: Elliott
full_name: Brown, Elliott
last_name: Brown
- first_name: Gerd
full_name: Leuchs, Gerd
last_name: Leuchs
- first_name: Sascha
full_name: Preu, Sascha
last_name: Preu
- first_name: Daniel
full_name: Segovia Vargas, Daniel
last_name: Segovia Vargas
- first_name: Dmitry
full_name: Strekalov, Dmitry
last_name: Strekalov
- first_name: Luis
full_name: Munoz, Luis
last_name: Munoz
- first_name: Harald
full_name: Schwefel, Harald
last_name: Schwefel
citation:
ama: Botello G, Sedlmeir F, Rueda Sanchez AR, et al. Sensitivity limits of millimeter-wave
photonic radiometers based on efficient electro-optic upconverters. Optica.
2018;5(10):1210-1219. doi:10.1364/OPTICA.5.001210
apa: Botello, G., Sedlmeir, F., Rueda Sanchez, A. R., Abdalmalak, K., Brown, E.,
Leuchs, G., … Schwefel, H. (2018). Sensitivity limits of millimeter-wave photonic
radiometers based on efficient electro-optic upconverters. Optica. Optica
Publishing Group. https://doi.org/10.1364/OPTICA.5.001210
chicago: Botello, Gabriel, Florian Sedlmeir, Alfredo R Rueda Sanchez, Kerlos Abdalmalak,
Elliott Brown, Gerd Leuchs, Sascha Preu, et al. “Sensitivity Limits of Millimeter-Wave
Photonic Radiometers Based on Efficient Electro-Optic Upconverters.” Optica.
Optica Publishing Group, 2018. https://doi.org/10.1364/OPTICA.5.001210.
ieee: G. Botello et al., “Sensitivity limits of millimeter-wave photonic
radiometers based on efficient electro-optic upconverters,” Optica, vol.
5, no. 10. Optica Publishing Group, pp. 1210–1219, 2018.
ista: Botello G, Sedlmeir F, Rueda Sanchez AR, Abdalmalak K, Brown E, Leuchs G,
Preu S, Segovia Vargas D, Strekalov D, Munoz L, Schwefel H. 2018. Sensitivity
limits of millimeter-wave photonic radiometers based on efficient electro-optic
upconverters. Optica. 5(10), 1210–1219.
mla: Botello, Gabriel, et al. “Sensitivity Limits of Millimeter-Wave Photonic Radiometers
Based on Efficient Electro-Optic Upconverters.” Optica, vol. 5, no. 10,
Optica Publishing Group, 2018, pp. 1210–19, doi:10.1364/OPTICA.5.001210.
short: G. Botello, F. Sedlmeir, A.R. Rueda Sanchez, K. Abdalmalak, E. Brown, G.
Leuchs, S. Preu, D. Segovia Vargas, D. Strekalov, L. Munoz, H. Schwefel, Optica
5 (2018) 1210–1219.
das_tickbox: '1'
date_created: 2018-12-11T11:44:12Z
date_published: 2018-10-20T00:00:00Z
date_updated: 2026-07-07T06:22:34Z
day: '20'
ddc:
- '530'
department:
- _id: JoFi
doi: 10.1364/OPTICA.5.001210
external_id:
isi:
- '000447853100007'
intvolume: ' 5'
isi: 1
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: 'www.doi.org/10.1364/OPTICA.5.001210 '
month: '10'
oa: 1
oa_version: Published Version
page: 1210-1219
publication: Optica
publication_identifier:
issn:
- 2334-2536
publication_status: published
publisher: Optica Publishing Group
publist_id: '8033'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Sensitivity limits of millimeter-wave photonic radiometers based on efficient
electro-optic upconverters
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2018'
...
---
_id: '5686'
abstract:
- lang: eng
text: 'In the working paper I describe in detail the approach for Open Access definitions
which was presented in the Workshop "Open Access Monitoring - Approaches and Perspectives"
in Vienna. It defines five criteria on which are the definitions build. Each criteria
can be out of 4 classes. The minimum classes for the criteria which are used in
a Open Access definition can be presented as the Classification of Open Access
Tuples e.g. Open Access (Berlin Declaration) (1,1,1,1,3) this methods allows much
easier to distinguish between different Open Access definitions. This is needed
if the Open Access Universe should be measured in studies or monitoring approaches
and the results should become more comparable. '
article_processing_charge: No
author:
- first_name: Patrick
full_name: Danowski, Patrick
id: 2EBD1598-F248-11E8-B48F-1D18A9856A87
last_name: Danowski
orcid: 0000-0002-6026-4409
citation:
ama: Danowski P. An Austrian Proposal for the Classification of Open Access Tuples
(COAT) - Distinguish Different Open Access Types beyond Colors. Zenodo; 2018.
doi:10.5281/zenodo.1244154
apa: Danowski, P. (2018). An Austrian proposal for the Classification of Open
Access Tuples (COAT) - Distinguish different Open Access types beyond colors.
Zenodo. https://doi.org/10.5281/zenodo.1244154
chicago: Danowski, Patrick. An Austrian Proposal for the Classification of Open
Access Tuples (COAT) - Distinguish Different Open Access Types beyond Colors.
Zenodo, 2018. https://doi.org/10.5281/zenodo.1244154.
ieee: P. Danowski, An Austrian proposal for the Classification of Open Access
Tuples (COAT) - Distinguish different Open Access types beyond colors. Zenodo,
2018.
ista: Danowski P. 2018. An Austrian proposal for the Classification of Open Access
Tuples (COAT) - Distinguish different Open Access types beyond colors, Zenodo,
5p.
mla: Danowski, Patrick. An Austrian Proposal for the Classification of Open Access
Tuples (COAT) - Distinguish Different Open Access Types beyond Colors. Zenodo,
2018, doi:10.5281/zenodo.1244154.
short: P. Danowski, An Austrian Proposal for the Classification of Open Access Tuples
(COAT) - Distinguish Different Open Access Types beyond Colors, Zenodo, 2018.
corr_author: '1'
das_tickbox: '1'
date_created: 2018-12-17T10:28:26Z
date_published: 2018-05-09T00:00:00Z
date_updated: 2026-07-07T06:28:30Z
day: '09'
ddc:
- '020'
department:
- _id: E-Lib
doi: 10.5281/zenodo.1244154
file:
- access_level: open_access
checksum: 6cb95f8772491d155ce77c6160655fff
content_type: application/pdf
creator: dernst
date_created: 2019-01-22T09:06:51Z
date_updated: 2020-07-14T12:47:10Z
file_id: '5872'
file_name: 2018_WorkingPaper_Danowski.pdf
file_size: 202798
relation: main_file
file_date_updated: 2020-07-14T12:47:10Z
has_accepted_license: '1'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: '5'
publication_status: published
publisher: Zenodo
related_material:
record:
- id: '6657'
relation: later_version
status: public
scopus_import: '1'
status: public
title: An Austrian proposal for the Classification of Open Access Tuples (COAT) -
Distinguish different Open Access types beyond colors
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: working_paper
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '58'
abstract:
- lang: eng
text: 'Inside a two-dimensional region (``cake""), there are m nonoverlapping
tiles of a certain kind (``toppings""). We want to expand the toppings
while keeping them nonoverlapping, and possibly add some blank pieces of the same
``certain kind,"" such that the entire cake is covered. How many blanks
must we add? We study this question in several cases: (1) The cake and toppings
are general polygons. (2) The cake and toppings are convex figures. (3) The cake
and toppings are axis-parallel rectangles. (4) The cake is an axis-parallel rectilinear
polygon and the toppings are axis-parallel rectangles. In all four cases, we provide
tight bounds on the number of blanks.'
article_processing_charge: No
arxiv: 1
author:
- first_name: Arseniy
full_name: Akopyan, Arseniy
id: 430D2C90-F248-11E8-B48F-1D18A9856A87
last_name: Akopyan
orcid: 0000-0002-2548-617X
- first_name: Erel
full_name: Segal Halevi, Erel
last_name: Segal Halevi
citation:
ama: Akopyan A, Segal Halevi E. Counting blanks in polygonal arrangements. SIAM
Journal on Discrete Mathematics. 2018;32(3):2242-2257. doi:10.1137/16M110407X
apa: Akopyan, A., & Segal Halevi, E. (2018). Counting blanks in polygonal arrangements.
SIAM Journal on Discrete Mathematics. Society for Industrial and Applied
Mathematics. https://doi.org/10.1137/16M110407X
chicago: Akopyan, Arseniy, and Erel Segal Halevi. “Counting Blanks in Polygonal
Arrangements.” SIAM Journal on Discrete Mathematics. Society for Industrial
and Applied Mathematics, 2018. https://doi.org/10.1137/16M110407X.
ieee: A. Akopyan and E. Segal Halevi, “Counting blanks in polygonal arrangements,”
SIAM Journal on Discrete Mathematics, vol. 32, no. 3. Society for Industrial
and Applied Mathematics, pp. 2242–2257, 2018.
ista: Akopyan A, Segal Halevi E. 2018. Counting blanks in polygonal arrangements.
SIAM Journal on Discrete Mathematics. 32(3), 2242–2257.
mla: Akopyan, Arseniy, and Erel Segal Halevi. “Counting Blanks in Polygonal Arrangements.”
SIAM Journal on Discrete Mathematics, vol. 32, no. 3, Society for Industrial
and Applied Mathematics, 2018, pp. 2242–57, doi:10.1137/16M110407X.
short: A. Akopyan, E. Segal Halevi, SIAM Journal on Discrete Mathematics 32 (2018)
2242–2257.
date_created: 2018-12-11T11:44:24Z
date_published: 2018-09-06T00:00:00Z
date_updated: 2026-07-07T10:46:26Z
day: '06'
department:
- _id: HeEd
doi: 10.1137/16M110407X
ec_funded: 1
external_id:
arxiv:
- '1604.00960'
isi:
- '000450810500036'
intvolume: ' 32'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1604.00960
month: '09'
oa: 1
oa_version: Preprint
page: 2242 - 2257
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: SIAM Journal on Discrete Mathematics
publication_status: published
publisher: Society for Industrial and Applied Mathematics
publist_id: '7996'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Counting blanks in polygonal arrangements
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 32
year: '2018'
...
---
_id: '427'
abstract:
- lang: eng
text: We investigate the quantum interference induced shifts between energetically
close states in highly charged ions, with the energy structure being observed
by laser spectroscopy. In this work, we focus on hyperfine states of lithiumlike
heavy-Z isotopes and quantify how much quantum interference changes the observed
transition frequencies. The process of photon excitation and subsequent photon
decay for the transition 2s→2p→2s is implemented with fully relativistic and full-multipole
frameworks, which are relevant for such relativistic atomic systems. We consider
the isotopes Pb79+207 and Bi80+209 due to experimental interest, as well as other
examples of isotopes with lower Z, namely Pr56+141 and Ho64+165. We conclude that
quantum interference can induce shifts up to 11% of the linewidth in the measurable
resonances of the considered isotopes, if interference between resonances is neglected.
The inclusion of relativity decreases the cross section by 35%, mainly due to
the complete retardation form of the electric dipole multipole. However, the contribution
of the next higher multipoles (e.g., magnetic quadrupole) to the cross section
is negligible. This makes the contribution of relativity and higher-order multipoles
to the quantum interference induced shifts a minor effect, even for heavy-Z elements.
acknowledgement: "This work was funded by the Portuguese Fundação para a Ciência e
a Tecnologia (FCT/MCTES/PIDDAC) under Grant No. UID/FIS/04559/2013 (LIBPhys). P.A.
acknowledges the support of the FCT, under Contract No. SFRH/BPD/92329/2013. L.S.
acknowledges financial support from the People Programme (Marie Curie Actions) of
the European Union's Seventh Framework Programme (FP7/2007-2013) under REA Grant
Agreement No. (291734). Laboratoire Kastler Brossel (LKB) is “Unité Mixte de Recherche
de Sorbonne Université, de ENS-PSL Research University, du Collège de France et
du CNRS No. 8552.” APPENDIX:\r\n"
article_number: '022510'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Pedro
full_name: Amaro, Pedro
last_name: Amaro
- first_name: Ulisses
full_name: Loureiro, Ulisses
last_name: Loureiro
- first_name: Laleh
full_name: Safari, Laleh
id: 3C325E5E-F248-11E8-B48F-1D18A9856A87
last_name: Safari
- first_name: Filippo
full_name: Fratini, Filippo
last_name: Fratini
- first_name: Paul
full_name: Indelicato, Paul
last_name: Indelicato
- first_name: Thomas
full_name: Stöhlker, Thomas
last_name: Stöhlker
- first_name: José
full_name: Santos, José
last_name: Santos
citation:
ama: Amaro P, Loureiro U, Safari L, et al. Quantum interference in laser spectroscopy
of highly charged lithiumlike ions. Physical Review A. 2018;97(2). doi:10.1103/PhysRevA.97.022510
apa: Amaro, P., Loureiro, U., Safari, L., Fratini, F., Indelicato, P., Stöhlker,
T., & Santos, J. (2018). Quantum interference in laser spectroscopy of highly
charged lithiumlike ions. Physical Review A. American Physical Society.
https://doi.org/10.1103/PhysRevA.97.022510
chicago: Amaro, Pedro, Ulisses Loureiro, Laleh Safari, Filippo Fratini, Paul Indelicato,
Thomas Stöhlker, and José Santos. “Quantum Interference in Laser Spectroscopy
of Highly Charged Lithiumlike Ions.” Physical Review A. American Physical
Society, 2018. https://doi.org/10.1103/PhysRevA.97.022510.
ieee: P. Amaro et al., “Quantum interference in laser spectroscopy of highly
charged lithiumlike ions,” Physical Review A, vol. 97, no. 2. American
Physical Society, 2018.
ista: Amaro P, Loureiro U, Safari L, Fratini F, Indelicato P, Stöhlker T, Santos
J. 2018. Quantum interference in laser spectroscopy of highly charged lithiumlike
ions. Physical Review A. 97(2), 022510.
mla: Amaro, Pedro, et al. “Quantum Interference in Laser Spectroscopy of Highly
Charged Lithiumlike Ions.” Physical Review A, vol. 97, no. 2, 022510, American
Physical Society, 2018, doi:10.1103/PhysRevA.97.022510.
short: P. Amaro, U. Loureiro, L. Safari, F. Fratini, P. Indelicato, T. Stöhlker,
J. Santos, Physical Review A 97 (2018).
das_tickbox: '1'
date_created: 2018-12-11T11:46:25Z
date_published: 2018-02-21T00:00:00Z
date_updated: 2026-07-07T13:17:14Z
day: '21'
department:
- _id: MiLe
doi: 10.1103/PhysRevA.97.022510
ec_funded: 1
external_id:
arxiv:
- '1802.07920'
isi:
- '000425601000004'
intvolume: ' 97'
isi: 1
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1802.07920
month: '02'
oa: 1
oa_version: Preprint
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
publication: Physical Review A
publication_status: published
publisher: American Physical Society
publist_id: '7396'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantum interference in laser spectroscopy of highly charged lithiumlike ions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 97
year: '2018'
...