Showing 1 - 20 results of 106 for search 'Logic' Narrow Search
1
Report

Contributors: Laboratoire Interdisciplinaire Carnot de Bourgogne (ICB), Université de Technologie de Belfort-Montbeliard (UTBM)-Université de Bourgogne (UB)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS), Connaissance et Intelligence Artificielle Distribuées Dijon (CIAD), Université de Technologie de Belfort-Montbeliard (UTBM)-Université de Bourgogne (UB), ANR-20-CE24-0001,DALHAI,Conception par intelligence artificielle hybride d'ALU plasmonique(2020), ANR-15-IDEX-0003,BFC,ISITE " BFC(2015), ANR-17-EURE-0002,EIPHI,Ingénierie et Innovation par les sciences physiques, les savoir-faire technologiques et l'interdisciplinarité(2017), ANR-21-ESRE-0040,SMARTLIGHT,SMARTLIGHT(2021), European Project: PO FEDER-FSE Bourgogne 2014/2020

Superior Title: https://hal.science/hal-04287298 ; 2023.

2
Book

Contributors: Évolution, Écologie et Paléontologie (Evo-Eco-Paleo) - UMR 8198 (Evo-Eco-Paléo (EEP)), Université de Lille-Centre National de la Recherche Scientifique (CNRS), Plant Health Institute of Montpellier (UMR PHIM), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut de Recherche pour le Développement (IRD)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Montpellier (UM), Agroécologie Dijon, Université de Bourgogne (UB)-Université Bourgogne Franche-Comté COMUE (UBFC)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Dijon, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Institut de Systématique, Evolution, Biodiversité (ISYEB ), Muséum national d'Histoire naturelle (MNHN)-École Pratique des Hautes Études (EPHE), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université des Antilles (UA), Centre d’Ecologie Fonctionnelle et Evolutive (CEFE), Université Paul-Valéry - Montpellier 3 (UPVM)-École Pratique des Hautes Études (EPHE), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD France-Sud )-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, Biodiversité, Gènes & Communautés (BioGeCo), Université de Bordeaux (UB)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Bangor University, Institut de Génétique, Environnement et Protection des Plantes (IGEPP), Université de Rennes (UR)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Rennes Angers, Mathématiques et Informatique Appliquées (MIA Paris-Saclay), AgroParisTech-Université Paris-Saclay-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), University of California Riverside (UC Riverside), University of California (UC), Peuplements végétaux et bioagresseurs en milieu tropical (UMR PVBMT), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut de Recherche pour le Développement (IRD)-Université de La Réunion (UR)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Centre de Biologie pour la Gestion des Populations (UMR CBGP), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut de Recherche pour le Développement (IRD France-Sud )-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, Département Systèmes Biologiques (Cirad-BIOS), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad), Laboratoire de Probabilités, Statistique et Modélisation (LPSM (UMR_8001)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Centre d’Infection et d’Immunité de Lille - INSERM U 1019 - UMR 9017 - UMR 8204 (CIIL), Institut Pasteur de Lille, Réseau International des Instituts Pasteur (RIIP)-Réseau International des Instituts Pasteur (RIIP)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Lille-Centre Hospitalier Régional Universitaire CHU Lille (CHRU Lille)-Centre National de la Recherche Scientifique (CNRS), This study was funded by the following projects and contracts: NGB (ANR-17-CE32-0011), EcoNet (ANR 18-CE02-0010), ARSENIC (ANR-14-CE02-0012), BCMicrobiome (Consortium Biocontrole), Nouvelle-Aquitaine Region Athene project (2016-1R2030100007218). The authors thank the French Ministere de l'Enseignement Superieur et de la Recherche, the Hauts-de-France Region and the European Funds for Regional Economic Development for their financial support. All sequencing experiments have been done at the PGTB (grants from the Conseil Regional d'Aquitaine n degrees 20030304002FA and 20040305003FA, from the European Union FEDER n degrees 2003227 and from Investissements d'Avenir XYLOFOREST ANR-10-EQPX-0016)., David A. Bohan, Alex J. Dumbrell, Adam J. Vanbergen, ANR-14-CE02-0012,ARSENIC,Adaptation et résilience des réseaux écologiques spatialisés face aux changements d'origine humaine(2014), ANR-17-CE32-0011,NGB,Biosurveillance Next-Gen des changements dans la structure et le fonctionnement des écosystèmes(2017), ANR-18-CE02-0010,EcoNet,Modèles statistiques avancés pour les réseaux écologiques(2018), ANR-10-EQPX-0016,XYLOFOREST,Plateforme d'Innovation " Forêt-Bois-Fibre-Biomasse du Futur "(2010)

