@inproceedings{8536,
  abstract     = {This work analyzes the latency of the simplified successive cancellation (SSC) decoding scheme for polar codes proposed by Alamdar-Yazdi and Kschischang. It is shown that, unlike conventional successive cancellation decoding, where latency is linear in the block length, the latency of SSC decoding is sublinear. More specifically, the latency of SSC decoding is O(N 1−1/µ ), where N is the block length and µ is the scaling exponent of the channel, which captures the speed of convergence of the rate to capacity. Numerical results demonstrate the tightness of the bound and show that most of the latency reduction arises from the parallel decoding of subcodes of rate 0 and 1.},
  author       = {Mondelli, Marco and Hashemi, Seyyed Ali and Cioffi, John and Goldsmith, Andrea},
  booktitle    = {IEEE International Symposium on Information Theory - Proceedings},
  isbn         = {9781728164328},
  issn         = {2157-8095},
  location     = {Los Angeles, CA, United States},
  publisher    = {IEEE},
  title        = {{Simplified successive cancellation decoding of polar codes has sublinear latency}},
  doi          = {10.1109/ISIT44484.2020.9174141},
  volume       = {2020-June},
  year         = {2020},
}

@article{8539,
  abstract     = {Cohomological and K-theoretic stable bases originated from the study of quantum cohomology and quantum K-theory. Restriction formula for cohomological stable bases played an important role in computing the quantum connection of cotangent bundle of partial flag varieties. In this paper we study the K-theoretic stable bases of cotangent bundles of flag varieties. We describe these bases in terms of the action of the affine Hecke algebra and the twisted group algebra of KostantKumar. Using this algebraic description and the method of root polynomials, we give a restriction formula of the stable bases. We apply it to obtain the restriction formula for partial flag varieties. We also build a relation between the stable basis and the Casselman basis in the principal series representations of the Langlands dual group. As an application, we give a closed formula for the transition matrix between Casselman basis and the characteristic functions.},
  author       = {Su, C. and Zhao, Gufang and Zhong, C.},
  issn         = {0012-9593},
  journal      = {Annales Scientifiques de l'Ecole Normale Superieure},
  number       = {3},
  pages        = {663--671},
  publisher    = {Société Mathématique de France},
  title        = {{On the K-theory stable bases of the springer resolution}},
  doi          = {10.24033/asens.2431},
  volume       = {53},
  year         = {2020},
}

@article{8568,
  abstract     = {Aqueous iodine based electrochemical energy storage is considered a potential candidate to improve sustainability and performance of current battery and supercapacitor technology. It harnesses the redox activity of iodide, iodine, and polyiodide species in the confined geometry of nanoporous carbon electrodes. However, current descriptions of the electrochemical reaction mechanism to interconvert these species are elusive. Here we show that electrochemical oxidation of iodide in nanoporous carbons forms persistent solid iodine deposits. Confinement slows down dissolution into triiodide and pentaiodide, responsible for otherwise significant self-discharge via shuttling. The main tools for these insights are in situ Raman spectroscopy and in situ small and wide-angle X-ray scattering (in situ SAXS/WAXS). In situ Raman confirms the reversible formation of triiodide and pentaiodide. In situ SAXS/WAXS indicates remarkable amounts of solid iodine deposited in the carbon nanopores. Combined with stochastic modeling, in situ SAXS allows quantifying the solid iodine volume fraction and visualizing the iodine structure on 3D lattice models at the sub-nanometer scale. Based on the derived mechanism, we demonstrate strategies for improved iodine pore filling capacity and prevention of self-discharge, applicable to hybrid supercapacitors and batteries.},
  author       = {Prehal, Christian and Fitzek, Harald and Kothleitner, Gerald and Presser, Volker and Gollas, Bernhard and Freunberger, Stefan Alexander and Abbas, Qamar},
  issn         = {2041-1723},
  journal      = {Nature Communications},
  keywords     = {General Biochemistry, Genetics and Molecular Biology, General Physics and Astronomy, General Chemistry},
  publisher    = {Springer Nature},
  title        = {{Persistent and reversible solid iodine electrodeposition in nanoporous carbons}},
  doi          = {10.1038/s41467-020-18610-6},
  volume       = {11},
  year         = {2020},
}

@inproceedings{8571,
  abstract     = {We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2020. This year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. These tools are applied to solve reachability analysis problems on six benchmark problems, two of them featuring hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools.},
  author       = {Geretti, Luca and Alexandre Dit Sandretto, Julien and Althoff, Matthias and Benet, Luis and Chapoutot, Alexandre and Chen, Xin and Collins, Pieter and Forets, Marcelo and Freire, Daniel and Immler, Fabian and Kochdumper, Niklas and Sanders, David and Schilling, Christian},
  booktitle    = {EPiC Series in Computing},
  pages        = {49--75},
  publisher    = {EasyChair},
  title        = {{ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics}},
  doi          = {10.29007/zkf6},
  volume       = {74},
  year         = {2020},
}

@inproceedings{8572,
  abstract     = {We present the results of the ARCH 2020 friendly competition for formal verification of continuous and hybrid systems with linear continuous dynamics. In its fourth edition, eight tools have been applied to solve eight different benchmark problems in the category for linear continuous dynamics (in alphabetical order): CORA, C2E2, HyDRA, Hylaa, Hylaa-Continuous, JuliaReach, SpaceEx, and XSpeed. This report is a snapshot of the current landscape of tools and the types of benchmarks they are particularly suited for. Due to the diversity of problems, we are not ranking tools, yet the presented results provide one of the most complete assessments of tools for the safety verification of continuous and hybrid systems with linear continuous dynamics up to this date.},
  author       = {Althoff, Matthias and Bak, Stanley and Bao, Zongnan and Forets, Marcelo and Frehse, Goran and Freire, Daniel and Kochdumper, Niklas and Li, Yangge and Mitra, Sayan and Ray, Rajarshi and Schilling, Christian and Schupp, Stefan and Wetzlinger, Mark},
  booktitle    = {EPiC Series in Computing},
  pages        = {16--48},
  publisher    = {EasyChair},
  title        = {{ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics}},
  doi          = {10.29007/7dt2},
  volume       = {74},
  year         = {2020},
}

@inproceedings{8580,
  abstract     = {We evaluate the usefulness of persistent homology in the analysis of heart rate variability. In our approach we extract several topological descriptors characterising datasets of RR-intervals, which are later used in classical machine learning algorithms. By this method we are able to differentiate the group of patients with the history of transient ischemic attack and the group of hypertensive patients.},
  author       = {Graff, Grzegorz and Graff, Beata and Jablonski, Grzegorz and Narkiewicz, Krzysztof},
  booktitle    = {11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, },
  isbn         = {9781728157511},
  location     = {Pisa, Italy},
  publisher    = {IEEE},
  title        = {{The application of persistent homology in the analysis of heart rate variability}},
  doi          = {10.1109/ESGCO49734.2020.9158054},
  year         = {2020},
}

@article{8581,
  abstract     = {The majority of adenosine triphosphate (ATP) powering cellular processes in eukaryotes is produced by the mitochondrial F1Fo ATP synthase. Here, we present the atomic models of the membrane Fo domain and the entire mammalian (ovine) F1Fo, determined by cryo-electron microscopy. Subunits in the membrane domain are arranged in the ‘proton translocation cluster’ attached to the c-ring and a more distant ‘hook apparatus’ holding subunit e. Unexpectedly, this subunit is anchored to a lipid ‘plug’ capping the c-ring. We present a detailed proton translocation pathway in mammalian Fo and key inter-monomer contacts in F1Fo multimers. Cryo-EM maps of F1Fo exposed to calcium reveal a retracted subunit e and a disassembled c-ring, suggesting permeability transition pore opening. We propose a model for the permeability transition pore opening, whereby subunit e pulls the lipid plug out of the c-ring. Our structure will allow the design of drugs for many emerging applications in medicine.},
  author       = {Pinke, Gergely and Zhou, Long and Sazanov, Leonid A},
  issn         = {1545-9985},
  journal      = {Nature Structural and Molecular Biology},
  number       = {11},
  pages        = {1077--1085},
  publisher    = {Springer Nature},
  title        = {{Cryo-EM structure of the entire mammalian F-type ATP synthase}},
  doi          = {10.1038/s41594-020-0503-8},
  volume       = {27},
  year         = {2020},
}

@article{8588,
  abstract     = {Dipolar (or spatially indirect) excitons (IXs) in semiconductor double quantum well (DQW) subjected to an electric field are neutral species with a dipole moment oriented perpendicular to the DQW plane. Here, we theoretically study interactions between IXs in stacked DQW bilayers, where the dipolar coupling can be either attractive or repulsive depending on the relative positions of the particles. By using microscopic band structure calculations to determine the electronic states forming the excitons, we show that the attractive dipolar interaction between stacked IXs deforms their electronic wave function, thereby increasing the inter-DQW interaction energy and making the IX even more electrically polarizable. Many-particle interaction effects are addressed by considering the coupling between a single IX in one of the DQWs to a cloud of IXs in the other DQW, which is modeled either as a closed-packed lattice or as a continuum IX fluid. We find that the lattice model yields IX interlayer binding energies decreasing with increasing lattice density. This behavior is due to the dominating role of the intra-DQW dipolar repulsion, which prevents more than one exciton from entering the attractive region of the inter-DQW coupling. Finally, both models shows that the single IX distorts the distribution of IXs in the adjacent DQW, thus inducing the formation of an IX dipolar polaron (dipolaron). While the interlayer binding energy reduces with IX density for lattice dipolarons, the continuous polaron model predicts a nonmonotonous dependence on density in semiquantitative agreement with a recent experimental study [cf. Hubert et al., Phys. Rev. X 9, 021026 (2019)].},
  author       = {Hubert, C. and Cohen, K. and Ghazaryan, Areg and Lemeshko, Mikhail and Rapaport, R. and Santos, P. V.},
  issn         = {2469-9969},
  journal      = {Physical Review B},
  number       = {4},
  publisher    = {American Physical Society},
  title        = {{Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids}},
  doi          = {10.1103/physrevb.102.045307},
  volume       = {102},
  year         = {2020},
}

@article{8592,
  abstract     = {Glioblastoma is the most malignant cancer in the brain and currently incurable. It is urgent to identify effective targets for this lethal disease. Inhibition of such targets should suppress the growth of cancer cells and, ideally also precancerous cells for early prevention, but minimally affect their normal counterparts. Using genetic mouse models with neural stem cells (NSCs) or oligodendrocyte precursor cells (OPCs) as the cells‐of‐origin/mutation, it is shown that the susceptibility of cells within the development hierarchy of glioma to the knockout of insulin‐like growth factor I receptor (IGF1R) is determined not only by their oncogenic states, but also by their cell identities/states. Knockout of IGF1R selectively disrupts the growth of mutant and transformed, but not normal OPCs, or NSCs. The desirable outcome of IGF1R knockout on cell growth requires the mutant cells to commit to the OPC identity regardless of its development hierarchical status. At the molecular level, oncogenic mutations reprogram the cellular network of OPCs and force them to depend more on IGF1R for their growth. A new‐generation brain‐penetrable, orally available IGF1R inhibitor harnessing tumor OPCs in the brain is also developed. The findings reveal the cellular window of IGF1R targeting and establish IGF1R as an effective target for the prevention and treatment of glioblastoma.},
  author       = {Tian, Anhao and Kang, Bo and Li, Baizhou and Qiu, Biying and Jiang, Wenhong and Shao, Fangjie and Gao, Qingqing and Liu, Rui and Cai, Chengwei and Jing, Rui and Wang, Wei and Chen, Pengxiang and Liang, Qinghui and Bao, Lili and Man, Jianghong and Wang, Yan and Shi, Yu and Li, Jin and Yang, Minmin and Wang, Lisha and Zhang, Jianmin and Hippenmeyer, Simon and Zhu, Junming and Bian, Xiuwu and Wang, Ying‐Jie and Liu, Chong},
  issn         = {2198-3844},
  journal      = {Advanced Science},
  keywords     = {General Engineering, General Physics and Astronomy, General Materials Science, Medicine (miscellaneous), General Chemical Engineering, Biochemistry, Genetics and Molecular Biology (miscellaneous)},
  number       = {21},
  publisher    = {Wiley},
  title        = {{Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting}},
  doi          = {10.1002/advs.202001724},
  volume       = {7},
  year         = {2020},
}

@inproceedings{8599,
  abstract     = {A graph game is a two-player zero-sum game in which the players move a token throughout a graph to produce an infinite path, which determines the winner or payoff of the game. In bidding games, both players have budgets, and in each turn, we hold an "auction" (bidding) to determine which player moves the token. In this survey, we consider several bidding mechanisms and study their effect on the properties of the game. Specifically, bidding games, and in particular bidding games of infinite duration, have an intriguing equivalence with random-turn games in which in each turn, the player who moves is chosen randomly. We show how minor changes in the bidding mechanism lead to unexpected differences in the equivalence with random-turn games.},
  author       = {Avni, Guy and Henzinger, Thomas A},
  booktitle    = {31st International Conference on Concurrency Theory},
  isbn         = {9783959771603},
  issn         = {1868-8969},
  location     = {Virtual},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{A survey of bidding games on graphs}},
  doi          = {10.4230/LIPIcs.CONCUR.2020.2},
  volume       = {171},
  year         = {2020},
}

@inproceedings{8600,
  abstract     = {A vector addition system with states (VASS) consists of a finite set of states and counters. A transition changes the current state to the next state, and every counter is either incremented, or decremented, or left unchanged. A state and value for each counter is a configuration; and a computation is an infinite sequence of configurations with transitions between successive configurations. A probabilistic VASS consists of a VASS along with a probability distribution over the transitions for each state. Qualitative properties such as state and configuration reachability have been widely studied for VASS. In this work we consider multi-dimensional long-run average objectives for VASS and probabilistic VASS. For a counter, the cost of a configuration is the value of the counter; and the long-run average value of a computation for the counter is the long-run average of the costs of the configurations in the computation. The multi-dimensional long-run average problem given a VASS and a threshold value for each counter, asks whether there is a computation such that for each counter the long-run average value for the counter does not exceed the respective threshold. For probabilistic VASS, instead of the existence of a computation, we consider whether the expected long-run average value for each counter does not exceed the respective threshold. Our main results are as follows: we show that the multi-dimensional long-run average problem (a) is NP-complete for integer-valued VASS; (b) is undecidable for natural-valued VASS (i.e., nonnegative counters); and (c) can be solved in polynomial time for probabilistic integer-valued VASS, and probabilistic natural-valued VASS when all computations are non-terminating.},
  author       = {Chatterjee, Krishnendu and Henzinger, Thomas A and Otop, Jan},
  booktitle    = {31st International Conference on Concurrency Theory},
  isbn         = {9783959771603},
  issn         = {1868-8969},
  location     = {Virtual},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{Multi-dimensional long-run average problems for vector addition systems with states}},
  doi          = {10.4230/LIPIcs.CONCUR.2020.23},
  volume       = {171},
  year         = {2020},
}

