Filters
On boundary value problems for second order discrete inclusions
second order inclusions satisfy an emph{a priori} bound. Then we apply these emph{a priori} bounds, in conjunction with an appropriate fixed point theorem for inclusions......
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Automatic Verification of Integer Array Programs
arrays} of finite, but not a priori bounded length. We use the logic of integer arrays textbf{SIL} cite{lpar08} t...
JC - Počítačový hardware a software
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
A priori bounds, nodal equilibria and connecting orbits in indefinite superlinear parabolic problems
We consider the dynamics of the semiflow associated with a class of semilinear parabolic problems on a smooth bounded domain, posed with homogeneous Dirichlet boundary conditions. The distinguishing feature of this class is the indefinite su...
BA - Obecná matematika
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Mean-field Analysis for Heavy Ball Methods: Dropout-stability, Connectivity, and Global Convergence
by SHB: emph{(i)} stability after dropping out part of the neurons, emph{(ii)} connectivity along a low-loss path, and emph{(iii)} convergence to the global optimum to the global optimum and give a quantitative bound
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- Jost •
- Link
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
Inexact Arnoldi residual estimates and decay properties for functions of non-Hermitian matrices
This paper derives a priori residual-type bounds for the Arnoldi approximation of a matrix function together with a strategy for setting the iteration accuracies behavior of the entries of functions of banded matrices. Specifically,...
Applied mathematics
- 2019 •
- JSC •
- Link
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Applications of maximum principles to dynamic equations on time scales
We apply the strong maximum principle to obtain a priori bounds and uniqueness of solutions for some initial value and boundary value problems as well as to establish oscillation results for second-order dynamic equations on time sc...
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
BOUNDED SOLUTIONS OF NONLINEAR DIFFERENTIAL SYSTEMS WITH DEVIATING ARGUMENTS
For systems of nonlinear differential equations with deviating arguments, sufficient conditions for the existence and uniqueness of bounded on (-infinity +infinity) solutions are established....
Pure mathematics
- 2016 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Bounded solutions to systems of nonlinear functional differential equations
Using a priori estimates and theorems on functional differential inequalities we establish new criteria of the existence of bounded solutions to systems of nonlinear functional differential equations....
Applied mathematics
- 2018 •
- Jost
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Guaranteed and fully computable two-sided bounds of Friedrichs' constant
This contribution presents a general numerical method for computing lower and upper bound of the optimal constant in Friedrichs? inequality. The standard Rayleigh-Ritz method is used for the lower bound and the method of a prior...
BA - Obecná matematika
- 2013 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
-state systems defined by emph{Process Rewrite Systems} (PRS) or emph{weakly extended unit, and properties described by basic fragments of action-based emph{Linear properties defined by formulae with only modalities emp...
IN - Informatika
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
- 1 - 10 out of 11 610