Superior Title: The Future of Agricultural Landscapes, Part III ; https://hal.science/hal-03634351 ; David A. Bohan; Alex J. Dumbrell; Adam J. Vanbergen. The Future of Agricultural Landscapes, Part III, 65, Elsevier, pp.367-430, 2022, Advances in Ecological Research, 9780323915038. ⟨10.1016/bs.aecr.2021.10.007⟩ ; https://www.sciencedirect.com/science/article/abs/pii/S0065250421000222

3
Book

Contributors: Laboratoire de Mathématiques de Besançon (UMR 6623) (LMB), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC), Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster, ANR-19-CE40-0002,ANCG,Analyse non commutative sur les groupes et les groupes quantiques(2019)

Superior Title: Mathematics for Computation - M4C ; https://hal.science/hal-03522215 ; Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Schuster. Mathematics for Computation - M4C, World Scientific, In press

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2201.04352; hal-03522215; https://hal.science/hal-03522215; https://hal.science/hal-03522215/document; https://hal.science/hal-03522215/file/ConstructiveOrdinals.pdf; ARXIV: 2201.04352

4
Conference

Contributors: Centre Scientifique et Technique du Bâtiment (CSTB), Laboratoire d'Informatique de Bourgogne Dijon (LIB), Université de Bourgogne (UB)

Superior Title: Proceedings of the 4th International Workshop on Geospatial Linked Data (GeoLD 2021) ; 4th International Workshop on Geospatial Linked Data (GeoLD 2021) Co-located with the 18th Extended Semantic Web Conference (ESWC 2021) ; https://hal.science/hal-03703827 ; 4th International Workshop on Geospatial Linked Data (GeoLD 2021) Co-located with the 18th Extended Semantic Web Conference (ESWC 2021), Jun 2021, Hersonissos, Greece ; https://dice-group.github.io/GeoLD2021/

Subject Geographic: Hersonissos, Greece

5
Academic Journal

Contributors: Centre de Recherche en Gestion des Organisations (CREGO), Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Université de Bourgogne (UB)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC), Gestion de l'Eau, Acteurs, Usages (UMR G-EAU), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Bureau de Recherches Géologiques et Minières (BRGM) (BRGM)-Institut de Recherche pour le Développement (IRD)-AgroParisTech-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Montpellier Research in Management (MRM), Université de Perpignan Via Domitia (UPVD)-Université de Montpellier (UM), IRSTEA membre de l'Institut Carnot, Office Français de la Biodiversité, Montpellier Méditerranée Métropole, Régie Publique de l'Eau de Montpellier Métropole

Superior Title: ISSN: 1768-5958.

8
Academic Journal

Contributors: Groupe NanoSciences (CEMES-GNS), Centre d'élaboration de matériaux et d'études structurales (CEMES), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut de Chimie de Toulouse (ICT), Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Interdisciplinaire Carnot de Bourgogne (ICB), Université de Technologie de Belfort-Montbeliard (UTBM)-Université de Bourgogne (UB)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS), Department of Health Sciences and Technology ETH Zürich (D-HEST), Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology Zürich (ETH Zürich), This work has been funded by the French Agence Nationale de la Recherche (ANR-13-BS10-0007-PLACORE), the European Research Council (ERC-2007-StG-203872-COMOSYEL), the Region of Burgundy (PARI II Photcom), the EIPHI graduate school (ANR-17-EUR-0002), the Conseil Régional de Bourgogne-Franche-Comté (APEX), and the European Regional Developement Fund (Project Optiflex). The authors acknowledge the support of the massively parallel computing center CALMIP (Toulouse, Fr) through Project No. P1107., ANR-13-BS10-0007,PlaCoRe,Circuits Plasmoniques Colloidaux Reconfigurables(2013), ANR-17-EURE-0002,EIPHI,Ingénierie et Innovation par les sciences physiques, les savoir-faire technologiques et l'interdisciplinarité(2017), European Project

Superior Title: ISSN: 1936-0851 ; ACS Nano ; https://hal.science/hal-02330410 ; ACS Nano, 2021, 15 (8), pp.13351. ⟨10.1021/acsnano.1c03196⟩.

9
Conference
10
Conference

