Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Zeszyty Naukowe Politechniki Białostockiej. Informatyka

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: program probabilistyczny

Sortuj według:

Ogranicz wyniki do:

Probabilistic and non-deterministic semantics for iterative programs

Makarec A.

Zeszyty Naukowe Politechniki Białostockiej. Informatyka

2009

Z. 4

97-110

In this paper probabilistic and non-deterministic programs are considered on the ground of logic of programs. We are interested in dependencies between nondeterministic and probabilistic interpretation of a program. The formal definitions of probabilistic and non-deterministic semantics are the starting point for our considerations. The emphasis is on differences in expressibility the halting property in probabilistic and non-deterministic logic of programs.

Wpracy rozważane są na gruncie logiki programów, probabilistyczne i niedeterministyczne interpretacje programów iteracyjnych. Uwaga autorów skupia się na związkach miedzy tymi interpretacjami. Punktem wyjścia są formalne definicje semantyk dla obu podejść. Główny nacisk został położony na wyrażalność własności stopu w tych semantykach.

Determining transition probabilities in probabilistic algotithms

Borowska A.

Zeszyty Naukowe Politechniki Białostockiej. Informatyka

2002

Z.1

7-19

The main problem of the paper is related to the algebraic method for determining transition probabilities in probabilistic algorithms interpreted in finite structures. The correctness of this method is based on a lemma stating that the determinant of a matrix (being of a special form) is different from zero. The paper contains two proofs of this lemma, formulated without a proof in [3].

Poniższa praca zawiera dwa dowody lematu opublikowanego w pracy [3] bez dowodu. Algebraiczny fakt rozważany w lemacie jest punktem wyjściowym dla metody wyznaczania prawdopodobieństw przejść w iteracyjnych algorytmach probabilistycznych interpretowanych w skończonych dziedzinach. Dotyczy on niezerowości wyznacznika macierzy o pewnej specyficznej postaci.