---
_id: '133'
abstract:
- lang: eng
text: Synchronous programs are easy to specify because the side effects of an operation
are finished by the time the invocation of the operation returns to the caller.
Asynchronous programs, on the other hand, are difficult to specify because there
are side effects due to pending computation scheduled as a result of the invocation
of an operation. They are also difficult to verify because of the large number
of possible interleavings of concurrent computation threads. We present synchronization,
a new proof rule that simplifies the verification of asynchronous programs by
introducing the fiction, for proof purposes, that asynchronous operations complete
synchronously. Synchronization summarizes an asynchronous computation as immediate
atomic effect. Modular verification is enabled via pending asynchronous calls
in atomic summaries, and a complementary proof rule that eliminates pending asynchronous
calls when components and their specifications are composed. We evaluate synchronization
in the context of a multi-layer refinement verification methodology on a collection
of benchmark programs.
alternative_title:
- LIPIcs
article_number: '21'
author:
- first_name: Bernhard
full_name: Kragl, Bernhard
id: 320FC952-F248-11E8-B48F-1D18A9856A87
last_name: Kragl
orcid: 0000-0001-7745-9117
- first_name: Shaz
full_name: Qadeer, Shaz
last_name: Qadeer
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
citation:
ama: 'Kragl B, Qadeer S, Henzinger TA. Synchronizing the asynchronous. In: Vol 118.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.CONCUR.2018.21'
apa: 'Kragl, B., Qadeer, S., & Henzinger, T. A. (2018). Synchronizing the asynchronous
(Vol. 118). Presented at the CONCUR: International Conference on Concurrency Theory,
Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2018.21'
chicago: Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Synchronizing the
Asynchronous,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
https://doi.org/10.4230/LIPIcs.CONCUR.2018.21.
ieee: 'B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,”
presented at the CONCUR: International Conference on Concurrency Theory, Beijing,
China, 2018, vol. 118.'
ista: 'Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR:
International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.'
mla: Kragl, Bernhard, et al. Synchronizing the Asynchronous. Vol. 118, 21,
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.CONCUR.2018.21.
short: B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2018.
conference:
end_date: 2018-09-07
location: Beijing, China
name: 'CONCUR: International Conference on Concurrency Theory'
start_date: 2018-09-04
date_created: 2018-12-11T11:44:48Z
date_published: 2018-08-13T00:00:00Z
date_updated: 2023-09-07T13:18:00Z
day: '13'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.CONCUR.2018.21
file:
- access_level: open_access
checksum: c90895f4c5fafc18ddc54d1c8848077e
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:18:46Z
date_updated: 2020-07-14T12:44:44Z
file_id: '5368'
file_name: IST-2018-853-v2+2_concur2018.pdf
file_size: 745438
relation: main_file
file_date_updated: 2020-07-14T12:44:44Z
has_accepted_license: '1'
intvolume: ' 118'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 25F2ACDE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Rigorous Systems Engineering
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Moderne Concurrency Paradigms
publication_identifier:
issn:
- '18688969'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7790'
pubrep_id: '1039'
quality_controlled: '1'
related_material:
record:
- id: '6426'
relation: earlier_version
status: public
- id: '8332'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Synchronizing the asynchronous
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: 118
year: '2018'
...
---
_id: '82'
abstract:
- lang: eng
text: In experimental cultures, when bacteria are mixed with lytic (virulent) bacteriophage,
bacterial cells resistant to the phage commonly emerge and become the dominant
population of bacteria. Following the ascent of resistant mutants, the densities
of bacteria in these simple communities become limited by resources rather than
the phage. Despite the evolution of resistant hosts, upon which the phage cannot
replicate, the lytic phage population is most commonly maintained in an apparently
stable state with the resistant bacteria. Several mechanisms have been put forward
to account for this result. Here we report the results of population dynamic/evolution
experiments with a virulent mutant of phage Lambda, λVIR, and Escherichia coli
in serial transfer cultures. We show that, following the ascent of λVIR-resistant
bacteria, λVIRis maintained in the majority of cases in maltose-limited minimal
media and in all cases in nutrient-rich broth. Using mathematical models and experiments,
we show that the dominant mechanism responsible for maintenance of λVIRin these
resource-limited populations dominated by resistant E. coli is a high rate of
either phenotypic or genetic transition from resistance to susceptibility—a hitherto
undemonstrated mechanism we term "leaky resistance." We discuss the
implications of leaky resistance to our understanding of the conditions for the
maintenance of phage in populations of bacteria—their “existence conditions.”.
article_number: '2005971'
article_processing_charge: Yes
author:
- first_name: Waqas
full_name: Chaudhry, Waqas
last_name: Chaudhry
- first_name: Maros
full_name: Pleska, Maros
id: 4569785E-F248-11E8-B48F-1D18A9856A87
last_name: Pleska
orcid: 0000-0001-7460-7479
- first_name: Nilang
full_name: Shah, Nilang
last_name: Shah
- first_name: Howard
full_name: Weiss, Howard
last_name: Weiss
- first_name: Ingrid
full_name: Mccall, Ingrid
last_name: Mccall
- first_name: Justin
full_name: Meyer, Justin
last_name: Meyer
- first_name: Animesh
full_name: Gupta, Animesh
last_name: Gupta
- 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: Bruce
full_name: Levin, Bruce
last_name: Levin
citation:
ama: Chaudhry W, Pleska M, Shah N, et al. Leaky resistance and the conditions for
the existence of lytic bacteriophage. PLoS Biology. 2018;16(8). doi:10.1371/journal.pbio.2005971
apa: Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J., … Levin,
B. (2018). Leaky resistance and the conditions for the existence of lytic bacteriophage.
PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005971
chicago: Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall,
Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Leaky Resistance
and the Conditions for the Existence of Lytic Bacteriophage.” PLoS Biology.
Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005971.
ieee: W. Chaudhry et al., “Leaky resistance and the conditions for the existence
of lytic bacteriophage,” PLoS Biology, vol. 16, no. 8. Public Library of
Science, 2018.
ista: Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC,
Levin B. 2018. Leaky resistance and the conditions for the existence of lytic
bacteriophage. PLoS Biology. 16(8), 2005971.
mla: Chaudhry, Waqas, et al. “Leaky Resistance and the Conditions for the Existence
of Lytic Bacteriophage.” PLoS Biology, vol. 16, no. 8, 2005971, Public
Library of Science, 2018, doi:10.1371/journal.pbio.2005971.
short: W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta,
C.C. Guet, B. Levin, PLoS Biology 16 (2018).
date_created: 2018-12-11T11:44:32Z
date_published: 2018-08-16T00:00:00Z
date_updated: 2023-09-13T08:45:41Z
day: '16'
ddc:
- '570'
department:
- _id: CaGu
doi: 10.1371/journal.pbio.2005971
external_id:
isi:
- '000443383300024'
file:
- access_level: open_access
checksum: 527076f78265cd4ea192cd1569851587
content_type: application/pdf
creator: dernst
date_created: 2018-12-17T12:55:31Z
date_updated: 2020-07-14T12:48:10Z
file_id: '5706'
file_name: 2018_Plos_Chaudhry.pdf
file_size: 4007095
relation: main_file
file_date_updated: 2020-07-14T12:48:10Z
has_accepted_license: '1'
intvolume: ' 16'
isi: 1
issue: '8'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
publication: PLoS Biology
publication_status: published
publisher: Public Library of Science
publist_id: '7972'
quality_controlled: '1'
related_material:
record:
- id: '9810'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Leaky resistance and the conditions for the existence of lytic bacteriophage
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: 16
year: '2018'
...
---
_id: '8231'
article_processing_charge: No
article_type: letter_note
author:
- first_name: Judit
full_name: Fazekas-Singer, Judit
id: 36432834-F248-11E8-B48F-1D18A9856A87
last_name: Fazekas-Singer
orcid: 0000-0002-8777-3502
- first_name: Josef
full_name: Singer, Josef
last_name: Singer
- first_name: Kristina M.
full_name: Ilieva, Kristina M.
last_name: Ilieva
- first_name: Miroslawa
full_name: Matz, Miroslawa
last_name: Matz
- first_name: Ina
full_name: Herrmann, Ina
last_name: Herrmann
- first_name: Edzard
full_name: Spillner, Edzard
last_name: Spillner
- first_name: Sophia N.
full_name: Karagiannis, Sophia N.
last_name: Karagiannis
- first_name: Erika
full_name: Jensen-Jarolim, Erika
last_name: Jensen-Jarolim
citation:
ama: 'Singer J, Singer J, Ilieva KM, et al. AllergoOncology: Generating a canine
anticancer IgE against the epidermal growth factor receptor. Journal of Allergy
and Clinical Immunology. 2018;142(3):973-976.e11. doi:10.1016/j.jaci.2018.04.021'
apa: 'Singer, J., Singer, J., Ilieva, K. M., Matz, M., Herrmann, I., Spillner, E.,
… Jensen-Jarolim, E. (2018). AllergoOncology: Generating a canine anticancer IgE
against the epidermal growth factor receptor. Journal of Allergy and Clinical
Immunology. Elsevier. https://doi.org/10.1016/j.jaci.2018.04.021'
chicago: 'Singer, Judit, Josef Singer, Kristina M. Ilieva, Miroslawa Matz, Ina Herrmann,
Edzard Spillner, Sophia N. Karagiannis, and Erika Jensen-Jarolim. “AllergoOncology:
Generating a Canine Anticancer IgE against the Epidermal Growth Factor Receptor.”
Journal of Allergy and Clinical Immunology. Elsevier, 2018. https://doi.org/10.1016/j.jaci.2018.04.021.'
ieee: 'J. Singer et al., “AllergoOncology: Generating a canine anticancer
IgE against the epidermal growth factor receptor,” Journal of Allergy and Clinical
Immunology, vol. 142, no. 3. Elsevier, p. 973–976.e11, 2018.'
ista: 'Singer J, Singer J, Ilieva KM, Matz M, Herrmann I, Spillner E, Karagiannis
SN, Jensen-Jarolim E. 2018. AllergoOncology: Generating a canine anticancer IgE
against the epidermal growth factor receptor. Journal of Allergy and Clinical
Immunology. 142(3), 973–976.e11.'
mla: 'Singer, Judit, et al. “AllergoOncology: Generating a Canine Anticancer IgE
against the Epidermal Growth Factor Receptor.” Journal of Allergy and Clinical
Immunology, vol. 142, no. 3, Elsevier, 2018, p. 973–976.e11, doi:10.1016/j.jaci.2018.04.021.'
short: J. Singer, J. Singer, K.M. Ilieva, M. Matz, I. Herrmann, E. Spillner, S.N.
Karagiannis, E. Jensen-Jarolim, Journal of Allergy and Clinical Immunology 142
(2018) 973–976.e11.
date_created: 2020-08-10T11:51:36Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2021-01-12T08:17:37Z
day: '01'
doi: 10.1016/j.jaci.2018.04.021
extern: '1'
intvolume: ' 142'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.jaci.2018.04.021
month: '09'
oa: 1
oa_version: Published Version
page: 973-976.e11
publication: Journal of Allergy and Clinical Immunology
publication_identifier:
issn:
- 0091-6749
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: 'AllergoOncology: Generating a canine anticancer IgE against the epidermal
growth factor receptor'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 142
year: '2018'
...
---
_id: '8232'
abstract:
- lang: eng
text: 'Anti-epidermal growth factor receptor (EGFR) antibody therapy is used in
EGFR expressing cancers including lung, colon, head and neck, and bladder cancers,
however results have been modest. Near infrared photoimmunotherapy (NIR-PIT) is
a highly selective tumor treatment that employs an antibody-photo-absorber conjugate
which is activated by NIR light. NIR-PIT is in clinical trials in patients with
recurrent head and neck cancers using cetuximab-IR700 as the conjugate. However,
its use has otherwise been restricted to mouse models. This is an effort to explore
larger animal models with NIR-PIT. We describe the use of a recombinant canine
anti-EGFR monoclonal antibody (mAb), can225IgG, conjugated to the photo-absorber,
IR700DX, in three EGFR expressing canine transitional cell carcinoma (TCC) cell
lines as a prelude to possible canine clinical studies. Can225-IR700 conjugate
showed specific binding and cell-specific killing after NIR-PIT on EGFR expressing
cells in vitro. In the in vivo study, can225-IR700 conjugate demonstrated accumulation
of the fluorescent conjugate with high tumor-to-background ratio. Tumor-bearing
mice were separated into 4 groups: (1) no treatment; (2) 100 μg of can225-IR700
i.v. only; (3) NIR light exposure only; (4) 100 μg of can225-IR700 i.v., NIR light
exposure. Tumor growth was significantly inhibited by NIR-PIT treatment compared
with the other groups (p < 0.001), and significantly prolonged survival was achieved
(p < 0.001 vs. other groups) in the treatment groups. In conclusion, NIR-PIT with
can225-IR700 is a promising treatment for canine EGFR-expressing cancers, including
invasive transitional cell carcinoma in pet dogs, that could provide a pathway
to translation to humans.'
article_processing_charge: No
article_type: original
author:
- first_name: Tadanobu
full_name: Nagaya, Tadanobu
last_name: Nagaya
- first_name: Shuhei
full_name: Okuyama, Shuhei
last_name: Okuyama
- first_name: Fusa
full_name: Ogata, Fusa
last_name: Ogata
- first_name: Yasuhiro
full_name: Maruoka, Yasuhiro
last_name: Maruoka
- first_name: Deborah W.
full_name: Knapp, Deborah W.
last_name: Knapp
- first_name: Sophia N.
full_name: Karagiannis, Sophia N.
last_name: Karagiannis
- first_name: Judit
full_name: Fazekas-Singer, Judit
id: 36432834-F248-11E8-B48F-1D18A9856A87
last_name: Fazekas-Singer
orcid: 0000-0002-8777-3502
- first_name: Peter L.
full_name: Choyke, Peter L.
last_name: Choyke
- first_name: Amy K.
full_name: LeBlanc, Amy K.
last_name: LeBlanc
- first_name: Erika
full_name: Jensen-Jarolim, Erika
last_name: Jensen-Jarolim
- first_name: Hisataka
full_name: Kobayashi, Hisataka
last_name: Kobayashi
citation:
ama: Nagaya T, Okuyama S, Ogata F, et al. Near infrared photoimmunotherapy targeting
bladder cancer with a canine anti-epidermal growth factor receptor (EGFR) antibody.
Oncotarget. 2018;9:19026-19038. doi:10.18632/oncotarget.24876
apa: Nagaya, T., Okuyama, S., Ogata, F., Maruoka, Y., Knapp, D. W., Karagiannis,
S. N., … Kobayashi, H. (2018). Near infrared photoimmunotherapy targeting bladder
cancer with a canine anti-epidermal growth factor receptor (EGFR) antibody. Oncotarget.
Impact Journals. https://doi.org/10.18632/oncotarget.24876
chicago: Nagaya, Tadanobu, Shuhei Okuyama, Fusa Ogata, Yasuhiro Maruoka, Deborah
W. Knapp, Sophia N. Karagiannis, Judit Singer, et al. “Near Infrared Photoimmunotherapy
Targeting Bladder Cancer with a Canine Anti-Epidermal Growth Factor Receptor (EGFR)
Antibody.” Oncotarget. Impact Journals, 2018. https://doi.org/10.18632/oncotarget.24876.
ieee: T. Nagaya et al., “Near infrared photoimmunotherapy targeting bladder
cancer with a canine anti-epidermal growth factor receptor (EGFR) antibody,” Oncotarget,
vol. 9. Impact Journals, pp. 19026–19038, 2018.
ista: Nagaya T, Okuyama S, Ogata F, Maruoka Y, Knapp DW, Karagiannis SN, Singer
J, Choyke PL, LeBlanc AK, Jensen-Jarolim E, Kobayashi H. 2018. Near infrared photoimmunotherapy
targeting bladder cancer with a canine anti-epidermal growth factor receptor (EGFR)
antibody. Oncotarget. 9, 19026–19038.
mla: Nagaya, Tadanobu, et al. “Near Infrared Photoimmunotherapy Targeting Bladder
Cancer with a Canine Anti-Epidermal Growth Factor Receptor (EGFR) Antibody.” Oncotarget,
vol. 9, Impact Journals, 2018, pp. 19026–38, doi:10.18632/oncotarget.24876.
short: T. Nagaya, S. Okuyama, F. Ogata, Y. Maruoka, D.W. Knapp, S.N. Karagiannis,
J. Singer, P.L. Choyke, A.K. LeBlanc, E. Jensen-Jarolim, H. Kobayashi, Oncotarget
9 (2018) 19026–19038.
date_created: 2020-08-10T11:52:54Z
date_published: 2018-04-10T00:00:00Z
date_updated: 2021-01-12T08:17:37Z
day: '10'
doi: 10.18632/oncotarget.24876
extern: '1'
intvolume: ' 9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.18632/oncotarget.24876
month: '04'
oa: 1
oa_version: Published Version
page: 19026-19038
publication: Oncotarget
publication_identifier:
eissn:
- 1949-2553
publication_status: published
publisher: Impact Journals
quality_controlled: '1'
status: public
title: Near infrared photoimmunotherapy targeting bladder cancer with a canine anti-epidermal
growth factor receptor (EGFR) antibody
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2018'
...
---
_id: '8233'
abstract:
- lang: eng
text: The M2a subtype of macrophages plays an important role in human immunoglobulin
E (IgE-mediated allergies) and other Th2 type immune reactions. In contrast, very
little is known about these cells in the dog. Here we describe an in vitro method
to activate canine histiocytic DH82 cells and primary canine monocyte-derived
macrophages (MDMs) toward the M2a macrophages using human cytokines. For a side-by-side
comparison, we compared the canine cells to human MDMs, and the human monocytic
cell line U937 activated towards M1 and M2a cells on the cellular and molecular
level. In analogy to activated human M2a cells, canine M2a, differentiated from
both DH82 and MDMs, showed an increase in CD206 surface receptor expression compared
to M1. Interestingly, canine M2a, but not M1 derived from MDM, upregulated the
high-affinity IgE receptor (FcεRI). Transcription levels of M2a-associated genes
(IL10, CCL22, TGFβ, CD163) showed a diverse pattern between the human and dog
species, whereas M1 genes (IDO1, CXCL11, IL6, TNF-α) were similarly upregulated
in canine and human M1 cells (cell lines and MDMs). We suggest that our novel
in vitro method will be suitable in comparative allergology studies focussing
on macrophages.
article_processing_charge: No
article_type: original
author:
- first_name: Ina
full_name: Herrmann, Ina
last_name: Herrmann
- first_name: Jelena
full_name: Gotovina, Jelena
last_name: Gotovina
- first_name: Judit
full_name: Fazekas-Singer, Judit
id: 36432834-F248-11E8-B48F-1D18A9856A87
last_name: Fazekas-Singer
orcid: 0000-0002-8777-3502
- first_name: Michael B.
full_name: Fischer, Michael B.
last_name: Fischer
- first_name: Karin
full_name: Hufnagl, Karin
last_name: Hufnagl
- first_name: Rodolfo
full_name: Bianchini, Rodolfo
last_name: Bianchini
- first_name: Erika
full_name: Jensen-Jarolim, Erika
last_name: Jensen-Jarolim
citation:
ama: Herrmann I, Gotovina J, Singer J, et al. Canine macrophages can like human
macrophages be in vitro activated toward the M2a subtype relevant in allergy.
Developmental & Comparative Immunology. 2018;82(5):118-127. doi:10.1016/j.dci.2018.01.005
apa: Herrmann, I., Gotovina, J., Singer, J., Fischer, M. B., Hufnagl, K., Bianchini,
R., & Jensen-Jarolim, E. (2018). Canine macrophages can like human macrophages
be in vitro activated toward the M2a subtype relevant in allergy. Developmental
& Comparative Immunology. Elsevier. https://doi.org/10.1016/j.dci.2018.01.005
chicago: Herrmann, Ina, Jelena Gotovina, Judit Singer, Michael B. Fischer, Karin
Hufnagl, Rodolfo Bianchini, and Erika Jensen-Jarolim. “Canine Macrophages Can
like Human Macrophages Be in Vitro Activated toward the M2a Subtype Relevant in
Allergy.” Developmental & Comparative Immunology. Elsevier, 2018. https://doi.org/10.1016/j.dci.2018.01.005.
ieee: I. Herrmann et al., “Canine macrophages can like human macrophages
be in vitro activated toward the M2a subtype relevant in allergy,” Developmental
& Comparative Immunology, vol. 82, no. 5. Elsevier, pp. 118–127, 2018.
ista: Herrmann I, Gotovina J, Singer J, Fischer MB, Hufnagl K, Bianchini R, Jensen-Jarolim
E. 2018. Canine macrophages can like human macrophages be in vitro activated toward
the M2a subtype relevant in allergy. Developmental & Comparative Immunology.
82(5), 118–127.
mla: Herrmann, Ina, et al. “Canine Macrophages Can like Human Macrophages Be in Vitro
Activated toward the M2a Subtype Relevant in Allergy.” Developmental &
Comparative Immunology, vol. 82, no. 5, Elsevier, 2018, pp. 118–27, doi:10.1016/j.dci.2018.01.005.
short: I. Herrmann, J. Gotovina, J. Singer, M.B. Fischer, K. Hufnagl, R. Bianchini,
E. Jensen-Jarolim, Developmental & Comparative Immunology 82 (2018) 118–127.
date_created: 2020-08-10T11:53:01Z
date_published: 2018-05-01T00:00:00Z
date_updated: 2021-01-12T08:17:38Z
day: '01'
doi: 10.1016/j.dci.2018.01.005
extern: '1'
intvolume: ' 82'
issue: '5'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1016/j.dci.2018.01.005
month: '05'
oa: 1
oa_version: Published Version
page: 118-127
publication: Developmental & Comparative Immunology
publication_identifier:
issn:
- 0145-305X
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: Canine macrophages can like human macrophages be in vitro activated toward
the M2a subtype relevant in allergy
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 82
year: '2018'
...
---
_id: '8234'
abstract:
- lang: eng
text: Molecular imaging probes such as PET-tracers have the potential to improve
the accuracy of tumor characterization by directly visualizing the biochemical
situation. Thus, molecular changes can be detected early before morphological
manifestation. The A3 adenosine receptor (A3AR) is described to be highly expressed
in colon cancer cell lines and human colorectal cancer (CRC), suggesting this
receptor as a tumor marker. The aim of this preclinical study was the evaluation
of FE@SUPPY as a PET-tracer for CRC using in vitro imaging and in vivo PET imaging.
First, affinity and selectivity of FE@SUPPY and its metabolites were determined,
proving the favorable binding profile of FE@SUPPY. The human adenocarcinoma cell
line HT-29 was characterized regarding its hA3AR expression and was subsequently
chosen as tumor graft. Promising results regarding the potential of FE@SUPPY as
a PET-tracer for CRC imaging were obtained by autoradiography as ≥2.3-fold higher
accumulation of FE@SUPPY was found in CRC tissue compared to adjacent healthy
colon tissue from the same patient. Nevertheless, first in vivo studies using
HT-29 xenografts showed insufficient tumor uptake due to (1) poor conservation
of target expression in xenografts and (2) unfavorable pharmacokinetics of FE@SUPPY
in mice. We therefore conclude that HT-29 xenografts are not adequate to visualize
hA3ARs using FE@SUPPY.
article_number: '1269830'
article_processing_charge: No
article_type: original
author:
- first_name: T.
full_name: Balber, T.
last_name: Balber
- first_name: Judit
full_name: Singer, Judit
id: 36432834-F248-11E8-B48F-1D18A9856A87
last_name: Singer
orcid: 0000-0002-8777-3502
- first_name: N.
full_name: Berroterán-Infante, N.
last_name: Berroterán-Infante
- first_name: M.
full_name: Dumanic, M.
last_name: Dumanic
- first_name: L.
full_name: Fetty, L.
last_name: Fetty
- first_name: J.
full_name: Fazekas-Singer, J.
last_name: Fazekas-Singer
orcid: 0000-0002-8777-3502
- first_name: C.
full_name: Vraka, C.
last_name: Vraka
- first_name: L.
full_name: Nics, L.
last_name: Nics
- first_name: M.
full_name: Bergmann, M.
last_name: Bergmann
- first_name: K.
full_name: Pallitsch, K.
last_name: Pallitsch
- first_name: H.
full_name: Spreitzer, H.
last_name: Spreitzer
- first_name: W.
full_name: Wadsak, W.
last_name: Wadsak
orcid: 0000-0003-4479-8053
- first_name: M.
full_name: Hacker, M.
last_name: Hacker
- first_name: E.
full_name: Jensen-Jarolim, E.
last_name: Jensen-Jarolim
- first_name: H.
full_name: Viernstein, H.
last_name: Viernstein
- first_name: M.
full_name: Mitterhauser, M.
last_name: Mitterhauser
orcid: 0000-0003-3173-5272
citation:
ama: 'Balber T, Singer J, Berroterán-Infante N, et al. Preclinical in vitro and
in vivo evaluation of [18F]FE@SUPPY for cancer PET imaging: Limitations of a xenograft
model for colorectal cancer. Contrast Media & Molecular Imaging. 2018;2018.
doi:10.1155/2018/1269830'
apa: 'Balber, T., Singer, J., Berroterán-Infante, N., Dumanic, M., Fetty, L., Fazekas-Singer,
J., … Mitterhauser, M. (2018). Preclinical in vitro and in vivo evaluation of
[18F]FE@SUPPY for cancer PET imaging: Limitations of a xenograft model for colorectal
cancer. Contrast Media & Molecular Imaging. Hindawi. https://doi.org/10.1155/2018/1269830'
chicago: 'Balber, T., Judit Singer, N. Berroterán-Infante, M. Dumanic, L. Fetty,
J. Fazekas-Singer, C. Vraka, et al. “Preclinical in Vitro and in Vivo Evaluation
of [18F]FE@SUPPY for Cancer PET Imaging: Limitations of a Xenograft Model for
Colorectal Cancer.” Contrast Media & Molecular Imaging. Hindawi, 2018.
https://doi.org/10.1155/2018/1269830.'
ieee: 'T. Balber et al., “Preclinical in vitro and in vivo evaluation of
[18F]FE@SUPPY for cancer PET imaging: Limitations of a xenograft model for colorectal
cancer,” Contrast Media & Molecular Imaging, vol. 2018. Hindawi, 2018.'
ista: 'Balber T, Singer J, Berroterán-Infante N, Dumanic M, Fetty L, Fazekas-Singer
J, Vraka C, Nics L, Bergmann M, Pallitsch K, Spreitzer H, Wadsak W, Hacker M,
Jensen-Jarolim E, Viernstein H, Mitterhauser M. 2018. Preclinical in vitro and
in vivo evaluation of [18F]FE@SUPPY for cancer PET imaging: Limitations of a xenograft
model for colorectal cancer. Contrast Media & Molecular Imaging. 2018, 1269830.'
mla: 'Balber, T., et al. “Preclinical in Vitro and in Vivo Evaluation of [18F]FE@SUPPY
for Cancer PET Imaging: Limitations of a Xenograft Model for Colorectal Cancer.”
Contrast Media & Molecular Imaging, vol. 2018, 1269830, Hindawi, 2018,
doi:10.1155/2018/1269830.'
short: T. Balber, J. Singer, N. Berroterán-Infante, M. Dumanic, L. Fetty, J. Fazekas-Singer,
C. Vraka, L. Nics, M. Bergmann, K. Pallitsch, H. Spreitzer, W. Wadsak, M. Hacker,
E. Jensen-Jarolim, H. Viernstein, M. Mitterhauser, Contrast Media & Molecular
Imaging 2018 (2018).
date_created: 2020-08-10T11:53:07Z
date_published: 2018-02-13T00:00:00Z
date_updated: 2021-01-12T08:17:38Z
day: '13'
doi: 10.1155/2018/1269830
extern: '1'
intvolume: ' 2018'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1155/2018/1269830
month: '02'
oa: 1
oa_version: Published Version
publication: Contrast Media & Molecular Imaging
publication_identifier:
issn:
- 1555-4309
- 1555-4317
publication_status: published
publisher: Hindawi
quality_controlled: '1'
status: public
title: 'Preclinical in vitro and in vivo evaluation of [18F]FE@SUPPY for cancer PET
imaging: Limitations of a xenograft model for colorectal cancer'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2018
year: '2018'
...
---
_id: '8262'
abstract:
- lang: eng
text: "Background: The genus Burkholderia consists of species that occupy remarkably
diverse ecological niches. Its best known members are important pathogens, B.
mallei and B. pseudomallei, which cause glanders and melioidosis, respectively.
Burkholderia genomes are unusual due to their multichromosomal organization, generally
comprised of 2-3 chromosomes.\r\n\r\nResults: We performed integrated genomic
analysis of 127 Burkholderia strains. The pan-genome is open with the saturation
to be reached between 86,000 and 88,000 genes. The reconstructed rearrangements
indicate a strong avoidance of intra-replichore inversions that is likely caused
by selection against the transfer of large groups of genes between the leading
and the lagging strands. Translocated genes also tend to retain their position
in the leading or the lagging strand, and this selection is stronger for large
syntenies. Integrated reconstruction of chromosome rearrangements in the context
of strains phylogeny reveals parallel rearrangements that may indicate inversion-based
phase variation and integration of new genomic islands. In particular, we detected
parallel inversions in the second chromosomes of B. pseudomallei with breakpoints
formed by genes encoding membrane components of multidrug resistance complex,
that may be linked to a phase variation mechanism. Two genomic islands, spreading
horizontally between chromosomes, were detected in the B. cepacia group.\r\n\r\nConclusions:
This study demonstrates the power of integrated analysis of pan-genomes, chromosome
rearrangements, and selection regimes. Non-random inversion patterns indicate
selective pressure, inversions are particularly frequent in a recent pathogen
B. mallei, and, together with periods of positive selection at other branches,
may indicate adaptation to new niches. One such adaptation could be a possible
phase variation mechanism in B. pseudomallei."
article_number: '965'
article_processing_charge: No
article_type: original
author:
- first_name: Olga
full_name: Bochkareva, Olga
id: C4558D3C-6102-11E9-A62E-F418E6697425
last_name: Bochkareva
orcid: 0000-0003-1006-6639
- first_name: Elena V.
full_name: Moroz, Elena V.
last_name: Moroz
- first_name: Iakov I.
full_name: Davydov, Iakov I.
last_name: Davydov
- first_name: Mikhail S.
full_name: Gelfand, Mikhail S.
last_name: Gelfand
citation:
ama: Bochkareva O, Moroz EV, Davydov II, Gelfand MS. Genome rearrangements and selection
in multi-chromosome bacteria Burkholderia spp. BMC Genomics. 2018;19. doi:10.1186/s12864-018-5245-1
apa: Bochkareva, O., Moroz, E. V., Davydov, I. I., & Gelfand, M. S. (2018).
Genome rearrangements and selection in multi-chromosome bacteria Burkholderia
spp. BMC Genomics. Springer Nature. https://doi.org/10.1186/s12864-018-5245-1
chicago: Bochkareva, Olga, Elena V. Moroz, Iakov I. Davydov, and Mikhail S. Gelfand.
“Genome Rearrangements and Selection in Multi-Chromosome Bacteria Burkholderia
Spp.” BMC Genomics. Springer Nature, 2018. https://doi.org/10.1186/s12864-018-5245-1.
ieee: O. Bochkareva, E. V. Moroz, I. I. Davydov, and M. S. Gelfand, “Genome rearrangements
and selection in multi-chromosome bacteria Burkholderia spp.,” BMC Genomics,
vol. 19. Springer Nature, 2018.
ista: Bochkareva O, Moroz EV, Davydov II, Gelfand MS. 2018. Genome rearrangements
and selection in multi-chromosome bacteria Burkholderia spp. BMC Genomics. 19,
965.
mla: Bochkareva, Olga, et al. “Genome Rearrangements and Selection in Multi-Chromosome
Bacteria Burkholderia Spp.” BMC Genomics, vol. 19, 965, Springer Nature,
2018, doi:10.1186/s12864-018-5245-1.
short: O. Bochkareva, E.V. Moroz, I.I. Davydov, M.S. Gelfand, BMC Genomics 19 (2018).
date_created: 2020-08-15T11:02:08Z
date_published: 2018-12-27T00:00:00Z
date_updated: 2023-02-23T13:28:52Z
day: '27'
doi: 10.1186/s12864-018-5245-1
extern: '1'
intvolume: ' 19'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1186/s12864-018-5245-1
month: '12'
oa: 1
oa_version: Published Version
publication: BMC Genomics
publication_identifier:
issn:
- 1471-2164
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Genome rearrangements and selection in multi-chromosome bacteria Burkholderia
spp.
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 19
year: '2018'
...
---
_id: '8265'
abstract:
- lang: eng
text: Genome rearrangements have played an important role in the evolution of Yersinia
pestis from its progenitor Yersinia pseudotuberculosis. Traditional phylogenetic
trees for Y. pestis based on sequence comparison have short internal branches
and low bootstrap supports as only a small number of nucleotide substitutions
have occurred. On the other hand, even a small number of genome rearrangements
may resolve topological ambiguities in a phylogenetic tree. We reconstructed phylogenetic
trees based on genome rearrangements using several popular approaches such as
Maximum likelihood for Gene Order and the Bayesian model of genome rearrangements
by inversions. We also reconciled phylogenetic trees for each of the three CRISPR
loci to obtain an integrated scenario of the CRISPR cassette evolution. Analysis
of contradictions between the obtained evolutionary trees yielded numerous parallel
inversions and gain/loss events. Our data indicate that an integrated analysis
of sequence-based and inversion-based trees enhances the resolution of phylogenetic
reconstruction. In contrast, reconstructions of strain relationships based on
solely CRISPR loci may not be reliable, as the history is obscured by large deletions,
obliterating the order of spacer gains. Similarly, numerous parallel gene losses
preclude reconstruction of phylogeny based on gene content.
article_number: e4545
article_processing_charge: No
article_type: original
author:
- first_name: Olga
full_name: Bochkareva, Olga
id: C4558D3C-6102-11E9-A62E-F418E6697425
last_name: Bochkareva
orcid: 0000-0003-1006-6639
- first_name: Natalia O.
full_name: Dranenko, Natalia O.
last_name: Dranenko
- first_name: Elena S.
full_name: Ocheredko, Elena S.
last_name: Ocheredko
- first_name: German M.
full_name: Kanevsky, German M.
last_name: Kanevsky
- first_name: Yaroslav N.
full_name: Lozinsky, Yaroslav N.
last_name: Lozinsky
- first_name: Vera A.
full_name: Khalaycheva, Vera A.
last_name: Khalaycheva
- first_name: Irena I.
full_name: Artamonova, Irena I.
last_name: Artamonova
- first_name: Mikhail S.
full_name: Gelfand, Mikhail S.
last_name: Gelfand
citation:
ama: Bochkareva O, Dranenko NO, Ocheredko ES, et al. Genome rearrangements and phylogeny
reconstruction in Yersinia pestis. PeerJ. 2018;6. doi:10.7717/peerj.4545
apa: Bochkareva, O., Dranenko, N. O., Ocheredko, E. S., Kanevsky, G. M., Lozinsky,
Y. N., Khalaycheva, V. A., … Gelfand, M. S. (2018). Genome rearrangements and
phylogeny reconstruction in Yersinia pestis. PeerJ. PeerJ. https://doi.org/10.7717/peerj.4545
chicago: Bochkareva, Olga, Natalia O. Dranenko, Elena S. Ocheredko, German M. Kanevsky,
Yaroslav N. Lozinsky, Vera A. Khalaycheva, Irena I. Artamonova, and Mikhail S.
Gelfand. “Genome Rearrangements and Phylogeny Reconstruction in Yersinia Pestis.”
PeerJ. PeerJ, 2018. https://doi.org/10.7717/peerj.4545.
ieee: O. Bochkareva et al., “Genome rearrangements and phylogeny reconstruction
in Yersinia pestis,” PeerJ, vol. 6. PeerJ, 2018.
ista: Bochkareva O, Dranenko NO, Ocheredko ES, Kanevsky GM, Lozinsky YN, Khalaycheva
VA, Artamonova II, Gelfand MS. 2018. Genome rearrangements and phylogeny reconstruction
in Yersinia pestis. PeerJ. 6, e4545.
mla: Bochkareva, Olga, et al. “Genome Rearrangements and Phylogeny Reconstruction
in Yersinia Pestis.” PeerJ, vol. 6, e4545, PeerJ, 2018, doi:10.7717/peerj.4545.
short: O. Bochkareva, N.O. Dranenko, E.S. Ocheredko, G.M. Kanevsky, Y.N. Lozinsky,
V.A. Khalaycheva, I.I. Artamonova, M.S. Gelfand, PeerJ 6 (2018).
date_created: 2020-08-15T11:08:23Z
date_published: 2018-03-27T00:00:00Z
date_updated: 2023-02-23T13:28:57Z
day: '27'
doi: 10.7717/peerj.4545
extern: '1'
external_id:
pmid:
- '29607260'
intvolume: ' 6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.7717/peerj.4545
month: '03'
oa: 1
oa_version: Published Version
pmid: 1
publication: PeerJ
publication_identifier:
issn:
- 2167-8359
publication_status: published
publisher: PeerJ
quality_controlled: '1'
status: public
title: Genome rearrangements and phylogeny reconstruction in Yersinia pestis
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2018'
...
---
_id: '8274'
abstract:
- lang: eng
text: 'Background/Aim: Our aim was to investigate the crosstalk between tumor and
immune cells (M2 macrophages) and its effects on cyclo-oxygenase-2 (COX2) regulation
in canine mammary tumors (CMT). Materials and Methods: Sh1b CMT cells and human
BT474 mammary or HT29 colon cancer cells were co-cultured with canine peripheral
blood mononuclear cells (PBMCs) or with macrophage-like differentiated THP1 monocytes
(dTHP1). Intracellular COX2 expression by PBMCs, dTHP1 and cancer cells was evaluated
by flow cytometry. Results: Co-culturing of Sh1b and canine PBMCs induced COX2
overexpression in CMT cells. In turn, COX2 expression by PBMCs, mostly CD68+ macrophages,
was attenuated by co-culture with Sh1b (p=0.0001). In accordance, co-culture with
dTHP1 prompted intracellular production of COX2 in both Sh1b CMT cells and HT29
human colon cancer cells and reduced production of COX2 in BT474 human mammary
cancer cells. The intracellular COX2 expression from dTHP1 decreased when treated
with conditioned medium from cultured Sh1b and HT29 cancer cells. Conclusion:
Bidirectional COX2 regulation between cancer and monocytes/macrophages might shape
a tolerogenic tumor microenvironment in CMT.'
article_processing_charge: No
article_type: original
author:
- first_name: Maria Isabel
full_name: Carvalho, Maria Isabel
last_name: Carvalho
- first_name: Rodolfo
full_name: Bianchini, Rodolfo
last_name: Bianchini
- first_name: Judit
full_name: Fazekas-Singer, Judit
id: 36432834-F248-11E8-B48F-1D18A9856A87
last_name: Fazekas-Singer
orcid: 0000-0002-8777-3502
- first_name: Ina
full_name: Herrmann, Ina
last_name: Herrmann
- first_name: Irene
full_name: Flickinger, Irene
last_name: Flickinger
- first_name: Johann G.
full_name: Thalhammer, Johann G.
last_name: Thalhammer
- first_name: Isabel
full_name: Pires, Isabel
last_name: Pires
- first_name: Erika
full_name: Jensen-Jarolim, Erika
last_name: Jensen-Jarolim
- first_name: Felisbina L.
full_name: Queiroga, Felisbina L.
last_name: Queiroga
citation:
ama: Carvalho MI, Bianchini R, Singer J, et al. Bidirectional regulation of COX-2
expression between cancer cells and macrophages. Anticancer Research. 2018;38(5):2811-2817.
doi:10.21873/anticanres.12525
apa: Carvalho, M. I., Bianchini, R., Singer, J., Herrmann, I., Flickinger, I., Thalhammer,
J. G., … Queiroga, F. L. (2018). Bidirectional regulation of COX-2 expression
between cancer cells and macrophages. Anticancer Research. International
Institute of Anticancer Research. https://doi.org/10.21873/anticanres.12525
chicago: Carvalho, Maria Isabel, Rodolfo Bianchini, Judit Singer, Ina Herrmann,
Irene Flickinger, Johann G. Thalhammer, Isabel Pires, Erika Jensen-Jarolim, and
Felisbina L. Queiroga. “Bidirectional Regulation of COX-2 Expression between Cancer
Cells and Macrophages.” Anticancer Research. International Institute of
Anticancer Research, 2018. https://doi.org/10.21873/anticanres.12525.
ieee: M. I. Carvalho et al., “Bidirectional regulation of COX-2 expression
between cancer cells and macrophages,” Anticancer Research, vol. 38, no.
5. International Institute of Anticancer Research, pp. 2811–2817, 2018.
ista: Carvalho MI, Bianchini R, Singer J, Herrmann I, Flickinger I, Thalhammer JG,
Pires I, Jensen-Jarolim E, Queiroga FL. 2018. Bidirectional regulation of COX-2
expression between cancer cells and macrophages. Anticancer Research. 38(5), 2811–2817.
mla: Carvalho, Maria Isabel, et al. “Bidirectional Regulation of COX-2 Expression
between Cancer Cells and Macrophages.” Anticancer Research, vol. 38, no.
5, International Institute of Anticancer Research, 2018, pp. 2811–17, doi:10.21873/anticanres.12525.
short: M.I. Carvalho, R. Bianchini, J. Singer, I. Herrmann, I. Flickinger, J.G.
Thalhammer, I. Pires, E. Jensen-Jarolim, F.L. Queiroga, Anticancer Research 38
(2018) 2811–2817.
date_created: 2020-08-17T07:13:55Z
date_published: 2018-05-01T00:00:00Z
date_updated: 2021-01-12T08:17:52Z
day: '01'
doi: 10.21873/anticanres.12525
extern: '1'
intvolume: ' 38'
issue: '5'
language:
- iso: eng
month: '05'
oa_version: None
page: 2811-2817
publication: Anticancer Research
publication_identifier:
eissn:
- 1791-7530
issn:
- 0250-7005
publication_status: published
publisher: International Institute of Anticancer Research
quality_controlled: '1'
status: public
title: Bidirectional regulation of COX-2 expression between cancer cells and macrophages
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 38
year: '2018'
...
---
_id: '8297'
abstract:
- lang: eng
text: "Designing a secure permissionless distributed ledger (blockchain) that performs
on par with centralized payment\r\nprocessors, such as Visa, is a challenging
task. Most existing distributed ledgers are unable to scale-out, i.e., to grow
their totalprocessing capacity with the number of validators; and those that do,
compromise security or decentralization. We present OmniLedger, a novel scale-out
distributed ledger that preserves longterm security under permissionless operation.
It ensures security and correctness by using a bias-resistant public-randomness
protocol for choosing large, statistically representative shards that process
transactions, and by introducing an efficient crossshard commit protocol that
atomically handles transactions affecting multiple shards. OmniLedger also optimizes
performance via parallel intra-shard transaction processing, ledger pruning via
collectively-signed state blocks, and low-latency “trust-butverify” \r\nvalidation
for low-value transactions. An evaluation ofour experimental prototype shows that
OmniLedger’s throughput\r\nscales linearly in the number of active validators,
supporting Visa-level workloads and beyond, while confirming typical transactions
in under two seconds."
article_processing_charge: No
author:
- first_name: Eleftherios
full_name: Kokoris Kogias, Eleftherios
id: f5983044-d7ef-11ea-ac6d-fd1430a26d30
last_name: Kokoris Kogias
- first_name: Philipp
full_name: Jovanovic, Philipp
last_name: Jovanovic
- first_name: Linus
full_name: Gasser, Linus
last_name: Gasser
- first_name: Nicolas
full_name: Gailly, Nicolas
last_name: Gailly
- first_name: Ewa
full_name: Syta, Ewa
last_name: Syta
- first_name: Bryan
full_name: Ford, Bryan
last_name: Ford
citation:
ama: 'Kokoris Kogias E, Jovanovic P, Gasser L, Gailly N, Syta E, Ford B. OmniLedger:
A secure, scale-out, decentralized ledger via sharding. In: 2018 IEEE Symposium
on Security and Privacy. IEEE; 2018:583-598. doi:10.1109/sp.2018.000-5'
apa: 'Kokoris Kogias, E., Jovanovic, P., Gasser, L., Gailly, N., Syta, E., &
Ford, B. (2018). OmniLedger: A secure, scale-out, decentralized ledger via sharding.
In 2018 IEEE Symposium on Security and Privacy (pp. 583–598). San Francisco,
CA, United States: IEEE. https://doi.org/10.1109/sp.2018.000-5'
chicago: 'Kokoris Kogias, Eleftherios, Philipp Jovanovic, Linus Gasser, Nicolas
Gailly, Ewa Syta, and Bryan Ford. “OmniLedger: A Secure, Scale-out, Decentralized
Ledger via Sharding.” In 2018 IEEE Symposium on Security and Privacy, 583–98.
IEEE, 2018. https://doi.org/10.1109/sp.2018.000-5.'
ieee: 'E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, E. Syta, and B. Ford,
“OmniLedger: A secure, scale-out, decentralized ledger via sharding,” in 2018
IEEE Symposium on Security and Privacy, San Francisco, CA, United States,
2018, pp. 583–598.'
ista: 'Kokoris Kogias E, Jovanovic P, Gasser L, Gailly N, Syta E, Ford B. 2018.
OmniLedger: A secure, scale-out, decentralized ledger via sharding. 2018 IEEE
Symposium on Security and Privacy. SP: Symposium on Security and Privacy, 583–598.'
mla: 'Kokoris Kogias, Eleftherios, et al. “OmniLedger: A Secure, Scale-out, Decentralized
Ledger via Sharding.” 2018 IEEE Symposium on Security and Privacy, IEEE,
2018, pp. 583–98, doi:10.1109/sp.2018.000-5.'
short: E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, E. Syta, B. Ford,
in:, 2018 IEEE Symposium on Security and Privacy, IEEE, 2018, pp. 583–598.
conference:
end_date: 2018-05-24
location: San Francisco, CA, United States
name: 'SP: Symposium on Security and Privacy'
start_date: 2018-05-20
date_created: 2020-08-26T11:46:35Z
date_published: 2018-07-26T00:00:00Z
date_updated: 2021-01-12T08:17:56Z
day: '26'
doi: 10.1109/sp.2018.000-5
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2017/406
month: '07'
oa: 1
oa_version: Preprint
page: 583-598
publication: 2018 IEEE Symposium on Security and Privacy
publication_identifier:
isbn:
- '9781538643532'
issn:
- 2375-1207
publication_status: published
publisher: IEEE
quality_controlled: '1'
status: public
title: 'OmniLedger: A secure, scale-out, decentralized ledger via sharding'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '8298'
abstract:
- lang: eng
text: Sharding, or partitioning the system’s state so that different subsets of
participants handle it, is a proven approach to building distributed systems whose
total capacity scales horizontally with the number of participants. Many distributed
ledgers have adopted this approach to increase their performance, however, they
focus on the permissionless setting that assumes the existence of a strong adversary.
In this paper, we deploy channels for permissioned blockchains. Our first contribution
is to adapt sharding on asset-management applications for the permissioned setting,
while preserving liveness and safety even on transactions spanning across-channels.
Our second contribution is to leverage channels as a confidentiality boundary,
enabling different organizations and consortia to preserve their privacy within
their channels and still be part of a bigger collaborative ecosystem. To make
our system concrete we map it on top of Hyperledger Fabric.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Elli
full_name: Androulaki, Elli
last_name: Androulaki
- first_name: Christian
full_name: Cachin, Christian
last_name: Cachin
- first_name: Angelo
full_name: De Caro, Angelo
last_name: De Caro
- first_name: Eleftherios
full_name: Kokoris Kogias, Eleftherios
id: f5983044-d7ef-11ea-ac6d-fd1430a26d30
last_name: Kokoris Kogias
citation:
ama: 'Androulaki E, Cachin C, De Caro A, Kokoris Kogias E. Channels: Horizontal
scaling and confidentiality on permissioned blockchains. In: Computer Security.
Vol 11098. Springer Nature; 2018:111-131. doi:10.1007/978-3-319-99073-6_6'
apa: 'Androulaki, E., Cachin, C., De Caro, A., & Kokoris Kogias, E. (2018).
Channels: Horizontal scaling and confidentiality on permissioned blockchains.
In Computer Security (Vol. 11098, pp. 111–131). Barcelona, Spain: Springer
Nature. https://doi.org/10.1007/978-3-319-99073-6_6'
chicago: 'Androulaki, Elli, Christian Cachin, Angelo De Caro, and Eleftherios Kokoris
Kogias. “Channels: Horizontal Scaling and Confidentiality on Permissioned Blockchains.”
In Computer Security, 11098:111–31. Springer Nature, 2018. https://doi.org/10.1007/978-3-319-99073-6_6.'
ieee: 'E. Androulaki, C. Cachin, A. De Caro, and E. Kokoris Kogias, “Channels: Horizontal
scaling and confidentiality on permissioned blockchains,” in Computer Security,
Barcelona, Spain, 2018, vol. 11098, pp. 111–131.'
ista: 'Androulaki E, Cachin C, De Caro A, Kokoris Kogias E. 2018. Channels: Horizontal
scaling and confidentiality on permissioned blockchains. Computer Security. ESORICS:
European Symposium on Research in Computer Security, LNCS, vol. 11098, 111–131.'
mla: 'Androulaki, Elli, et al. “Channels: Horizontal Scaling and Confidentiality
on Permissioned Blockchains.” Computer Security, vol. 11098, Springer Nature,
2018, pp. 111–31, doi:10.1007/978-3-319-99073-6_6.'
short: E. Androulaki, C. Cachin, A. De Caro, E. Kokoris Kogias, in:, Computer Security,
Springer Nature, 2018, pp. 111–131.
conference:
end_date: 2018-09-07
location: Barcelona, Spain
name: 'ESORICS: European Symposium on Research in Computer Security'
start_date: 2018-09-03
date_created: 2020-08-26T11:47:34Z
date_published: 2018-08-08T00:00:00Z
date_updated: 2021-01-12T08:17:57Z
day: '08'
doi: 10.1007/978-3-319-99073-6_6
extern: '1'
intvolume: ' 11098'
language:
- iso: eng
month: '08'
oa_version: None
page: 111-131
publication: Computer Security
publication_identifier:
eisbn:
- '9783319990736'
isbn:
- '9783319990729'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: 'Channels: Horizontal scaling and confidentiality on permissioned blockchains'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 11098
year: '2018'
...
---
_id: '83'
abstract:
- lang: eng
text: "A proof system is a protocol between a prover and a verifier over a common
input in which an honest prover convinces the verifier of the validity of true
statements. Motivated by the success of decentralized cryptocurrencies, exemplified
by Bitcoin, the focus of this thesis will be on proof systems which found applications
in some sustainable alternatives to Bitcoin, such as the Spacemint and Chia cryptocurrencies.
In particular, we focus on proofs of space and proofs of sequential work.\r\nProofs
of space (PoSpace) were suggested as more ecological, economical, and egalitarian
alternative to the energy-wasteful proof-of-work mining of Bitcoin. However, the
state-of-the-art constructions of PoSpace are based on sophisticated graph pebbling
lower bounds, and are therefore complex. Moreover, when these PoSpace are used
in cryptocurrencies like Spacemint, miners can only start mining after ensuring
that a commitment to their space is already added in a special transaction to
the blockchain. Proofs of sequential work (PoSW) are proof systems in which a
prover, upon receiving a statement x and a time parameter T, computes a proof
which convinces the verifier that T time units had passed since x was received.
Whereas Spacemint assumes synchrony to retain some interesting Bitcoin dynamics,
Chia requires PoSW with unique proofs, i.e., PoSW in which it is hard to come
up with more than one accepting proof for any true statement. In this thesis we
construct simple and practically-efficient PoSpace and PoSW. When using our PoSpace
in cryptocurrencies, miners can start mining on the fly, like in Bitcoin, and
unlike current constructions of PoSW, which either achieve efficient verification
of sequential work, or faster-than-recomputing verification of correctness of
proofs, but not both at the same time, ours achieve the best of these two worlds."
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Hamza M
full_name: Abusalah, Hamza M
id: 40297222-F248-11E8-B48F-1D18A9856A87
last_name: Abusalah
citation:
ama: Abusalah HM. Proof systems for sustainable decentralized cryptocurrencies.
2018. doi:10.15479/AT:ISTA:TH_1046
apa: Abusalah, H. M. (2018). Proof systems for sustainable decentralized cryptocurrencies.
Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1046
chicago: Abusalah, Hamza M. “Proof Systems for Sustainable Decentralized Cryptocurrencies.”
Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:TH_1046.
ieee: H. M. Abusalah, “Proof systems for sustainable decentralized cryptocurrencies,”
Institute of Science and Technology Austria, 2018.
ista: Abusalah HM. 2018. Proof systems for sustainable decentralized cryptocurrencies.
Institute of Science and Technology Austria.
mla: Abusalah, Hamza M. Proof Systems for Sustainable Decentralized Cryptocurrencies.
Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:TH_1046.
short: H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies,
Institute of Science and Technology Austria, 2018.
date_created: 2018-12-11T11:44:32Z
date_published: 2018-09-05T00:00:00Z
date_updated: 2023-09-07T12:30:23Z
day: '05'
ddc:
- '004'
degree_awarded: PhD
department:
- _id: KrPi
doi: 10.15479/AT:ISTA:TH_1046
ec_funded: 1
file:
- access_level: open_access
checksum: c4b5f7d111755d1396787f41886fc674
content_type: application/pdf
creator: dernst
date_created: 2019-04-09T06:43:41Z
date_updated: 2020-07-14T12:48:11Z
file_id: '6245'
file_name: 2018_Thesis_Abusalah.pdf
file_size: 876241
relation: main_file
- access_level: closed
checksum: 0f382ac56b471c48fd907d63eb87dafe
content_type: application/x-gzip
creator: dernst
date_created: 2019-04-09T06:43:41Z
date_updated: 2020-07-14T12:48:11Z
file_id: '6246'
file_name: 2018_Thesis_Abusalah_source.tar.gz
file_size: 2029190
relation: source_file
file_date_updated: 2020-07-14T12:48:11Z
has_accepted_license: '1'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
page: '59'
project:
- _id: 258C570E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '259668'
name: Provable Security for Physical Cryptography
- _id: 258AA5B2-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '682815'
name: Teaching Old Crypto New Tricks
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '7971'
pubrep_id: '1046'
related_material:
record:
- id: '1229'
relation: part_of_dissertation
status: public
- id: '1235'
relation: part_of_dissertation
status: public
- id: '1236'
relation: part_of_dissertation
status: public
- id: '559'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Krzysztof Z
full_name: Pietrzak, Krzysztof Z
id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87
last_name: Pietrzak
orcid: 0000-0002-9139-1654
title: Proof systems for sustainable decentralized cryptocurrencies
type: dissertation
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '8417'
abstract:
- lang: eng
text: The restricted planar elliptic three body problem (RPETBP) describes the motion
of a massless particle (a comet or an asteroid) under the gravitational field
of two massive bodies (the primaries, say the Sun and Jupiter) revolving around
their center of mass on elliptic orbits with some positive eccentricity. The aim
of this paper is to show the existence of orbits whose angular momentum performs
arbitrary excursions in a large region. In particular, there exist diffusive orbits,
that is, with a large variation of angular momentum. The leading idea of the proof
consists in analyzing parabolic motions of the comet. By a well-known result of
McGehee, the union of future (resp. past) parabolic orbits is an analytic manifold
P+ (resp. P−). In a properly chosen coordinate system these manifolds are stable
(resp. unstable) manifolds of a manifold at infinity P∞, which we call the manifold
at parabolic infinity. On P∞ it is possible to define two scattering maps, which
contain the map structure of the homoclinic trajectories to it, i.e. orbits parabolic
both in the future and the past. Since the inner dynamics inside P∞ is trivial,
two different scattering maps are used. The combination of these two scattering
maps permits the design of the desired diffusive pseudo-orbits. Using shadowing
techniques and these pseudo orbits we show the existence of true trajectories
of the RPETBP whose angular momentum varies in any predetermined fashion.
article_processing_charge: No
article_type: original
author:
- first_name: Amadeu
full_name: Delshams, Amadeu
last_name: Delshams
- first_name: Vadim
full_name: Kaloshin, Vadim
id: FE553552-CDE8-11E9-B324-C0EBE5697425
last_name: Kaloshin
orcid: 0000-0002-6051-2628
- first_name: Abraham
full_name: de la Rosa, Abraham
last_name: de la Rosa
- first_name: Tere M.
full_name: Seara, Tere M.
last_name: Seara
citation:
ama: Delshams A, Kaloshin V, de la Rosa A, Seara TM. Global instability in the restricted
planar elliptic three body problem. Communications in Mathematical Physics.
2018;366(3):1173-1228. doi:10.1007/s00220-018-3248-z
apa: Delshams, A., Kaloshin, V., de la Rosa, A., & Seara, T. M. (2018). Global
instability in the restricted planar elliptic three body problem. Communications
in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-018-3248-z
chicago: Delshams, Amadeu, Vadim Kaloshin, Abraham de la Rosa, and Tere M. Seara.
“Global Instability in the Restricted Planar Elliptic Three Body Problem.” Communications
in Mathematical Physics. Springer Nature, 2018. https://doi.org/10.1007/s00220-018-3248-z.
ieee: A. Delshams, V. Kaloshin, A. de la Rosa, and T. M. Seara, “Global instability
in the restricted planar elliptic three body problem,” Communications in Mathematical
Physics, vol. 366, no. 3. Springer Nature, pp. 1173–1228, 2018.
ista: Delshams A, Kaloshin V, de la Rosa A, Seara TM. 2018. Global instability in
the restricted planar elliptic three body problem. Communications in Mathematical
Physics. 366(3), 1173–1228.
mla: Delshams, Amadeu, et al. “Global Instability in the Restricted Planar Elliptic
Three Body Problem.” Communications in Mathematical Physics, vol. 366,
no. 3, Springer Nature, 2018, pp. 1173–228, doi:10.1007/s00220-018-3248-z.
short: A. Delshams, V. Kaloshin, A. de la Rosa, T.M. Seara, Communications in Mathematical
Physics 366 (2018) 1173–1228.
date_created: 2020-09-17T10:41:43Z
date_published: 2018-09-05T00:00:00Z
date_updated: 2021-01-12T08:19:08Z
day: '05'
doi: 10.1007/s00220-018-3248-z
extern: '1'
intvolume: ' 366'
issue: '3'
keyword:
- Mathematical Physics
- Statistical and Nonlinear Physics
language:
- iso: eng
month: '09'
oa_version: None
page: 1173-1228
publication: Communications in Mathematical Physics
publication_identifier:
issn:
- 0010-3616
- 1432-0916
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Global instability in the restricted planar elliptic three body problem
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 366
year: '2018'
...
---
_id: '8419'
abstract:
- lang: eng
text: "In this survey, we provide a concise introduction to convex billiards and
describe some recent results, obtained by the authors and collaborators, on the
classification of integrable billiards, namely the so-called Birkhoff conjecture.\r\n\r\nThis
article is part of the theme issue ‘Finite dimensional integrable systems: new
trends and methods’."
article_number: '20170419'
article_processing_charge: No
article_type: original
author:
- first_name: Vadim
full_name: Kaloshin, Vadim
id: FE553552-CDE8-11E9-B324-C0EBE5697425
last_name: Kaloshin
orcid: 0000-0002-6051-2628
- first_name: Alfonso
full_name: Sorrentino, Alfonso
last_name: Sorrentino
citation:
ama: 'Kaloshin V, Sorrentino A. On the integrability of Birkhoff billiards. Philosophical
Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
2018;376(2131). doi:10.1098/rsta.2017.0419'
apa: 'Kaloshin, V., & Sorrentino, A. (2018). On the integrability of Birkhoff
billiards. Philosophical Transactions of the Royal Society A: Mathematical,
Physical and Engineering Sciences. The Royal Society. https://doi.org/10.1098/rsta.2017.0419'
chicago: 'Kaloshin, Vadim, and Alfonso Sorrentino. “On the Integrability of Birkhoff
Billiards.” Philosophical Transactions of the Royal Society A: Mathematical,
Physical and Engineering Sciences. The Royal Society, 2018. https://doi.org/10.1098/rsta.2017.0419.'
ieee: 'V. Kaloshin and A. Sorrentino, “On the integrability of Birkhoff billiards,”
Philosophical Transactions of the Royal Society A: Mathematical, Physical and
Engineering Sciences, vol. 376, no. 2131. The Royal Society, 2018.'
ista: 'Kaloshin V, Sorrentino A. 2018. On the integrability of Birkhoff billiards.
Philosophical Transactions of the Royal Society A: Mathematical, Physical and
Engineering Sciences. 376(2131), 20170419.'
mla: 'Kaloshin, Vadim, and Alfonso Sorrentino. “On the Integrability of Birkhoff
Billiards.” Philosophical Transactions of the Royal Society A: Mathematical,
Physical and Engineering Sciences, vol. 376, no. 2131, 20170419, The Royal
Society, 2018, doi:10.1098/rsta.2017.0419.'
short: 'V. Kaloshin, A. Sorrentino, Philosophical Transactions of the Royal Society
A: Mathematical, Physical and Engineering Sciences 376 (2018).'
date_created: 2020-09-17T10:42:01Z
date_published: 2018-10-28T00:00:00Z
date_updated: 2021-01-12T08:19:09Z
day: '28'
doi: 10.1098/rsta.2017.0419
extern: '1'
intvolume: ' 376'
issue: '2131'
keyword:
- General Engineering
- General Physics and Astronomy
- General Mathematics
language:
- iso: eng
month: '10'
oa_version: None
publication: 'Philosophical Transactions of the Royal Society A: Mathematical, Physical
and Engineering Sciences'
publication_identifier:
issn:
- 1364-503X
- 1471-2962
publication_status: published
publisher: The Royal Society
quality_controlled: '1'
status: public
title: On the integrability of Birkhoff billiards
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 376
year: '2018'
...
---
_id: '8420'
abstract:
- lang: eng
text: We show that in the space of all convex billiard boundaries, the set of boundaries
with rational caustics is dense. More precisely, the set of billiard boundaries
with caustics of rotation number 1/q is polynomially sense in the smooth case,
and exponentially dense in the analytic case.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Vadim
full_name: Kaloshin, Vadim
id: FE553552-CDE8-11E9-B324-C0EBE5697425
last_name: Kaloshin
orcid: 0000-0002-6051-2628
- first_name: Ke
full_name: Zhang, Ke
last_name: Zhang
citation:
ama: Kaloshin V, Zhang K. Density of convex billiards with rational caustics. Nonlinearity.
2018;31(11):5214-5234. doi:10.1088/1361-6544/aadc12
apa: Kaloshin, V., & Zhang, K. (2018). Density of convex billiards with rational
caustics. Nonlinearity. IOP Publishing. https://doi.org/10.1088/1361-6544/aadc12
chicago: Kaloshin, Vadim, and Ke Zhang. “Density of Convex Billiards with Rational
Caustics.” Nonlinearity. IOP Publishing, 2018. https://doi.org/10.1088/1361-6544/aadc12.
ieee: V. Kaloshin and K. Zhang, “Density of convex billiards with rational caustics,”
Nonlinearity, vol. 31, no. 11. IOP Publishing, pp. 5214–5234, 2018.
ista: Kaloshin V, Zhang K. 2018. Density of convex billiards with rational caustics.
Nonlinearity. 31(11), 5214–5234.
mla: Kaloshin, Vadim, and Ke Zhang. “Density of Convex Billiards with Rational Caustics.”
Nonlinearity, vol. 31, no. 11, IOP Publishing, 2018, pp. 5214–34, doi:10.1088/1361-6544/aadc12.
short: V. Kaloshin, K. Zhang, Nonlinearity 31 (2018) 5214–5234.
date_created: 2020-09-17T10:42:09Z
date_published: 2018-10-15T00:00:00Z
date_updated: 2021-01-12T08:19:10Z
day: '15'
doi: 10.1088/1361-6544/aadc12
extern: '1'
external_id:
arxiv:
- '1706.07968'
intvolume: ' 31'
issue: '11'
keyword:
- Mathematical Physics
- General Physics and Astronomy
- Applied Mathematics
- Statistical and Nonlinear Physics
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1706.07968
month: '10'
oa: 1
oa_version: Preprint
page: 5214-5234
publication: Nonlinearity
publication_identifier:
issn:
- 0951-7715
- 1361-6544
publication_status: published
publisher: IOP Publishing
quality_controlled: '1'
status: public
title: Density of convex billiards with rational caustics
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 31
year: '2018'
...
---
_id: '8421'
abstract:
- lang: eng
text: 'The classical Birkhoff conjecture claims that the boundary of a strictly
convex integrable billiard table is necessarily an ellipse (or a circle as a special
case). In this article we prove a complete local version of this conjecture: a
small integrable perturbation of an ellipse must be an ellipse. This extends and
completes the result in Avila-De Simoi-Kaloshin, where nearly circular domains
were considered. One of the crucial ideas in the proof is to extend action-angle
coordinates for elliptic billiards into complex domains (with respect to the angle),
and to thoroughly analyze the nature of their complex singularities. As an application,
we are able to prove some spectral rigidity results for elliptic domains.'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Vadim
full_name: Kaloshin, Vadim
id: FE553552-CDE8-11E9-B324-C0EBE5697425
last_name: Kaloshin
orcid: 0000-0002-6051-2628
- first_name: Alfonso
full_name: Sorrentino, Alfonso
last_name: Sorrentino
citation:
ama: Kaloshin V, Sorrentino A. On the local Birkhoff conjecture for convex billiards.
Annals of Mathematics. 2018;188(1):315-380. doi:10.4007/annals.2018.188.1.6
apa: Kaloshin, V., & Sorrentino, A. (2018). On the local Birkhoff conjecture
for convex billiards. Annals of Mathematics. Annals of Mathematics, Princeton
U. https://doi.org/10.4007/annals.2018.188.1.6
chicago: Kaloshin, Vadim, and Alfonso Sorrentino. “On the Local Birkhoff Conjecture
for Convex Billiards.” Annals of Mathematics. Annals of Mathematics, Princeton
U, 2018. https://doi.org/10.4007/annals.2018.188.1.6.
ieee: V. Kaloshin and A. Sorrentino, “On the local Birkhoff conjecture for convex
billiards,” Annals of Mathematics, vol. 188, no. 1. Annals of Mathematics,
Princeton U, pp. 315–380, 2018.
ista: Kaloshin V, Sorrentino A. 2018. On the local Birkhoff conjecture for convex
billiards. Annals of Mathematics. 188(1), 315–380.
mla: Kaloshin, Vadim, and Alfonso Sorrentino. “On the Local Birkhoff Conjecture
for Convex Billiards.” Annals of Mathematics, vol. 188, no. 1, Annals of
Mathematics, Princeton U, 2018, pp. 315–80, doi:10.4007/annals.2018.188.1.6.
short: V. Kaloshin, A. Sorrentino, Annals of Mathematics 188 (2018) 315–380.
date_created: 2020-09-17T10:42:22Z
date_published: 2018-07-01T00:00:00Z
date_updated: 2021-01-12T08:19:10Z
day: '01'
doi: 10.4007/annals.2018.188.1.6
extern: '1'
external_id:
arxiv:
- '1612.09194'
intvolume: ' 188'
issue: '1'
keyword:
- Statistics
- Probability and Uncertainty
- Statistics and Probability
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1612.09194
month: '07'
oa: 1
oa_version: Preprint
page: 315-380
publication: Annals of Mathematics
publication_identifier:
issn:
- 0003-486X
publication_status: published
publisher: Annals of Mathematics, Princeton U
quality_controlled: '1'
status: public
title: On the local Birkhoff conjecture for convex billiards
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 188
year: '2018'
...
---
_id: '8422'
abstract:
- lang: eng
text: 'The Birkhoff conjecture says that the boundary of a strictly convex integrable
billiard table is necessarily an ellipse. In this article, we consider a stronger
notion of integrability, namely integrability close to the boundary, and prove
a local version of this conjecture: a small perturbation of an ellipse of small
eccentricity which preserves integrability near the boundary, is itself an ellipse.
This extends the result in Avila et al. (Ann Math 184:527–558, ADK16), where integrability
was assumed on a larger set. In particular, it shows that (local) integrability
near the boundary implies global integrability. One of the crucial ideas in the
proof consists in analyzing Taylor expansion of the corresponding action-angle
coordinates with respect to the eccentricity parameter, deriving and studying
higher order conditions for the preservation of integrable rational caustics.'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Guan
full_name: Huang, Guan
last_name: Huang
- first_name: Vadim
full_name: Kaloshin, Vadim
id: FE553552-CDE8-11E9-B324-C0EBE5697425
last_name: Kaloshin
orcid: 0000-0002-6051-2628
- first_name: Alfonso
full_name: Sorrentino, Alfonso
last_name: Sorrentino
citation:
ama: Huang G, Kaloshin V, Sorrentino A. Nearly circular domains which are integrable
close to the boundary are ellipses. Geometric and Functional Analysis.
2018;28(2):334-392. doi:10.1007/s00039-018-0440-4
apa: Huang, G., Kaloshin, V., & Sorrentino, A. (2018). Nearly circular domains
which are integrable close to the boundary are ellipses. Geometric and Functional
Analysis. Springer Nature. https://doi.org/10.1007/s00039-018-0440-4
chicago: Huang, Guan, Vadim Kaloshin, and Alfonso Sorrentino. “Nearly Circular Domains
Which Are Integrable Close to the Boundary Are Ellipses.” Geometric and Functional
Analysis. Springer Nature, 2018. https://doi.org/10.1007/s00039-018-0440-4.
ieee: G. Huang, V. Kaloshin, and A. Sorrentino, “Nearly circular domains which are
integrable close to the boundary are ellipses,” Geometric and Functional Analysis,
vol. 28, no. 2. Springer Nature, pp. 334–392, 2018.
ista: Huang G, Kaloshin V, Sorrentino A. 2018. Nearly circular domains which are
integrable close to the boundary are ellipses. Geometric and Functional Analysis.
28(2), 334–392.
mla: Huang, Guan, et al. “Nearly Circular Domains Which Are Integrable Close to
the Boundary Are Ellipses.” Geometric and Functional Analysis, vol. 28,
no. 2, Springer Nature, 2018, pp. 334–92, doi:10.1007/s00039-018-0440-4.
short: G. Huang, V. Kaloshin, A. Sorrentino, Geometric and Functional Analysis 28
(2018) 334–392.
date_created: 2020-09-17T10:42:30Z
date_published: 2018-03-18T00:00:00Z
date_updated: 2021-01-12T08:19:11Z
day: '18'
doi: 10.1007/s00039-018-0440-4
extern: '1'
external_id:
arxiv:
- '1705.10601'
intvolume: ' 28'
issue: '2'
keyword:
- Geometry and Topology
- Analysis
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1705.10601
month: '03'
oa: 1
oa_version: Preprint
page: 334-392
publication: Geometric and Functional Analysis
publication_identifier:
issn:
- 1016-443X
- 1420-8970
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Nearly circular domains which are integrable close to the boundary are ellipses
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 28
year: '2018'
...
---
_id: '8426'
abstract:
- lang: eng
text: For any strictly convex planar domain Ω ⊂ R2 with a C∞ boundary one can associate
an infinite sequence of spectral invariants introduced by Marvizi–Merlose [5].
These invariants can generically be determined using the spectrum of the Dirichlet
problem of the Laplace operator. A natural question asks if this collection is
sufficient to determine Ω up to isometry. In this paper we give a counterexample,
namely, we present two nonisometric domains Ω and Ω¯ with the same collection
of Marvizi–Melrose invariants. Moreover, each domain has countably many periodic
orbits {Sn}n≥1 (resp. {S¯n}n⩾1) of period going to infinity such that Sn and S¯n
have the same period and perimeter for each n.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Lev
full_name: Buhovsky, Lev
last_name: Buhovsky
- first_name: Vadim
full_name: Kaloshin, Vadim
id: FE553552-CDE8-11E9-B324-C0EBE5697425
last_name: Kaloshin
orcid: 0000-0002-6051-2628
citation:
ama: Buhovsky L, Kaloshin V. Nonisometric domains with the same Marvizi-Melrose
invariants. Regular and Chaotic Dynamics. 2018;23:54-59. doi:10.1134/s1560354718010057
apa: Buhovsky, L., & Kaloshin, V. (2018). Nonisometric domains with the same
Marvizi-Melrose invariants. Regular and Chaotic Dynamics. Springer Nature.
https://doi.org/10.1134/s1560354718010057
chicago: Buhovsky, Lev, and Vadim Kaloshin. “Nonisometric Domains with the Same
Marvizi-Melrose Invariants.” Regular and Chaotic Dynamics. Springer Nature,
2018. https://doi.org/10.1134/s1560354718010057.
ieee: L. Buhovsky and V. Kaloshin, “Nonisometric domains with the same Marvizi-Melrose
invariants,” Regular and Chaotic Dynamics, vol. 23. Springer Nature, pp.
54–59, 2018.
ista: Buhovsky L, Kaloshin V. 2018. Nonisometric domains with the same Marvizi-Melrose
invariants. Regular and Chaotic Dynamics. 23, 54–59.
mla: Buhovsky, Lev, and Vadim Kaloshin. “Nonisometric Domains with the Same Marvizi-Melrose
Invariants.” Regular and Chaotic Dynamics, vol. 23, Springer Nature, 2018,
pp. 54–59, doi:10.1134/s1560354718010057.
short: L. Buhovsky, V. Kaloshin, Regular and Chaotic Dynamics 23 (2018) 54–59.
date_created: 2020-09-17T10:43:21Z
date_published: 2018-02-05T00:00:00Z
date_updated: 2021-01-12T08:19:11Z
day: '05'
doi: 10.1134/s1560354718010057
extern: '1'
external_id:
arxiv:
- '1801.00952'
intvolume: ' 23'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1801.00952
month: '02'
oa: 1
oa_version: Preprint
page: 54-59
publication: Regular and Chaotic Dynamics
publication_identifier:
issn:
- 1560-3547
- 1468-4845
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Nonisometric domains with the same Marvizi-Melrose invariants
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2018'
...
---
_id: '8436'
abstract:
- lang: eng
text: The exchange of metabolites between the mitochondrial matrix and the cytosol
depends on β-barrel channels in the outer membrane and α-helical carrier proteins
in the inner membrane. The essential translocase of the inner membrane (TIM) chaperones
escort these proteins through the intermembrane space, but the structural and
mechanistic details remain elusive. We have used an integrated structural biology
approach to reveal the functional principle of TIM chaperones. Multiple clamp-like
binding sites hold the mitochondrial membrane proteins in a translocation-competent
elongated form, thus mimicking characteristics of co-translational membrane insertion.
The bound preprotein undergoes conformational dynamics within the chaperone binding
clefts, pointing to a multitude of dynamic local binding events. Mutations in
these binding sites cause cell death or growth defects associated with impairment
of carrier and β-barrel protein biogenesis. Our work reveals how a single mitochondrial
“transfer-chaperone” system is able to guide α-helical and β-barrel membrane proteins
in a “nascent chain-like” conformation through a ribosome-free compartment.
article_processing_charge: No
article_type: original
author:
- first_name: Katharina
full_name: Weinhäupl, Katharina
last_name: Weinhäupl
- first_name: Caroline
full_name: Lindau, Caroline
last_name: Lindau
- first_name: Audrey
full_name: Hessel, Audrey
last_name: Hessel
- first_name: Yong
full_name: Wang, Yong
last_name: Wang
- first_name: Conny
full_name: Schütze, Conny
last_name: Schütze
- first_name: Tobias
full_name: Jores, Tobias
last_name: Jores
- first_name: Laura
full_name: Melchionda, Laura
last_name: Melchionda
- first_name: Birgit
full_name: Schönfisch, Birgit
last_name: Schönfisch
- first_name: Hubert
full_name: Kalbacher, Hubert
last_name: Kalbacher
- first_name: Beate
full_name: Bersch, Beate
last_name: Bersch
- first_name: Doron
full_name: Rapaport, Doron
last_name: Rapaport
- first_name: Martha
full_name: Brennich, Martha
last_name: Brennich
- first_name: Kresten
full_name: Lindorff-Larsen, Kresten
last_name: Lindorff-Larsen
- first_name: Nils
full_name: Wiedemann, Nils
last_name: Wiedemann
- first_name: Paul
full_name: Schanda, Paul
id: 7B541462-FAF6-11E9-A490-E8DFE5697425
last_name: Schanda
orcid: 0000-0002-9350-7606
citation:
ama: Weinhäupl K, Lindau C, Hessel A, et al. Structural basis of membrane protein
chaperoning through the mitochondrial intermembrane space. Cell. 2018;175(5):1365-1379.e25.
doi:10.1016/j.cell.2018.10.039
apa: Weinhäupl, K., Lindau, C., Hessel, A., Wang, Y., Schütze, C., Jores, T., …
Schanda, P. (2018). Structural basis of membrane protein chaperoning through the
mitochondrial intermembrane space. Cell. Elsevier. https://doi.org/10.1016/j.cell.2018.10.039
chicago: Weinhäupl, Katharina, Caroline Lindau, Audrey Hessel, Yong Wang, Conny
Schütze, Tobias Jores, Laura Melchionda, et al. “Structural Basis of Membrane
Protein Chaperoning through the Mitochondrial Intermembrane Space.” Cell.
Elsevier, 2018. https://doi.org/10.1016/j.cell.2018.10.039.
ieee: K. Weinhäupl et al., “Structural basis of membrane protein chaperoning
through the mitochondrial intermembrane space,” Cell, vol. 175, no. 5.
Elsevier, p. 1365–1379.e25, 2018.
ista: Weinhäupl K, Lindau C, Hessel A, Wang Y, Schütze C, Jores T, Melchionda L,
Schönfisch B, Kalbacher H, Bersch B, Rapaport D, Brennich M, Lindorff-Larsen K,
Wiedemann N, Schanda P. 2018. Structural basis of membrane protein chaperoning
through the mitochondrial intermembrane space. Cell. 175(5), 1365–1379.e25.
mla: Weinhäupl, Katharina, et al. “Structural Basis of Membrane Protein Chaperoning
through the Mitochondrial Intermembrane Space.” Cell, vol. 175, no. 5,
Elsevier, 2018, p. 1365–1379.e25, doi:10.1016/j.cell.2018.10.039.
short: K. Weinhäupl, C. Lindau, A. Hessel, Y. Wang, C. Schütze, T. Jores, L. Melchionda,
B. Schönfisch, H. Kalbacher, B. Bersch, D. Rapaport, M. Brennich, K. Lindorff-Larsen,
N. Wiedemann, P. Schanda, Cell 175 (2018) 1365–1379.e25.
date_created: 2020-09-18T10:04:39Z
date_published: 2018-11-15T00:00:00Z
date_updated: 2021-01-12T08:19:15Z
day: '15'
doi: 10.1016/j.cell.2018.10.039
extern: '1'
intvolume: ' 175'
issue: '5'
keyword:
- General Biochemistry
- Genetics and Molecular Biology
language:
- iso: eng
month: '11'
oa_version: None
page: 1365-1379.e25
publication: Cell
publication_identifier:
issn:
- 0092-8674
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: Structural basis of membrane protein chaperoning through the mitochondrial
intermembrane space
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 175
year: '2018'
...
---
_id: '8437'
abstract:
- lang: eng
text: Chaperonins are ubiquitous protein assemblies present in bacteria, eukaryota,
and archaea, facilitating the folding of proteins, preventing protein aggregation,
and thus participating in maintaining protein homeostasis in the cell. During
their functional cycle, they bind unfolded client proteins inside their double
ring structure and promote protein folding by closing the ring chamber in an adenosine
5′-triphosphate (ATP)–dependent manner. Although the static structures of fully
open and closed forms of chaperonins were solved by x-ray crystallography or electron
microscopy, elucidating the mechanisms of such ATP-driven molecular events requires
studying the proteins at the structural level under working conditions. We introduce
an approach that combines site-specific nuclear magnetic resonance observation
of very large proteins, enabled by advanced isotope labeling methods, with an
in situ ATP regeneration system. Using this method, we provide functional insight
into the 1-MDa large hsp60 chaperonin while processing client proteins and reveal
how nucleotide binding, hydrolysis, and release control switching between closed
and open states. While the open conformation stabilizes the unfolded state of
client proteins, the internalization of the client protein inside the chaperonin
cavity speeds up its functional cycle. This approach opens new perspectives to
study structures and mechanisms of various ATP-driven biological machineries in
the heat of action.
article_number: eaau4196
article_processing_charge: No
article_type: original
author:
- first_name: Guillaume
full_name: Mas, Guillaume
last_name: Mas
- first_name: Jia-Ying
full_name: Guan, Jia-Ying
last_name: Guan
- first_name: Elodie
full_name: Crublet, Elodie
last_name: Crublet
- first_name: Elisa Colas
full_name: Debled, Elisa Colas
last_name: Debled
- first_name: Christine
full_name: Moriscot, Christine
last_name: Moriscot
- first_name: Pierre
full_name: Gans, Pierre
last_name: Gans
- first_name: Guy
full_name: Schoehn, Guy
last_name: Schoehn
- first_name: Pavel
full_name: Macek, Pavel
last_name: Macek
- first_name: Paul
full_name: Schanda, Paul
id: 7B541462-FAF6-11E9-A490-E8DFE5697425
last_name: Schanda
orcid: 0000-0002-9350-7606
- first_name: Jerome
full_name: Boisbouvier, Jerome
last_name: Boisbouvier
citation:
ama: Mas G, Guan J-Y, Crublet E, et al. Structural investigation of a chaperonin
in action reveals how nucleotide binding regulates the functional cycle. Science
Advances. 2018;4(9). doi:10.1126/sciadv.aau4196
apa: Mas, G., Guan, J.-Y., Crublet, E., Debled, E. C., Moriscot, C., Gans, P., …
Boisbouvier, J. (2018). Structural investigation of a chaperonin in action reveals
how nucleotide binding regulates the functional cycle. Science Advances.
American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.aau4196
chicago: Mas, Guillaume, Jia-Ying Guan, Elodie Crublet, Elisa Colas Debled, Christine
Moriscot, Pierre Gans, Guy Schoehn, Pavel Macek, Paul Schanda, and Jerome Boisbouvier.
“Structural Investigation of a Chaperonin in Action Reveals How Nucleotide Binding
Regulates the Functional Cycle.” Science Advances. American Association
for the Advancement of Science, 2018. https://doi.org/10.1126/sciadv.aau4196.
ieee: G. Mas et al., “Structural investigation of a chaperonin in action
reveals how nucleotide binding regulates the functional cycle,” Science Advances,
vol. 4, no. 9. American Association for the Advancement of Science, 2018.
ista: Mas G, Guan J-Y, Crublet E, Debled EC, Moriscot C, Gans P, Schoehn G, Macek
P, Schanda P, Boisbouvier J. 2018. Structural investigation of a chaperonin in
action reveals how nucleotide binding regulates the functional cycle. Science
Advances. 4(9), eaau4196.
mla: Mas, Guillaume, et al. “Structural Investigation of a Chaperonin in Action
Reveals How Nucleotide Binding Regulates the Functional Cycle.” Science Advances,
vol. 4, no. 9, eaau4196, American Association for the Advancement of Science,
2018, doi:10.1126/sciadv.aau4196.
short: G. Mas, J.-Y. Guan, E. Crublet, E.C. Debled, C. Moriscot, P. Gans, G. Schoehn,
P. Macek, P. Schanda, J. Boisbouvier, Science Advances 4 (2018).
date_created: 2020-09-18T10:04:51Z
date_published: 2018-09-19T00:00:00Z
date_updated: 2022-08-26T09:11:06Z
day: '19'
doi: 10.1126/sciadv.aau4196
extern: '1'
intvolume: ' 4'
issue: '9'
language:
- iso: eng
month: '09'
oa_version: None
publication: Science Advances
publication_identifier:
issn:
- 2375-2548
publication_status: published
publisher: American Association for the Advancement of Science
quality_controlled: '1'
status: public
title: Structural investigation of a chaperonin in action reveals how nucleotide binding
regulates the functional cycle
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 4
year: '2018'
...