background: providing an appropriate background is essential for necessary changes and innovation in the higher education, the need to review the classification criteria and development of the type of native criteria and local standards which match the cultural and scientific requirements of the country. investigating the possible types of indicators to adjusted accurately and objectively is im...

21th century has been named as Participation century. Therefore, the future complicated world will request in empowering the people and their active Participation in all arena. According to this fact, the world will be able to pass the future complications just via the Participation of Active people. Among then, the Participation expansion in passing societies, which had less activities in Part...

It is probably very hard to develop a new model checker that is faster than UPPAAL for verifying (correct) timed automata. In fact, our tool MCTA does not even try to compete with UPPAAL in this (i. e., UPPAAL’s) arena. Instead, MCTA is geared towards analyzing incorrect specifications of timed automata. It returns (shorter) error traces faster.

The ability of the chicken to encode different aspects of spatial layout were investigated. In a first series of experiments, chickens were disoriented in a rectangular environment, where they proved able to reorient themselves using both geometric and non-geometric properties of the environment. In a second series of experiments, chickens were trained to find the central position of an arena u...

It is probably very hard to develop a new model checker that is faster than UPPAAL for verifying (correct) timed automata. In fact, our tool MCTA does not even try to compete with UPPAAL in this (i. e., UPPAAL’s) arena. Instead, MCTA is geared towards analyzing incorrect specifications of timed automata. It returns (shorter) error traces faster.

Highly active antiretroviral therapy (HAART) has become the standard for treating HIV infection. HIV protease inhibitors (PIs) have been used as amajor component of theHAART regimens over the past 10 years, along with nucleoside and non-nucleoside reverse transcriptase inhibitors. The introduction of these regimens resulted in an appreciable decline in morbidity and mortality due to HIV infecti...

In this paper it is presented an Agency for Integration, Archive and Diffusion of Medical Information (AIDA), which configures a data warehouse, developed using Multi-Agent technology. AIDA is like a symbiont, with a close association with core applications present at any health care facility, such as the Picture Archive Communication System, the Radiological Information System or the Electroni...