@article{8607,
  abstract     = {Clathrin-mediated endocytosis (CME) and its core endocytic machinery are evolutionarily conserved across all eukaryotes. In mammals, the heterotetrameric adaptor protein complex-2 (AP-2) sorts plasma membrane (PM) cargoes into vesicles through the recognition of motifs based on tyrosine or di-leucine in their cytoplasmic tails. However, in plants, very little is known on how PM proteins are sorted for CME and whether similar motifs are required. In Arabidopsis thaliana, the brassinosteroid (BR) receptor, BR INSENSITIVE1 (BRI1), undergoes endocytosis that depends on clathrin and AP-2. Here we demonstrate that BRI1 binds directly to the medium AP-2 subunit, AP2M. The cytoplasmic domain of BRI1 contains five putative canonical surface-exposed tyrosine-based endocytic motifs. The tyrosine-to-phenylalanine substitution in Y898KAI reduced BRI1 internalization without affecting its kinase activity. Consistently, plants carrying the BRI1Y898F mutation were hypersensitive to BRs. Our study demonstrates that AP-2-dependent internalization of PM proteins via the recognition of functional tyrosine motifs also operates in plants.},
  author       = {Liu, D and Kumar, R and LAN, Claus and Johnson, Alexander J and Siao, W and Vanhoutte, I and Wang, P and Bender, KW and Yperman, K and Martins, S and Zhao, X and Vert, G and Van Damme, D and Friml, Jiří and Russinova, E},
  issn         = {1532-298x},
  journal      = {Plant Cell},
  number       = {11},
  pages        = {3598--3612},
  publisher    = {American Society of Plant Biologists},
  title        = {{Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif}},
  doi          = {10.1105/tpc.20.00384},
  volume       = {32},
  year         = {2020},
}

