中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	Temporal regulation of alternative splicing events in rice memory under drought stress 期刊论文 OAI收割 PLANT DIVERSITY, 2022, 卷号: 44, 期号: 1, 页码: 116-125 作者: Yang, Hong; Li, Ping; Jin, Guihua; Gui, Daping; Liu, Li \| 收藏 \| 浏览/下载：52/0 \| 提交时间：2024/04/30 Alternative splicing Drought memory Exon skipping TRANSCRIPTION FACTOR FAMILY GENOME-WIDE ANALYSIS RNA-SEQ GENE IDENTIFICATION SPLICEOSOME COMPLEXITY TOLERANCE LANDSCAPE PROTEIN
	Fast and Careless or Careful and Slow? Apparent Holistic Processing in Mental Rotation Is Explained by Speed-Accuracy Trade-Offs 期刊论文 OAI收割 JOURNAL OF EXPERIMENTAL PSYCHOLOGY-LEARNING MEMORY AND COGNITION, 2015, 卷号: 41, 期号: 4, 页码: 1140-1151 作者: Liesefeld, Heinrich Rene; Fu, Xiaolan; Zimmer, Hubert D.; Fu,Xiaolan 收藏 \| 浏览/下载：79/0 \| 提交时间：2015/12/07 spatial abilities working memory imagery object complexity cognitive strategies
	The influence of expertise and of physical complexity on visual short-term memory consolidation 期刊论文 OAI收割 QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY, 2011, 卷号: 64, 期号: 4, 页码: 707-729 作者: Sun, Huiming; Zimmer, Hubert D.; Fu, Xiaolan; Fu XL(傅小兰) \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/11/11 Consolidation Visual short-term memory Expertise Physical complexity Perceived complexity
	RAM(h)模型下SpMV存储访问复杂度的分析期刊论文 OAI收割计算机工程与设计, 2009, 卷号: 30, 期号: 3, 页码: 613-618 袁娥; 张云泉; 孙相征 \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2010/08/24 SpMV 稀疏矩阵向量乘 RAM(h)模型存储访问复杂度 SpMV SpMV sparse matrix-vector multiplication RAM (h) model memory access complexity
	Compression of remote sensing image based on Listless Zerotree Coding and DPCM (EI CONFERENCE) 会议论文 OAI收割 ICO20: Remote Sensing and Infrared Devices and Systems, August 21, 2005 - August 26, 2005, Changchun, China Chen S.-L.; Huang L.-Q. 收藏 \| 浏览/下载：52/0 \| 提交时间：2013/03/25 The data quantity of remote sensing image is very large. Furthermore the lowest frequency subband contains the main energy of original image and reflects the coarse of original image after remote sensing image is transformed by wavelet so it is very important to the reconstructed image. Therefore a hybrid image compression method based on Listless Zerotree Coding (LZC) and DPCM is presented namely the lowest frequency subband is compressed by DPCM and others are compressed by LZC. LZC is a kind of zerotree coding algorithm for hardware implementation which is based on SPIHT and substitutes two significant bit maps for three lists in SPIHT algorithm. Thereby LZC significantly reduces the memory requirement and complexity during encoding and decoding procedure. But LZC doesn't recognize the significance of grandchild sets so the PSNR values of LZC are lower than SPIHT's and the compression speed drops. It is improved by adding a significant bit map that recognizes the significance of grandchild sets. A comparison reveals that the PSNR results of the hybrid compression method are 2 dB higher than those of LZC and the compression speed is also improved.
	ltl model checking via search space partition 会议论文 OAI收割 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Pu Fei; Zhang Wenhui \| 收藏 \| 浏览/下载：41/0 \| 提交时间：2011/07/28 LTL model checking complexity reduction compositional verification memory requirement nondeterministic choice search space partition state space explosion computational complexity formal verification search problems
	ltl model checking via search space partition 会议论文 OAI收割 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Pu Fei; Zhang Wenhui \| 收藏 \| 浏览/下载：33/0 \| 提交时间：2011/07/28 LTL model checking complexity reduction compositional verification memory requirement nondeterministic choice search space partition state space explosion computational complexity formal verification search problems
	面向高性能数值计算的并行计算模型DRAM(h) 期刊论文 OAI收割计算机学报, 2003, 卷号: 26, 期号: 12, 页码: 1660-1670 张云泉 \| 收藏 \| 浏览/下载：38/0 \| 提交时间：2010/08/24 高性能数值计算存储复杂性并行计算模型 high performance numerical computing memory complexity parallel computation model