Search results for "homotopy"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Sangwoo Park, Elizabeth Glista, Javad Lavaei, Somayeh Sojoudi	Homotopy Method for Finding the Global Solution of Post-contingency Optimal Power Flow.	ACC	2020	DBLP DOI BibTeX RDF
13	Nayereh Riahi, Luis R. Tituaña, Arash Komaee	Homotopy Continuation for Feedback Linearization of Noncontact Magnetic Manipulators.	ACC	2020	DBLP DOI BibTeX RDF
13	Zhen Lin, Yanjun Li, Ji Xiang, Gui Ling, Feiyang Suo	Bidirectional Homotopy-Guided RRT for Path Planning.	ICARCV	2020	DBLP DOI BibTeX RDF
13	Jisu Kim, Jaehyeok Shin, Frédéric Chazal, Alessandro Rinaldo, Larry A. Wasserman	Homotopy Reconstruction via the Cech Complex and the Vietoris-Rips Complex.	SoCG	2020	DBLP DOI BibTeX RDF
13	Anders Mörtberg, Loïc Pujet	Cubical synthetic homotopy theory.	CPP	2020	DBLP DOI BibTeX RDF
13	Matilde Gargiani, Andrea Zanelli, Quoc Tran-Dinh, Moritz Diehl, Frank Hutter	Transferring Optimality Across Data Distributions via Homotopy Methods.	ICLR	2020	DBLP BibTeX RDF
13	John Zarka, Louis Thiry, Tomás Angles, Stéphane Mallat	Deep Network Classification by Scattering and Homotopy Dictionary Learning.	ICLR	2020	DBLP BibTeX RDF
13	Roozbeh Yousefzadeh, Dianne P. O'Leary	Deep learning interpretation: Flip points and homotopy methods.	MSML	2020	DBLP BibTeX RDF
13	Simon Telen, Marc Van Barel, Jan Verschelde	Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers.	CASC	2020	DBLP DOI BibTeX RDF
13	Thi Xuan Vu	Homotopy algorithms for solving structured determinantal systems. (Algorithmes d'homotopie pour la résolution de systèmes déterminants structurés).		2020	RDF
13	Pratibhamoy Das, Subrata Rana, Higinio Ramos	Homotopy perturbation method for solving Caputo-type fractional-order Volterra-Fredholm integro-differential equations.	Comput. Math. Methods	2019	DBLP DOI BibTeX RDF
13	Samir Shukla	Homotopy Type of the Neighborhood Complexes of Graphs of Maximal Degree at most 3 and 4-Regular Circulant Graphs.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
13	Paige Randall North	Towards a Directed Homotopy Type Theory.	MFPS	2019	DBLP DOI BibTeX RDF
13	Najeeb Alam Khan, Tooba Hameed, Samreen Ahmed	Homotopy perturbation aided optimization procedure with applications to oscillatory fractional order nonlinear dynamical systems.	Int. J. Model. Simul. Sci. Comput.	2019	DBLP DOI BibTeX RDF
13	Gregorio Malajovich	Complexity of Sparse Polynomial Solving: Homotopy on Toric Varieties and the Condition Metric.	Found. Comput. Math.	2019	DBLP DOI BibTeX RDF
13	Daniil Frumin, Benno van den Berg	A homotopy-theoretic model of function extensionality in the effective topos.	Math. Struct. Comput. Sci.	2019	DBLP DOI BibTeX RDF
13	Wei Hu, Haibo Luo, Chuandong Chen, Rongshan Wei	A Multi-Interval Homotopy Analysis Method Using Multi-Objective Optimization for Analytically Analyzing Chaotic Dynamics in Memristive Circuit.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Anthony Bordg	On a Model Invariance Problem in Homotopy Type Theory.	Appl. Categorical Struct.	2019	DBLP DOI BibTeX RDF
13	Kohei Tanaka	Strong Homotopy Types of Acyclic Categories and Δ -Complexes.	Appl. Categorical Struct.	2019	DBLP DOI BibTeX RDF
13	Martin P. Arciga-Alejandre, Jorge Sánchez-Ortiz, Francisco J. Ariza-Hernandez, Gabriel Catalan-Angeles	A Multi-Stage Homotopy Perturbation Method for the Fractional Lotka-Volterra Model.	Symmetry	2019	DBLP DOI BibTeX RDF
13	Humaira, Muhammad Sarwar, Poom Kumam	Common Fixed Point Results for Fuzzy Mappings on Complex-Valued Metric Spaces with Homotopy Results.	Symmetry	2019	DBLP DOI BibTeX RDF
13	Mohammad Abdollahpouri, Rien Quirynen, Mark Haring, Tor Arne Johansen, Gergely Takács, Moritz Diehl, Boris Rohal-Ilkiv	A homotopy-based moving horizon estimation.	Int. J. Control	2019	DBLP DOI BibTeX RDF
13	Andrew C. Cullen, Simon R. Clarke	A fast, spectrally accurate homotopy based numerical method for solving nonlinear differential equations.	J. Comput. Phys.	2019	DBLP DOI BibTeX RDF
13	Tianbao Yang, Lijun Zhang 0005, Rong Jin 0001, Shenghuo Zhu, Zhi-Hua Zhou	A simple homotopy proximal mapping algorithm for compressive sensing.	Mach. Learn.	2019	DBLP DOI BibTeX RDF
13	Keshav Kolur, Sahit Chintalapudi, Byron Boots, Mustafa Mukadam	Online Motion Planning Over Multiple Homotopy Classes with Gaussian Process Inference.	CoRR	2019	DBLP BibTeX RDF
13	Martin E. Bidlingmaier, Florian Faissole, Bas Spitters	Synthetic topology in Homotopy Type Theory for probabilistic programming.	CoRR	2019	DBLP BibTeX RDF
13	Eric Goubault, Samuel Mimram	Directed Homotopy in Non-Positively Curved Spaces.	CoRR	2019	DBLP BibTeX RDF
13	Facundo Mémoli, Ling Zhou 0001	Persistent Homotopy Groups of Metric Spaces.	CoRR	2019	DBLP BibTeX RDF
13	Joshua Chen	An Implementation of Homotopy Type Theory in Isabelle/Pure.	CoRR	2019	DBLP BibTeX RDF
13	P. Christopher Staecker	Strong homotopy of digitally continuous functions.	CoRR	2019	DBLP BibTeX RDF
13	John Zarka, Louis Thiry, Tomás Angles, Stéphane Mallat	Deep Network classification by Scattering and Homotopy dictionary learning.	CoRR	2019	DBLP BibTeX RDF
13	Eugène Ndiaye, Ichiro Takeuchi	Computing Full Conformal Prediction Set with Approximate Homotopy.	CoRR	2019	DBLP BibTeX RDF
13	Nicolai Kraus, Jakob von Raumer	Path Spaces of Higher Inductive Types in Homotopy Type Theory.	CoRR	2019	DBLP BibTeX RDF
13	Dongsheng Ding, Xiaohan Wei, Zhuoran Yang, Zhaoran Wang 0001, Mihailo R. Jovanovic	Fast Multi-Agent Temporal-Difference Learning via Homotopy Stochastic Primal-Dual Optimization.	CoRR	2019	DBLP BibTeX RDF
13	Alperen Ali Ergür, Timo de Wolff	A Polyhedral Homotopy Algorithm For Real Zeros.	CoRR	2019	DBLP BibTeX RDF
13	Therese Biedl, Erin Wolf Chambers, David Eppstein, Arnaud de Mesmay, Tim Ophelders	Homotopy height, grid-major height and graph-drawing height.	CoRR	2019	DBLP BibTeX RDF
13	Thierry Coquand, Simon Huber, Christian Sattler	Homotopy canonicity for cubical type theory.	CoRR	2019	DBLP BibTeX RDF
13	Simon Telen, Marc Van Barel, Jan Verschelde	A Robust Numerical Path Tracking Algorithm for Polynomial Homotopy Continuation.	CoRR	2019	DBLP BibTeX RDF
13	Shenyu Liu, Mohamed-Ali Belabbas	A Homotopy Method for Motion Planning.	CoRR	2019	DBLP BibTeX RDF
13	Christopher S. Goodrich, Matthew Muellner	An analysis of the sharpness of monotonicity results via homotopy for sequential fractional operators.	Appl. Math. Lett.	2019	DBLP DOI BibTeX RDF
13	Xiaona Fan, Qinglun Yan	Solving system of inequalities via a smoothing homotopy method.	Numer. Algorithms	2019	DBLP DOI BibTeX RDF
13	Samad Noeiaghdam, Mohammad Ali Fariborzi Araghi, Saeid Abbasbandy	Finding optimal convergence control parameter in the homotopy analysis method to solve integral equations based on the stochastic arithmetic.	Numer. Algorithms	2019	DBLP DOI BibTeX RDF
13	Robert A. Van Gorder	Optimal homotopy analysis and control of error for implicitly defined fully nonlinear differential equations.	Numer. Algorithms	2019	DBLP DOI BibTeX RDF
13	Lanre Akinyemi	q-Homotopy analysis method for solving the seventh-order time-fractional Lax's Korteweg-de Vries and Sawada-Kotera equations.	Comput. Appl. Math.	2019	DBLP DOI BibTeX RDF
13	Rakesh Kumar, Reena Koundal, Sabir Ali Shehzad	Generalized least square homotopy perturbation solution of fractional telegraph equations.	Comput. Appl. Math.	2019	DBLP DOI BibTeX RDF
13	Shehu Maitama, Weidong Zhao	Local fractional Laplace homotopy analysis method for solving non-differentiable wave equations on Cantor sets.	Comput. Appl. Math.	2019	DBLP DOI BibTeX RDF
13	Tatiana Fomenko, Dmitrii Podoprikhin	On Preservation of Common Fixed Points and Coincidences Under a Homotopy of Mapping Families of Ordered Sets.	J. Optim. Theory Appl.	2019	DBLP DOI BibTeX RDF
13	Antoine Olivier, Camille Pouchol	Combination of Direct Methods and Homotopy in Numerical Optimal Control: Application to the Optimization of Chemotherapy in Cancer.	J. Optim. Theory Appl.	2019	DBLP DOI BibTeX RDF
13	James Ladyman, Stuart Presnell	Universes and univalence in homotopy Type Theory.	Rev. Symb. Log.	2019	DBLP DOI BibTeX RDF
13	Erin Wolf Chambers, Yusu Wang 0001	Measuring similarity between curves on 2-manifolds via homotopy area.	J. Comput. Geom.	2019	DBLP DOI BibTeX RDF
13	Shaobo He, Kehui Sun, Huihai Wang	Dynamics and synchronization of conformable fractional-order hyperchaotic systems using the Homotopy analysis method.	Commun. Nonlinear Sci. Numer. Simul.	2019	DBLP DOI BibTeX RDF
13	Qiang Yu, Hang Xu, Shijun Liao, Zhaochen Yang	A novel homotopy-wavelet approach for solving stream function-vorticity formulation of Navier-Stokes equations.	Commun. Nonlinear Sci. Numer. Simul.	2019	DBLP DOI BibTeX RDF
13	Puneet Rana, Nisha Shukla, Yogesh Gupta, Ioan Pop	Homotopy analysis method for predicting multiple solutions in the channel flow with stability analysis.	Commun. Nonlinear Sci. Numer. Simul.	2019	DBLP DOI BibTeX RDF
13	Peter LeFanu Lumsdaine, Nicolas Tabareau	Preface: Special Issue on Homotopy Type Theory and Univalent Foundations.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
13	Guillaume Brunerie	The James Construction and π4(S3) in Homotopy Type Theory.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
13	Yidan Wang, Liming Yang, Chao Yuan	A robust outlier control framework for classification designed with family of homotopy loss function.	Neural Networks	2019	DBLP DOI BibTeX RDF
13	Ana Romero 0001, Julio Rubio 0001, Francis Sergeraert	An implementation of effective homotopy of fibrations.	J. Symb. Comput.	2019	DBLP DOI BibTeX RDF
13	Huitzilin Yépez-Martínez, José Francisco Gómez-Aguilar	A new modified definition of Caputo-Fabrizio fractional-order derivative and their applications to the Multi Step Homotopy Analysis Method (MHAM).	J. Comput. Appl. Math.	2019	DBLP DOI BibTeX RDF
13	David A. Brown, David W. Zingg	Monolithic homotopy continuation with predictor based on higher derivatives.	J. Comput. Appl. Math.	2019	DBLP DOI BibTeX RDF
13	Liping Chen, Lixing Han, Hongxia Yin, Liangmin Zhou	A homotopy method for computing the largest eigenvalue of an irreducible nonnegative tensor.	J. Comput. Appl. Math.	2019	DBLP DOI BibTeX RDF
13	Ruizhi Huang, Jie Wu	Cancellation and homotopy rigidity of classical functors.	J. Lond. Math. Soc.	2019	DBLP DOI BibTeX RDF
13	Keshav Kolur, Sahit Chintalapudi, Byron Boots, Mustafa Mukadam	Online Motion Planning Over Multiple Homotopy Classes with Gaussian Process Inference.	IROS	2019	DBLP DOI BibTeX RDF
13	Donghyuk Kim, Mincheul Kang, Sung-Eui Yoon	Volumetric Tree*: Adaptive Sparse Graph for Effective Exploration of Homotopy Classes.	IROS	2019	DBLP DOI BibTeX RDF
13	David Reutter, Jamie Vicary	High-level methods for homotopy construction in associative n-categories.	LICS	2019	DBLP DOI BibTeX RDF
13	Nicolai Kraus, Jakob von Raumer	Path Spaces of Higher Inductive Types in Homotopy Type Theory.	LICS	2019	DBLP DOI BibTeX RDF
13	Basak Sakcak, Luca Bascetta, Gianni Ferretti	Homotopy aware kinodynamic planning using RRT-based planners.	ECC	2019	DBLP DOI BibTeX RDF
13	Tobias Holicki, Carsten W. Scherer	A Homotopy Approach for Robust Output-Feedback Synthesis.	MED	2019	DBLP DOI BibTeX RDF
13	Therese Biedl, Erin Wolf Chambers, David Eppstein, Arnaud de Mesmay, Tim Ophelders	Homotopy Height, Grid-Major Height and Graph-Drawing Height.	GD	2019	DBLP DOI BibTeX RDF
13	Eugène Ndiaye, Ichiro Takeuchi	Computing Full Conformal Prediction Set with Approximate Homotopy.	NeurIPS	2019	DBLP BibTeX RDF
13	Thierry Coquand, Simon Huber, Christian Sattler	Homotopy Canonicity for Cubical Type Theory.	FSCD	2019	DBLP DOI BibTeX RDF
13	Yuexin Gao, Xinyu Zhang, Mengdao Xing, Jixiang Fu, Zijing Zhang, Ying Wang	ISAR Imaging Based on Homotopy Re-Weighted ℓ1-Norm Minimization.	IGARSS	2019	DBLP DOI BibTeX RDF
13	Yang Liu, Jiantao Zhang, Yizhi Zeng, Haonan Yao, Jiankang Li, Jing Zhang	An Experimental Study for Optimal Homotopy Property of Motion Planning Algorithms.	DASC/PiCom/DataCom/CyberSciTech	2019	DBLP DOI BibTeX RDF
13	Christian Schulze, Andreas Varchmin, Wilhelm Tegethoff	Steady State Initialization of Vapor Compression Cycles Using the Homotopy Operator.	Modelica	2019	DBLP DOI BibTeX RDF
13	Ian Orton	Cubical models of homotopy type theory: an internal approach.		2019	RDF
13	Roozbeh Yousefzadeh	Interpreting Machine Learning Models and Application of Homotopy Methods.		2019	RDF
13	Javad Asadi, Farhang Jalali-Farahani	Optimization of dimethyl ether production process based on sustainability criteria using a homotopy continuation method.	Comput. Chem. Eng.	2018	DBLP DOI BibTeX RDF
13	Marek Filakovský, Peter Franek, Uli Wagner 0001, Stephan Zhechev	Computing simplicial representatives of homotopy group elements.	J. Appl. Comput. Topol.	2018	DBLP DOI BibTeX RDF
13	Xiaona Fan, Qinglun Yan	A New Proof for Global Convergence of a Smoothing Homotopy Method for the Nonlinear Complementarity Problem.	Asia Pac. J. Oper. Res.	2018	DBLP DOI BibTeX RDF
13	Jean Gregoire, Michal Cáp, Emilio Frazzoli	Locally-optimal multi-robot navigation under delaying disturbances using homotopy constraints.	Auton. Robots	2018	DBLP DOI BibTeX RDF
13	Thomas McConville	Homotopy Type of Intervals of the Second Higher Bruhat Orders.	Order	2018	DBLP DOI BibTeX RDF
13	Håkon Robbestad Gylterud	From Multisets to Sets in homotopy Type Theory.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
13	Christoph Brauer, Dirk A. Lorenz, Andreas M. Tillmann	A primal-dual homotopy algorithm for \(\ell _{1}\) -minimization with \(\ell _{\infty }\) -constraints.	Comput. Optim. Appl.	2018	DBLP DOI BibTeX RDF
13	Steve Awodey	Natural models of homotopy type theory.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Michael Shulman	Brouwer's fixed-point theorem in real-cohesive homotopy type theory.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Benno van den Berg, Ieke Moerdijk	W-types in homotopy-type theory - CORRIGENDUM.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
13	Yuanlong Yu, Zhenzhen Sun, Wenxing Zhu, Jason Gu	A Homotopy Iterative Hard Thresholding Algorithm With Extreme Learning Machine for Scene Recognition.	IEEE Access	2018	DBLP DOI BibTeX RDF
13	Jonathan D. Hauenstein, Margaret H. Regan	Adaptive strategies for solving parameterized systems using homotopy continuation.	Appl. Math. Comput.	2018	DBLP DOI BibTeX RDF
13	Zeus Gracia-Tabuenca, Martha Beatriz Moreno, Fernando A. Barrios, Sarael Alcauter	Hemispheric asymmetry and homotopy of resting state functional connectivity correlate with visuospatial abilities in school-age children.	NeuroImage	2018	DBLP DOI BibTeX RDF
13	Subhrajit Bhattacharya, Robert Ghrist	Path homotopy invariants and their application to optimal trajectory planning.	Ann. Math. Artif. Intell.	2018	DBLP DOI BibTeX RDF
13	H. X. Fu, Youhua Qian	Study on a Multi-Frequency Homotopy Analysis Method for Period-Doubling Solutions of Nonlinear Systems.	Int. J. Bifurc. Chaos	2018	DBLP DOI BibTeX RDF
13	Daniel R. Licata, Ian Orton, Andrew M. Pitts, Bas Spitters	Internal Universes in Models of Homotopy Type Theory.	CoRR	2018	DBLP BibTeX RDF
13	Ulrik Buchholtz, Kuen-Bang Hou (Favonia)	Cellular Cohomology in Homotopy Type Theory.	CoRR	2018	DBLP BibTeX RDF
13	Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago Mendonça Lucena de Veras	On the Use of Computational Paths in Path Spaces of Homotopy Type Theory.	CoRR	2018	DBLP BibTeX RDF
13	Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost, Thi Xuan Vu	Solving determinantal systems using homotopy techniques.	CoRR	2018	DBLP BibTeX RDF
13	Christian Knoll 0002, Florian Kulmer, Franz Pernkopf	Self-Guided Belief Propagation - A Homotopy Continuation Method.	CoRR	2018	DBLP BibTeX RDF
13	Xiaohan Wei, Hao Yu 0002, Qing Ling, Michael J. Neely	Solving Non-smooth Constrained Programs with Lower Complexity than ε): A Primal-Dual Homotopy Smoothing Approach.	CoRR	2018	DBLP BibTeX RDF
13	Ulrik Buchholtz, Floris van Doorn, Egbert Rijke	Higher Groups in Homotopy Type Theory.	CoRR	2018	DBLP BibTeX RDF
13	Paige Randall North	Towards a directed homotopy type theory.	CoRR	2018	DBLP BibTeX RDF
13	Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira	On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths.	CoRR	2018	DBLP BibTeX RDF
13	Nicolai Kraus, Thorsten Altenkirch	Free Higher Groups in Homotopy Type Theory.	CoRR	2018	DBLP BibTeX RDF