Filters (3 )
Download Results
424 research outcomes, page 1 of 43
  • publication . Article . 2009
    Open Access English
    Authors:
    Hrubeš, Pavel;

    Abstract We give proofs of the effective monotone interpolation property for the system of modal logic K , and others, and the system I L of intuitionistic propositional logic. Hence we obtain exponential lower bounds on the number of proof-lines in those systems. The m...

  • publication . Article . 2015
    Open Access English
    Authors:
    Tomáš Meluzín; Marek Zinecker;
    Publisher: The Authors. Published by Elsevier Ltd.

    This study deals with Initial Public Offering (IPO) developments in the Czech Republic and Poland over the period 2000 – 2012 and aims to indicate the influence of external going public determinants, in particular the capital market size- and liquidityindicators, on IPO...

  • publication . Article . 2007
    Open Access
    Authors:
    Eduard Feireisl;
    Publisher: Elsevier BV

    International audience; The convergence of weak solutions to the compressible Navier-Stokes -Fourier-Poisson system with a friction term is studied in the high friction limit, the pressure law including that corresponding to Fermi-Dirac particles. The limit is shown to ...

  • publication . Part of book or chapter of book . Article . Conference object . 2014
    Open Access
    Authors:
    Martin Sysel;
    Publisher: Springer International Publishing

    The efficiency and safety of Web access can be enhanced by the deployment of an http proxy server in many cases. The first part of this paper provides an introduction to the issue of an HTTP proxy server. The second part of the paper describes used technologies and an i...

  • publication . Article . 2016
    Open Access English
    Authors:
    Dagmar Klichova; Jiri Klich;
    Publisher: Published by Elsevier Ltd.

    Abstract The paper investigates the effect of material machinability on the quality of cutting surfaces created by abrasive waterjet in selected aluminium alloys. The texture of studied surfaces was measured by an optical profilometer and consequently assessed using the...

  • publication . Preprint . Article . 2014
    Open Access English
    Authors:
    Milan Jirasek; Peter Grassl;
    Project: RCUK | SAFE Barriers - a Systems... (EP/I036427/1), RCUK | DTA - University of Glasg... (EP/J500434/1)

    AbstractIntegral-type nonlocal damage models describe the fracture process zones by regular strain profiles insensitive to the size of finite elements, which is achieved by incorporating weighted spatial averages of certain state variables into the stress–strain equatio...

  • publication . Article . Preprint . 2007
    Open Access
    Authors:
    Svatopluk Krysl;
    Publisher: Elsevier BV

    We give a classification of $1^{st}$ order invariant differential operators acting between sections of certain bundles associated to Cartan geometries of the so called metaplectic contact projective type. These bundles are associated via representations, which are deriv...

  • publication . Conference object . Article . 2017
    Open Access English
    Authors:
    Karel Dvořák;
    Publisher: Elsevier

    This work is focused on the possibilities of utilization of ashes from fluidized bed combustion, i.e. FBC ashes, for the manufacturing of hydraulic lime. Alternative hydraulic binders are becoming very popular in the present due to requirements on reducing CO2 emissions...

  • publication . Article . Preprint . 2008
    Open Access
    Authors:
    Daniel Kral; Vena, L.; Oriol Serra;
    Publisher: Elsevier BV

    Green [B. Green, A Szemeredi-type regularity lemma in abelian groups, with applications, Geom. Funct. Anal. 15 (2005) 340-376] established a version of the Szemeredi Regularity Lemma for abelian groups and derived the Removal Lemma for abelian groups as its corollary. W...

  • publication . Article . Conference object . 2012
    Open Access
    Authors:
    Stanislav Hejda;
    Publisher: Elsevier BV

    Abstract Utilization of the flow chemistry as well as microreactors belongs to the latest trends in chemical engineering. Continuous microreactors of various kinds can be found in the literature, for example the micromixers, micro packed beds, or micro photo reactors. I...

424 research outcomes, page 1 of 43
Last index information