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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 25th European Signal Processing Conference, EUSIPCO 2017, Kos, Greece, August 28 - September 2, 2017, pp. 1367-1370, 2017, IEEE, 978-0-9928626-7-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI 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) |
CASC ![In: Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings, pp. 362-376, 2017, Springer, 978-3-319-66319-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Kuen-Bang Hou (Favonia) |
Higher-Dimensional Types in the Mechanization of Homotopy Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
13 | Maxime Lucas |
Cubical categories for homotopy and rewriting. (Les catégories cubiques en homotopie et en réécriture). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
13 | Yoon Mo Jung, Sangwoon Yun |
A coordinate descent homotopy method for linearly constrained nonsmooth convex minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Methods Softw. ![In: Optim. Methods Softw. 31(2), pp. 342-358, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Demet Taylan |
Matching Trees for Simplicial Complexes and Homotopy Type of Devoid Complexes of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 33(3), pp. 459-476, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Kristina Sojakova |
The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 17(4), pp. 29, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 54(1), pp. 462-480, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Anton Leykin |
Polynomial homotopy continuation in Macaulay2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 50(3), pp. 113-116, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Liping Wang, Shangbo Zhou, Karim Awudu |
Super-resolution image reconstruction method using homotopy regularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 75(23), pp. 15993-16016, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 275, pp. 432-437, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | David A. Brown, David W. Zingg |
A monolithic homotopy continuation algorithm with application to computational fluid dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 321, pp. 55-75, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Tao Liu 0010 |
A wavelet multiscale-homotopy method for the parameter identification problem of partial differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 71(7), pp. 1519-1523, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Anders Nedergaard Jensen, Anton Leykin, Josephine Yu |
Computing Tropical Curves via Homotopy Continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 25(1), pp. 83-93, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2016, pp. 4146323:1-4146323:6, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Signal Process. ![In: Digit. Signal Process. 50, pp. 34-42, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Kevin Quirin, Nicolas Tabareau |
Lawvere-Tierney sheafification in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Formaliz. Reason. ![In: J. Formaliz. Reason. 9(2), pp. 131-161, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 37(2), pp. 550-571, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Liping Chen, Lixing Han, Liangmin Zhou |
Computing Tensor Eigenvalues via Homotopy Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 37(1), pp. 290-319, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.08854, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | Christoph Brauer, Dirk A. Lorenz, Andreas M. Tillmann |
A Primal-Dual Homotopy Algorithm for ℓ1-Minimization with ℓ∞-Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.10022, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | |
Homotopy equivalence between Voronoi medusa and Delaunay medusa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.03302, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | Ulrik Buchholtz, Egbert Rijke |
The Cayley-Dickson Construction in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.01134, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | Gaëtan Gilbert |
Formalising Real Numbers in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.05072, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.04591, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus |
Extending Homotopy Type Theory with Strict Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.03799, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | Anima Anandkumar, Yuan Deng, Rong Ge 0001, Hossein Mobahi |
Homotopy Method for Tensor Principal Component Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.09322, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.08722, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.03227, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | Joachim Kock, David I. Spivak |
Homotopy composition of cospans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.08739, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | John P. Boyd 0001 |
A degree-increasing [N to N+1] homotopy for Chebyshev and Fourier spectral methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 57, pp. 77-81, 2016. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 69(3), pp. 1115-1143, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Rahul Kala |
Homotopy conscious roadmap construction by fast sampling of narrow corridors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 45(4), pp. 1089-1102, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Gianbiagio Curato, Jim Gatheral, Fabrizio Lillo |
Discrete homotopy analysis for optimal trading execution with nonlinear transient market impact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 39, pp. 332-342, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms ![In: Algorithms 9(1), pp. 18, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Jinchao Jiang, Rui Zhang |
同伦支持向量机 (Homotopy Support Vector Machine). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 43(2), pp. 98-100, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Michael Barton, Victor Manuel Calo |
Gaussian quadrature for splines via homotopy continuation: Rules for C2 cubic splines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 296, pp. 709-723, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Darian M. Onchis, Pedro Real 0001 |
On Homotopy Continuation for Speech Restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTIC ![In: Computational Topology in Image Context - 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings, pp. 152-156, 2016, Springer, 978-3-319-39440-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCE ![In: 13th International Conference on Electrical Engineering, Computing Science and Automatic Control, CCE 2016, Mexico City, Mexico, September 26-30, 2016, pp. 1-6, 2016, IEEE, 978-1-5090-3511-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, pp. 565-574, 2016, ACM, 978-1-4503-4391-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Erin W. Chambers, Irina Kostitsyna, Maarten Löffler, Frank Staals |
Homotopy Measures for Representative Trajectories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: 24th Annual European Symposium on Algorithms, ESA 2016, August 22-24, 2016, Aarhus, Denmark, pp. 27:1-27:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-015-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Dhagash Mehta |
Introduction to numerical polynomial homotopy continuation methods for the power systems practitioners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016, pp. 1768, 2016, IEEE, 978-1-4673-8682-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Damian Kontny, Olaf Stursberg |
Fast optimizing control for non-convex state constraints using homotopy properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016, pp. 4894-4900, 2016, IEEE, 978-1-5090-1837-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSCC ![In: Power Systems Computation Conference, PSCC 2016, Genoa, Italy, June 20-24, 2016, pp. 1-7, 2016, IEEE, 978-88-941051-2-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Kuen-Bang Hou (Favonia), Robert Harper 0001 |
Covering Spaces in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia, pp. 11:1-11:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-065-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Dan Licata |
A functional programmer's guide to homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016, pp. 3, 2016, ACM, 978-1-4503-4219-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Yuriy V. Zakharov, Jianghui Li |
Sliding-window homotopy adaptive filter for estimation of sparse UWA channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: 2016 IEEE Sensor Array and Multichannel Signal Processing Workshop (SAM), Rio de Janerio, Brazil, July 10-13, 2016, pp. 1-4, 2016, IEEE, 978-1-5090-2103-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2016, Montréal, QC, Canada, May 22-25, 2016, pp. 2579-2582, 2016, IEEE, 978-1-4799-5341-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFI ![In: 2016 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, MFI 2016, Baden-Baden, Germany, September 19-21, 2016, pp. 546-551, 2016, IEEE, 978-1-4673-9708-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5-10, 2016, Barcelona, Spain, pp. 1208-1216, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | Daqing Yi, Michael A. Goodrich, Kevin D. Seppi |
Homotopy-Aware RRT*: Toward Human-Robot Topological Path-Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: The Eleventh ACM/IEEE International Conference on Human Robot Interation, HRI 2016, Christchurch, New Zealand, March 7-10, 2016, pp. 279-286, 2016, IEEE/ACM, 978-1-4673-8370-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq |
The Directed Homotopy Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 9:1-9:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus |
Extending Homotopy Type Theory with Strict Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 21:1-21:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Kuen-Bang Hou (Favonia), Michael Shulman |
The Seifert-van Kampen Theorem in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 22:1-22:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 19th International Conference on Information Fusion, FUSION 2016, Heidelberg, Germany, July 5-8, 2016, pp. 2015-2021, 2016, IEEE, 978-0-9964-5274-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 19th International Conference on Information Fusion, FUSION 2016, Heidelberg, Germany, July 5-8, 2016, pp. 2229-2236, 2016, IEEE, 978-0-9964-5274-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | Shozo Mori, Fred Daum, Joel Douglas |
Adaptive step size approach to homotopy-based particle filtering Bayesian update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 19th International Conference on Information Fusion, FUSION 2016, Heidelberg, Germany, July 5-8, 2016, pp. 2035-2042, 2016, IEEE, 978-0-9964-5274-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | Kevin Quirin |
Lawvere-Tierney sheafification in Homotopy Type Theory. (Faisceautisation de Lawvere-Tierney en théorie des types homotopiques). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
13 | Steve Awodey, Robert Harper 0001 |
Homotopy type theory: unified foundations of mathematics and computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGLOG News ![In: ACM SIGLOG News 2(1), pp. 37-44, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Num. Math. ![In: J. Num. Math. 23(4), pp. 331-344, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Methods Softw. ![In: Optim. Methods Softw. 30(3), pp. 634-642, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Qihang Lin, Lin Xiao |
An adaptive accelerated proximal gradient method and its homotopy continuation for sparse optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Optim. Appl. ![In: Comput. Optim. Appl. 60(3), pp. 633-674, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Tianran Chen, Tien-Yien Li |
Homotopy continuation method for solving systems of nonlinear and polynomial equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Inf. Syst. ![In: Commun. Inf. Syst. 15(2), pp. 119-307, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Diego Armentano, Felipe Cucker |
A Randomized Homotopy for the Hermitian Eigenpair Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 15(1), pp. 281-312, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Benno van den Berg, Ieke Moerdijk |
W-types in homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(5), pp. 1100-1115, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Egbert Rijke, Bas Spitters |
Sets in homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(5), pp. 1172-1202, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Michael Shulman |
Univalence for inverse diagrams and homotopy canonicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(5), pp. 1203-1277, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Steve Awodey, Nicola Gambino, Erik Palmgren |
Introduction - from type theory and homotopy theory to univalent foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(5), pp. 1005-1009, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Jeremy Avigad, Krzysztof Kapulkin, Peter LeFanu Lumsdaine |
Homotopy limits in type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(5), pp. 1040-1070, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Jaap van Oosten |
A notion of homotopy for the effective topos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(5), pp. 1132-1146, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 51(3), pp. 1902-1915, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 51(4), pp. 3399-3414, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Jan Verschelde, Xiangcheng Yu |
Polynomial homotopy continuation on GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(4), pp. 130-133, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 74(23), pp. 10697-10711, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Nan Gao |
A Smashing Subcategory of the Homotopy Category of Gorenstein Projective Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 23(1), pp. 87-91, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Hans-Joachim Baues, Beatrice Bleile |
The third homotopy group as a π1-module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 26(1-2), pp. 165-189, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Cristina Costoya, Antonio Viruel |
Rational homotopy theory for computing colorability of simplicial complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 26(1-2), pp. 207-212, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 252, pp. 484-495, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 19(1), pp. 176-186, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Peter Kramer 0002 |
Topology of Platonic Spherical Manifolds: From Homotopy to Harmonic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 7(2), pp. 305-326, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Sci. Comput. ![In: SIAM J. Sci. Comput. 37(1), 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 70(5), pp. 942-953, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2015, pp. 357861:1-357861:9, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2015, pp. 405108:1-405108:9, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 31(5), pp. 1101-1115, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 63(1), pp. 61-76, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.03491, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Dmitry Batenkov |
Accurate solution of near-colliding Prony systems via decimation and homotopy continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.00160, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Laurence Boxer, P. Christopher Staecker |
Remarks on pointed digital homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.03016, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Luigi Palmieri, Andrey Rudenko, Kai Oliver Arras |
A Fast Randomized Method to Find Homotopy Classes for Socially-Aware Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.08233, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Kristina Sojakova |
The equivalence of the torus and the product of two circles in homotopy type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.03918, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Benedikt Ahrens, Paolo Capriotti, Régis Spadotti |
Non-wellfounded trees in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.02949, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Fedor Part, Zhaohui Luo |
Semi-simplicial Types in Logic-enriched Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.04998, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Laurence Boxer, P. Christopher Staecker |
Homotopy relations for digital images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1509.06576, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.06625, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Nathan Bliss, Jeff Sommars, Jan Verschelde, Xiangcheng Yu |
Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.02618, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Rémi Imbach, Pascal Mathis, Pascal Schreck |
A Robust and Efficient Method for Solving Geometrical Constraint Problems by Homotopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.07901, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Jan Verschelde, Xiangcheng Yu |
Tracking Many Solution Paths of a Polynomial Homotopy on a Graphics Processing Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.00383, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Hsien-Chih Chang, Jeff Erickson 0001 |
Electrical Reduction, Homotopy Moves, and Defect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.00571, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|