| Publication | Date of Publication | Type |
|---|
Improved SARSA and DQN algorithms for reinforcement learning
Theoretical Computer Science | 2025-01-08 | Paper |
Generating Java code pairing with ChatGPT
Theoretical Computer Science | 2024-11-18 | Paper |
Stochastic vibration-driven fatigue analysis for steel structure bridges considering track irregularity
International Journal of Structural Stability and Dynamics | 2024-11-18 | Paper |
Density Regression with Conditional Support Points
Technometrics | 2024-10-31 | Paper |
| A dynamic parameter adaptive path planning algorithm | 2024-09-16 | Paper |
| Single image dehazing based on dynamic convolution and transformer | 2024-09-16 | Paper |
Uniqueness solution and stability results for singular fractional Riemann-Stieltjes integral boundary problems
Bulletin des Sciences Mathématiques | 2024-08-23 | Paper |
| An approach to agent path planning under temporal logic constraints | 2024-08-22 | Paper |
How to induce multinational firms' local sourcing to break carbon lock-in?
European Journal of Operational Research | 2024-06-13 | Paper |
Robust \(H_\infty \) filtering for Markovian jumping static neural networks with time-varying delays
Journal of Algorithms & Computational Technology | 2024-06-07 | Paper |
Exponential family tensor completion with auxiliary information
Stat | 2024-05-19 | Paper |
Dynamic interaction analysis and running safety assessment of the wind-train-bridge system considering the moving train's aerodynamic coupling with crosswind
International Journal of Structural Stability and Dynamics | 2024-05-14 | Paper |
Well-balanced Finite difference WENO-AO scheme for rotating shallow water equations with Coriolis force
Computers and Fluids | 2024-04-17 | Paper |
Improved efficiency assessment in network DEA through interval data analysis: An empirical study in agriculture
RAIRO - Operations Research | 2024-01-22 | Paper |
A novel saturation‐related event‐triggered scheme for systems with asymmetric input constraint
International Journal of Robust and Nonlinear Control | 2023-12-16 | Paper |
Uncertain spreading model of Internet rumors on social media platforms
Journal of Industrial and Management Optimization | 2023-12-11 | Paper |
Solutions and stability for \(p\)-Laplacian differential problems with mixed type fractional derivatives
International Journal of Nonlinear Sciences and Numerical Simulation | 2023-12-07 | Paper |
A novel approach to verifying context free properties of programs
Algorithmic Aspects in Information and Management | 2023-10-16 | Paper |
Risk-based premium evaluation with jump diffusion process for PBGC
Communications in Statistics: Theory and Methods | 2023-06-26 | Paper |
Size-dependent static bending, free vibration and buckling analysis of curved flexomagnetic nanobeams
Meccanica | 2023-06-21 | Paper |
| Propositional projection temporal logic specification mining | 2023-03-21 | Paper |
A proof system for unified temporal logic
Theoretical Computer Science | 2023-02-24 | Paper |
High Order Conservative Finite Difference/Fourier Spectral Methods for Inviscid Surface Quasi-Geostrophic Flows
Communications in Computational Physics | 2023-02-23 | Paper |
Measuring global flow of funds: who-to-whom matrix and financial network
Japanese Journal of Statistics and Data Science | 2022-12-13 | Paper |
PPTL specification mining based on LNFG
Theoretical Computer Science | 2022-10-24 | Paper |
A joint estimation approach to sparse additive ordinary differential equations
Statistics and Computing | 2022-09-15 | Paper |
Theoretical analysis on the \textit{Rényi} holographic dark energy in the Finsler-Randers cosmology
International Journal of Modern Physics D | 2022-06-28 | Paper |
Covering-based optimistic multigranulation decision-theoretic rough sets based on maximal descriptors
Rough Sets | 2022-06-15 | Paper |
Attribute reduction in utility-based decision-theoretic rough set models
Rough Sets | 2022-06-15 | Paper |
Dynamical modeling for non-Gaussian data with high-dimensional sparse ordinary differential equations
Computational Statistics and Data Analysis | 2022-05-30 | Paper |
Modelling the aggregate loss for insurance claims with dependence
Communications in Statistics: Theory and Methods | 2022-05-23 | Paper |
Pricing longevity-linked derivatives using a stochastic mortality model
Communications in Statistics: Theory and Methods | 2022-05-20 | Paper |
Multiple positive solutions for nonlinear high-order Riemann-Liouville fractional differential equations boundary value problems with \(p\)-Laplacian operator
Boundary Value Problems | 2022-04-19 | Paper |
Existence-uniqueness of positive solutions to nonlinear impulsive fractional differential systems and optimal control
Boundary Value Problems | 2022-04-19 | Paper |
Existence-uniqueness and monotone iteration of positive solutions to nonlinear tempered fractional differential equation with \(p\)-Laplacian operator
Boundary Value Problems | 2022-04-19 | Paper |
Existence and monotone iteration of unique solution for tempered fractional differential equations Riemann-Stieltjes integral boundary value problems
Advances in Difference Equations | 2022-02-25 | Paper |
Equilibrium reinsurance-investment strategy with a common shock under two kinds of premium principles
RAIRO - Operations Research | 2022-02-21 | Paper |
Fixed point theorems for sum operator with parameter
Journal of Inequalities and Applications | 2022-01-20 | Paper |
Reliability and maintenance analysis of a degradation-threshold-shock model for a system in a dynamic environment
Applied Mathematical Modelling | 2021-12-08 | Paper |
\(H_\infty\) filter design for discrete-time networked systems with adaptive event-triggered mechanism and hybrid cyber attacks
Journal of the Franklin Institute | 2021-12-07 | Paper |
Improved general attribute reduction algorithms
Information Sciences | 2021-11-23 | Paper |
Parameter estimation in uncertain differential equations based on the solution
Mathematical Methods in the Applied Sciences | 2021-08-02 | Paper |
Fracture analysis on the arc-shaped interfacial crack between a homogeneous cylinder and its coating
European Journal of Mechanics. A. Solids | 2021-06-21 | Paper |
Optimal stop-loss reinsurance with joint utility constraints
Journal of Industrial and Management Optimization | 2021-06-09 | Paper |
A proof system for MSVL programs in Coq
Structured Object-Oriented Formal Language and Method | 2021-05-20 | Paper |
| Deep specification mining with attention | 2021-04-21 | Paper |
Unified temporal logic
Theoretical Computer Science | 2021-04-08 | Paper |
Stochastic differential investment and reinsurance games with nonlinear risk processes and VaR constraints
Insurance Mathematics & Economics | 2021-03-17 | Paper |
Reinsurance-investment game between two mean-variance insurers under model uncertainty
Journal of Computational and Applied Mathematics | 2020-08-28 | Paper |
| scientific article; zbMATH DE number 7235322 (Why is no real title available?) | 2020-08-12 | Paper |
| Deep belief network based on noisy data and clean data | 2020-08-12 | Paper |
A unified method for completions of posets and closure spaces
Soft Computing | 2020-07-15 | Paper |
Condition-based maintenance for a \(K\)-out-of-\(N\) deteriorating system under periodic inspection with failure dependence
European Journal of Operational Research | 2020-06-17 | Paper |
Diagnosing Tsallis holographic dark energy models with interactions
Modern Physics Letters A | 2020-05-19 | Paper |
\(m\)-algebraic lattices in formal concept analysis
Mathematical Structures in Computer Science | 2020-05-04 | Paper |
| An efficient decision procedure for propositional projection temporal logic | 2020-02-24 | Paper |
Evaluation of the warranty cost of a product with type III stochastic dependence between components
Applied Mathematical Modelling | 2020-02-17 | Paper |
Translating Xd-C programs to MSVL programs
Theoretical Computer Science | 2020-01-29 | Paper |
A novel approach to verifying context free properties of programs
Theoretical Computer Science | 2020-01-29 | Paper |
| Restricted Boltzmann machines: a review | 2020-01-22 | Paper |
Sufficient variable selection using independence measures for continuous response
Journal of Multivariate Analysis | 2019-10-01 | Paper |
| An experimental method for reproducing traffic flow based on reality and virtual interaction | 2019-09-20 | Paper |
Stochastic differential reinsurance games with capital injections
Insurance Mathematics & Economics | 2019-09-19 | Paper |
Index set expressions can represent temporal logic formulas
Theoretical Computer Science | 2019-08-09 | Paper |
A temporal logic programming approach to planning
Journal of Combinatorial Optimization | 2019-06-25 | Paper |
Verifying a scheduling protocol of safety-critical systems
Journal of Combinatorial Optimization | 2019-06-25 | Paper |
| Mutual invertibility of fractional order opposite direction accumulating generation operator and reducing generation operator | 2019-06-21 | Paper |
Analysis of the limit cycle properties of a fast-slow predator-prey system
Electronic Journal of Qualitative Theory of Differential Equations | 2019-06-12 | Paper |
Increased infection severity in downstream cities in infectious disease transmission and tourists surveillance analysis
Journal of Theoretical Biology | 2019-04-26 | Paper |
| Modeling and analysis of nested interrupt systems | 2019-02-22 | Paper |
Dynamic Resource Allocation for Energy Efficient Transmission in Digital Subscriber Lines
IEEE Transactions on Signal Processing | 2019-02-08 | Paper |
Modeling semi-steady state near-well flow performance for horizontal wells in anisotropic reservoirs
Computational Geosciences | 2019-01-22 | Paper |
Robust non-zero-sum investment and reinsurance game with default risk
Insurance Mathematics & Economics | 2019-01-15 | Paper |
A compiler for MSVL and its applications
Theoretical Computer Science | 2018-12-05 | Paper |
Reliability-based measures and prognostic analysis of a \(K\)-out-of-\(N\) system in a random environment
European Journal of Operational Research | 2018-10-30 | Paper |
Modeling and analysis of bifurcation in a delayed worm propagation model
Journal of Applied Mathematics | 2018-10-10 | Paper |
Deep extreme learning machine and its application in EEG classification
Mathematical Problems in Engineering | 2018-08-27 | Paper |
Sufficient dimension reduction using Hilbert-Schmidt independence criterion
Computational Statistics and Data Analysis | 2018-08-14 | Paper |
Two bonded multiferroic ceramics half-planes with coupled interfacial imperfections: in-plane fracture and its dislocation-based physical mechanisms
European Journal of Mechanics. A. Solids | 2018-08-14 | Paper |
| Laplacian multi layer extreme learning machine | 2018-07-18 | Paper |
Optimal quota-share reinsurance based on the mutual benefit of insurer and reinsurer
Journal of Computational and Applied Mathematics | 2018-06-13 | Paper |
| scientific article; zbMATH DE number 6874639 (Why is no real title available?) | 2018-05-25 | Paper |
| Modeling and verifying multi-core programs | 2018-03-26 | Paper |
On Fredholm completions of partial operator matrices
Annals of Functional Analysis | 2018-02-20 | Paper |
Adaptive basis selection for exponential family smoothing splines with application in joint modeling of multiple sequencing samples
STATISTICA SINICA | 2018-01-12 | Paper |
Sharp maximal and weighted estimates for multilinear iterated commutators of multilinear integrals with generalized kernels
Journal of Inequalities and Applications | 2017-11-14 | Paper |
Lifshitz effects on holographic \(p\)-wave superfluid
Physics Letters B | 2017-10-26 | Paper |
Attribute reduction for sequential three-way decisions under dynamic granulation
International Journal of Approximate Reasoning | 2017-10-11 | Paper |
Localization Attacks to Internet Threat Monitors: Modeling and Countermeasures
IEEE Transactions on Computers | 2017-07-27 | Paper |
Just-in-Time Analytics on Large File Systems
IEEE Transactions on Computers | 2017-07-12 | Paper |
Markowitz's mean-variance optimization with investment and constrained reinsurance
Journal of Industrial and Management Optimization | 2017-06-15 | Paper |
Optimal reinsurance under dynamic VaR constraint
Insurance Mathematics & Economics | 2016-12-14 | Paper |
A mechanism of function calls in MSVL
Theoretical Computer Science | 2016-11-24 | Paper |
Verifying safety critical task scheduling systems in PPTL axiom system
Journal of Combinatorial Optimization | 2016-02-23 | Paper |
Verification of distributed systems with the axiomatic system of MSVL
Formal Aspects of Computing | 2016-01-06 | Paper |
Efficient computation of smoothing splines via adaptive basis sampling
Biometrika | 2015-12-11 | Paper |
A canonical form based decision procedure and model checking approach for propositional projection temporal logic
Theoretical Computer Science | 2015-12-11 | Paper |
A complete axiom system for propositional projection temporal logic with cylinder computation model
Theoretical Computer Science | 2015-12-11 | Paper |
Lifshitz scaling effects on holographic superconductors
Nuclear Physics B | 2015-11-23 | Paper |
Direction Estimation in Single-Index Regressions via Hilbert-Schmidt Independence Criterion
STATISTICA SINICA | 2015-11-03 | Paper |
Influence of Systematic Coupling Stiffness Parameter on Coupling Duffing System Lag Self-synchronization Characteristic
Journal of Applied Nonlinear Dynamics | 2015-11-02 | Paper |
Model Checking MSVL Programs Based on Dynamic Symbolic Execution
Lecture Notes in Computer Science | 2015-10-29 | Paper |
Uncertainty measures in interval-valued information systems
Rough Sets and Knowledge Technology | 2015-10-02 | Paper |
Knowledge Granulation in Interval-Valued Information Systems Based on Maximal Consistent Blocks
Rough Sets and Knowledge Technology | 2015-10-02 | Paper |
An extended strange planet protocol
Journal of Combinatorial Optimization | 2015-07-28 | Paper |
| scientific article; zbMATH DE number 6452789 (Why is no real title available?) | 2015-06-29 | Paper |
| The generalized sensitivity | 2015-02-16 | Paper |
A formal proof of the deadline driven scheduler in PPTL axiomatic system
Theoretical Computer Science | 2014-10-06 | Paper |
An axiomatization for cylinder computation model
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Normal form expressions of propositional projection temporal logic
Lecture Notes in Computer Science | 2014-09-26 | Paper |
A cylinder computation model for many-core parallel computing
Theoretical Computer Science | 2014-01-10 | Paper |
A complete proof system for propositional projection temporal logic
Theoretical Computer Science | 2014-01-10 | Paper |
Some fixed-point issues in PPTL
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
An efficient approach for abstraction-refinement in model checking
Theoretical Computer Science | 2012-11-27 | Paper |
| Set-theoretic approaches to granular computing | 2012-10-15 | Paper |
A Semantic Model for Many-Core Parallel Computing
Combinatorial Optimization and Applications | 2011-08-12 | Paper |
gPath: A Game-Theoretic Path Selection Algorithm to Protect Tor’s Anonymity
Lecture Notes in Computer Science | 2010-11-23 | Paper |
A variational approach to analyzing catalytic reactions in short monoliths
Computers & Mathematics with Applications | 2010-06-28 | Paper |
Computing optimised parallel speeded-up robust features (P-SURF) on multi-core processors
International Journal of Parallel Programming | 2010-03-09 | Paper |
BRVAAF and performance analysis for target detection
Science in China. Series E | 2009-12-15 | Paper |
Dynamic stress intensity factor of a crack perpendicular to the weak-discontinuous interface in a nonhomogeneous coating-substrate structure
Archive of Applied Mechanics | 2009-12-11 | Paper |
| Application of the canonical dual transformation theory to a convex constrained quadratic programming | 2009-11-11 | Paper |
Regression Survival Analysis with an Assumed Copula for Dependent Censoring: A Sensitivity Analysis Approach
Biometrics | 2008-12-22 | Paper |
| Multiple description image coding based on directional lifting wavelet transform | 2008-11-24 | Paper |
Anti-plane fracture analysis of functionally gradient material infinite strip with finite width
Applied Mathematics and Mechanics. (English Edition) | 2008-09-17 | Paper |
Numerical simulation of quasi-streamwise hairpin-like vortex generation in turbulent boundary layer
Applied Mathematics and Mechanics. (English Edition) | 2008-09-01 | Paper |
Dynamic stress intensity factor of the weak/micro-discontinuous interface crack of a FGM coating
International Journal of Solids and Structures | 2007-10-17 | Paper |
| Computing minimal hitting sets with a genetic algorithm | 2007-08-22 | Paper |
Using an improved clustering method to detect anomaly activities
Wuhan University Journal of Natural Sciences | 2007-06-01 | Paper |
Information Security
Lecture Notes in Computer Science | 2006-10-20 | Paper |
