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

159 485 (0,288s)

Result

Minimal representations of order types by geometric graphs

In order to have a compact visualization of the order type of a given point set display the order type of S. We introduce the concept of exit edges, which prevent the order type from chan...

Pure mathematics

  • 2020
  • JSC
  • Link
Result

Minimal Representations of Order Types by Geometric Graphs

In order to have a compact visualization of the order type of a given point set S, we are interested in geometric graphs on S with few edges that unequivocally display the order type of S. We introduce the...

Pure mathematics

  • 2019
  • D
  • Link
Result

Towards Typed Higher-Order Description Logics

Main topics of the document: description logic; higher-order logic; theory of types; meta modelling...

IN - Informatika

  • 2013
  • D
  • Link
Result

Notes about ????-numbers for a Sobolev type embedding of order 4 and for a higher order integral operator

The main focus of this paper is on study of ????-numbers for a higher order Sobolev embedding on an interval and also for the corresponding Hardy-type operator.Upper and lower estimates for approximation and Bernstein numbers are de...

Pure mathematics

  • 2021
  • Jimp
  • Link
Result

Hardy inequality of fractional order

We prove optimality of power-type weights in the Hardy inequality of fractional order...

BA - Obecná matematika

  • 2008
  • Jx
Result

To the Interpretation of Spontaneous Order

Main topics of the document: Alfred Schutz; spontaneous order; ideal types; Austrian school...

AA - Filosofie a náboženství

  • 2013
  • Jx
  • Link
Result

Notes about s-numbers for a Sobolev type embedding of order 4 and for a higher order integral operator

The main focus of this article is on study of s-numbers for a higher order Sobolev embedding. Upper and lower estimates of Bernstein and approximation numbers are obtained....

Pure mathematics

  • 2021
  • Jimp
  • Link
Result

On the Issue of Types, Variants and Derivations of a Compound Complex Sentence

The paper describes seven types of compound complex sentences (i. e. sentence consisting of more than two clauses) based on the individual connectives, clause-order variants of these types, modality variants and derivation ...

Linguistics

  • 2024
  • Jost
  • Link
Result

There is no single Slavic word order type

Based on comparative evidence from Russian and Czech, we argue that it is problematic to assume a single word order type for all Slavic languages, under a sufficiently detailed word order typology. Czech and Russian differ ...

Linguistics

  • 2022
  • Jimp
  • Link
Result

Decorated linear order types and the theory of concatenation

We study the interpretation of Grzegorczyk's theory of concatenation TC in structures of decorated linear order types satisfying Grzegorczyk's axioms. We show that TC is incomplete for this interpretation. We provide a positive resu...

BA - Obecná matematika

  • 2010
  • D
  • 1 - 10 out of 159 485