The following pages link to Zhi-Ming Liu (Q295007):
Displaying 50 items.
- The monotonicity and convexity of a function involving psi function with applications (Q295008) (← links)
- \(L^{p}\)-estimates for quasilinear subelliptic equations with VMO coefficients under the controllable growth (Q308543) (← links)
- Longtime behavior of the semilinear wave equation with gentle dissipation (Q325272) (← links)
- (Q494263) (redirect page) (← links)
- Exponential attractor for the Kirchhoff equations with strong nonlinear damping and supercritical nonlinearity (Q494264) (← links)
- Global attractor for a strongly damped wave equation with fully supercritical nonlinearities (Q525585) (← links)
- Sharp Smith's bounds for the gamma function (Q681500) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation (Q832198) (← links)
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Fusion of color, local spatial and global frequency information for face recognition (Q975201) (← links)
- Robustness testing for software components (Q988173) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Transformation of programs for fault-tolerance (Q1201297) (← links)
- Verification, refinement and scheduling of real-time programs (Q1589590) (← links)
- Global attractor of the quasi-linear wave equation with strong damping (Q1682108) (← links)
- Stability of exponential attractors for a family of semilinear wave equations with gentle dissipation (Q1690304) (← links)
- RCOS: a formal model-driven engineering method for component-based software (Q1762176) (← links)
- Unifying proof methodologies of duration calculus and timed linear temporal logic (Q1882794) (← links)
- Verification of schedulability for real-time programs (Q1904642) (← links)
- On security in encrypted computing (Q2218949) (← links)
- Planar metamaterial analogue of electromagnetically induced transparency for a miniature refractive index sensor (Q2233959) (← links)
- Global attractor of multi-valued operators with applications to a strongly damped nonlinear wave equation without uniqueness (Q2278512) (← links)
- A linear programming relaxation based approach for generating barrier certificates of hybrid systems (Q2281664) (← links)
- Global attractor for the Kirchhoff type equations with strong nonlinear damping and supercritical nonlinearity (Q2349235) (← links)
- Upper semicontinuity of global attractors for a family of semilinear wave equations with gentle dissipation (Q2407731) (← links)
- Exponential attractor for the wave equation with structural damping and supercritical exponent (Q2828646) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs (Q2999325) (← links)
- Model Checking Linear Duration Invariants of Networks of Automata (Q3400924) (← links)
- A Model of Component-Based Programming (Q3508526) (← links)
- Harnessing rCOS for Tool Support —The CoCoME Experience (Q3526927) (← links)
- Component Publications and Compositions (Q3585034) (← links)
- An Extended cCSP with Stable Failures Semantics (Q3585047) (← links)
- Design and Verification of Fault-Tolerant Components (Q3623817) (← links)
- (Q4412546) (← links)
- (Q4673418) (← links)
- Regular attractor of the <i>β</i>-evolution equation with fractional damping on Rn (Q5056874) (← links)
- On new sharp bounds for the Toader-Qi mean involved in the modified Bessel functions of the first kind (Q5093914) (← links)
- Synthesizing barrier certificates using neural networks (Q5146391) (← links)
- (Q5196885) (← links)
- Longtime dynamics of the quasi-linear wave equations with structural damping and supercritical nonlinearities (Q5346739) (← links)
- Extracting Multiple Features in the CID Color Space for Face Recognition (Q5366507) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395093) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395122) (← links)
- Separation of Concerns and Consistent Integration in Requirements Modelling (Q5448821) (← links)
- Programming Languages and Systems (Q5464055) (← links)
- Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709965) (← links)
- Formal Methods for Components and Objects (Q5897451) (← links)
