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

979 (0,085s) •

Result

Stress Analysis in the Railway Substructure

Stress Analysis in the Railway Substructure...

JM - Inženýrské stavitelství

  • 2008
    • •
  • D
Result

Extended Polyaromatic Hydrocarbons: Graphite, Fullerene, and Carbon Nanotube Substructures

The synthesis of graphite substructures, graphene, fullerene substructures and carbon nanotube substructures assorted by different organic reactions are discussed....

CC - Organická chemie

  • 2010
    • •
  • C
Result

Dimpled membranes in composition of substructures

Article in the journal DEKTIME that describes the risks associated with the use of dimpled membranes in substructure.

JN - Stavebnictví

  • 2015
    • •
  • Jx
    • •
  • Link
Result

Is the Substructure a Controlling Factor of Creep Life in ECAP Materials?

The possible effect of the substructure in ECAP produced materials on the creep life...

JP - Průmyslové procesy a zpracování

  • 2007
    • •
  • D
Result

Practice of modelling with substructuring

Practice of modelling with substructuring...

JQ - Strojní zařízení a nástroje

  • 1999
    • •
  • C
Result

Application of Geosynhtetic Materials by CD

Geosynthetic materials in the structural layer of railway substructure. Application of reinforcing geotextiles, geogrids and geocomposites by CD....

JM - Inženýrské stavitelství

  • 2001
    • •
  • D
Result

A note on the substructural hierarchy

We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the N3 level of the substructural hierarchy....

BA - Obecná matematika

  • 2016
    • •
  • Jx
    • •
  • Link
Result

Analysis of behavior of railways track substructure

The article deals with the description of the preparation and implementation of experimental measurements of pressures in the substructure of railway track in the railway station Stéblová....

JM - Inženýrské stavitelství

  • 2013
    • •
  • Jx
Result

Substructural propositional dynamic logics

We prove completeness and decidability of a version of Propositional Dynamic Logic where the underlying non-modal propositional logic is a substructural logic in the vicinity of the Full Distributive Non-associative Lambek Calculus. Extensio...

Pure mathematics

  • 2019
    • •
  • D
    • •
  • Link
Result

Disjunction Property and Complexity of Substructural Logics

We systematically identify a large class of substructural logics that satisfy the disjunction property (DP), and show that every consistent substructural logic with the DP is PSPACE-hard. Our results are obtained by using algebraic ...

BA - Obecná matematika

  • 2011
    • •
  • Jx
    • •
  • Link
  • 1 - 10 out of 979