Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Interoperabilité"'
Publikováno v:
Les nouveaux SIG archéo-urbains
Les nouveaux SIG archéo-urbains, Archéologie du Fait Urbain (AFU), Dec 2021, Paris, France
Les nouveaux SIG archéo-urbains, Archéologie du Fait Urbain (AFU), Dec 2021, Paris, France
National audience; Si la collecte des données archéologiques en contexte préventif est tributaire des projets d’aménagement, ce caractère opportuniste a permis d’explorer systématiquement le territoire de nombreuses villes françaises. Les
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_____10055::c6966b96ac0c9c73f4db7493a0eef35b
https://hal.science/hal-03900701
https://hal.science/hal-03900701
Autor:
Thiré, François
Publikováno v:
Computer Science [cs]. ENS Paris-Saclay, 2020. English
Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Programming Languages [cs.PL]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Computer Science [cs]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Programming Languages [cs.PL]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
Computer Science [cs]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
There is today a large family of proof systems based upon variouslogics: The Calculus of Inductive Constructions, Higher-Order logic orSet theory, etc. The diversity of proof systems has the negativeconsequence that theorems are formalized many times
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ba7f54a23b25c4596a2b3c6565b1860
https://hal.archives-ouvertes.fr/tel-03224039
https://hal.archives-ouvertes.fr/tel-03224039
Autor:
Carole ETIENNE
Publikováno v:
Séminaire
Séminaire, Marie-Paule Jacques, Agnès Tutin et Solange Rossato, Nov 2018, Grenoble, France
HAL
Séminaire, Marie-Paule Jacques, Agnès Tutin et Solange Rossato, Nov 2018, Grenoble, France
HAL
Master; A partir de l'exemple de la banque de données outillée CLAPI, le cours présente les différents aspects de la mise en place d'une banque de données de corpus avec ses outils de requêtes, les exploitations possibles suivant les objets de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5dc9805df637b5bfbd5877ab7e1646e7
https://halshs.archives-ouvertes.fr/halshs-03083003
https://halshs.archives-ouvertes.fr/halshs-03083003
Autor:
Motie, Yassine
Publikováno v:
Computer Aided Engineering. Université Toulouse 3 Paul Sabatier, 2019. English
National audience; The large number of electronic device features we use on a daily basis means a shift from a vision of old multifunction machines to distributed, widely distributed distributed devices in the environment. Knowing that a system is an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::6af6c2b537888ca5f02447677fdfc83e
https://hal.laas.fr/tel-02301623/document
https://hal.laas.fr/tel-02301623/document
Autor:
Cyril Pommier, Mathilde Lainé, Raphael Flores, Mikaël Loaec, Célia Michotey, Marie-Angélique Laporte, Claire Guerche, Michael Alaux, G. Merceron, Thomas Letellier, Sophie Durand, Delphine Steinbach, E. Duchêne, Erik Kimmel, Guillaume Cornut, P. Roumet, Hadi Quesneville, A. Lebreton, Elizabeth Arnaud, Anne-Françoise Adam-Blondon
Publikováno v:
Plant Phenomics
Plant Phenomics, 2019, 2019, pp.1-15. ⟨10.34133/2019/1671403⟩
Plant Phenomics, Vol 2019 (2019)
Plant Phenomics (2019), 1-15. (2019)
Plant Phenomics, Science Partner Journals, 2019, 2019, pp.1-15. ⟨10.34133/2019/1671403⟩
Plant Phenomics, 2019, 2019, pp.1-15. ⟨10.34133/2019/1671403⟩
Plant Phenomics, Vol 2019 (2019)
Plant Phenomics (2019), 1-15. (2019)
Plant Phenomics, Science Partner Journals, 2019, 2019, pp.1-15. ⟨10.34133/2019/1671403⟩
GnpIS is a data repository for plant phenomics that stores whole field and greenhouse experimental data including environment measures. It allows long-term access to datasets following the FAIR principles: Findable, Accessible, Interoperable, and Reu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5113ee4d130c49b08bc5d0a4c1444e5b
https://hal.inrae.fr/hal-02624031
https://hal.inrae.fr/hal-02624031
Autor:
Motie, Yassine
Publikováno v:
Computer Aided Engineering. Université Toulouse 3 Paul Sabatier, 2019. English
Networking and Internet Architecture [cs.NI]. Université Paul Sabatier-Toulouse III, 2019. English. ⟨NNT : 2019TOU30102⟩
Computer Aided Engineering. Université Toulouse 3 Paul Sabatier, 2019. English. ⟨NNT : ⟩
Networking and Internet Architecture [cs.NI]. Université Paul Sabatier-Toulouse III, 2019. English. ⟨NNT : 2019TOU30102⟩
Computer Aided Engineering. Université Toulouse 3 Paul Sabatier, 2019. English. ⟨NNT : ⟩
The large number of electronic device features we use on a daily basis means a shift from a vision of old multifunction machines to distributed, widely distributed distributed devices in the environment. Knowing that a system is an integrated set of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0b4f0dd4dbaf482d106f6e392c596a6d
https://theses.hal.science/tel-03127271
https://theses.hal.science/tel-03127271
Publikováno v:
Journée "Bonnes pratiques et outils liés à la mise en place d’une base de données recherche"
Journée "Bonnes pratiques et outils liés à la mise en place d’une base de données recherche", Centre National de la Recherche Scientifique (CNRS). FRA., Dec 2017, Paris, France. pp.40 slides
Journée "Bonnes pratiques et outils liés à la mise en place d’une base de données recherche", Paris, FRA, 2017-12-14-2017-12-14
Journée "Bonnes pratiques et outils liés à la mise en place d’une base de données recherche", Centre National de la Recherche Scientifique (CNRS). FRA., Dec 2017, Paris, France. pp.40 slides
Journée "Bonnes pratiques et outils liés à la mise en place d’une base de données recherche", Paris, FRA, 2017-12-14-2017-12-14
National audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ccb79a5de2e517dcf6dcb38d28ecbcbe
https://hal.inrae.fr/hal-02785564/document
https://hal.inrae.fr/hal-02785564/document
Autor:
Pichot, Christian
Publikováno v:
Ontology & Semantic Web for Research. LifeWatch-ITA & EUDAT Workshop
Ontology & Semantic Web for Research. LifeWatch-ITA & EUDAT Workshop, Jul 2017, Lecce, Italy
Ontology & Semantic Web for Research. LifeWatch-ITA & EUDAT Workshop, LifeWatch Italy. ITA. EUDAT, ITA., Jul 2017, Lecce, Italy
Ontology & Semantic Web for Research. LifeWatch-ITA & EUDAT Workshop, Jul 2017, Lecce, Italy
Ontology & Semantic Web for Research. LifeWatch-ITA & EUDAT Workshop, LifeWatch Italy. ITA. EUDAT, ITA., Jul 2017, Lecce, Italy
Interoperability and discovery of AnaEE distributed resources through semantic annotations. Ontology & Semantic Web for Research. LifeWatch-ITA & EUDAT Workshop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1dbc23ac7ef2b253f28ac1eb15c21dd5
https://hal.archives-ouvertes.fr/hal-01606206
https://hal.archives-ouvertes.fr/hal-01606206
Autor:
Teodora Trichkova, Helen E. Roy, Anastasia Christopoulou, Frances E. Lucy, Harry Helmisaari, Argyro Zenetos, Marie-Anne A. Rozenberg, Hans Peter Ravn, Diemer Vercayie, Tim Adriaens, Gareth Richards, Anna Gazda, Donald Hobern, Sonia Vanderhoeven, Ioannis Bazos, Olivera Petrović-Obradović, Ana Cristina Cardoso, Melanie Josefsson, Annie Simpson, Aaike De Wever, Peter Desmet, Elena Tricarico, Riccardo Scalera, Alain Roques, Quentin Groom, Dragana Marisavljevic, Tomasz Oszako, Jan Pergl, Céline Prévot, Lucinda Charles
Publikováno v:
Frontiers in Applied Mathematics and Statistics
Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2017, ⟨10.3389/fams.2017.00013⟩
Frontiers in Applied Mathematics and Statistics, Vol 3 (2017)
Groom, Q, Adriaens, T, Desmet, P, Simpson, A, De Wever, A, Bazos, I, Cardoso, A C, Charles, L, Christopoulou, A, Gazda, A, Helmisaari, H, Hobern, D, Josefsson, M, Lucy, F, Marisavljevic, D, Oszako, T, Pergi, J, Petrovic-Obradovic, O, Prévot, C, Ravn, H P, Richards, G, Roques, A, Roy, H E, Rozenberg, M-A A, Scalera, R, Tricarico, E, Trichkova, T, Vercayie, D, Zenetos, A & Vanderhoeven, S 2017, ' Seven Recommendations to Make Your Invasive Alien Species Data More Useful ' Frontiers in Applied Mathematics and Statistics . https://doi.org/10.3389/fams.2017.00013
Fronitiers in Applied Mathematics and Statistics
J. Groom, Q, Adriaens, T, Desmet, P, Simpson, A, De Wever, A, Bazos, I, Cardoso, A C, Charles, L, Christopoulou, A, Gazda, A, Helmisaari, H, Hobern, D, Josefsson, M, Lucy, F, Marisavljevic, D, Oszako, T, Pergl, J, Petrovic-Obradovic, O, Prévot, C, Ravn, H P, Richards, G, Roques, A, E. Roy, H, A. Rozenberg, M-A, Scalera, R, Tricarico, E, Trichkova, T, Vercayie, D, Zenetos, A & Vanderhoeven, S 2017, ' Seven Recommendations to Make Your Invasive Alien Species Data More Useful ', Frontiers in Applied Mathematics and Statistics, vol. 3, 13 . https://doi.org/10.3389/fams.2017.00013
Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2017, ⟨10.3389/fams.2017.00013⟩
Frontiers in Applied Mathematics and Statistics, Vol 3 (2017)
Groom, Q, Adriaens, T, Desmet, P, Simpson, A, De Wever, A, Bazos, I, Cardoso, A C, Charles, L, Christopoulou, A, Gazda, A, Helmisaari, H, Hobern, D, Josefsson, M, Lucy, F, Marisavljevic, D, Oszako, T, Pergi, J, Petrovic-Obradovic, O, Prévot, C, Ravn, H P, Richards, G, Roques, A, Roy, H E, Rozenberg, M-A A, Scalera, R, Tricarico, E, Trichkova, T, Vercayie, D, Zenetos, A & Vanderhoeven, S 2017, ' Seven Recommendations to Make Your Invasive Alien Species Data More Useful ' Frontiers in Applied Mathematics and Statistics . https://doi.org/10.3389/fams.2017.00013
Fronitiers in Applied Mathematics and Statistics
J. Groom, Q, Adriaens, T, Desmet, P, Simpson, A, De Wever, A, Bazos, I, Cardoso, A C, Charles, L, Christopoulou, A, Gazda, A, Helmisaari, H, Hobern, D, Josefsson, M, Lucy, F, Marisavljevic, D, Oszako, T, Pergl, J, Petrovic-Obradovic, O, Prévot, C, Ravn, H P, Richards, G, Roques, A, E. Roy, H, A. Rozenberg, M-A, Scalera, R, Tricarico, E, Trichkova, T, Vercayie, D, Zenetos, A & Vanderhoeven, S 2017, ' Seven Recommendations to Make Your Invasive Alien Species Data More Useful ', Frontiers in Applied Mathematics and Statistics, vol. 3, 13 . https://doi.org/10.3389/fams.2017.00013
Science-based strategies to tackle biological invasions depend on recent, accurate, well-documented, standardized and openly accessible information on alien species. Currently and historically, biodiversity data are scattered in numerous disconnected
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5cc995f8eff2fea14cf2c77e47709b92
https://hal.archives-ouvertes.fr/hal-01607810
https://hal.archives-ouvertes.fr/hal-01607810
Autor:
D. Charruaud, Thomas Letellier, Erik Kimmel, Joelle Amselem, Véronique Jamilloux, Françoise Alfama, Anne-Françoise Adam-Blondon, Nicolas Lapalu, Cyril Pommier, Célia Michotey, Michael Alaux, Sophie Durand, Mikaël Loaec, Nathalie Choisne, Raphaël-Gauthier Flores, Hadi Quesneville, Nacer Mohellibi, Claire Guerche, G. Merceron, Delphine Steinbach
Publikováno v:
Plant genomics databases
Plant genomics databases, 1533, Springer Science + Business Media B.V., 336 p., 2017, Methods in Molecular Biology, 978-1-4939-6658-5. ⟨10.1007/978-1-4939-6658-5_5⟩
Plant Genomics Databases. Methods and Protocols
Aalt D.J van Dijk. Plant Genomics Databases. Methods and Protocols, 1533, Springer, 2017, Methods in Molecular Biology, 978-1-4939-6658-5. ⟨10.1007/978-1-4939-6658-5_5⟩
Methods in Molecular Biology ISBN: 9781493966561
Plant genomics databases, 1533, Springer Science + Business Media B.V., 336 p., 2017, Methods in Molecular Biology, 978-1-4939-6658-5. ⟨10.1007/978-1-4939-6658-5_5⟩
Plant Genomics Databases. Methods and Protocols
Aalt D.J van Dijk. Plant Genomics Databases. Methods and Protocols, 1533, Springer, 2017, Methods in Molecular Biology, 978-1-4939-6658-5. ⟨10.1007/978-1-4939-6658-5_5⟩
Methods in Molecular Biology ISBN: 9781493966561
GnpIS is an information system designed to help scientists working on plants and fungi to decipher the molecular and genetic architecture of trait variations by facilitating the navigation through genetic, genomic, and phenotypic information. The pur
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8879bb76484f32bdcad4e95ffd02674c
https://hal.archives-ouvertes.fr/hal-01435388
https://hal.archives-ouvertes.fr/hal-01435388