Search results for "equations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Susana Serna, Jianliang Qian	Fifth-Order Weighted Power-ENO Schemes for Hamilton-Jacobi Equations.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	ENO, Weighted Power-ENO, monotone schemes, level set, Hamilton-Jacobi
16	Giuliano Casale	On Single-Class Load-Dependent Normalizing Constant Equations.	QEST	2006	DBLP DOI BibTeX RDF
16	David Broman, Kaj Nyström, Peter Fritzson	Determining over- and under-constrained systems of equations using structural constraint delta.	GPCE	2006	DBLP DOI BibTeX RDF	equation-based, over-constrained, under-constrained, modeling, object-oriented, type checking, separate compilation
16	Alexander Okhotin	Language Equations with Symmetric Difference.	CSR	2006	DBLP DOI BibTeX RDF
16	Renato N. Elias, Marcos A. D. Martins, Alvaro L. G. A. Coutinho	Parallel Edge-Based Inexact Newton Solution of Steady Incompressible 3D Navier-Stokes Equations.	Euro-Par	2005	DBLP DOI BibTeX RDF
16	Maarten Keijzer, Martin Baptist, Vladan Babovic, Javier Rodriguez Uthurburu	Determining equations for vegetation induced resistance using genetic programming.	GECCO	2005	DBLP DOI BibTeX RDF	equation induction, hydraulics, measurement units, genetic programming, hydrology
16	Sergio Barrachina 0001, Peter Benner, Enrique S. Quintana-Ortí	Parallel Solution of Large-Scale Algebraic Bernoulli Equations with the Matrix Sign Function Method.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
16	Valentin Irtegov, Tatyana Titorenko	On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid.	CASC	2005	DBLP DOI BibTeX RDF
16	Sergey P. Tsarev	Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equations.	ISSAC	2005	DBLP DOI BibTeX RDF	complete solutions, systems of linear PDEs, factorization
16	Robert Dabrowski, Wojciech Plandowski	Solving Two-Variable Word Equations (Extended Abstract).	ICALP	2004	DBLP DOI BibTeX RDF
16	Pavol Federl, Przemyslaw Prusinkiewicz	Solving Differential Equations in Developmental Models of Multicellular Structures Expressed Using L-systems.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
16	Chien-Hsun Tseng, Stuart Lawson	Multidimensional wave digital filtering approach for numerical integration of non-linear shallow water equations.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
16	Ana T. Freitas, Arlindo L. Oliveira	Implicit Resolution of the Chapman-Kolmogorov Equations for Sequential Circuits: An Application in Power Estimation.	DATE	2003	DBLP DOI BibTeX RDF
16	Zahari Zlatev	Parallel Solution of Very Large Sparse Systems of Linear Algebraic Equations.	LSSC	2003	DBLP DOI BibTeX RDF
16	Iraklis Paraskakis	Rethinking the Teaching of Differential Equations through the Constructivism Paradigm.	ICALT	2003	DBLP DOI BibTeX RDF
16	Saul Abarbanel, David I. Gottlieb, Jan S. Hesthaven	Long Time Behavior of the Perfectly Matched Layer Equations in Computational Electromagnetics.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	PML, stability, computational electromagnetics
16	John McDonald 0004	Fractional Power Series Solutions for Systems of Equations.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
16	Fritz Schwarz	Equivalence Classes, Symmetries and Solutions of Linear Third-order Differential Equations.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications:34A05, 34A25, 34B30, 68Q40
16	John Howard Eli Fiskio-Lasseter, Michal Young	Flow equations as a generic programming tool for manipulation of attributed graphs.	PASTE	2002	DBLP DOI BibTeX RDF
16	Jonas August	Decoupling the equations of regularized tomography.	ISBI	2002	DBLP DOI BibTeX RDF
16	Chun Wai Liew, Donald E. Smith	Reasoning about Systems of Physics Equations.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
16	Volker Diekert, Manfred Kufleitner	A Remark about Quadratic Trace Equations.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
16	Nicolas T. Courtois, Louis Goubin, Willi Meier, Jean-Daniel Tacier	Solving Underdefined Systems of Multivariate Quadratic Equations.	Public Key Cryptography	2002	DBLP DOI BibTeX RDF
16	Honghai Zeng, Jianping Zhu	An Efficient Parallel ADI Algorithm for Solving 3-D Convection Diffusion Equations with Neumann Boundary Conditions.	ICPP Workshops	2002	DBLP DOI BibTeX RDF
16	Valeri Perminov	Numerical Solution of Reynolds Equations for Forest Fire Spread.	International Conference on Computational Science (1)	2002	DBLP DOI BibTeX RDF
16	Sylvan Pinsky, Edward Zieglar	Noninterference Equations for Nondeterministic Systems.	CSFW	2001	DBLP DOI BibTeX RDF
16	Fritz Schwarz	Symmetries of Second- and Third-Order Ordinary Differential Equations.	SNSC	2001	DBLP DOI BibTeX RDF
16	Kurt Schlacher, Andreas Kugi, Kurt Zehetleitner	Symbolic Methods for the Equivalence Problem for Systems of Implicit Ordinary Differential Equations.	SNSC	2001	DBLP DOI BibTeX RDF
16	Michael Moortgat	Structural Equations in Language Learning.	LACL	2001	DBLP DOI BibTeX RDF
16	Jacek Leszczynski, Mariusz Ciesielski	A Numerical Method for Solution of Ordinary Differential Equations of Fractional Order.	PPAM	2001	DBLP DOI BibTeX RDF
16	Amalia Pielorz	Application of Equations with a Retarded Argument in Physical Systems.	PPAM	2001	DBLP DOI BibTeX RDF
16	Mikhail V. Foursov, Marc Moreno Maza	On computer-assisted classification of coupled integrable equations.	ISSAC	2001	DBLP DOI BibTeX RDF	generalized symmetries, integrable PDEs, mathematical physics, polynomial systems, triangular decompositions
16	Kiyotaka Yamamura	Finding All Solutions of Nonlinear Equations Using Linear Combinations of Functions.	Reliab. Comput.	2000	DBLP DOI BibTeX RDF
16	Ilya Pollak, Alan S. Willsky, Hamid Krim	Image segmentation and edge enhancement with stabilized inverse diffusion equations.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
16	Fritz Schwarz	Solving Third Order Differential Equations with Maximal Symmetry Group.	Computing	2000	DBLP DOI BibTeX RDF	AMS Subject Classifications: 34A05, 34A25, 34B30, 68Q40
16	Manfred Schmidt-Schauß, Klaus U. Schulz	Solvability of Context Equations with Two Context Variables is Decidable.	CADE	1999	DBLP DOI BibTeX RDF
16	Thilo Penzl	Numerical solution of generalized Lyapunov equations.	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF	generalized Lyapunov equation, generalized Stein equation, 93B40, 93B51, 65F15, mathematical software, 65F05, condition estimation
16	Isaac E. Lagaris, Aristidis Likas, Dimitrios I. Fotiadis	Artificial neural networks for solving ordinary and partial differential equations.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
16	Hiroaki Shimooka, Yoshiji Fujimoto	Generating Equations with Genetic Programming for Control of a Movable Inverted Pendulum.	SEAL	1998	DBLP DOI BibTeX RDF
16	Christian Choffrut, Sándor Horváth	Equations in Transfinite Strings.	MFCS	1998	DBLP DOI BibTeX RDF
16	Charanjit S. Jutla	On Finding Small Solutions of Modular Multivariate Polynomial Equations.	EUROCRYPT	1998	DBLP DOI BibTeX RDF
16	Juhani Karhumäki, Wojciech Plandowski, Filippo Mignosi	The Expressibility of Languages and Relations by Word Equations.	ICALP	1997	DBLP DOI BibTeX RDF
16	S. V. Pennington, Martin Berzins	New NAG library software for first-order partial differential equations.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	NAG Fortran Library
16	Victor G. Ganzha, Evgenii V. Vorozhtsov, J. Boers, J. A. van Hulzen	Symbolic-Numeric Stability Investigations of Jameson's Schemes for the Thin-Layer Navier-Stokes Equations.	ISSAC	1994	DBLP DOI BibTeX RDF
16	Jacques-Arthur Weil	The Use of the Special Semi-Groups for Solving Differential Equations.	ISSAC	1994	DBLP DOI BibTeX RDF
16	Wolfgang Dahmen, Charles A. Micchelli	Continuous refinement equations and subdivision.	Adv. Comput. Math.	1993	DBLP DOI BibTeX RDF	Subject classification (AMS) 34K99, 41A63, 41A15, 41A25
16	Christopher T. H. Baker, Christopher A. H. Paul	Parallel continuous Runge-Kutta methods and vanishing lag delay differential equations.	Adv. Comput. Math.	1993	DBLP DOI BibTeX RDF	AMS(MOS) subject classifications primary 65Q05
16	Vadim Maslov	Delinearization: An Efficient Way to Break Multiloop Dependence Equations.	PLDI	1992	DBLP DOI BibTeX RDF	C, FORTRAN
16	Vangalur S. Alagar	Range Equations and Range Matrices: a Study in Statistical Database Security.	AUSCRYPT	1990	DBLP DOI BibTeX RDF
16	Felix Ulmer, Jacques Calmet	On Liouvillian Solutions of Homogeneous Linear Differential Equations.	ISSAC	1990	DBLP DOI BibTeX RDF
16	Alessandro Forghieri, Roberto Guerrieri, Paolo Ciampolini, Antonio Gnudi, Massimo Rudan, Giorgio Baccarani	A new discretization strategy of the semiconductor equations comprising momentum and energy balance.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
16	Hassan Aït-Kaci	Solving Type Equations by Graph Rewriting.	RTA	1985	DBLP DOI BibTeX RDF
16	Christoph M. Hoffmann, Michael J. O'Donnell	Implementation of an Interpreter for Abstract Equations.	POPL	1984	DBLP DOI BibTeX RDF
16	Jean-Pierre Jouannaud, Miguel Munoz	Termination of a Set of Rules Modulo a Set of Equations.	CADE	1984	DBLP DOI BibTeX RDF
16	Thomas G. Windeknecht, Henry D'Angelo	System theoretic implications of numerical methods applied to the solution of ordinary differential equations.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
16	Peter Linz	Linear Multistep Methods for Volterra Integro-Differential Equations.	J. ACM	1969	DBLP DOI BibTeX RDF
16	J. S. Hicks, J. Wei	Numerical Solution of Parabolic Partial Differential Equations With Two-Point Boundary Conditions by Use of the Method of Lines.	J. ACM	1967	DBLP DOI BibTeX RDF
16	Joel Moses	Solutions of systems of polynomial equations by elimination.	Commun. ACM	1966	DBLP DOI BibTeX RDF
15	Malgorzata Sumislawska, Tomasz Larkowski, Keith J. Burnham	Design of Parity Equations Using Right Eigenstructure Assignment.	ICSEng	2011	DBLP DOI BibTeX RDF	parity equations, unknown input observer, fault detection, observers
15	Chuanjun Wang, Zhenfeng Shi, Xiamu Niu	An Error Driven 3D Face Modeling Scheme Based on Partial Differential Equations.	IIH-MSP	2010	DBLP DOI BibTeX RDF	3D face represntation, Partial differential equations, 3D face modeling
15	Sabine Pickenhain	Duality in Optimal Control with First Order Differential Equations.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Control problems, First order partial differential equations, Necessary and sufficient optimality conditions, Duality theory
15	Emilio Spedicato	ABS Algorithms for Linear Equations and Linear Least Squares.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Linear algebraic equations, ABS methods, Abaffian matrices, Huang algorithm, Implicit LU algorithm, Implicit LX algorithm, Linear least squares
15	Nguyen V. Thoai	Global Optimization Methods for Systems of Nonlinear Equations.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Systems of nonlinear equations, Global optimization
15	Ramon E. Moore	Interval Analysis: Systems of Nonlinear Equations.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Interval Newton operator, Nonlinear equations
15	Per Olov Lindberg, Lars Svensson	Gröbner Bases for Polynomial Equations.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Gröbner basis, Zeros, Polynomial equations
15	Xiju Zong, Xingong Cheng	Bilinear Control for Global Controllability of the Parabolic-Elliptic Equations.	HIS (2)	2009	DBLP DOI BibTeX RDF	parabolic-elliptic equations, bilinear control
15	Dongkai Zhang, Wenli Feng, Jiqing Qiu, Meijuan Shang	Numerical Bounded Solutions of Fuzzy Volterra Integral Equations.	FSKD (6)	2009	DBLP DOI BibTeX RDF	Fuzzy Volterra integral equations, Bounded solutions, Fuzzy number
15	Martin Welk, Michael Breuß, Oliver Vogel	Differential Equations for Morphological Amoebas.	ISMM	2009	DBLP DOI BibTeX RDF	morphological amoebas, partial differential equations, median filtering
15	Elsayed M. E. Elbarbary	Efficient Chebyshev-Petrov-Galerkin Method for Solving Second-Order Equations.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Petrov-Galerkin method, Second-order elliptic equations, Sparse matrices, Chebyshev polynomials, Direct solvers
15	Ruben Debeerst, Mark van Hoeij, Wolfram Koepf	Solving differential equations in terms of bessel functions.	ISSAC	2008	DBLP DOI BibTeX RDF	generalized exponents, differential equations, bessel functions
15	Jeremy Avigad, Kevin Donnelly	A Decision Procedure for Linear "Big O" Equations.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Asymptotic equations, Big O, Decision procedures
15	Jin Han Park, Jong Seo Park, Young Chel Ahn, Young Chel Kwun	Controllability for the Impulsive Semilinear Fuzzy Integrodifferential Equations.	ICFIE	2007	DBLP DOI BibTeX RDF	Impulsive semilinear fuzzy integrodifferential equations, Controllability
15	J. M. Bernard	Spectral Discretizations of the Stokes Equations with Non Standard Boundary Conditions.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	spectral methods, boundary conditions, Stokes equations
15	Wilhelm Heinrichs	Least-Squares Spectral Collocation for the Navier-Stokes Equations.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	spectral collocation, least-squares, Navier-Stokes equations
15	Dima Grigoriev, Fritz Schwarz	Factoring and Solving Linear Partial Differential Equations.	Computing	2004	DBLP DOI BibTeX RDF	Partial differential equations, factorization
15	David Cohen, Ernst Hairer, Christian Lubich	Modulated Fourier Expansions of Highly Oscillatory Differential Equations.	Found. Comput. Math.	2003	DBLP DOI BibTeX RDF	Modulated Fourier expansion, Adiabatic invariants, Highly oscillatory differential equations, Exponentially small error estimates, Multiple time scales
15	Habib Ammari, Gang Bao	Maxwell's Equations in a Perturbed Periodic Structure.	Adv. Comput. Math.	2002	DBLP DOI BibTeX RDF	perturbed periodic structures, integral representation, existence and uniqueness, near-field optics, Maxwell's equations
15	Nicolas Neuss	A New Sparse-Matrix Storage Method for Adaptively Solving Large Systems of Reaction-Diffusion-Transport Equations.	Computing	2002	DBLP DOI BibTeX RDF	Sparse-matrix storage methods, matrix graph, compact storage, compact row-ordered storage, Harwell-Boeing, CRS, partial differential equations, systems, multigrid, chemical reactions
15	Tsong Yueh Chen, Jianqiang Feng, T. H. Tse	Metamorphic Testing of Programs on Partial Differential Equations: A Case Study.	COMPSAC	2002	DBLP DOI BibTeX RDF	Program testing, partial differential equations, metamorphic testing, oracle problem
15	Hans Petter Langtangen, Otto Munthe	Solving systems of partial differential equations using object-oriented programming techniques with coupled heat and fluid flow as example.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	coupled heat-fluid, diffpack, non-Newtonian fluids, systems of partial differential equations, object-oriented programming, C++, C++, software development, finite elements
15	Scott C. Hagen	Estimation of the Truncation Error for the Linearized, Shallow Water Momentum Equations.	Eng. Comput.	2001	DBLP DOI BibTeX RDF	Localized truncation error analysis, Tidal computations, Unstructured mesh generation, Shallow water equations
15	Peter F. Sturm	A Case Against Kruppa's Equations for Camera Self-Calibration.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	Kruppa equations, critical motions, calibration, Self-calibration, degeneracy, absolute conic, euclidean reconstruction
15	Matt Pharr, Pat Hanrahan	Monte Carlo evaluation of non-linear scattering equations for subsurface reflection.	SIGGRAPH	2000	DBLP DOI BibTeX RDF	Chandrasehkar's equation, adding equations, equation of transfer, invariant imbedding, principles of invariance, scattering function, rendering, illumination, Monte Carlo techniques, reflectance and shading models
15	Yuke Wang, Carl McCrosky	Solving Boolean Equations Using ROSOP Forms.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	equations and decision diagrams, SOP forms, equation solving algorithms, functions, operations, Boolean algebra
15	Stephan Balev, Patrice Quinton, Sanjay V. Rajopadhye, Tanguy Risset	Linear Programming Models for Scheduling Systems of Affine Recurrence Equations - A Comparative Study.	SPAA	1998	DBLP DOI BibTeX RDF	recurrence equations, linear programming, cyclic scheduling, polyhedral model
15	Christoph Hering	On the Diophantine equations ax2 + bx + c = c0 c1y1 1/4cryr .	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Diophantine equations, Perfect codes, Cyclotomic polynomials
15	Amber Roy-Chowdhury, Nikolaos Bellas, Prithviraj Banerjee	Algorithm-Based Error Detection Schemes for Iterative Solution of Partial Differential Equations.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	parallel algorithms, fault injection, partial differential equations, error analysis, Algorithm-based fault-tolerance
15	Fritz Schwarz	On 3rd Order Ordinary Differential Equations with Maximal Symmetry Group.	Computing	1996	DBLP DOI BibTeX RDF	symmetries, Differential equations, equivalence problem
15	M. Buettner, Rüdiger Weiner, Karl Strehmel	A Note on Stability Investigations for Rosenbrock-Type Methods for Quasilinear-Implicit Differential Equations.	Computing	1996	DBLP DOI BibTeX RDF	Rosenbrock-type methods, quasilinear-implicit differential equations, stability
15	D. Bainov, E. Minchev, Zdzislaw Kamont	The Finite Difference Method for First Order Impulsive Partial Differential-Functional Equations.	Computing	1995	DBLP DOI BibTeX RDF	impulsive partial differential-functional equations, Finite difference method
15	Wayne H. Enright, Min Hu	Interpolating Runge-Kutta Methods for Vanishing Delay Differential Equations.	Computing	1995	DBLP DOI BibTeX RDF	interpolations, Runge-Kutta methods, delay differential equations
15	J. G. Blom, Paul Andries Zegeling	Algorithm 731; a moving-grid interface for systems of one-dimensional time-dependent partial differential equations.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	moving grids, time-dependent problems, partial differential equations, mathematical software, Lagrangian methods, method of lines
15	Martin F. van Bommel, Grant E. Weddell	Reasoning About Equations and Functional Dependencies on Complex Objects.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	complex object types, property value path, property paths, property value navigation, directed labeled graph, equational constraint, stratification condition, data structures, query processing, database management systems, query languages, query language, query languages, object-oriented databases, directed graphs, reasoning, database theory, functional dependencies, decision procedures, conjunctive queries, undecidable, complex objects, semantic data models, object-oriented data models, equations, constraint theory, constraint theory, constraint language
15	Ronitt Rubinfeld	On the robustness of functional equations	FOCS	1994	DBLP DOI BibTeX RDF	self-correctors, functional equations robustness, self-testing programs, self correcting programs, self-testers, quantifiers
15	Simon Y. Berkovich	An Overlaying Technique for Solving Linear Equations in Real-Time Computing.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	overlaying technique, close consecutive parameters, computational process, inverse matrix, real-time systems, computational complexity, matrix algebra, linear equations, polynomial approximation, real-time computing, real-time computations, computer organization
15	Sanjeev Arora, László Babai, Jacques Stern, Z. Sweedyk	The Hardness of Approximate Optimia in Lattices, Codes, and Systems of Linear Equations	FOCS	1993	DBLP DOI BibTeX RDF	approximate optima, NP-hard, lattices, codes, polynomial time algorithm, linear equations, interactive proof systems, hardness, set-cover problem, binary codes
15	Gabriel Taubin	Estimation of Planar Curves, Surfaces, and Nonplanar Space Curves Defined by Implicit Equations with Applications to Edge and Range Image Segmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	edge segmentation, nonplanar space curves, implicit equations, object position estimation, pattern recognition, pattern recognition, object recognition, optimisation, optimisation, surfaces, algebra, algebra, curve fitting, zeros, 3-D, range image segmentation, planar curves, parametric representation, 2-D
15	Timothy A. Davis 0001, Edward S. Davidson	Pairwise Reduction for the Direct, Parallel Solution of Sparse, Unsymmetric Sets of Linear Equations.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	pairwise reduction, parallel solution, unsymmetric sets, pairwise solve, PSolve, parallel algorithms, shared-memory multiprocessor, linear algebra, linear equations, sparse, concurrent computing
15	Saul Abarbanel, Ajay Kumar	Compact high-order schemes for the Euler equations.	J. Sci. Comput.	1988	DBLP DOI BibTeX RDF	approximate factorization, Euler equations, shock waves, compact schemes
15	Christopher P. Arnold, Michael I. Parr, Michael B. Dewe	An Efficient Parallel Algorithm for the Solution of Large Sparse Linear Matrix Equations.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	synchronization schemes, power systems analysis, simulation, Computer architecture, speedup, linear equations, MIMD, parallel processors