Liangyu Chen

Affiliations:
  • East China Normal University, Shanghai, China


According to our database1, Liangyu Chen authored at least 30 papers between 2007 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5.
Ann. Math. Artif. Intell., December, 2023

Deep Attentive Model for Knowledge Tracing.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Using Multi-feature Embedding towards Accurate Knowledge Tracing.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Refactoring of Object-oriented Package Structure Based on Complex Network.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Optimized Computation for Determinant of Multivariate Polynomial Matrices on GPGPU.
Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

2021
A Hybrid Model Combining Formulae with Keywords for Mathematical Information Retrieval.
Int. J. Softw. Eng. Knowl. Eng., 2021

A New Model of Software Network for Object-Oriented Software System.
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

Using Surrounding Text of Formula towards More Accurate Mathematical Information Retrieval.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

An Efficient Method to Measure Robustness of ReLU-Based Classifiers via Search Space Pruning.
Proceedings of the International Joint Conference on Neural Networks, 2021

A Branch-and-Bound Algorithm for Computing the Reliable Isolated Zeros of Multivariate Polynomial Functions Systems.
Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

Using Knowledge Concept Aggregation towards Accurate Cognitive Diagnosis.
Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2020
Measurement and refactoring for package structure based on complex network.
Appl. Netw. Sci., 2020

An N-ary Tree-based Model for Similarity Evaluation on Mathematical Formulae.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

2019
A Heilbronn Type Inequality for Plane Nonagons.
Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

Determining the Heilbronn Configuration of Seven Points in Triangles via Symbolic Computation.
Proceedings of the Computer Algebra in Scientific Computing - 21st International Workshop, 2019

2018
An efficient algorithm for global interval solution of nonlinear algebraic equations and its GPGPU implementation.
CoRR, 2018

2017
Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing.
J. Glob. Optim., 2017

Big Prime Field FFT on the GPU.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2014
An upper bound of Heilbronn number for eight points in triangles.
J. Comb. Optim., 2014

2013
Parallel computation of determinants of matrices with multivariate polynomial entries.
Sci. China Inf. Sci., 2013

2012
ESF - An Extensive Service Foundation from Internet of Things Perspective.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations.
Proceedings of the Computer Mathematics, 2012

2010
Reachability analysis of rational eigenvalue linear systems.
Int. J. Syst. Sci., 2010

Termination Analysis of Linear Loops.
Int. J. Found. Comput. Sci., 2010

Real Root Isolation of Multi-Exponential Polynomials with Application.
Proceedings of the WALCOM: Algorithms and Computation, 4th International Workshop, 2010

2009
On the Best Bezier Approximation of Ellipses.
Proceedings of the Second International Joint Conference on Computational Sciences and Optimization, 2009

Symbolic Reachability Computation of a Class of Nonlinear Systems.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008
On the Heilbronn Optimal Configuration of Seven Points in the Square.
Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

2007
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?.
Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007


  Loading...