Contributors: Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Équipe MIcro et Nanosystèmes pour les Communications sans fil (LAAS-MINC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université Bourgogne Franche-Comté COMUE (UBFC), Laboratoire d'Informatique de Bourgogne Dijon (LIB), Université de Bourgogne (UB), 360SmartConnect (360sc), ANR-17-CE10-0014,McBIM,Matière communicante au service du BIM(2017)

Superior Title: 12th International Workshop on Structural Health Monitoring, IWSHM 2019
https://hal.science/hal-02285937
12th International Workshop on Structural Health Monitoring, IWSHM 2019, Sep 2019, Stanford, CA, United States

Subject Geographic: Stanford, CA, United States

12
Conference

Contributors: Laboratoire d'Informatique de Bourgogne Dijon (LIB), Université de Bourgogne (UB), Imagerie et Vision Artificielle Dijon (ImViA), Centre de Recherche en Automatique de Nancy (CRAN), Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Équipe MIcro et Nanosystèmes pour les Communications sans fil (LAAS-MINC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), 360SmartConnect (360sc), IEEE, ANR-17-CE10-0014,McBIM,Matière communicante au service du BIM(2017)

Superior Title: 15th International Conference on Signal Image Technology & Internet based Systems, SITIS 2019
https://hal.science/hal-03765010
15th International Conference on Signal Image Technology & Internet based Systems, SITIS 2019, Nov 2019, Sorrento, Italy. ⟨10.1109/SITIS.2019.00071⟩

Subject Geographic: Sorrento, Italy

Time: Sorrento, Italy

13
Conference
14
Conference

Contributors: Centre Scientifique et Technique du Bâtiment (CSTB), Laboratoire d'Informatique de Bourgogne Dijon (LIB), Université de Bourgogne (UB)

Superior Title: EduBIM 2019, 5e édition des journées de l'enseignement et de la recherche sur la maquette numérique et le BIM en France ; https://cstb.hal.science/hal-03635102 ; EduBIM 2019, 5e édition des journées de l'enseignement et de la recherche sur la maquette numérique et le BIM en France, May 2019, Cachan, France

Subject Geographic: Cachan, France

15
Conference

Contributors: Laboratoire d'Informatique de Bourgogne Dijon (LIB), Université de Bourgogne (UB), Centre Scientifique et Technique du Bâtiment (CSTB)

Superior Title: 5e édition EDUBIM (journées de l'enseignement et de la recherche sur la maquette numérique et le BIM en France)
https://hal.science/hal-02279645
5e édition EDUBIM (journées de l'enseignement et de la recherche sur la maquette numérique et le BIM en France), May 2019, Cachan, France
https://edubim2019.sciencesconf.org/

Subject Geographic: Cachan, France

16
Conference

Contributors: Laboratoire d'Informatique de Bourgogne Dijon (LIB), Université de Bourgogne (UB), Centre Scientifique et Technique du Bâtiment (CSTB)

Superior Title: 18th International Conference on INFORMATICS in ECONOMY. Education, Research and Business Technologies
https://hal.science/hal-02279624
18th International Conference on INFORMATICS in ECONOMY. Education, Research and Business Technologies, May 2019, Bucharest, Romania. pp.165-170, ⟨10.12948/ie2019.04.04⟩

Subject Geographic: Bucharest, Romania

17
Academic Journal

Contributors: Department of Computer Science and Engineering Göteborg (CSE), Chalmers University of Technology Göteborg, Laboratoire de Mathématiques de Besançon (UMR 6623) (LMB), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)

Superior Title: ISSN: 0144-5340.

18
Academic Journal

Contributors: Imagerie et Vision Artificielle Dijon (ImViA), Université de Bourgogne (UB), Equipe CORES ImViA - EA7535 (CORES), Université de Bourgogne (UB)-Université de Bourgogne (UB), Laboratoire de Conception, Optimisation et Modélisation des Systèmes (LCOMS), Université de Lorraine (UL)

Superior Title: ISSN: 0141-9331 ; EISSN: 1872-9436.

19
Academic Journal

Contributors: Département de Recherche en Ingénierie des Véhicules pour l'Environnement Nevers (DRIVE), Université de Bourgogne (UB)-Université Bourgogne Franche-Comté COMUE (UBFC), Bahir Dar University (BDU)

Superior Title: ISSN: 0167-739X ; Future Generation Computer Systems ; https://hal.science/hal-02885815 ; Future Generation Computer Systems, 2020, 106, pp.206-220. ⟨10.1016/j.future.2019.12.045⟩.

20
Academic Journal

Contributors: Mathématiques et Informatique Appliquées (MIA Paris-Saclay), AgroParisTech-Université Paris-Saclay-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Institut des Systèmes Complexes - Paris Ile-de-France (ISC-PIF), École normale supérieure - Cachan (ENS Cachan)-Université Paris 1 Panthéon-Sorbonne (UP1)-École polytechnique (X)-Institut Curie Paris -Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Centre des Sciences du Goût et de l'Alimentation Dijon (CSGA), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Dijon, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Université Bourgogne Franche-Comté COMUE (UBFC), Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Université Paris-Saclay

Superior Title: ISSN: 1547-1063.

Relation: hal-04336187; https://hal.inrae.fr/hal-04336187; WOS: 001107991700006