设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(28766)
在“
SpringerLink电子期刊
”中,
命中:
28,766
条,耗时:0.0109659 秒
在所有数据库中总计命中:
28,766
条
1.
Reporting of critical care trial
abstract
s: a comparison before and after the announcement of CONSORT guideline for
abstract
s
作者:
Akira Kuriyama
;
Naomi Takahashi
;
Takeo Nakayama
关键词:
Randomized controlled trials
;
CONSORT for
abstract
s
;
Quality of reports
;
Abstract
s
;
Adherence
;
Systematic review
刊名:Trials
出版年:2017
2.
Block-Wise
Abstract
Interpretation by Combining Abstract Domains with SMT
关键词:
Abstract
interpretation
;
SMT
;
Abstract
domains
;
Block encoding
;
Sparsity
刊名:Lecture Notes in Computer Science
出版年:2017
3.
Orientation judgment for
abstract
paintings
作者:
Jia Liu
;
Weiming Dong
;
Xiaopeng Zhang
;
Zhiguo Jiang
关键词:
Abstract
paintings
;
Image classification
;
Feature extraction
;
Orientation judgment
;
Art theory
刊名:Multimedia Tools and Applications
出版年:2017
4.
Abstract
conjunctive partial deduction for the analysis and compilation of coroutines
作者:
Vincent Nys
;
Danny De Schreye
关键词:
Coroutines
;
Compiling control
;
Abstract
conjunctive partial deduction
刊名:Formal Aspects of Computing
出版年:2017
5.
Abstract
commensurability and quasi-isometry classification of hyperbolic surface group amalgams
作者:
Emily Stark
关键词:
Quasi
;
isometry classification
;
Abstract
commensurability
;
Amalgamated products
;
Surface groups
刊名:Geometriae Dedicata
出版年:2017
6.
Abstract
Interpretation as Automated Deduction
作者:
Vijay D’Silva
;
Caterina Urban
关键词:
Abstract
interpretation
;
Deduction
;
Lindenbaum–Tarski construction
刊名:Journal of Automated Reasoning
出版年:2017
7.
Inflammatory Bowel Disease-Related
Abstract
s Presented at National Conferences in the USA Are Frequently Unpublished as Full Manuscripts
作者:
Joseph D. Feuerstein
;
Priya Sehgal
;
Varun Rao…
关键词:
Inflammatory bowel disease
;
Abstract
s
;
Conferences
刊名:Digestive Diseases and Sciences
出版年:2017
8.
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
9.
The effect of keyword repetition in
abstract
and keyword frequency per journal in predicting citation counts
作者:
Babak Sohrabi
;
Hamideh Iraj
关键词:
Scientometrics
;
Bibliometrics
;
Citation analysis
;
Citation prediction
刊名:Scientometrics
出版年:2017
10.
Maximal incompleteness as obfuscation potency
作者:
Roberto Giacobazzi
;
Isabella Mastroeni
;
Mila Dalla Preda
关键词:
Abstract
interpretation
;
Static program analysis
;
Program semantics
;
Program transformation
;
Lattice theory
;
Closure operators
;
Code obfuscation
刊名:Formal Aspects of Computing
出版年:2017
1
2
3
4
5
6
7
8
9
查看站内搜索结果(19)
按检索点细分(28766)
题名(6144)
作者(16)
关键词(987)
文摘(24015)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.