المؤلفون: Philipp Thomas, Guillaume Terradot, Vincent Danos, Andrea Y. Weiße

المصدر: Nature Communications, Vol 9, Iss 1, Pp 1-11 (2018)

مصطلحات موضوعية: Science

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2041-1723

URL الوصول: https://doaj.org/article/d9e082eab9714756b14cf784f6488905

المؤلفون: Nicolas Behr, Vincent Danos, Ilias Garnier

المصدر: Logical Methods in Computer Science, Vol Volume 16, Issue 3 (2020)

مصطلحات موضوعية: computer science - logic in computer science, computer science - discrete mathematics, mathematical physics, 16b50, 60j27, 68q42 (primary) 60j28, 16b50, 05e99 (secondary), f.4.2, g.3, g.2.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/5426/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/ae22de8cc7064528afc26e7e59329eb0

المؤلفون: William Waites, Matteo Cavaliere, Elise Cachat, Vincent Danos, Jamie A. Davies

المصدر: IEEE Access, Vol 6, Pp 40302-40312 (2018)

مصطلحات موضوعية: Entropy, graph theory, distance measurement, biomedical image processing, pattern analysis, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/8405520/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/5f066ebc5f0d434890788bcc5b41d7a6

المؤلفون: Nicolas Oury, Vincent Danos

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 26, Iss Proc. DCM 2010, Pp 75-84 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1006.1430v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/d2e81431a4744a619dad9bdc565521ec

المؤلفون: Matthias Sachs, Benedict Leimkuhler, Vincent Danos

المصدر: Entropy, Vol 19, Iss 12, p 647 (2017)

مصطلحات موضوعية: Langevin dynamics, fluctuation-dissipation theorems, nonequilibrium simulation, molecular dynamics, sampling, local thermal equilibrium, temperature gradients, Science, Astrophysics, QB460-466, Physics, QC1-999

وصف الملف: electronic resource

Relation: https://www.mdpi.com/1099-4300/19/12/647; https://doaj.org/toc/1099-4300

URL الوصول: https://doaj.org/article/449dcc122e8c4aae95ca68be51fa2252

المؤلفون: Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer

المصدر: Logical Methods in Computer Science, Vol Volume 11, Issue 2 (2015)

مصطلحات موضوعية: computer science - logic in computer science, quantitative biology - molecular networks, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/1573/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/80f5b439a32f4048b0d707cfa6c24b74

المؤلفون: Eric J Deeds, Jean Krivine, Jérôme Feret, Vincent Danos, Walter Fontana

المصدر: PLoS ONE, Vol 7, Iss 3, p e32032 (2012)

مصطلحات موضوعية: Medicine, Science

وصف الملف: electronic resource

Relation: http://europepmc.org/articles/PMC3297590?pdf=render; https://doaj.org/toc/1932-6203

URL الوصول: https://doaj.org/article/ab6f385a820f4bdf85928d21c63bdfbf

المؤلفون: Andrea Canidio, Vincent Danos

المصدر: INFORMS, Management Science. 70(7):4429-4440

الإتاحة: https://ideas.repec.org/a/inm/ormnsc/v70y2024i7p4429-4440.html

المؤلفون: William Waites, Jasmina Panovska-Griffiths, Vincent Danos, Matteo Cavaliere, David Manheim

المساهمون: Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Paris (ENS Paris), Département d'informatique de l'École normale supérieure (DI-ENS)

المصدر: Journal of Theoretical Biology
Journal of Theoretical Biology, 2021, 530, pp.110851. ⟨10.1016/j.jtbi.2021.110851⟩
Journal of Theoretical Biology, Elsevier, 2021, 530, pp.110851. ⟨10.1016/j.jtbi.2021.110851⟩

مصطلحات موضوعية: QA75, Statistics and Probability, Principle of compositionality, Computer science, [SDV]Life Sciences [q-bio], Context (language use), Machine learning, computer.software_genre, Models, Biological, General Biochemistry, Genetics and Molecular Biology, 03 medical and health sciences, 0302 clinical medicine, Stochastic simulation, [INFO]Computer Science [cs], 030212 general & internal medicine, Epidemics, Quantitative Biology - Populations and Evolution, ComputingMilieux_MISCELLANEOUS, 030304 developmental biology, 0303 health sciences, Class (computer programming), Models, Statistical, General Immunology and Microbiology, business.industry, Applied Mathematics, Populations and Evolution (q-bio.PE), Rule-based system, General Medicine, 3. Good health, Infectious disease (medical specialty), Modeling and Simulation, Ordinary differential equation, FOS: Biological sciences, Scalability, Artificial intelligence, Contact Tracing, General Agricultural and Biological Sciences, business, computer

وصف الملف: text; application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca6968a93c240fa4f2712d1f5ed74a85
https://hal.science/hal-03455973

المؤلفون: Hamza El Khalloufi, Julien Prat, Vincent Danos

المساهمون: Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Analyse Statique par Interprétation Abstraite (ANTIQUE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Matthew Bernhard, Andrea Bracciali, Lewis Gudgeon, Thomas Haines, Ariah Klages-Mundt, Shin'ichiro Matsuo, Daniel Perez, Massimiliano Sala, Sam Werner, Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Inria de Paris

المصدر: Lecture Notes in Computer Science ISBN: 9783662639573
Financial Cryptography Workshops
FC 2021: Financial Cryptography and Data Security. FC 2021 International Workshops
FC 2021: Financial Cryptography and Data Security. FC 2021 International Workshops, Mar 2021, Virtual Event, France. pp.207-226, ⟨10.1007/978-3-662-63958-0_19⟩
Financial Cryptography and Data Security. FC 2021 International Workshops
Matthew Bernhard; Andrea Bracciali; Lewis Gudgeon; Thomas Haines; Ariah Klages-Mundt; Shin'ichiro Matsuo; Daniel Perez; Massimiliano Sala; Sam Werner. Financial Cryptography and Data Security. FC 2021 International Workshops, 12676, Springer, pp.207-226, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-63958-0_19⟩

مصطلحات موضوعية: Money market, Mathematical optimization, 050208 finance, Computer science, 05 social sciences, Regular polygon, [SHS.ECO]Humanities and Social Sciences/Economics and Finance, Order (exchange), 0502 economics and business, [INFO]Computer Science [cs], Arbitrage, 050207 economics, Routing (electronic design automation), ComputingMilieux_MISCELLANEOUS

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::44a92e770aa0677186dc66db58f7e726
https://doi.org/10.1007/978-3-662-63958-0_19