oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 252 )

2018 ( 350 )

2017 ( 393 )

2016 ( 481 )

Custom range...

Search Results: 1 - 10 of 168978 matches for " Peter Bezděk "
All listed articles are free for downloading (OA Articles)
Page 1 /168978
Display every page Item
Language Emptiness of Continuous-Time Parametric Timed Automata
Nikola Bene?,Peter Bezděk,Kim G. Larsen,Ji?í Srba
Computer Science , 2015,
Abstract: Parametric timed automata extend the standard timed automata with the possibility to use parameters in the clock guards. In general, if the parameters are real-valued, the problem of language emptiness of such automata is undecidable even for various restricted subclasses. We thus focus on the case where parameters are assumed to be integer-valued, while the time still remains continuous. On the one hand, we show that the problem remains undecidable for parametric timed automata with three clocks and one parameter. On the other hand, for the case with arbitrary many clocks where only one of these clocks is compared with (an arbitrary number of) parameters, we show that the parametric language emptiness is decidable. The undecidability result tightens the bounds of a previous result which assumed six parameters, while the decidability result extends the existing approaches that deal with discrete-time semantics only. To the best of our knowledge, this is the first positive result in the case of continuous-time and unbounded integer parameters, except for the rather simple case of single-clock automata.
LTL Model Checking of Parametric Timed Automata
Peter Bezděk,Nikola Bene?,Vojtěch Havel,Ji?í Barnat,Ivana ?erná
Computer Science , 2014,
Abstract: The parameter synthesis problem for timed automata is undecidable in general even for very simple reachability properties. In this paper we introduce restrictions on parameter valuations under which the parameter synthesis problem is decidable for LTL properties. The proposed problem could be solved using an explicit enumeration of all possible parameter valuations. However, we introduce a symbolic zone-based method for synthesising bounded integer parameters of parametric timed automata with an LTL specification. Our method extends the ideas of the standard automata-based approach to LTL model checking of timed automata. Our solution employs constrained parametric difference bound matrices and a suitable notion of extrapolation.
Porovnávání 50 eskych měst pomocí fuzzy logiky
Václav Bezděk
Systémová Integrace , 2011,
Abstract: This paper tries to process the data from “MasterCard Czech Centre for Development” study from 2010 using fuzzy logic, and compare the results with results of the study.
Multimodální hodnocení fyzioterapeutického ú inku u pacient s posti ením horní kon etiny po cévní mozkové p íhodě Multimodal evaluation of the effects of physiotherapy on stroke patients with upperlimb involvement
Dagmar Bezděková,Petr Hlu?tík,Jaroslav Opavsky
Acta Universitatis Palackianae Olomucensis : Gymnica , 2007,
Abstract: úkolem této práce bylo sestavení jednoduché testové baterie, která by citlivě registrovala změny motoriky paretické ruky a posti ené horní kon etiny u pacient po cévní mozkové p íhodě v chronickém stádiu. Vycházeli jsme z bě ně dostupnych test (Nine hole peg test, dynamometrie apod.), které jsou pro tyto ú ely v praxi nejvíce vyu ívány, a sledovali jsme charakter a dynamiku jejich změn po 10 rehabilita ních procedurách. Vět ina vysledk u vybranych test měla obdobnou tendenci k mírnému zlep ení, ale vzhledem k rozsahu souboru nedosáhly tyto změny hladiny statistické vyznamnosti. Prezentované nálezy p edkládáme pouze jako vysledky pilotní studie. Studie bude pokra ovat a soubor bude dále roz i ován. The aim of this paper was to compile an easy testing battery, sensitive enough to register changes in the motor task performance of the paretic hand and disabled upper limb of patients who have had a brain stroke and are in the chronic stage. We selected tests commonly used in rehabilitation to scan the characteristics and dynamics of test value changes after 10 kinesiotherapy lessons. Most of our outcome had the same trend of slight improvement, but did not reach statistical signifi cance because of the size of the group. Only our pilot outcome is presented in this paper. We are going to continue this study.
Characteristics of organic matter and contents of some ubiquitous hydrophobic organic pollutants in selected soils and sediments
Bohá?ek Z,Bezděk J,Ková?ová M,Hanák J
Bulletin of Geosciences , 2003, DOI: 10.3140/bull.geosci.2003.03.179
Abstract: Compositions of organic matter in soil and sediment samples were analysed using standard geochemical analytical methods. The tested set contained 44 lake sediment samples from three depth profiles on the bottom of the Horní Be va Reservoir and 14 samples of uncultivated soil from shallow profiles at the localities of interest: Poto ník, Lelekovice and ervenohorské sedlo Saddle. Organic matter was characterised by determinations of individual carbon fractions/forms (Ctot, Corg, Cmin, CHS, CHA, CFA), by customary analyses of group parameters (Hum, EOM, TES, NES, AOX-S) and also by multicomponent analyses of the contents and distributions of individual selected hydrophobic organic pollutants - normal and isoprenoid alkanes (SHn+i), polycyclic aromatic hydrocarbons (PAH), polychlorinated biphenyls (PCB) and organochlorinated pesticides (OCP). Reliability of data, characterising organic compositions of the tested samples, was guaranteed by certified analytical methods and consequently verified by statistical evaluations of correlations between the values of definitionally related quantities. Characteristics of the organic matter were then used in a parallel investigation of sorption properties of some of the samples. Results of pollutant analyses were also evaluated and discussed with respect to the Czech national legislation limits for permissible pollution of the environment; they proved, in general, a significant and widespread background distribution of some of these xenobiotics in the examined rock environments. Characteristic distributions of individual alkanes determined by multicomponent analyses also helped to distinguish external hydrocarbon contaminations from the natural background as well as to estimate a probable source of contamination.
Sorption of hydrophobic organic pollutants on soils and sediments
Toul J,Bezděk J,Ková?ová M,Bohá?ek Z
Bulletin of Geosciences , 2003, DOI: 10.3140/bull.geosci.2003.03.205
Abstract: Sorption interactions between selected hydrophobic organic pollutants as sorbates and various natural sorbents in two-phase systems sorbent - water were experimentally tested by means of both batch (static) and column elution (dynamic) methods. Relatively persistent priority pollutants such as polycyclic aromatic hydrocarbons (naphthalene, anthracene and fluoranthene), organochlorinated pesticides (methoxychlor, hexachlorobenzene and lindane) and triazine herbicides (simazine and atrazine) were used as model hydrophobic sorbates. The collection of the examined natural sorbents included lake sediments, soils, reference samples of subsoil sedimentary rocks and some technical products as synthetic reference materials. By using batch methods, the distribution/sorption coefficients KD and/or parameters KF and 1/n of the Freundlich isotherm equation for the respective sorption systems were determined. In the case of natural sorbents with significant contents of organic matter, the corresponding normalised distribution/sorption coefficients KOC or KOC(F) were calculated and compared with known reference values of these parameters. On the basis of some observed differences between experimental and expected data, the role of organic matter and some other factors affecting the sorption processes, limitations of the simple model of hydrophobic sorption and reliability of sorption data are discussed. Elution sequences and phase distribution balances of the pollutants, determined by elutions of the sorbates with water from sorbent columns, also reflected differences in their sorption parameters in detail. In comparison with batch methods, however, the column methods are less effective and for numerous reasons unsuitable for the measurement of sorption parameters.
Wormholes Supported by a Combination of Normal and Quintessential Matter in Einstein and Einstein-Maxwell Gravity  [PDF]
Peter K. F. Kuhfittig
Journal of Modern Physics (JMP) , 2013, DOI: 10.4236/jmp.2013.41006
Abstract: It is shown in the first part of this paper that a combined model comprising ordinary and quintessential matter can support a traversable wormhole in Einstein-Maxwell gravity. Since the solution allows zero tidal forces, the wormhole is suitable for a humanoid traveler. The second part of the paper shows that the electric field can be eliminated (Einstein gravity), but only by tolerating enormous tidal forces. Such a wormhole would still be capable of transmitting signals.
Disease Prevention and Alleviation by Human Myoblast Transplantation  [PDF]
Peter K. Law
Open Journal of Regenerative Medicine (OJRM) , 2016, DOI: 10.4236/ojrm.2016.52003
Abstract: Myoblast implantation is a unique, patented technology of muscle regeneration being tested in Phase III clinical trials of muscular dystrophy, ischemic cardiomyopathy, Phase II trial of cancer, and Phase I trial of Type II diabetes. Differentiated and committed, myoblasts are not stem cells. Implanted myoblasts fuse spontaneously among themselves, replenishing genetically normal myofibers. They also fuse with genetically abnormal myofibers of muscular dystrophy, cardiomyopathy, or Type II diabetes, transferring their nuclei containing the normal human genome to provide stable, long-term expression of the missing gene products. They develop to become cardiomyocytes in the infracted myocardium. Myoblasts transduced with VEGF165 allow concomitant regeneration of blood capillaries and myofibers. They are potent biologics for treating heart failure, ischemic cardiomyopathy, diabetic ischemia, erectile dysfunction, and baldness. Myoblasts, because of their small size, spindle shape, and resilience, can grow within wrinkles and on skin surfaces, thus enhancing the color, luster and texture of the skin “plated” with them. They can be injected subcutaneously as a cellular filler to reduce wrinkles. Intramuscular injection of myoblasts can augment the size, shape, consistency, tone and strength of muscle groups, improving the lines, contours and vitality to sculpt a youthful appearance. This highly promising technology has great social economic values in treating hereditary, fatal and debilitating disease conditions.
The Effect of Conformal Symmetry on Charged Wormholes  [PDF]
Peter K. F. Kuhfittig
Journal of Applied Mathematics and Physics (JAMP) , 2016, DOI: 10.4236/jamp.2016.412209
Abstract: This paper discusses the effect that conformal symmetry can have on a charged wormhole. The analysis yields a physical interpretation of the conformal factor in terms of the electric charge. The rate of change of the conformal factor determines much of the outcome, which ranges from having no solution to wormholes having either one or two throats.
Accounting for Some Aspects of Dark Matter and Dark Energy via Noncommutative Geometry  [PDF]
Peter K. F. Kuhfittig
Journal of Modern Physics (JMP) , 2017, DOI: 10.4236/jmp.2017.83021
Abstract: The purpose of this paper is to seek a connection between noncommutative geometry, an offshoot of string theory, and certain aspects of dark matter and dark energy. The former case is based on a simple mathematical argument showing that the main manifestation of dark matter in connection with flat galactic rotation curves is also a consequence of noncommutative geometry. The latter case requires an examination of the local effect of noncommutative geometry and the subsequent extension to the global phenomenon of an accelerating Universe.
Page 1 /168978
Display every page Item


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