@inproceedings{133,
  abstract     = {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.},
  author       = {Kragl, Bernhard and Qadeer, Shaz and Henzinger, Thomas A},
  issn         = {18688969},
  location     = {Beijing, China},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{Synchronizing the asynchronous}},
  doi          = {10.4230/LIPIcs.CONCUR.2018.21},
  volume       = {118},
  year         = {2018},
}

@article{82,
  abstract     = {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.”.},
  author       = {Chaudhry, Waqas and Pleska, Maros and Shah, Nilang and Weiss, Howard and Mccall, Ingrid and Meyer, Justin and Gupta, Animesh and Guet, Calin C and Levin, Bruce},
  journal      = {PLoS Biology},
  number       = {8},
  publisher    = {Public Library of Science},
  title        = {{Leaky resistance and the conditions for the existence of lytic bacteriophage}},
  doi          = {10.1371/journal.pbio.2005971},
  volume       = {16},
  year         = {2018},
}

@article{8231,
  author       = {Fazekas-Singer, Judit and Singer, Josef and Ilieva, Kristina M. and Matz, Miroslawa and Herrmann, Ina and Spillner, Edzard and Karagiannis, Sophia N. and Jensen-Jarolim, Erika},
  issn         = {0091-6749},
  journal      = {Journal of Allergy and Clinical Immunology},
  number       = {3},
  pages        = {973--976.e11},
  publisher    = {Elsevier},
  title        = {{AllergoOncology: Generating a canine anticancer IgE against the epidermal growth factor receptor}},
  doi          = {10.1016/j.jaci.2018.04.021},
  volume       = {142},
  year         = {2018},
}

@article{8232,
  abstract     = {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.},
  author       = {Nagaya, Tadanobu and Okuyama, Shuhei and Ogata, Fusa and Maruoka, Yasuhiro and Knapp, Deborah W. and Karagiannis, Sophia N. and Fazekas-Singer, Judit and Choyke, Peter L. and LeBlanc, Amy K. and Jensen-Jarolim, Erika and Kobayashi, Hisataka},
  issn         = {1949-2553},
  journal      = {Oncotarget},
  pages        = {19026--19038},
  publisher    = {Impact Journals},
  title        = {{Near infrared photoimmunotherapy targeting bladder cancer with a canine anti-epidermal growth factor receptor (EGFR) antibody}},
  doi          = {10.18632/oncotarget.24876},
  volume       = {9},
  year         = {2018},
}

@article{8233,
  abstract     = {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.},
  author       = {Herrmann, Ina and Gotovina, Jelena and Fazekas-Singer, Judit and Fischer, Michael B. and Hufnagl, Karin and Bianchini, Rodolfo and Jensen-Jarolim, Erika},
  issn         = {0145-305X},
  journal      = {Developmental & Comparative Immunology},
  number       = {5},
  pages        = {118--127},
  publisher    = {Elsevier},
  title        = {{Canine macrophages can like human macrophages be in vitro activated toward the M2a subtype relevant in allergy}},
  doi          = {10.1016/j.dci.2018.01.005},
  volume       = {82},
  year         = {2018},
}

@article{8234,
  abstract     = {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.},
  author       = {Balber, T. and Singer, Judit and Berroterán-Infante, N. and Dumanic, M. and Fetty, L. and Fazekas-Singer, J. and Vraka, C. and Nics, L. and Bergmann, M. and Pallitsch, K. and Spreitzer, H. and Wadsak, W. and Hacker, M. and Jensen-Jarolim, E. and Viernstein, H. and Mitterhauser, M.},
  issn         = {1555-4309},
  journal      = {Contrast Media & Molecular Imaging},
  publisher    = {Hindawi},
  title        = {{Preclinical in vitro and in vivo evaluation of [18F]FE@SUPPY for cancer PET imaging: Limitations of a xenograft model for colorectal cancer}},
  doi          = {10.1155/2018/1269830},
  volume       = {2018},
  year         = {2018},
}