@article{8634,
  abstract     = {In laboratory studies and numerical simulations, we observe clear signatures of unstable time-periodic solutions in a moderately turbulent quasi-two-dimensional flow. We validate the dynamical relevance of such solutions by demonstrating that turbulent flows in both experiment and numerics transiently display time-periodic dynamics when they shadow unstable periodic orbits (UPOs). We show that UPOs we computed are also statistically significant, with turbulent flows spending a sizable fraction of the total time near these solutions. As a result, the average rates of energy input and dissipation for the turbulent flow and frequently visited UPOs differ only by a few percent.},
  author       = {Suri, Balachandra and Kageorge, Logan and Grigoriev, Roman O. and Schatz, Michael F.},
  issn         = {1079-7114},
  journal      = {Physical Review Letters},
  keywords     = {General Physics and Astronomy},
  number       = {6},
  publisher    = {American Physical Society},
  title        = {{Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits}},
  doi          = {10.1103/physrevlett.125.064501},
  volume       = {125},
  year         = {2020},
}

@article{8645,
  abstract     = {Epistasis, the context-dependence of the contribution of an amino acid substitution to fitness, is common in evolution. To detect epistasis, fitness must be measured for at least four genotypes: the reference genotype, two different single mutants and a double mutant with both of the single mutations. For higher-order epistasis of the order n, fitness has to be measured for all 2n genotypes of an n-dimensional hypercube in genotype space forming a ‘combinatorially complete dataset’. So far, only a handful of such datasets have been produced by manual curation. Concurrently, random mutagenesis experiments have produced measurements of fitness and other phenotypes in a high-throughput manner, potentially containing a number of combinatorially complete datasets. We present an effective recursive algorithm for finding all hypercube structures in random mutagenesis experimental data. To test the algorithm, we applied it to the data from a recent HIS3 protein dataset and found all 199 847 053 unique combinatorially complete genotype combinations of dimensionality ranging from 2 to 12. The algorithm may be useful for researchers looking for higher-order epistasis in their high-throughput experimental data.},
  author       = {Esteban, Laura A and Lonishin, Lyubov R and Bobrovskiy, Daniil M and Leleytner, Gregory and Bogatyreva, Natalya S and Kondrashov, Fyodor and Ivankov, Dmitry N },
  issn         = {1460-2059},
  journal      = {Bioinformatics},
  number       = {6},
  pages        = {1960--1962},
  publisher    = {Oxford University Press},
  title        = {{HypercubeME: Two hundred million combinatorially complete datasets from a single experiment}},
  doi          = {10.1093/bioinformatics/btz841},
  volume       = {36},
  year         = {2020},
}

