THEORETICAL ASPECTS OF THE RESEARCH TO THE CAPACITY OF THE SECURITY SYSTEM FROM THE SYMBOLIC APPROACHES


Symbolic BDD and ADD Algorithms for Energy Games

Energy games, which model quantitative consumption of a limited resource, e.g., time or energy, play a central role in quantitative models for reactive systems.Reactive synthesis constructs a controller which satisfies a given specification, if one exists.БРЕНД ЯК ФАКТОР УСПІШНОГО МАРКЕТИНГУ (НА ПРИКЛАДІ Б

read more

A arte de curar dos profissionais de saúde popular em tempo de cólera: Grão-Pará do século XIX The curative art of specialists in folk medicine in times of cholera: 19th century Grão-Pará

Durante a epidemia de cólera que assolou o Grão-Pará, em 1855, pouco mais de uma dezena de anônimos profissionais de saúde popular inscreveram suas artes de curar nos anais da história.As terapias não eram muitas, mas foram disseminadas nos jornais provinciais ou pela forte tradição oral presente na Amazônia.Uma dessas terapias - o uso do

read more