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

Source URL: www.sigops.org

• Concurrent programming languages
• Actor model
• Concurrent computing
• Trace
• XC

2010 International Symposium on Transnational Organization of Care

Source URL: transsos.com

• Human migration
• Human geography
• Demography
• Geography of Asia
• Republics
• Taiwan
• Transnational care
• Migrant worker
• National Yang-Ming University
• Transnationalism

Bulletin of the Seismological Society of America, Vol. 105, No. 1, pp. 107–119, February 2015, doi: Prediction of Wave Propagation in Buildings Using Data from a Single Seismometer by Ming Hei Cheng

Source URL: goldengate.ce.caltech.edu

• Mechanics
• Seismology
• Physics
• Waves
• Earthquake engineering
• Structural engineering
• Wave mechanics
• Normal mode
• Vibration
• S-wave
• Resonance
• Response spectrum

Blog : connaissezvouswuming.wordpress.com Page Facebook : «Connaissez-vous Wu Ming ?» Connaissez vous Wu Ming ?

Source URL: connaissezvouswuming.files.wordpress.com

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

Source URL: sigops.org

• Concurrent programming languages
• Actor model
• Concurrent computing
• Phase transition
• Trace
• XC

OLAP for Multidimensional Semantic Web Databases* Adriana Matei1, Kuo-Ming Chao1,Nick Godwin1 Coventry University, Faculty of Engineering and Computing, Priory Street, CV1 5FB, Coventry, United Kingdom {adriana.matei,k.c

Source URL: birte2013.cs.aau.dk

• Online analytical processing
• Data management
• Business intelligence
• Information technology management
• Data warehousing
• Cubes
• OLAP cube
• Data warehouse
• Database model
• Query language
• Semantic Web
• Microsoft Analysis Services

Rapid Freeze Prototyping and Investment Casting Application Investigators: Ming Leu (, ), Von Richards, Francie Bryant, Qingbin Liu, Guanghua Sui, Wei Zhang, Sriram Isanaka, Steve Schmitt, Tim Hi

Source URL: isc.mst.edu

• 3D printing
• Industrial design
• Product management
• Software development
• Software prototyping
• Prototype
• Rapid prototyping
• ASME

International Summer School Taiwan Comprehensive University System(TCUS) Exploring Health and Environmental Cost of Food Production 探索製造食品的健康和環境成本 Ming-Yi Chou 周明儀 National Chung Hsing U

Source URL: summer.taiwanstudy.asia

• Food industry
• Agronomy
• Cuisine
• Food
• Agriculture
• Sustainability

Automated Assembly Simulation Using Motion Capture Investigators: Ming Leu (, ), Frank Liu, Wenjuan Zhu, Abhinav Chadda, Anup Vader Funding Source: Air Force Research Laboratory, CAMT Industrial

Source URL: isc.mst.edu

• Computer-aided design
• Design engineering
• Simulation
• Automation

Use of Semi-separable Approximate Factorization and Direction-preserving for Constructing Effective Preconditioners X. Sherry Li Lawrence Berkeley National Laboratory Ming Gu (UC Berkeley)

Source URL: crd-legacy.lbl.gov

• Numerical linear algebra
• Matrices
• Linear algebra
• Matrix theory
• Operator theory
• Cholesky decomposition
• Singular value decomposition
• Matrix
• Schur complement
• Triangular matrix
• Rank
• Hierarchical matrix