This paper deals with modeling and verification of software systems by combining UML diagrams and Pi-calculus.UML 2.0 Activity diagrams are used for modeling the behavior of software Surf Books systems, while Pi-calculus is used for semantic and verification purposes.More precisely, UML is a semi-formal language and so it needs formal semantics for
Purpose: Due to the novel and rapidly evolving nature of the COVID-19 pandemic, there has been a widespread perpetuation of myths, rumours, and conspiracy theories about the pandemic.This has led to the emergence of an “infodemic” of fake news and distorted facts.Our study examines Nigerians’ knowledge and sources of COVID-19 information duri
This research identified the perceptions of u.s.travelers regarding Colombia as a potential tourism destination, including their perception of risk.The framework of destination image and travelers’ behavior, including Surf Books perceived risk, cognitive and affective images, and perceived value for the trip, was adopted.Data for these behaviors
The author analyzes of selected newspaper articles published in the online Wooden Toys version of the magazine Newsweek Polska, concerning the Synod of the Catholic Church in 2014 and 2015.The research concerns the presentation of the synod from the point of view of the categories of identity and stereotypes applied.The author uses the press conten
Trace conditioning and extinction learning depend on the hippocampus, but it remains unclear how neural activity in the Neoprene Tops hippocampus is modulated during these two different behavioral processes.To explore this question, we performed calcium imaging from a large number of individual CA1 neurons during both trace eye-blink conditioning a