All
All

What are you looking for?

All
Projects
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

-
19912025

Join usingOrAnd

Join usingOrAnd

SelectAll/None
  • Show more

SelectAll/None
  • Show more

      • Show more

      • Show more

      • Show more

      • Show more

    • Show more

SelectAll/None
  • Show more

More filters

Results

236 591 results (0,376s)

Result

The cellular automata lattice gas approach for fluid flows in porous media

Cellular automata enable to study microscopical detais in fluid flows through porous media.

JJ - Ostatní materiály

  • 2006
  • C
Result

Modelling of diffusivity by means of 2-D lattice gas cellular automata model

A short introduction into lattice gas cellular automata model is presented. The main characteristics of model are describes. The paper is devoted to the modeling of well-known physical phenomenon - molecular diffusion. Base...

BK - Mechanika tekutin

  • 2007
  • D
Result

Computer simulation of a fluid flow through the declined porous structure

Computer simulation of a fluid flow through the declined porous structure is presented in the paper. The hypothesis related to the curious behaviour of the fluid flow inside assembled filters is verified using Lattice Gas Cellular <...

BK - Mechanika tekutin

  • 2013
  • D
  • Link
Result

Semigroup homomorphism and fuzzy automata

A generalized W-fuzzy automata over a complete residuated lattice and a monoid in this residuated lattices are introduced and by using these filters a category of these generalized fuzzy automata is investigated. I...

BB - Aplikovaná statistika, operační výzkum

  • 2002
  • Jx
Result

opaal: A Lattice Model Checker

We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate by using a method similar to Counter-Example ...

IN - Informatika

  • 2011
  • D
  • Link
Result

Cellular Automata with Infinite Number of Subshift Attractors

We argue that the complexity of a cellular automaton is reflected in the complexity of the lattice of its subshift attractors We construct cellular automata with infinite lattice of subshift attractors of arbitrarily high c...

BA - Obecná matematika

  • 2007
  • Jx
Result

Simulation of particle motion in a closed conduit validated against experimental data

velocity profiles generates various trajectory patterns. The lattice Boltzmann method the lattice grid yield an increase in demands on computational resources. Due......

BK - Mechanika tekutin

  • 2015
  • D
  • Link
Result

Simulation of saltation motion using LBE based methods

The numerical model of the motion of the circular particle close to the bed in an open channel with a rugged bed based on the lattice Boltzmann method (LBM) is presented. The LBM is used as a DNS approach in which hydrodynamic force...

BK - Mechanika tekutin

  • 2014
  • D
  • Link
Result

Lattice expansion of (Ga, Mn)As: The role of substitutional Mn and of the compensating defects

Density functional method was used to determine the lattice constant of (Ga, Mn)As as a function of concentrations of Mn and comensating growth defects. The effect of annealing is estimated......

BM - Fyzika pevných látek a magnetismus

  • 2005
  • Jx
Result

An introduction into the cellular automata theory with applications

Cellular automata are dynamical system where space, time and variables are discrete. Cellular automata are capable of non-numerical simulation of physics, chemistry, biology, etc., and they are useful for faithful parallel processin...

BE - Teoretická fyzika

  • 2000
  • D
  • 1 - 10 out of 236 591