@article{8652,
  abstract     = {Nature creates electrons with two values of the spin projection quantum number. In certain applications, it is important to filter electrons with one spin projection from the rest. Such filtering is not trivial, since spin-dependent interactions are often weak, and cannot lead to any substantial effect. Here we propose an efficient spin filter based upon scattering from a two-dimensional crystal, which is made of aligned point magnets. The polarization of the outgoing electron flux is controlled by the crystal, and reaches maximum at specific values of the parameters. In our scheme, polarization increase is accompanied by higher reflectivity of the crystal. High transmission is feasible in scattering from a quantum cavity made of two crystals. Our findings can be used for studies of low-energy spin-dependent scattering from two-dimensional ordered structures made of magnetic atoms or aligned chiral molecules.},
  author       = {Ghazaryan, Areg and Lemeshko, Mikhail and Volosniev, Artem},
  issn         = {2399-3650},
  journal      = {Communications Physics},
  publisher    = {Springer Nature},
  title        = {{Filtering spins by scattering from a lattice of point magnets}},
  doi          = {10.1038/s42005-020-00445-8},
  volume       = {3},
  year         = {2020},
}

@article{8670,
  abstract     = {The α–z Rényi relative entropies are a two-parameter family of Rényi relative entropies that are quantum generalizations of the classical α-Rényi relative entropies. In the work [Adv. Math. 365, 107053 (2020)], we decided the full range of (α, z) for which the data processing inequality (DPI) is valid. In this paper, we give algebraic conditions for the equality in DPI. For the full range of parameters (α, z), we give necessary conditions and sufficient conditions. For most parameters, we give equivalent conditions. This generalizes and strengthens the results of Leditzky et al. [Lett. Math. Phys. 107, 61–80 (2017)].},
  author       = {Zhang, Haonan},
  issn         = {0022-2488},
  journal      = {Journal of Mathematical Physics},
  number       = {10},
  publisher    = {AIP Publishing},
  title        = {{Equality conditions of data processing inequality for α-z Rényi relative entropies}},
  doi          = {10.1063/5.0022787},
  volume       = {61},
  year         = {2020},
}

