搜索页_+Alex+Aiken

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

常用资源

内部出版物

CNKI学位论文(484)

知网期刊论文(108)

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

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

1. From invariant checking to invariant inference using randomized search

作者： Rahul Sharma ; Alex Aiken

关键词：Verification ; Loop invariants ; Markov Chain Monte Carlo (MCMC) ; Satisfiability modulo theories (SMT)

刊名：Formal Methods in System Design

出版年：2016

2. Carriage of Staphylococcus aureus in Thika Level 5 Hospital, Kenya: a cross-sectional study

作者： Alexander M Aiken ; Irene M Mutuku…

关键词：Staphylococcus aureus ; MRSA ; Kenya ; Hospitals ; Carriage prevalence

刊名：Antimicrobial Resistance and Infection Control

出版年：2014

3. From Invariant Checking to Invariant Inference Using Randomized Search

作者：Rahul Sharma (17)
Alex Aiken (17)

刊名：Lecture Notes in Computer Science

出版年：2014

4. A Data Driven Approach for Algebraic Loop Invariants

作者：Rahul Sharma (18)
Saurabh Gupta (19)
Bharath Hariharan (19)
Alex Aiken (18)
Percy Liang (18)
Aditya V. Nori (20)

关键词：Non ; linear ; loop invariants ; SMT

刊名：Lecture Notes in Computer Science

出版年：2013

5. Verification as Learning Geometric Concepts

作者：Rahul Sharma (18)
Saurabh Gupta (19)
Bharath Hariharan (19)
Alex Aiken (18)
Aditya V. Nori (20)

关键词：loop invariants ; verification ; machine learning

刊名：Lecture Notes in Computer Science

出版年：2013

6. Neighborhood Contexts and the Mediating Role of Neighborhood Social Cohesion on Health and Psychological Distress Among Hispanic and Non-Hispanic Residents

作者：Rebeca Rios Ph.D. (1) (2)
Leona S. Aiken Ph.D. (1)
Alex J. Zautra Ph.D. (1)

关键词：Ethnic composition ; Hispanics ; Multilevel mediation ; Neighborhood social cohesion ; Self ; rated health ; Psychological distress

刊名：Annals of Behavioral Medicine

出版年：2012

7. Automated Detection and Repair of Concurrency Bugs

作者：Ben Liblit (19)

刊名：Lecture Notes in Computer Science

出版年：2012

8.Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

作者：Isil Dillig ; Thomas Dillig ; Alex Aiken

刊名：Lecture Notes in Computer Science

出版年：2011

9.Community Epidemic Detection Using Time-Correlated Anomalies

作者：Adam J. Oliner ; Ashutosh V. Kulkarni ; Alex Aiken

关键词：epidemic detection ; anomalies ; community

刊名：Lecture Notes in Computer Science

出版年：2010

10.Fluid Updates: Beyond Strong vs. Weak Updates

作者：Isil Dillig ; Thomas Dillig ; Alex Aiken

刊名：Lecture Notes in Computer Science

出版年：2010

1

2

3

按检索点细分(23)

作者(22)

文摘(1)

按出版年细分(23)

2016年(1)

2014年(2)

2013年(2)

2012年(2)

2011年(1)

2010年(3)

2009年(1)

2006年(3)

2005年(5)

2000年(2)

2000年及以前(1)

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.