We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set architecture (ISA). The MOP vs. ISA correctness theorem splits naturally into a large number of simple subgoals. This theorem reduces proving the correctness of a given pipelined implementation of the ISA to verifying that each of...

This paper presents the design, implementation and evaluation of the interactive installation The Muses of Poetry (MoP). In MoP the user interacts with a virtual character, who in turn recites poetry while manifesting the emotional content of the poem using visual cues (as facial expressions) and an affective voice. The novelty of MoP is that it combines real-time character animation, semantic ...

In this paper, an automatic method for Persian WordNet construction based on Prenceton WordNet 2.1 (PWN) is introduced. The proposed approach uses Persian and English corpora as well as a bilingual dictionary in order to make a mapping between PWN synsets and Persian words. Our method calculates a score for each candidate synset of a given Persian word and for each of its translation, it select...

Hydrogen (H2) production through water splitting has less viable applications due to the unfavourable kinetics of reaction. Electrocatalysts with a robust structure, high levels catalytic activity, and degree stability are in demand but challenging. This paper reports synthesis highly porous interconnected molybdenum phosphide (MoP) assembled graphene oxide (GO) form MoP/RGO hybrid electrocatal...

We describe a runtime verification approach to increase the safety of IVHM systems by an integration of TEAMS models and MOP (Monitor-Oriented Programming). The TEAMS model is used to automatically extract relevant runtime information from the controlled system by means of events. This information is passed on-line to the MOP engine, allowing to verify complex temporal properties and to discove...

BACKGROUND Traditional Persian medicine (TPM) is based on humors theory. Temperament or mizaj is the result of a combination of four fundamental humors called blood, phlegm, yellow bile, and black bile. Like any other diseases, acne is the result of humoral imbalance. Acne is a highly prevalent dermatological problem, which has both physical and psychological effects on patients. The aim of thi...

In design and fabricate drive shafts with high value of fundamental natural frequency that represented high value of critical speed; using composite materials instead of typical metallic materials could provide longer length shafts with lighter weight. In this paper, multi-objective optimization (MOP) of a composite drive shaft is performed considering three conflicting objectives: fundamental ...