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”
EN
ČeštinaEnglish

Filters

312 742 (0,546s) •

Result

Rigorous derivation of the asymptotic model describing a nonsteady micropolar fluid flow through a thin pipe

In this paper we study a time-dependent flow of an incompressible micropolar fluid through a pipe with arbitrary crosssection. The effective behavior of the flow is found by means of rigorous asymptotic analysis with respect to the small par...

Applied mathematics

  • 2018
    • •
  • Jimp
    • •
  • Link
Result

Generalized State Model of Dynamical System with Low Sensitivity Measure

The paper deals with a generalized form of class C piecewise-linear systems with low sensitivity measure. The method presented is based on recently published conditions for optimum realization of second-order systems. A procedure based on the block-d...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2004
    • •
  • D
Result

Curvature Invariants in Algebraically Special Spacetimes.

It is well known that all curvature invariants of the order zero vanish for type-III and type-N vacuum spacetimes. We briefly summarize properties of higherorder curvature invariants for these spacetimes....

BA - Obecná matematika

  • 2002
    • •
  • D
Result

Linearization and computation for large-strain visco-elasticity

material models with higherorder gradients of deformations. However, this makes on local minimizers of the simple material model. Computational tests are provided that show a very good agreement between our model ...

Applied mathematics

  • 2023
    • •
  • Jimp
    • •
  • Link
Result

Quantum electrodynamics of two-body systems with arbitrary masses up to?6 order

We perform a calculation of quantum electrodynamics effects in excited states are valid for hadronic atoms, as long as the strong interaction effects are negligible. We demonstrate that for circular states with l similar to n, the <...

Physical sciences

  • 2022
    • •
  • Jimp
    • •
  • Link
Result

Oscillatory properties of fourth order Sturm-Liouville differential equations

Oscillatory properties of a certain fourth order linear differential equation are investigated. The obtained (non)oscillation critera are formulated in terms of integrals involving coefficients of the investigated equation. Some general aspects of

BA - Obecná matematika

  • 2002
    • •
  • Jx
Result

Electromagnetic damping system with three permanent magnets

Dynamic interaction in a system containing two fixed and one free permanent magnet is studied. The movement of the free magnet is one-dimensional. The paper presents the complete mathematical model of the problem consisting of a nonlinear pa...

JE - Nejaderná energetika, spotřeba a užití energie

  • 2012
    • •
  • Jx
Result

PDdE-based analysis of vehicular platoons with spatio-temporal decoupling

The paper provides exact analytical solutions of wave-like PDdE-based (partial differential-difference equation) models of several popular vehicular platooning problems by a continuum model. Thanks to the decoupling of spatial and t...

BC - Teorie a systémy řízení

  • 2013
    • •
  • D
    • •
  • Link
Result

Extracting Higher-Order Goals from the Mizar Mathematical Library

Certain constructs allowed in Mizar articles cannot be represented in first-order logic but can be represented in higher-order logic. We describe a way to obtain higher-order theorem proving problems from Mizar articles that make use of these constru...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2016
    • •
  • D
    • •
  • Link
Result

Joint Learning Model for Low-Resource Agglutinative Language Morphological Tagging

, our model separately predicts part-of-speech and morphological features. Part network is used to learn the higherorder intersection of labels. A series of experiments show that the proposed model in this paper is superior...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2023
    • •
  • D
    • •
  • Link
  • 1 - 10 out of 312 742