搜索页_Rely

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(224)	Springer电子图书(5)	CNKI会议论文(81)	知网期刊论文(24096)
中国地质文献-英文(47)	院士团队服务(7)	CNKI学位论文(28134)	标准(1)
馆藏书目(9)	万方学术会议(3)	CNKI期刊论文0611(98)

在“SpringerLink电子期刊”中，命中：17,024条，耗时：小于0.01 秒

在所有数据库中总计命中：52,705条

1. Bacterioplankton morphotypes structure and cytometric fingerprint rely on environmental conditions in a sub-Antarctic peatland

作者： María Victoria Quiroga ; Gabriela Mataloni ; Bruno M. S. Wanderley…

关键词：Bacterioplankton ; Morphotypes structure ; Cytometric fingerprinting ; Peat bog pools ; Minero/ombrotrophic status

刊名：Hydrobiologia

出版年：2017

2. Tag loss is a minor limiting factor in sea turtle tagging programs relying on distant tag returns: the case of Mediterranean loggerhead sea turtles

作者： Paolo Casale ; Daniela Freggi ; Pasquale Salvemini

关键词：Capture ; mark ; recapture ; Tagging ; Caretta caretta ; Maximum likelihood estimation

刊名：European Journal of Wildlife Research

出版年：2017

3. Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions

关键词：Program verification ; Concurrent programs ; Abstract interpretation ; Thread ; modular analyses ; Rely ; guarantee methods ; Numeric invariant generation

刊名：Lecture Notes in Computer Science

出版年：2017

4. Heterogeneous changes in avian body size across and within species

作者： Michael D. Collins ; George E. Relyea ; Erica C. Blustein…

关键词：Bergmann’s rule ; Climate change ; Body mass ; Morphology ; Passerine ; Wing length

刊名：Journal of Ornithology

出版年：2017

5. Generalised rely-guarantee concurrency: an algebraic foundation

作者： Ian J. Hayes

关键词：Concurrent programming ; rely ; guarantee concurrency ; program verification ; program algebra ; concurrent Kleene algebra

刊名：Formal Aspects of Computing

出版年：2016

6. How Deep Can We Rely on Emotion Recognition

关键词：Emotion recognition ; Convolutional neural networks

刊名：Lecture Notes in Computer Science

出版年：2017

7. On the iota-delta function: a link between cellular automata and partial differential equations for modeling advection–dispersion from a constant source

作者： Luan Carlos de S. M. Ozelim ; André Luís B. Cavalcante…

关键词：Cellular automata ; Advection–dispersion iota delta function ; Advection ; Diffusion

刊名：The Journal of Supercomputing

出版年：2017

8. Don’t Assume Deaf Students are Visual Learners

作者： Marc Marschark ; Allan Paivio…

关键词：Learning style ; Deaf education ; Sign language ; Visual ; spatial cognition

刊名：Journal of Developmental and Physical Disabilities

出版年：2017

9. Frequency of Penile–Vaginal Intercourse is Associated with Verbal Recognition Performance in Adult Women

作者： Larah Maunder ; Dorothée Schoemaker ; Jens C. Pruessner

关键词：Penile–vaginal intercourse ; Memory ; Hippocampus ; Dentate gyrus

刊名：Archives of Sexual Behavior

出版年：2017

10. Early Warning Signals for Regime Transition in the Stable Boundary Layer: A Model Study

作者： I. G. S. van Hooijdonk ; A. F. Moene ; M. Scheffer…

关键词：Early warning signals ; Critical regime transition ; Maximum sustainable heat flux ; Nocturnal boundary layer ; Minimum wind speed

刊名：Boundary-Layer Meteorology

出版年：2017

按检索点细分(17024)

题名(108)

作者(44)

关键词(16)

文摘(16896)