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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020, pp. 3126-3133, 2020, IEEE, 978-1-5386-8266-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Nayereh Riahi, Luis R. Tituaña, Arash Komaee |
Homotopy Continuation for Feedback Linearization of Noncontact Magnetic Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020, pp. 4295-4300, 2020, IEEE, 978-1-5386-8266-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Zhen Lin, Yanjun Li, Ji Xiang, Gui Ling, Feiyang Suo |
Bidirectional Homotopy-Guided RRT for Path Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 16th International Conference on Control, Automation, Robotics and Vision, ICARCV 2020, Shenzhen, China, December 13-15, 2020, pp. 333-338, 2020, IEEE, 978-1-7281-7709-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCG ![In: 36th International Symposium on Computational Geometry, SoCG 2020, June 23-26, 2020, Zürich, Switzerland., pp. 54:1-54:19, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-143-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Anders Mörtberg, Loïc Pujet |
Cubical synthetic homotopy theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020., pp. 158-171, 2020, ACM, 978-1-4503-7097-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: 8th International Conference on Learning Representations, ICLR 2020, Addis Ababa, Ethiopia, April 26-30, 2020, 2020, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | John Zarka, Louis Thiry, Tomás Angles, Stéphane Mallat |
Deep Network Classification by Scattering and Homotopy Dictionary Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: 8th International Conference on Learning Representations, ICLR 2020, Addis Ababa, Ethiopia, April 26-30, 2020, 2020, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Roozbeh Yousefzadeh, Dianne P. O'Leary |
Deep learning interpretation: Flip points and homotopy methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSML ![In: Proceedings of Mathematical and Scientific Machine Learning, MSML 2020, 20-24 July 2020, Virtual Conference / Princeton, NJ, USA, pp. 1-26, 2020, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings, pp. 563-582, 2020, Springer, 978-3-030-60025-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Pratibhamoy Das, Subrata Rana, Higinio Ramos |
Homotopy perturbation method for solving Caputo-type fractional-order Volterra-Fredholm integro-differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods ![In: Comput. Math. Methods 1(5), 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 26(2), pp. 2, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Paige Randall North |
Towards a Directed Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019, pp. 223-239, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Model. Simul. Sci. Comput. ![In: Int. J. Model. Simul. Sci. Comput. 10(4), pp. 1950026:1-1950026:22, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Gregorio Malajovich |
Complexity of Sparse Polynomial Solving: Homotopy on Toric Varieties and the Condition Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 19(1), pp. 1-53, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Daniil Frumin, Benno van den Berg |
A homotopy-theoretic model of function extensionality in the effective topos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 29(4), pp. 588-614, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 116328-116341, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Anthony Bordg |
On a Model Invariance Problem in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 27(3), pp. 311-322, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kohei Tanaka |
Strong Homotopy Types of Acyclic Categories and Δ -Complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 27(3), pp. 245-260, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(11), pp. 1330, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(1), pp. 61, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 92(7), pp. 1672-1681, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 385, pp. 106-118, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 108(6), pp. 1019-1056, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.00641, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP 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) |
CoRR ![In: CoRR abs/1912.07339, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Eric Goubault, Samuel Mimram |
Directed Homotopy in Non-Positively Curved Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.06684, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Facundo Mémoli, Ling Zhou 0001 |
Persistent Homotopy Groups of Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.12399, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Joshua Chen |
An Implementation of Homotopy Type Theory in Isabelle/Pure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.00399, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | P. Christopher Staecker |
Strong homotopy of digitally continuous functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.00706, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | John Zarka, Louis Thiry, Tomás Angles, Stéphane Mallat |
Deep Network classification by Scattering and Homotopy dictionary learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.03561, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Eugène Ndiaye, Ichiro Takeuchi |
Computing Full Conformal Prediction Set with Approximate Homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.09365, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Nicolai Kraus, Jakob von Raumer |
Path Spaces of Higher Inductive Types in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.06022, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.02805, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Alperen Ali Ergür, Timo de Wolff |
A Polyhedral Homotopy Algorithm For Real Zeros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.01957, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.05706, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Thierry Coquand, Simon Huber, Christian Sattler |
Homotopy canonicity for cubical type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.06572, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Simon Telen, Marc Van Barel, Jan Verschelde |
A Robust Numerical Path Tracking Algorithm for Polynomial Homotopy Continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.04984, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Shenyu Liu, Mohamed-Ali Belabbas |
A Homotopy Method for Motion Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.10094, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Christopher S. Goodrich, Matthew Muellner |
An analysis of the sharpness of monotonicity results via homotopy for sequential fractional operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 98, pp. 446-452, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Xiaona Fan, Qinglun Yan |
Solving system of inequalities via a smoothing homotopy method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 82(2), pp. 719-728, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 81(1), pp. 237-267, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Robert A. Van Gorder |
Optimal homotopy analysis and control of error for implicitly defined fully nonlinear differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 81(1), pp. 181-196, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 38(4), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Rakesh Kumar, Reena Koundal, Sabir Ali Shehzad |
Generalized least square homotopy perturbation solution of fractional telegraph equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 38(4), 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Math. ![In: Comput. Appl. Math. 38(2), 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 180(1), pp. 34-47, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 181(2), pp. 479-503, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | James Ladyman, Stuart Presnell |
Universes and univalence in homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 12(3), pp. 426-455, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Erin Wolf Chambers, Yusu Wang 0001 |
Measuring similarity between curves on 2-manifolds via homotopy area. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Geom. ![In: J. Comput. Geom. 10(1), pp. 96-126, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 73, pp. 146-164, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 67, pp. 124-151, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 66, pp. 183-193, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Peter LeFanu Lumsdaine, Nicolas Tabareau |
Preface: Special Issue on Homotopy Type Theory and Univalent Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(2), pp. 157-158, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Guillaume Brunerie |
The James Construction and π4(S3) in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(2), pp. 255-284, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 112, pp. 41-53, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Ana Romero 0001, Julio Rubio 0001, Francis Sergeraert |
An implementation of effective homotopy of fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 94, pp. 149-172, 2019. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 346, pp. 247-260, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | David A. Brown, David W. Zingg |
Monolithic homotopy continuation with predictor based on higher derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 346, pp. 26-41, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 355, pp. 174-181, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Ruizhi Huang, Jie Wu |
Cancellation and homotopy rigidity of classical functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 99(1), pp. 225-248, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019, Macau, SAR, China, November 3-8, 2019, pp. 2358-2364, 2019, IEEE, 978-1-7281-4004-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Donghyuk Kim, Mincheul Kang, Sung-Eui Yoon |
Volumetric Tree*: Adaptive Sparse Graph for Effective Exploration of Homotopy Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019, Macau, SAR, China, November 3-8, 2019, pp. 1496-1503, 2019, IEEE, 978-1-7281-4004-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | David Reutter, Jamie Vicary |
High-level methods for homotopy construction in associative n-categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, pp. 1-13, 2019, IEEE, 978-1-7281-3608-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Nicolai Kraus, Jakob von Raumer |
Path Spaces of Higher Inductive Types in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, pp. 1-13, 2019, IEEE, 978-1-7281-3608-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Basak Sakcak, Luca Bascetta, Gianni Ferretti |
Homotopy aware kinodynamic planning using RRT-based planners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 17th European Control Conference, ECC 2019, Naples, Italy, June 25-28, 2019, pp. 1568-1573, 2019, IEEE, 978-3-907144-00-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tobias Holicki, Carsten W. Scherer |
A Homotopy Approach for Robust Output-Feedback Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MED ![In: 27th Mediterranean Conference on Control and Automation, MED 2019, Akko, Israel, July 1-4, 2019, pp. 87-93, 2019, IEEE, 978-1-7281-2803-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing and Network Visualization - 27th International Symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019, Proceedings, pp. 468-481, 2019, Springer, 978-3-030-35801-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Eugène Ndiaye, Ichiro Takeuchi |
Computing Full Conformal Prediction Set with Approximate Homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada., pp. 1384-1393, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Thierry Coquand, Simon Huber, Christian Sattler |
Homotopy Canonicity for Cubical Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany., pp. 11:1-11:23, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-107-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2019 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2019, Yokohama, Japan, July 28 - August 2, 2019, pp. 1204-1207, 2019, IEEE, 978-1-5386-9154-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC/PiCom/DataCom/CyberSciTech ![In: 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2019, Fukuoka, Japan, August 5-8, 2019, pp. 705-709, 2019, IEEE, 978-1-7281-3024-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Christian Schulze, Andreas Varchmin, Wilhelm Tegethoff |
Steady State Initialization of Vapor Compression Cycles Using the Homotopy Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modelica ![In: Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019, pp. 157:052, 2019, Linköping University Electronic Press, 978-91-7685-122-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Ian Orton |
Cubical models of homotopy type theory: an internal approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
13 | Roozbeh Yousefzadeh |
Interpreting Machine Learning Models and Application of Homotopy Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
13 | Javad Asadi, Farhang Jalali-Farahani |
Optimization of dimethyl ether production process based on sustainability criteria using a homotopy continuation method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 115, pp. 161-178, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Marek Filakovský, Peter Franek, Uli Wagner 0001, Stephan Zhechev |
Computing simplicial representatives of homotopy group elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Comput. Topol. ![In: J. Appl. Comput. Topol. 2(3-4), pp. 177-231, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia Pac. J. Oper. Res. ![In: Asia Pac. J. Oper. Res. 35(4), pp. 1850027:1-1850027:13, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jean Gregoire, Michal Cáp, Emilio Frazzoli |
Locally-optimal multi-robot navigation under delaying disturbances using homotopy constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 42(4), pp. 895-907, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Thomas McConville |
Homotopy Type of Intervals of the Second Higher Bruhat Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 35(3), pp. 515-524, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Håkon Robbestad Gylterud |
From Multisets to Sets in homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 83(3), pp. 1132-1146, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Optim. Appl. ![In: Comput. Optim. Appl. 70(2), pp. 443-478, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Steve Awodey |
Natural models of homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 28(2), pp. 241-286, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Michael Shulman |
Brouwer's fixed-point theorem in real-cohesive homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 28(6), pp. 856-941, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Benno van den Berg, Ieke Moerdijk |
W-types in homotopy-type theory - CORRIGENDUM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 28(1), pp. 140, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 30424-30436, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jonathan D. Hauenstein, Margaret H. Regan |
Adaptive strategies for solving parameterized systems using homotopy continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 332, pp. 19-34, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 174, pp. 441-448, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Subhrajit Bhattacharya, Robert Ghrist |
Path homotopy invariants and their application to optimal trajectory planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 84(3-4), pp. 139-160, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 28(4), pp. 1850049:1-1850049:11, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters |
Internal Universes in Models of Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.07664, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Ulrik Buchholtz, Kuen-Bang Hou (Favonia) |
Cellular Cohomology in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.02191, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.01709, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost, Thi Xuan Vu |
Solving determinantal systems using homotopy techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.10409, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Christian Knoll 0002, Florian Kulmer, Franz Pernkopf |
Self-Guided Belief Propagation - A Homotopy Continuation Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.01339, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.01275, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Ulrik Buchholtz, Floris van Doorn, Egbert Rijke |
Higher Groups in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.04315, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Paige Randall North |
Towards a directed homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.10566, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.01413, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Nicolai Kraus, Thorsten Altenkirch |
Free Higher Groups in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.02069, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|