TY - CONF AB - We present a novel approach for blockchain asset owners to reclaim their funds in case of accidental private-key loss or transfer to a mistyped address. Our solution can be deployed upon failure or absence of proactively implemented backup mechanisms, such as secret sharing and cold storage. The main advantages against previous proposals is it does not require any prior action from users and works with both single-key and multi-sig accounts. We achieve this by a 3-phase Commit()→Reveal()→Claim()−or−Challenge() smart contract that enables accessing funds of addresses for which the spending key is not available. We provide an analysis of the threat and incentive models and formalize the concept of reactive KEy-Loss Protection (KELP). AU - Blackshear, Sam AU - Chalkias, Konstantinos AU - Chatzigiannis, Panagiotis AU - Faizullabhoy, Riyaz AU - Khaburzaniya, Irakliy AU - Kokoris Kogias, Eleftherios AU - Lind, Joshua AU - Wong, David AU - Zakian, Tim ID - 10076 SN - 0302-9743 T2 - FC 2021 Workshops TI - Reactive key-loss protection in blockchains VL - 12676 ER - TY - JOUR AB - We extensively discuss the Rademacher and Sobolev-to-Lipschitz properties for generalized intrinsic distances on strongly local Dirichlet spaces possibly without square field operator. We present many non-smooth and infinite-dimensional examples. As an application, we prove the integral Varadhan short-time asymptotic with respect to a given distance function for a large class of strongly local Dirichlet forms. AU - Dello Schiavo, Lorenzo AU - Suzuki, Kohei ID - 10070 IS - 11 JF - Journal of Functional Analysis SN - 0022-1236 TI - Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces VL - 281 ER - TY - JOUR AB - Solution synthesis of particles emerged as an alternative to prepare thermoelectric materials with less demanding processing conditions than conventional solid-state synthetic methods. However, solution synthesis generally involves the presence of additional molecules or ions belonging to the precursors or added to enable solubility and/or regulate nucleation and growth. These molecules or ions can end up in the particles as surface adsorbates and interfere in the material properties. This work demonstrates that ionic adsorbates, in particular Na⁺ ions, are electrostatically adsorbed in SnSe particles synthesized in water and play a crucial role not only in directing the material nano/microstructure but also in determining the transport properties of the consolidated material. In dense pellets prepared by sintering SnSe particles, Na remains within the crystal lattice as dopant, in dislocations, precipitates, and forming grain boundary complexions. These results highlight the importance of considering all the possible unintentional impurities to establish proper structure-property relationships and control material properties in solution-processed thermoelectric materials. AU - Liu, Yu AU - Calcabrini, Mariano AU - Yu, Yuan AU - Genç, Aziz AU - Chang, Cheng AU - Costanzo, Tommaso AU - Kleinhanns, Tobias AU - Lee, Seungho AU - Llorca, Jordi AU - Cojocaru‐Mirédin, Oana AU - Ibáñez, Maria ID - 10123 IS - 52 JF - Advanced Materials KW - mechanical engineering KW - mechanics of materials KW - general materials science SN - 0935-9648 TI - The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe VL - 33 ER - TY - JOUR AB - Proximity labeling provides a powerful in vivo tool to characterize the proteome of subcellular structures and the interactome of specific proteins. The nematode Caenorhabditis elegans is one of the most intensely studied organisms in biology, offering many advantages for biochemistry. Using the highly active biotin ligase TurboID, we optimize here a proximity labeling protocol for C. elegans. An advantage of TurboID is that biotin's high affinity for streptavidin means biotin-labeled proteins can be affinity-purified under harsh denaturing conditions. By combining extensive sonication with aggressive denaturation using SDS and urea, we achieved near-complete solubilization of worm proteins. We then used this protocol to characterize the proteomes of the worm gut, muscle, skin, and nervous system. Neurons are among the smallest C. elegans cells. To probe the method's sensitivity, we expressed TurboID exclusively in the two AFD neurons and showed that the protocol could identify known and previously unknown proteins expressed selectively in AFD. The active zones of synapses are composed of a protein matrix that is difficult to solubilize and purify. To test if our protocol could solubilize active zone proteins, we knocked TurboID into the endogenous elks-1 gene, which encodes a presynaptic active zone protein. We identified many known ELKS-1-interacting active zone proteins, as well as previously uncharacterized synaptic proteins. Versatile vectors and the inherent advantages of using C. elegans, including fast growth and the ability to rapidly make and functionally test knock-ins, make proximity labeling a valuable addition to the armory of this model organism. AU - Artan, Murat AU - Barratt, Stephen AU - Flynn, Sean M. AU - Begum, Farida AU - Skehel, Mark AU - Nicolas, Armel AU - De Bono, Mario ID - 10117 IS - 3 JF - Journal of Biological Chemistry SN - 0021-9258 TI - Interactome analysis of Caenorhabditis elegans synapses by TurboID-based proximity labeling VL - 297 ER - TY - CONF AB - We argue that the time is ripe to investigate differential monitoring, in which the specification of a program's behavior is implicitly given by a second program implementing the same informal specification. Similar ideas have been proposed before, and are currently implemented in restricted form for testing and specialized run-time analyses, aspects of which we combine. We discuss the challenges of implementing differential monitoring as a general-purpose, black-box run-time monitoring framework, and present promising results of a preliminary implementation, showing low monitoring overheads for diverse programs. AU - Mühlböck, Fabian AU - Henzinger, Thomas A ID - 10108 KW - run-time verification KW - software engineering KW - implicit specification SN - 0302-9743 T2 - International Conference on Runtime Verification TI - Differential monitoring VL - 12974 ER - TY - JOUR AB - The ubiquitous Ca2+ sensor calmodulin (CaM) binds and regulates many proteins, including ion channels, CaM kinases, and calcineurin, according to Ca2+-CaM levels. What regulates neuronal CaM levels, is, however, unclear. CaM-binding transcription activators (CAMTAs) are ancient proteins expressed broadly in nervous systems and whose loss confers pleiotropic behavioral defects in flies, mice, and humans. Using Caenorhabditis elegans and Drosophila, we show that CAMTAs control neuronal CaM levels. The behavioral and neuronal Ca2+ signaling defects in mutants lacking camt-1, the sole C. elegans CAMTA, can be rescued by supplementing neuronal CaM. CAMT-1 binds multiple sites in the CaM promoter and deleting these sites phenocopies camt-1. Our data suggest CAMTAs mediate a conserved and general mechanism that controls neuronal CaM levels, thereby regulating Ca2+ signaling, physiology, and behavior. AU - Vuong-Brender, Thanh AU - Flynn, Sean AU - Vallis, Yvonne AU - De Bono, Mario ID - 10116 JF - eLife TI - Neuronal calmodulin levels are controlled by CAMTA transcription factors VL - 10 ER - TY - JOUR AB - The small cellular molecule inositol hexakisphosphate (IP6) has been known for ~20 years to promote the in vitro assembly of HIV-1 into immature virus-like particles. However, the molecular details underlying this effect have been determined only recently, with the identification of the IP6 binding site in the immature Gag lattice. IP6 also promotes formation of the mature capsid protein (CA) lattice via a second IP6 binding site, and enhances core stability, creating a favorable environment for reverse transcription. IP6 also enhances assembly of other retroviruses, from both the Lentivirus and the Alpharetrovirus genera. These findings suggest that IP6 may have a conserved function throughout the family Retroviridae. Here, we discuss the different steps in the viral life cycle that are influenced by IP6, and describe in detail how IP6 interacts with the immature and mature lattices of different retroviruses. AU - Obr, Martin AU - Schur, Florian KM AU - Dick, Robert A. ID - 10103 IS - 9 JF - Viruses KW - virology KW - infectious diseases SN - 1999-4915 TI - A structural perspective of the role of IP6 in immature and mature retroviral assembly VL - 13 ER - TY - JOUR AB - The search for novel entangled phases of matter has lead to the recent discovery of a new class of “entanglement transitions,” exemplified by random tensor networks and monitored quantum circuits. Most known examples can be understood as some classical ordering transitions in an underlying statistical mechanics model, where entanglement maps onto the free-energy cost of inserting a domain wall. In this paper we study the possibility of entanglement transitions driven by physics beyond such statistical mechanics mappings. Motivated by recent applications of neural-network-inspired variational Ansätze, we investigate under what conditions on the variational parameters these Ansätze can capture an entanglement transition. We study the entanglement scaling of short-range restricted Boltzmann machine (RBM) quantum states with random phases. For uncorrelated random phases, we analytically demonstrate the absence of an entanglement transition and reveal subtle finite-size effects in finite-size numerical simulations. Introducing phases with correlations decaying as 1/r^α in real space, we observe three regions with a different scaling of entanglement entropy depending on the exponent α. We study the nature of the transition between these regions, finding numerical evidence for critical behavior. Our work establishes the presence of long-range correlated phases in RBM-based wave functions as a required ingredient for entanglement transitions. AU - Medina Ramos, Raimel A AU - Vasseur, Romain AU - Serbyn, Maksym ID - 10067 IS - 10 JF - Physical Review B SN - 2469-9950 TI - Entanglement transitions from restricted Boltzmann machines VL - 104 ER - TY - GEN AB - We argue that the time is ripe to investigate differential monitoring, in which the specification of a program's behavior is implicitly given by a second program implementing the same informal specification. Similar ideas have been proposed before, and are currently implemented in restricted form for testing and specialized run-time analyses, aspects of which we combine. We discuss the challenges of implementing differential monitoring as a general-purpose, black-box run-time monitoring framework, and present promising results of a preliminary implementation, showing low monitoring overheads for diverse programs. AU - Mühlböck, Fabian AU - Henzinger, Thomas A ID - 9946 KW - run-time verification KW - software engineering KW - implicit specification SN - 2664-1690 TI - Differential monitoring ER - TY - JOUR AB - Thermoelectric materials enable the direct conversion between heat and electricity. SnTe is a promising candidate due to its high charge transport performance. Here, we prepared SnTe nanocomposites by employing an aqueous method to synthetize SnTe nanoparticles (NP), followed by a unique surface treatment prior NP consolidation. This synthetic approach allowed optimizing the charge and phonon transport synergistically. The novelty of this strategy was the use of a soluble PbS molecular complex prepared using a thiol-amine solvent mixture that upon blending is adsorbed on the SnTe NP surface. Upon consolidation with spark plasma sintering, SnTe-PbS nanocomposite is formed. The presence of PbS complexes significantly compensates for the Sn vacancy and increases the average grain size of the nanocomposite, thus improving the carrier mobility. Moreover, lattice thermal conductivity is also reduced by the Pb and S-induced mass and strain fluctuation. As a result, an enhanced ZT of ca. 0.8 is reached at 873 K. Our finding provides a novel strategy to conduct rational surface treatment on NP-based thermoelectrics. AU - Chang, Cheng AU - Ibáñez, Maria ID - 10073 IS - 18 JF - Materials TI - Enhanced thermoelectric performance by surface engineering in SnTe-PbS nanocomposites VL - 14 ER - TY - JOUR AB - Schistosomes, the human parasites responsible for snail fever, are female-heterogametic. Different parts of their ZW sex chromosomes have stopped recombining in distinct lineages, creating “evolutionary strata” of various ages. Although the Z-chromosome is well characterized at the genomic and molecular level, the W-chromosome has remained largely unstudied from an evolutionary perspective, as only a few W-linked genes have been detected outside of the model species Schistosoma mansoni. Here, we characterize the gene content and evolution of the W-chromosomes of S. mansoni and of the divergent species S. japonicum. We use a combined RNA/DNA k-mer based pipeline to assemble around 100 candidate W-specific transcripts in each of the species. About half of them map to known protein coding genes, the majority homologous to S. mansoni Z-linked genes. We perform an extended analysis of the evolutionary strata present in the two species (including characterizing a previously undetected young stratum in S. japonicum) to infer patterns of sequence and expression evolution of W-linked genes at different time points after recombination was lost. W-linked genes show evidence of degeneration, including high rates of protein evolution and reduced expression. Most are found in young lineage-specific strata, with only a few high expression ancestral W-genes remaining, consistent with the progressive erosion of nonrecombining regions. Among these, the splicing factor u2af2 stands out as a promising candidate for primary sex determination, opening new avenues for understanding the molecular basis of the reproductive biology of this group. AU - Elkrewi, Marwan N AU - Moldovan, Mikhail A. AU - Picard, Marion A L AU - Vicoso, Beatriz ID - 10167 JF - Molecular Biology and Evolution KW - sex chromosomes KW - evolutionary strata KW - W-linked gene KW - sex determining gene KW - schistosome parasites SN - 0737-4038 TI - Schistosome W-Linked genes inform temporal dynamics of sex chromosome evolution and suggest candidate for sex determination ER - TY - JOUR AB - The C-terminal domain (CTD) of the largest subunit of RNA polymerase II (Pol II) is a regulatory hub for transcription and RNA processing. Here, we identify PHD-finger protein 3 (PHF3) as a regulator of transcription and mRNA stability that docks onto Pol II CTD through its SPOC domain. We characterize SPOC as a CTD reader domain that preferentially binds two phosphorylated Serine-2 marks in adjacent CTD repeats. PHF3 drives liquid-liquid phase separation of phosphorylated Pol II, colocalizes with Pol II clusters and tracks with Pol II across the length of genes. PHF3 knock-out or SPOC deletion in human cells results in increased Pol II stalling, reduced elongation rate and an increase in mRNA stability, with marked derepression of neuronal genes. Key neuronal genes are aberrantly expressed in Phf3 knock-out mouse embryonic stem cells, resulting in impaired neuronal differentiation. Our data suggest that PHF3 acts as a prominent effector of neuronal gene regulation by bridging transcription with mRNA decay. AU - Appel, Lisa-Marie AU - Franke, Vedran AU - Bruno, Melania AU - Grishkovskaya, Irina AU - Kasiliauskaite, Aiste AU - Kaufmann, Tanja AU - Schoeberl, Ursula E. AU - Puchinger, Martin G. AU - Kostrhon, Sebastian AU - Ebenwaldner, Carmen AU - Sebesta, Marek AU - Beltzung, Etienne AU - Mechtler, Karl AU - Lin, Gen AU - Vlasova, Anna AU - Leeb, Martin AU - Pavri, Rushad AU - Stark, Alexander AU - Akalin, Altuna AU - Stefl, Richard AU - Bernecky, Carrie A AU - Djinovic-Carugo, Kristina AU - Slade, Dea ID - 10163 IS - 1 JF - Nature Communications KW - general physics and astronomy KW - general biochemistry KW - genetics and molecular biology KW - general chemistry TI - PHF3 regulates neuronal gene expression through the Pol II CTD reader domain SPOC VL - 12 ER - TY - JOUR AB - With the wider availability of full-color 3D printers, color-accurate 3D-print preparation has received increased attention. A key challenge lies in the inherent translucency of commonly used print materials that blurs out details of the color texture. Previous work tries to compensate for these scattering effects through strategic assignment of colored primary materials to printer voxels. To date, the highest-quality approach uses iterative optimization that relies on computationally expensive Monte Carlo light transport simulation to predict the surface appearance from subsurface scattering within a given print material distribution; that optimization, however, takes in the order of days on a single machine. In our work, we dramatically speed up the process by replacing the light transport simulation with a data-driven approach. Leveraging a deep neural network to predict the scattering within a highly heterogeneous medium, our method performs around two orders of magnitude faster than Monte Carlo rendering while yielding optimization results of similar quality level. The network is based on an established method from atmospheric cloud rendering, adapted to our domain and extended by a physically motivated weight sharing scheme that substantially reduces the network size. We analyze its performance in an end-to-end print preparation pipeline and compare quality and runtime to alternative approaches, and demonstrate its generalization to unseen geometry and material values. This for the first time enables full heterogenous material optimization for 3D-print preparation within time frames in the order of the actual printing time. AU - Rittig, Tobias AU - Sumin, Denis AU - Babaei, Vahid AU - Didyk, Piotr AU - Voloboy, Alexey AU - Wilkie, Alexander AU - Bickel, Bernd AU - Myszkowski, Karol AU - Weyrich, Tim AU - Křivánek, Jaroslav ID - 9547 IS - 2 JF - Computer Graphics Forum SN - 0167-7055 TI - Neural acceleration of scattering-aware color 3D printing VL - 40 ER - TY - JOUR AB - Phonon polaritons (PhPs)—light coupled to lattice vibrations—with in-plane hyperbolic dispersion exhibit ray-like propagation with large wave vectors and enhanced density of optical states along certain directions on a surface. As such, they have raised a surge of interest, promising unprecedented manipulation of infrared light at the nanoscale in a planar circuitry. Here, we demonstrate focusing of in-plane hyperbolic PhPs propagating along thin slabs of α-MoO3. To that end, we developed metallic nanoantennas of convex geometries for both efficient launching and focusing of the polaritons. The foci obtained exhibit enhanced near-field confinement and absorption compared to foci produced by in-plane isotropic PhPs. Foci sizes as small as λp/4.5 = λ0/50 were achieved (λp is the polariton wavelength and λ0 is the photon wavelength). Focusing of in-plane hyperbolic polaritons introduces a first and most basic building block developing planar polariton optics using in-plane anisotropic van der Waals materials. AU - Martín-Sánchez, Javier AU - Duan, Jiahua AU - Taboada-Gutiérrez, Javier AU - Álvarez-Pérez, Gonzalo AU - Voronin, Kirill V. AU - Prieto Gonzalez, Ivan AU - Ma, Weiliang AU - Bao, Qiaoliang AU - Volkov, Valentyn S. AU - Hillenbrand, Rainer AU - Nikitin, Alexey Y. AU - Alonso-González, Pablo ID - 10177 IS - 41 JF - Science Advances TI - Focusing of in-plane hyperbolic polaritons in van der Waals crystals with tailored infrared nanoantennas VL - 7 ER - TY - JOUR AB - The enzymes of the mitochondrial electron transport chain are key players of cell metabolism. Despite being active when isolated, in vivo they associate into supercomplexes1, whose precise role is debated. Supercomplexes CIII2CIV1-2 (refs. 2,3), CICIII2 (ref. 4) and CICIII2CIV (respirasome)5,6,7,8,9,10 exist in mammals, but in contrast to CICIII2 and the respirasome, to date the only known eukaryotic structures of CIII2CIV1-2 come from Saccharomyces cerevisiae11,12 and plants13, which have different organization. Here we present the first, to our knowledge, structures of mammalian (mouse and ovine) CIII2CIV and its assembly intermediates, in different conformations. We describe the assembly of CIII2CIV from the CIII2 precursor to the final CIII2CIV conformation, driven by the insertion of the N terminus of the assembly factor SCAF1 (ref. 14) deep into CIII2, while its C terminus is integrated into CIV. Our structures (which include CICIII2 and the respirasome) also confirm that SCAF1 is exclusively required for the assembly of CIII2CIV and has no role in the assembly of the respirasome. We show that CIII2 is asymmetric due to the presence of only one copy of subunit 9, which straddles both monomers and prevents the attachment of a second copy of SCAF1 to CIII2, explaining the presence of one copy of CIV in CIII2CIV in mammals. Finally, we show that CIII2 and CIV gain catalytic advantage when assembled into the supercomplex and propose a role for CIII2CIV in fine tuning the efficiency of electron transfer in the electron transport chain. AU - Vercellino, Irene AU - Sazanov, Leonid A ID - 10146 IS - 7880 JF - Nature SN - 0028-0836 TI - Structure and assembly of the mammalian mitochondrial supercomplex CIII2CIV VL - 598 ER - TY - JOUR AB - We give a combinatorial model for r-spin surfaces with parameterized boundary based on Novak (“Lattice topological field theories in two dimensions,” Ph.D. thesis, Universität Hamburg, 2015). The r-spin structure is encoded in terms of ℤ𝑟-valued indices assigned to the edges of a polygonal decomposition. This combinatorial model is designed for our state-sum construction of two-dimensional topological field theories on r-spin surfaces. We show that an example of such a topological field theory computes the Arf-invariant of an r-spin surface as introduced by Randal-Williams [J. Topol. 7, 155 (2014)] and Geiges et al. [Osaka J. Math. 49, 449 (2012)]. This implies, in particular, that the r-spin Arf-invariant is constant on orbits of the mapping class group, providing an alternative proof of that fact. AU - Runkel, Ingo AU - Szegedy, Lorant ID - 10176 IS - 10 JF - Journal of Mathematical Physics SN - 00222488 TI - Topological field theory on r-spin surfaces and the Arf-invariant VL - 62 ER - TY - JOUR AB - Inhibitory GABAergic interneurons migrate over long distances from their extracortical origin into the developing cortex. In humans, this process is uniquely slow and prolonged, and it is unclear whether guidance cues unique to humans govern the various phases of this complex developmental process. Here, we use fused cerebral organoids to identify key roles of neurotransmitter signaling pathways in guiding the migratory behavior of human cortical interneurons. We use scRNAseq to reveal expression of GABA, glutamate, glycine, and serotonin receptors along distinct maturation trajectories across interneuron migration. We develop an image analysis software package, TrackPal, to simultaneously assess 48 parameters for entire migration tracks of individual cells. By chemical screening, we show that different modes of interneuron migration depend on distinct neurotransmitter signaling pathways, linking transcriptional maturation of interneurons with their migratory behavior. Altogether, our study provides a comprehensive quantitative analysis of human interneuron migration and its functional modulation by neurotransmitter signaling. AU - Bajaj, Sunanjay AU - Bagley, Joshua A. AU - Sommer, Christoph M AU - Vertesy, Abel AU - Nagumo Wong, Sakurako AU - Krenn, Veronica AU - Lévi-Strauss, Julie AU - Knoblich, Juergen A. ID - 10179 IS - 23 JF - EMBO Journal SN - 0261-4189 TI - Neurotransmitter signaling regulates distinct phases of multimodal human interneuron migration VL - 40 ER - TY - JOUR AB - Single photon emitters in atomically-thin semiconductors can be deterministically positioned using strain induced by underlying nano-structures. Here, we couple monolayer WSe2 to high-refractive-index gallium phosphide dielectric nano-antennas providing both optical enhancement and monolayer deformation. For single photon emitters formed on such nano-antennas, we find very low (femto-Joule) saturation pulse energies and up to 104 times brighter photoluminescence than in WSe2 placed on low-refractive-index SiO2 pillars. We show that the key to these observations is the increase on average by a factor of 5 of the quantum efficiency of the emitters coupled to the nano-antennas. This further allows us to gain new insights into their photoluminescence dynamics, revealing the roles of the dark exciton reservoir and Auger processes. We also find that the coherence time of such emitters is limited by intrinsic dephasing processes. Our work establishes dielectric nano-antennas as a platform for high-efficiency quantum light generation in monolayer semiconductors. AU - Sortino, Luca AU - Zotev, Panaiot G. AU - Phillips, Catherine L. AU - Brash, Alistair J. AU - Cambiasso, Javier AU - Marensi, Elena AU - Fox, A. Mark AU - Maier, Stefan A. AU - Sapienza, Riccardo AU - Tartakovskii, Alexander I. ID - 10203 JF - Nature Communications TI - Bright single photon emitters with enhanced quantum efficiency in a two-dimensional semiconductor coupled with dielectric nano-antennas VL - 12 ER - TY - JOUR AB - In dense biological tissues, cell types performing different roles remain segregated by maintaining sharp interfaces. To better understand the mechanisms for such sharp compartmentalization, we study the effect of an imposed heterotypic tension at the interface between two distinct cell types in a fully 3D Voronoi model for confluent tissues. We find that cells rapidly sort and self-organize to generate a tissue-scale interface between cell types, and cells adjacent to this interface exhibit signature geometric features including nematic-like ordering, bimodal facet areas, and registration, or alignment, of cell centers on either side of the two-tissue interface. The magnitude of these features scales directly with the magnitude of the imposed tension, suggesting that biologists can estimate the magnitude of tissue surface tension between two tissue types simply by segmenting a 3D tissue. To uncover the underlying physical mechanisms driving these geometric features, we develop two minimal, ordered models using two different underlying lattices that identify an energetic competition between bulk cell shapes and tissue interface area. When the interface area dominates, changes to neighbor topology are costly and occur less frequently, which generates the observed geometric features. AU - Sahu, Preeti AU - Schwarz, J. M. AU - Manning, M. Lisa ID - 10178 IS - 9 JF - New Journal of Physics TI - Geometric signatures of tissue surface tension in a three-dimensional model of confluent tissue VL - 23 ER - TY - JOUR AB - In this article we study some geometric properties of proximally smooth sets. First, we introduce a modification of the metric projection and prove its existence. Then we provide an algorithm for constructing a rectifiable curve between two sufficiently close points of a proximally smooth set in a uniformly convex and uniformly smooth Banach space, with the moduli of smoothness and convexity of power type. Our algorithm returns a reasonably short curve between two sufficiently close points of a proximally smooth set, is iterative and uses our modification of the metric projection. We estimate the length of the constructed curve and its deviation from the segment with the same endpoints. These estimates coincide up to a constant factor with those for the geodesics in a proximally smooth set in a Hilbert space. AU - Ivanov, Grigory AU - Lopushanski, Mariana S. ID - 10181 JF - Set-Valued and Variational Analysis SN - 0927-6947 TI - Rectifiable curves in proximally smooth sets ER -