分类导航

检索结果

已选条件:

science

2011

<符合条件的数据共：62条>

排序方式

登录后可批量下载(统一登录，激活码登录)

Formal verification of cryptographic protocols with automated reasoning

颁布单位：[University:University of Birmingha... | 颁布时间：2011 | 实施时间：2011 | 学科分类：[Science, QA, Mathematics, QA75, Electronic, computers., Computer, science]

预览 | 原文链接 [浏览：6 下载：0]
Strategies for the Mitigation of Oxysterol-Induced Cytotoxicity

颁布单位：[Rice University] | 颁布时间：2011 | 实施时间：2011 | 学科分类：[Health, sciences, Environmental, science, Applied, sciences, Oxysterol, Cytotoxicity, Ketocholesterol, Lysosomes, Aging, Biomedical, engineering, Environmental, engineering]

预览 | 原文链接 [浏览：6 下载：15]
The Effects of Land Use and Human Activities on Carbon Cycling in Texas Rivers

颁布单位：[Rice University] | 颁布时间：2011 | 实施时间：2011 | 学科分类：[Health, sciences, Environmental, science, Earth, sciences, Carbon, cycles, Gulf, of, Mexico, Carbon, dioxide, emissions, Limestone, Biochemistry, Geochemistry]

预览 | 原文链接 [浏览：5 下载：1]
A Numerical Resistor Network Model for the Determination of Electrical Properties of Nanocomposites

颁布单位：[Rice University] | 颁布时间：2011 | 实施时间：2011 | 学科分类：[Applied, sciences, Mechanical, engineering, Nanotechnology, Materials, science]

预览 | 原文链接 [浏览：8 下载：4]
Development and Evaluation of Approaches for Quantitative Optical Molecular Imaging of Neoplasia

颁布单位：[Rice University] | 颁布时间：2011 | 实施时间：2011 | 学科分类：[Health, sciences, Environmental, science, Applied, sciences, Pure, sciences, Image, classification, Oral, cancer, Optical, imaging, Biomarkers, Neoplasia, Biomedical, engineering, Medical, imaging, Optics, Oncology]

预览 | 原文链接 [浏览：5 下载：3]
A structural approach to matching problems with preferences

颁布单位：[University:University of Glasgow, ... | 颁布时间：2011 | 实施时间：2011 | 学科分类：[QA75, Electronic, computers., Computer, science]

预览 | 原文链接 [浏览：32 下载：8]
Dynamic Assertion-Based Verification for SystemC

颁布单位：[Rice University] | 颁布时间：2011 | 实施时间：2011 | 学科分类：[Applied, sciences, Assertion-based, verification, Specification, languages, Electrical, engineering, System, science, Computer, science]

预览 | 原文链接 [浏览：9 下载：0]
Performance Optimizations for Software Transactional Memory

颁布单位：[Rice University] | 颁布时间：2011 | 实施时间：2011 | 学科分类：[Applied, sciences, Transactional, memory, Parallel, computing, Concurrent, programming, Computer, science]

预览 | 原文链接 [浏览：4 下载：0]
Positioning articulated figures

颁布单位：[University:University of Glasgow, ... | 颁布时间：2011 | 实施时间：2011 | 学科分类：[QA75, Electronic, computers., Computer, science]

预览 | 原文链接 [浏览：6 下载：0]
Effects of Multiple Races and Header Highlighting on Undervotes in the 2006 Sarasota General Election: A Usability Study and Cognitive Modeling Assessment

颁布单位：[Rice University] | 颁布时间：2011 | 实施时间：2011 | 学科分类：[Social, sciences, Psychology, Sarasota, Human, factors, Voting, Sarasota, General, Election, Florida, Ballot, design, Undervotes, Usability, study, Header, highlighting, Behavioral, psychology, Political, science, Cognitive, psychology]

预览 | 原文链接 [浏览：7 下载：0]