We apply the recently developed techniques of higher order abstract syntax and functorial operational semantics to give a compositional and fully abstract semantics for the π-calculus equipped with open bisimulation. The key novelty in our work is the realisation that the sophistication of open bisimulation requires us to move from the usual semantic domain of presheaves over subcategories of S...

Natural language predicts viral escape Viral mutations that evade neutralizing antibodies, an occurrence known as escape, can occur and may impede the development of vaccines. To predict which lead to Hie et al. used a machine learning technique for natural processing with two components: grammar (or syntax) meaning semantics) (see Perspective by Kim Przytycka). Three different unsupervised mod...

since any kind of training aims at educating professionals, this research tries to merge theoretical and practical bases of translation training and remove any obstacles in different educational programs existing in the fields of translation studies. translation training is not confined to language teaching, although mastering both source and target languages will make the translators more succ...

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

Hybrid Knowledge Bases based on Lifschitz's logic of Minimal with Negation as Failure are a successful approach to combine the expressivity Description Logics and Logic Programming in single language. Their syntax, defined by Motik Rosati, disallows function symbols. In order define well-founded semantics for MKNF HKBs, Knorr et al. partition modal atoms occurring it, called alternating fixpoin...

We report on the idea to use colours to distinguish syntax and semantics as an educational tool in logic classes. This distinction gives also reason to reflect on some philosophical issues concerning semantics. 1998 ACM Subject Classification F.4.1, F.4.m