Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Wail A. Mousa |
The design of a homotopy-based 1-D seismic FIR F-X wavefield extrapolation filters. |
EUSIPCO |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Yu Wang, Wenyuan Wu, Bican Xia |
A Special Homotopy Continuation Method for a Class of Polynomial Systems. |
CASC |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Kuen-Bang Hou (Favonia) |
Higher-Dimensional Types in the Mechanization of Homotopy Theory. |
|
2017 |
DOI RDF |
|
13 | Maxime Lucas |
Cubical categories for homotopy and rewriting. (Les catégories cubiques en homotopie et en réécriture). |
|
2017 |
RDF |
|
13 | Jérémy Dubut |
Directed homotopy and homology theories for geometric models of true concurrency. (Théories homotopiques et homologiques dirigées pour des modèles géométriques de la vraie concurrence). |
|
2017 |
RDF |
|
13 | Yoon Mo Jung, Sangwoon Yun |
A coordinate descent homotopy method for linearly constrained nonsmooth convex minimization. |
Optim. Methods Softw. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Demet Taylan |
Matching Trees for Simplicial Complexes and Homotopy Type of Devoid Complexes of Graphs. |
Order |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Kristina Sojakova |
The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory. |
ACM Trans. Comput. Log. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Libin Jiao, Bo Dong, Jintao Zhang, Bo Yu 0003 |
Polynomial Homotopy Method for the Sparse Interpolation Problem Part I: Equally Spaced Sampling. |
SIAM J. Numer. Anal. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Anton Leykin |
Polynomial homotopy continuation in Macaulay2. |
ACM Commun. Comput. Algebra |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Liping Wang, Shangbo Zhou, Karim Awudu |
Super-resolution image reconstruction method using homotopy regularization. |
Multim. Tools Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Tao Liu 0010 |
Reconstruction of a permeability field with the wavelet multiscale-homotopy method for a nonlinear convection-diffusion equation. |
Appl. Math. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | David A. Brown, David W. Zingg |
A monolithic homotopy continuation algorithm with application to computational fluid dynamics. |
J. Comput. Phys. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Tao Liu 0010 |
A wavelet multiscale-homotopy method for the parameter identification problem of partial differential equations. |
Comput. Math. Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Anders Nedergaard Jensen, Anton Leykin, Josephine Yu |
Computing Tropical Curves via Homotopy Continuation. |
Exp. Math. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Fatheah A. Hendi, Bothayna S. H. Kashkari, Aisha Abdullah Alderremy |
The Variational Homotopy Perturbation Method for Solving ((n × n)+1) Dimensional Burgers' Equations. |
J. Appl. Math. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Yang Nan 0003, Xin Sun 0008, Li Zhang 0011 |
Joint channel estimation algorithm via weighted Homotopy for massive MIMO OFDM system. |
Digit. Signal Process. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Kevin Quirin, Nicolas Tabareau |
Lawvere-Tierney sheafification in Homotopy Type Theory. |
J. Formaliz. Reason. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Bo Dong, Bo Yu 0003, Yan Yu |
A Homotopy Method for Finding All Solutions of a Multiparameter Eigenvalue Problem. |
SIAM J. Matrix Anal. Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Liping Chen, Lixing Han, Liangmin Zhou |
Computing Tensor Eigenvalues via Homotopy Methods. |
SIAM J. Matrix Anal. Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Milad Shafiee-Ashtiani, Aghil Yousefi-Koma, Sahba Iravanimanesh, Amir Siavosh Bashardoust |
Kinematic analysis of a 3-UPU parallel Robot using the Ostrowski-Homotopy Continuation. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Christoph Brauer, Dirk A. Lorenz, Andreas M. Tillmann |
A Primal-Dual Homotopy Algorithm for ℓ1-Minimization with ℓ∞-Constraints. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | |
Homotopy equivalence between Voronoi medusa and Delaunay medusa. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Ulrik Buchholtz, Egbert Rijke |
The Cayley-Dickson Construction in Homotopy Type Theory. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Gaëtan Gilbert |
Formalising Real Numbers in Homotopy Type Theory. |
CoRR |
2016 |
DBLP 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. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus |
Extending Homotopy Type Theory with Strict Equality. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Anima Anandkumar, Yuan Deng, Rong Ge 0001, Hossein Mobahi |
Homotopy Method for Tensor Principal Component Analysis. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Timothy Duff, Cvetelina Hill, Anders Nedergaard Jensen, Kisun Lee, Anton Leykin, Jeff Sommars |
Solving polynomial systems via homotopy continuation and monodromy. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine |
A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Joachim Kock, David I. Spivak |
Homotopy composition of cospans. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | John P. Boyd 0001 |
A degree-increasing [N to N+1] homotopy for Chebyshev and Fourier spectral methods. |
Appl. Math. Lett. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | John P. Boyd 0001 |
Tracing Multiple Solution Branches for Nonlinear Ordinary Differential Equations: Chebyshev and Fourier Spectral Methods and a Degree-Increasing Spectral Homotopy [DISH]. |
J. Sci. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Rahul Kala |
Homotopy conscious roadmap construction by fast sampling of narrow corridors. |
Appl. Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Gianbiagio Curato, Jim Gatheral, Fabrizio Lillo |
Discrete homotopy analysis for optimal trading execution with nonlinear transient market impact. |
Commun. Nonlinear Sci. Numer. Simul. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Uswah Qasim, Zulifqar Ali, Fayyaz Ahmad, Stefano Serra Capizzano, Malik Zaka Ullah, Mir Asma |
Constructing Frozen Jacobian Iterative Methods for Solving Systems of Nonlinear Equations, Associated with ODEs and PDEs Using the Homotopy Method. |
Algorithms |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Jinchao Jiang, Rui Zhang |
同伦支持向量机 (Homotopy Support Vector Machine). |
计算机科学 |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Michael Barton, Victor Manuel Calo |
Gaussian quadrature for splines via homotopy continuation: Rules for C2 cubic splines. |
J. Comput. Appl. Math. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Darian M. Onchis, Pedro Real 0001 |
On Homotopy Continuation for Speech Restoration. |
CTIC |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Hector Eduardo De Cos-Cholula, Gerardo Ulises Diaz-Arango, Luis Hernández-Martínez, Arturo Sarmiento-Reyes |
An Homotopy Path Planning Method with automatic fixed value assignation of repulsion parameter for mobile robotics. |
CCE |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine |
A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory. |
LICS |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Erin W. Chambers, Irina Kostitsyna, Maarten Löffler, Frank Staals |
Homotopy Measures for Representative Trajectories. |
ESA |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Dhagash Mehta |
Introduction to numerical polynomial homotopy continuation methods for the power systems practitioners. |
ACC |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Damian Kontny, Olaf Stursberg |
Fast optimizing control for non-convex state constraints using homotopy properties. |
CDC |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Joydeep Mitra, Mohammed Benidris, Niannian Cai |
Use of homotopy-based approaches in finding Controlling Unstable Equilibrium Points in transient stability analysis. |
PSCC |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Kuen-Bang Hou (Favonia), Robert Harper 0001 |
Covering Spaces in Homotopy Type Theory. |
TYPES |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Dan Licata |
A functional programmer's guide to homotopy type theory. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Yuriy V. Zakharov, Jianghui Li |
Sliding-window homotopy adaptive filter for estimation of sparse UWA channels. |
SAM |
2016 |
DBLP DOI BibTeX RDF |
|
13 | G. Diaz-Arango, Luis Hernández-Martínez, Arturo Sarmiento-Reyes, Héctor Vázquez-Leal |
Fast and robust homotopy path planning method for mobile robotics. |
ISCAS |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Muhammad Altamash Khan, Martin Ulmke, Wolfgang Koch 0001 |
A log homotopy based particle flow solution for mixture of Gaussian prior densities. |
MFI |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Yi Xu, Yan Yan 0006, Qihang Lin, Tianbao Yang |
Homotopy Smoothing for Non-Smooth Problems with Lower Complexity than O(1/\epsilon). |
NIPS |
2016 |
DBLP BibTeX RDF |
|
13 | Daqing Yi, Michael A. Goodrich, Kevin D. Seppi |
Homotopy-Aware RRT*: Toward Human-Robot Topological Path-Planning. |
HRI |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq |
The Directed Homotopy Hypothesis. |
CSL |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus |
Extending Homotopy Type Theory with Strict Equality. |
CSL |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Kuen-Bang Hou (Favonia), Michael Shulman |
The Seifert-van Kampen Theorem in Homotopy Type Theory. |
CSL |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Kai Kang, Vasileios Maroulas, Ioannis D. Schizas, Erik Blasch |
A multilevel homotopy MCMC sequential Monte Carlo filter for multi-target tracking. |
FUSION |
2016 |
DBLP BibTeX RDF |
|
13 | Muhammad Altamash Khan, Martin Ulmke, Bruno Demissie, Felix Govaers, Wolfgang Koch 0001 |
Combining log-homotopy flow with tensor decomposition based solution for Fokker-Planck equation. |
FUSION |
2016 |
DBLP BibTeX RDF |
|
13 | Shozo Mori, Fred Daum, Joel Douglas |
Adaptive step size approach to homotopy-based particle filtering Bayesian update. |
FUSION |
2016 |
DBLP BibTeX RDF |
|
13 | Kevin Quirin |
Lawvere-Tierney sheafification in Homotopy Type Theory. (Faisceautisation de Lawvere-Tierney en théorie des types homotopiques). |
|
2016 |
RDF |
|
13 | Steve Awodey, Robert Harper 0001 |
Homotopy type theory: unified foundations of mathematics and computation. |
ACM SIGLOG News |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Edyta Hetmaniok, Iwona Nowak, Damian Slota, Roman Witula |
Convergence and error estimation of homotopy analysis method for some type of nonlinear and linear integral equations. |
J. Num. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Zhichuan Zhu, Huijuan Xiong |
A constraint shifting homotopy method for finding a minimal efficient solution of nonconvex multiobjective programming. |
Optim. Methods Softw. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Qihang Lin, Lin Xiao |
An adaptive accelerated proximal gradient method and its homotopy continuation for sparse optimization. |
Comput. Optim. Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Tianran Chen, Tien-Yien Li |
Homotopy continuation method for solving systems of nonlinear and polynomial equations. |
Commun. Inf. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Diego Armentano, Felipe Cucker |
A Randomized Homotopy for the Hermitian Eigenpair Problem. |
Found. Comput. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Benno van den Berg, Ieke Moerdijk |
W-types in homotopy type theory. |
Math. Struct. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Egbert Rijke, Bas Spitters |
Sets in homotopy type theory. |
Math. Struct. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Michael Shulman |
Univalence for inverse diagrams and homotopy canonicity. |
Math. Struct. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Steve Awodey, Nicola Gambino, Erik Palmgren |
Introduction - from type theory and homotopy theory to univalent foundations. |
Math. Struct. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Jeremy Avigad, Krzysztof Kapulkin, Peter LeFanu Lumsdaine |
Homotopy limits in type theory. |
Math. Struct. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Jaap van Oosten |
A notion of homotopy for the effective topos. |
Math. Struct. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Fernando G. Almeida Neto, Rodrigo C. de Lamare, Vítor H. Nascimento, Yuriy V. Zakharov |
Adaptive reweighting homotopy algorithms applied to beamforming. |
IEEE Trans. Aerosp. Electron. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Changzheng Ma, Tat Soon Yeo, Zhoufeng Liu, Qun Zhang 0001, Qiang Guo |
Target imaging based on ℓ1ℓ0 norms homotopy sparse signal recovery and distributed MIMO antennas. |
IEEE Trans. Aerosp. Electron. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Jan Verschelde, Xiangcheng Yu |
Polynomial homotopy continuation on GPUs. |
ACM Commun. Comput. Algebra |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Jianhua Wu, Jinqiang Zhu, Qiegen Liu, Ye Zhang |
Human mouth-state recognition based on learned discriminative dictionary and sparse representation combined with homotopy. |
Multim. Tools Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Nan Gao |
A Smashing Subcategory of the Homotopy Category of Gorenstein Projective Modules. |
Appl. Categorical Struct. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Hans-Joachim Baues, Beatrice Bleile |
The third homotopy group as a π1-module. |
Appl. Algebra Eng. Commun. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Cristina Costoya, Antonio Viruel |
Rational homotopy theory for computing colorability of simplicial complexes. |
Appl. Algebra Eng. Commun. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Josep Sardanyés, Carla Rodrigues, Cristina Januário, Nuno Martins, Gabriel Gil-Gómez, Jorge Duarte |
Activation of effector immune cells promotes tumor stochastic extinction: A homotopy analysis approach. |
Appl. Math. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Guotai Wang, Shaoting Zhang 0001, Hongzhi Xie, Dimitris N. Metaxas, Lixu Gu |
A homotopy-based sparse representation for fast and accurate shape prior modeling in liver surgical planning. |
Medical Image Anal. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Peter Kramer 0002 |
Topology of Platonic Spherical Manifolds: From Homotopy to Harmonic Analysis. |
Symmetry |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Liping Zhang 0005, Hung-Yuan Fan, Eric King-Wah Chu, Yiming Wei 0001 |
Homotopy for Rational Riccati Equations Arising in Stochastic Optimal Control. |
SIAM J. Sci. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Shahzad Sarwar, Salem Alkhalaf, Shaukat Iqbal, Manzoor Ahmed Zahid |
A note on optimal homotopy asymptotic method for the solutions of fractional order heat- and wave-like partial differential equations. |
Comput. Math. Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Mohamed S. Mohamed, Khaled A. Gepreel, Faisal Al-Malki, Maha Al-Humyani |
Approximate Solutions of the Generalized Abel's Integral Equations Using the Extension Khan's Homotopy Analysis Transformation Method. |
J. Appl. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Uriel Filobello-Niño, Héctor Vázquez-Leal, Karem Boubaker, Arturo Sarmiento-Reyes, Agustin Perez-Sesma, Alejandro Díaz-Sánchez, Víctor Manuel Jimenez-Fernandez, Juan Cervantes-Perez, Jesus Sanchez-Orea, Jesus Huerta-Chua, Luis J. Morales-Mendoza, Mario Gonzalez-Lee, Carlos Hernández-Mejía, Francisco Javier Gonzalez-Martinez |
Nonlinearities Distribution Homotopy Perturbation Method Applied to Solve Nonlinear Problems: Thomas-Fermi Equation as a Case Study. |
J. Appl. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Junghee Park, Sisir Karumanchi, Karl Iagnemma |
Homotopy-Based Divide-and-Conquer Strategy for Optimal Trajectory Planning via Mixed-Integer Programming. |
IEEE Trans. Robotics |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Li Yang, Bo Yu 0003, Yanxi Li 0002 |
A homotopy method based on penalty function for nonlinear semidefinite programming. |
J. Glob. Optim. |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Alexander V. Evako |
Properties of simple sets in digital spaces. Contractions of simple sets preserving the homotopy type of a digital space. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Dmitry Batenkov |
Accurate solution of near-colliding Prony systems via decimation and homotopy continuation. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Laurence Boxer, P. Christopher Staecker |
Remarks on pointed digital homotopy. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Luigi Palmieri, Andrey Rudenko, Kai Oliver Arras |
A Fast Randomized Method to Find Homotopy Classes for Socially-Aware Navigation. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Kristina Sojakova |
The equivalence of the torus and the product of two circles in homotopy type theory. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Benedikt Ahrens, Paolo Capriotti, Régis Spadotti |
Non-wellfounded trees in Homotopy Type Theory. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Fedor Part, Zhaohui Luo |
Semi-simplicial Types in Logic-enriched Homotopy Type Theory. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Laurence Boxer, P. Christopher Staecker |
Homotopy relations for digital images. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Jan Verschelde, Xiangcheng Yu |
Accelerating Polynomial Homotopy Continuation on a Graphics Processing Unit with Double Double and Quad Double Arithmetic. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Nathan Bliss, Jeff Sommars, Jan Verschelde, Xiangcheng Yu |
Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Rémi Imbach, Pascal Mathis, Pascal Schreck |
A Robust and Efficient Method for Solving Geometrical Constraint Problems by Homotopy. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Jan Verschelde, Xiangcheng Yu |
Tracking Many Solution Paths of a Polynomial Homotopy on a Graphics Processing Unit. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
13 | Hsien-Chih Chang, Jeff Erickson 0001 |
Electrical Reduction, Homotopy Moves, and Defect. |
CoRR |
2015 |
DBLP BibTeX RDF |
|