---
OA_place: publisher
OA_type: hybrid
_id: '10190'
abstract:
- lang: eng
text: 'The verification of concurrent programs remains an open challenge, as thread
interaction has to be accounted for, which leads to state-space explosion. Stateless
model checking battles this problem by exploring traces rather than states of
the program. As there are exponentially many traces, dynamic partial-order reduction
(DPOR) techniques are used to partition the trace space into equivalence classes,
and explore a few representatives from each class. The standard equivalence that
underlies most DPOR techniques is the happens-before equivalence, however recent
works have spawned a vivid interest towards coarser equivalences. The efficiency
of such approaches is a product of two parameters: (i) the size of the partitioning
induced by the equivalence, and (ii) the time spent by the exploration algorithm
in each class of the partitioning. In this work, we present a new equivalence,
called value-happens-before and show that it has two appealing features. First,
value-happens-before is always at least as coarse as the happens-before equivalence,
and can be even exponentially coarser. Second, the value-happens-before partitioning
is efficiently explorable when the number of threads is bounded. We present an
algorithm called value-centric DPOR (VCDPOR), which explores the underlying partitioning
using polynomial time per class. Finally, we perform an experimental evaluation
of VCDPOR on various benchmarks, and compare it against other state-of-the-art
approaches. Our results show that value-happens-before typically induces a significant
reduction in the size of the underlying partitioning, which leads to a considerable
reduction in the running time for exploring the whole partitioning.'
acknowledgement: "The authors would also like to thank anonymous referees for their
valuable comments and helpful suggestions. This work is supported by the Austrian
Science Fund (FWF) NFN grants S11407-N23 (RiSE/SHiNE) and S11402-N23 (RiSE/SHiNE),
by the Vienna Science and Technology Fund (WWTF) Project ICT15-003, and by the Austrian
Science Fund (FWF) Schrodinger grant J-4220.\r\n"
article_number: '124'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Andreas
full_name: Pavlogiannis, Andreas
id: 49704004-F248-11E8-B48F-1D18A9856A87
last_name: Pavlogiannis
orcid: 0000-0002-8943-0722
- first_name: Viktor
full_name: Toman, Viktor
id: 3AF3DA7C-F248-11E8-B48F-1D18A9856A87
last_name: Toman
orcid: 0000-0001-9036-063X
citation:
ama: 'Chatterjee K, Pavlogiannis A, Toman V. Value-centric dynamic partial order
reduction. In: Proceedings of the 34th ACM International Conference on Object-Oriented
Programming, Systems, Languages, and Applications. Vol 3. ACM; 2019. doi:10.1145/3360550'
apa: 'Chatterjee, K., Pavlogiannis, A., & Toman, V. (2019). Value-centric dynamic
partial order reduction. In Proceedings of the 34th ACM International Conference
on Object-Oriented Programming, Systems, Languages, and Applications (Vol.
3). Athens, Greece: ACM. https://doi.org/10.1145/3360550'
chicago: Chatterjee, Krishnendu, Andreas Pavlogiannis, and Viktor Toman. “Value-Centric
Dynamic Partial Order Reduction.” In Proceedings of the 34th ACM International
Conference on Object-Oriented Programming, Systems, Languages, and Applications,
Vol. 3. ACM, 2019. https://doi.org/10.1145/3360550.
ieee: K. Chatterjee, A. Pavlogiannis, and V. Toman, “Value-centric dynamic partial
order reduction,” in Proceedings of the 34th ACM International Conference on
Object-Oriented Programming, Systems, Languages, and Applications, Athens,
Greece, 2019, vol. 3.
ista: 'Chatterjee K, Pavlogiannis A, Toman V. 2019. Value-centric dynamic partial
order reduction. Proceedings of the 34th ACM International Conference on Object-Oriented
Programming, Systems, Languages, and Applications. OOPSLA: Object-oriented Programming,
Systems, Languages and Applications vol. 3, 124.'
mla: Chatterjee, Krishnendu, et al. “Value-Centric Dynamic Partial Order Reduction.”
Proceedings of the 34th ACM International Conference on Object-Oriented Programming,
Systems, Languages, and Applications, vol. 3, 124, ACM, 2019, doi:10.1145/3360550.
short: K. Chatterjee, A. Pavlogiannis, V. Toman, in:, Proceedings of the 34th ACM
International Conference on Object-Oriented Programming, Systems, Languages, and
Applications, ACM, 2019.
conference:
end_date: 2019-10-25
location: Athens, Greece
name: 'OOPSLA: Object-oriented Programming, Systems, Languages and Applications'
start_date: 2019-10-23
corr_author: '1'
date_created: 2021-10-27T14:57:06Z
date_published: 2019-10-10T00:00:00Z
date_updated: 2026-04-08T07:00:31Z
day: '10'
ddc:
- '000'
department:
- _id: GradSch
- _id: KrCh
doi: 10.1145/3360550
external_id:
arxiv:
- '1909.00989'
file:
- access_level: open_access
checksum: 2149979c46964c4d117af06ccb6c0834
content_type: application/pdf
creator: cchlebak
date_created: 2021-11-12T11:41:56Z
date_updated: 2021-11-12T11:41:56Z
file_id: '10278'
file_name: 2019_ACM_Chatterjee.pdf
file_size: 570829
relation: main_file
success: 1
file_date_updated: 2021-11-12T11:41:56Z
fulldoi: https://doi.org/10.1145/3360550
has_accepted_license: '1'
intvolume: ' 3'
keyword:
- safety
- risk
- reliability and quality
- software
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
grant_number: ICT15-003
name: Efficient Algorithms for Computer Aided Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
publication: Proceedings of the 34th ACM International Conference on Object-Oriented
Programming, Systems, Languages, and Applications
publication_identifier:
eissn:
- 2475-1421
publication_status: published
publisher: ACM
quality_controlled: '1'
related_material:
record:
- id: '10199'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Value-centric dynamic partial order reduction
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: 3
year: '2019'
...
---
_id: '105'
abstract:
- lang: eng
text: 'Clinical Utility Gene Card. 1. Name of Disease (Synonyms): Pontocerebellar
hypoplasia type 9 (PCH9) and spastic paraplegia-63 (SPG63). 2. OMIM# of the Disease:
615809 and 615686. 3. Name of the Analysed Genes or DNA/Chromosome Segments: AMPD2
at 1p13.3. 4. OMIM# of the Gene(s): 102771.'
acknowledgement: 'This work was supported by EuroGentest2 (Unit 2: “Genetic testing
as part of health care”), a Coordination Action under FP7 (Grant Agreement Number
261469) and the European Society of Human Genetics. We acknowledge the participation
of the patients and their families in these studies, as well as the generous financial
support of the Lefroy and Handbury families. APLM was supported by an Australian
Postgraduate Award. PJL is supported by an NHMRC Career Development Fellowship (GNT1032364).
RJL is supported by a Melbourne Children’s Clinician Scientist Fellowship.'
article_processing_charge: No
article_type: original
author:
- first_name: Ashley
full_name: Marsh, Ashley
last_name: Marsh
- first_name: Gaia
full_name: Novarino, Gaia
id: 3E57A680-F248-11E8-B48F-1D18A9856A87
last_name: Novarino
orcid: 0000-0002-7673-7178
- first_name: Paul
full_name: Lockhart, Paul
last_name: Lockhart
- first_name: Richard
full_name: Leventer, Richard
last_name: Leventer
citation:
ama: Marsh A, Novarino G, Lockhart P, Leventer R. CUGC for pontocerebellar hypoplasia
type 9 and spastic paraplegia-63. European Journal of Human Genetics. 2019;27:161-166.
doi:10.1038/s41431-018-0231-2
apa: Marsh, A., Novarino, G., Lockhart, P., & Leventer, R. (2019). CUGC for
pontocerebellar hypoplasia type 9 and spastic paraplegia-63. European Journal
of Human Genetics. Springer Nature. https://doi.org/10.1038/s41431-018-0231-2
chicago: Marsh, Ashley, Gaia Novarino, Paul Lockhart, and Richard Leventer. “CUGC
for Pontocerebellar Hypoplasia Type 9 and Spastic Paraplegia-63.” European
Journal of Human Genetics. Springer Nature, 2019. https://doi.org/10.1038/s41431-018-0231-2.
ieee: A. Marsh, G. Novarino, P. Lockhart, and R. Leventer, “CUGC for pontocerebellar
hypoplasia type 9 and spastic paraplegia-63,” European Journal of Human Genetics,
vol. 27. Springer Nature, pp. 161–166, 2019.
ista: Marsh A, Novarino G, Lockhart P, Leventer R. 2019. CUGC for pontocerebellar
hypoplasia type 9 and spastic paraplegia-63. European Journal of Human Genetics.
27, 161–166.
mla: Marsh, Ashley, et al. “CUGC for Pontocerebellar Hypoplasia Type 9 and Spastic
Paraplegia-63.” European Journal of Human Genetics, vol. 27, Springer Nature,
2019, pp. 161–66, doi:10.1038/s41431-018-0231-2.
short: A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human
Genetics 27 (2019) 161–166.
date_created: 2018-12-11T11:44:39Z
date_published: 2019-01-01T00:00:00Z
date_updated: 2026-06-18T08:42:55Z
day: '01'
ddc:
- '570'
department:
- _id: GaNo
doi: 10.1038/s41431-018-0231-2
external_id:
isi:
- '000454111500019'
pmid:
- '30089829'
fulldoi: https://doi.org/10.1038/s41431-018-0231-2
intvolume: ' 27'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1038/s41431-018-0231-2
month: '01'
oa: 1
oa_version: Published Version
page: 161-166
pmid: 1
publication: European Journal of Human Genetics
publication_status: published
publisher: Springer Nature
publist_id: '7949'
quality_controlled: '1'
scopus_import: '1'
status: public
title: CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 27
year: '2019'
...
---
_id: '7576'
abstract:
- lang: eng
text: We present the results of a friendly competition for formal verification of
continuous and hybrid systems with nonlinear continuous dynamics. The friendly
competition took place as part of the workshop Applied Verification for Continuous
and Hybrid Systems (ARCH) in 2019. In this year, 6 tools Ariadne, CORA, DynIbex,
Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are
applied to solve reachability analysis problems on four benchmark problems, one
of them with hybrid dynamics. We do not rank the tools based on the results, but
show the current status and discover the potential advantages of different tools.
article_processing_charge: No
author:
- first_name: Fabian
full_name: Immler, Fabian
last_name: Immler
- first_name: Matthias
full_name: Althoff, Matthias
last_name: Althoff
- first_name: Luis
full_name: Benet, Luis
last_name: Benet
- first_name: Alexandre
full_name: Chapoutot, Alexandre
last_name: Chapoutot
- first_name: Xin
full_name: Chen, Xin
last_name: Chen
- first_name: Marcelo
full_name: Forets, Marcelo
last_name: Forets
- first_name: Luca
full_name: Geretti, Luca
last_name: Geretti
- first_name: Niklas
full_name: Kochdumper, Niklas
last_name: Kochdumper
- first_name: David P.
full_name: Sanders, David P.
last_name: Sanders
- first_name: Christian
full_name: Schilling, Christian
id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
last_name: Schilling
orcid: 0000-0003-3658-1065
citation:
ama: 'Immler F, Althoff M, Benet L, et al. ARCH-COMP19 Category Report: Continuous
and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing.
Vol 61. EasyChair; 2019:41-61. doi:10.29007/m75b'
apa: 'Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M., …
Schilling, C. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems
with nonlinear dynamics. In EPiC Series in Computing (Vol. 61, pp. 41–61).
Montreal, Canada: EasyChair. https://doi.org/10.29007/m75b'
chicago: 'Immler, Fabian, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin
Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian
Schilling. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear
Dynamics.” In EPiC Series in Computing, 61:41–61. EasyChair, 2019. https://doi.org/10.29007/m75b.'
ieee: 'F. Immler et al., “ARCH-COMP19 Category Report: Continuous and hybrid
systems with nonlinear dynamics,” in EPiC Series in Computing, Montreal,
Canada, 2019, vol. 61, pp. 41–61.'
ista: 'Immler F, Althoff M, Benet L, Chapoutot A, Chen X, Forets M, Geretti L, Kochdumper
N, Sanders DP, Schilling C. 2019. ARCH-COMP19 Category Report: Continuous and
hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International
Workshop on Applied Verification on Continuous and Hybrid Systems vol. 61, 41–61.'
mla: 'Immler, Fabian, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid
Systems with Nonlinear Dynamics.” EPiC Series in Computing, vol. 61, EasyChair,
2019, pp. 41–61, doi:10.29007/m75b.'
short: F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti,
N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair,
2019, pp. 41–61.
conference:
end_date: 2019-04-15
location: Montreal, Canada
name: 'ARCH: International Workshop on Applied Verification on Continuous and Hybrid
Systems'
start_date: 2019-04-15
corr_author: '1'
date_created: 2020-03-08T23:00:49Z
date_published: 2019-05-25T00:00:00Z
date_updated: 2026-04-03T09:51:13Z
day: '25'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.29007/m75b
file:
- access_level: open_access
checksum: 9138977a06fcd6a95976eb4bca875f0c
content_type: application/pdf
creator: dernst
date_created: 2020-03-24T07:36:36Z
date_updated: 2020-07-14T12:48:00Z
file_id: '7617'
file_name: 2019_ARCH19_Immler.pdf
file_size: 1934830
relation: main_file
file_date_updated: 2020-07-14T12:48:00Z
fulldoi: https://doi.org/10.29007/m75b
has_accepted_license: '1'
intvolume: ' 61'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 41-61
publication: EPiC Series in Computing
publication_identifier:
eissn:
- 2398-7340
publication_status: published
publisher: EasyChair
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear
dynamics'
type: conference
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 61
year: '2019'
...
---
_id: '7639'
abstract:
- lang: eng
text: Deep neural networks (DNNs) have become increasingly important due to their
excellent empirical performance on a wide range of problems. However, regularization
is generally achieved by indirect means, largely due to the complex set of functions
defined by a network and the difficulty in measuring function complexity. There
exists no method in the literature for additive regularization based on a norm
of the function, as is classically considered in statistical learning theory.
In this work, we study the tractability of function norms for deep neural networks
with ReLU activations. We provide, to the best of our knowledge, the first proof
in the literature of the NP-hardness of computing function norms of DNNs of 3
or more layers. We also highlight a fundamental difference between shallow and
deep networks. In the light on these results, we propose a new regularization
strategy based on approximate function norms, and show its efficiency on a segmentation
task with a DNN.
article_number: 748-752
article_processing_charge: No
author:
- first_name: Amal
full_name: Rannen-Triki, Amal
last_name: Rannen-Triki
- first_name: Maxim
full_name: Berman, Maxim
last_name: Berman
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
- first_name: Matthew B.
full_name: Blaschko, Matthew B.
last_name: Blaschko
citation:
ama: 'Rannen-Triki A, Berman M, Kolmogorov V, Blaschko MB. Function norms for neural
networks. In: Proceedings of the 2019 International Conference on Computer
Vision Workshop. IEEE; 2019. doi:10.1109/ICCVW.2019.00097'
apa: 'Rannen-Triki, A., Berman, M., Kolmogorov, V., & Blaschko, M. B. (2019).
Function norms for neural networks. In Proceedings of the 2019 International
Conference on Computer Vision Workshop. Seoul, South Korea: IEEE. https://doi.org/10.1109/ICCVW.2019.00097'
chicago: Rannen-Triki, Amal, Maxim Berman, Vladimir Kolmogorov, and Matthew B. Blaschko.
“Function Norms for Neural Networks.” In Proceedings of the 2019 International
Conference on Computer Vision Workshop. IEEE, 2019. https://doi.org/10.1109/ICCVW.2019.00097.
ieee: A. Rannen-Triki, M. Berman, V. Kolmogorov, and M. B. Blaschko, “Function norms
for neural networks,” in Proceedings of the 2019 International Conference on
Computer Vision Workshop, Seoul, South Korea, 2019.
ista: 'Rannen-Triki A, Berman M, Kolmogorov V, Blaschko MB. 2019. Function norms
for neural networks. Proceedings of the 2019 International Conference on Computer
Vision Workshop. ICCVW: International Conference on Computer Vision Workshop,
748–752.'
mla: Rannen-Triki, Amal, et al. “Function Norms for Neural Networks.” Proceedings
of the 2019 International Conference on Computer Vision Workshop, 748–752,
IEEE, 2019, doi:10.1109/ICCVW.2019.00097.
short: A. Rannen-Triki, M. Berman, V. Kolmogorov, M.B. Blaschko, in:, Proceedings
of the 2019 International Conference on Computer Vision Workshop, IEEE, 2019.
conference:
end_date: 2019-10-28
location: Seoul, South Korea
name: 'ICCVW: International Conference on Computer Vision Workshop'
start_date: 2019-10-27
date_created: 2020-04-05T22:00:50Z
date_published: 2019-10-01T00:00:00Z
date_updated: 2023-09-08T11:19:12Z
day: '01'
department:
- _id: VlKo
doi: 10.1109/ICCVW.2019.00097
external_id:
isi:
- '000554591600090'
fulldoi: https://doi.org/10.1109/ICCVW.2019.00097
isi: 1
language:
- iso: eng
month: '10'
oa_version: None
publication: Proceedings of the 2019 International Conference on Computer Vision Workshop
publication_identifier:
isbn:
- '9781728150239'
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Function norms for neural networks
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2019'
...
---
_id: '7640'
abstract:
- lang: eng
text: We propose a new model for detecting visual relationships, such as "person
riding motorcycle" or "bottle on table". This task is an important step towards
comprehensive structured mage understanding, going beyond detecting individual
objects. Our main novelty is a Box Attention mechanism that allows to model pairwise
interactions between objects using standard object detection pipelines. The resulting
model is conceptually clean, expressive and relies on well-justified training
and prediction procedures. Moreover, unlike previously proposed approaches, our
model does not introduce any additional complex components or hyperparameters
on top of those already required by the underlying detection model. We conduct
an experimental evaluation on two datasets, V-COCO and Open Images, demonstrating
strong quantitative and qualitative results.
article_number: 1749-1753
article_processing_charge: No
arxiv: 1
author:
- first_name: Alexander
full_name: Kolesnikov, Alexander
id: 2D157DB6-F248-11E8-B48F-1D18A9856A87
last_name: Kolesnikov
- first_name: Alina
full_name: Kuznetsova, Alina
last_name: Kuznetsova
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
- first_name: Vittorio
full_name: Ferrari, Vittorio
last_name: Ferrari
citation:
ama: 'Kolesnikov A, Kuznetsova A, Lampert C, Ferrari V. Detecting visual relationships
using box attention. In: Proceedings of the 2019 International Conference on
Computer Vision Workshop. IEEE; 2019. doi:10.1109/ICCVW.2019.00217'
apa: 'Kolesnikov, A., Kuznetsova, A., Lampert, C., & Ferrari, V. (2019). Detecting
visual relationships using box attention. In Proceedings of the 2019 International
Conference on Computer Vision Workshop. Seoul, South Korea: IEEE. https://doi.org/10.1109/ICCVW.2019.00217'
chicago: Kolesnikov, Alexander, Alina Kuznetsova, Christoph Lampert, and Vittorio
Ferrari. “Detecting Visual Relationships Using Box Attention.” In Proceedings
of the 2019 International Conference on Computer Vision Workshop. IEEE, 2019.
https://doi.org/10.1109/ICCVW.2019.00217.
ieee: A. Kolesnikov, A. Kuznetsova, C. Lampert, and V. Ferrari, “Detecting visual
relationships using box attention,” in Proceedings of the 2019 International
Conference on Computer Vision Workshop, Seoul, South Korea, 2019.
ista: 'Kolesnikov A, Kuznetsova A, Lampert C, Ferrari V. 2019. Detecting visual
relationships using box attention. Proceedings of the 2019 International Conference
on Computer Vision Workshop. ICCVW: International Conference on Computer Vision
Workshop, 1749–1753.'
mla: Kolesnikov, Alexander, et al. “Detecting Visual Relationships Using Box Attention.”
Proceedings of the 2019 International Conference on Computer Vision Workshop,
1749–1753, IEEE, 2019, doi:10.1109/ICCVW.2019.00217.
short: A. Kolesnikov, A. Kuznetsova, C. Lampert, V. Ferrari, in:, Proceedings of
the 2019 International Conference on Computer Vision Workshop, IEEE, 2019.
conference:
end_date: 2019-10-28
location: Seoul, South Korea
name: 'ICCVW: International Conference on Computer Vision Workshop'
start_date: 2019-10-27
date_created: 2020-04-05T22:00:51Z
date_published: 2019-10-01T00:00:00Z
date_updated: 2025-04-15T07:10:23Z
day: '01'
department:
- _id: ChLa
doi: 10.1109/ICCVW.2019.00217
ec_funded: 1
external_id:
arxiv:
- '1807.02136'
isi:
- '000554591601098'
fulldoi: https://doi.org/10.1109/ICCVW.2019.00217
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1807.02136
month: '10'
oa: 1
oa_version: Preprint
project:
- _id: 2532554C-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '308036'
name: Lifelong Learning of Visual Scene Understanding
publication: Proceedings of the 2019 International Conference on Computer Vision Workshop
publication_identifier:
isbn:
- '9781728150239'
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Detecting visual relationships using box attention
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2019'
...
---
_id: '7950'
abstract:
- lang: eng
text: "The input to the token swapping problem is a graph with vertices v1, v2,
. . . , vn, and n tokens with labels 1,2, . . . , n, one on each vertex. The
goal is to get token i to vertex vi for all i= 1, . . . , n using a minimum number
of swaps, where a swap exchanges the tokens on the endpoints of an edge.Token
swapping on a tree, also known as “sorting with a transposition tree,” is not
known to be in P nor NP-complete. We present some partial results:\r\n1. An
optimum swap sequence may need to perform a swap on a leaf vertex that has the
correct token (a “happy leaf”), disproving a conjecture of Vaughan.\r\n2. Any
algorithm that fixes happy leaves—as all known approximation algorithms for the
problem do—has approximation factor at least 4/3. Furthermore, the two best-known
2-approximation algorithms have approximation factor exactly 2.\r\n3. A generalized
problem—weighted coloured token swapping—is NP-complete on trees, but solvable
in polynomial time on paths and stars. In this version, tokens and vertices
\ have colours, and colours have weights. The goal is to get every
token to a vertex of the same colour, and the cost of a swap is the sum of the
weights of the two tokens involved."
article_number: '1903.06981'
article_processing_charge: No
arxiv: 1
author:
- first_name: Ahmad
full_name: Biniaz, Ahmad
last_name: Biniaz
- first_name: Kshitij
full_name: Jain, Kshitij
last_name: Jain
- first_name: Anna
full_name: Lubiw, Anna
last_name: Lubiw
- first_name: Zuzana
full_name: Masárová, Zuzana
id: 45CFE238-F248-11E8-B48F-1D18A9856A87
last_name: Masárová
orcid: 0000-0002-6660-1322
- first_name: Tillmann
full_name: Miltzow, Tillmann
last_name: Miltzow
- first_name: Debajyoti
full_name: Mondal, Debajyoti
last_name: Mondal
- first_name: Anurag Murty
full_name: Naredla, Anurag Murty
last_name: Naredla
- first_name: Josef
full_name: Tkadlec, Josef
id: 3F24CCC8-F248-11E8-B48F-1D18A9856A87
last_name: Tkadlec
orcid: 0000-0002-1097-9684
- first_name: Alexi
full_name: Turcotte, Alexi
last_name: Turcotte
citation:
ama: Biniaz A, Jain K, Lubiw A, et al. Token swapping on trees. arXiv. doi:10.48550/arXiv.1903.06981
apa: Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D., … Turcotte,
A. (n.d.). Token swapping on trees. arXiv. https://doi.org/10.48550/arXiv.1903.06981
chicago: Biniaz, Ahmad, Kshitij Jain, Anna Lubiw, Zuzana Masárová, Tillmann Miltzow,
Debajyoti Mondal, Anurag Murty Naredla, Josef Tkadlec, and Alexi Turcotte. “Token
Swapping on Trees.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1903.06981.
ieee: A. Biniaz et al., “Token swapping on trees,” arXiv. .
ista: Biniaz A, Jain K, Lubiw A, Masárová Z, Miltzow T, Mondal D, Naredla AM, Tkadlec
J, Turcotte A. Token swapping on trees. arXiv, 1903.06981.
mla: Biniaz, Ahmad, et al. “Token Swapping on Trees.” ArXiv, 1903.06981,
doi:10.48550/arXiv.1903.06981.
short: A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla,
J. Tkadlec, A. Turcotte, ArXiv (n.d.).
date_created: 2020-06-08T12:25:25Z
date_published: 2019-03-16T00:00:00Z
date_updated: 2026-04-08T07:23:00Z
day: '16'
department:
- _id: HeEd
- _id: UlWa
- _id: KrCh
doi: 10.48550/arXiv.1903.06981
external_id:
arxiv:
- '1903.06981'
fulldoi: https://doi.org/10.48550/arXiv.1903.06981
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1903.06981
month: '03'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: draft
related_material:
record:
- id: '12833'
relation: later_version
status: public
- id: '7944'
relation: dissertation_contains
status: public
status: public
title: Token swapping on trees
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
_id: '8'
abstract:
- lang: eng
text: Despite their different origins, Drosophila glia and hemocytes are related
cell populations that provide an immune function. Drosophila hemocytes patrol
the body cavity and act as macrophages outside the nervous system whereas glia
originate from the neuroepithelium and provide the scavenger population of the
nervous system. Drosophila glia are hence the functional orthologs of vertebrate
microglia, even though the latter are cells of immune origin that subsequently
move into the brain during development. Interestingly, the Drosophila immune cells
within (glia) and outside the nervous system (hemocytes) require the same transcription
factor Glide/Gcm for their development. This raises the issue of how do glia specifically
differentiate in the nervous system and hemocytes in the procephalic mesoderm.
The Repo homeodomain transcription factor and pan-glial direct target of Glide/Gcm
is known to ensure glial terminal differentiation. Here we show that Repo also
takes center stage in the process that discriminates between glia and hemocytes.
First, Repo expression is repressed in the hemocyte anlagen by mesoderm-specific
factors. Second, Repo ectopic activation in the procephalic mesoderm is sufficient
to repress the expression of hemocyte-specific genes. Third, the lack of Repo
triggers the expression of hemocyte markers in glia. Thus, a complex network of
tissue-specific cues biases the potential of Glide/Gcm. These data allow us to
revise the concept of fate determinants and help us understand the bases of cell
specification. Both sexes were analyzed.SIGNIFICANCE STATEMENTDistinct cell types
often require the same pioneer transcription factor, raising the issue of how
does one factor trigger different fates. In Drosophila, glia and hemocytes provide
a scavenger activity within and outside the nervous system, respectively. While
they both require the Glide/Gcm transcription factor, glia originate from the
ectoderm, hemocytes from the mesoderm. Here we show that tissue-specific factors
inhibit the gliogenic potential of Glide/Gcm in the mesoderm by repressing the
expression of the homeodomain protein Repo, a major glial-specific target of Glide/Gcm.
Repo expression in turn inhibits the expression of hemocyte-specific genes in
the nervous system. These cell-specific networks secure the establishment of the
glial fate only in the nervous system and allow cell diversification.
acknowledgement: This work was supported by INSERM, CNRS, UDS, Ligue Régionale contre
le Cancer, Hôpital de Strasbourg, Association pour la Recherche sur le Cancer (ARC)
and Agence Nationale de la Recherche (ANR) grants. P.B.C. was funded by the ANR
and by the ARSEP (Fondation pour l'Aide à la Recherche sur la Sclérose en Plaques),
and G.T. by governmental and ARC fellowships. This work was also supported by grants
from the Ataxia UK (2491) and the NC3R (NC/L000199/1) awarded to M.F. The Institut
de Génétique et de Biologie Moléculaire et Cellulaire was also supported by a French
state fund through the ANR labex. D.E.S. was funded by Marie Curie Grant CIG 334077/IRTIM.
We thank B. Altenhein, K. Brückner, M. Crozatier, L. Waltzer, M. Logan, E. Kurant,
R. Reuter, E. Kurucz, J.L Dimarcq, J. Hoffmann, C. Goodman, the DHSB, and the BDSC
for reagents and flies. We also thank all of the laboratory members for comments
on the manuscript; C. Diebold, C. Delaporte, M. Pezze, the fly, and imaging and
antibody facilities for technical assistance; and D. Dembele for help with statistics.
In addition, we thank Alison Brewer for help with Luciferase assays.
article_processing_charge: No
article_type: original
author:
- first_name: Guillaume
full_name: Trébuchet, Guillaume
last_name: Trébuchet
- first_name: Pierre B
full_name: Cattenoz, Pierre B
last_name: Cattenoz
- first_name: János
full_name: Zsámboki, János
last_name: Zsámboki
- first_name: David
full_name: Mazaud, David
last_name: Mazaud
- first_name: Daria E
full_name: Siekhaus, Daria E
id: 3D224B9E-F248-11E8-B48F-1D18A9856A87
last_name: Siekhaus
orcid: 0000-0001-8323-8353
- first_name: Manolis
full_name: Fanto, Manolis
last_name: Fanto
- first_name: Angela
full_name: Giangrande, Angela
last_name: Giangrande
citation:
ama: Trébuchet G, Cattenoz PB, Zsámboki J, et al. The Repo homeodomain transcription
factor suppresses hematopoiesis in Drosophila and preserves the glial fate. Journal
of Neuroscience. 2019;39(2):238-255. doi:10.1523/JNEUROSCI.1059-18.2018
apa: Trébuchet, G., Cattenoz, P. B., Zsámboki, J., Mazaud, D., Siekhaus, D. E.,
Fanto, M., & Giangrande, A. (2019). The Repo homeodomain transcription factor
suppresses hematopoiesis in Drosophila and preserves the glial fate. Journal
of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1059-18.2018
chicago: Trébuchet, Guillaume, Pierre B Cattenoz, János Zsámboki, David Mazaud,
Daria E Siekhaus, Manolis Fanto, and Angela Giangrande. “The Repo Homeodomain
Transcription Factor Suppresses Hematopoiesis in Drosophila and Preserves the
Glial Fate.” Journal of Neuroscience. Society for Neuroscience, 2019. https://doi.org/10.1523/JNEUROSCI.1059-18.2018.
ieee: G. Trébuchet et al., “The Repo homeodomain transcription factor suppresses
hematopoiesis in Drosophila and preserves the glial fate,” Journal of Neuroscience,
vol. 39, no. 2. Society for Neuroscience, pp. 238–255, 2019.
ista: Trébuchet G, Cattenoz PB, Zsámboki J, Mazaud D, Siekhaus DE, Fanto M, Giangrande
A. 2019. The Repo homeodomain transcription factor suppresses hematopoiesis in
Drosophila and preserves the glial fate. Journal of Neuroscience. 39(2), 238–255.
mla: Trébuchet, Guillaume, et al. “The Repo Homeodomain Transcription Factor Suppresses
Hematopoiesis in Drosophila and Preserves the Glial Fate.” Journal of Neuroscience,
vol. 39, no. 2, Society for Neuroscience, 2019, pp. 238–55, doi:10.1523/JNEUROSCI.1059-18.2018.
short: G. Trébuchet, P.B. Cattenoz, J. Zsámboki, D. Mazaud, D.E. Siekhaus, M. Fanto,
A. Giangrande, Journal of Neuroscience 39 (2019) 238–255.
date_created: 2018-12-11T11:44:07Z
date_published: 2019-01-09T00:00:00Z
date_updated: 2025-04-15T06:52:10Z
day: '09'
ddc:
- '570'
department:
- _id: DaSi
doi: 10.1523/JNEUROSCI.1059-18.2018
ec_funded: 1
external_id:
isi:
- '000455189900006'
pmid:
- '30504274'
file:
- access_level: open_access
checksum: 8f6925eb4cd1e8747d8ea25929c68de6
content_type: application/pdf
creator: dernst
date_created: 2020-10-02T09:33:28Z
date_updated: 2020-10-02T09:33:28Z
file_id: '8596'
file_name: 2019_JournNeuroscience_Trebuchet.pdf
file_size: 9455414
relation: main_file
success: 1
file_date_updated: 2020-10-02T09:33:28Z
fulldoi: https://doi.org/10.1523/JNEUROSCI.1059-18.2018
has_accepted_license: '1'
intvolume: ' 39'
isi: 1
issue: '2'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: 238-255
pmid: 1
project:
- _id: 2536F660-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '334077'
name: Investigating the role of transporters in invasive migration through junctions
publication: Journal of Neuroscience
publication_status: published
publisher: Society for Neuroscience
publist_id: '8048'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The Repo homeodomain transcription factor suppresses hematopoiesis in Drosophila
and preserves the glial fate
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 39
year: '2019'
...
---
_id: '80'
abstract:
- lang: eng
text: 'We consider an interacting, dilute Bose gas trapped in a harmonic potential
at a positive temperature. The system is analyzed in a combination of a thermodynamic
and a Gross–Pitaevskii (GP) limit where the trap frequency ω, the temperature
T, and the particle number N are related by N∼ (T/ ω) 3→ ∞ while the scattering
length is so small that the interaction energy per particle around the center
of the trap is of the same order of magnitude as the spectral gap in the trap.
We prove that the difference between the canonical free energy of the interacting
gas and the one of the noninteracting system can be obtained by minimizing the
GP energy functional. We also prove Bose–Einstein condensation in the following
sense: The one-particle density matrix of any approximate minimizer of the canonical
free energy functional is to leading order given by that of the noninteracting
gas but with the free condensate wavefunction replaced by the GP minimizer.'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Andreas
full_name: Deuchert, Andreas
id: 4DA65CD0-F248-11E8-B48F-1D18A9856A87
last_name: Deuchert
orcid: 0000-0003-3146-6746
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
- first_name: Jakob
full_name: Yngvason, Jakob
last_name: Yngvason
citation:
ama: Deuchert A, Seiringer R, Yngvason J. Bose–Einstein condensation in a dilute,
trapped gas at positive temperature. Communications in Mathematical Physics.
2019;368(2):723-776. doi:10.1007/s00220-018-3239-0
apa: Deuchert, A., Seiringer, R., & Yngvason, J. (2019). Bose–Einstein condensation
in a dilute, trapped gas at positive temperature. Communications in Mathematical
Physics. Springer. https://doi.org/10.1007/s00220-018-3239-0
chicago: Deuchert, Andreas, Robert Seiringer, and Jakob Yngvason. “Bose–Einstein
Condensation in a Dilute, Trapped Gas at Positive Temperature.” Communications
in Mathematical Physics. Springer, 2019. https://doi.org/10.1007/s00220-018-3239-0.
ieee: A. Deuchert, R. Seiringer, and J. Yngvason, “Bose–Einstein condensation in
a dilute, trapped gas at positive temperature,” Communications in Mathematical
Physics, vol. 368, no. 2. Springer, pp. 723–776, 2019.
ista: Deuchert A, Seiringer R, Yngvason J. 2019. Bose–Einstein condensation in a
dilute, trapped gas at positive temperature. Communications in Mathematical Physics.
368(2), 723–776.
mla: Deuchert, Andreas, et al. “Bose–Einstein Condensation in a Dilute, Trapped
Gas at Positive Temperature.” Communications in Mathematical Physics, vol.
368, no. 2, Springer, 2019, pp. 723–76, doi:10.1007/s00220-018-3239-0.
short: A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics
368 (2019) 723–776.
date_created: 2018-12-11T11:44:31Z
date_published: 2019-06-01T00:00:00Z
date_updated: 2025-04-14T07:27:00Z
day: '01'
ddc:
- '530'
department:
- _id: RoSe
doi: 10.1007/s00220-018-3239-0
ec_funded: 1
external_id:
isi:
- '000467796800007'
file:
- access_level: open_access
checksum: c7e9880b43ac726712c1365e9f2f73a6
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T10:34:06Z
date_updated: 2020-07-14T12:48:07Z
file_id: '5688'
file_name: 2018_CommunMathPhys_Deuchert.pdf
file_size: 893902
relation: main_file
file_date_updated: 2020-07-14T12:48:07Z
fulldoi: https://doi.org/10.1007/s00220-018-3239-0
has_accepted_license: '1'
intvolume: ' 368'
isi: 1
issue: '2'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 723-776
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: Communications in Mathematical Physics
publication_status: published
publisher: Springer
publist_id: '7974'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Bose–Einstein condensation in a dilute, trapped gas at positive temperature
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 368
year: '2019'
...
---
_id: '8175'
abstract:
- lang: eng
text: We study edge asymptotics of poissonized Plancherel-type measures on skew
Young diagrams (integer partitions). These measures can be seen as generalizations
of those studied by Baik--Deift--Johansson and Baik--Rains in resolving Ulam's
problem on longest increasing subsequences of random permutations and the last
passage percolation (corner growth) discrete versions thereof. Moreover they interpolate
between said measures and the uniform measure on partitions. In the new KPZ-like
1/3 exponent edge scaling limit with logarithmic corrections, we find new probability
distributions generalizing the classical Tracy--Widom GUE, GOE and GSE distributions
from the theory of random matrices.
acknowledgement: "D.B. is especially grateful to Patrik Ferrari for suggesting simplifications
in Section 3 and\r\nto Alessandra Occelli for suggesting the name for the models
of Section 2.\r\n"
article_number: '34'
article_processing_charge: No
arxiv: 1
author:
- first_name: Dan
full_name: Betea, Dan
last_name: Betea
- first_name: Jérémie
full_name: Bouttier, Jérémie
last_name: Bouttier
- first_name: Peter
full_name: Nejjar, Peter
id: 4BF426E2-F248-11E8-B48F-1D18A9856A87
last_name: Nejjar
- first_name: Mirjana
full_name: Vuletíc, Mirjana
last_name: Vuletíc
citation:
ama: 'Betea D, Bouttier J, Nejjar P, Vuletíc M. New edge asymptotics of skew Young
diagrams via free boundaries. In: Proceedings on the 31st International Conference
on Formal Power Series and Algebraic Combinatorics. Formal Power Series and
Algebraic Combinatorics; 2019.'
apa: 'Betea, D., Bouttier, J., Nejjar, P., & Vuletíc, M. (2019). New edge asymptotics
of skew Young diagrams via free boundaries. In Proceedings on the 31st International
Conference on Formal Power Series and Algebraic Combinatorics. Ljubljana,
Slovenia: Formal Power Series and Algebraic Combinatorics.'
chicago: Betea, Dan, Jérémie Bouttier, Peter Nejjar, and Mirjana Vuletíc. “New Edge
Asymptotics of Skew Young Diagrams via Free Boundaries.” In Proceedings on
the 31st International Conference on Formal Power Series and Algebraic Combinatorics.
Formal Power Series and Algebraic Combinatorics, 2019.
ieee: D. Betea, J. Bouttier, P. Nejjar, and M. Vuletíc, “New edge asymptotics of
skew Young diagrams via free boundaries,” in Proceedings on the 31st International
Conference on Formal Power Series and Algebraic Combinatorics, Ljubljana,
Slovenia, 2019.
ista: 'Betea D, Bouttier J, Nejjar P, Vuletíc M. 2019. New edge asymptotics of skew
Young diagrams via free boundaries. Proceedings on the 31st International Conference
on Formal Power Series and Algebraic Combinatorics. FPSAC: International Conference
on Formal Power Series and Algebraic Combinatorics, 34.'
mla: Betea, Dan, et al. “New Edge Asymptotics of Skew Young Diagrams via Free Boundaries.”
Proceedings on the 31st International Conference on Formal Power Series and
Algebraic Combinatorics, 34, Formal Power Series and Algebraic Combinatorics,
2019.
short: D. Betea, J. Bouttier, P. Nejjar, M. Vuletíc, in:, Proceedings on the 31st
International Conference on Formal Power Series and Algebraic Combinatorics, Formal
Power Series and Algebraic Combinatorics, 2019.
conference:
end_date: 2019-07-05
location: Ljubljana, Slovenia
name: 'FPSAC: International Conference on Formal Power Series and Algebraic Combinatorics'
start_date: 2019-07-01
date_created: 2020-07-26T22:01:04Z
date_published: 2019-07-01T00:00:00Z
date_updated: 2021-01-12T08:17:18Z
day: '01'
department:
- _id: LaEr
ec_funded: 1
external_id:
arxiv:
- '1902.08750'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1902.08750
month: '07'
oa: 1
oa_version: Preprint
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
- _id: 256E75B8-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '716117'
name: Optimal Transport and Stochastic Dynamics
publication: Proceedings on the 31st International Conference on Formal Power Series
and Algebraic Combinatorics
publication_status: published
publisher: Formal Power Series and Algebraic Combinatorics
quality_controlled: '1'
scopus_import: '1'
status: public
title: New edge asymptotics of skew Young diagrams via free boundaries
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
_id: '8182'
abstract:
- lang: eng
text: "Suppose that $n\\neq p^k$ and $n\\neq 2p^k$ for all $k$ and all primes $p$.
We prove that for any Hausdorff compactum $X$ with a free action of the symmetric
group $\\mathfrak S_n$ there exists an $\\mathfrak S_n$-equivariant map $X \\to\r\n{\\mathbb
R}^n$ whose image avoids the diagonal $\\{(x,x\\dots,x)\\in {\\mathbb R}^n|x\\in
{\\mathbb R}\\}$.\r\n Previously, the special cases of this statement for certain
$X$ were usually proved using the equivartiant obstruction theory. Such calculations
are difficult and may become infeasible past the first (primary) obstruction.
We\r\ntake a different approach which allows us to prove the vanishing of all
obstructions simultaneously. The essential step in the proof is classifying the
possible degrees of $\\mathfrak S_n$-equivariant maps from the boundary\r\n$\\partial\\Delta^{n-1}$
of $(n-1)$-simplex to itself. Existence of equivariant maps between spaces is
important for many questions arising from discrete mathematics and geometry, such
as Kneser's conjecture, the Square Peg conjecture, the Splitting Necklace problem,
and the Topological Tverberg conjecture, etc. We demonstrate the utility of our
result applying it to one such question, a specific instance of envy-free division
problem."
article_number: '1910.12628'
article_processing_charge: No
arxiv: 1
author:
- first_name: Sergey
full_name: Avvakumov, Sergey
id: 3827DAC8-F248-11E8-B48F-1D18A9856A87
last_name: Avvakumov
orcid: 0000-0002-7840-5062
- first_name: Sergey
full_name: Kudrya, Sergey
id: ecf01965-d252-11ea-95a5-8ada5f6c6a67
last_name: Kudrya
citation:
ama: Avvakumov S, Kudrya S. Vanishing of all equivariant obstructions and the mapping
degree. arXiv. doi:10.48550/arXiv.1910.12628
apa: Avvakumov, S., & Kudrya, S. (n.d.). Vanishing of all equivariant obstructions
and the mapping degree. arXiv. https://doi.org/10.48550/arXiv.1910.12628
chicago: Avvakumov, Sergey, and Sergey Kudrya. “Vanishing of All Equivariant Obstructions
and the Mapping Degree.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1910.12628.
ieee: S. Avvakumov and S. Kudrya, “Vanishing of all equivariant obstructions and
the mapping degree,” arXiv. .
ista: Avvakumov S, Kudrya S. Vanishing of all equivariant obstructions and the mapping
degree. arXiv, 1910.12628.
mla: Avvakumov, Sergey, and Sergey Kudrya. “Vanishing of All Equivariant Obstructions
and the Mapping Degree.” ArXiv, 1910.12628, doi:10.48550/arXiv.1910.12628.
short: S. Avvakumov, S. Kudrya, ArXiv (n.d.).
corr_author: '1'
date_created: 2020-07-30T10:45:08Z
date_published: 2019-10-28T00:00:00Z
date_updated: 2026-04-08T07:25:54Z
day: '28'
department:
- _id: UlWa
doi: 10.48550/arXiv.1910.12628
external_id:
arxiv:
- '1910.12628'
fulldoi: https://doi.org/10.48550/arXiv.1910.12628
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1910.12628
month: '10'
oa: 1
oa_version: Preprint
project:
- _id: 26611F5C-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P31312
name: Algorithms for Embeddings and Homotopy Theory
publication: arXiv
publication_status: draft
related_material:
record:
- id: '11446'
relation: later_version
status: public
- id: '8156'
relation: dissertation_contains
status: public
status: public
title: Vanishing of all equivariant obstructions and the mapping degree
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
_id: '8184'
abstract:
- lang: eng
text: "Denote by ∆N the N-dimensional simplex. A map f : ∆N → Rd is an almost r-embedding
if fσ1∩. . .∩fσr = ∅ whenever σ1, . . . , σr are pairwise disjoint faces. A counterexample
to the topological Tverberg conjecture asserts that if r is not a prime power
and d ≥ 2r + 1, then there is an almost r-embedding ∆(d+1)(r−1) → Rd. This was
improved by Blagojevi´c–Frick–Ziegler using a simple construction of higher-dimensional
counterexamples by taking k-fold join power of lower-dimensional ones. We improve
this further (for d large compared to r): If r is not a prime power and N := (d+
1)r−r l\r\nd + 2 r + 1 m−2, then there is an almost r-embedding ∆N → Rd. For the
r-fold van Kampen–Flores conjecture we also produce counterexamples which are
stronger than previously known. Our proof is based on generalizations of the Mabillard–Wagner
theorem on construction of almost r-embeddings from equivariant maps, and of the
Ozaydin theorem on existence of equivariant maps. "
acknowledgement: We would like to thank F. Frick for helpful discussions
article_number: '1908.08731'
article_processing_charge: No
arxiv: 1
author:
- first_name: Sergey
full_name: Avvakumov, Sergey
id: 3827DAC8-F248-11E8-B48F-1D18A9856A87
last_name: Avvakumov
orcid: 0000-0002-7840-5062
- first_name: R.
full_name: Karasev, R.
last_name: Karasev
- first_name: A.
full_name: Skopenkov, A.
last_name: Skopenkov
citation:
ama: Avvakumov S, Karasev R, Skopenkov A. Stronger counterexamples to the topological
Tverberg conjecture. arXiv. doi:10.48550/arXiv.1908.08731
apa: Avvakumov, S., Karasev, R., & Skopenkov, A. (n.d.). Stronger counterexamples
to the topological Tverberg conjecture. arXiv. https://doi.org/10.48550/arXiv.1908.08731
chicago: Avvakumov, Sergey, R. Karasev, and A. Skopenkov. “Stronger Counterexamples
to the Topological Tverberg Conjecture.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1908.08731.
ieee: S. Avvakumov, R. Karasev, and A. Skopenkov, “Stronger counterexamples to the
topological Tverberg conjecture,” arXiv. .
ista: Avvakumov S, Karasev R, Skopenkov A. Stronger counterexamples to the topological
Tverberg conjecture. arXiv, 1908.08731.
mla: Avvakumov, Sergey, et al. “Stronger Counterexamples to the Topological Tverberg
Conjecture.” ArXiv, 1908.08731, doi:10.48550/arXiv.1908.08731.
short: S. Avvakumov, R. Karasev, A. Skopenkov, ArXiv (n.d.).
date_created: 2020-07-30T10:45:34Z
date_published: 2019-08-23T00:00:00Z
date_updated: 2026-04-08T07:25:54Z
day: '23'
department:
- _id: UlWa
doi: 10.48550/arXiv.1908.08731
external_id:
arxiv:
- '1908.08731'
isi:
- '000986519600004'
fulldoi: https://doi.org/10.48550/arXiv.1908.08731
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1908.08731
month: '08'
oa: 1
oa_version: Preprint
project:
- _id: 26611F5C-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P31312
name: Algorithms for Embeddings and Homotopy Theory
publication: arXiv
publication_status: draft
related_material:
record:
- id: '8156'
relation: dissertation_contains
status: public
status: public
title: Stronger counterexamples to the topological Tverberg conjecture
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
_id: '8185'
abstract:
- lang: eng
text: "In this paper we study envy-free division problems. The classical approach
to some of such problems, used by David Gale, reduces to considering continuous
maps of a simplex to itself and finding sufficient conditions when this map hits
the center of the simplex. The mere continuity is not sufficient for such a conclusion,
the usual assumption (for example, in the Knaster--Kuratowski--Mazurkiewicz and
the Gale theorem) is a certain boundary condition.\r\n We follow Erel Segal-Halevi,
Fr\\'ed\\'eric Meunier, and Shira Zerbib, and replace the boundary condition by
another assumption, which has the economic meaning of possibility for a player
to prefer an empty part in the segment\r\npartition problem. We solve the problem
positively when $n$, the number of players that divide the segment, is a prime
power, and we provide counterexamples for every $n$ which is not a prime power.
We also provide counterexamples relevant to a wider class of fair or envy-free
partition problems when $n$ is odd and not a prime power."
article_number: '1907.11183'
article_processing_charge: No
arxiv: 1
author:
- first_name: Sergey
full_name: Avvakumov, Sergey
id: 3827DAC8-F248-11E8-B48F-1D18A9856A87
last_name: Avvakumov
orcid: 0000-0002-7840-5062
- first_name: Roman
full_name: Karasev, Roman
last_name: Karasev
citation:
ama: Avvakumov S, Karasev R. Envy-free division using mapping degree. arXiv.
doi:10.48550/arXiv.1907.11183
apa: Avvakumov, S., & Karasev, R. (n.d.). Envy-free division using mapping degree.
arXiv. https://doi.org/10.48550/arXiv.1907.11183
chicago: Avvakumov, Sergey, and Roman Karasev. “Envy-Free Division Using Mapping
Degree.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1907.11183.
ieee: S. Avvakumov and R. Karasev, “Envy-free division using mapping degree,” arXiv.
.
ista: Avvakumov S, Karasev R. Envy-free division using mapping degree. arXiv, 1907.11183.
mla: Avvakumov, Sergey, and Roman Karasev. “Envy-Free Division Using Mapping Degree.”
ArXiv, 1907.11183, doi:10.48550/arXiv.1907.11183.
short: S. Avvakumov, R. Karasev, ArXiv (n.d.).
corr_author: '1'
date_created: 2020-07-30T10:45:51Z
date_published: 2019-07-25T00:00:00Z
date_updated: 2026-04-08T07:25:54Z
day: '25'
department:
- _id: UlWa
doi: 10.48550/arXiv.1907.11183
external_id:
arxiv:
- '1907.11183'
fulldoi: https://doi.org/10.48550/arXiv.1907.11183
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1907.11183
month: '07'
oa: 1
oa_version: Preprint
project:
- _id: 26611F5C-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P31312
name: Algorithms for Embeddings and Homotopy Theory
publication: arXiv
publication_status: draft
related_material:
link:
- relation: later_version
url: https://doi.org/10.1112/mtk.12059
record:
- id: '8156'
relation: dissertation_contains
status: public
status: public
title: Envy-free division using mapping degree
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
_id: '8281'
abstract:
- lang: eng
text: We review the history of population genetics, starting with its origins a
century ago from the synthesis between Mendel and Darwin's ideas, through to the
recent development of sophisticated schemes of inference from sequence data, based
on the coalescent. We explain the close relation between the coalescent and a
diffusion process, which we illustrate by their application to understand spatial
structure. We summarise the powerful methods available for analysis of multiple
loci, when linkage equilibrium can be assumed, and then discuss approaches to
the more challenging case, where associations between alleles require that we
follow genotype, rather than allele, frequencies. Though we can hardly cover the
whole of population genetics, we give an overview of the current state of the
subject, and future challenges to it.
article_processing_charge: No
author:
- first_name: Nicholas H
full_name: Barton, Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
- first_name: Alison
full_name: Etheridge, Alison
last_name: Etheridge
citation:
ama: 'Barton NH, Etheridge A. Mathematical models in population genetics. In: Balding
D, Moltke I, Marioni J, eds. Handbook of Statistical Genomics. 4th ed.
Wiley; 2019:115-144. doi:10.1002/9781119487845.ch4'
apa: Barton, N. H., & Etheridge, A. (2019). Mathematical models in population
genetics. In D. Balding, I. Moltke, & J. Marioni (Eds.), Handbook of statistical
genomics (4th ed., pp. 115–144). Wiley. https://doi.org/10.1002/9781119487845.ch4
chicago: Barton, Nicholas H, and Alison Etheridge. “Mathematical Models in Population
Genetics.” In Handbook of Statistical Genomics, edited by David Balding,
Ida Moltke, and John Marioni, 4th ed., 115–44. Wiley, 2019. https://doi.org/10.1002/9781119487845.ch4.
ieee: N. H. Barton and A. Etheridge, “Mathematical models in population genetics,”
in Handbook of statistical genomics, 4th ed., D. Balding, I. Moltke, and
J. Marioni, Eds. Wiley, 2019, pp. 115–144.
ista: 'Barton NH, Etheridge A. 2019.Mathematical models in population genetics.
In: Handbook of statistical genomics. , 115–144.'
mla: Barton, Nicholas H., and Alison Etheridge. “Mathematical Models in Population
Genetics.” Handbook of Statistical Genomics, edited by David Balding et
al., 4th ed., Wiley, 2019, pp. 115–44, doi:10.1002/9781119487845.ch4.
short: N.H. Barton, A. Etheridge, in:, D. Balding, I. Moltke, J. Marioni (Eds.),
Handbook of Statistical Genomics, 4th ed., Wiley, 2019, pp. 115–144.
date_created: 2020-08-21T04:25:39Z
date_published: 2019-07-29T00:00:00Z
date_updated: 2024-10-21T06:02:39Z
day: '29'
ddc:
- '576'
department:
- _id: NiBa
doi: 10.1002/9781119487845.ch4
edition: '4'
editor:
- first_name: David
full_name: Balding, David
last_name: Balding
- first_name: Ida
full_name: Moltke, Ida
last_name: Moltke
- first_name: John
full_name: Marioni, John
last_name: Marioni
external_id:
isi:
- '000261343000003'
fulldoi: https://doi.org/10.1002/9781119487845.ch4
isi: 1
language:
- iso: eng
month: '07'
oa_version: None
page: 115-144
publication: Handbook of statistical genomics
publication_identifier:
isbn:
- '9781119429142'
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mathematical models in population genetics
type: book_chapter
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2019'
...
---
_id: '8570'
abstract:
- lang: eng
text: 'This report presents the results of a friendly competition for formal verification
of continuous and hybrid systems with linear continuous dynamics. The friendly
competition took place as part of the workshop Applied Verification for Continuous
and Hybrid Systems (ARCH) in 2019. In its third edition, seven tools have been
applied to solve six different benchmark problems in the category for linear continuous
dynamics (in alphabetical order): CORA, CORA/SX, HyDRA, Hylaa, JuliaReach, SpaceEx,
and XSpeed. This report is a snapshot of the current landscape of tools and the
types of benchmarks they are particularly suited for. Due to the diversity of
problems, we are not ranking tools, yet the presented results provide one of the
most complete assessments of tools for the safety verification of continuous and
hybrid systems with linear continuous dynamics up to this date.'
article_processing_charge: No
author:
- first_name: Matthias
full_name: Althoff, Matthias
last_name: Althoff
- first_name: Stanley
full_name: Bak, Stanley
last_name: Bak
- first_name: Marcelo
full_name: Forets, Marcelo
last_name: Forets
- first_name: Goran
full_name: Frehse, Goran
last_name: Frehse
- first_name: Niklas
full_name: Kochdumper, Niklas
last_name: Kochdumper
- first_name: Rajarshi
full_name: Ray, Rajarshi
last_name: Ray
- first_name: Christian
full_name: Schilling, Christian
id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
last_name: Schilling
orcid: 0000-0003-3658-1065
- first_name: Stefan
full_name: Schupp, Stefan
last_name: Schupp
citation:
ama: 'Althoff M, Bak S, Forets M, et al. ARCH-COMP19 Category Report: Continuous
and hybrid systems with linear continuous dynamics. In: EPiC Series in Computing.
Vol 61. EasyChair; 2019:14-40. doi:10.29007/bj1w'
apa: 'Althoff, M., Bak, S., Forets, M., Frehse, G., Kochdumper, N., Ray, R., … Schupp,
S. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with linear
continuous dynamics. In EPiC Series in Computing (Vol. 61, pp. 14–40).
Montreal, Canada: EasyChair. https://doi.org/10.29007/bj1w'
chicago: 'Althoff, Matthias, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper,
Rajarshi Ray, Christian Schilling, and Stefan Schupp. “ARCH-COMP19 Category Report:
Continuous and Hybrid Systems with Linear Continuous Dynamics.” In EPiC Series
in Computing, 61:14–40. EasyChair, 2019. https://doi.org/10.29007/bj1w.'
ieee: 'M. Althoff et al., “ARCH-COMP19 Category Report: Continuous and hybrid
systems with linear continuous dynamics,” in EPiC Series in Computing,
Montreal, Canada, 2019, vol. 61, pp. 14–40.'
ista: 'Althoff M, Bak S, Forets M, Frehse G, Kochdumper N, Ray R, Schilling C, Schupp
S. 2019. ARCH-COMP19 Category Report: Continuous and hybrid systems with linear
continuous dynamics. EPiC Series in Computing. ARCH: International Workshop on
Applied Verification on Continuous and Hybrid Systems vol. 61, 14–40.'
mla: 'Althoff, Matthias, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid
Systems with Linear Continuous Dynamics.” EPiC Series in Computing, vol.
61, EasyChair, 2019, pp. 14–40, doi:10.29007/bj1w.'
short: M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling,
S. Schupp, in:, EPiC Series in Computing, EasyChair, 2019, pp. 14–40.
conference:
end_date: 2019-04-15
location: Montreal, Canada
name: 'ARCH: International Workshop on Applied Verification on Continuous and Hybrid
Systems'
start_date: 2019-04-15
corr_author: '1'
date_created: 2020-09-26T14:23:54Z
date_published: 2019-05-25T00:00:00Z
date_updated: 2026-06-18T19:33:41Z
day: '25'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.29007/bj1w
fulldoi: https://doi.org/10.29007/bj1w
intvolume: ' 61'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://easychair.org/publications/open/1gbP
month: '05'
oa: 1
oa_version: Published Version
page: 14-40
publication: EPiC Series in Computing
publication_identifier:
eissn:
- 2398-7340
publication_status: published
publisher: EasyChair
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous
dynamics'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 61
year: '2019'
...
---
_id: '9460'
abstract:
- lang: eng
text: Epigenetic reprogramming is required for proper regulation of gene expression
in eukaryotic organisms. In Arabidopsis, active DNA demethylation is crucial for
seed viability, pollen function, and successful reproduction. The DEMETER (DME)
DNA glycosylase initiates localized DNA demethylation in vegetative and central
cells, so-called companion cells that are adjacent to sperm and egg gametes, respectively.
In rice, the central cell genome displays local DNA hypomethylation, suggesting
that active DNA demethylation also occurs in rice; however, the enzyme responsible
for this process is unknown. One candidate is the rice REPRESSOR OF SILENCING
1a (ROS1a) gene, which is related to DME and is essential for rice seed viability
and pollen function. Here, we report genome-wide analyses of DNA methylation in
wild-type and ros1a mutant sperm and vegetative cells. We find that the rice vegetative
cell genome is locally hypomethylated compared with sperm by a process that requires
ROS1a activity. We show that many ROS1a target sequences in the vegetative cell
are hypomethylated in the rice central cell, suggesting that ROS1a also demethylates
the central cell genome. Similar to Arabidopsis, we show that sperm non-CG methylation
is indirectly promoted by DNA demethylation in the vegetative cell. These results
reveal that DNA glycosylase-mediated DNA demethylation processes are conserved
in Arabidopsis and rice, plant species that diverged 150 million years ago. Finally,
although global non-CG methylation levels of sperm and egg differ, the maternal
and paternal embryo genomes show similar non-CG methylation levels, suggesting
that rice gamete genomes undergo dynamic DNA methylation reprogramming after cell
fusion.
article_processing_charge: No
article_type: original
author:
- first_name: M. Yvonne
full_name: Kim, M. Yvonne
last_name: Kim
- first_name: Akemi
full_name: Ono, Akemi
last_name: Ono
- first_name: Stefan
full_name: Scholten, Stefan
last_name: Scholten
- first_name: Tetsu
full_name: Kinoshita, Tetsu
last_name: Kinoshita
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
- first_name: Takashi
full_name: Okamoto, Takashi
last_name: Okamoto
- first_name: Robert L.
full_name: Fischer, Robert L.
last_name: Fischer
citation:
ama: Kim MY, Ono A, Scholten S, et al. DNA demethylation by ROS1a in rice vegetative
cells promotes methylation in sperm. Proceedings of the National Academy of
Sciences. 2019;116(19):9652-9657. doi:10.1073/pnas.1821435116
apa: Kim, M. Y., Ono, A., Scholten, S., Kinoshita, T., Zilberman, D., Okamoto, T.,
& Fischer, R. L. (2019). DNA demethylation by ROS1a in rice vegetative cells
promotes methylation in sperm. Proceedings of the National Academy of Sciences.
National Academy of Sciences. https://doi.org/10.1073/pnas.1821435116
chicago: Kim, M. Yvonne, Akemi Ono, Stefan Scholten, Tetsu Kinoshita, Daniel Zilberman,
Takashi Okamoto, and Robert L. Fischer. “DNA Demethylation by ROS1a in Rice Vegetative
Cells Promotes Methylation in Sperm.” Proceedings of the National Academy of
Sciences. National Academy of Sciences, 2019. https://doi.org/10.1073/pnas.1821435116.
ieee: M. Y. Kim et al., “DNA demethylation by ROS1a in rice vegetative cells
promotes methylation in sperm,” Proceedings of the National Academy of Sciences,
vol. 116, no. 19. National Academy of Sciences, pp. 9652–9657, 2019.
ista: Kim MY, Ono A, Scholten S, Kinoshita T, Zilberman D, Okamoto T, Fischer RL.
2019. DNA demethylation by ROS1a in rice vegetative cells promotes methylation
in sperm. Proceedings of the National Academy of Sciences. 116(19), 9652–9657.
mla: Kim, M. Yvonne, et al. “DNA Demethylation by ROS1a in Rice Vegetative Cells
Promotes Methylation in Sperm.” Proceedings of the National Academy of Sciences,
vol. 116, no. 19, National Academy of Sciences, 2019, pp. 9652–57, doi:10.1073/pnas.1821435116.
short: M.Y. Kim, A. Ono, S. Scholten, T. Kinoshita, D. Zilberman, T. Okamoto, R.L.
Fischer, Proceedings of the National Academy of Sciences 116 (2019) 9652–9657.
date_created: 2021-06-04T12:38:20Z
date_published: 2019-05-07T00:00:00Z
date_updated: 2021-12-14T07:52:30Z
day: '07'
ddc:
- '580'
department:
- _id: DaZi
doi: 10.1073/pnas.1821435116
extern: '1'
external_id:
pmid:
- '31000601'
file:
- access_level: open_access
checksum: 5b0ae3779b8b21b5223bd2d3cceede3a
content_type: application/pdf
creator: asandaue
date_created: 2021-06-04T12:50:47Z
date_updated: 2021-06-04T12:50:47Z
file_id: '9461'
file_name: 2019_PNAS_Kim.pdf
file_size: 1142540
relation: main_file
success: 1
file_date_updated: 2021-06-04T12:50:47Z
fulldoi: https://doi.org/10.1073/pnas.1821435116
has_accepted_license: '1'
intvolume: ' 116'
issue: '19'
keyword:
- Multidisciplinary
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '05'
oa: 1
oa_version: Published Version
page: 9652-9657
pmid: 1
publication: Proceedings of the National Academy of Sciences
publication_identifier:
eissn:
- 1091-6490
issn:
- 0027-8424
publication_status: published
publisher: National Academy of Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: DNA demethylation by ROS1a in rice vegetative cells promotes methylation in
sperm
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 116
year: '2019'
...
---
_id: '9530'
abstract:
- lang: eng
text: "Background\r\nDNA methylation of active genes, also known as gene body methylation,
is found in many animal and plant genomes. Despite this, the transcriptional and
developmental role of such methylation remains poorly understood. Here, we explore
the dynamic range of DNA methylation in honey bee, a model organism for gene body
methylation.\r\n\r\nResults\r\nOur data show that CG methylation in gene bodies
globally fluctuates during honey bee development. However, these changes cause
no gene expression alterations. Intriguingly, despite the global alterations,
tissue-specific CG methylation patterns of complete genes or exons are rare, implying
robust maintenance of genic methylation during development. Additionally, we show
that CG methylation maintenance fluctuates in somatic cells, while reaching maximum
fidelity in sperm cells. Finally, unlike universally present CG methylation, we
discovered non-CG methylation specifically in bee heads that resembles such methylation
in mammalian brain tissue.\r\n\r\nConclusions\r\nBased on these results, we propose
that gene body CG methylation can oscillate during development if it is kept to
a level adequate to preserve function. Additionally, our data suggest that heightened
non-CG methylation is a conserved regulator of animal nervous systems."
article_number: '62'
article_processing_charge: No
article_type: original
author:
- first_name: Keith D.
full_name: Harris, Keith D.
last_name: Harris
- first_name: James P. B.
full_name: Lloyd, James P. B.
last_name: Lloyd
- first_name: Katherine
full_name: Domb, Katherine
last_name: Domb
- first_name: Daniel
full_name: Zilberman, Daniel
id: 6973db13-dd5f-11ea-814e-b3e5455e9ed1
last_name: Zilberman
orcid: 0000-0002-0123-8649
- first_name: Assaf
full_name: Zemach, Assaf
last_name: Zemach
citation:
ama: Harris KD, Lloyd JPB, Domb K, Zilberman D, Zemach A. DNA methylation is maintained
with high fidelity in the honey bee germline and exhibits global non-functional
fluctuations during somatic development. Epigenetics and Chromatin. 2019;12.
doi:10.1186/s13072-019-0307-4
apa: Harris, K. D., Lloyd, J. P. B., Domb, K., Zilberman, D., & Zemach, A. (2019).
DNA methylation is maintained with high fidelity in the honey bee germline and
exhibits global non-functional fluctuations during somatic development. Epigenetics
and Chromatin. Springer Nature. https://doi.org/10.1186/s13072-019-0307-4
chicago: Harris, Keith D., James P. B. Lloyd, Katherine Domb, Daniel Zilberman,
and Assaf Zemach. “DNA Methylation Is Maintained with High Fidelity in the Honey
Bee Germline and Exhibits Global Non-Functional Fluctuations during Somatic Development.”
Epigenetics and Chromatin. Springer Nature, 2019. https://doi.org/10.1186/s13072-019-0307-4.
ieee: K. D. Harris, J. P. B. Lloyd, K. Domb, D. Zilberman, and A. Zemach, “DNA methylation
is maintained with high fidelity in the honey bee germline and exhibits global
non-functional fluctuations during somatic development,” Epigenetics and Chromatin,
vol. 12. Springer Nature, 2019.
ista: Harris KD, Lloyd JPB, Domb K, Zilberman D, Zemach A. 2019. DNA methylation
is maintained with high fidelity in the honey bee germline and exhibits global
non-functional fluctuations during somatic development. Epigenetics and Chromatin.
12, 62.
mla: Harris, Keith D., et al. “DNA Methylation Is Maintained with High Fidelity
in the Honey Bee Germline and Exhibits Global Non-Functional Fluctuations during
Somatic Development.” Epigenetics and Chromatin, vol. 12, 62, Springer
Nature, 2019, doi:10.1186/s13072-019-0307-4.
short: K.D. Harris, J.P.B. Lloyd, K. Domb, D. Zilberman, A. Zemach, Epigenetics
and Chromatin 12 (2019).
date_created: 2021-06-08T09:21:51Z
date_published: 2019-10-10T00:00:00Z
date_updated: 2021-12-14T07:53:00Z
day: '10'
ddc:
- '570'
department:
- _id: DaZi
doi: 10.1186/s13072-019-0307-4
extern: '1'
external_id:
pmid:
- '31601251'
file:
- access_level: open_access
checksum: 86ff50a7517891511af2733c76c81b67
content_type: application/pdf
creator: asandaue
date_created: 2021-06-08T09:29:19Z
date_updated: 2021-06-08T09:29:19Z
file_id: '9531'
file_name: 2019_EpigeneticsAndChromatin_Harris.pdf
file_size: 3221067
relation: main_file
success: 1
file_date_updated: 2021-06-08T09:29:19Z
fulldoi: https://doi.org/10.1186/s13072-019-0307-4
has_accepted_license: '1'
intvolume: ' 12'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
pmid: 1
publication: Epigenetics and Chromatin
publication_identifier:
eissn:
- 1756-8935
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: DNA methylation is maintained with high fidelity in the honey bee germline
and exhibits global non-functional fluctuations during somatic development
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: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 12
year: '2019'
...
---
_id: '9731'
abstract:
- lang: eng
text: OGs with putative pseudogenes by the number of affected genomes in different
chlamydial species. Frameshift and nonsense mutations located less than 60 bp
upstreamof the gene end or present in a single genome from the corresponding OG
were excluded. (CSV 31 kb)
article_processing_charge: No
author:
- first_name: Olga
full_name: Sigalova, Olga
last_name: Sigalova
- first_name: Andrei
full_name: Chaplin, Andrei
last_name: Chaplin
- first_name: Olga
full_name: Bochkareva, Olga
id: C4558D3C-6102-11E9-A62E-F418E6697425
last_name: Bochkareva
orcid: 0000-0003-1006-6639
- first_name: Pavel
full_name: Shelyakin, Pavel
last_name: Shelyakin
- first_name: Vsevolod
full_name: Filaretov, Vsevolod
last_name: Filaretov
- first_name: Evgeny
full_name: Akkuratov, Evgeny
last_name: Akkuratov
- first_name: Valentina
full_name: Burskaia, Valentina
last_name: Burskaia
- first_name: Mikhail S.
full_name: Gelfand, Mikhail S.
last_name: Gelfand
citation:
ama: Sigalova O, Chaplin A, Bochkareva O, et al. Additional file 11 of Chlamydia
pan-genomic analysis reveals balance between host adaptation and selective pressure
to genome reduction. 2019. doi:10.6084/m9.figshare.9808772.v1
apa: Sigalova, O., Chaplin, A., Bochkareva, O., Shelyakin, P., Filaretov, V., Akkuratov,
E., … Gelfand, M. S. (2019). Additional file 11 of Chlamydia pan-genomic analysis
reveals balance between host adaptation and selective pressure to genome reduction.
Springer Nature. https://doi.org/10.6084/m9.figshare.9808772.v1
chicago: Sigalova, Olga, Andrei Chaplin, Olga Bochkareva, Pavel Shelyakin, Vsevolod
Filaretov, Evgeny Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional
File 11 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation
and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808772.v1.
ieee: O. Sigalova et al., “Additional file 11 of Chlamydia pan-genomic analysis
reveals balance between host adaptation and selective pressure to genome reduction.”
Springer Nature, 2019.
ista: Sigalova O, Chaplin A, Bochkareva O, Shelyakin P, Filaretov V, Akkuratov E,
Burskaia V, Gelfand MS. 2019. Additional file 11 of Chlamydia pan-genomic analysis
reveals balance between host adaptation and selective pressure to genome reduction,
Springer Nature, 10.6084/m9.figshare.9808772.v1.
mla: Sigalova, Olga, et al. Additional File 11 of Chlamydia Pan-Genomic Analysis
Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.
Springer Nature, 2019, doi:10.6084/m9.figshare.9808772.v1.
short: O. Sigalova, A. Chaplin, O. Bochkareva, P. Shelyakin, V. Filaretov, E. Akkuratov,
V. Burskaia, M.S. Gelfand, (2019).
date_created: 2021-07-27T14:09:11Z
date_published: 2019-09-12T00:00:00Z
date_updated: 2026-04-03T09:39:40Z
day: '12'
department:
- _id: FyKo
doi: 10.6084/m9.figshare.9808772.v1
fulldoi: https://doi.org/10.6084/m9.figshare.9808772.v1
main_file_link:
- open_access: '1'
url: https://doi.org/10.6084/m9.figshare.9808772.v1
month: '09'
oa: 1
oa_version: Published Version
publisher: Springer Nature
related_material:
record:
- id: '6898'
relation: used_in_publication
status: public
status: public
title: Additional file 11 of Chlamydia pan-genomic analysis reveals balance between
host adaptation and selective pressure to genome reduction
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2019'
...
---
_id: '9783'
abstract:
- lang: eng
text: Predicted frameshift and nonsense mutations in Chlamydial pan-genome. For
the analysis of putative pseudogenes, events located less than 60 bp. away from
gene end or present in a single genome from the corresponding OG were excluded.
(CSV 600 kb)
article_processing_charge: No
author:
- first_name: Olga M.
full_name: Sigalova, Olga M.
last_name: Sigalova
- first_name: Andrei V.
full_name: Chaplin, Andrei V.
last_name: Chaplin
- first_name: Olga
full_name: Bochkareva, Olga
id: C4558D3C-6102-11E9-A62E-F418E6697425
last_name: Bochkareva
orcid: 0000-0003-1006-6639
- first_name: Pavel V.
full_name: Shelyakin, Pavel V.
last_name: Shelyakin
- first_name: Vsevolod A.
full_name: Filaretov, Vsevolod A.
last_name: Filaretov
- first_name: Evgeny E.
full_name: Akkuratov, Evgeny E.
last_name: Akkuratov
- first_name: Valentina
full_name: Burskaia, Valentina
last_name: Burskaia
- first_name: Mikhail S.
full_name: Gelfand, Mikhail S.
last_name: Gelfand
citation:
ama: Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 10 of Chlamydia
pan-genomic analysis reveals balance between host adaptation and selective pressure
to genome reduction. 2019. doi:10.6084/m9.figshare.9808760.v1
apa: Sigalova, O. M., Chaplin, A. V., Bochkareva, O., Shelyakin, P. V., Filaretov,
V. A., Akkuratov, E. E., … Gelfand, M. S. (2019). Additional file 10 of Chlamydia
pan-genomic analysis reveals balance between host adaptation and selective pressure
to genome reduction. Springer Nature. https://doi.org/10.6084/m9.figshare.9808760.v1
chicago: Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin,
Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S.
Gelfand. “Additional File 10 of Chlamydia Pan-Genomic Analysis Reveals Balance
between Host Adaptation and Selective Pressure to Genome Reduction.” Springer
Nature, 2019. https://doi.org/10.6084/m9.figshare.9808760.v1.
ieee: O. M. Sigalova et al., “Additional file 10 of Chlamydia pan-genomic
analysis reveals balance between host adaptation and selective pressure to genome
reduction.” Springer Nature, 2019.
ista: Sigalova OM, Chaplin AV, Bochkareva O, Shelyakin PV, Filaretov VA, Akkuratov
EE, Burskaia V, Gelfand MS. 2019. Additional file 10 of Chlamydia pan-genomic
analysis reveals balance between host adaptation and selective pressure to genome
reduction, Springer Nature, 10.6084/m9.figshare.9808760.v1.
mla: Sigalova, Olga M., et al. Additional File 10 of Chlamydia Pan-Genomic Analysis
Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.
Springer Nature, 2019, doi:10.6084/m9.figshare.9808760.v1.
short: O.M. Sigalova, A.V. Chaplin, O. Bochkareva, P.V. Shelyakin, V.A. Filaretov,
E.E. Akkuratov, V. Burskaia, M.S. Gelfand, (2019).
date_created: 2021-08-06T07:59:56Z
date_published: 2019-09-12T00:00:00Z
date_updated: 2026-04-03T09:39:40Z
day: '12'
department:
- _id: FyKo
doi: 10.6084/m9.figshare.9808760.v1
fulldoi: https://doi.org/10.6084/m9.figshare.9808760.v1
main_file_link:
- open_access: '1'
url: https://doi.org/10.6084/m9.figshare.9808760.v1
month: '09'
oa: 1
oa_version: Published Version
publisher: Springer Nature
related_material:
record:
- id: '6898'
relation: used_in_publication
status: public
status: public
title: Additional file 10 of Chlamydia pan-genomic analysis reveals balance between
host adaptation and selective pressure to genome reduction
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2019'
...
---
_id: '9784'
abstract:
- lang: eng
text: 'Additional file 1: Table S1. Kinetics of MDA-MB-231 cell growth in either
the presence or absence of 100Â mg/L glyphosate. Cell counts are given at day-1
of seeding flasks and following 6-days of continuous culture. Note: no differences
in cell numbers were observed between negative control and glyphosate treated
cultures.'
article_processing_charge: No
author:
- first_name: Michael N.
full_name: Antoniou, Michael N.
last_name: Antoniou
- first_name: Armel
full_name: Nicolas, Armel
id: 2A103192-F248-11E8-B48F-1D18A9856A87
last_name: Nicolas
- first_name: Robin
full_name: Mesnage, Robin
last_name: Mesnage
- first_name: Martina
full_name: Biserni, Martina
last_name: Biserni
- first_name: Francesco V.
full_name: Rao, Francesco V.
last_name: Rao
- first_name: Cristina Vazquez
full_name: Martin, Cristina Vazquez
last_name: Martin
citation:
ama: Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. MOESM1 of
Glyphosate does not substitute for glycine in proteins of actively dividing mammalian
cells. 2019. doi:10.6084/m9.figshare.9411761.v1
apa: Antoniou, M. N., Nicolas, A., Mesnage, R., Biserni, M., Rao, F. V., & Martin,
C. V. (2019). MOESM1 of Glyphosate does not substitute for glycine in proteins
of actively dividing mammalian cells. Springer Nature. https://doi.org/10.6084/m9.figshare.9411761.v1
chicago: Antoniou, Michael N., Armel Nicolas, Robin Mesnage, Martina Biserni, Francesco
V. Rao, and Cristina Vazquez Martin. “MOESM1 of Glyphosate Does Not Substitute
for Glycine in Proteins of Actively Dividing Mammalian Cells.” Springer Nature,
2019. https://doi.org/10.6084/m9.figshare.9411761.v1.
ieee: M. N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F. V. Rao, and C. V. Martin,
“MOESM1 of Glyphosate does not substitute for glycine in proteins of actively
dividing mammalian cells.” Springer Nature, 2019.
ista: Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. 2019. MOESM1
of Glyphosate does not substitute for glycine in proteins of actively dividing
mammalian cells, Springer Nature, 10.6084/m9.figshare.9411761.v1.
mla: Antoniou, Michael N., et al. MOESM1 of Glyphosate Does Not Substitute for
Glycine in Proteins of Actively Dividing Mammalian Cells. Springer Nature,
2019, doi:10.6084/m9.figshare.9411761.v1.
short: M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin,
(2019).
date_created: 2021-08-06T08:14:05Z
date_published: 2019-08-09T00:00:00Z
date_updated: 2023-02-23T12:52:29Z
day: '09'
department:
- _id: LifeSc
doi: 10.6084/m9.figshare.9411761.v1
fulldoi: https://doi.org/10.6084/m9.figshare.9411761.v1
main_file_link:
- open_access: '1'
url: https://doi.org/10.6084/m9.figshare.9411761.v1
month: '08'
oa: 1
oa_version: Published Version
publisher: Springer Nature
related_material:
record:
- id: '6819'
relation: used_in_publication
status: public
status: public
title: MOESM1 of Glyphosate does not substitute for glycine in proteins of actively
dividing mammalian cells
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2019'
...
---
_id: '9786'
article_processing_charge: No
author:
- first_name: Jakob
full_name: Ruess, Jakob
id: 4A245D00-F248-11E8-B48F-1D18A9856A87
last_name: Ruess
orcid: 0000-0003-1615-3282
- first_name: Maros
full_name: Pleska, Maros
id: 4569785E-F248-11E8-B48F-1D18A9856A87
last_name: Pleska
orcid: 0000-0001-7460-7479
- 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: Gašper
full_name: Tkačik, Gašper
id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
last_name: Tkačik
orcid: 0000-0002-6699-1455
citation:
ama: Ruess J, Pleska M, Guet CC, Tkačik G. Supporting text and results. 2019. doi:10.1371/journal.pcbi.1007168.s001
apa: Ruess, J., Pleska, M., Guet, C. C., & Tkačik, G. (2019). Supporting text
and results. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007168.s001
chicago: Ruess, Jakob, Maros Pleska, Calin C Guet, and Gašper Tkačik. “Supporting
Text and Results.” Public Library of Science, 2019. https://doi.org/10.1371/journal.pcbi.1007168.s001.
ieee: J. Ruess, M. Pleska, C. C. Guet, and G. Tkačik, “Supporting text and results.”
Public Library of Science, 2019.
ista: Ruess J, Pleska M, Guet CC, Tkačik G. 2019. Supporting text and results, Public
Library of Science, 10.1371/journal.pcbi.1007168.s001.
mla: Ruess, Jakob, et al. Supporting Text and Results. Public Library of
Science, 2019, doi:10.1371/journal.pcbi.1007168.s001.
short: J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, (2019).
date_created: 2021-08-06T08:23:43Z
date_published: 2019-07-02T00:00:00Z
date_updated: 2025-04-15T07:33:55Z
day: '02'
department:
- _id: CaGu
- _id: GaTk
doi: 10.1371/journal.pcbi.1007168.s001
fulldoi: https://doi.org/10.1371/journal.pcbi.1007168.s001
month: '07'
oa_version: Published Version
publisher: Public Library of Science
related_material:
record:
- id: '6784'
relation: used_in_publication
status: public
status: public
title: Supporting text and results
type: research_data_reference
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
year: '2019'
...