يعرض 1 - 20 نتائج من 79 نتيجة بحث عن '"Differential index"', وقت الاستعلام: 0.76s تنقيح النتائج
  1. 1
    Academic Journal
  2. 2
    Academic Journal
  3. 3
    Academic Journal
  4. 4
    Book

    المساهمون: Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Mogram AB Lund, Deutsches Zentrum für Luft- und Raumfahrt (DLR), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL), Parallélisme de Kahn Synchrone (Parkas), Département d'informatique - ENS Paris (DI-ENS), 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)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)

    المصدر: Computing and Software Science: State of the Art and Perspectives ; https://inria.hal.science/hal-02333603 ; Computing and Software Science: State of the Art and Perspectives, LNCS-10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩

  5. 5
  6. 6
    Academic Journal
  7. 7
    Conference

    المساهمون: Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Mogram AB Lund, Deutsches Zentrum für Luft- und Raumfahrt (DLR), Parallélisme de Kahn Synchrone (Parkas), 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)-É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)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)

    المصدر: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017 ; https://inria.hal.science/hal-01521918 ; Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Apr 2017, Pittsburgh, PA, United States. ⟨10.1145/3049797.3049806⟩ ; http://hscc2017.ece.illinois.edu

    جغرافية الموضوع: Pittsburgh, PA, United States

  8. 8
    Academic Journal
  9. 9
  10. 10
  11. 11
    Academic Journal
  12. 12
    Dissertation/ Thesis

    المؤلفون: Buitrago Silva, Paula Julieth

    المساهمون: Pedraza Nájar, Ximena Lucía

    جغرافية الموضوع: Calle 100

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

    Relation: Abud-H & Torres. (2016). Caracterización florística de un bosque alto andino en el Parque Nacional Natural Puracé, Cauca, Colombia. 27.; Alvear et al. (2009). Diversidad florística y estructura de remanentes de bosque andino en la zona de amortiguación del Parque Nacional Natural Los Nevados, cordillera central colombiana.; Conservación Internacional Colombia. (21 de febrero de 2018). Avistamiento del Oso Andino en Parque Regional Vista Hermosa de Monquentiva. [Archivo de video]. YouTube. https://youtu.be/FlScdhjPR6s; Corporación Autónoma Regional [CAR]. (19 de Septiembre de 2017). Acuerdo 27 de 2017. Obtenido de chrome-extension://efaidnbmnnnibpcajpcglclefindmkaj/https://www.car.gov.co/uploads/files/5ad7adc7b009c.pdf; Díaz, W., & Torres, C. (Diciembre de 2001). Estudio básico de restauración vegetal en áreas de subpáramo degradadas en la vereda Monquetiva - Guatavita.; Ecological Restoration: Biodiversity and Conservation. (2011). En O. V. RÍOS.; Esri. (9 de Noviembre de 2022). Galería de índices . Obtenido de https://pro.arcgis.com/es/pro-app/latest/help/data/imagery/indices-gallery.htm; Garavito Natalia. (2015). The paramos in Colombia, an ecosystem at risk. Ingeniare. 127–136.; Hernández-Camacho. (1997). Comentarios preliminares sobre la paramización en los Andes de Colombia. Premio a la vida y obra.; INSTITUTO GEOGRÁFICO AGUSTÍN CODAZZI [IGAC]. (2022). Origen Nacional, Proyección cartográfica para Colombia. Obtenido de https://origen.igac.gov.co/; Instituto Humboldt. (11 de 09 de 2017). Biodiversidad colombiana: Números para tener en cuenta. Obtenido de http://www.humboldt.org.co/es/boletines-y-comunicados/item/1087-biodiversidad-colombiana-numero-tener-en-cuenta; Instituto Humboldt. (2017). La construcción de la Lista Roja de Plantas Endémicas de los Páramos - Ficha 103. Obtenido de http://reporte.humboldt.org.co/biodiversidad/2017/cap1/103/#seccion1; INVEMAR. (2022). Bosque Alto Andino. Obtenido de http://buritaca.invemar.org.co/siam/tesauro_ambiental/B/Bosque%20altoandino.htm; Ministerio de Ambiente y Desarrollo Sostenible [MADS]. (11 de Diciembre de 2021). “Tenemos el 50 % de los páramos del mundo”: Ministro de Ambiente en el Día de las Montañas". Obtenido de https://www.minambiente.gov.co/bosques-biodiversidad-y-servicios-ecosistemicos/tenemos-el-50-de-los-paramos-del-mundo-ministro-de-ambiente-en-el-dia-de-las-montanas/; Ministerio de Ambiente, Vivienda y Desarrollo Territorial. (2010). Definición de criterios para la delimitación de los diferentes tipos de páramos del país y de lineamientos para evitar efectos adversos sobre su integridad ecológica. 18.; Moreno et al. (2022). Vulnerabilidad ecológica del complejo de páramos chilí-barragán, colombia, a los incrementos de temperatura en un escenario de cambio climático.; Novoa, J. F. (2017). Análisis de la degradación de los páramos debido a las actividades productivas en este ecosistema. Obtenido de http://hdl.handle.net/10654/17229.; Organización de las Naciones Unidas [ONU]. (2022). Objetivos de desarrollo sostenible. Obtenido de https://www.un.org/sustainabledevelopment/es/objetivos-de-desarrollo-sostenible/; Pamela-Paula et al. (2018). Análisis Multitemporal de los cambios de la vegetación, en la Reserva de Producción de Fauna Chimborazo como consecuencia del cambio climático. 128.; RUNAP. (09 de Noviembre de 2022). Qué es el Registro Único Nacional de Áreas Protegidas? Obtenido de https://runap.parquesnacionales.gov.co/acerca; Servicio Geológico de Estados Unidos [USGS]. (2022). EarthExplorer. Obtenido de Descarga de imágenes satelitales: https://earthexplorer.usgs.gov/; Servicio Geológico de Estados Unidos [USGS]. (2022). Landsat Missions. Obtenido de https://www.usgs.gov/landsat-missions; http://hdl.handle.net/10654/44152; instname:Universidad Militar Nueva Granada; reponame:Repositorio Institucional Universidad Militar Nueva Granada; repourl:https://repository.unimilitar.edu.co

  13. 13
  14. 14
  15. 15

    المؤلفون: Björkander, Inge

    المساهمون: Karolinska Institutet, Department of Clinical Sciences, Publisher, Karolinska Institutet, Institutionen för klinisk vetenskap, Publisher

    وصف الملف: electronic

  16. 16

    المصدر: 2021 17th International Symposium on Wireless Communication Systems (ISWCS) Proceedings of the International Symposium on Wireless Communication Systems.

    وصف الملف: print

  17. 17

    المساهمون: Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Mogram AB [Lund], Deutsches Zentrum für Luft- und Raumfahrt (DLR), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL), Parallélisme de Kahn Synchrone ( Parkas), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Département d'informatique - ENS Paris (DI-ENS), 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)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), École normale supérieure - Paris (ENS-PSL), Département d'informatique - ENS Paris (DI-ENS), 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)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Département d'informatique de l'École normale supérieure (DI-ENS), 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)

    المصدر: Computing and Software Science: State of the Art and Perspectives
    Computing and Software Science: State of the Art and Perspectives, 10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩
    Computing and Software Science: State of the Art and Perspectives, LNCS-10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩
    Lecture Notes in Computer Science ISBN: 9783319919072
    Computing and Software Science

  18. 18
  19. 19
  20. 20