@article{8262,
  abstract     = {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.

Results: 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.

Conclusions: 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.},
  author       = {Bochkareva, Olga and Moroz, Elena V. and Davydov, Iakov I. and Gelfand, Mikhail S.},
  issn         = {1471-2164},
  journal      = {BMC Genomics},
  publisher    = {Springer Nature},
  title        = {{Genome rearrangements and selection in multi-chromosome bacteria Burkholderia spp.}},
  doi          = {10.1186/s12864-018-5245-1},
  volume       = {19},
  year         = {2018},
}

@article{8265,
  abstract     = {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.},
  author       = {Bochkareva, Olga and Dranenko, Natalia O. and Ocheredko, Elena S. and Kanevsky, German M. and Lozinsky, Yaroslav N. and Khalaycheva, Vera A. and Artamonova, Irena I. and Gelfand, Mikhail S.},
  issn         = {2167-8359},
  journal      = {PeerJ},
  publisher    = {PeerJ},
  title        = {{Genome rearrangements and phylogeny reconstruction in Yersinia pestis}},
  doi          = {10.7717/peerj.4545},
  volume       = {6},
  year         = {2018},
}

@article{8274,
  abstract     = {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.},
  author       = {Carvalho, Maria Isabel and Bianchini, Rodolfo and Fazekas-Singer, Judit and Herrmann, Ina and Flickinger, Irene and Thalhammer, Johann G. and Pires, Isabel and Jensen-Jarolim, Erika and Queiroga, Felisbina L.},
  issn         = {1791-7530},
  journal      = {Anticancer Research},
  number       = {5},
  pages        = {2811--2817},
  publisher    = {International Institute of Anticancer Research},
  title        = {{Bidirectional regulation of COX-2 expression between cancer cells and macrophages}},
  doi          = {10.21873/anticanres.12525},
  volume       = {38},
  year         = {2018},
}

@inproceedings{8297,
  abstract     = {Designing a secure permissionless distributed ledger (blockchain) that performs on par with centralized payment
processors, 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” 
validation for low-value transactions. An evaluation ofour experimental prototype shows that OmniLedger’s throughput
scales linearly in the number of active validators, supporting Visa-level workloads and beyond, while confirming typical transactions in under two seconds.},
  author       = {Kokoris Kogias, Eleftherios and Jovanovic, Philipp and Gasser, Linus and Gailly, Nicolas and Syta, Ewa and Ford, Bryan},
  booktitle    = {2018 IEEE Symposium on Security and Privacy},
  isbn         = {9781538643532},
  issn         = {2375-1207},
  location     = {San Francisco, CA, United States},
  pages        = {583--598},
  publisher    = {IEEE},
  title        = {{OmniLedger: A secure, scale-out, decentralized ledger via sharding}},
  doi          = {10.1109/sp.2018.000-5},
  year         = {2018},
}

@inproceedings{8298,
  abstract     = {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.},
  author       = {Androulaki, Elli and Cachin, Christian and De Caro, Angelo and Kokoris Kogias, Eleftherios},
  booktitle    = {Computer Security},
  isbn         = {9783319990729},
  issn         = {0302-9743},
  location     = {Barcelona, Spain},
  pages        = {111--131},
  publisher    = {Springer Nature},
  title        = {{Channels: Horizontal scaling and confidentiality on permissioned blockchains}},
  doi          = {10.1007/978-3-319-99073-6_6},
  volume       = {11098},
  year         = {2018},
}

@phdthesis{83,
  abstract     = {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.
Proofs 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.},
  author       = {Abusalah, Hamza M},
  issn         = {2663-337X},
  pages        = {59},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Proof systems for sustainable decentralized cryptocurrencies}},
  doi          = {10.15479/AT:ISTA:TH_1046},
  year         = {2018},
}

@article{8417,
  abstract     = {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.},
  author       = {Delshams, Amadeu and Kaloshin, Vadim and de la Rosa, Abraham and Seara, Tere M.},
  issn         = {0010-3616},
  journal      = {Communications in Mathematical Physics},
  keywords     = {Mathematical Physics, Statistical and Nonlinear Physics},
  number       = {3},
  pages        = {1173--1228},
  publisher    = {Springer Nature},
  title        = {{Global instability in the restricted planar elliptic three body problem}},
  doi          = {10.1007/s00220-018-3248-z},
  volume       = {366},
  year         = {2018},
}

