Ming

Results: 2037



#Item
181Concurrent programming languages / Actor model / Concurrent computing / Phase transition / Trace / XC

Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Tsinghua University

Add to Reading List

Source URL: www.sigops.org

Language: English - Date: 2011-09-20 03:37:00
182Alternative energy / Energy conversion / Freiburg im Breisgau / International Solar Energy Society / Solar energy / Sustainable energy / Huang Ming / Ken-ichi Kimura

Microsoft Word - ISES_Awards_Press_Release_27docx

Add to Reading List

Source URL: ises.org

Language: English - Date: 2015-08-28 06:26:33
183Fault-tolerant computer systems / Computing / Data synchronization / Replication / Distributed computing architecture / Object / Fault tolerance / Distributed object / BitVault

Replication Degree Customization for High Availability ∗ Ming Zhong†

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2008-01-22 10:21:06
184Survival analysis / Maintenance / Prediction / Prognostics / Jagannathan / Intelligent maintenance system / Artificial immune system / Fault detection and isolation / Reliability engineering

Industry/University Cooperative Research Center for Intelligent Maintenance Systems (IMS) Investigators: Jag Sarangapani (, ), Ming Leu, Maciej Zawodniok Funding Source: National Science Found

Add to Reading List

Source URL: isc.mst.edu

Language: English - Date: 2014-05-12 17:48:17
185Fuel cells / Hydrogen economy / Energy conversion / Hydrogen technologies / Energy storage / Fuel cell / Freeform / Proton exchange membrane fuel cell

Project Title: Research on the Manufacturing and Design of Low Cost and Light-Weight Fuel Cells Representative Figure: Investigators: Frank Liou(, ), K. Chandrashekhara; Robert Landers, Ming Leu;

Add to Reading List

Source URL: isc.mst.edu

Language: English - Date: 2014-01-22 05:22:52
186Linear algebra / Multivariate statistics / Matrix theory / Dimension reduction / Numerical linear algebra / Singular value decomposition / Covariance / Principal component analysis / Normal distribution / Kalman filter / Linear discriminant analysis / Eigenvalues and eigenvectors

Incremental Learning for Robust Visual Tracking ∗ David A. Ross∗ Jongwoo Lim† Ruei-Sung Lin‡ Ming-Hsuan Yang† University of Toronto † Honda Research Institute, USA ‡ Motorola Labs

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2007-08-14 20:46:19
187C++ Standard Library / Cloud infrastructure / Operations research / Parallel computing / Apache Hadoop / Apache Software Foundation / Job scheduler / Computer cluster / Intermodal container / Scheduling / Monitor / Sequence container

ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters ? Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee

Add to Reading List

Source URL: einarj.at.ifi.uio.no

Language: English - Date: 2016-03-16 12:32:30
188Storm / Simulation software / Weather Research and Forecasting Model / National Severe Storms Laboratory / NMM / Noah / Center for Analysis and Prediction of Storms

CAPS Storm-Scale Ensemble Forecast in HWT 2011 Spring Experiment: Sensitivity of WRF physics on QPF Fanyou Kong, Ming Xue, Kevin W. Thomas, Yunheng Wang, Keith Brewster, Xuguang Wang (Center for Analysis and Prediction o

Add to Reading List

Source URL: www2.mmm.ucar.edu

Language: English - Date: 2011-07-19 10:48:58
189Rapid Refresh / Weather forecasting / Statistical forecasting / TAMDAR / METAR / Data assimilation / RR / Rapid update cycle

Rapid Refresh – replacement for the RUC: Configuration, Status, Strengths, Challenges John Brown, Steve Weygandt Tanya Smirnova, Ming Hu, Stan Benjamin, Curtis Alexander, Geoff Manikin (NCEP/EMC),

Add to Reading List

Source URL: www2.mmm.ucar.edu

Language: English - Date: 2011-09-26 19:02:41
190Unicode / Character sets / Universal Coded Character Set / CJK Unified Ideographs / Ideographic Rapporteur Group

ISO/IEC JTC1/SC2/WG2/IRG N2170 Title: Error G-source glyph of U+3B9D & Disunification of U+228C1 Source: Ming Fan Status: Individual Contribution Action: For consideration by ISO/IEC JTC1/SC2/WG2/IRG and UTC 1. Error G-s

Add to Reading List

Source URL: appsrv.cse.cuhk.edu.hk

Language: English - Date: 2016-06-16 21:34:29
UPDATE