-
1
-
2
-
3
-
4by Gaulin, Antoine, Pientka, Brigitte“...We develop an extension of the proof environment Beluga with datasort refinement types and study...”
Published in Electronic Proceedings in Theoretical Computer Science (2023)
Get access
Get access
Text -
5“...We present λert, a type theory supporting refinement types with explicit proofs. Instead of solving...”
Get access
Get access
Text -
6by Ghalayini, Jad Elkhaleq, Krishnaswami, Neel“...We present {\lambda}ert, a type theory supporting refinement types with explicit proofs. Instead...”
Published in Proceedings of the ACM on Programming Languages (2023)
Get access
Get access
Text -
7“...We develop an extension of the proof environment Beluga with datasort refinement types and study...”
Get access
Get access
Text -
8by Ghalayini, Jad Elkhaleq, Krishnaswami, Neel“...We present λ ert , a type theory supporting refinement types with explicit proofs. Instead...”
Published in Proceedings of the ACM on Programming Languages (2023)
Get access
Get access
Article in Journal/Newspaper -
9by Vandewalle, Evelien“..., resulting in surgical failure. Therefore, a need for refinement of the surgical technique and for adjunctive...”
Published 2012
Get access
Get access
Doctoral or Postdoctoral Thesis -
10by Keith Hamm“...By 1993, refining capacity in Western Europe and North America was about in line with demand...”
Get access
Article in Journal/Newspaper -
11by Michał Chodkiewicz, Sylwia Pawlędzio, Magdalena Woińska, Krzysztof WoźniakSubjects: “...hirshfeld atom refinement...”
Published in IUCrJ (2022)
Get access
Get access
Article in Journal/Newspaper -
12by Chodkiewicz, Michał, Pawlędzio, Sylwia, Woińska, Magdalena, Woźniak, Krzysztof“...Hirshfeld atom refinement (HAR) is one of the most effective methods for obtaining accurate...”
Published in IUCrJ (2022)
Get access
Get access
Text -
13by Abdelsalam, Mohamed“... / Incremental Implicitly-Refined Classification (IIRC)", une extension de la configuration de l'apprentissage...”
Published 2021
Get access
Doctoral or Postdoctoral Thesis -
14by Field, IC, Harcourt, RG, Boehme, L, De Bruyn, PJN, Charrassin, J-B, McMahon, CR, Bester, MN, Fedak, MA, Hindell, MAGet access
Published in Marine Mammal Science (2012)
Get access
Article in Journal/Newspaper -
15by Yanghui Li, Yongchen Song, Feng Yu, Weiguo Liu, Rui WangSubjects: “...Petroleum refining. Petroleum products...”
Published in Petroleum Exploration and Development (2011)
Get access
Get access
Article in Journal/Newspaper -
16Subjects: “...Petroleum refining. Petroleum products...”
Get access
Get access
Article in Journal/Newspaper -
17by Fulong NING, Nengyou WU, Shi LI, Ke ZHANG, Yibing YU, Li LIU, Jiaxin SUN, Guosheng JIANG, Changyu SUN, Guangjin CHENSubjects: “...Petroleum refining. Petroleum products...”
Published in Petroleum Exploration and Development (2013)
Get access
Get access
Article in Journal/Newspaper -
18by Zhou Hongying, Yu Wuyi, Zhang Yimin, Wang WenhuiSubjects: “...Petroleum refining. Petroleum products...”
Published in Petroleum Exploration and Development (2010)
Get access
Get access
Article in Journal/Newspaper -
19by Jinxing DAI, Yunyan NI, Shipeng HUANG, Weilong PENG, Wenxue HAN, Deyu GONG, Wei WEISubjects: “...Petroleum refining. Petroleum products...”
Published in Petroleum Exploration and Development (2017)
Get access
Get access
Article in Journal/Newspaper -
20by Zou Caineng, Zhang Guangya, Tao Shizhen, Hu Suyun, Li Xiaodi, Li Jianzhong, Dong Dazhong, Zhu Rukai, Yuan Xuanjun, Hou Lianhua, Qu Hui, Zhao Xia, Jia Jinhua, Gao Xiaohui, Guo Qiulin, Wang Lan, Li XinjingSubjects: “...Petroleum refining. Petroleum products...”
Published in Petroleum Exploration and Development (2010)
Get access
Get access
Article in Journal/Newspaper