Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Floris van Doorn |
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.10690, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 79(4), pp. 993-1020, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | David A. Brown, David W. Zingg |
Matrix-free monolithic homotopy continuation with application to computational aerodynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 78(4), pp. 1303-1320, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 77(1), pp. 261-288, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 40(9), pp. 2124-2136, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Wenrui Hao |
A Homotopy Method for Parameter Estimation of Nonlinear Differential Equations with Multiple Optima. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 74(3), pp. 1314-1324, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 87(313), pp. 2343-2364, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Steve Awodey |
A cubical model of homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 169(12), pp. 1270-1294, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Figen Özpinar |
Applying Discrete Homotopy Analysis Method for Solving Fractional Partial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 20(5), pp. 332, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Hiroshi Suzuki |
Coverings and homotopy of a graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 341(7), pp. 1994-2010, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Netw. Syst. ![In: IEEE Trans. Control. Netw. Syst. 5(3), pp. 1051-1060, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sriharsha Koundinya, Abhijit Karmakar |
Homotopy optimisation based NMF for audio source separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Signal Process. ![In: IET Signal Process. 12(9), pp. 1099-1106, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | David R. Easterling, Layne T. Watson, Naren Ramakrishnan |
Probability-one homotopy methods for constrained clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 343, pp. 602-618, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 343, pp. 341-352, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 15(2), pp. 567-585, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Zhengshan Dong, Wenxing Zhu |
Homotopy Methods Based on l0-Norm for Compressed Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 29(4), pp. 1132-1146, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 15(14), pp. 20180475, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Suely Oliveira, David E. Stewart |
Efficient Basis Pursuit DeNoising via Active Sets and Homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSDM ![In: Fuzzy Systems and Data Mining IV - Proceedings of FSDM 2018, Bangkok, Thailand, 16-19 November 2018., pp. 295-301, 2018, IOS Press, 978-1-61499-926-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Paventhan Vivekanandan |
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Workshop and Short Papers) ![In: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018, pp. 75-90, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Kristoffer Bergman, Daniel Axehill |
Combining Homotopy Methods and Numerical Optimal Control to Solve Motion Planning Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Vehicles Symposium ![In: 2018 IEEE Intelligent Vehicles Symposium, IV 2018, Changshu, Suzhou, China, June 26-30, 2018, pp. 347-354, 2018, IEEE, 978-1-5386-4452-2. 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) |
SODA ![In: Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018, New Orleans, LA, USA, January 7-10, 2018, pp. 1135-1151, 2018, SIAM, 978-1-61197-503-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Paul Breiding, Sascha Timme |
HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 458-465, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Anton Leykin |
Homotopy Continuation in Macaulay2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 328-334, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ulrik Buchholtz, Kuen-Bang Hou (Favonia) |
Cellular Cohomology in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 521-529, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Nicolai Kraus, Thorsten Altenkirch |
Free Higher Groups in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 599-608, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ulrik Buchholtz, Floris van Doorn, Egbert Rijke |
Higher Groups in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 205-214, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT ![In: 2018 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2018, Washington, DC, USA, February 19-22, 2018, pp. 1-5, 2018, IEEE, 978-1-5386-2453-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide |
Finite sets in homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018, pp. 201-214, 2018, ACM, 978-1-4503-5586-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada., pp. 3999-4009, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWBBIO (2) ![In: Bioinformatics and Biomedical Engineering - 6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 25-27, 2018, Proceedings, Part II, pp. 231-242, 2018, Springer, 978-3-319-78758-9. 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) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 22:1-22:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2018, Los Angeles, CA, USA, June 25-29, 2018, pp. 1130-1137, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Vinitha Ranganeni, Oren Salzman, Maxim Likhachev |
Effective Footstep Planning for Humanoids Using Homotopy-Class Guidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018., pp. 500-508, 2018, AAAI Press, 978-1-57735-797-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Yu Wang, Wenyuan Wu, Bican Xia |
Early Ending in Homotopy Path-Tracking for Real Roots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings, pp. 181-194, 2018, Springer, 978-3-319-99956-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Carolyn Kalender |
A Homotopy Method for Grid Based Nonlinear Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 21st International Conference on Information Fusion, FUSION 2018, Cambridge, UK, July 10-13, 2018, pp. 1-5, 2018, IEEE, 978-0-9964527-6-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Kiyotaka Yamamura, Takumi Shimada |
An Efficient Variable-Gain Homotopy Method for Finding DC Operating Points of Transistor Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: 2018 IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2018, Chengdu, China, October 26-30, 2018, pp. 235-238, 2018, IEEE, 978-1-5386-8240-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Yuting Ye, Lihua Lei, Cheng Ju |
HONES: A Fast and Tuning-free Homotopy Method For Online Newton Step. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: International Conference on Artificial Intelligence and Statistics, AISTATS 2018, 9-11 April 2018, Playa Blanca, Lanzarote, Canary Islands, Spain, pp. 2008-2017, 2018, PMLR. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Juan Xu, Michael A. Burr, Chee Yap |
An Approach for Certifying Homotopy Continuation Paths: Univariate Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018, pp. 399-406, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Jeffrey Glabe, J. Michael McCarthy |
Six-Bar Linkage Design System with a Parallelized Polynomial Homotopy Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARK ![In: Advances in Robot Kinematics 2018, ARK 2018, Bologna, Italy, 1-5 July 2018., pp. 133-140, 2018, Springer, 978-3-319-93187-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Muhammad Altamash Ahmed Khan |
Nonlinear Filtering based on Log-homotopy Particle Flow: Methodological Clarification and Numerical Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. Serv. Robotics ![In: Intell. Serv. Robotics 10(3), pp. 257-270, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 66(2), pp. 1233-1247, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 28(3), pp. 585-595, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turkish J. Electr. Eng. Comput. Sci. ![In: Turkish J. Electr. Eng. Comput. Sci. 25, pp. 1864-1880, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Geosci. Remote. Sens. Lett. ![In: IEEE Geosci. Remote. Sens. Lett. 14(8), pp. 1188-1192, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Methods Softw. ![In: Optim. Methods Softw. 32(1), pp. 69-85, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Vassilios A. Tsachouridis |
A complex line homotopy algorithm for coupled algebraic Riccati equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA J. Math. Control. Inf. ![In: IMA J. Math. Control. Inf. 34(1), pp. 27-55, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA J. Math. Control. Inf. ![In: IMA J. Math. Control. Inf. 34(2), pp. 611-630, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Reza Eghbali, Maryam Fazel |
Decomposable norm minimization with proximal-gradient homotopy algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Optim. Appl. ![In: Comput. Optim. Appl. 66(2), pp. 345-381, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Model. Simul. Sci. Comput. ![In: Int. J. Model. Simul. Sci. Comput. 8(1), pp. 1750018:1-1750018:26, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ana Romero 0001, Francis Sergeraert |
A Bousfield-Kan Algorithm for Computing the Effective Homotopy of a Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 17(5), pp. 1335-1366, 2017. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Softw. ![In: Adv. Eng. Softw. 106, pp. 17-18, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Volodymyr Lyubashenko |
Curved Homotopy Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(6), pp. 991-1036, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Circuits Syst. Signal Process. ![In: Circuits Syst. Signal Process. 36(3), pp. 947-968, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Yuling Jiao, Bangti Jin, Xiliang Lu |
Iterative Soft/Hard Thresholding With Homotopy Continuation for Sparse Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Lett. ![In: IEEE Signal Process. Lett. 24(6), pp. 784-788, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 73(9), pp. 1996-2003, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Takahiro Matsushita |
Homotopy types of the Hom complexes of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 63, pp. 216-226, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Dmitry Batenkov |
Accurate solution of near-colliding Prony systems via decimation and homotopy continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 681, pp. 27-40, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 106(7), pp. 1009-1038, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2017, pp. 5962073:1-5962073:15, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Robert Graham |
Synthetic Homology in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.01540, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Haotian Pang, Tuo Zhao, Robert J. Vanderbei, Han Liu 0001 |
Homotopy Parametric Simplex Method for Sparse Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.01079, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Souvik Chandra, Dhagash Mehta, Aranya Chakrabortty |
Locating Power Flow Solution Space Boundaries: A Numerical Polynomial Homotopy Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.04792, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Andrew J. Blumberg, Michael Lesnick |
Universality of the Homotopy Interleaving Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.01690, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP 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) |
CoRR ![In: CoRR abs/1701.08369, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Guillaume Brunerie |
The James construction and π4(S3) in homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.10307, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Eric Goubault |
On directed homotopy equivalences and a notion of directed topological complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.05702, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Yu Wang, Wenyuan Wu, Bican Xia |
A Special Homotopy Continuation Method For A Class of Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.07536, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Egbert Rijke, Michael Shulman, Bas Spitters |
Modalities in homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.07526, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.01328, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Marek Filakovský, Peter Franek, Uli Wagner 0001, Stephan Zhechev |
Computing simplicial representatives of homotopy group element. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.00380, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Ulrik Buchholtz, Floris van Doorn, Jakob von Raumer |
Homotopy Type Theory in Lean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.06781, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Vinitha Ranganeni, Oren Salzman, Maxim Likhachev |
Effective Footstep Planning for Humanoids Using Homotopy-Class Guidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.00531, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Subhrajit Bhattacharya, Robert Ghrist |
Path Homotopy Invariants and their Application to Optimal Trajectory Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.02871, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Patrizio Frosini, Claudia Landi 0001, Facundo Mémoli |
The Persistent Homotopy Type Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.07893, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Lixing Han |
A homotopy method for solving multilinear systems with M-tensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 69, pp. 49-54, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Xiaoxu Zhong, Shijun Liao |
On the homotopy analysis method for backward/forward-backward stochastic differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 76(2), pp. 487-519, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 76(2), pp. 393-411, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 76(1), pp. 151-162, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 163(1-2), pp. 115-144, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 70(3), pp. 1316-1335, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Bart van Munster |
Hausdorffization and Homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 124(1), pp. 81-82, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 65(7), pp. 1752-1764, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Anton Leykin, Daniel Plaumann |
Determinantal representations of hyperbolic curves via polynomial homotopy continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 86(308), pp. 2877-2888, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Michal Adamaszek, Florian Frick, Adrien Vakili |
On Homotopy Types of Euclidean Rips Complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 58(3), pp. 526-542, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 43(2), pp. 365-383, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 152, pp. 104-120, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Basak Sakcak, Luca Bascetta, Gianni Ferretti |
An Exact Optimal Kinodynamic Planner Based on Homotopy Class Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MESAS ![In: Modelling and Simulation for Autonomous Systems - 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers, pp. 140-152, 2017, Springer, 978-3-319-76071-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ulrik Buchholtz, Egbert Rijke |
The real projective spaces in homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-8, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: 22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017, pp. 283-288, 2017, IEEE, 978-1-5090-1558-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCIA ![In: Combinatorial Image Analysis - 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings, pp. 142-155, 2017, Springer, 978-3-319-59107-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDF ![In: Sensor Data Fusion: Trends, Solutions, Applications, SDF 2017, Bonn, Germany, October 10-12, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-3103-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 13th IEEE Conference on Automation Science and Engineering, CASE 2017, Xi'an, China, August 20-23, 2017, pp. 118-123, 2017, IEEE, 978-1-5090-6781-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Aldo Gonzalez-Lorenzo, Alexandra Bac, Jean-Luc Mari |
Opening Holes in Discrete Objects with Digital Homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery - 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19-21, 2017, Proceedings, pp. 213-224, 2017, Springer, 978-3-319-66271-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz |
Homotopy Type Theory in Lean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, pp. 479-495, 2017, Springer, 978-3-319-66106-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017, pp. 164-172, 2017, ACM, 978-1-4503-4705-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Gaëtan Gilbert |
Formalising real numbers in homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017, pp. 112-124, 2017, ACM, 978-1-4503-4705-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Anima Anandkumar, Yuan Deng, Rong Ge 0001, Hossein Mobahi |
Homotopy Analysis for Tensor PCA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Proceedings of the 30th Conference on Learning Theory, COLT 2017, Amsterdam, The Netherlands, 7-10 July 2017, pp. 79-104, 2017, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (2) ![In: Soft Computing for Problem Solving - SocProS 2017, Volume 2, Bhubaneswar, India, December 23-24, 2017., pp. 679-698, 2017, Springer, 978-981-13-1594-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 20th International Conference on Information Fusion, FUSION 2017, Xi'an, China, July 10-13, 2017, pp. 1-8, 2017, IEEE, 978-0-9964-5270-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|