208 research outputs found

    Agent planning, models, virtual haptic computing, and visual ontology

    Get PDF
    The paper is a basis for multiagent visual computing with the Morph Gentzen logic. A basis to VR computing, computational illusion, and virtual ontology is presented. The IM_BID model is introduced for planning, spatial computing, and visual ontology. Visual intelligent objects are applied with virtual intelligent trees to carry on visual planning. New KR techniques are presented with generic diagrams and appllied to define computable models. The IM Morph Gentzen Logic for computing for multimedia are new projects with important computing applications. The basic principles are a mathematical logic where a Gentzen or natural deduction systems is defined by taking arbitrary structures and multimedia objects coded by diagram functions.The techniques can be applied to arbitrary structures definable by infinitary languages. Multimedia objects are viewed as syntactic objects defined by functions, to which the deductive system is applied.Applications in Artificial Intelligence - AgentsRed de Universidades con Carreras en Informática (RedUNCI

    Agent planning, models, virtual haptic computing, and visual ontology

    Get PDF
    The paper is a basis for multiagent visual computing with the Morph Gentzen logic. A basis to VR computing, computational illusion, and virtual ontology is presented. The IM_BID model is introduced for planning, spatial computing, and visual ontology. Visual intelligent objects are applied with virtual intelligent trees to carry on visual planning. New KR techniques are presented with generic diagrams and appllied to define computable models. The IM Morph Gentzen Logic for computing for multimedia are new projects with important computing applications. The basic principles are a mathematical logic where a Gentzen or natural deduction systems is defined by taking arbitrary structures and multimedia objects coded by diagram functions.The techniques can be applied to arbitrary structures definable by infinitary languages. Multimedia objects are viewed as syntactic objects defined by functions, to which the deductive system is applied.Applications in Artificial Intelligence - AgentsRed de Universidades con Carreras en Informática (RedUNCI

    Processing and Transmission of Information

    Get PDF
    Contains reports on three research projects.U. S. Army Research Office - Durham under Contract DAHC04-69-C-0042National Aeronautics and Space Administration (Grant NGL 22-009-013

    Agent planning, models, virtual haptic computing, and visual ontology

    Get PDF
    The paper is a basis for multiagent visual computing with the Morph Gentzen logic. A basis to VR computing, computational illusion, and virtual ontology is presented. The IM_BID model is introduced for planning, spatial computing, and visual ontology. Visual intelligent objects are applied with virtual intelligent trees to carry on visual planning. New KR techniques are presented with generic diagrams and appllied to define computable models. The IM Morph Gentzen Logic for computing for multimedia are new projects with important computing applications. The basic principles are a mathematical logic where a Gentzen or natural deduction systems is defined by taking arbitrary structures and multimedia objects coded by diagram functions.The techniques can be applied to arbitrary structures definable by infinitary languages. Multimedia objects are viewed as syntactic objects defined by functions, to which the deductive system is applied.Applications in Artificial Intelligence - AgentsRed de Universidades con Carreras en Informática (RedUNCI

    The Comparison of Marital Satisfaction between Men without Child and Men with First and Second Child in Transition to Parenthood

    Get PDF
    Aims: Marital satisfactions vary in different stages of life of couples. Childbirth as special period may cause different challenges regarding to person’s potential, therefore this study was carried out to compare marital satisfaction between men without child and men with first and second child in transition to parenthood. Materials & Methods: This correlation study was done in 3 groups with 60 men without child, and with first and second child, a multistage sampling was conducted. Instruments include: Enrich marital satisfaction, transition difficulty to parenthood scales and demographics data, that were completed by eligible men refer to Mashhad health care centers in 2014. Data was analyzed with SPSS V16. Findings: The mean age of men was 32.52±5.52 years and 57.2% had academic education. Men without child had 1.7% relative dissatisfaction, 20% moderate satisfaction, 61.7% more satisfaction and 16.7% most satisfaction. Men with first child had 3.3% relative dissatisfaction, 31.7% moderate satisfaction, 51.7% more satisfaction and 13.7% most satisfaction and men with second child had 8.3% relative dissatisfaction, 28.3% moderate satisfaction, 53.3% more satisfaction and 10% most satisfaction. There were no significant differences among three groups (p=0.19). The16.4% of marital satisfaction in men with child was predicted by transition difficulty to parenthood that implies the strong correlation between these two variables. Conclusion: There was no correlation between men’s marital satisfaction with childbirth; therefore couples should be consulted not to worry about fatherhood and number of children

    A model inference system for generic specification with application to code sharing

    Full text link

    Evidence for Histidine-Rich Protein 2 Immune Complex Formation in Symptomatic Patients in Southern Zambia

    Get PDF
    Background: Rapid diagnostic tests based on histidine-rich protein 2 (HRP2) detection are the primary tools used to detect Plasmodium falciparum malaria infections. Recent conflicting reports call into question whether α-HRP2 antibodies are present in human host circulation and if resulting immune complexes could interfere with HRP2 detection on malaria RDTs. This study sought to determine the prevalence of immune-complexed HRP2 in a low-transmission region of Southern Zambia. Methods: An ELISA was used to quantify HRP2 in patient sample DBS extracts before and after heat-based immune complex dissociation. A pull-down assay reliant on proteins A, G, and L was developed and applied for IgG and IgM capture and subsequent immunoprecipitation of any HRP2 present in immune complexed form. A total of 104 patient samples were evaluated using both methods. Results: Immune-complexed HRP2 was detectable in 17% (18/104) of all samples evaluated and 70% (16/23) of HRP2-positive samples. A majority of the patients with samples containing immune-complexed HRP2 had P. falciparum infections (11/18) and were also positive for free HRP2 (16/18). For 72% (13/18) of patients with immune-complexed HRP2, less than 10% of the total HRP2 present was in immune-complexed form. For the remaining samples, a large proportion (≥ 20%) of total HRP2 was complexed with α-HRP2 antibodies. Conclusions: Endogenous α-HRP2 antibodies form immune complexes with HRP2 in the symptomatic patient population of a low-transmission area in rural Southern Zambia. For the majority of patients, the percentage of HRP2 in immune complexes is low and does not affect HRP2-based malaria diagnosis. However, for some patients, a significant portion of the total HRP2 was in immune-complexed form. Future studies investigating the prevalence and proportion of immune-complexed HRP2 in asymptomatic individuals with low HRP2 levels will be required to assess whether α-HRP2 antibodies affect HRP2 detection for this portion of the transmission reservoir
    • …
    corecore