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

276 453 (0,314s)

Result

Modeling and Simulation of a Variable-Speed Diesel-Electric Power Set

The paper represents some results of modeling and simulation of a diesel-electric aggregate with a three-phase full-wave rectifier connected to its output......

JA - Elektronika a optoelektronika, elektrotechnika

  • 2002
  • D
Result

A general search for new phenomena at HERA

A model-independent search for deviations from the Standard Model prediction is performed using the full e-p sample collected by the H1 experiment at HERA....

BF - Elementární částice a fyzika vysokých energií

  • 2009
  • Jx
Result

Formal specification of full grammar models and Implementation of tactical generation resources for all three languages in a Finale Prototype. AGILE project deliverable Work Package 6: SPEC3-Bg

Formal specification of full grammar models and Implementation of tactical generation resources for all three languages in a Finale Prototype. AGILE project deliverable Work Package 6: SPEC3-Bg, SPEC33-Cz, SPEC3-RU. Work Pa...

AI - Jazykověda

  • 2000
  • Vx
Result

Program for Generation of Parametrized Reduced Dynamical Models

The program reduces full the dynamical model for the grid of parameters and then parametrized the reduced state space model by polynomial or rational polynomial functions according to user requests....

JR - Ostatní strojírenství

  • 2009
  • R
Result

Industrial camera model positioned on an effector for automated tool center point calibration

The study presents a novel, full model of an industrial camera suitable solution which employs a full camera model positioned on the effector of an industrial robotic arm. The proposed full camera mode...

Robotics and automatic control

  • 2024
  • Jimp
  • Link
Result

Generic Environment for Full Automation of Benchmarking

The paper presents an approach for using connectors to overcome incompatibilities in different component models and allow for deploying heterogeneous applications in the deployment process defined by the OMG Deployment and Configuration spec...

JC - Počítačový hardware a software

  • 2004
  • D
Result

DiVinE Cuda

New generation of DiVinE tool allowing for significant acceleration of model checking process by full utilization of modern massively parallel architectures. The tool is effectively utilizing the CUDA technologie....

IN - Informatika

  • 2009
  • R
Result

Generalization of BIM model for Purposes of Facility Management

convenient to work with the full detail of the BIM model of the building. To fulfil the demands for the generalization of the model, generalization techniques were suggested in recent years. The impact of...

Civil engineering

  • 2022
  • D
  • Link
Result

STACKS AND SHEAVES OF CATEGORIES AS FIBRANT OBJECTS, I

category that is Quillen equivalent to the generalized model category for stacksWe show that the category of categories fibred over a site is a generalized Quillen model category in which the weak equivalences are...

BA - Obecná matematika

  • 2014
  • Jx
Result

Spectral Transition Model with the General Contact Interaction

Using a technique introduced by Sergei Naboko, we analyze a generalization of the parameter-controlled model of spectral transition, originally proposed by Smilansky and Solomyak, to the situation where the singular interaction resp...

Applied mathematics

  • 2023
  • C
  • Link
  • 1 - 10 out of 276 453