Ming Gu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Fast Parallel Randomized QR with Column Pivoting Algorithms for Reliable Low-rank Matrix Approximations	2018-04-13	Paper
Spectrum-Revealing Cholesky Factorization for Kernel Methods	2018-04-13	Paper
Maxterm Covering for Satisfiability	2017-07-12	Paper
PARAMETRIC VIBRATION OF STAY CABLES UNDER AXIAL NARROW-BAND STOCHASTIC EXCITATION	2017-04-07	Paper
An Efficient, Sparsity-Preserving, Online Algorithm for Low-Rank Approximation	2016-02-18	Paper
Gaussian Elimination with Randomized Complete Pivoting	2015-11-26	Paper
Array theory of bounded elements and its applications	2015-06-23	Paper
Estimating the volume of solution space for satisfiability modulo linear real arithmetic	2015-05-29	Paper
A big data approach to analyzing market volatility	2014-06-13	Paper
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems	2013-11-26	Paper
AN APPROXIMATION METHOD FOR COMPUTING THE DYNAMIC RESPONSES AND EQUIVALENT STATIC WIND LOADS OF LARGE-SPAN ROOF STRUCTURES	2013-09-05	Paper
Across-wind loads and effects of super-tall buildings and structures	2012-06-07	Paper
A novel fault diagnosis mechanism for wireless sensor networks	2011-11-11	Paper
Competent predicate abstraction in model checking	2011-06-17	Paper
Symbolic Model Checking the Knowledge in Herbivore Protocol	2011-05-27	Paper
Hierarchical Attribute-Set Based Encryption for Scalable, Flexible and Fine-Grained Access Control in Cloud Computing	2011-05-19	Paper
Equality detection for linear arithmetic constraints	2011-02-02	Paper
Temperature dependence of thermal resistance of a bare joint	2010-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q3640459	2009-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3640473	2009-11-11	Paper
Modeling job shop scheduling with batches and setup times by timed Petri nets	2009-07-20	Paper
Probability model and solution on earthquake effects combination in along wind resistant design of tall-flexible buildings	2008-09-17	Paper
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement	2008-09-04	Paper
Global minimization of rational functions and the nearest GCDs	2008-04-09	Paper
A combinatorial congestion estimation approach with generalized detours	2008-03-11	Paper
Applied Cryptography and Network Security	2008-02-19	Paper
Congestion estimation for hexagonal routing	2007-02-15	Paper
Dissections of \(p\colon q\) rectangles into 13 \(p\colon q\) rectangular elements	2006-06-30	Paper
Multiterminal net assignments by scatter search	2006-02-06	Paper
Information Security and Privacy	2005-09-07	Paper
A stochastic model for cellassignments in PCS networks	2005-06-23	Paper
A Learning Rule for Local Synaptic Interactions Between Excitation and Shunting Inhibition	2005-04-05	Paper
On synthesis of 3 × 3 reversible logic functions	2005-03-07	Paper
A comparative study on search strategies for cell assignments	2005-01-14	Paper
Predicting Axonal Response to Molecular Gradients with a Computational Model of Filopodial Dynamics	2005-01-04	Paper
Numerical computation of the flow around two square cylinders arranged side-by-side	2000-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q3128933	1997-04-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ming Gu