@article{8671,
  abstract     = {We study relations between evidence theory and S-approximation spaces. Both theories have their roots in the analysis of Dempsterchr('39')s multivalued mappings and lower and upper probabilities, and have close relations to rough sets. We show that an S-approximation space, satisfying a monotonicity condition, can induce a natural belief structure which is a fundamental block in evidence theory. We also demonstrate that one can induce a natural belief structure on one set, given a belief structure on another set, if the two sets are related by a partial monotone S-approximation space. },
  author       = {Shakiba, A. and Goharshady, Amir Kafshdar and Hooshmandasl, M.R. and Alambardar Meybodi, M.},
  issn         = {2008-9473},
  journal      = {Iranian Journal of Mathematical Sciences and Informatics},
  number       = {2},
  pages        = {117--128},
  publisher    = {Iranian Academic Center for Education, Culture and Research},
  title        = {{A note on belief structures and s-approximation spaces}},
  doi          = {10.29252/ijmsi.15.2.117},
  volume       = {15},
  year         = {2020},
}

@article{8672,
  abstract     = {Cell fate transitions are key to development and homeostasis. It is thus essential to understand the cellular mechanisms controlling fate transitions. Cell division has been implicated in fate decisions in many stem cell types, including neuronal and epithelial progenitors. In other stem cells, such as embryonic stem (ES) cells, the role of division remains unclear. Here, we show that exit from naive pluripotency in mouse ES cells generally occurs after a division. We further show that exit timing is strongly correlated between sister cells, which remain connected by cytoplasmic bridges long after division, and that bridge abscission progressively accelerates as cells exit naive pluripotency. Finally, interfering with abscission impairs naive pluripotency exit, and artificially inducing abscission accelerates it. Altogether, our data indicate that a switch in the division machinery leading to faster abscission regulates pluripotency exit. Our study identifies abscission as a key cellular process coupling cell division to fate transitions.},
  author       = {Chaigne, Agathe and Labouesse, Céline and White, Ian J. and Agnew, Meghan and Hannezo, Edouard B and Chalut, Kevin J. and Paluch, Ewa K.},
  issn         = {1878-1551},
  journal      = {Developmental Cell},
  number       = {2},
  pages        = {195--208},
  publisher    = {Elsevier},
  title        = {{Abscission couples cell division to embryonic stem cell fate}},
  doi          = {10.1016/j.devcel.2020.09.001},
  volume       = {55},
  year         = {2020},
}

