Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Benoît Pin"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 239, Iss Proc. UITP 2016, Pp 15-27 (2017)
We describe jsCcoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5–ECMAScript 2015 specification, and it is typically run inside a standards-compliant browser, without the need of ext
Externí odkaz:
https://doaj.org/article/c0d0e65544174445867f27afe7ae70a6
Autor:
George Alzeeb, Corinne Tortorelli, Jaqueline Taleb, Fanny De Luca, Benoit Berge, Chloé Bardet, Emeric Limagne, Marion Brun, Lionel Chalus, Benoit Pinteur, Paul Bravetti, Céline Gongora, Lionel Apetoh, Francois Ghiringhelli
Publikováno v:
Frontiers in Oncology, Vol 14 (2024)
Colorectal cancer (CRC) remains a significant global health burden, emphasizing the need for innovative treatment strategies. 95% of the CRC population are microsatellite stable (MSS), insensitive to classical immunotherapies such as anti-PD-1; on th
Externí odkaz:
https://doaj.org/article/0115fec381ae4240a991d78a41f7e83c
Publikováno v:
AgriVoltaics Conference Proceedings, Vol 2 (2024)
Open-air poultry farming is currently developing with the increasing society demand for livestock farming better considering animal welfare. Outside animal comfort and open-air runs exploration could be enhanced by shelters such as trees or photovolt
Externí odkaz:
https://doaj.org/article/f3fe990487bd4eb4ac07a61987cef6a7
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 239, Iss Proc. UITP 2016, Pp 15-27 (2017)
12th International Workshop on User Interfaces for Theorem Provers (UITP '16)
12th International Workshop on User Interfaces for Theorem Provers (UITP '16), Jul 2016, Coimbra, Portugal. pp.15-27, ⟨10.4204/EPTCS.239.2⟩
UITP
12th International Workshop on User Interfaces for Theorem Provers (UITP '16)
12th International Workshop on User Interfaces for Theorem Provers (UITP '16), Jul 2016, Coimbra, Portugal. pp.15-27, ⟨10.4204/EPTCS.239.2⟩
UITP
We describe jsCcoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5-ECMAScript 2015 specification, and it is typically run inside a standards-compliant browser, without the need of exter
Publikováno v:
AgriVoltaics Conference Proceedings, Vol 1 (2024)
Open-air poultry farming is currently developing with the increasing society demand for livestock farming better considering animal welfare. Outside animal comfort and open-air runs exploration could be enhanced by shelters such as trees or photovolt
Externí odkaz:
https://doaj.org/article/790ccd2250e443408d1cb939d652e0b9
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030001773
AICOL
AI Approaches to the Complexity of Legal Systems
AI Approaches to the Complexity of Legal Systems, pp.Pages 220-232, 2018, 978-3-030-00178-0
AICOL
AI Approaches to the Complexity of Legal Systems
AI Approaches to the Complexity of Legal Systems, pp.Pages 220-232, 2018, 978-3-030-00178-0
legivoc is the first Internet-based platform dedicated to the diffusion, edition and alignment of legal vocabularies across countries. Funded in part by the European Commission and administered by the French Ministry of Justice, legivoc offers a seam
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::036b3ba7d52758500443df1e4452bb2f
https://doi.org/10.1007/978-3-030-00178-0_14
https://doi.org/10.1007/978-3-030-00178-0_14
Autor:
Yan Wang, Antoine Italiano, Alban Bessede, Corinne Tortorelli, Benoit Pinteur, Lionel Chalus, Paul Bravetti, George Alzeeb, Arnaud Peyronnier
Publikováno v:
Journal for ImmunoTherapy of Cancer, Vol 11, Iss Suppl 1 (2023)
Externí odkaz:
https://doaj.org/article/01fd5c2e0ba44ae08104603908084396
Autor:
Samuel Amintas, Pauline Beaumont, Charles Dupin, Isabelle Moranvillier, Isabelle Lamrissi, Elie Patel, Benjamin Fernandez, Alice Bibeyran, Julian Boutin, Tristan Richard, Stéphanie Krisa, François Moreau-Gaudry, Aurélie Bedel, David Cappellen, Benoît Pinson, Véronique Vendrely, Sandrine Dabernat
Publikováno v:
Journal of Functional Foods, Vol 99, Iss , Pp 105345- (2022)
Resveratrol belongs to the Bioactive Food Component (BFC) family. It seems admitted that its cytotoxic action impacts tumor cells and spares healthy cells, but the published proofs remain rare. We hypothesized that cells may differentially metabolize
Externí odkaz:
https://doaj.org/article/a6b60731bfbd48399c87283fc03376bc
Autor:
Maëlle Duperray, Fanny Hardet, Elodie Henriet, Christelle Saint-Marc, Eric Boué-Grabot, Bertrand Daignan-Fornier, Karine Massé, Benoît Pinson
Publikováno v:
Cells, Vol 12, Iss 19, p 2379 (2023)
Purines are required for fundamental biological processes and alterations in their metabolism lead to severe genetic diseases associated with developmental defects whose etiology remains unclear. Here, we studied the developmental requirements for pu
Externí odkaz:
https://doaj.org/article/f76fcca561704dcd84739d4684061716
Publikováno v:
Science direct
Science direct, 2012, Vol. 3 (Issue 4), pp.111-120. ⟨10.1016/j.entcom.2011.12.004⟩
Science direct, 2012, Vol. 3 (Issue 4), pp.111-120. ⟨10.1016/j.entcom.2011.12.004⟩
International audience; MINWii, a new serious video game targeting Alzheimer and demented patients, is a simple music therapy tool usable by untrained care givers. Its goal is to improve patients' self-image (renarcissization) to reduce behavioral sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a7b6310ae41d811be744455ae97c08c0
https://hal-mines-paristech.archives-ouvertes.fr/hal-00831327
https://hal-mines-paristech.archives-ouvertes.fr/hal-00831327