An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle

We prove lower bounds of the form exp(n^{ε d}), ε_d > 0, on the length of proofs of an explicit sequence of tautologies, based on the Pigeonhole Principle, in proof systems using formulas of depth d, for any constant d. This is the largest lower bound for the strongest proof system, for which any superpolynomial lower bounds are known.     

Model of free charge generation in polymers

A time solution of the excimer-ion pair system is presented here with a special attention to the time asymptote. Presented at the Czech-Israeli-German Symposium “Dynamical Processes in Condensed Molecular Systems”, Prague, Czech Republic, 26–30 May 1997. This work was supported by the grant No. C 1050601 of the Grant Agency of the Academy of Sciences of the Czech Republic.     

On the Neighbour-Distinguishing Index of a Graph

A proper edge colouring of a graph G is neighbour-distinguishing provided that it distinguishes adjacent vertices by sets of colours of their incident edges. It is proved that for any planar bipartite graph G with Δ(G)≥12 there is a neighbour-distinguishing edge colouring of G using at most Δ(G)+1 colours. Colourings distinguishing pairs of vertices that satisfy other requirements are also considered.     

Low noise optical receiver with multi-octave bandwidth

Optical and Quantum Electronics - A new approach for the design and construction of low noise broadband optical receivers is presented utilizing distributed amplification based on hybrid integrated...     

Wind tunnel simulation of air pollution dispersion in a street canyon

Physical simulation was used to study pollution dispersion in a street canyon. The street canyon model was designed to study the effect of measuring flow and concentration fields. A method of C02-laser photoacoustic spectrometry was applied for detection of trace concentration of gas pollution. The advantage of this method is its high sensitivity and broad dynamic range, permitting monitoring of concentrations from trace to saturation values. Application of this method enabled us to propose a simple model based on line permeation pollutant source, developed on the principle of concentration standards, to ensure high precision and homogeneity of the concentration flow. Spatial measurement of the concentration distribution inside the street canyon was performed on the model with reference velocity of 1.5 m/s.