All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

29 630 (0,158s)

Result

How Strong is Strong Regularity?

We compare the notions of regularity and strong regularity of interval matrices. For an $ntimes n$ interval matrix $ai$ we construct $2$ open convex cones, all of them lying in the interior of the nonnegative orthant. It is...

BA - Obecná matematika

  • 2005
  • Jx
Result

Strong Bisimilarity and Regularity of Basic Parallel Processes is PSPACE-Hard

also demonstrate that there is a polynomial time reduction from the strong bisimilarity checking problem of regular BPP to the strong regularity (finiteness) checking of BPP. This implies that strong ...

BD - Teorie informace

  • 2002
  • D
Result

Regularity and approximation of strong solutions to rate-independent systems

, we prove the existence of Holder-regular strong solutions for a class of rate-independent systems. We also establish additional higher regularity results that guarantee of convergence is consistent with the regularity...

Pure mathematics

  • 2017
  • Jimp
  • Link
Result

Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds

(BPA), (iii) strong regularity of BPP, and (iv) strong regularity of BPA. We also demonstrate NL-hardness of strong regularity problems for the normed subclasses of BPPWe study bisimilarity and <...

IN - Informatika

  • 2003
  • Jx
Result

A Characterization of Strong Regularity of Interval Matrices

As the main result of this paper it is proved that an interval matrix is strongly regular if and only if certain the matrix inequality has a solution. Several consequences of this result are drawn....

BA - Obecná matematika

  • 2010
  • Jx
Result

Strong metric subregularity of mappings in variational analysis and optimization

“siblings”, the metric regularity and the strong (metric) regularity. The purpose of this paper is to show that the strong metric subregularity shares the main features of these two most popular regularity

Pure mathematics

  • 2018
  • Jimp
  • Link
Result

Solution Stability and Path-Following for a Class of Generalized Equations

We study strong metric (sub)regularity of a special non-monotone generalized equation with either smooth or locally Lipschitz single-valued part. The existence of a Lipschitz selection of a solution mapping associated with a paramet...

Applied mathematics

  • 2018
  • C
  • Link
Result

On strong regularity of relations

BA - Obecná matematika

  • 1994
  • Jx
Result

Quasicomplemented C-Algebras

of strong α-ideals and O-ideals are introduced and then some properties of quasicomplemented C-algebras are studied with the help of strong α-ideals and O-ideals. The concept of regular C-algebras is introduced and also so...

BA - Obecná matematika

  • 2014
  • Jx
  • Link
Result

A regularity criterion for the weak solutions to the Navier-Stokes-Fourier system

We show that any weak solution to the full Navier-Stokes-Fourier system emanating from the data belonging to the Sobolev space $W^{3,2}$ remains regular as long as the velocity gradient is bounded. The proof is based on the weak-strong

BA - Obecná matematika

  • 2014
  • Jx
  • Link
  • 1 - 10 out of 29 630