-
1دورية أكاديمية
المؤلفون: 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
-
2دورية أكاديمية
المؤلفون: 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
-
3دورية أكاديمية
المؤلفون: 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
-
4دورية أكاديمية
المؤلفون: 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
-
5دورية أكاديمية
المؤلفون: 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
-
6دورية أكاديمية
المؤلفون: 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
-
7دورية أكاديمية
المؤلفون: Eric J Deeds, Jean Krivine, Jérôme Feret, Vincent Danos, Walter Fontana
المصدر: PLoS ONE, Vol 7, Iss 3, p e32032 (2012)
وصف الملف: electronic resource
-
8دورية أكاديمية
-
9
المؤلفون: 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
-
10
المؤلفون: 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