Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Sangwoo Park, Elizabeth Glista, Javad Lavaei, Somayeh Sojoudi |
Homotopy Method for Finding the Global Solution of Post-contingency Optimal Power Flow. |
ACC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Nayereh Riahi, Luis R. Tituaña, Arash Komaee |
Homotopy Continuation for Feedback Linearization of Noncontact Magnetic Manipulators. |
ACC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Zhen Lin, Yanjun Li, Ji Xiang, Gui Ling, Feiyang Suo |
Bidirectional Homotopy-Guided RRT for Path Planning. |
ICARCV |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jisu Kim, Jaehyeok Shin, Frédéric Chazal, Alessandro Rinaldo, Larry A. Wasserman |
Homotopy Reconstruction via the Cech Complex and the Vietoris-Rips Complex. |
SoCG |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Anders Mörtberg, Loïc Pujet |
Cubical synthetic homotopy theory. |
CPP |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Matilde Gargiani, Andrea Zanelli, Quoc Tran-Dinh, Moritz Diehl, Frank Hutter |
Transferring Optimality Across Data Distributions via Homotopy Methods. |
ICLR |
2020 |
DBLP BibTeX RDF |
|
13 | John Zarka, Louis Thiry, Tomás Angles, Stéphane Mallat |
Deep Network Classification by Scattering and Homotopy Dictionary Learning. |
ICLR |
2020 |
DBLP BibTeX RDF |
|
13 | Roozbeh Yousefzadeh, Dianne P. O'Leary |
Deep learning interpretation: Flip points and homotopy methods. |
MSML |
2020 |
DBLP BibTeX RDF |
|
13 | Simon Telen, Marc Van Barel, Jan Verschelde |
Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers. |
CASC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Thi Xuan Vu |
Homotopy algorithms for solving structured determinantal systems. (Algorithmes d'homotopie pour la résolution de systèmes déterminants structurés). |
|
2020 |
RDF |
|
13 | Pratibhamoy Das, Subrata Rana, Higinio Ramos |
Homotopy perturbation method for solving Caputo-type fractional-order Volterra-Fredholm integro-differential equations. |
Comput. Math. Methods |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Samir Shukla |
Homotopy Type of the Neighborhood Complexes of Graphs of Maximal Degree at most 3 and 4-Regular Circulant Graphs. |
Electron. J. Comb. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Paige Randall North |
Towards a Directed Homotopy Type Theory. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Najeeb Alam Khan, Tooba Hameed, Samreen Ahmed |
Homotopy perturbation aided optimization procedure with applications to oscillatory fractional order nonlinear dynamical systems. |
Int. J. Model. Simul. Sci. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Gregorio Malajovich |
Complexity of Sparse Polynomial Solving: Homotopy on Toric Varieties and the Condition Metric. |
Found. Comput. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Daniil Frumin, Benno van den Berg |
A homotopy-theoretic model of function extensionality in the effective topos. |
Math. Struct. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Wei Hu, Haibo Luo, Chuandong Chen, Rongshan Wei |
A Multi-Interval Homotopy Analysis Method Using Multi-Objective Optimization for Analytically Analyzing Chaotic Dynamics in Memristive Circuit. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Anthony Bordg |
On a Model Invariance Problem in Homotopy Type Theory. |
Appl. Categorical Struct. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kohei Tanaka |
Strong Homotopy Types of Acyclic Categories and Δ -Complexes. |
Appl. Categorical Struct. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Martin P. Arciga-Alejandre, Jorge Sánchez-Ortiz, Francisco J. Ariza-Hernandez, Gabriel Catalan-Angeles |
A Multi-Stage Homotopy Perturbation Method for the Fractional Lotka-Volterra Model. |
Symmetry |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Humaira, Muhammad Sarwar, Poom Kumam |
Common Fixed Point Results for Fuzzy Mappings on Complex-Valued Metric Spaces with Homotopy Results. |
Symmetry |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Abdollahpouri, Rien Quirynen, Mark Haring, Tor Arne Johansen, Gergely Takács, Moritz Diehl, Boris Rohal-Ilkiv |
A homotopy-based moving horizon estimation. |
Int. J. Control |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Andrew C. Cullen, Simon R. Clarke |
A fast, spectrally accurate homotopy based numerical method for solving nonlinear differential equations. |
J. Comput. Phys. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tianbao Yang, Lijun Zhang 0005, Rong Jin 0001, Shenghuo Zhu, Zhi-Hua Zhou |
A simple homotopy proximal mapping algorithm for compressive sensing. |
Mach. Learn. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Keshav Kolur, Sahit Chintalapudi, Byron Boots, Mustafa Mukadam |
Online Motion Planning Over Multiple Homotopy Classes with Gaussian Process Inference. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Martin E. Bidlingmaier, Florian Faissole, Bas Spitters |
Synthetic topology in Homotopy Type Theory for probabilistic programming. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Eric Goubault, Samuel Mimram |
Directed Homotopy in Non-Positively Curved Spaces. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Facundo Mémoli, Ling Zhou 0001 |
Persistent Homotopy Groups of Metric Spaces. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Joshua Chen |
An Implementation of Homotopy Type Theory in Isabelle/Pure. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | P. Christopher Staecker |
Strong homotopy of digitally continuous functions. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | John Zarka, Louis Thiry, Tomás Angles, Stéphane Mallat |
Deep Network classification by Scattering and Homotopy dictionary learning. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Eugène Ndiaye, Ichiro Takeuchi |
Computing Full Conformal Prediction Set with Approximate Homotopy. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Nicolai Kraus, Jakob von Raumer |
Path Spaces of Higher Inductive Types in Homotopy Type Theory. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Dongsheng Ding, Xiaohan Wei, Zhuoran Yang, Zhaoran Wang 0001, Mihailo R. Jovanovic |
Fast Multi-Agent Temporal-Difference Learning via Homotopy Stochastic Primal-Dual Optimization. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Alperen Ali Ergür, Timo de Wolff |
A Polyhedral Homotopy Algorithm For Real Zeros. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Therese Biedl, Erin Wolf Chambers, David Eppstein, Arnaud de Mesmay, Tim Ophelders |
Homotopy height, grid-major height and graph-drawing height. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Thierry Coquand, Simon Huber, Christian Sattler |
Homotopy canonicity for cubical type theory. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Simon Telen, Marc Van Barel, Jan Verschelde |
A Robust Numerical Path Tracking Algorithm for Polynomial Homotopy Continuation. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Shenyu Liu, Mohamed-Ali Belabbas |
A Homotopy Method for Motion Planning. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Christopher S. Goodrich, Matthew Muellner |
An analysis of the sharpness of monotonicity results via homotopy for sequential fractional operators. |
Appl. Math. Lett. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Xiaona Fan, Qinglun Yan |
Solving system of inequalities via a smoothing homotopy method. |
Numer. Algorithms |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Samad Noeiaghdam, Mohammad Ali Fariborzi Araghi, Saeid Abbasbandy |
Finding optimal convergence control parameter in the homotopy analysis method to solve integral equations based on the stochastic arithmetic. |
Numer. Algorithms |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Robert A. Van Gorder |
Optimal homotopy analysis and control of error for implicitly defined fully nonlinear differential equations. |
Numer. Algorithms |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Lanre Akinyemi |
q-Homotopy analysis method for solving the seventh-order time-fractional Lax's Korteweg-de Vries and Sawada-Kotera equations. |
Comput. Appl. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Rakesh Kumar, Reena Koundal, Sabir Ali Shehzad |
Generalized least square homotopy perturbation solution of fractional telegraph equations. |
Comput. Appl. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Shehu Maitama, Weidong Zhao |
Local fractional Laplace homotopy analysis method for solving non-differentiable wave equations on Cantor sets. |
Comput. Appl. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tatiana Fomenko, Dmitrii Podoprikhin |
On Preservation of Common Fixed Points and Coincidences Under a Homotopy of Mapping Families of Ordered Sets. |
J. Optim. Theory Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Antoine Olivier, Camille Pouchol |
Combination of Direct Methods and Homotopy in Numerical Optimal Control: Application to the Optimization of Chemotherapy in Cancer. |
J. Optim. Theory Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | James Ladyman, Stuart Presnell |
Universes and univalence in homotopy Type Theory. |
Rev. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Erin Wolf Chambers, Yusu Wang 0001 |
Measuring similarity between curves on 2-manifolds via homotopy area. |
J. Comput. Geom. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Shaobo He, Kehui Sun, Huihai Wang |
Dynamics and synchronization of conformable fractional-order hyperchaotic systems using the Homotopy analysis method. |
Commun. Nonlinear Sci. Numer. Simul. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Qiang Yu, Hang Xu, Shijun Liao, Zhaochen Yang |
A novel homotopy-wavelet approach for solving stream function-vorticity formulation of Navier-Stokes equations. |
Commun. Nonlinear Sci. Numer. Simul. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Puneet Rana, Nisha Shukla, Yogesh Gupta, Ioan Pop |
Homotopy analysis method for predicting multiple solutions in the channel flow with stability analysis. |
Commun. Nonlinear Sci. Numer. Simul. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Peter LeFanu Lumsdaine, Nicolas Tabareau |
Preface: Special Issue on Homotopy Type Theory and Univalent Foundations. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Guillaume Brunerie |
The James Construction and π4(S3) in Homotopy Type Theory. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yidan Wang, Liming Yang, Chao Yuan |
A robust outlier control framework for classification designed with family of homotopy loss function. |
Neural Networks |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Ana Romero 0001, Julio Rubio 0001, Francis Sergeraert |
An implementation of effective homotopy of fibrations. |
J. Symb. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Huitzilin Yépez-Martínez, José Francisco Gómez-Aguilar |
A new modified definition of Caputo-Fabrizio fractional-order derivative and their applications to the Multi Step Homotopy Analysis Method (MHAM). |
J. Comput. Appl. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | David A. Brown, David W. Zingg |
Monolithic homotopy continuation with predictor based on higher derivatives. |
J. Comput. Appl. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Liping Chen, Lixing Han, Hongxia Yin, Liangmin Zhou |
A homotopy method for computing the largest eigenvalue of an irreducible nonnegative tensor. |
J. Comput. Appl. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Ruizhi Huang, Jie Wu |
Cancellation and homotopy rigidity of classical functors. |
J. Lond. Math. Soc. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Keshav Kolur, Sahit Chintalapudi, Byron Boots, Mustafa Mukadam |
Online Motion Planning Over Multiple Homotopy Classes with Gaussian Process Inference. |
IROS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Donghyuk Kim, Mincheul Kang, Sung-Eui Yoon |
Volumetric Tree*: Adaptive Sparse Graph for Effective Exploration of Homotopy Classes. |
IROS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | David Reutter, Jamie Vicary |
High-level methods for homotopy construction in associative n-categories. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Nicolai Kraus, Jakob von Raumer |
Path Spaces of Higher Inductive Types in Homotopy Type Theory. |
LICS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Basak Sakcak, Luca Bascetta, Gianni Ferretti |
Homotopy aware kinodynamic planning using RRT-based planners. |
ECC |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tobias Holicki, Carsten W. Scherer |
A Homotopy Approach for Robust Output-Feedback Synthesis. |
MED |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Therese Biedl, Erin Wolf Chambers, David Eppstein, Arnaud de Mesmay, Tim Ophelders |
Homotopy Height, Grid-Major Height and Graph-Drawing Height. |
GD |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Eugène Ndiaye, Ichiro Takeuchi |
Computing Full Conformal Prediction Set with Approximate Homotopy. |
NeurIPS |
2019 |
DBLP BibTeX RDF |
|
13 | Thierry Coquand, Simon Huber, Christian Sattler |
Homotopy Canonicity for Cubical Type Theory. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yuexin Gao, Xinyu Zhang, Mengdao Xing, Jixiang Fu, Zijing Zhang, Ying Wang |
ISAR Imaging Based on Homotopy Re-Weighted ℓ1-Norm Minimization. |
IGARSS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yang Liu, Jiantao Zhang, Yizhi Zeng, Haonan Yao, Jiankang Li, Jing Zhang |
An Experimental Study for Optimal Homotopy Property of Motion Planning Algorithms. |
DASC/PiCom/DataCom/CyberSciTech |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Christian Schulze, Andreas Varchmin, Wilhelm Tegethoff |
Steady State Initialization of Vapor Compression Cycles Using the Homotopy Operator. |
Modelica |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Ian Orton |
Cubical models of homotopy type theory: an internal approach. |
|
2019 |
RDF |
|
13 | Roozbeh Yousefzadeh |
Interpreting Machine Learning Models and Application of Homotopy Methods. |
|
2019 |
RDF |
|
13 | Javad Asadi, Farhang Jalali-Farahani |
Optimization of dimethyl ether production process based on sustainability criteria using a homotopy continuation method. |
Comput. Chem. Eng. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Marek Filakovský, Peter Franek, Uli Wagner 0001, Stephan Zhechev |
Computing simplicial representatives of homotopy group elements. |
J. Appl. Comput. Topol. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Xiaona Fan, Qinglun Yan |
A New Proof for Global Convergence of a Smoothing Homotopy Method for the Nonlinear Complementarity Problem. |
Asia Pac. J. Oper. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jean Gregoire, Michal Cáp, Emilio Frazzoli |
Locally-optimal multi-robot navigation under delaying disturbances using homotopy constraints. |
Auton. Robots |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Thomas McConville |
Homotopy Type of Intervals of the Second Higher Bruhat Orders. |
Order |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Håkon Robbestad Gylterud |
From Multisets to Sets in homotopy Type Theory. |
J. Symb. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Christoph Brauer, Dirk A. Lorenz, Andreas M. Tillmann |
A primal-dual homotopy algorithm for \(\ell _{1}\) -minimization with \(\ell _{\infty }\) -constraints. |
Comput. Optim. Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Steve Awodey |
Natural models of homotopy type theory. |
Math. Struct. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Michael Shulman |
Brouwer's fixed-point theorem in real-cohesive homotopy type theory. |
Math. Struct. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Benno van den Berg, Ieke Moerdijk |
W-types in homotopy-type theory - CORRIGENDUM. |
Math. Struct. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Yuanlong Yu, Zhenzhen Sun, Wenxing Zhu, Jason Gu |
A Homotopy Iterative Hard Thresholding Algorithm With Extreme Learning Machine for Scene Recognition. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jonathan D. Hauenstein, Margaret H. Regan |
Adaptive strategies for solving parameterized systems using homotopy continuation. |
Appl. Math. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Zeus Gracia-Tabuenca, Martha Beatriz Moreno, Fernando A. Barrios, Sarael Alcauter |
Hemispheric asymmetry and homotopy of resting state functional connectivity correlate with visuospatial abilities in school-age children. |
NeuroImage |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Subhrajit Bhattacharya, Robert Ghrist |
Path homotopy invariants and their application to optimal trajectory planning. |
Ann. Math. Artif. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | H. X. Fu, Youhua Qian |
Study on a Multi-Frequency Homotopy Analysis Method for Period-Doubling Solutions of Nonlinear Systems. |
Int. J. Bifurc. Chaos |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters |
Internal Universes in Models of Homotopy Type Theory. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Ulrik Buchholtz, Kuen-Bang Hou (Favonia) |
Cellular Cohomology in Homotopy Type Theory. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago Mendonça Lucena de Veras |
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost, Thi Xuan Vu |
Solving determinantal systems using homotopy techniques. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Christian Knoll 0002, Florian Kulmer, Franz Pernkopf |
Self-Guided Belief Propagation - A Homotopy Continuation Method. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Xiaohan Wei, Hao Yu 0002, Qing Ling, Michael J. Neely |
Solving Non-smooth Constrained Programs with Lower Complexity than ε): A Primal-Dual Homotopy Smoothing Approach. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Ulrik Buchholtz, Floris van Doorn, Egbert Rijke |
Higher Groups in Homotopy Type Theory. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Paige Randall North |
Towards a directed homotopy type theory. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira |
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Nicolai Kraus, Thorsten Altenkirch |
Free Higher Groups in Homotopy Type Theory. |
CoRR |
2018 |
DBLP BibTeX RDF |
|