Introduction: Finding herbs with promising effects to prevent or postpone Alzheimer Disease (AD) is highly demanded. The present study aimed at clarifying plausible effects and related mechanism(s) of Zataria Multiflora Essential Oil (ZMEO) against memory impairment in a rat model of the AD. Methods: Forty male adult rats were categorized into four groups and treated as follows: 1. The Negativ...

A conceptual model is used to support development and design within the area of systems software modeling. The notion validation refers representing a domain in accurately generating results using an executable model. In UML specifications, verifies correctness diagrams against any constraints rules defined Currently, significant research has been conducted on test sets validate that conform re...

Introduction: Klotho and dipeptidyl peptidase-4 (DPP4) are two proteins that modulate inflammatory pathways. We investigated the association between circulating klotho and DPP4 activity and their relationship with inflammatory cytokines, miR-29a, and miR-195 in Alzheimer disease (AD). Methods: This study was conducted on 16 AD patients and 16 healthy age-matched controls. Plasma levels of tumo...

Background and objectives:Alzheimer’s disease (AD) is a neurodegenerative disorder. Nowadays, many investigations are performed to find new drugs for AD and medicinal plants are considered as one of the most important sources for developing new drugs. According to the role of oxidant agents and acetylcholinesterase enzyme (AChE) in AD, plants with antioxidant and AChE inhibitio...

As one of the most environmentally friendly and cost-effective method, anaerobic digestion (AD) has been widely studied and developed as a conventional technology to degrade biodegradable materials and produce biogas simultaneously. Various substrate sources are used in this process such as organic fraction of municipal solid waste (MSW), waste activated sludge (WAS), animal manures, agro-indus...

Business process verification is an important topic in business process management (BPM). The verification of standard UML Activity Diagram is not easy due to lack of mature tools. YAWL (yet another workflow language) has a formal semantics based on Petri net; verification of YAWL model seems easier than other modeling languages such as UML-AD. A series of mature verification tools has been rel...

the etiopathogenesis of alzheimer's disease (ad) is still unclear.  however, long-term oxidative stress is believed to be one of the major contributing factors in progression of neuronal degeneration and decline of cognitive function in ad. in order to assess the presence of oxidative stress in ad, we examined the enzymatic activities of the erythrocyte cu-zn superoxide dismutase (cu-zn sod), g...

This article describes activity modeling as specified by the Systems Modeling Language (as specified by the SysML Merge Team, http://doc.omg.org/ad/2006-02-01, February 2006) and the finalization of the Unified Modeling Language version 2 (UML 2). It reviews and updates an earlier proposed alignment between Enhanced Functional Flow Block Diagrams (EFFBD), UML 2 Activities, and requirements deve...

In this paper, we introduce and study AD-logic, i.e., a system of (hybrid) modal logic that can be used to reason about Aristotelian diagrams. The language LAD, is interpreted on kind birelational Kripke frames, which call “AD-frames”. We establish sound strongly complete axiomatization for prove there exists bijection between finite diagrams (up isomorphism) AD-frames isomorphism). then show h...