Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Software Engineering --- Theory of Computation --- Artificial Intelligence --- Computer Systems Organization and Communication Networks --- Computer Hardware --- Simulation and Modeling --- Computer Engineering and Networks --- Computer Science --- architecture verification and validation --- artificial intelligence --- automata theory --- computer systems --- correlation analysis --- distributed computer systems --- embedded systems --- formal languages --- formal logic --- linguistics --- model checking --- programming languages --- semantics --- software architecture --- software design --- software quality --- verification and validation --- Open Access --- Computer science --- Mathematical theory of computation --- Artificial intelligence --- Computer networking & communications --- Computer hardware --- Computer modelling & simulation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This Special Issue provides an opportunity for researchers in the area of side-channel attacks (SCAs) to highlight the most recent exciting technologies. The research papers published in this Special Issue represent recent progress in the field, including research on power analysis attacks, cache-based timing attacks, system-level countermeasures, and so on.

cache attack --- cache side-channel attack --- constant-time cryptographic algorithm --- rsa cryptosystem --- scatter-gather implementation --- modular exponentiation --- post-quantum cryptography --- lattice-based cryptography --- Gaussian sampling --- CDT sampling --- side-channel attack --- single trace analysis --- mobile ads --- software development kit (SDK), android package (APK), ad lib --- ad libraries --- ad networks --- graph --- graph similarity --- side-channel authentication --- leakage model --- AES --- FPGA --- unified point addition --- binary Huff curve --- recovery of secret exponent by triangular trace analysis --- horizontal collision correlation analysis --- side channel analysis --- single trace analysis --- post quantum cryptography --- NTRU --- side-channel analysis --- elliptic curve cryptography --- single-trace attack --- key bit-dependent attack --- countermeasure --- side channel analysis --- financial IC card --- first-order analysis --- second-order analysis --- data outsourcing --- integrity --- online authentication --- Merkle (hash) tree --- data loss --- information leakage --- reliability --- side-channel analysis --- power-analysis attack --- embedded system security --- machine-learning classification --- side-channel cache attacks --- cache misses --- AES --- cloud computing --- physically unclonable function --- chaos theory --- chaotic circuit --- FPGA --- CPLD --- challenge-response authentication --- hardware security --- side-channel attacks --- cryptographic keys --- side channel attack --- re-keying --- tweakable block cipher --- provable security --- n/a

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Understanding deserts and drylands is essential, as arid landscapes cover >40% of the Earth and are home to two billion people. Today's problematic environment–human interaction needs contemporary knowledge to address dryland complexity. Physical dimensions in arid zones—land systems, climate and hazards, ecology—are linked with social processes that directly impact drylands, such as land management, livelihoods, and development. The challenges require integrated research that identifies systemic drivers across global arid regions. Measurement and monitoring, field investigation, remote sensing, and data analysis are effective tools to investigate natural dynamics. Equally, inquiry into how policy and practice affect landscape sustainability is key to mitigating detrimental activity in deserts. Relations between socio-economic forces and degradation, agro-pastoral rangeland use, drought and disaster and resource extraction reflect land interactions. Contemporary themes of food security, conflict, and conservation are interlinked in arid environments. This book unifies desert science, arid environments, and dryland development. The chapters identify land dynamics, address system risks and delineate human functions through original research in arid zones. Mixed methodologies highlight the vital links between social and environmental science in global deserts. The book engages with today's topical themes and presents novel analyses of arid land systems and societies.

Central Asia --- landscape --- One Belt --- One Road --- Kazakhstan --- Kyrgyzstan --- infrastructure --- environment --- New Silk Road --- drylands --- wind erosion modelling --- drag partition --- aerodynamic roughness --- remote sensing --- computational fluid dynamics --- cellular automata --- remote sensing --- modelling --- coverage --- grass height --- Cuchillas de la Zarca --- Chobe --- forest resources --- ecosystem services --- non-linear change --- protected areas --- disturbance --- drought --- sustainable livelihoods --- ecotone --- dryland --- KAZA --- Southern Africa --- nomadic pastoralism --- spatial migration model --- Afar --- livestock --- fodder demand --- fodder supply --- Asian dust --- human health --- Mongolia --- Japan --- subarctic agriculture --- Greenland --- soil quality index --- farming at its limits --- air temperature increase --- increase of growing season --- dry lake beds --- dust storm emission --- remote sensing --- Gobi Desert region --- communal rangelands --- property rights --- environmental impacts --- policy implementation --- drylands --- arid region --- LUCC --- driving forces --- snow index --- SPOT VGT --- Kashgar Region --- degrading --- tamarind age --- regeneration --- invasive vine --- vegetation survey --- erosion --- rotational grazing --- continuous grazing --- grassland degradation --- case study of nomadic and settlement grazing system --- remote sensing --- Mongolian grassland --- arid area --- land use change --- soil carbon storage --- global carbon balance --- the Shiyang River Basin --- riparian ecosystems --- Sonoran desert --- remote sensing --- land cover/land use --- drip irrigation --- groundwater --- common-pool resource --- water rights --- local farming --- desert reclamation --- desertification --- river basin development --- political ecology --- water --- vegetation response to precipitation --- dust storm outbreak --- cross correlation analysis --- the Hovmoller diagram --- environmental regime shift --- Gobi desert of Mongolia --- climate hazard --- Asia --- drylands --- risk --- drought --- desert --- Central Asia --- Kyrgyzstan --- infrastructure --- environment --- mining --- social movements --- protest --- environmental justice --- subversive clientelism --- China --- Tibetan Plateau --- Sanjiangyuan region --- social–ecological systems --- pastoralism --- partnerships --- co-management --- national parks --- Belt and Road Initiative --- mountains of Central Asia --- pastoralism --- Ethiopia --- South Omo --- Nyangatom --- Jordan River Basin --- water productivity --- Jordan --- Israel --- Palestine --- agriculture --- agricultural water intensity --- decoupling --- water security --- institutional change --- ecosystem services --- economic valuation --- drylands --- absence --- afforestation --- charisma --- China --- conservation --- desertification --- Gobi --- Mongolia

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

