المؤلفون: Krivine, Jean-Louis

مصطلحات موضوعية: Mathematics - Functional Analysis, 46B20

URL الوصول: http://arxiv.org/abs/2306.00995

المؤلفون: Behr, Nicolas, Harmer, Russ, Krivine, Jean

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 16B50, 60J27, 68Q42 (Primary) 60J28, 16B50, 05E99 (Secondary), F.4.2, G.3, G.2.2

URL الوصول: http://arxiv.org/abs/2204.07175

المؤلفون: Behr, Nicolas, Krivine, Jean, Andersen, Jakob L., Merkle, Daniel

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 16B50, 60J27, 68Q42 (Primary) 60J28, 16B50, 05E99 (Secondary), F.4.2, G.3, G.2.2

URL الوصول: http://arxiv.org/abs/2106.02573

المؤلفون: Behr, Nicolas, Harmer, Russ, Krivine, Jean

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 16B50, 60J27, 68Q42 (Primary) 60J28, 16B50, 05E99 (Secondary), F.4.2, G.3, G.2.2

URL الوصول: http://arxiv.org/abs/2105.02842

المؤلفون: Krivine, Jean-Louis

المصدر: Logical Methods in Computer Science, Volume 17, Issue 3 (September 1, 2021) lmcs:6549

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03E40, F.4.1

URL الوصول: http://arxiv.org/abs/2006.05433

المؤلفون: Behr, Nicolas, Krivine, Jean

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 16B50, 60J27, 68Q42 (Primary) 60J28, 16B50, 05E99 (Secondary), F.4.2, G.3, G.2.2

URL الوصول: http://arxiv.org/abs/2003.09395

المؤلفون: Caltais, Georgiana, Krivine, Jean

المصدر: EPTCS 308, 2019

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Human-Computer Interaction, Computer Science - Information Retrieval

URL الوصول: http://arxiv.org/abs/1910.13641

المؤلفون: Husson, Adrien, Krivine, Jean

المصدر: EPTCS 306, 2019, pp. 101-113

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1909.08236

المؤلفون: Behr, Nicolas, Krivine, Jean

المصدر: Compositionality, Volume 3 (2021) (April 22, 2021) compositionality:13512

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory, 16B50, 60J27, 68Q42 (Primary) 60J28, 16B50, 05E99 (Secondary), F.4.2, G.3, G.2.2

URL الوصول: http://arxiv.org/abs/1904.09322

المؤلفون: Cristescu, Ioana, Fontana, Walter, Krivine, Jean

المصدر: EPTCS 286, 2019, pp. 65-78

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computational Engineering, Finance, and Science

URL الوصول: http://arxiv.org/abs/1901.00592

المؤلفون: Forbes, Angus G., Burks, Andrew, Lee, Kristine, Li, Xing, Boutillier, Pierre, Krivine, Jean, Fontana, Walter

مصطلحات موضوعية: Computer Science - Graphics, Computer Science - Human-Computer Interaction, Computer Science - Social and Information Networks, Quantitative Biology - Molecular Networks

URL الوصول: http://arxiv.org/abs/1711.00967

المؤلفون: Boutillier, Pierre, Maasha, Mutaamba, Li, Xing, Medina-Abarca, Héctor, Krivine, Jean, Feret, Jérôme, Cristescu, Ioana, Forbes, Angus, Fontana, Walter

المصدر: Computer applications in the biosciences : CABIOS. 34(13)

مصطلحات موضوعية: Computational Biology, Data Visualization, Epidermal Growth Factor, Models, Biological, Signal Transduction, Software, Wnt Signaling Pathway

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

URL الوصول: https://escholarship.org/uc/item/8qv60198
https://escholarship.org/content/qt8qv60198/qt8qv60198.pdf

المؤلفون: Behr, Nicolas, Harmer, Russ, Krivine, Jean

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Preuves et Langages (PLUME), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://hal.science/hal-03739405 ; Journal of Logical and Algebraic Methods in Programming, 2023, 135, pp.100893. ⟨10.1016/j.jlamp.2023.100893⟩.

مصطلحات موضوعية: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2204.07175; ARXIV: 2204.07175

الاتاحة: https://hal.science/hal-03739405
https://hal.science/hal-03739405v1/document
https://hal.science/hal-03739405v1/file/NBRHJK-ICGT-2021-extended%20%281%29.pdf
https://doi.org/10.1016/j.jlamp.2023.100893

المؤلفون: Forbes, Angus G, Burks, Andrew, Lee, Kristine, Li, Xing, Boutillier, Pierre, Krivine, Jean, Fontana, Walter

المصدر: IEEE Transactions on Visualization and Computer Graphics. 24(1)

مصطلحات موضوعية: Information and Computing Sciences, Dynamic networks, biological data visualization, rule-based modeling, protein-protein interaction networks, Artificial Intelligence and Image Processing, Computation Theory and Mathematics, Software Engineering, Information and computing sciences

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

URL الوصول: https://escholarship.org/uc/item/4vm443t3

المؤلفون: Maisonneuve, Hervé (AUTHOR), Krivine, Jean-Paul (AUTHOR)

المصدر: Science & Pseudo-Sciences. jan2025, Issue 351, p68-73. 6p. 4 Color Photographs.

مصطلحات موضوعية: *MEDICAL periodicals, *MEDICAL care, *TEAMS, *CITIZENS

المؤلفون: Krivine, Jean-Paul (AUTHOR)

المصدر: Science & Pseudo-Sciences. jan2025, Issue 351, p38-44. 7p. 3 Color Photographs.

مصطلحات موضوعية: *FRAUD in science, *LEGAL procedure, *HYDROXYCHLOROQUINE, *LIBEL & slander, *COVID-19

المؤلفون: Krivine, Jean-Paul (AUTHOR)

المصدر: Science & Pseudo-Sciences. jan2025, Issue 351, p4-8. 5p. 2 Color Photographs.

مصطلحات موضوعية: *GREENHOUSE gases, *DIETARY patterns, *LIVESTOCK farms, *MEAT alternatives, *AGRICULTURE

مصطلحات جغرافية: FRANCE

المؤلفون: Krivine, Jean

مصطلحات موضوعية: [INFO:INFO_NI] Computer Science/Networking and Telecommunication, [INFO:INFO_SE] Computer Science/Software Engineering, Calcul formel, systèmes répartis, réversibilité, causalité, algèbres de processus, bisimulation

الاتاحة: http://tel.archives-ouvertes.fr/tel-00519528
http://tel.archives-ouvertes.fr/docs/00/51/95/28/PDF/phd-1.pdf

المؤلفون: Krivine, Jean-Paul

المصدر: Des têtes bien faites. 2019, p. 251-266.

الاتاحة: https://www.cairn.info/des-tetes-bien-faites--9782130816126-page-251.htm

المؤلفون: Krivine, Jean-Louis

المصدر: Proceedings CSL 2016 LIPIcs vol. 62 pp. 25:1--25:11 (2016)

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03E40, F.4.1

URL الوصول: http://arxiv.org/abs/1502.00112