X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (89) 89
Conference Proceeding (40) 40
Book Chapter (27) 27
Publication (14) 14
Book / eBook (4) 4
Web Resource (4) 4
Patent (2) 2
Magazine Article (1) 1
Paper (1) 1
Reference (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
mathematics, applied (39) 39
mathematics (34) 34
computer science (29) 29
artificial intelligence (28) 28
basin of attraction (23) 23
mathematical logic and formal languages (23) 23
radial basis functions (19) 19
lyapunov function (17) 17
logics and meanings of programs (15) 15
programming techniques (12) 12
software engineering (12) 12
analysis (11) 11
computer science, artificial intelligence (11) 11
stability (11) 11
symbolic and algebraic manipulation (11) 11
dynamical systems and ergodic theory (10) 10
lyapunov functions (10) 10
ordinary differential equations (10) 10
approximations and expansions (9) 9
attraction (9) 9
meshless collocation (9) 9
periodic orbit (9) 9
term rewriting (9) 9
applied mathematics (8) 8
dependency pairs (8) 8
dynamical system (8) 8
radial basis function (8) 8
algorithms (7) 7
computer science, theory & methods (7) 7
contraction metric (7) 7
mathematical logic and foundations (7) 7
termination (7) 7
tool (7) 7
construction (6) 6
triangulation (6) 6
computer science - logic in computer science (5) 5
computer science, software engineering (5) 5
csis (5) 5
differential-equations (5) 5
dynamical systems (5) 5
error estimates (5) 5
linear programming (5) 5
nonlinear-systems (5) 5
programming languages, compilers, interpreters (5) 5
proving termination (5) 5
systems (5) 5
termination analysis (5) 5
theorem (5) 5
asymptotic stability (4) 4
basin (4) 4
differential equations (4) 4
domain of attraction (4) 4
existence (4) 4
liapunov functions (4) 4
logic (4) 4
mathematics - dynamical systems (4) 4
orbits (4) 4
ordinary differential equation (4) 4
ordinary differential-equations (4) 4
verification (4) 4
automated (3) 3
automation (3) 3
basins (3) 3
borg's criterion (3) 3
calculus (3) 3
complete lyapunov function (3) 3
complexity (3) 3
computation (3) 3
dynamics (3) 3
electronic books (3) 3
exponentially stable equilibrium (3) 3
interpolation (3) 3
logic programming (3) 3
lyapunov methods (3) 3
mesh-free collocation (3) 3
meshfree collocation (3) 3
numerical analysis (3) 3
numerical method (3) 3
optimization (3) 3
periodic differential equation (3) 3
physics (3) 3
prolog (3) 3
proofs (3) 3
rewriting-systems (3) 3
theory (3) 3
accountants (2) 2
almost periodicity (2) 2
animals (2) 2
appl.mathematics/computational methods of engineering (2) 2
approximation (2) 2
arrangements, systems or apparatus for checking not providedfor elsewhere (2) 2
asymptotic properties (2) 2
asymptotically autonomous differential equation (2) 2
automated reasoning (2) 2
autonomous (2) 2
basic electronic circuitry (2) 2
biology (2) 2
biomathematics (2) 2
biomechanical phenomena (2) 2
biomechanics (2) 2
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, ISSN 1536-0040, 2019, Volume 18, Issue 3, pp. 1536 - 1564
Contraction analysis uses a local criterion to prove the long-term behavior of a dynamical system. We consider a contraction metric, i.e., a Riemannian metric... 
MATHEMATICS, APPLIED | periodic orbit | meshfree collocation | matrix-valued partial differential equation | contraction metric | PHYSICS, MATHEMATICAL | error estimates
Journal Article
Journal of Mathematical Analysis and Applications, ISSN 0022-247X, 04/2015, Volume 424, Issue 2, pp. 1380 - 1403
The stability and basin of attraction of an equilibrium can be determined by a contraction metric. A contraction metric is a Riemannian metric with respect to... 
Basin of attraction | Stability | Contraction metric | Converse theorem | MATHEMATICS | MATHEMATICS, APPLIED | NONLINEAR-SYSTEMS | ORBITS | ATTRACTION | BASIN | PERIODIC DIFFERENTIAL-EQUATIONS | Analysis | Algorithms
Journal Article
Journal Article
ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, ISSN 0044-2267, 04/2019, Volume 99, Issue 4, pp. e201800141 - n/a
Journal Article
01/2010, Lecture Notes in Mathematics Ser., ISBN 1280853425
Annotation The basin of attraction of an equilibrium of an ordinary differential equation can be determined using a Lyapunov function. A new method to... 
Web Resource
Discrete and Continuous Dynamical Systems - Series B, ISSN 1531-3492, 10/2015, Volume 20, Issue 8, pp. 2291 - 2331
Journal Article
Applied Mathematics, ISSN 2152-7385, 2019, Volume 10, Issue 7, pp. 513 - 520
Journal Article
Discrete and Continuous Dynamical Systems - Series B, ISSN 1531-3492, 10/2015, Volume 20, Issue 8, pp. i - ii
Journal Article
SIAM Journal on Numerical Analysis, ISSN 0036-1429, 01/2018, Volume 56, Issue 6, pp. 3386 - 3406
In this paper, we discuss the numerical solution of certain matrix-valued PDEs. Such PDEs arise, for example, when constructing a Riemannian contraction metric... 
Radial basis functions | Autonomous systems | Meshfree methods | Contraction metric | meshfree methods | autonomous systems | DIVERGENCE-FREE | MATHEMATICS, APPLIED | CONTRACTION METRICS | contraction metric | radial basis functions | MESHLESS COLLOCATION
Journal Article
Nonlinear Analysis, Theory, Methods & Applications, ISSN 0362-546X, 07/2013, Volume 86, pp. 114 - 134
A Riemannian metric with a local contraction property can be used to prove existence and uniqueness of a periodic orbit and determine a subset of its basin of... 
Attraction | Triangulation | Equivalence | Basins | Feasibility | Orbits | Optimization | Construction contracts
Journal Article
Journal of Mathematical Analysis and Applications, ISSN 0022-247X, 2009, Volume 354, Issue 2, pp. 606 - 618
The determination of the basin of attraction of a periodic orbit can be achieved using a Lyapunov function. A Lyapunov function can be constructed by... 
Basin of attraction | Radial basis function | Periodic orbit | Ordinary differential equation | Meshless collocation | Lyapunov function | MATHEMATICS | MATHEMATICS, APPLIED | Basins (Geology) | School construction
Journal Article
Discrete and Continuous Dynamical Systems - Series B, ISSN 1531-3492, 10/2012, Volume 17, Issue 7, pp. 2387 - 2412
Journal Article
DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, ISSN 1531-3492, 09/2019, Volume 24, Issue 9, pp. 4955 - 4981
Lyapunov functions are functions with negative derivative along solutions of a given ordinary differential equation. Moreover, sub-level sets of a Lyapunov... 
MATHEMATICS, APPLIED | Lyapunov functions | Meshfree collocation | error estimates
Journal Article
SIAM Journal on Numerical Analysis, ISSN 0036-1429, 1/2007, Volume 45, Issue 4, pp. 1723 - 1741
Journal Article
Journal of Computational and Applied Mathematics, ISSN 0377-0427, 01/2020, Volume 363, pp. 413 - 425
We study the transformation of the vertices of a certain simple simplicial complex in n-dimensional Euclidian space and prove that the resulting set of... 
Nonlinear transformation | Triangulation | Simplicial complex | MATHEMATICS, APPLIED | LYAPUNOV FUNCTIONS | CONSTRUCTION | COMPUTATION | DELAUNAY
Journal Article
DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, ISSN 1531-3492, 08/2019, Volume 24, Issue 8, pp. 3843 - 3863
A contraction metric for an autonomous ordinary differential equation is a Riemannian metric such that the distance between adjacent solutions contracts over... 
PERIODIC-ORBITS | MATHEMATICS, APPLIED | meshless collocation | STABILITY | matrix-valued partial differential equation | CONVERSE THEOREMS | SYSTEMS | Contraction metric | basin of attraction
Journal Article
SIAM Journal on Applied Dynamical Systems, ISSN 1536-0040, 2015, Volume 14, Issue 4, pp. 1663 - 1698
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2006, Volume 4130, pp. 281 - 286
AProVE 1.2 is one of the most powerful systems for automated termination proofs of term rewrite systems (TRSs). It is the first tool which automates the new... 
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Conference Proceeding
Journal of Difference Equations and Applications, ISSN 1023-6198, 04/2014, Volume 20, Issue 4, p. 610
  Given an autonomous discrete time system with an equilibrium at the origin and a hypercube D containing the origin, we state a linear programming problem, of... 
Applied mathematics | Linear programming | Mathematical functions | Calculus
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.