Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2019 ( 214 )

2018 ( 334 )

2017 ( 303 )

2016 ( 398 )

Custom range...

Search Results: 1 - 10 of 171736 matches for " Milan ?e?ka "
All listed articles are free for downloading (OA Articles)
Page 1 /171736
Display every page Item
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Ji?í Barnat,Lubo? Brim,Milaneka
Electronic Proceedings in Theoretical Computer Science , 2009, DOI: 10.4204/eptcs.14.8
Abstract: In this paper we present a tool that performs CUDA accelerated LTL Model Checking. The tool exploits parallel algorithm MAP adjusted to the NVIDIA CUDA architecture in order to efficiently detect the presence of accepting cycles in a directed graph. Accepting cycle detection is the core algorithmic procedure in automata-based LTL Model Checking. We demonstrate that the tool outperforms non-accelerated version of the algorithm and we discuss where the limits of the tool are and what we intend to do in the future to avoid them.
Computing Optimal Cycle Mean in Parallel on CUDA
Ji?í Barnat,Petr Bauch,Lubo? Brim,Milaneka
Electronic Proceedings in Theoretical Computer Science , 2011, DOI: 10.4204/eptcs.72.8
Abstract: Computation of optimal cycle mean in a directed weighted graph has many applications in program analysis, performance verification in particular. In this paper we propose a data-parallel algorithmic solution to the problem and show how the computation of optimal cycle mean can be efficiently accelerated by means of CUDA technology. We show how the problem of computation of optimal cycle mean is decomposed into a sequence of data-parallel graph computation primitives and show how these primitives can be implemented and optimized for CUDA computation. Finally, we report a fivefold experimental speed up on graphs representing models of distributed systems when compared to best sequential algorithms.
Remarks on one type of uniform distribution
Milan Pa?téka
Uniform Distribution Theory , 2007,
Abstract: A sequence ${x_n}$ of numbers in $[0,1]$ is called Buck's uniformly distributed if for every interval $I \subset [0,1]$ the set ${n \in \mathbb{N}, x_n \in I}$ is Buck's measurable and its Buck's measure density is equal to the length of $I$. Some examples of sequences are given. An analogy of Weyl's criterion is proved.
HOU?KA, Milan,BERáNKOVá, Martina
Journal on Efficiency and Responsibility in Education and Science , 2011,
Abstract: The objective of the work is to suggest pedagogical, economic and user-oriented criteria for the efficiency evaluation of multimedia lectures on mathematical methods in economics. Based on our previous work we describe them and suggest how to evaluate them including scales and measures, if possible. Then we concentrate on the pedagogical criteria and show their utilization for the efficiency evaluation of the multimedia lectures. For this purpose we divided the students into two groups based on the frequency of utilizing the multimedia lectures for their study, and used the methods of statistical analysis. In particular, we applied two-sample F-test to know whether the variances of students’ results are significantly different or not and an appropriate version of the t-test to know whether mean values of students’ results are significantly different or not. The case study is based on the data acquired form the students’ performance measurement in two specific subjects taught in the Czech University of Life Sciences Prague in 2010 and 2011.
Ustrezno vrednotenje zalog trdnih mineralnih surovin
Trajan Dimkovski,Milan Bidovec,Du?ka Rokavec
Geologija , 2000,
Influence of road salt on the biological removal of nitrogen
Eli?ka Horniaková,Milan Búgel
Acta Montanistica Slovaca , 2007,
Abstract: Processes occuring in the aeration tank remove nitrogen from the organic substances in wastewater by using the bacterii. Nitrification utilize the metabolism of aerobic bacterii Nitrosomonas, Nitrococus, Nitrospira, Nitrobacter Nitrocystis a Nitrosobolus. Pseudosomonas, Chromobacterium, Denitrobacillus a Micrococus are denitrification anaerobic bacterii. The bacterii are lithotrophic and they are sensitive to pH of wastewater. Chlorine and heavy metals are toxic for these bacterii. For a correct grow, reproduction and metabolism, temperature above 10 oC is needed but the ideal temperature is from 20 to 30 oC. An intensive cold reduces or even stops the activity of bacterii.Cold road salt flow to a sewage and then to the aeration basin. Many of nitrification microorganisms dead because their cells lyse and their content flow into the tank. NaCl is toxic for bacterii. From aeration basin a high amount of N-NH4 flows out. The sludge may be a slightly flocculate and the effluent water may be turbid
A fitting of critical temperature periods in the aeration tank by the polynom of 10th order
Eli?ka Horniaková,Milan Búgel
Acta Montanistica Slovaca , 2008,
Abstract: The article deals with processes occuring in the aeration tank to remove nitrogen from organic substances in wastewater by usingbacterii. For an effective grow, the reproduction and metabolism, the temperature above 10 oC is needed but the ideal temperatureis from 20 to 30 oC. An intensive cold reduces or even stops the activity of the bacterii but heating of the aeration tank preventsundercooling.The fitting of temperature of the slurry in activated tank may predicate on set of heating of suspension in the tank in a criticaltime.
A comparison theorem for matrix limitation methods with applications
Rita Giuliano Antonini,Milan Pa?téka
Uniform Distribution Theory , 2006,
Abstract: A comparison Theorem for matrix limitation methods is proved and the following applications are given: - new results concerning the comparison between weighted densities generated by different weights; - new results concerning the comparison between weighted densities of a set $E \subseteq \mathbb{N}^*$ and those of its transformed set $\pi(E)$, where $\pi$ is a given injective function $\mathbb{N}^* \to \mathbb{N}^*$. In particular, a new class of permutations preserving the asymptotic density is identified.
Tatiana Liptáková,Milan Malcho,Jozef Janda?ka
Materials Engineering , 2010,
Abstract: The corrosion behaviour of five types of steels and cast irons proposed for production of the duct system in the recycling aluminium furnace is studied in this article. The metals tested were exposed in the real conditions at high temperature (from 800 to 1100°C ) in very aggressive environment of combustion products for thirty days. The character and intensity of corrosion attack of the tested materials are evaluated by gravimetric and metallographic analysis.
Ján Viňá?,Milan ábel,?ubo? Ka??ák
Materials Engineering , 2009,
Abstract: The contribution deals with the influence of welding electrode tips deformation on their lifetime. The influence of material properties, production technology and the intensity of welding electrodes load on their lifetime are presented. The electrode tips of the most used type of CuCr1Zr alloy of three basic standard shapes before and after the process of welding are evaluated. The process of welding is realized with low, middle and maximum welding parameters on programmable pneumatic spot welding machine VTS BPK 20. The influence of welding parameters on chosen material characteristics of welding tips is observed. Through the use of upsetting test, dependency of forming strength and deformation of material on used technology of welding tip production is observed.
Page 1 /171736
Display every page Item

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