With the recent advances in remote sensing technologies for Earth observation, many different remote sensors are collecting data with distinctive properties. The obtained data are so large and complex that analyzing them manually becomes impractical or even impossible. Therefore, understanding remote sensing images effectively, in connection with physics, has been the primary concern of the remote sensing research community in recent years. For this purpose, machine learning is thought to be a promising technique because it can make the system learn to improve itself. With this distinctive characteristic, the algorithms will be more adaptive, automatic, and intelligent. This book introduces some of the most challenging issues of machine learning in the field of remote sensing, and the latest advanced technologies developed for different applications. It integrates with multi-source/multi-temporal/multi-scale data, and mainly focuses on learning to understand remote sensing images. Particularly, it presents many more effective techniques based on the popular concepts of deep learning and big data to reach new heights of data understanding. Through reporting recent advances in the machine learning approaches towards analyzing and understanding remote sensing images, this book can help readers become more familiar with knowledge frontier and foster an increased interest in this field.

hyperspectral image classification --- SELF --- SVMs --- Segment-Tree Filtering --- multi-sensor --- change feature analysis --- object-based --- multispectral images --- heterogeneous domain adaptation --- transfer learning --- multi-view canonical correlation analysis ensemble --- semi-supervised learning --- canonical correlation weighted voting --- ensemble learning --- image classification --- spatial attraction model (SAM) --- subpixel mapping (SPM) --- land cover --- mixed pixel --- spatial distribution --- hard classification --- building damage detection --- Fuzzy-GA decision making system --- machine learning techniques --- optical remotely sensed images --- sensitivity analysis --- texture analysis --- quality assessment --- ratio images --- Synthetic Aperture Radar (SAR) --- speckle --- speckle filters --- ice concentration --- SAR imagery --- convolutional neural network --- urban surface water extraction --- threshold stability --- sub-pixel --- linear spectral unmixing --- Landsat imagery --- image registration --- image fusion --- UAV --- metadata --- visible light and infrared integrated camera --- semantic segmentation --- CNN --- deep learning --- ISPRS --- remote sensing --- gate --- hyperspectral image --- sparse and low-rank graph --- tensor --- dimensionality reduction --- semantic labeling --- convolution neural network --- fully convolutional network --- sea-land segmentation --- ship detection --- hyperspectral image --- target detection --- multi-task learning --- sparse representation --- locality information --- remote sensing image correction --- color matching --- optimal transport --- CNN --- very high resolution images --- segmentation --- multi-scale clustering --- vehicle localization --- vehicle classification --- high resolution --- aerial image --- convolutional neural network (CNN) --- class imbalance --- deep learning --- convolutional neural network (CNN) --- fully convolutional network (FCN) --- classification --- remote sensing --- high resolution --- semantic segmentation --- deep convolutional neural networks --- manifold ranking --- single stream optimization --- high resolution image --- feature extraction --- hypergraph learning --- morphological profiles --- hyperedge weight estimation --- semantic labeling --- convolutional neural networks --- remote sensing --- deep learning --- aerial images --- hyperspectral image --- feature extraction --- dimensionality reduction --- optimized kernel minimum noise fraction (OKMNF) --- hyperspectral remote sensing --- endmember extraction --- multi-objective --- particle swarm optimization --- image alignment --- feature matching --- geostationary satellite remote sensing image --- GSHHG database --- Hough transform --- dictionary learning --- road detection --- Radon transform --- geo-referencing --- multi-sensor image matching --- Siamese neural network --- satellite images --- synthetic aperture radar --- inundation mapping --- flood --- optical sensors --- spatiotemporal context learning --- Modest AdaBoost --- HJ-1A/B CCD --- GF-4 PMS --- hyperspectral image classification --- automatic cluster number determination --- adaptive convolutional kernels --- hyperspectral imagery --- 1-dimensional (1-D) --- Convolutional Neural Network (CNN) --- Support Vector Machine (SVM) --- Random Forests (RF) --- machine learning --- deep learning --- TensorFlow --- multi-seasonal --- regional land cover --- saliency analysis --- remote sensing --- ROI detection --- hyperparameter sparse representation --- dictionary learning --- energy distribution optimizing --- multispectral imagery --- nonlinear classification --- kernel method --- dimensionality expansion --- deep convolutional neural networks --- road segmentation --- conditional random fields --- satellite images --- aerial images --- THEOS --- land cover change --- downscaling --- sub-pixel change detection --- machine learning --- MODIS --- Landsat --- very high resolution (VHR) satellite image --- topic modelling --- object-based image analysis --- image segmentation --- unsupervised classification --- multiscale representation --- GeoEye-1 --- wavelet transform --- fuzzy neural network --- remote sensing --- conservation --- urban heat island --- land surface temperature --- climate change --- land use --- land cover --- Landsat --- remote sensing --- SAR image --- despeckling --- dilated convolution --- skip connection --- residual learning --- scene classification --- saliency detection --- deep salient feature --- anti-noise transfer network --- DSFATN --- infrared image --- image registration --- MSER --- phase congruency --- hashing --- remote sensing image retrieval --- online learning --- hyperspectral image --- compressive sensing --- structured sparsity --- tensor sparse decomposition --- tensor low-rank approximation