The well-founded model for any general deductive database computed using the paraconsistent relational model, based on four-valued logic, does not support inference rules such as disjunctive syllogism. In order to support disjunctive syllogism, we utilize the generalization of the relational model to quasi-classic (QC) logic, whose inference power is much closer to classical logic. As the parac...

The hub location problem arises in a variety of domains such as transportation and telecommunication systems. In many real-world situations, hub facilities are subject to disruption. This paper deals with the multiple allocation hub location problem in the presence of facilities failure. To model the problem, a two-stage stochastic formulation is developed. In the proposed model, the number of ...

Come with us to read a new book that is coming recently. Yeah, this is a new coming book that many people really want to read will you be one of them? Of course, you should be. It will not make you feel so hard to enjoy your life. Even some people think that reading is a hard to do, you must be sure that you can do it. Hard will be felt when you have no ideas about what kind of book to read. Or...

Aging affects nearly all organisms, but how aging evolves is still unclear. The central prediction of classic theory is that high extrinsic mortality leads to accelerated aging and shorter intrinsic life span. However, this prediction considers mortality as a random process, whereas mortality in nature is likely to be condition dependent. Therefore, the novel theory maintains that condition dep...

This paper proposes a novel reflective approach, orthogonal to the classic computational approach, whereby a system performs computation on its software architecture instead of individual components. The approach supports system’s self-management activities such as dynamic reconfiguration to be realized in a systematic and conceptually clean way and added to existing systems without modifying t...

OBJECTIVE To correlate the symptoms, signs and clinical diagnosis in women with vaginal discharge, based on the combined weight of the character of the vaginal discharge and bedside tests, with the laboratory diagnosis. METHODS Women presenting consecutively to the women's health center with vaginal discharge were interviewed and examined for assessment of the quantity and color of the discha...

We present an approach to enriching the type system of ML with a restricted form of dependent types, where type index terms are required to be drawn from a given type index language L that is completely separate from run-time programs, leading to the DML(L) language schema. This enrichment allows for specification and inference of significantly more precise type information, facilitating progra...

background : turner syndrome (ts) is a sporadic disorder caused by the absence of all or some parts one x-chromosome with major developmental consequences such as short stature and ovarian failure etc. the minor manifestations of ts are cubitus valgus, micrognatism, high-arched palate, short and/or webbed neck, hypothyroidism, etc. different karyotype abnormalities may lead to different clinica...

This paper considers a different version of the parallel machines scheduling problem in which the parallel jobs simultaneously requirea pre-specifiedjob-dependent number of machines when being processed.This relaxation departs from one of the classic scheduling assumptions. While the analytical conditions can be easily statedfor some simple models, a graph model approach is required when confli...