@article{8419,
  abstract     = {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.

This article is part of the theme issue ‘Finite dimensional integrable systems: new trends and methods’.},
  author       = {Kaloshin, Vadim and Sorrentino, Alfonso},
  issn         = {1364-503X},
  journal      = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
  keywords     = {General Engineering, General Physics and Astronomy, General Mathematics},
  number       = {2131},
  publisher    = {The Royal Society},
  title        = {{On the integrability of Birkhoff billiards}},
  doi          = {10.1098/rsta.2017.0419},
  volume       = {376},
  year         = {2018},
}

@article{8420,
  abstract     = {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.},
  author       = {Kaloshin, Vadim and Zhang, Ke},
  issn         = {0951-7715},
  journal      = {Nonlinearity},
  keywords     = {Mathematical Physics, General Physics and Astronomy, Applied Mathematics, Statistical and Nonlinear Physics},
  number       = {11},
  pages        = {5214--5234},
  publisher    = {IOP Publishing},
  title        = {{Density of convex billiards with rational caustics}},
  doi          = {10.1088/1361-6544/aadc12},
  volume       = {31},
  year         = {2018},
}

@article{8421,
  abstract     = {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.},
  author       = {Kaloshin, Vadim and Sorrentino, Alfonso},
  issn         = {0003-486X},
  journal      = {Annals of Mathematics},
  keywords     = {Statistics, Probability and Uncertainty, Statistics and Probability},
  number       = {1},
  pages        = {315--380},
  publisher    = {Annals of Mathematics, Princeton U},
  title        = {{On the local Birkhoff conjecture for convex billiards}},
  doi          = {10.4007/annals.2018.188.1.6},
  volume       = {188},
  year         = {2018},
}

@article{8422,
  abstract     = {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.},
  author       = {Huang, Guan and Kaloshin, Vadim and Sorrentino, Alfonso},
  issn         = {1016-443X},
  journal      = {Geometric and Functional Analysis},
  keywords     = {Geometry and Topology, Analysis},
  number       = {2},
  pages        = {334--392},
  publisher    = {Springer Nature},
  title        = {{Nearly circular domains which are integrable close to the boundary are ellipses}},
  doi          = {10.1007/s00039-018-0440-4},
  volume       = {28},
  year         = {2018},
}

@article{8426,
  abstract     = {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.},
  author       = {Buhovsky, Lev and Kaloshin, Vadim},
  issn         = {1560-3547},
  journal      = {Regular and Chaotic Dynamics},
  pages        = {54--59},
  publisher    = {Springer Nature},
  title        = {{Nonisometric domains with the same Marvizi-Melrose invariants}},
  doi          = {10.1134/s1560354718010057},
  volume       = {23},
  year         = {2018},
}

@article{8436,
  abstract     = {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.},
  author       = {Weinhäupl, Katharina and Lindau, Caroline and Hessel, Audrey and Wang, Yong and Schütze, Conny and Jores, Tobias and Melchionda, Laura and Schönfisch, Birgit and Kalbacher, Hubert and Bersch, Beate and Rapaport, Doron and Brennich, Martha and Lindorff-Larsen, Kresten and Wiedemann, Nils and Schanda, Paul},
  issn         = {0092-8674},
  journal      = {Cell},
  keywords     = {General Biochemistry, Genetics and Molecular Biology},
  number       = {5},
  pages        = {1365--1379.e25},
  publisher    = {Elsevier},
  title        = {{Structural basis of membrane protein chaperoning through the mitochondrial intermembrane space}},
  doi          = {10.1016/j.cell.2018.10.039},
  volume       = {175},
  year         = {2018},
}

@article{8437,
  abstract     = {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.},
  author       = {Mas, Guillaume and Guan, Jia-Ying and Crublet, Elodie and Debled, Elisa Colas and Moriscot, Christine and Gans, Pierre and Schoehn, Guy and Macek, Pavel and Schanda, Paul and Boisbouvier, Jerome},
  issn         = {2375-2548},
  journal      = {Science Advances},
  number       = {9},
  publisher    = {American Association for the Advancement of Science},
  title        = {{Structural investigation of a chaperonin in action reveals how nucleotide binding regulates the functional cycle}},
  doi          = {10.1126/sciadv.aau4196},
  volume       = {4},
  year         = {2018},
}