Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Weifu Wang 0001, Ping Li 0001 |
Towards Constructing Finer then Homotopy Path Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.06307, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Vikraman Choudhury, Marcelo Fiore |
Free Commutative Monoids in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022, 2022, EpiSciences. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Alexander V. Evako |
Contractible_Spaces, Homotopy Equivalence and Homeomorphism in Digital Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.09730, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Joon-Hyuk Ko, Hankyul Koh, Nojun Park, Wonho Jhe |
Homotopy-based training of NeuralODEs for accurate dynamics discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.01407, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Kisun Lee, Stephen Melczer, Josip Smolcic |
Homotopy techniques for analytic combinatorics in several variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.04490, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Reich |
Data assimilation: A dynamic homotopy-based coupling approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.05279, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Pavel E. Dvurechensky, Shimrit Shtern, Mathias Staudigl |
A conditional gradient homotopy method with applications to Semidefinite Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.03101, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.10485, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Kisun Lee, Julia Lindberg, Jose Israel Rodriguez |
Implementing real polyhedral homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.05323, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 63, pp. 101759, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 47(1), pp. 508-539, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Wenrui Hao |
An adaptive homotopy tracking algorithm for solving nonlinear parametric systems with applications in nonlinear ODEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 125, pp. 107767, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 124, pp. 107636, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Bo Dong |
The Homotopy Method for the Complete Solution of Quadratic Two-parameter Eigenvalue Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 90(1), pp. 18, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Andrew W. Swan |
On the Nielsen-Schreier Theorem in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(1), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Thierry Coquand, Simon Huber, Christian Sattler |
Canonicity and homotopy canonicity for cubical type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(1), 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 70, pp. 5334-5348, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 41(8), December 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 41(7), October 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 24(11), pp. 1646, November 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 192(2), pp. 533-563, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(7), pp. 2575, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(11), pp. 4022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yuting Li, Yong Li |
A homotopy gated recurrent unit for predicting high dimensional hyperchaos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 115, pp. 106716, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Gregory Lupton, John Oprea, Nicholas A. Scoville |
Homotopy Theory in Digital Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 67(1), pp. 112-165, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yuxin Xia, Bo Han 0007, Ruixue Gu |
An accelerated Homotopy-Perturbation-Kaczmarz method for solving nonlinear inverse problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 404, pp. 113897, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yang Wang, Francesco Topputo |
A TFC-based homotopy continuation algorithm with application to dynamics and control problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 401, pp. 113777, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tao Liu |
Parameter estimation with the multigrid-homotopy method for a nonlinear diffusion equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 413, pp. 114393, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 411, pp. 114226, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Wenxing Zhu, Huating Huang, Lanfan Jiang, Jianli Chen |
Weighted thresholding homotopy method for sparsity constrained optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 44(3), pp. 1924-1952, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Kristina Sojakova, G. A. Kavvos |
Syllepsis in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022, pp. 29:1-29:12, 2022, ACM, 978-1-4503-9351-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Wenbo He, Yunshen Huang, Shen Zeng |
Motion Planning with Homotopy Class Constraints via the Auxiliary Energy Reduction Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2022, Atlanta, GA, USA, June 8-10, 2022, pp. 4933-4938, 2022, IEEE, 978-1-6654-5196-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zbigniew Bartosiewicz |
Homotopy-based formations of robot swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: European Control Conference, ECC 2022, London, United Kingdom, July 12-15, 2022, pp. 1322-1327, 2022, IEEE, 978-3-9071-4407-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2022, Espoo, Finland, June 26 - July 1, 2022, pp. 1612-1616, 2022, IEEE, 978-1-6654-2159-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tim Ophelders, Salman Parsa |
Minimum Height Drawings of Ordered Trees in Polynomial Time: Homotopy Height of Tree Duals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCG ![In: 38th International Symposium on Computational Geometry, SoCG 2022, June 7-10, 2022, Berlin, Germany., pp. 55:1-55:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-227-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hongwu Dong, Jianqiang Su |
Research on unmanned platform path planning method based on homotopy algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISCAE ![In: 5th IEEE International Conference on Information Systems and Computer Aided Education, ICISCAE 2022, Dalian, China, September 23-25, 2022, pp. 580-583, 2022, IEEE, 978-1-6654-8122-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Samuel Mimram, Émile Oleon |
Division by Two, in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel., pp. 11:1-11:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-233-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2022, New Orleans, LA, USA, June 18-24, 2022, pp. 15744-15755, 2022, IEEE, 978-1-6654-6946-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Bamrung Tausiesakul |
Soft Homotopy through Moore-Penrose Inverse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVEMSA ![In: IEEE 9th International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications, CIVEMSA 2022, Chemnitz, Germany, June 15-17, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-3445-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hidenori Iwakiri, Yuhang Wang, Shinji Ito, Akiko Takeda |
Single Loop Gaussian Homotopy Method for Non-convex Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022., 2022, 9781713871088. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
13 | Xiaoling Hu 0002 |
Structure-Aware Image Segmentation with Homotopy Warping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022., 2022, 9781713871088. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
13 | Kisun Lee, Stephen Melczer, Josip Smolcic |
Homotopy Techniques for Analytic Combinatorics in Several Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 27-34, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jan Verschelde, Kylash Viswanathan |
Locating the Closest Singularity in a Polynomial Homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings, pp. 333-352, 2022, Springer, 978-3-031-14787-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 70(4), pp. 3314-3324, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods ![In: Comput. Math. Methods 3(6), November 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 40(3), pp. 4301-4315, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Philippe Gaucher |
Homotopy theory of Moore flows (I). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 3, pp. 3, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Brice Halimi |
Homotopy Model Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 86(4), pp. 1301-1323, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 20(8), pp. 5258-5272, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Fuzzy Syst. ![In: Adv. Fuzzy Syst. 2021, pp. 5579669:1-5579669:10, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(4), pp. 361-362, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Dan Licata, Peter LeFanu Lumsdaine |
Special issue on homotopy type theory 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(10), pp. 1145-1146, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Anders Mörtberg |
Cubical methods in homotopy type theory and univalent foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(10), pp. 1147-1184, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Martin E. Bidlingmaier, Florian Faissole, Bas Spitters |
Synthetic topology in Homotopy Type Theory for probabilistic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(10), pp. 1301-1329, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(1), pp. 1-2, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Cesare Gallozzi |
Homotopy type-theoretic interpretations of constructive set theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(1), pp. 112-143, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Math. ![In: Int. J. Comput. Sci. Math. 14(3), pp. 286-300, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 113040-113051, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 32239-32248, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 65101-65115, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Yusry O. El-Dib |
Homotopy perturbation method with rank upgrading technique for the superior nonlinear oscillation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 182, pp. 555-565, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Dyn. Syst. ![In: SIAM J. Appl. Dyn. Syst. 20(2), pp. 745-783, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Hossein Eshraghi, Ali Hajizamani |
The Homotopy Category of Cotorsion Flat Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 29(2), pp. 213-233, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ishai Dan-Cohen, Tomer Schlank |
Morphisms of Rational Motivic Homotopy Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 29(2), pp. 311-347, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 10(2), pp. 114, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Susmit Bagchi |
Interactions between Homotopy and Topological Groups in Covering (C, R) Space Embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(8), pp. 1421, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(11), pp. 2215, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Susmit Bagchi |
Connected Fundamental Groups and Homotopy Contacts in Fibered Topological (C, R) Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(3), pp. 500, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Aggeliki G. Efstathiou, Eugenia N. Petropoulou |
Peakons of Novikov Equation via the Homotopy Analysis Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(5), pp. 738, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Zhangjie Cao, Minae Kwon, Dorsa Sadigh |
Transfer Reinforcement Learning Across Homotopy Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 6(2), pp. 2706-2713, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 37(1), pp. 561-577, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 90, pp. 80-95, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Sci. Complex. ![In: J. Syst. Sci. Complex. 34(3), pp. 1087-1101, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geosci. ![In: Comput. Geosci. 155, pp. 104837, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 148(4), pp. 853-888, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 9(3), pp. 33, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jonathan Prieto-Cubides, Håkon Robbestad Gylterud |
On Planarity of Graphs in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.06633, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Kristina Sojakova |
Syllepsis in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.14283, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Xerxes D. Arsiwalla, Jonathan Gorard |
Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.03460, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Rui Zhang 0017, Chengjun Lu, Ziheng Jiao, Xuelong Li 0001 |
Deep Contrastive Graph Representation via Adaptive Homotopy Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.09244, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Danylo Malyuta, Behçet Açikmese |
Fast Homotopy for Spacecraft Rendezvous Trajectory Optimization with Discrete Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.07001, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Mingkang Zhu, Tianlong Chen, Zhangyang Wang |
Sparse and Imperceptible Adversarial Attack via a Homotopy Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.06027, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Xingbang Cui, Liping Zhang |
Computing the dominant eigenpair of an essentially nonnegative tensor via a homotopy method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.15588, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller |
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021., pp. 67-83, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.14141, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Bruno Benedetti, Crystal Lai, Davide Lofano, Frank H. Lutz |
Random Simple-Homotopy Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.09862, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.02861, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Xuping Zhang, Haimei Huo |
Homotopy Methods for Eigenvector-Dependent Nonlinear Eigenvalue Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.09043, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Miguel Simões, Andreas Themelis, Panagiotis Patrinos |
Lasry-Lions Envelopes and Nonconvex Optimization: A Homotopy Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.08533, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Marek Filakovský, Lukás Vokrínek |
Computing homotopy classes for diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.10152, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Nicolai Kraus, Jakob von Raumer |
A Rewriting Coherence Theorem with Applications in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.01594, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz |
Solving Homotopy Domain Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.01195, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Luca Ferranti, Kalle Åström, Magnus Oskarsson, Jani Boutellier, Juho Kannala |
Homotopy Continuation for Sensor Networks Self-Calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.00667, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Xin Li, Feng Bao, Kyle A. Gallivan |
A Drift Homotopy Implicit Particle Filter Method for Nonlinear Filtering problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.11380, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Wenrui Hao, Chunyue Zheng |
A stochastic homotopy tracking algorithm for parametric systems of nonlinear equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.05667, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Zhangjie Cao, Minae Kwon, Dorsa Sadigh |
Transfer Reinforcement Learning across Homotopy Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.05207, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.02611, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Sridhar Mahadevan |
Causal Homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.01847, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | P. Christopher Staecker |
Digital homotopy relations and digital homology theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.01171, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
Connecting Constructive Notions of Ordinals in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.02549, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|