Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Floris van Doorn |
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Qiang Yu, Hang Xu, Shijun Liao |
Coiflets solutions for Föppl-von Kármán equations governing large deflection of a thin flat plate by a novel wavelet-homotopy approach. |
Numer. Algorithms |
2018 |
DBLP DOI BibTeX RDF |
|
13 | David A. Brown, David W. Zingg |
Matrix-free monolithic homotopy continuation with application to computational aerodynamics. |
Numer. Algorithms |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jorge Duarte, Cristina Januário, Nuno Martins, Carlos Correia Ramos, Carla Rodrigues, Josep Sardanyés |
Optimal homotopy analysis of a chaotic HIV-1 model incorporating AIDS-related cancer cells. |
Numer. Algorithms |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Christian Knoll 0002, Dhagash Mehta, Tianran Chen, Franz Pernkopf |
Fixed Points of Belief Propagation - An Analysis via Polynomial Homotopy Continuation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Wenrui Hao |
A Homotopy Method for Parameter Estimation of Nonlinear Differential Equations with Multiple Optima. |
J. Sci. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Björn Bringmann, Daniel Cremers, Felix Krahmer, Michael Möller 0001 |
The homotopy method revisited: Computing solution paths of ℓ1-regularized problems. |
Math. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Steve Awodey |
A cubical model of homotopy type theory. |
Ann. Pure Appl. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Figen Özpinar |
Applying Discrete Homotopy Analysis Method for Solving Fractional Partial Differential Equations. |
Entropy |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Hiroshi Suzuki |
Coverings and homotopy of a graph. |
Discret. Math. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Hsiao-Dong Chiang, Tao Wang 0009 |
Novel Homotopy Theory for Nonlinear Networks and Systems and Its Applications to Electrical Grids. |
IEEE Trans. Control. Netw. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sriharsha Koundinya, Abhijit Karmakar |
Homotopy optimisation based NMF for audio source separation. |
IET Signal Process. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | David R. Easterling, Layne T. Watson, Naren Ramakrishnan |
Probability-one homotopy methods for constrained clustering. |
J. Comput. Appl. Math. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Bipan Hazarika, H. M. Srivastava 0001, Reza Arab, Mohsen Rabbani |
Existence of solution for an infinite system of nonlinear integral equations via measure of noncompactness and homotopy perturbation method to solve it. |
J. Comput. Appl. Math. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Gerardo Ulises Diaz-Arango, Hector Vazquez-Leal, Luis Hernández-Martínez, María Teresa Sanz-Pascual, Mario Sandoval-Hernandez |
Homotopy Path Planning for Terrestrial Robots Using Spherical Algorithm. |
IEEE Trans Autom. Sci. Eng. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Zhengshan Dong, Wenxing Zhu |
Homotopy Methods Based on l0-Norm for Compressed Sensing. |
IEEE Trans. Neural Networks Learn. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Gilberto Domínguez Rodríguez, Jose Luis Garcia-Gervacio, Héctor Vázquez-Leal |
Exploring a homotopy approach for the design of nanometer digital circuits tolerant to process variations. |
IEICE Electron. Express |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Suely Oliveira, David E. Stewart |
Efficient Basis Pursuit DeNoising via Active Sets and Homotopy. |
FSDM |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Paventhan Vivekanandan |
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography. |
LPAR (Workshop and Short Papers) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Kristoffer Bergman, Daniel Axehill |
Combining Homotopy Methods and Numerical Optimal Control to Solve Motion Planning Problems. |
Intelligent Vehicles Symposium |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Marek Filakovský, Peter Franek, Uli Wagner 0001, Stephan Zhechev |
Computing Simplicial Representatives of Homotopy Group Elements. |
SODA |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Paul Breiding, Sascha Timme |
HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Anton Leykin |
Homotopy Continuation in Macaulay2. |
ICMS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ulrik Buchholtz, Kuen-Bang Hou (Favonia) |
Cellular Cohomology in Homotopy Type Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Nicolai Kraus, Thorsten Altenkirch |
Free Higher Groups in Homotopy Type Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ulrik Buchholtz, Floris van Doorn, Egbert Rijke |
Higher Groups in Homotopy Type Theory. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Disha L. Dinesha, Arya Kumar Gowda, Gurunath Gurrala |
Application of multistage homotopy perturbation for multi-machine power system simulations. |
ISGT |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide |
Finite sets in homotopy type theory. |
CPP |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Xiaohan Wei, Hao Yu 0002, Qing Ling, Michael J. Neely |
Solving Non-smooth Constrained Programs with Lower Complexity than \mathcal{O}(1/\varepsilon): A Primal-Dual Homotopy Smoothing Approach. |
NeurIPS |
2018 |
DBLP BibTeX RDF |
|
13 | Jose Alejandro Salazar-Castro, Ana Cristina Umaquinga-Criollo, Lilian Dayana Cruz-Cruz, Luis Omar Alpala-Alpala, Catalina González-Castaño, Miguel A. Becerra-Botero, Diego Hernán Peluffo-Ordóñez, César Germán Castellanos-Domínguez |
Advances in Homotopy Applied to Object Deformation. |
IWBBIO (2) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters |
Internal Universes in Models of Homotopy Type Theory. |
FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sébastien Bubeck, Michael B. Cohen, Yin Tat Lee, Yuanzhi Li |
An homotopy method for lp regression provably beyond self-concordance and in input-sparsity time. |
STOC |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Vinitha Ranganeni, Oren Salzman, Maxim Likhachev |
Effective Footstep Planning for Humanoids Using Homotopy-Class Guidance. |
ICAPS |
2018 |
DBLP BibTeX RDF |
|
13 | Yu Wang, Wenyuan Wu, Bican Xia |
Early Ending in Homotopy Path-Tracking for Real Roots. |
AISC |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Carolyn Kalender |
A Homotopy Method for Grid Based Nonlinear Filtering. |
FUSION |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Kiyotaka Yamamura, Takumi Shimada |
An Efficient Variable-Gain Homotopy Method for Finding DC Operating Points of Transistor Circuits. |
APCCAS |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Yuting Ye, Lihua Lei, Cheng Ju |
HONES: A Fast and Tuning-free Homotopy Method For Online Newton Step. |
AISTATS |
2018 |
DBLP BibTeX RDF |
|
13 | Juan Xu, Michael A. Burr, Chee Yap |
An Approach for Certifying Homotopy Continuation Paths: Univariate Case. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jeffrey Glabe, J. Michael McCarthy |
Six-Bar Linkage Design System with a Parallelized Polynomial Homotopy Solver. |
ARK |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Muhammad Altamash Ahmed Khan |
Nonlinear Filtering based on Log-homotopy Particle Flow: Methodological Clarification and Numerical Evaluation. |
|
2018 |
RDF |
|
13 | Naser Mostashiri, Alireza Akbarzadeh Tootoonchi, Amir Rezaei |
Implementing the homotopy continuation method in a hybrid approach to solve the kinematics problem of spatial parallel robots. |
Intell. Serv. Robotics |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Jisheng Dai, Weichao Xu, Zhongfu Ye, Nan Hu 0001, Chunqi Chang |
Homotopy Approach for Energy-Efficient MIMO Systems With Zero-Forcing Transceivers. |
IEEE Trans. Veh. Technol. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Uriel Filobello-Niño, Héctor Vázquez-Leal, Yasir Khan, Mario Sandoval-Hernandez, Agustin Perez-Sesma, Arturo Sarmiento-Reyes, Brahim Benhammouda, Víctor Manuel Jimenez-Fernandez, Jesus Huerta-Chua, S. F. Hernandez-Machuca, J. M. Mendez-Perez, Luis Javier Morales-Mendoza, Mario Gonzalez-Lee |
Extension of Laplace transform-homotopy perturbation method to solve nonlinear differential equations with variable coefficients defined with Robin boundary conditions. |
Neural Comput. Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Fathi Dhiabi, Mohamed Boumehraz |
Accelerating the solving of nonlinear equations using the homotopy method: application on finding the operating point of complex circuits. |
Turkish J. Electr. Eng. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Chun Wu, Qianqing Qin, Guorui Ma, Zhitao Fu, Zhenliang Xu |
Large-Rotation-Angle Photogrammetric Resection Based on Least-Squares Homotopy Iteration Method. |
IEEE Geosci. Remote. Sens. Lett. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Zhichuan Zhu, Bo Yu 0003 |
Globally convergent homotopy algorithm for solving the KKT systems to the principal-agent bilevel programming. |
Optim. Methods Softw. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Vassilios A. Tsachouridis |
A complex line homotopy algorithm for coupled algebraic Riccati equations. |
IMA J. Math. Control. Inf. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | M. Alipour, Mohammad Ali Vali, Akbar Hashemi Borzabadi |
A direct approach for approximate optimal control of integro-differential equations based on homotopy analysis and parametrization method. |
IMA J. Math. Control. Inf. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Reza Eghbali, Maryam Fazel |
Decomposable norm minimization with proximal-gradient homotopy algorithm. |
Comput. Optim. Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | M. Yaghobi Moghaddam, S. Z. Shafaei Tonkaboni, M. Noaparast, Faramarz Doulati Ardejani |
A mathematical model to simulate Heap (bio)-leaching process: An exact conceptual model, Homotopy theory and comparative insights with conventional methods. |
Int. J. Model. Simul. Sci. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ana Romero 0001, Francis Sergeraert |
A Bousfield-Kan Algorithm for Computing the Effective Homotopy of a Space. |
Found. Comput. Math. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Asterios Pantokratoras |
Comment on the paper "Application of homotopy analysis method to solve MHD Jeffery-Hamel flows in non-parallel walls, S.M. Moghimi, G. Domairry, Soheil Soleimani, E. Ghasemi, H. Bararnia, Advances in Engineering Software 42 (2011) 108-113". |
Adv. Eng. Softw. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Volodymyr Lyubashenko |
Curved Homotopy Coalgebras. |
Appl. Categorical Struct. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Carlos Hernández-Mejía, Arturo Sarmiento-Reyes, Héctor Vázquez-Leal |
A Novel Modeling Methodology for Memristive Systems Using Homotopy Perturbation Methods. |
Circuits Syst. Signal Process. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Yuling Jiao, Bangti Jin, Xiliang Lu |
Iterative Soft/Hard Thresholding With Homotopy Continuation for Sparse Recovery. |
IEEE Signal Process. Lett. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ruigang Zhang, Liangui Yang, Jian Song, Hongli Yang |
(2+1) dimensional Rossby waves with complete Coriolis force and its solution by homotopy perturbation method. |
Comput. Math. Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Takahiro Matsushita |
Homotopy types of the Hom complexes of graphs. |
Eur. J. Comb. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Dmitry Batenkov |
Accurate solution of near-colliding Prony systems via decimation and homotopy continuation. |
Theor. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Shinya Suzumura, Kohei Ogawa, Masashi Sugiyama, Masayuki Karasuyama, Ichiro Takeuchi |
Homotopy continuation approaches for robust SV classification and regression. |
Mach. Learn. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Sandile Sydney Motsa, Zodwa G. Makukula |
On a Bivariate Spectral Homotopy Analysis Method for Unsteady Mixed Convection Boundary Layer Flow, Heat, and Mass Transfer due to a Stretching Surface in a Rotating Fluid. |
J. Appl. Math. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Robert Graham |
Synthetic Homology in Homotopy Type Theory. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Haotian Pang, Tuo Zhao, Robert J. Vanderbei, Han Liu 0001 |
Homotopy Parametric Simplex Method for Sparse Learning. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Souvik Chandra, Dhagash Mehta, Aranya Chakrabortty |
Locating Power Flow Solution Space Boundaries: A Numerical Polynomial Homotopy Approach. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Andrew J. Blumberg, Michael Lesnick |
Universality of the Homotopy Interleaving Distance. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Daniil Frumin, Benno van den Berg |
A homotopy-theoretic model of function extensionality in the effective topos. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Guillaume Brunerie |
The James construction and π4(S3) in homotopy type theory. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Eric Goubault |
On directed homotopy equivalences and a notion of directed topological complexity. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Yu Wang, Wenyuan Wu, Bican Xia |
A Special Homotopy Continuation Method For A Class of Polynomial Systems. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Egbert Rijke, Michael Shulman, Bas Spitters |
Modalities in homotopy type theory. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Sébastien Bubeck, Michael B. Cohen, Yin Tat Lee, Yuanzhi Li |
An homotopy method for p regression provably beyond self-concordance and in input-sparsity time. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Marek Filakovský, Peter Franek, Uli Wagner 0001, Stephan Zhechev |
Computing simplicial representatives of homotopy group element. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Ulrik Buchholtz, Floris van Doorn, Jakob von Raumer |
Homotopy Type Theory in Lean. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Vinitha Ranganeni, Oren Salzman, Maxim Likhachev |
Effective Footstep Planning for Humanoids Using Homotopy-Class Guidance. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Subhrajit Bhattacharya, Robert Ghrist |
Path Homotopy Invariants and their Application to Optimal Trajectory Planning. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Patrizio Frosini, Claudia Landi 0001, Facundo Mémoli |
The Persistent Homotopy Type Distance. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
13 | Lixing Han |
A homotopy method for solving multilinear systems with M-tensors. |
Appl. Math. Lett. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Xiaoxu Zhong, Shijun Liao |
On the homotopy analysis method for backward/forward-backward stochastic differential equations. |
Numer. Algorithms |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Zhen Wang, Li Zou, Yupeng Qin |
Piecewise homotopy analysis method and convergence analysis for formally well-posed initial value problems. |
Numer. Algorithms |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Robert A. Van Gorder |
On the utility of the homotopy analysis method for non-analytic and global solutions to nonlinear differential equations. |
Numer. Algorithms |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Rémi Imbach, Pascal Mathis, Pascal Schreck |
A robust and efficient method for solving point distance problems by homotopy. |
Math. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Xuping Zhang, Jintao Zhang, Bo Yu 0003 |
Symmetric Homotopy Method for Discretized Elliptic Equations with Cubic and Quintic Nonlinearities. |
J. Sci. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Bart van Munster |
Hausdorffization and Homotopy. |
Am. Math. Mon. |
2017 |
DBLP BibTeX RDF |
|
13 | Jacobo Fanjul, Oscar Gonzalez, Ignacio Santamaría, Carlos Beltrán 0001 |
Homotopy Continuation for Spatial Interference Alignment in Arbitrary MIMO X Networks. |
IEEE Trans. Signal Process. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Anton Leykin, Daniel Plaumann |
Determinantal representations of hyperbolic curves via polynomial homotopy continuation. |
Math. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Michal Adamaszek, Florian Frick, Adrien Vakili |
On Homotopy Types of Euclidean Rips Complexes. |
Discret. Comput. Geom. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Rishi Kumar Pandey, Hradyesh Kumar Mishra |
Homotopy analysis Sumudu transform method for time - fractional third order dispersive partial differential equation. |
Adv. Comput. Math. |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Patricia Hersh, Karola Mészáros |
SB-labelings and posets with each interval homotopy equivalent to a sphere or a ball. |
J. Comb. Theory, Ser. A |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Basak Sakcak, Luca Bascetta, Gianni Ferretti |
An Exact Optimal Kinodynamic Planner Based on Homotopy Class Constraints. |
MESAS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ulrik Buchholtz, Egbert Rijke |
The real projective spaces in homotopy type theory. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Zhongming Chen, Kim Batselier, Haotian Liu, Ngai Wong |
An efficient homotopy-based Poincaré-Lindstedt method for the periodic steady-state analysis of nonlinear autonomous oscillators. |
ASP-DAC |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Pedro Real 0001, Fernando Díaz-del-Río, Darian M. Onchis |
Toward Parallel Computation of Dense Homotopy Skeletons for nD Digital Objects. |
IWCIA |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Muhammad Altamash Khan, Allan De Freitas, Lyudmila Mihaylova, Martin Ulmke, Wolfgang Koch 0001 |
Bayesian processing of big data using log homotopy based particle flow filters. |
SDF |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Bai Li 0002, Zhijiang Shao, Youmin Zhang 0001, Pu Li 0001 |
Nonlinear programming for multi-vehicle motion planning with homotopy initialization strategies. |
CASE |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Aldo Gonzalez-Lorenzo, Alexandra Bac, Jean-Luc Mari |
Opening Holes in Discrete Objects with Digital Homotopy. |
DGCI |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz |
Homotopy Type Theory in Lean. |
ITP |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters |
The HoTT library: a formalization of homotopy type theory in Coq. |
CPP |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Gaëtan Gilbert |
Formalising real numbers in homotopy type theory. |
CPP |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Anima Anandkumar, Yuan Deng, Rong Ge 0001, Hossein Mobahi |
Homotopy Analysis for Tensor PCA. |
COLT |
2017 |
DBLP BibTeX RDF |
|
13 | Rajnee Tripathi, Hradyesh Kumar Mishra |
Fourth-, Fifth-, Sixth-Order Linear Differential Equations (LDEs) via Homotopy Perturbation Method Using Laplace Transform. |
SocProS (2) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Xuemei Wang, Wenbo Ni |
An unbiased homotopy particle filter and its application to the INS/GPS integrated navigation system. |
FUSION |
2017 |
DBLP DOI BibTeX RDF |
|