المؤلفون: 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

Relation: http://www.sciencedirect.com/science/article/pii/S1674984715300938; https://doaj.org/toc/1674-9847

URL الوصول: https://doaj.org/article/fb771390add547ef8e4be2a56b56169b

المؤلفون: Bazdidi-Tehrani, Farzad, Mohammadi-Ahmar, Akbar, Kiamansouri, Mohsen, Jadidi, Mohammad

المصدر: Building Simulation: An International Journal. April 2015 8(2):149-166

المؤلفون: 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

المؤلفون: 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

المؤلفون: 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

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.