消息
×
loading..
Arid

浏览/检索结果: 共7条,第1-7条 帮助

已选(0)清除 条数/页:   排序方式:
An Empirical Validation of Oracle Improvement 期刊论文
发表期刊: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 出版年: 2021, 卷号: 47, 期号: 8, 页码: 1708-1728
作者:  Jahangirova, Gunel;  Clark, David;  Harman, Mark;  Tonella, Paolo
收藏  |  浏览/下载:47/0  |  提交时间:2021/11/19
Tools  Standards  Generators  Indexes  Software testing  Software  Oracle problem  test oracle  oracle assessment  oracle improvement  human study  test case generation  mutation testing  
Comparative Functional Genomics (CFG) Core 项目
项目编号: 5P20GM104318-08. 资助机构: US-NIH(美国国立卫生研究院). 起止日期: 2019-
负责人:  GRABER, JOEL H
收藏  |  浏览/下载:27/0  |  提交时间:2021/08/12
Aging  Animal Model  Applications Grants  Automation  base  Biological  Biology  Biomedical Research  Cells  Centers of Research Excellence  chemotherapy  Chemotherapy-induced peripheral neuropathy  Clinic  Collaborations  Collection  Communities  comparative  Comparative Biology  Computer Analysis  computerized tools  Consultations  Data  Data Analyses  Data Collection  data management  Data Set  data sharing  Databases  design  Development  Education  Educational Materials  Ensure  Epigenetic Process  experience  experimental analysis  Experimental Designs  Faculty  Feedback  Fees  functional genomics  Funding  Generations  Genetic Variation  genome analysis  genome-wide  genomic data  Genomics  Goals  Human Resources  improved  innovation  interoperability  Joints  Lead  Legal patent  Mammals  Medicine  member  MicroRNAs  Modeling  multiple data types  Natural regeneration  novel  Organism  Output  Paper  Patients  Phase  phosphoproteomics  Play  Procedures  Process  programs  Proteomics  Publications  Quality Control  regenerative  Reproducibility  Research  Research Project Grants  Research Support  Resources  RNA  Role  Scientist  Services  small molecule  Software Engineering  Standardization  Students  success  System  Systems Biology  Testing  theories  tissue regeneration  tissue repair  tool  Training  Training Programs  transcriptomics  Untranslated RNA  Update  Whole Organism  Yeasts  
Channel Model Tool Based on Bidirectional Analytic Ray Tracing and Radiative Transfer (CBAR). 科技报告
报告编号: ADA583482. 出版年: 2012
作者:  Lin, C;  Ponnaluri, S;  Xu, F;  Hue, Y;  Mihalcik, D.
收藏  |  浏览/下载:24/0  |  提交时间:2019/11/30
Software tools  Telemeter systems  Antenna radiation patterns  Flight testing  Graphical user interface  Models  Ray tracing  Scenarios  Simulation  Wireless communications  Aeronautical telemetry  Bit error rate  Channel model tools  Channel  
Applications of GIS, Advanced Sensors and Habitat Modeling in Support of Desert Tortoise Line Distance, Sampling and Translocation Studies Related to the Proposed Expansion of the Ft. Irwin NTC. 科技报告
报告编号: ADA498532. 出版年: 2008
作者:  Henk, J.
收藏  |  浏览/下载:21/0  |  提交时间:2019/11/30
California  Turtles  Deserts  Translocation  Geographical information systems  Software tools  Habitats  Decision making  Information sciences  Desert tortoise  Gopherus agassizii  Mojave desert  Gis(Geographic information science)  Fort irwi  
AFRL/IF Technology Transition to the Warfighter via the CAOC-X. 科技报告
报告编号: ADA467569. 出版年: 2002
作者:  Phister, J. P;  Patrick, S;  Humiston, T;  Plonisch, I. G.
收藏  |  浏览/下载:13/0  |  提交时间:2019/11/30
Air force research  Technology transfer  Symposia  Military procurement  Internet browsers  Software tools  Rapid fielding  Rapid prototyping  Technology transition  Information technology  Critical technology  Coalition information architectur  
NASA Technical Management Report (533Q) 科技报告
报告编号: ITSS-3200. 出版年: 2001
作者:  Klosko, S. M.
收藏  |  浏览/下载:20/0  |  提交时间:2019/11/30
MANAGEMENT ANALYSIS  SATELLITE LASER RANGING  DATA PROCESSING  NASA PROGRAMS  SOFTWARE DEVELOPMENT TOOLS  ATMOSPHERIC MODELS  SYSTEMS ANALYSIS  GOVERNMENT/INDUSTRY RELATIONS  CONTRACTS  INTERNET RESOURCES  INFORMATION DISSEMINATION  CALIBRATING  TRACKING STATIONS  
Software technology testbed softpanel prototype 科技报告
报告编号: NASA-CR-187913, NAS 1.26:187913. 出版年: 1991
作者:  [unavailable]
收藏  |  浏览/下载:29/0  |  提交时间:2019/11/30
ADA (PROGRAMMING LANGUAGE)  COMPUTER PROGRAMS  COMPUTER TECHNIQUES  REAL TIME OPERATION  SOFTWARE ENGINEERING  SPACE STATIONS  SYSTEMS INTEGRATION  COMPUTERIZED SIMULATION  CONTROL SYSTEMS DESIGN  DATA BASE MANAGEMENT SYSTEMS  DATA MANAGEMENT  PROGRAM VERIFICATION (COMPUTERS)  SOFTWARE DEVELOPMENT TOOLS  
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页