| Publication | Date of Publication | Type |
|---|
Coordinating multiple intelligent reflecting surfaces without channel information
IEEE Transactions on Signal Processing | 2024-09-16 | Paper |
General rumor blocking: an efficient random algorithm with martingale approach
Algorithmic Aspects in Information and Management | 2023-10-16 | Paper |
A modified gradient projection method for static and dynamic topology optimization
Engineering Optimization | 2022-12-23 | Paper |
Bounding quality of pure Nash equilibria in dual-role facility location games
Journal of Combinatorial Optimization | 2022-10-31 | Paper |
Strategyproof mechanisms for \(2\)-facility location games with minimax envy
Journal of Combinatorial Optimization | 2022-07-18 | Paper |
A Study of Model-Order Reduction Techniques for Verification
Numerical Software Verification | 2022-07-01 | Paper |
An improved mechanism for selfish bin packing
Journal of Combinatorial Optimization | 2021-11-25 | Paper |
Machine learning steered symbolic execution framework for complex software code
Formal Aspects of Computing | 2021-08-30 | Paper |
Online identification of time-delay jump Markov autoregressive exogenous systems with recursive expectation-maximization algorithm
International Journal of Adaptive Control and Signal Processing | 2021-07-22 | Paper |
| Strategyproof mechanisms for 2-facility location games with minimax envy | 2021-07-05 | Paper |
Multiple facility location games with envy ratio
Algorithmic Aspects in Information and Management | 2021-07-05 | Paper |
Multiple facility location games with envy ratio
Theoretical Computer Science | 2021-04-08 | Paper |
| A novel approach for solving the BMI problem in barrier certificates generation | 2021-02-04 | Paper |
Robust identification of linear ARX models with recursive EM algorithm based on Student's t-distribution
Journal of the Franklin Institute | 2021-02-04 | Paper |
Testing constancy of conditional variance in high dimension
STATISTICA SINICA | 2020-11-16 | Paper |
Reanalysis-based fast solution algorithm for flexible multi-body system dynamic analysis with floating frame of reference formulation
Multibody System Dynamics | 2020-08-07 | Paper |
Identification of jump Markov autoregressive exogenous systems with missing measurements
Journal of the Franklin Institute | 2020-05-19 | Paper |
| A linear programming relaxation based approach for generating barrier certificates of hybrid systems | 2020-01-03 | Paper |
General rumor blocking: an efficient random algorithm with martingale approach
Theoretical Computer Science | 2019-12-27 | Paper |
Reachability analysis for neural feedback systems using regressive polynomial rule inference
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Sherlock - A tool for verification of neural network feedback systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
A semiparametric additive rate model for a modulated renewal process
Lifetime Data Analysis | 2019-10-01 | Paper |
Sparse envelope model: efficient estimation and response variable selection in multivariate linear regression
Biometrika | 2019-06-24 | Paper |
| Computing the Shapley value of threshold cardinality matching games | 2018-11-16 | Paper |
On the minimum common integer partition problem
ACM Transactions on Algorithms | 2018-11-05 | Paper |
(2 + 1)-dimensional coupled model for envelope Rossby solitary waves and its solutions as well as chirp effect
Mathematical Problems in Engineering | 2018-11-05 | Paper |
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis
IMA Journal of Mathematical Control and Information | 2018-09-27 | Paper |
A new ZK-BO equation for three-dimensional algebraic Rossby solitary waves and its solution as well as fission property
Nonlinear Dynamics | 2018-06-29 | Paper |
Identification of time-delay Markov jump autoregressive exogenous systems with expectation-maximization algorithm
International Journal of Adaptive Control and Signal Processing | 2018-04-11 | Paper |
An improved mechanism for selfish bin packing
Combinatorial Optimization and Applications | 2018-03-26 | Paper |
Centralized and decentralized rumor blocking problems
Journal of Combinatorial Optimization | 2017-10-17 | Paper |
Leader-following consensus of nonlinear discrete-time multi-agent systems with limited communication channel capacity
Journal of the Franklin Institute | 2017-07-28 | Paper |
Privacy-aware image encryption based on logistic map and data hiding
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2017-07-27 | Paper |
Consensus of delayed multi-agent systems via intermittent impulsive control
Asian Journal of Control | 2017-07-20 | Paper |
A Modified Partial Product Generator for Redundant Binary Multipliers
IEEE Transactions on Computers | 2017-05-16 | Paper |
Analyzing longitudinal data with informative observation and terminal event times
Acta Mathematicae Applicatae Sinica. English Series | 2017-04-04 | Paper |
The rational solutions and quasi-periodic wave solutions as well as interactions of \(N\)-soliton solutions for \(3 + 1\) dimensional Jimbo-Miwa equation
Advances in Mathematical Physics | 2017-01-17 | Paper |
Design and analysis of a novel parallel manipulator for pick-and-place applications
Meccanica | 2016-08-03 | Paper |
Diagnostic studies in sufficient dimension reduction
Biometrika | 2015-12-11 | Paper |
| A stochastic \(\text{ H}_\infty\) preview control with state-dependent noise | 2015-06-29 | Paper |
A time-sequence-based fuzzy support vector machine adaptive filter for tremor cancelling for microsurgery
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2015-06-03 | Paper |
Transient performance improvement in model reference adaptive control using \(H_\infty\) optimal method
Journal of the Franklin Institute | 2015-03-19 | Paper |
| Application of least square method based on LabVIEW in industrial automation system | 2015-02-11 | Paper |
Nondissipative torque and shear force controls of a rotating flexible structure
SIAM Journal on Control and Optimization | 2015-02-09 | Paper |
A branch-and-bound algorithm for minimizing the energy consumption in the PFS problem
Mathematical Problems in Engineering | 2014-11-24 | Paper |
Exponential stability of a non-homogeneous rotating disk-beam-mass system
Journal of Mathematical Analysis and Applications | 2014-11-19 | Paper |
The PageRank model of minimal irreducible adjustment and its lumping method
Journal of Applied Mathematics and Computing | 2014-08-05 | Paper |
On the convergence radius of the modified Newton method for multiple roots under the center-Hölder condition
Numerical Algorithms | 2014-06-27 | Paper |
On sorting unsigned permutations by double-cut-and-joins
Journal of Combinatorial Optimization | 2013-06-28 | Paper |
Hopf bifurcation of a differential-algebraic bioeconomic model with time delay
Journal of Applied Mathematics | 2013-06-03 | Paper |
| Minimum perimeter developments of the Platonic solids | 2013-03-25 | Paper |
| scientific article; zbMATH DE number 6129925 (Why is no real title available?) | 2013-01-24 | Paper |
Loop invariant synthesis in a combined abstract domain
Journal of Symbolic Computation | 2013-01-10 | Paper |
| The Super Catalan Numbers $S(m, m + s)$ for $s \leq 4$ | 2012-08-21 | Paper |
Efficient bounded reachability computation for rectangular automata
Lecture Notes in Computer Science | 2011-10-07 | Paper |
| scientific article; zbMATH DE number 5943464 (Why is no real title available?) | 2011-08-25 | Paper |
Constructing higher-order methods for obtaining the multiple roots of nonlinear equations
Journal of Computational and Applied Mathematics | 2011-06-28 | Paper |
Quantum state transformation by optimal projective measurements
Journal of Mathematical Chemistry | 2011-03-14 | Paper |
Numerical simulation of ventilated cavitating flow around 2D foil
Journal of Hydrodynamics. Ser. B | 2011-03-10 | Paper |
Some insights into continuum regression and its asymptotic properties
Biometrika | 2011-01-20 | Paper |
Coordinate-independent sparse sufficient dimension reduction and variable selection
The Annals of Statistics | 2011-01-19 | Paper |
| On minus edge domination in graphs | 2010-12-08 | Paper |
A formal approach to analyzing interference problems in aspect-oriented designs
Unifying Theories of Programming | 2010-11-09 | Paper |
Analysis and simulation of high strain compression of anisotropic open-cell elastic foams
Science China. Technological Sciences | 2010-08-13 | Paper |
On sorting permutations by double-cut-and-joins
Lecture Notes in Computer Science | 2010-07-20 | Paper |
The Applications of Mobile Payment
Communications in Computer and Information Science | 2010-06-15 | Paper |
The challenges and strategies of commercial bank in developing E-banking business
Communications in Computer and Information Science | 2010-06-15 | Paper |
| scientific article; zbMATH DE number 5629284 (Why is no real title available?) | 2009-11-11 | Paper |
| Novel Vakonomic model | 2009-07-22 | Paper |
The Similarity Metric
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
Shared Information and Program Plagiarism Detection
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
Construction of larger Riemannian metrics with bounded sectional curvatures and applications
Bulletin of the London Mathematical Society | 2008-08-27 | Paper |
A Model of Component-Based Programming
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Separation of Concerns and Consistent Integration in Requirements Modelling
Lecture Notes in Computer Science | 2008-03-07 | Paper |
A Parsimony Approach to Genome-Wide Ortholog Assignment
Lecture Notes in Computer Science | 2007-08-30 | Paper |
Small covers over prisms
Topology and its Applications | 2007-07-09 | Paper |
On the Minimum Common Integer Partition Problem
Lecture Notes in Computer Science | 2007-05-02 | Paper |
A necessary and sufficient condition for semiconvergence and optimal parameter of the SSOR method for solving the rank deficient linear least squares problem
Applied Mathematics and Computation | 2007-01-11 | Paper |
| Solving rectangular or singular linear systems by iterative methods based on proper splittings of matrices | 2007-01-03 | Paper |
A note on Roman domination in graphs
Discrete Mathematics | 2006-12-14 | Paper |
Combinatorial Pattern Matching
Lecture Notes in Computer Science | 2005-12-14 | Paper |
| scientific article; zbMATH DE number 2219689 (Why is no real title available?) | 2005-10-27 | Paper |
| scientific article; zbMATH DE number 2079424 (Why is no real title available?) | 2004-07-28 | Paper |
On scalable and locality-aware web document sharing.
Journal of Parallel and Distributed Computing | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 1839644 (Why is no real title available?) | 2003-04-06 | Paper |
Splitting based on the outer inverse of matrices.
Applied Mathematics and Computation | 2003-01-28 | Paper |
Representation and approximation of the outer inverse \(A_{T,S}^{(2)}\) of a matrix \(A\)
Linear Algebra and its Applications | 2000-05-11 | Paper |
Exact solution of the Milburn equation without the diffusion approximation for the Jaynes-Cummings model with intensity-dependent interaction
Physics Letters. A | 2000-02-08 | Paper |
Exact solution of the Milburn equation for the Jaynes-Cummings model with an intensity-dependent interaction
Physics Letters. A | 2000-02-06 | Paper |
Coherent state formalism for the Pegg-Barnett Hermitian phase theory
Physics Letters. A | 2000-02-06 | Paper |
| scientific article; zbMATH DE number 1293863 (Why is no real title available?) | 1999-08-16 | Paper |
| scientific article; zbMATH DE number 988184 (Why is no real title available?) | 1997-09-15 | Paper |
New coherent states of the Lie superalgebra osp (1/2,R)
Journal of Physics A: Mathematical and General | 1996-08-21 | Paper |
Exact solution of the Milburn equation for the two-photon Jaynes-Cummings model
Journal of Physics A: Mathematical and General | 1996-07-17 | Paper |
Positive realness preserving model reduction with H/sub /spl infin norm error bounds
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications | 1996-06-23 | Paper |
Jaynes–Cummings model governed by the Milburn equation without diffusion approximation
Journal of Mathematical Physics | 1996-05-19 | Paper |
Path integral for new coherent states of Lie superalgebra osp(1/2, R)
Journal of Physics A: Mathematical and General | 1996-03-17 | Paper |
| scientific article; zbMATH DE number 822169 (Why is no real title available?) | 1995-11-29 | Paper |
The Use of Derivatives for Optimizing Steady State Queues
The Journal of the Operational Research Society | 1995-06-25 | Paper |
Surface modelling of range data by constrained triangulation
CAD. Computer-Aided Design | 1995-02-19 | Paper |
| scientific article; zbMATH DE number 4214645 (Why is no real title available?) | 1991-01-01 | Paper |
