Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Weifu Wang 0001, Ping Li 0001 |
Towards Constructing Finer then Homotopy Path Classes. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Vikraman Choudhury, Marcelo Fiore |
Free Commutative Monoids in Homotopy Type Theory. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Alexander V. Evako |
Contractible_Spaces, Homotopy Equivalence and Homeomorphism in Digital Topology. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Joon-Hyuk Ko, Hankyul Koh, Nojun Park, Wonho Jhe |
Homotopy-based training of NeuralODEs for accurate dynamics discovery. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Kisun Lee, Stephen Melczer, Josip Smolcic |
Homotopy techniques for analytic combinatorics in several variables. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Reich |
Data assimilation: A dynamic homotopy-based coupling approach. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Pavel E. Dvurechensky, Shimrit Shtern, Mathias Staudigl |
A conditional gradient homotopy method with applications to Semidefinite Programming. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Dominique Attali, Hana Dal Poz Kourimská, Christopher Fillmore, Ishika Ghosh, André Lieutier, Elizabeth Stephenson, Mathijs Wintraecken |
Optimal homotopy reconstruction results à la Niyogi, Smale, and Weinberger. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Kisun Lee, Julia Lindberg, Jose Israel Rodriguez |
Implementing real polyhedral homotopy. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Uddhaba Biswal, Snehashish Chakraverty, Bata Krushna Ojha, Ahmed Kadhim Hussein |
Numerical investigation on nanofluid flow between two inclined stretchable walls by Optimal Homotopy Analysis Method. |
J. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Quoc Tran-Dinh, Ling Liang, Kim-Chuan Toh |
A New Homotopy Proximal Variable-Metric Framework for Composite Convex Minimization. |
Math. Oper. Res. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Wenrui Hao |
An adaptive homotopy tracking algorithm for solving nonlinear parametric systems with applications in nonlinear ODEs. |
Appl. Math. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jin-Chang Yan, Yang Xu, Zheng-Hai Huang |
A homotopy method for solving multilinear systems with strong completely positive tensors. |
Appl. Math. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Bo Dong |
The Homotopy Method for the Complete Solution of Quadratic Two-parameter Eigenvalue Problems. |
J. Sci. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Andrew W. Swan |
On the Nielsen-Schreier Theorem in Homotopy Type Theory. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Thierry Coquand, Simon Huber, Christian Sattler |
Canonicity and homotopy canonicity for cubical type theory. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Liping Guo, Sanfeng Hu, Jie Zhou 0002, X. Rong Li |
Nonlinear Filtering Based on Third-Degree Approximation Via Sequential Homotopy. |
IEEE Trans. Signal Process. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhiping Qiu, Nan Jiang |
A symplectic homotopy perturbation method for stochastic and interval Hamiltonian systems and its applications in structural dynamic systems. |
Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Batoul Yousefi, Hossein Baradaran |
A homotopy analysis solution to large deformation of a nanowire based on nonlocal elasticity theory. |
Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yi He, Peng Cheng 0006, Shanmin Yang, Jianwei Zhang |
Three-Dimensional Face Recognition Using Solid Harmonic Wavelet Scattering and Homotopy Dictionary Learning. |
Entropy |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yiyin Cao, Chuangyin Dang, Yabin Sun |
Complementarity Enhanced Nash's Mappings and Differentiable Homotopy Methods to Select Perfect Equilibria. |
J. Optim. Theory Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Asma Gulraiz, Noman Naseer, Hammad Nazeer, Muhammad Jawad Khan, Rayyan Azam Khan, Umar Shahbaz Khan |
LASSO Homotopy-Based Sparse Representation Classification for fNIRS-BCI. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Gerardo C. Velez-Lopez, Hector Vazquez-Leal, Luis Hernández-Martínez, Arturo Sarmiento-Reyes, Gerardo Ulises Diaz-Arango, Jesus Huerta-Chua, Hector Daniel Rico-Aniles, Víctor Manuel Jimenez-Fernandez |
A Novel Collision-Free Homotopy Path Planning for Planar Robotic Arms. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yuting Li, Yong Li |
A homotopy gated recurrent unit for predicting high dimensional hyperchaos. |
Commun. Nonlinear Sci. Numer. Simul. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Gregory Lupton, John Oprea, Nicholas A. Scoville |
Homotopy Theory in Digital Topology. |
Discret. Comput. Geom. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yuxin Xia, Bo Han 0007, Ruixue Gu |
An accelerated Homotopy-Perturbation-Kaczmarz method for solving nonlinear inverse problems. |
J. Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yang Wang, Francesco Topputo |
A TFC-based homotopy continuation algorithm with application to dynamics and control problems. |
J. Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tao Liu |
Parameter estimation with the multigrid-homotopy method for a nonlinear diffusion equation. |
J. Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Samad Noeiaghdam, Mohammad Ali Fariborzi Araghi, Denis N. Sidorov |
Dynamical strategy on homotopy perturbation method for solving second kind integral equations using the CESTAC method. |
J. Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Wenxing Zhu, Huating Huang, Lanfan Jiang, Jianli Chen |
Weighted thresholding homotopy method for sparsity constrained optimization. |
J. Comb. Optim. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Kristina Sojakova, G. A. Kavvos |
Syllepsis in Homotopy Type Theory. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Wenbo He, Yunshen Huang, Shen Zeng |
Motion Planning with Homotopy Class Constraints via the Auxiliary Energy Reduction Technique. |
ACC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zbigniew Bartosiewicz |
Homotopy-based formations of robot swarms. |
ECC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Xiao Lv, Wei Cui 0001, Yulong Liu 0002 |
Time-Data Tradeoffs in Structured Signals Recovery via the Proximal-Gradient Homotopy Method. |
ISIT |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tim Ophelders, Salman Parsa |
Minimum Height Drawings of Ordered Trees in Polynomial Time: Homotopy Height of Tree Duals. |
SoCG |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hongwu Dong, Jianqiang Su |
Research on unmanned platform path planning method based on homotopy algorithm. |
ICISCAE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Samuel Mimram, Émile Oleon |
Division by Two, in Homotopy Type Theory. |
FSCD |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Chiang-Heng Chien, Hongyi Fan, Ahmad Abdelfattah, Elias P. Tsigaridas, Stanimire Tomov, Benjamin B. Kimia |
GPU-Based Homotopy Continuation for Minimal Problems in Computer Vision. |
CVPR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Bamrung Tausiesakul |
Soft Homotopy through Moore-Penrose Inverse. |
CIVEMSA |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hidenori Iwakiri, Yuhang Wang, Shinji Ito, Akiko Takeda |
Single Loop Gaussian Homotopy Method for Non-convex Optimization. |
NeurIPS |
2022 |
DBLP BibTeX RDF |
|
13 | Xiaoling Hu 0002 |
Structure-Aware Image Segmentation with Homotopy Warping. |
NeurIPS |
2022 |
DBLP BibTeX RDF |
|
13 | Kisun Lee, Stephen Melczer, Josip Smolcic |
Homotopy Techniques for Analytic Combinatorics in Several Variables. |
SYNASC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jan Verschelde, Kylash Viswanathan |
Locating the Closest Singularity in a Polynomial Homotopy. |
CASC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Shan Luo 0002, Yuwei Zhao, Yong Xiao, Rongping Lin, Yao Yan |
A Temporal-Spatial Spectrum Prediction Using the Concept of Homotopy Theory for UAV Communications. |
IEEE Trans. Veh. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Biswajit Pandit, Amit Kumar Verma, Ravi P. Agarwal |
Numerical approximations for a class of nonlinear higher order singular boundary value problem by using homotopy perturbation and variational iteration method. |
Comput. Math. Methods |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Zhaojun Zhang, Xuanyu Li, Shengyang Luan, Zhaoxiong Xu |
An efficient particle swarm optimization with homotopy strategy for global numerical optimization. |
J. Intell. Fuzzy Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Philippe Gaucher |
Homotopy theory of Moore flows (I). |
Compositionality |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Brice Halimi |
Homotopy Model Theory. |
J. Symb. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Xiongwei Wu, Jun Li 0004, Ming Xiao 0001, P. C. Ching, H. Vincent Poor |
Multi-Agent Reinforcement Learning for Cooperative Coded Caching via Homotopy Optimization. |
IEEE Trans. Wirel. Commun. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Said Melliani, Zineb Belhallaj, M. Elomari, Lalla Saadia Chadli |
Approximate Solution of Intuitionistic Fuzzy Differential Equations with the Linear Differential Operator by the Homotopy Analysis Method. |
Adv. Fuzzy Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Benedikt Ahrens, Simon Huber, Anders Mörtberg |
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Dan Licata, Peter LeFanu Lumsdaine |
Special issue on homotopy type theory 2019. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Anders Mörtberg |
Cubical methods in homotopy type theory and univalent foundations. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Martin E. Bidlingmaier, Florian Faissole, Bas Spitters |
Synthetic topology in Homotopy Type Theory for probabilistic programming. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Benedikt Ahrens, Simon Huber, Anders Mörtberg |
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Cesare Gallozzi |
Homotopy type-theoretic interpretations of constructive set theories. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | A. H. Shather, Ali Fareed Jameel, Nidal Ratib Anakira, A. K. Alomari 0001, Azizan Saaban |
Homotopy analysis method approximate solution for fuzzy pantograph equation. |
Int. J. Comput. Sci. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Salman Ahmad, Atif Iqbal, Mohammad Ali 0004, Khaliqur Rahman, Abdellahi Sidi Ahmed |
A Fast Convergent Homotopy Perturbation Method for Solving Selective Harmonics Elimination PWM Problem in Multi Level Inverter. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Peipei Yang, Yanping Liang, Xu Bian, Chenguang Wang 0005 |
Probing Homotopy Continuation Method for Solving Nonlinear Magnetic Network Equations. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Hala A. Omar |
Homotopy Analysis-Based Hybrid Genetic Algorithm and Secant Method to Solve IVP and Higher-Order BVP. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Yusry O. El-Dib |
Homotopy perturbation method with rank upgrading technique for the superior nonlinear oscillation. |
Math. Comput. Simul. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Kevin E. M. Church |
Analysis of Pandemic Closing-Reopening Cycles Using Rigorous Homotopy Continuation: A Case Study with Montreal COVID-19 Data. |
SIAM J. Appl. Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Hossein Eshraghi, Ali Hajizamani |
The Homotopy Category of Cotorsion Flat Modules. |
Appl. Categorical Struct. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ishai Dan-Cohen, Tomer Schlank |
Morphisms of Rational Motivic Homotopy Types. |
Appl. Categorical Struct. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Emmanuel A. Bakare, Snehashish Chakraverty, Radovan Potucek |
Numerical Solution of an Interval-Based Uncertain SIR (Susceptible-Infected-Recovered) Epidemic Model by Homotopy Analysis Method. |
Axioms |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Susmit Bagchi |
Interactions between Homotopy and Topological Groups in Covering (C, R) Space Embeddings. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Haji Gul, Sajjad Ali, Kamal Shah, Shakoor Muhammad, Thanin Sitthiwirattham, Saowaluck Chasreechai |
Application of Asymptotic Homotopy Perturbation Method to Fractional Order Partial Differential Equation. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Susmit Bagchi |
Connected Fundamental Groups and Homotopy Contacts in Fibered Topological (C, R) Space. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Aggeliki G. Efstathiou, Eugenia N. Petropoulou |
Peakons of Novikov Equation via the Homotopy Analysis Method. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Zhangjie Cao, Minae Kwon, Dorsa Sadigh |
Transfer Reinforcement Learning Across Homotopy Classes. |
IEEE Robotics Autom. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Mahsa Karimiasl, Farzad Ebrahimi, Vinyas Mahesh |
Postbuckling analysis of piezoelectric multiscale sandwich composite doubly curved porous shallow shells via Homotopy Perturbation Method. |
Eng. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Qiang Yu, Hang Xu |
A homotopy-based wavelet approach for large deflection of a circular plate on nonlinear foundations with parameterized boundaries. |
Comput. Math. Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Shuquan Yang, Zhaoli Jia, Qianqian Wu, Huojun Wu |
Homotopy Analysis Method for Portfolio Optimization Problem Under the 3/2 Model. |
J. Syst. Sci. Complex. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Zeyu Hou, Wangmei Lao, Yu Wang, Wenxi Lu |
Hybrid homotopy-PSO global searching approach with multi-kernel extreme learning machine for efficient source identification of DNAPL-polluted aquifer. |
Comput. Geosci. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jose Israel Rodriguez, Jin-Hong Du, Yiling You, Lek-Heng Lim |
Fiber product homotopy method for multiparameter eigenvalue problems. |
Numerische Mathematik |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sirunya Thanompolkrang, Wannika Sawangtong, Panumart Sawangtong |
Application of the Generalized Laplace Homotopy Perturbation Method to the Time-Fractional Black-Scholes Equations Based on the Katugampola Fractional Derivative in Caputo Type. |
Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jonathan Prieto-Cubides, Håkon Robbestad Gylterud |
On Planarity of Graphs in Homotopy Type Theory. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Kristina Sojakova |
Syllepsis in Homotopy Type Theory. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Xerxes D. Arsiwalla, Jonathan Gorard |
Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Rui Zhang 0017, Chengjun Lu, Ziheng Jiao, Xuelong Li 0001 |
Deep Contrastive Graph Representation via Adaptive Homotopy Learning. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Danylo Malyuta, Behçet Açikmese |
Fast Homotopy for Spacecraft Rendezvous Trajectory Optimization with Discrete Logic. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Mingkang Zhu, Tianlong Chen, Zhangyang Wang |
Sparse and Imperceptible Adversarial Attack via a Homotopy Algorithm. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Xingbang Cui, Liping Zhang |
Computing the dominant eigenpair of an essentially nonnegative tensor via a homotopy method. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller |
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Z. K. Eshkuvatov |
New Development of Homotopy Analysis Method for a Non-linear Integro-Differential Equations with initial conditions. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Bruno Benedetti, Crystal Lai, Davide Lofano, Frank H. Lutz |
Random Simple-Homotopy Theory. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Xiao Lv, Wei Cui 0001, Yulong Liu 0002 |
Time-Data Tradeoffs in Structured Signals Recovery via Proximal-Gradient Homotopy Method. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Xuping Zhang, Haimei Huo |
Homotopy Methods for Eigenvector-Dependent Nonlinear Eigenvalue Problems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Miguel Simões, Andreas Themelis, Panagiotis Patrinos |
Lasry-Lions Envelopes and Nonconvex Optimization: A Homotopy Approach. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Marek Filakovský, Lukás Vokrínek |
Computing homotopy classes for diagrams. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Nicolai Kraus, Jakob von Raumer |
A Rewriting Coherence Theorem with Applications in Homotopy Type Theory. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz |
Solving Homotopy Domain Equations. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Luca Ferranti, Kalle Åström, Magnus Oskarsson, Jani Boutellier, Juho Kannala |
Homotopy Continuation for Sensor Networks Self-Calibration. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Xin Li, Feng Bao, Kyle A. Gallivan |
A Drift Homotopy Implicit Particle Filter Method for Nonlinear Filtering problems. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Wenrui Hao, Chunyue Zheng |
A stochastic homotopy tracking algorithm for parametric systems of nonlinear equations. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Zhangjie Cao, Minae Kwon, Dorsa Sadigh |
Transfer Reinforcement Learning across Homotopy Classes. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Linchao He, Mengting Luo, Dejun Zhang, Xiao Yang, Hu Chen 0002, Yi Zhang 0018 |
PointShuffleNet: Learning Non-Euclidean Features with Homotopy Equivalence and Mutual Information. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Sridhar Mahadevan |
Causal Homotopy. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | P. Christopher Staecker |
Digital homotopy relations and digital homology theories. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
Connecting Constructive Notions of Ordinals in Homotopy Type Theory. |
CoRR |
2021 |
DBLP BibTeX RDF |
|