Search results for "Homotopy"

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