Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: formalism

Sortuj według:

Ogranicz wyniki do:

Studying Opacity of Reaction Systems through Formula Based Predictors

Gori Roberta, Gruska Damas, Milazzo Paolo

Fundamenta Informaticae

2019

Vol. 165, nr 3-4

303--319

Reaction systems are a qualitative formalism for modeling systems of biochemical reactions. They describe the evolution of sets of objects representing biochemical molecules. One of the main characteristics of Reaction systems is the non-permanency of the objects, namely objects disappear if not produced by any enabled reaction. Reaction systems execute in an environment that provides new objects at each step. Causality properties of reaction systems can be studied by using notions of formula based predictor. In this context, we define a notion of opacity that can be used to study information flow properties for reaction systems. Objects will be partitioned into high level (invisible) and low level (visible) ones. Opacity ensures that the presence (or absence) of high level objects cannot be guessed observing the low level objects only. Such a property is shown to be decidable and computable by exploiting the algorithms for minimal formula based predictors.

Formalizm - kluczem do informatyzacji geodezji, kluczem do geomatyki

Szeliga K.

Roczniki Geomatyki

2007

T. 5, z. 5

65-72

Polish geodesy found itself in a peculiar position: is not able to take effective advantages of computer science and technologies. The reason of this is an obsolete methodology used. The only solution is to formulate geodetic problems using mathematical terms, to formalize them. Formalism is a precondition for computerization . Computerization of geodesy is a precondition for implementation of geodesy as a part of geomathics.

Metodyka i formalizm

Pachelski W.

Geodeta : magazyn geoinformacyjny

2002

nr 12

34--36