Search results for "Homotopy"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Floris van Doorn	On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory.	CoRR	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.	Numer. Algorithms	2018	DBLP DOI BibTeX RDF
13	David A. Brown, David W. Zingg	Matrix-free monolithic homotopy continuation with application to computational aerodynamics.	Numer. Algorithms	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.	Numer. Algorithms	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.	IEEE Trans. Pattern Anal. Mach. Intell.	2018	DBLP DOI BibTeX RDF
13	Wenrui Hao	A Homotopy Method for Parameter Estimation of Nonlinear Differential Equations with Multiple Optima.	J. Sci. Comput.	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.	Math. Comput.	2018	DBLP DOI BibTeX RDF
13	Steve Awodey	A cubical model of homotopy type theory.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
13	Figen Özpinar	Applying Discrete Homotopy Analysis Method for Solving Fractional Partial Differential Equations.	Entropy	2018	DBLP DOI BibTeX RDF
13	Hiroshi Suzuki	Coverings and homotopy of a graph.	Discret. Math.	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.	IEEE Trans. Control. Netw. Syst.	2018	DBLP DOI BibTeX RDF
13	Sriharsha Koundinya, Abhijit Karmakar	Homotopy optimisation based NMF for audio source separation.	IET Signal Process.	2018	DBLP DOI BibTeX RDF
13	David R. Easterling, Layne T. Watson, Naren Ramakrishnan	Probability-one homotopy methods for constrained clustering.	J. Comput. Appl. Math.	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.	J. Comput. Appl. Math.	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.	IEEE Trans Autom. Sci. Eng.	2018	DBLP DOI BibTeX RDF
13	Zhengshan Dong, Wenxing Zhu	Homotopy Methods Based on l0-Norm for Compressed Sensing.	IEEE Trans. Neural Networks Learn. Syst.	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.	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
13	Suely Oliveira, David E. Stewart	Efficient Basis Pursuit DeNoising via Active Sets and Homotopy.	FSDM	2018	DBLP DOI BibTeX RDF
13	Paventhan Vivekanandan	HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography.	LPAR (Workshop and Short Papers)	2018	DBLP DOI BibTeX RDF
13	Kristoffer Bergman, Daniel Axehill	Combining Homotopy Methods and Numerical Optimal Control to Solve Motion Planning Problems.	Intelligent Vehicles Symposium	2018	DBLP DOI BibTeX RDF
13	Marek Filakovský, Peter Franek, Uli Wagner 0001, Stephan Zhechev	Computing Simplicial Representatives of Homotopy Group Elements.	SODA	2018	DBLP DOI BibTeX RDF
13	Paul Breiding, Sascha Timme	HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia.	ICMS	2018	DBLP DOI BibTeX RDF
13	Anton Leykin	Homotopy Continuation in Macaulay2.	ICMS	2018	DBLP DOI BibTeX RDF
13	Ulrik Buchholtz, Kuen-Bang Hou (Favonia)	Cellular Cohomology in Homotopy Type Theory.	LICS	2018	DBLP DOI BibTeX RDF
13	Nicolai Kraus, Thorsten Altenkirch	Free Higher Groups in Homotopy Type Theory.	LICS	2018	DBLP DOI BibTeX RDF
13	Ulrik Buchholtz, Floris van Doorn, Egbert Rijke	Higher Groups in Homotopy Type Theory.	LICS	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.	ISGT	2018	DBLP DOI BibTeX RDF
13	Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide	Finite sets in homotopy type theory.	CPP	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.	NeurIPS	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.	IWBBIO (2)	2018	DBLP DOI BibTeX RDF
13	Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters	Internal Universes in Models of Homotopy Type Theory.	FSCD	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.	STOC	2018	DBLP DOI BibTeX RDF
13	Vinitha Ranganeni, Oren Salzman, Maxim Likhachev	Effective Footstep Planning for Humanoids Using Homotopy-Class Guidance.	ICAPS	2018	DBLP BibTeX RDF
13	Yu Wang, Wenyuan Wu, Bican Xia	Early Ending in Homotopy Path-Tracking for Real Roots.	AISC	2018	DBLP DOI BibTeX RDF
13	Carolyn Kalender	A Homotopy Method for Grid Based Nonlinear Filtering.	FUSION	2018	DBLP DOI BibTeX RDF
13	Kiyotaka Yamamura, Takumi Shimada	An Efficient Variable-Gain Homotopy Method for Finding DC Operating Points of Transistor Circuits.	APCCAS	2018	DBLP DOI BibTeX RDF
13	Yuting Ye, Lihua Lei, Cheng Ju	HONES: A Fast and Tuning-free Homotopy Method For Online Newton Step.	AISTATS	2018	DBLP BibTeX RDF
13	Juan Xu, Michael A. Burr, Chee Yap	An Approach for Certifying Homotopy Continuation Paths: Univariate Case.	ISSAC	2018	DBLP DOI BibTeX RDF
13	Jeffrey Glabe, J. Michael McCarthy	Six-Bar Linkage Design System with a Parallelized Polynomial Homotopy Solver.	ARK	2018	DBLP DOI BibTeX RDF
13	Muhammad Altamash Ahmed Khan	Nonlinear Filtering based on Log-homotopy Particle Flow: Methodological Clarification and Numerical Evaluation.		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.	Intell. Serv. Robotics	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.	IEEE Trans. Veh. Technol.	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.	Neural Comput. Appl.	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.	Turkish J. Electr. Eng. Comput. Sci.	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.	IEEE Geosci. Remote. Sens. Lett.	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.	Optim. Methods Softw.	2017	DBLP DOI BibTeX RDF
13	Vassilios A. Tsachouridis	A complex line homotopy algorithm for coupled algebraic Riccati equations.	IMA J. Math. Control. Inf.	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.	IMA J. Math. Control. Inf.	2017	DBLP DOI BibTeX RDF
13	Reza Eghbali, Maryam Fazel	Decomposable norm minimization with proximal-gradient homotopy algorithm.	Comput. Optim. Appl.	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.	Int. J. Model. Simul. Sci. Comput.	2017	DBLP DOI BibTeX RDF
13	Ana Romero 0001, Francis Sergeraert	A Bousfield-Kan Algorithm for Computing the Effective Homotopy of a Space.	Found. Comput. Math.	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".	Adv. Eng. Softw.	2017	DBLP DOI BibTeX RDF
13	Volodymyr Lyubashenko	Curved Homotopy Coalgebras.	Appl. Categorical Struct.	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.	Circuits Syst. Signal Process.	2017	DBLP DOI BibTeX RDF
13	Yuling Jiao, Bangti Jin, Xiliang Lu	Iterative Soft/Hard Thresholding With Homotopy Continuation for Sparse Recovery.	IEEE Signal Process. Lett.	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.	Comput. Math. Appl.	2017	DBLP DOI BibTeX RDF
13	Takahiro Matsushita	Homotopy types of the Hom complexes of graphs.	Eur. J. Comb.	2017	DBLP DOI BibTeX RDF
13	Dmitry Batenkov	Accurate solution of near-colliding Prony systems via decimation and homotopy continuation.	Theor. Comput. Sci.	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.	Mach. Learn.	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.	J. Appl. Math.	2017	DBLP DOI BibTeX RDF
13	Robert Graham	Synthetic Homology in Homotopy Type Theory.	CoRR	2017	DBLP BibTeX RDF
13	Haotian Pang, Tuo Zhao, Robert J. Vanderbei, Han Liu 0001	Homotopy Parametric Simplex Method for Sparse Learning.	CoRR	2017	DBLP BibTeX RDF
13	Souvik Chandra, Dhagash Mehta, Aranya Chakrabortty	Locating Power Flow Solution Space Boundaries: A Numerical Polynomial Homotopy Approach.	CoRR	2017	DBLP BibTeX RDF
13	Andrew J. Blumberg, Michael Lesnick	Universality of the Homotopy Interleaving Distance.	CoRR	2017	DBLP BibTeX RDF
13	Daniil Frumin, Benno van den Berg	A homotopy-theoretic model of function extensionality in the effective topos.	CoRR	2017	DBLP BibTeX RDF
13	Guillaume Brunerie	The James construction and π4(S3) in homotopy type theory.	CoRR	2017	DBLP BibTeX RDF
13	Eric Goubault	On directed homotopy equivalences and a notion of directed topological complexity.	CoRR	2017	DBLP BibTeX RDF
13	Yu Wang, Wenyuan Wu, Bican Xia	A Special Homotopy Continuation Method For A Class of Polynomial Systems.	CoRR	2017	DBLP BibTeX RDF
13	Egbert Rijke, Michael Shulman, Bas Spitters	Modalities in homotopy type theory.	CoRR	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.	CoRR	2017	DBLP BibTeX RDF
13	Marek Filakovský, Peter Franek, Uli Wagner 0001, Stephan Zhechev	Computing simplicial representatives of homotopy group element.	CoRR	2017	DBLP BibTeX RDF
13	Ulrik Buchholtz, Floris van Doorn, Jakob von Raumer	Homotopy Type Theory in Lean.	CoRR	2017	DBLP BibTeX RDF
13	Vinitha Ranganeni, Oren Salzman, Maxim Likhachev	Effective Footstep Planning for Humanoids Using Homotopy-Class Guidance.	CoRR	2017	DBLP BibTeX RDF
13	Subhrajit Bhattacharya, Robert Ghrist	Path Homotopy Invariants and their Application to Optimal Trajectory Planning.	CoRR	2017	DBLP BibTeX RDF
13	Patrizio Frosini, Claudia Landi 0001, Facundo Mémoli	The Persistent Homotopy Type Distance.	CoRR	2017	DBLP BibTeX RDF
13	Lixing Han	A homotopy method for solving multilinear systems with M-tensors.	Appl. Math. Lett.	2017	DBLP DOI BibTeX RDF
13	Xiaoxu Zhong, Shijun Liao	On the homotopy analysis method for backward/forward-backward stochastic differential equations.	Numer. Algorithms	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.	Numer. Algorithms	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.	Numer. Algorithms	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.	Math. Program.	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.	J. Sci. Comput.	2017	DBLP DOI BibTeX RDF
13	Bart van Munster	Hausdorffization and Homotopy.	Am. Math. Mon.	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.	IEEE Trans. Signal Process.	2017	DBLP DOI BibTeX RDF
13	Anton Leykin, Daniel Plaumann	Determinantal representations of hyperbolic curves via polynomial homotopy continuation.	Math. Comput.	2017	DBLP DOI BibTeX RDF
13	Michal Adamaszek, Florian Frick, Adrien Vakili	On Homotopy Types of Euclidean Rips Complexes.	Discret. Comput. Geom.	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.	Adv. Comput. Math.	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.	J. Comb. Theory, Ser. A	2017	DBLP DOI BibTeX RDF
13	Basak Sakcak, Luca Bascetta, Gianni Ferretti	An Exact Optimal Kinodynamic Planner Based on Homotopy Class Constraints.	MESAS	2017	DBLP DOI BibTeX RDF
13	Ulrik Buchholtz, Egbert Rijke	The real projective spaces in homotopy type theory.	LICS	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.	ASP-DAC	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.	IWCIA	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.	SDF	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.	CASE	2017	DBLP DOI BibTeX RDF
13	Aldo Gonzalez-Lorenzo, Alexandra Bac, Jean-Luc Mari	Opening Holes in Discrete Objects with Digital Homotopy.	DGCI	2017	DBLP DOI BibTeX RDF
13	Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz	Homotopy Type Theory in Lean.	ITP	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.	CPP	2017	DBLP DOI BibTeX RDF
13	Gaëtan Gilbert	Formalising real numbers in homotopy type theory.	CPP	2017	DBLP DOI BibTeX RDF
13	Anima Anandkumar, Yuan Deng, Rong Ge 0001, Hossein Mobahi	Homotopy Analysis for Tensor PCA.	COLT	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.	SocProS (2)	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.	FUSION	2017	DBLP DOI BibTeX RDF