Results 11 to 20 of about 1,037,879 (268)

Complete completion using types and weights [PDF]

ACM SIGPLAN Notices, 2013
Developing modern software typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that synthesizes and suggests valid expressions of a given type at a given program point.
Gvero, Tihomir, Kuncak, Viktor, Kuraj, Ivan, Piskac, Ruzica   +3 more
openaire   +3 more sources

Completability vs (In)completeness [PDF]

Acta Linguistica Hafniensia, 2020
In everyday conversation, no notion of “complete sentence” is required for syntactic licensing. However, so-called “fragmentary”, “incomplete”, and abandoned utterances are problematic for standard formalisms. When contextualised, such data show that (a) non-sentential utterances are adequate to underpin agent coordination, while (b) all linguistic ...
Gregoromichelaki, Eleni, Mills, Gregory James, Howes, Christine, Eshghi, Arash, Chatzikyriakidis, Stergios, Purver, Matthew, Kempson, Ruth, Cann, Ronnie, Healey, Patrick G. T.   +8 more
openaire   +3 more sources

Completing 3D Point Clouds of Thin Corn Leaves for Phenotyping Using 3D Gridding Convolutional Neural Networks

Remote Sensing, 2023
Estimating the complete 3D points of crop plants from incomplete points is vital for phenotyping and smart agriculture management. Compared with the completion of regular man-made objects such as airplanes, chairs, and desks, the completion of corn plant
Ying Zhang, Wei Su, Wancheng Tao, Ziqian Li, Xianda Huang, Ziyue Zhang, Caisen Xiong   +6 more
doaj   +1 more source

Completion of an Experiment [PDF]

mSphere, 2018
At the beginning of 2017, mSphere initiated an experiment in peer review called mSphereDirect ([1][1]). At that time, we sensed the desire among authors to have more control over the peer review process, which had become slow and rigid, with some even arguing that peer review is “broken.”
Imperiale, Michael J, Blader, Ira, Bradford, Patricia, D'Orazio, Sarah, Duprex, W Paul, Ellermeier, Craig D, Fernandez-Sesma, Ana, McMahon, Katherine, Mitchell, Aaron, Pasetti, Marcela F, Tringe, Susannah   +10 more
openaire   +7 more sources

Completing h [PDF]

Journal of Informetrics, 2015
Nearly a decade ago, the science community was introduced to the $h$-index, a proposed statistical measure of the collective impact of the publications of any individual researcher. It is of course undeniable that any method of reducing a complex data set to a single number will necessarily have certain limitations and introduce certain biases. However,
openaire   +2 more sources

Low-Density High-Fluidity High-Strength Epoxy Resin Cement Slurry Technology for Wellbore Reconstruction

Zuanjingye yu wanjingye
The production rate of a shale gas well generally declines fast, resulting in a low average recovery of the well. Refracturing of an old well with shale gas production pressure depletion can effectively enhance the ultimate recovery of the well, and ...
Xin JIN, Lei CHEN, Qian TAO, Shiming ZHOU, Chunqin TAN   +4 more
doaj   +1 more source

Research and Application of the Oil-absorbing Viscous Polymer for Oil-Based Drilling Fluid Plugging

Zuanjingye yu wanjingye
Lost circulation materials (LCMs), after being wetted by oil-based drilling fluids, have their sliding ability decreased and retention ability increased, causing them to be easy to flow back from the fractures through which the mud is lost and ...
Wentang LIU, Xianmin ZHANG, Ning HUANG, Xueqing JIANG, Xudong LI, Hai YANG, Fang GUI   +6 more
doaj   +1 more source

Thermal Damage of Set Silicate Cement in Ultra-High Temperature Xerothermic Environment

Zuanjingye yu wanjingye
In coal gasification and shale gas in-situ development, the bottoms of the wellbores are in an ultra-high temperature xerothermic environment, which is of great challenge to the thermal stability of the cement sheaths.
Xiaojiang LI, Yueyang WANG, Jingnan XIAO, Haoguang WEI, Ruiyue YANG   +4 more
doaj   +1 more source

A systematic review of the status of children's school access in low- and middle-income countries between 1998 and 2013: using the INDEPTH Network platform to fill the research gaps [PDF]

Global Health Action, 2015
Background: The framework for expanding children's school access in low- and middle-income countries (LMICs) has been directed by universal education policies as part of Education for All since 1990. In measuring progress to universal education, a narrow
Mamusu Kamanda, Osman Sankoh
doaj   +1 more source

Current Status and Trend of Geo-Steering Drilling Technology for Shale Gas Reservoir

Shiyou jixie
Shale gas resources are strategically vital for ensuring national energy security and achieving the “carbon peak and carbon neutrality” goals. However， shale gas reservoirs in China are generally characterized by low porosity， low permeability and strong
Liu Wei, Tang Xiaoming, Fang Chao, Liu Yonghui   +3 more
doaj   +1 more source