--- _id: '434' abstract: - lang: eng text: In this paper, we present a formal model-driven design approach to establish a safety-assured implementation of multifunction vehicle bus controller (MVBC), which controls the data transmission among the devices of the vehicle. First, the generic models and safety requirements described in International Electrotechnical Commission Standard 61375 are formalized as time automata and timed computation tree logic formulas, respectively. With model checking tool Uppaal, we verify whether or not the constructed timed automata satisfy the formulas and several logic inconsistencies in the original standard are detected and corrected. Then, we apply the code generation tool Times to generate C code from the verified model, which is later synthesized into a real MVBC chip, with some handwriting glue code. Furthermore, the runtime verification tool RMOR is applied on the integrated code, to verify some safety requirements that cannot be formalized on the timed automata. For evaluation, we compare the proposed approach with existing MVBC design methods, such as BeagleBone, Galsblock, and Simulink. Experiments show that more ambiguousness or bugs in the standard are detected during Uppaal verification, and the generated code of Times outperforms the C code generated by others in terms of the synthesized binary code size. The errors in the standard have been confirmed and the resulting MVBC has been deployed in the real train communication network. article_processing_charge: No author: - first_name: Yu full_name: Jiang, Yu last_name: Jiang - first_name: Han full_name: Liu, Han last_name: Liu - first_name: Huobing full_name: Song, Huobing last_name: Song - first_name: Hui full_name: Kong, Hui id: 3BDE25AA-F248-11E8-B48F-1D18A9856A87 last_name: Kong orcid: 0000-0002-3066-6941 - first_name: Rui full_name: Wang, Rui last_name: Wang - first_name: Yong full_name: Guan, Yong last_name: Guan - first_name: Lui full_name: Sha, Lui last_name: Sha citation: ama: Jiang Y, Liu H, Song H, et al. Safety-assured model-driven design of the multifunction vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems. 2018;19(10):3320-3333. doi:10.1109/TITS.2017.2778077 apa: Jiang, Y., Liu, H., Song, H., Kong, H., Wang, R., Guan, Y., & Sha, L. (2018). Safety-assured model-driven design of the multifunction vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems. IEEE. https://doi.org/10.1109/TITS.2017.2778077 chicago: Jiang, Yu, Han Liu, Huobing Song, Hui Kong, Rui Wang, Yong Guan, and Lui Sha. “Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.” IEEE Transactions on Intelligent Transportation Systems. IEEE, 2018. https://doi.org/10.1109/TITS.2017.2778077. ieee: Y. Jiang et al., “Safety-assured model-driven design of the multifunction vehicle bus controller,” IEEE Transactions on Intelligent Transportation Systems, vol. 19, no. 10. IEEE, pp. 3320–3333, 2018. ista: Jiang Y, Liu H, Song H, Kong H, Wang R, Guan Y, Sha L. 2018. Safety-assured model-driven design of the multifunction vehicle bus controller. IEEE Transactions on Intelligent Transportation Systems. 19(10), 3320–3333. mla: Jiang, Yu, et al. “Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.” IEEE Transactions on Intelligent Transportation Systems, vol. 19, no. 10, IEEE, 2018, pp. 3320–33, doi:10.1109/TITS.2017.2778077. short: Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018) 3320–3333. date_created: 2018-12-11T11:46:27Z date_published: 2018-01-01T00:00:00Z date_updated: 2023-09-18T08:12:49Z day: '01' department: - _id: ToHe doi: 10.1109/TITS.2017.2778077 external_id: isi: - '000446651100020' intvolume: ' 19' isi: 1 issue: '10' language: - iso: eng month: '01' oa_version: None page: 3320 - 3333 publication: IEEE Transactions on Intelligent Transportation Systems publication_status: published publisher: IEEE publist_id: '7389' quality_controlled: '1' related_material: record: - id: '1205' relation: earlier_version status: public scopus_import: '1' status: public title: Safety-assured model-driven design of the multifunction vehicle bus controller type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 19 year: '2018' ... --- _id: '162' abstract: - lang: eng text: 'Facial shape is the basis for facial recognition and categorization. Facial features reflect the underlying geometry of the skeletal structures. Here, we reveal that cartilaginous nasal capsule (corresponding to upper jaw and face) is shaped by signals generated by neural structures: brain and olfactory epithelium. Brain-derived Sonic Hedgehog (SHH) enables the induction of nasal septum and posterior nasal capsule, whereas the formation of a capsule roof is controlled by signals from the olfactory epithelium. Unexpectedly, the cartilage of the nasal capsule turned out to be important for shaping membranous facial bones during development. This suggests that conserved neurosensory structures could benefit from protection and have evolved signals inducing cranial cartilages encasing them. Experiments with mutant mice revealed that the genomic regulatory regions controlling production of SHH in the nervous system contribute to facial cartilage morphogenesis, which might be a mechanism responsible for the adaptive evolution of animal faces and snouts.' article_number: e34465 article_processing_charge: No author: - first_name: Marketa full_name: Kaucka, Marketa last_name: Kaucka - first_name: Julian full_name: Petersen, Julian last_name: Petersen - first_name: Marketa full_name: Tesarova, Marketa last_name: Tesarova - first_name: Bara full_name: Szarowska, Bara last_name: Szarowska - first_name: Maria full_name: Kastriti, Maria last_name: Kastriti - first_name: Meng full_name: Xie, Meng last_name: Xie - first_name: Anna full_name: Kicheva, Anna id: 3959A2A0-F248-11E8-B48F-1D18A9856A87 last_name: Kicheva orcid: 0000-0003-4509-4998 - first_name: Karl full_name: Annusver, Karl last_name: Annusver - first_name: Maria full_name: Kasper, Maria last_name: Kasper - first_name: Orsolya full_name: Symmons, Orsolya last_name: Symmons - first_name: Leslie full_name: Pan, Leslie last_name: Pan - first_name: Francois full_name: Spitz, Francois last_name: Spitz - first_name: Jozef full_name: Kaiser, Jozef last_name: Kaiser - first_name: Maria full_name: Hovorakova, Maria last_name: Hovorakova - first_name: Tomas full_name: Zikmund, Tomas last_name: Zikmund - first_name: Kazunori full_name: Sunadome, Kazunori last_name: Sunadome - first_name: Michael P full_name: Matise, Michael P last_name: Matise - first_name: Hui full_name: Wang, Hui last_name: Wang - first_name: Ulrika full_name: Marklund, Ulrika last_name: Marklund - first_name: Hind full_name: Abdo, Hind last_name: Abdo - first_name: Patrik full_name: Ernfors, Patrik last_name: Ernfors - first_name: Pascal full_name: Maire, Pascal last_name: Maire - first_name: Maud full_name: Wurmser, Maud last_name: Wurmser - first_name: Andrei S full_name: Chagin, Andrei S last_name: Chagin - first_name: Kaj full_name: Fried, Kaj last_name: Fried - first_name: Igor full_name: Adameyko, Igor last_name: Adameyko citation: ama: Kaucka M, Petersen J, Tesarova M, et al. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 2018;7. doi:10.7554/eLife.34465 apa: Kaucka, M., Petersen, J., Tesarova, M., Szarowska, B., Kastriti, M., Xie, M., … Adameyko, I. (2018). Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.34465 chicago: Kaucka, Marketa, Julian Petersen, Marketa Tesarova, Bara Szarowska, Maria Kastriti, Meng Xie, Anna Kicheva, et al. “Signals from the Brain and Olfactory Epithelium Control Shaping of the Mammalian Nasal Capsule Cartilage.” ELife. eLife Sciences Publications, 2018. https://doi.org/10.7554/eLife.34465. ieee: M. Kaucka et al., “Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage,” eLife, vol. 7. eLife Sciences Publications, 2018. ista: Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti M, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 7, e34465. mla: Kaucka, Marketa, et al. “Signals from the Brain and Olfactory Epithelium Control Shaping of the Mammalian Nasal Capsule Cartilage.” ELife, vol. 7, e34465, eLife Sciences Publications, 2018, doi:10.7554/eLife.34465. short: M. Kaucka, J. Petersen, M. Tesarova, B. Szarowska, M. Kastriti, M. Xie, A. Kicheva, K. Annusver, M. Kasper, O. Symmons, L. Pan, F. Spitz, J. Kaiser, M. Hovorakova, T. Zikmund, K. Sunadome, M.P. Matise, H. Wang, U. Marklund, H. Abdo, P. Ernfors, P. Maire, M. Wurmser, A.S. Chagin, K. Fried, I. Adameyko, ELife 7 (2018). date_created: 2018-12-11T11:44:57Z date_published: 2018-06-13T00:00:00Z date_updated: 2023-09-18T09:29:07Z day: '13' ddc: - '571' department: - _id: AnKi doi: 10.7554/eLife.34465 ec_funded: 1 external_id: isi: - '000436227500001' file: - access_level: open_access checksum: da2378cdcf6b5461dcde194e4d608343 content_type: application/pdf creator: dernst date_created: 2018-12-17T16:41:58Z date_updated: 2020-07-14T12:45:07Z file_id: '5727' file_name: 2018_eLife_Kaucka.pdf file_size: 9816484 relation: main_file file_date_updated: 2020-07-14T12:45:07Z has_accepted_license: '1' intvolume: ' 7' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Published Version project: - _id: B6FC0238-B512-11E9-945C-1524E6697425 call_identifier: H2020 grant_number: '680037' name: Coordination of Patterning And Growth In the Spinal Cord publication: eLife publication_status: published publisher: eLife Sciences Publications publist_id: '7759' quality_controlled: '1' related_material: record: - id: '9838' relation: research_data status: public scopus_import: '1' status: public title: Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 7 year: '2018' ... --- _id: '302' abstract: - lang: eng text: At ITCS 2013, Mahmoody, Moran and Vadhan [MMV13] introduce and construct publicly verifiable proofs of sequential work, which is a protocol for proving that one spent sequential computational work related to some statement. The original motivation for such proofs included non-interactive time-stamping and universally verifiable CPU benchmarks. A more recent application, and our main motivation, are blockchain designs, where proofs of sequential work can be used – in combination with proofs of space – as a more ecological and economical substitute for proofs of work which are currently used to secure Bitcoin and other cryptocurrencies. The construction proposed by [MMV13] is based on a hash function and can be proven secure in the random oracle model, or assuming inherently sequential hash-functions, which is a new standard model assumption introduced in their work. In a proof of sequential work, a prover gets a “statement” χ, a time parameter N and access to a hash-function H, which for the security proof is modelled as a random oracle. Correctness requires that an honest prover can make a verifier accept making only N queries to H, while soundness requires that any prover who makes the verifier accept must have made (almost) N sequential queries to H. Thus a solution constitutes a proof that N time passed since χ was received. Solutions must be publicly verifiable in time at most polylogarithmic in N. The construction of [MMV13] is based on “depth-robust” graphs, and as a consequence has rather poor concrete parameters. But the major drawback is that the prover needs not just N time, but also N space to compute a proof. In this work we propose a proof of sequential work which is much simpler, more efficient and achieves much better concrete bounds. Most importantly, the space required can be as small as log (N) (but we get better soundness using slightly more memory than that). An open problem stated by [MMV13] that our construction does not solve either is achieving a “unique” proof, where even a cheating prover can only generate a single accepting proof. This property would be extremely useful for applications to blockchains. alternative_title: - LNCS article_processing_charge: No author: - first_name: Bram full_name: Cohen, Bram last_name: Cohen - first_name: Krzysztof Z full_name: Pietrzak, Krzysztof Z id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87 last_name: Pietrzak orcid: 0000-0002-9139-1654 citation: ama: 'Cohen B, Pietrzak KZ. Simple proofs of sequential work. In: Vol 10821. Springer; 2018:451-467. doi:10.1007/978-3-319-78375-8_15' apa: 'Cohen, B., & Pietrzak, K. Z. (2018). Simple proofs of sequential work (Vol. 10821, pp. 451–467). Presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-319-78375-8_15' chicago: Cohen, Bram, and Krzysztof Z Pietrzak. “Simple Proofs of Sequential Work,” 10821:451–67. Springer, 2018. https://doi.org/10.1007/978-3-319-78375-8_15. ieee: 'B. Cohen and K. Z. Pietrzak, “Simple proofs of sequential work,” presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel, 2018, vol. 10821, pp. 451–467.' ista: 'Cohen B, Pietrzak KZ. 2018. Simple proofs of sequential work. Eurocrypt: Advances in Cryptology, LNCS, vol. 10821, 451–467.' mla: Cohen, Bram, and Krzysztof Z. Pietrzak. Simple Proofs of Sequential Work. Vol. 10821, Springer, 2018, pp. 451–67, doi:10.1007/978-3-319-78375-8_15. short: B. Cohen, K.Z. Pietrzak, in:, Springer, 2018, pp. 451–467. conference: end_date: 2018-05-03 location: Tel Aviv, Israel name: 'Eurocrypt: Advances in Cryptology' start_date: 2018-04-29 date_created: 2018-12-11T11:45:42Z date_published: 2018-05-29T00:00:00Z date_updated: 2023-09-18T09:29:33Z day: '29' department: - _id: KrPi doi: 10.1007/978-3-319-78375-8_15 ec_funded: 1 external_id: isi: - '000517098700015' intvolume: ' 10821' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2018/183.pdf month: '05' oa: 1 oa_version: Submitted Version page: 451 - 467 project: - _id: 258AA5B2-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '682815' name: Teaching Old Crypto New Tricks publication_status: published publisher: Springer publist_id: '7579' quality_controlled: '1' scopus_import: '1' status: public title: Simple proofs of sequential work type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 10821 year: '2018' ... --- _id: '31' abstract: - lang: eng text: Correlations in sensory neural networks have both extrinsic and intrinsic origins. Extrinsic or stimulus correlations arise from shared inputs to the network and, thus, depend strongly on the stimulus ensemble. Intrinsic or noise correlations reflect biophysical mechanisms of interactions between neurons, which are expected to be robust to changes in the stimulus ensemble. Despite the importance of this distinction for understanding how sensory networks encode information collectively, no method exists to reliably separate intrinsic interactions from extrinsic correlations in neural activity data, limiting our ability to build predictive models of the network response. In this paper we introduce a general strategy to infer population models of interacting neurons that collectively encode stimulus information. The key to disentangling intrinsic from extrinsic correlations is to infer the couplings between neurons separately from the encoding model and to combine the two using corrections calculated in a mean-field approximation. We demonstrate the effectiveness of this approach in retinal recordings. The same coupling network is inferred from responses to radically different stimulus ensembles, showing that these couplings indeed reflect stimulus-independent interactions between neurons. The inferred model predicts accurately the collective response of retinal ganglion cell populations as a function of the stimulus. acknowledgement: This work was supported by ANR Trajectory, the French State program Investissements d’Avenir managed by the Agence Nationale de la Recherche (LIFESENSES; ANR-10-LABX-65), EC Grant No. H2020-785907 from the Human Brain Project, NIH Grant No. U01NS090501, and an AVIESAN-UNADEV grant to O.M. M.C. was supported by the Agence Nationale de la Recherche Jeune Chercheur/Jeune Chercheuse grant (ANR-17-CE37-0013). article_number: '042410' article_processing_charge: No article_type: original author: - first_name: Ulisse full_name: Ferrari, Ulisse last_name: Ferrari - first_name: Stephane full_name: Deny, Stephane last_name: Deny - first_name: Matthew J full_name: Chalk, Matthew J last_name: Chalk - first_name: Gasper full_name: Tkacik, Gasper id: 3D494DCA-F248-11E8-B48F-1D18A9856A87 last_name: Tkacik orcid: 0000-0002-6699-1455 - first_name: Olivier full_name: Marre, Olivier last_name: Marre - first_name: Thierry full_name: Mora, Thierry last_name: Mora citation: ama: Ferrari U, Deny S, Chalk MJ, Tkačik G, Marre O, Mora T. Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons. Physical Review E. 2018;98(4). doi:10.1103/PhysRevE.98.042410 apa: Ferrari, U., Deny, S., Chalk, M. J., Tkačik, G., Marre, O., & Mora, T. (2018). Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.98.042410 chicago: Ferrari, Ulisse, Stephane Deny, Matthew J Chalk, Gašper Tkačik, Olivier Marre, and Thierry Mora. “Separating Intrinsic Interactions from Extrinsic Correlations in a Network of Sensory Neurons.” Physical Review E. American Physical Society, 2018. https://doi.org/10.1103/PhysRevE.98.042410. ieee: U. Ferrari, S. Deny, M. J. Chalk, G. Tkačik, O. Marre, and T. Mora, “Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons,” Physical Review E, vol. 98, no. 4. American Physical Society, 2018. ista: Ferrari U, Deny S, Chalk MJ, Tkačik G, Marre O, Mora T. 2018. Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons. Physical Review E. 98(4), 042410. mla: Ferrari, Ulisse, et al. “Separating Intrinsic Interactions from Extrinsic Correlations in a Network of Sensory Neurons.” Physical Review E, vol. 98, no. 4, 042410, American Physical Society, 2018, doi:10.1103/PhysRevE.98.042410. short: U. Ferrari, S. Deny, M.J. Chalk, G. Tkačik, O. Marre, T. Mora, Physical Review E 98 (2018). date_created: 2018-12-11T11:44:15Z date_published: 2018-10-17T00:00:00Z date_updated: 2023-09-18T09:18:44Z day: '17' department: - _id: GaTk doi: 10.1103/PhysRevE.98.042410 ec_funded: 1 external_id: isi: - '000447486100004' intvolume: ' 98' isi: 1 issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://www.biorxiv.org/content/10.1101/243816v2.full month: '10' oa: 1 oa_version: Preprint project: - _id: 26436750-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '785907' name: Human Brain Project Specific Grant Agreement 2 (HBP SGA 2) publication: Physical Review E publication_identifier: issn: - '24700045' publication_status: published publisher: American Physical Society publist_id: '8024' quality_controlled: '1' scopus_import: '1' status: public title: Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 98 year: '2018' ... --- _id: '64' abstract: - lang: eng text: Tropical geometry, an established field in pure mathematics, is a place where string theory, mirror symmetry, computational algebra, auction theory, and so forth meet and influence one another. In this paper, we report on our discovery of a tropical model with self-organized criticality (SOC) behavior. Our model is continuous, in contrast to all known models of SOC, and is a certain scaling limit of the sandpile model, the first and archetypical model of SOC. We describe how our model is related to pattern formation and proportional growth phenomena and discuss the dichotomy between continuous and discrete models in several contexts. Our aim in this context is to present an idealized tropical toy model (cf. Turing reaction-diffusion model), requiring further investigation. article_processing_charge: No article_type: original author: - first_name: Nikita full_name: Kalinin, Nikita last_name: Kalinin - first_name: Aldo full_name: Guzmán Sáenz, Aldo last_name: Guzmán Sáenz - first_name: Y full_name: Prieto, Y last_name: Prieto - first_name: Mikhail full_name: Shkolnikov, Mikhail id: 35084A62-F248-11E8-B48F-1D18A9856A87 last_name: Shkolnikov orcid: 0000-0002-4310-178X - first_name: V full_name: Kalinina, V last_name: Kalinina - first_name: Ernesto full_name: Lupercio, Ernesto last_name: Lupercio citation: ama: 'Kalinin N, Guzmán Sáenz A, Prieto Y, Shkolnikov M, Kalinina V, Lupercio E. Self-organized criticality and pattern emergence through the lens of tropical geometry. PNAS: Proceedings of the National Academy of Sciences of the United States of America. 2018;115(35):E8135-E8142. doi:10.1073/pnas.1805847115' apa: 'Kalinin, N., Guzmán Sáenz, A., Prieto, Y., Shkolnikov, M., Kalinina, V., & Lupercio, E. (2018). Self-organized criticality and pattern emergence through the lens of tropical geometry. PNAS: Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.1805847115' chicago: 'Kalinin, Nikita, Aldo Guzmán Sáenz, Y Prieto, Mikhail Shkolnikov, V Kalinina, and Ernesto Lupercio. “Self-Organized Criticality and Pattern Emergence through the Lens of Tropical Geometry.” PNAS: Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2018. https://doi.org/10.1073/pnas.1805847115.' ieee: 'N. Kalinin, A. Guzmán Sáenz, Y. Prieto, M. Shkolnikov, V. Kalinina, and E. Lupercio, “Self-organized criticality and pattern emergence through the lens of tropical geometry,” PNAS: Proceedings of the National Academy of Sciences of the United States of America, vol. 115, no. 35. National Academy of Sciences, pp. E8135–E8142, 2018.' ista: 'Kalinin N, Guzmán Sáenz A, Prieto Y, Shkolnikov M, Kalinina V, Lupercio E. 2018. Self-organized criticality and pattern emergence through the lens of tropical geometry. PNAS: Proceedings of the National Academy of Sciences of the United States of America. 115(35), E8135–E8142.' mla: 'Kalinin, Nikita, et al. “Self-Organized Criticality and Pattern Emergence through the Lens of Tropical Geometry.” PNAS: Proceedings of the National Academy of Sciences of the United States of America, vol. 115, no. 35, National Academy of Sciences, 2018, pp. E8135–42, doi:10.1073/pnas.1805847115.' short: 'N. Kalinin, A. Guzmán Sáenz, Y. Prieto, M. Shkolnikov, V. Kalinina, E. Lupercio, PNAS: Proceedings of the National Academy of Sciences of the United States of America 115 (2018) E8135–E8142.' date_created: 2018-12-11T11:44:26Z date_published: 2018-08-28T00:00:00Z date_updated: 2023-09-18T08:41:16Z day: '28' department: - _id: TaHa doi: 10.1073/pnas.1805847115 ec_funded: 1 external_id: arxiv: - '1806.09153' isi: - '000442861600009' intvolume: ' 115' isi: 1 issue: '35' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1806.09153 month: '08' oa: 1 oa_version: Preprint page: E8135 - E8142 project: - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme publication: 'PNAS: Proceedings of the National Academy of Sciences of the United States of America' publication_identifier: issn: - '00278424' publication_status: published publisher: National Academy of Sciences publist_id: '7990' quality_controlled: '1' scopus_import: '1' status: public title: Self-organized criticality and pattern emergence through the lens of tropical geometry type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 115 year: '2018' ...