Search results for "IVP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
69	William H. Sanders	Probabilistic Validation of Computer System Survivability.	LADC	2005	DBLP DOI BibTeX RDF
51	Ekaterina Auer, Andreas Rauh, Eberhard P. Hofer, Wolfram Luther	Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
46	Nedialko S. Nedialkov, Kenneth R. Jackson	An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation.	Reliab. Comput.	1999	DBLP DOI BibTeX RDF
34	Lawrence F. Shampine	Error Estimation and Control for ODEs.	J. Sci. Comput.	2005	DBLP DOI BibTeX RDF	IVP, error estimation, error control, ODE
34	Robert F. Enenkel, Kenneth R. Jackson	DIMSEMs - diagonally implicit single-eigenvalue methods for the numerical solution of stiff ODEs on parallel computers.	Adv. Comput. Math.	1997	DBLP DOI BibTeX RDF	IVP, general linear method, GLM, parallel, stability, order, ordinary differential equation, numerical solution, initial value problem, ODE
28	Jingge Xiao, Leonie Basso, Wolfgang Nejdl, Niloy Ganguly, Sandipan Sikdar	IVP-VAE: Modeling EHR Time Series with Initial Value Problem Solvers.	AAAI	2024	DBLP DOI BibTeX RDF
28	Daniel R. Reynolds, David J. Gardner, Carol S. Woodward, Rujeko Chinomona	ARKODE: A Flexible IVP Solver Infrastructure for One-step Methods.	ACM Trans. Math. Softw.	2023	DBLP DOI BibTeX RDF
28	Yousef Abd Alhattab, Zulkifli Bin Zainal Abidin, Ahmed Rimaz Faizabadi, Hasan Firdaus M. Zaki, Ahmad Imran Ibrahim	Integration of Stereo Vision and MOOS-IvP for Enhanced Obstacle Detection and Navigation in Unmanned Surface Vehicles.	IEEE Access	2023	DBLP DOI BibTeX RDF
28	Chengsi Gao, Ying Wang 0001, Yinhe Han 0001, Weiwei Chen, Lei Zhang 0008	IVP: An Intelligent Video Processing Architecture for Video Streaming.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
28	Yang Sun, Jiankun Song, Yong Li, Yi Li, Song Li, Zehao Duan	IVP-YOLOv5: an intelligent vehicle-pedestrian detection method based on YOLOv5s.	Connect. Sci.	2023	DBLP DOI BibTeX RDF
28	Jingge Xiao, Leonie Basso, Wolfgang Nejdl, Niloy Ganguly, Sandipan Sikdar	IVP-VAE: Modeling EHR Time Series with Initial Value Problem Solvers.	CoRR	2023	DBLP DOI BibTeX RDF
28	Haohan Li, Zhaoyi Sun, Jie Sun 0007	Invert-and-project (IVP): A Lossless Compression Method of Multi-scale JPEG Images via DCT Coefficients Prediction.	DCC	2023	DBLP DOI BibTeX RDF
28	Tayeb Diab, Marc Gilg, Pascal Lorenz, Frédéric Drouhin	Using I2P (Invisible Internet Protocol) Encrypted Virtual Tunnels for a Secure and Anonymous Communication in VANets: I2P Vehicular Protocol (IVP).	Wirel. Pers. Commun.	2022	DBLP DOI BibTeX RDF
28	Tayeb Diab, Marc Gilg, Pascal Lorenz, Frédéric Drouhin	Correction to: Using I2P (Invisible Internet Protocol) Encrypted Virtual Tunnels for a Secure and Anonymous Communication in VANets: I2P Vehicular Protocol (IVP).	Wirel. Pers. Commun.	2022	DBLP DOI BibTeX RDF
28	Daniel R. Reynolds, David J. Gardner, Carol S. Woodward, Rujeko Chinomona	ARKODE: A flexible IVP solver infrastructure for one-step methods.	CoRR	2022	DBLP DOI BibTeX RDF
28	Hala A. Omar	Homotopy Analysis-Based Hybrid Genetic Algorithm and Secant Method to Solve IVP and Higher-Order BVP.	IEEE Access	2021	DBLP DOI BibTeX RDF
28	Seobin Park, Tae Hyun Kim 0006	Image Restoration by Solving IVP.	CoRR	2021	DBLP BibTeX RDF
28	Petr N. Vabishchevich	An approximate representation of a solution to fractional elliptical BVP via solution of parabolic IVP.	J. Comput. Appl. Math.	2021	DBLP DOI BibTeX RDF
28	Miao Cheng	IVP-LDL: Label Distribution Learning via Preservation of Information Volumes.	ICACI	2020	DBLP DOI BibTeX RDF
28	Petr N. Vabishchevich	Approximate representation of the solutions of fractional elliptical BVP through the solution of parabolic IVP.	CoRR	2019	DBLP BibTeX RDF
28	Michael E. Kounavis, David Durham, Sergej Deutsch, Ken Grewal	IVP: A Three Level Confusion-Diffusion Network Supporting Implicit Data Integrity.	ISCC	2019	DBLP DOI BibTeX RDF
28	Higinio Ramos, Gurjinder Singh, Vinay Kanwar, Saurabh Bhatia	An efficient variable step-size rational Falkner-type method for solving the special second-order IVP.	Appl. Math. Comput.	2016	DBLP DOI BibTeX RDF
28	David Issa Mattos, Douglas Soares dos Santos, Cairo Lúcio Nascimento Júnior	Development of a low-cost autonomous surface vehicle using MOOS-IvP.	SysCon	2016	DBLP DOI BibTeX RDF
28	Higinio Ramos, Maria Fernanda Patrício	Some new implicit two-step multiderivative methods for solving special second-order IVP's.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
28	Andreas Rauh, Ramona Westphal, Harald Aschemann, Ekaterina Auer	Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP.	Reliab. Comput.	2013	DBLP BibTeX RDF
28	Ekaterina Auer, Andreas Rauh	VERICOMP: a system to compare and assess verified IVP solvers.	Computing	2012	DBLP DOI BibTeX RDF
28	Andreas Rauh, Ekaterina Auer	Verified Simulation of ODEs and DAEs in ValEncIA-IVP.	Reliab. Comput.	2011	DBLP BibTeX RDF
28	Liam Paull, Sajad Saeedi G., Mae L. Seto, Howard Li	A Multi-agent Framework with MOOS-IvP for Autonomous Underwater Vehicles with Sidescan Sonar Sensors.	AIS	2011	DBLP DOI BibTeX RDF
28	Michael R. Benjamin, Henrik Schmidt, Paul M. Newman, John J. Leonard	Nested autonomy for unmanned marine vehicles with MOOS-IvP.	J. Field Robotics	2010	DBLP DOI BibTeX RDF
28	Dapeng Jiang, Yongjie Pang, Zaibai Qin	Coordination of multiple AUVs based on MOOS-IvP.	ICCA	2010	DBLP DOI BibTeX RDF
28	Vladimir Djapic, Dula Nad	Command filtered backstepping design in MOOS-IvP helm framework for trajectory tracking of USVs.	ACC	2010	DBLP DOI BibTeX RDF
28	Andreas Rauh, Michael Brill, Clemens Günther	A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP.	Int. J. Appl. Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF
28	Arik Melikyan, Andrei R. Akhmetzhanov, Naira Hovakimyan	A remark on IVP and TVP non-smooth viscosity solutions to Hamilton-Jacobi equations.	ACC	2005	DBLP DOI BibTeX RDF
28	Robert M. Corless	A New View of the Computational Complexity of IVP for ODE.	Numer. Algorithms	2002	DBLP DOI BibTeX RDF
28	Nedialko S. Nedialkov, Kenneth R. Jackson, John D. Pryce	An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE.	Reliab. Comput.	2001	DBLP DOI BibTeX RDF
28	Frank Stenger, Sven-Åke Gustafson, Brian Keyes, Michael O'Reilly, Ken Parker	ODE-IVP-PACK via Sinc indefinite integration and Newton's method.	Numer. Algorithms	1999	DBLP DOI BibTeX RDF
28	Salman Abbas	Derivation of new block methods for the numerical solution of first-order IVP's.	Int. J. Comput. Math.	1997	DBLP DOI BibTeX RDF
28	P. J. van der Houwen, J. J. B. de Swart	Triangularly Implicit Iteration Methods for ODE-IVP Solvers.	SIAM J. Sci. Comput.	1997	DBLP DOI BibTeX RDF
28	Donna Stutson, Aghalaya S. Vatsala	Quadratic and semi-quadratic convergence of IVP.	Neural Parallel Sci. Comput.	1995	DBLP BibTeX RDF
28	Makoto Murofushi, Hideko Nagasaka	On the internal stepsize of an extrapolation algorithm for IVP in ODE.	Numer. Algorithms	1992	DBLP DOI BibTeX RDF
23	Sitian Qin, Xiaoping Xue 0001	Global Exponential Stability and Global Convergence in Finite Time of Neural Networks with Discontinuous Activations.	Neural Process. Lett.	2009	DBLP DOI BibTeX RDF	Delayed neural networks, Convergence in finite time, Topological degree theory, Lyapunov function, Global exponential stability
23	Jong-Shi Pang, David E. Stewart	Solution dependence on initial conditions in differential variational inequalities.	Math. Program.	2009	DBLP DOI BibTeX RDF
23	Hwisung Jung, Massoud Pedram	Continuous Frequency Adjustment Technique Based on Dynamic Workload Prediction.	VLSI Design	2008	DBLP DOI BibTeX RDF
23	Laurence Tianruo Yang	The Waveform ICGS Technique for Parallel Transient Simulation of Semiconductor Devices.	HPCS	2002	DBLP DOI BibTeX RDF
23	Laurence Tianruo Yang	The Parallel Waveform IQMR Algorithm for Transient Simulation of Semiconductor Devices.	ICPP Workshops	2000	DBLP DOI BibTeX RDF
23	Thomas Rauber, Gudula Rünger	Hypercube Implementation and Performance Analysis for Extrapolation Models.	CONPAR	1994	DBLP DOI BibTeX RDF