@article{8679,
  abstract     = {A central goal of artificial intelligence in high-stakes decision-making applications is to design a single algorithm that simultaneously expresses generalizability by learning coherent representations of their world and interpretable explanations of its dynamics. Here, we combine brain-inspired neural computation principles and scalable deep learning architectures to design compact neural controllers for task-specific compartments of a full-stack autonomous vehicle control system. We discover that a single algorithm with 19 control neurons, connecting 32 encapsulated input features to outputs by 253 synapses, learns to map high-dimensional inputs into steering commands. This system shows superior generalizability, interpretability and robustness compared with orders-of-magnitude larger black-box learning systems. The obtained neural agents enable high-fidelity autonomy for task-specific parts of a complex autonomous system.},
  author       = {Lechner, Mathias and Hasani, Ramin and Amini, Alexander and Henzinger, Thomas A and Rus, Daniela and Grosu, Radu},
  issn         = {2522-5839},
  journal      = {Nature Machine Intelligence},
  pages        = {642--652},
  publisher    = {Springer Nature},
  title        = {{Neural circuit policies enabling auditable autonomy}},
  doi          = {10.1038/s42256-020-00237-3},
  volume       = {2},
  year         = {2020},
}

@article{8680,
  abstract     = {Animal development entails the organization of specific cell types in space and time, and spatial patterns must form in a robust manner. In the zebrafish spinal cord, neural progenitors form stereotypic patterns despite noisy morphogen signaling and large-scale cellular rearrangements during morphogenesis and growth. By directly measuring adhesion forces and preferences for three types of endogenous neural progenitors, we provide evidence for the differential adhesion model in which differences in intercellular adhesion mediate cell sorting. Cell type–specific combinatorial expression of different classes of cadherins (N-cadherin, cadherin 11, and protocadherin 19) results in homotypic preference ex vivo and patterning robustness in vivo. Furthermore, the differential adhesion code is regulated by the sonic hedgehog morphogen gradient. We propose that robust patterning during tissue morphogenesis results from interplay between adhesion-based self-organization and morphogen-directed patterning.},
  author       = {Tsai, Tony Y.-C. and Sikora, Mateusz K and Xia, Peng and Colak-Champollion, Tugba and Knaut, Holger and Heisenberg, Carl-Philipp J and Megason, Sean G.},
  issn         = {1095-9203},
  journal      = {Science},
  keywords     = {Multidisciplinary},
  number       = {6512},
  pages        = {113--116},
  publisher    = {American Association for the Advancement of Science},
  title        = {{An adhesion code ensures robust pattern formation during tissue morphogenesis}},
  doi          = {10.1126/science.aba6637},
  volume       = {370},
  year         = {2020},
}

