Since the Land Administration Bureau was established in 1986, China has carried out the national land-use planning twice, of which the first was focused on "serving for social and economic development", and the second converted to “protecting arable land". At present a new round of land-use planning is ongoing (2005-2020), but the aims and requirements are even more and higher(Zheng Weiyuan,200...

Remote sensing image classification is a fundamental task in remote sensing image processing. In recent years, deep convolutional neural network (DCNN) has seen a breakthrough progress in natural image recognition because of three points: universal approximation ability via DCNN, large-scale database (such as ImageNet), and supercomputing ability powered by GPU. The remote sensing field is stil...

I discuss recent progress in developing and exploiting connections between SAT algorithms and circuit lower bounds. The centrepiece of the article is Williams’ proof that NEXP * ACC0, which proceeds via a new algorithm for ACC0-SAT beating brute-force search. His result exploits a formal connection from non-trivial SAT algorithms to circuit lower bounds. I also discuss various connections in th...

Last year when UC President Atkinson proposed discontinuing UC's use of the SAT I examination as an admissions requirement in favor of the SAT II, UCOP released several papers describing a series of studies assessing the relative predictive validity of SAT I and SAT II test scores and high school GPA on UC freshman GPA. The mediating effect of socioeconomic status (SES) was also considered. The...

SAT has become the backbone of many software systems. In order to make full use of the power of SAT solvers, a SAT compiler must encode domain variables and constraints into an efficient SAT formula. Despite many proposals for SAT encodings, there are few working SAT compilers. This paper presents Picat-SAT, the SAT compiler in the Picat system. Picat-SAT employs the sign-and-magnitude log enco...

Droughts can cause devastating impacts on water and land resources therefore monitoring these events forms an integral part of planning. The most common approach for detecting drought assessing their intensity is use the Standardized Precipitation Index (SPI), which requires abundant precipitation records at good spatial distribution. This may restrict SPI usage in many regions around world, pa...

High order Boltzmann machines (HOBM) have been proposed some time ago, but few applications have been reported. SAT is the canonical NP-complete problem. MAX-SAT is a generalization of SAT in sense that its solution provides answers to SAT. In this paper we propose a mapping on the MAX-SAT problem, in the propositional calculus setting, into HOBM combinatorial optimization problem. The approxim...

Over the last century, northeast Pacific coastal sea surface temperatures (SSTs) and land-based surface air temperatures (SATs) display multidecadal variations associated with the Pacific Decadal Oscillation, in addition to a warming trend of ∼ 0.5-1 °C. Using independent records of sea-level pressure (SLP), SST, and SAT, this study investigates northeast (NE) Pacific coupled atmosphere-ocean v...

I discuss recent progress in developing and exploiting connections between SAT algorithms and circuit lower bounds. The centrepiece of the article is Williams’ proof that NEXP 6⊆ ACC, which proceeds via a new algorithm for ACC-SAT beating brute-force search. His result exploits a formal connection from non-trivial SAT algorithms to circuit lower bounds. I also discuss various connections in the...

Soybean Mosaic Virus (SMV) is one of the most important soybean diseases in world, and it seriously affects yield quality. In this paper, 405 SSR molecular markers were used genome-wide scan to analysis 327 varieties North China. The purpose was search genetic loci excellent resistance genes related SMV1 SMV3, reveal differences between models varieties. results confirmed that among tested larg...