---
_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
license: https://creativecommons.org/licenses/by/4.0/
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'
...