oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2020 ( 25 )

2019 ( 242 )

2018 ( 364 )

2017 ( 379 )

Custom range...

Search Results: 1 - 10 of 209030 matches for " Ond?ej Lánsky "
All listed articles are free for downloading (OA Articles)
Page 1 /209030
Display every page Item
Makariusová, Radana: Transformace světového ádu. Akté i a globální vládnutí. Plzeň: Ale eněk, 2010, 229 stran, ISBN: 978-80-7380-295-0.
Ondej Lánsky
St?edoevropské Politické Studie , 2011,
Abstract: Book Review
An Efficient Finite Tree Automata Library
Ondej Lengál
Computer Science , 2012,
Abstract: Numerous computer systems use dynamic control and data structures of unbounded size. These data structures have often the character of trees or they can be encoded as trees with some additional pointers. This is exploited by some currently intensively studied techniques of formal verification that represent an infinite number of states using a finite tree automaton. However, currently there is no tree automata library implementation that would provide an efficient and flexible support for such methods. Thus the aim of this Master's Thesis is to provide such a library. The present paper first describes the theoretical background of finite tree automata and regular tree languages. Then it surveys the current implementations of tree automata libraries and studies various verification techniques, outlining requirements for the library. Representation of a finite tree automaton and algorithms that perform standard language operations on this representation are proposed in the next part, which is followed by description of library implementation. Through a series of experiments it is shown that the library can compete with other available tree automata libraries, in certain areas being even significantly superior to them.
Computational Studies of Bacterial Colony Model  [PDF]
Ondej Pártl
American Journal of Computational Mathematics (AJCM) , 2013, DOI: 10.4236/ajcm.2013.32023
Abstract:

Microbiological experiments show that the colonies of the bacterium bacillus subtilis placed on a dish filled with an agar medium and nutrient form varied spatial patterns while the individual cells grow, reproduce and migrate on the dish in clumps. In this paper, we discuss a system of reaction-diffusion equations that can be used with a view to modelling this phenomenon and we solve it numerically by means of the method of lines. For the spatial discretization, we use the finite difference method and Galerkin finite element method. We present how the spatial patterns obtained depend on the spatial discretization employed and we measure the experimental order of convergence of the numerical schemes used. Further, we present the numerical results obtained by solving the model in a cubic domain.

Generalized Zeros of 2×2 Symplectic Difference System and of Its Reciprocal System
Ondřej Došlý,Šárka Pechancová
Advances in Difference Equations , 2011, DOI: 10.1155/2011/571935
Abstract:
Summation Characterization of the Recessive Solution for Half-Linear Difference Equations
Ondřej Došlý,Simona Fišnarová
Advances in Difference Equations , 2009, DOI: 10.1155/2009/521058
Abstract: We show that the recessive solution of the second-order half-linear difference equation Δ(rkΦ(Δxk))+ckΦ(xk+1)=0, Φ(x):=|x|p 2x, p>1, where r,c are real-valued sequences, is closely related to the divergence of the infinite series ∑∞(rkxkxk+1|Δxk|p 2) 1.
QUANTITATIVE CHARACTERIZATION OF MICROSTRUCTURE OF PURE COPPER PROCESSED BY ECAP
Ondej ?edivy,Viktor Bene?,Petr Poní?il,Petr Král
Image Analysis and Stereology , 2013, DOI: 10.5566/ias.v32.p65-75
Abstract: Orientation imaging microscopy (OIM) allows to measure crystallic orientations at the surface of the material. Digitalized data representing the orientations are processed to recognize the grain structure and they are visualized in crystal orientation maps. Analysis of the data firstly consists in recognition of grain boundaries followed by identification of grains themselves. Knowing the grain morphology it is possible to characterize the homogeneity of the structure and estimate structural parameters related to the physical properties of the material. The paper describes methods of imaging and quantitative characterization of the grain boundary structure in metals based on data from electron backscattered diffraction (EBSD).
Bargmann-Type Inequality for Half-Linear Differential Operators
Gabriella Bognár,Ondřej Došlý
Journal of Inequalities and Applications , 2009, DOI: 10.1155/2009/104043
Abstract: We consider the perturbed half-linear Euler differential equation (Φ(x′))′+[γ/tp+c(t)]Φ(x)=0, Φ(x):=|x|p 2x, p>1, with the subcritical coefficient γ<γp:=((p 1)/p)p. We establish a Bargmann-type necessary condition for the existence of a nontrivial solution of this equation with at least (n+1) zero points in (0,∞).
Symplectic difference systems: oscillation theory and hyperbolic Prüfer transformation
Ond ej Do ly
Abstract and Applied Analysis , 2004, DOI: 10.1155/s108533750430607x
Abstract: We present basic methods of oscillationtheory of symplectic difference systems (SDSs). A particularattention is devoted to the variational principle and to thetransformation method. Hyperbolic Prüfer transformation for SDSs is established.
Use of CFD Tool Ansys Fluent for Fire Safety Improvement of an Indoor Sports Arena
Ond ej Zavila
Transactions of the VSB - Technical University of Ostrava, Safety Engineering Series , 2012, DOI: 10.2478/v10281-012-0004-y
Abstract: The focus of the article is the design of a HVAC (heating, ventilation and air-conditioning) system for the main central space of a real multifunctional indoor sports arena. Numerical simulation of the air flow provided a basis to determine the optimal number of fire ventilators, their capacity and placement, and also to determine the maximum air-flow velocity in openings designed for evacuation in the event of an emergency. The ANSYS Fluent 13.0 software one of the world's most sophisticated CFD (computational fluid dynamics) codes was used for the numerical simulation. In this case, the specific problem of a turbulent flow in a complex geometry was under investigation. This study should serve as a base for future installation of the system in the indoor sports arena.
Analyza systému Android ve vztahu ke klientské ásti informa ních systém
Ondej Berger
Systémová Integrace , 2011,
Abstract: There is a quite massive development in mobile technologies. Relatively new platform Android is becoming an interesting alternative for developing a client application for information systems because of its adaptability to various devices from cell phones to netbooks. Following text targets to analysis how to create a mobile client on Android and Android based application components. Android application parts and other important aspects (like context awarennes) are analysed in way how to use them as parts of mobile client. There is also a small development comparsion with Java Micro Edition because Android uses Java as its programming language.
Page 1 /209030
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.