搜索页_ USA 4. Department of Computer Science

设为首页

收藏本站

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

外文资源

SpringerLink电子期刊(475)

ProQuest学位论文(2)

Elsevier电子期刊(31)

在“SpringerLink电子期刊”中，命中：475条，耗时：0.1699189 秒

在所有数据库中总计命中：508条

1. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

2. Stability of Solitary-Wave Solutions of Systems of Dispersive Equations

作者： Jerry L. Bona ; Hongqiu Chen ; Ohannes Karakashian

刊名：Applied Mathematics & Optimization

出版年：2017

3. Process simulation and economic analysis of reactor systems for perfluorinated compounds abatement without HF effluent

作者： Boreum Lee ; Sunggeun Lee ; Ho Young Jung…

关键词：perfluorinated compounds (PFCs) ; CF4 ; process simulation ; economic analysis

刊名：Frontiers of Chemical Science and Engineering

出版年：2016

4. A Knowledge-Based Framework for Events Representation and Reuse from Historical Archives

关键词：Historical events ; Ontology modeling ; Events extraction

刊名：Lecture Notes in Computer Science

出版年：2016

5. Combustion mechanism development and CFD simulation for the prediction of soot emission during flaring

作者： Anan Wang ; Helen H. Lou ; Daniel Chen…

关键词：flare ; soot emission ; combustion mechanism ; CFD simulation

刊名：Frontiers of Chemical Science and Engineering

出版年：2016

6. ConnectViz: Accelerated Approach for Brain Structural Connectivity Using Delaunay Triangulation

作者： A. M. Adeshina ; R. Hashim

关键词：Brain connectivity ; Connectome ; CUDA ; Network analysis ; Stroke ; Visualization

刊名：Interdisciplinary Sciences: Computational Life Sciences

出版年：2016

7. Blind and Visually Impaired Students Can Perform Computer-Aided Molecular Design with an Assistive Molecular Fabricator

作者：Val猫re Lounnas (20)
Henry B. Wedler (21)
Timothy Newman (21)
Jon Black (20)
Gert Vriend (20)

20. CMBI Radboudumc ; Geert Grooteplein 26-28 ; 6525 GA ; Nijmegen ; The Netherlands
21. Department of Chemistry ; University of Davis ; Davis ; CA ; 95616 ; USA

关键词：Blind ; visually impaired ; chemistry ; molecular editor ; assistive software ; computer ; aided molecular design ; Braille ; science ; higher education

刊名：Lecture Notes in Computer Science

出版年：2015

8. SEM+: tool for discovering concept mapping in Earth science related domain

作者：Jin Guang Zheng (1)
Linyun Fu (1)
Xiaogang Ma (1)
Peter Fox (1)

1. Tetherless World Constellation ; Computer Science Department ; Rensselaer Polytechnic Institute ; 110 8th St ; Troy ; NY ; USA

关键词：Ontology matching ; Instance matching ; Owl ; sameAs ; Entity resolution ; Linked data

刊名：Earth Science Informatics

出版年：2015

9. SPHINCS: Practical Stateless Hash-Based Signatures

作者：Daniel J. Bernstein (15) (17)
Daira Hopwood (16)
Andreas H眉lsing (17)
Tanja Lange (17)
Ruben Niederhagen (17)
Louiza Papachristodoulou (18)
Michael Schneider
Peter Schwabe (18)
Zooko Wilcox-O鈥橦earn (16)

15. Department of Computer Science ; University of Illinois at Chicago ; Chicago ; IL ; 60607鈥?045 ; USA
17. Department of Mathematics and Computer Science ; Technische Universiteit Eindhoven ; P.O. Box 513 ; 5600 MB ; Eindhoven ; The Netherlands
16. Least Authority ; 3450 Emerson Ave. ; Boulder ; CO ; 80305鈥?452 ; USA
18. Digital Security Group ; Radboud University Nijmegen ; P.O. Box 9010 ; 6500 GL ; Nijmegen ; The Netherlands

关键词：Post ; quantum cryptography ; One ; time signatures ; Few ; time signatures ; Hypertrees ; Vectorized implementation

刊名：Lecture Notes in Computer Science

出版年：2015

10. System identification and parameter estimation in mathematical medicine: examples demonstrated for prostate cancer

作者： Yoshito Hirata ; Kai Morino ; Taiji Suzuki ; Qian Guo…

关键词：mathematical medicine ; dynamical model ; parameter estimation

刊名：Quantitative Biology

出版年：2016

按检索点细分(475)

作者(344)

文摘(20)

按出版年细分(475)

2017年(2)

2016年(8)

2015年(306)

2014年(109)

2013年(7)

2012年(3)

2011年(10)

2010年(3)

2009年(1)

2008年(2)

2007年(13)

2006年(2)

2005年(2)

2004年(2)

2003年(2)

2002年(3)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700