Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "observational equivalence" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
The observational equivalence of natural and unnatural rates of interest
Autorzy:
Bystrov, Victor
Powiązania:
https://bibliotekanauki.pl/articles/1046640.pdf
Data publikacji:
2020
Wydawca:
Główny Urząd Statystyczny
Tematy:
natural rate of interest
state-space model
observational equivalence
Opis:
The results of the study presented in this paper demonstrate that a structural model of the natural interest rate, which is consistent with the standard assumptions of the natural rate theory, admits an interpretable, observationally equivalent representation in which a redefined, 'unnatural' equilibrium rate is different from the natural rate in the original model. The alternative representation was obtained by an invertible transformation implemented in the minimal state-space form of the natural-rate model. The identification theory for state-space models is used in the paper to prove the observational equivalence of these two representations. In the alternative representation, the equilibrium interest rate fails to meet the assumption of the natural rate theory, because it depends on past demand shocks. The alternative model, being observationally equivalent, has different implications for the conduct of monetary policy. The problem of observational equivalence arises in relation to natural-rate models because of the inherent unobservability of the natural interest rate; a potential solution to this problem could be the augmentation of the information set which is used to identify and estimate the natural rate.
Źródło:
Przegląd Statystyczny; 2019, 66, 3; 183-199
0033-2372
Pojawia się w:
Przegląd Statystyczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Process calculi and the verification of security protocols
Autorzy:
Boreale, M.
Gorla, D.
Powiązania:
https://bibliotekanauki.pl/articles/309407.pdf
Data publikacji:
2002
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
protokół kryptograficzny
kryptografia
bezpieczeństwo
cryptographic protocols
Dolev-Yao model
observational equivalence
process calculi
spi calculus
Opis:
Recently there has been much interest towards using formal methods in the analysis of security protocols. Some recent approaches take advantage of concepts and techniques from the field of process calculi. Process calculi can be given a formal yet simple semantics, which permits rigorous definitions of such concepts as "attacker", "secrecy"" and "authentication". This feature has led to the development of solid reasoning methods and verification techniques, a few of which we outline in this paper.
Źródło:
Journal of Telecommunications and Information Technology; 2002, 4; 28-39
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies