Escher ako matematik. Rozhovor s N. G. de Bruijnom a Hendrikom Lenstrom
Evaluation of objective test using a pair of orthographic projections for descriptive geometry education.
Experimentální matematika se hlásí o slovo
Extending Full Text Search Engine for Mathematical Content
The WWW became the main resource of mathematical knowledge. Currently available full text search engines can be used on these documents but they are deficient in almost all cases. By applying axioms, equal transformations, and by using different notation each formula can be expressed in numerous ways. Most of these documents do not contain semantic information; therefore, precise mathematical interpretation is impossible. On the other hand, semantic information can help to give more precise information....
Extracting Precise Data on the Mathematical Content of PDF Documents
As more and more scientific documents become available in PDF format, their automatic analysis becomes increasingly important. We present a procedure that extracts mathematical symbols from PDF documents by examining both the original PDF file and a rasterized version. This provides more precise information than is available either directly from the PDF file or by traditional character recognition techniques. The data can then be used to improve mathematical parsing methods that transform the mathematics...
Factorization makes fast Walsh, PONS and other Hadamard-like transforms easy
A simple device, based on the factorization of invertible matrix polynomials, enabling to identify the possibility of fast implementation of linear transforms is presented. Its applicability is demonstrated in the case of Hadamard matrices and their generalization, Hadamard matrix polynomials.
Fast optical tracking of diffusion in time-dependent environment of brain extracellular space
An improved version of the Integrative Optical Imaging (IOI) method for diffusion measurements in a geometrically complex environment of the brain extracellular space has been developed. We present a theory for this Fast Optical Tracking Of Diffusion (FOTOD) which incorporates a time-dependent effective diffusion coefficient in homogeneous anisotropic media with time-dependent nonspecific linear clearance. FOTOD can be used to measure rapid changes in extracellular diffusion permeability that occur,...
Fenomenologie matematické pravdy
Fenomenologie matematiky
Filosofická pojetí pravděpodobnosti v pracích českých myslitelů [Book]
Finite element analysis for a regularized variational inequality of the second kind
In this paper, we investigate the a priori and the a posteriori error analysis for the finite element approximation to a regularization version of the variational inequality of the second kind. We prove the abstract optimal error estimates in the - and -norms, respectively, and also derive the optimal order error estimate in the -norm under the strongly regular triangulation condition. Moreover, some residual–based a posteriori error estimators are established, which can provide the global upper...
Finite element modelling of flow and temperature regime in shallow lakes
A two-dimensional depth-averaged flow and temperature model was applied to study the circulation patterns in the Oder (Szczecin) Lagoon located on the border between Germany and Poland. The system of shallow water and temperature evolution equations is discretized with the modified Utnes scheme [4], which is characterized by a semi-decoupling algorithm. The continuity equation is rearranged to Helmholtz equation form. The upwinding Tabata method [3] is used to approximate convective terms. Averaged...
Footprints Literacy: the Origins of Art and Prelude to Science
Foreword
Foreword
Formalized models of ontological systems
Four IMO problems.
Fractal geometry as design aid.
Fractals and Multi Layer Coloring Algorithms
Framework for mobile learning system based on educational component.