-
1دورية أكاديمية
المؤلفون: Zhu Liangyu, Wang Qingliang, Zhu Yiqing
المصدر: Geodesy and Geodynamics, Vol 4, Iss 4, Pp 9-16 (2013)
مصطلحات موضوعية: Density Gradient Zone (DGZ), density interface, cubical model, vertical deformation, gravity anomaly, Geodesy, QB275-343, Geophysics. Cosmic physics, QC801-809
وصف الملف: electronic resource
-
2دورية أكاديمية
المصدر: Building Simulation: An International Journal. April 2015 8(2):149-166
-
3
المؤلفون: Boulier, Simon Pierre
المساهمون: Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-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 Nantes - UFR des Sciences et des Techniques (UN UFR ST), Ecole nationale supérieure Mines-Télécom Atlantique, Nicolas Tabareau
المصدر: Logic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0110⟩
مصطلحات موضوعية: Type theory, Modèles, Models, Modèle cubique, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Théorie des types, Théorie des types homotopique, Cubical model, Traduction de programme, Homotopy type theory, Metaprogramming, Métaprogrammation, Program translation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______212::db0240294784224010fba52e68abaf82
https://tel.archives-ouvertes.fr/tel-02007839/file/2018IMTA0110_Boulier-Simon.pdf -
4
المؤلفون: Boulier, Simon Pierre
المساهمون: Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-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 Nantes - UFR des Sciences et des Techniques (UN UFR ST), Ecole nationale supérieure Mines-Télécom Atlantique, Nicolas Tabareau, IMT Atlantique (IMT Atlantique), Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
المصدر: Logic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0110⟩
مصطلحات موضوعية: Type theory, Modèles, Models, Modèle cubique, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Théorie des types, Théorie des types homotopique, Cubical model, Traduction de programme, Homotopy type theory, Metaprogramming, Métaprogrammation, Program translation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::db0240294784224010fba52e68abaf82
https://tel.archives-ouvertes.fr/tel-02007839/file/2018IMTA0110_Boulier-Simon.pdf -
5
المؤلفون: Wang Qingliang, Zhu Liangyu, Zhu Yiqing
المصدر: Geodesy and Geodynamics, Vol 4, Iss 4, Pp 9-16 (2013)
مصطلحات موضوعية: density interface, Gravity (chemistry), lcsh:QB275-343, Density gradient, lcsh:Geodesy, lcsh:QC801-809, Magnitude (mathematics), Mechanics, cubical model, Deformation (meteorology), Geodesy, Gravity anomaly, lcsh:Geophysics. Cosmic physics, Geophysics, Volume (thermodynamics), Gravitational field, Density Gradient Zone (DGZ), vertical deformation, Computers in Earth Sciences, Displacement (fluid), Geology, gravity anomaly, Earth-Surface Processes
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50f194253b5572ca7d168dfcc3017fb1
-
6مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.