A Mathematical Apparatus for Domain Ontology Simulation. An Extendable Language of Applied Logic

* This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".

A Mathematical Apparatus for Ontology Simulation. Specialized Extensions of the Extendable Language of Applied Logic

* This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".

A decision support framework for infrastructure maintenance investment decision-making

Infrastructure management agencies are facing multiple challenges, including aging infrastructure, reduction in capacity of existing infrastructure, and availability of limited funds. Therefore, decision makers are required to think innovatively and develop inventive ways of using available funds. Maintenance investment decisions are generally made based on physical condition only. It is important to understand that spending money on public infrastructure is synonymous with spending money on people themselves. This also requires consideration of decision parameters, in addition to physical condition, such as strategic importance, socioeconomic contribution and infrastructure utilization. Consideration of multiple decision parameters for infrastructure maintenance investments can be beneficial in case of limited funding. Given this motivation, this dissertation presents a prototype decision support framework to evaluate trade-off, among competing infrastructures, that are candidates for infrastructure maintenance, repair and rehabilitation investments. Decision parameters' performances measured through various factors are combined to determine the integrated state of an infrastructure using Multi-Attribute Utility Theory (MAUT). The integrated state, cost and benefit estimates of probable maintenance actions are utilized alongside expert opinion to develop transition probability and reward matrices for each probable maintenance action for a particular candidate infrastructure. These matrices are then used as an input to the Markov Decision Process (MDP) for the finite-stage dynamic programming model to perform project (candidate)-level analysis to determine optimized maintenance strategies based on reward maximization. The outcomes of project (candidate)-level analysis are then utilized to perform network-level analysis taking the portfolio management approach to determine a suitable portfolio under budgetary constraints. The major decision support outcomes of the prototype framework include performance trend curves, decision logic maps, and a network-level maintenance investment plan for the upcoming years. The framework has been implemented with a set of bridges considered as a network with the assistance of the Pima County DOT, AZ. It is expected that the concept of this prototype framework can help infrastructure management agencies better manage their available funds for maintenance.

On the role of Computational Logic in Data Science: representing, learning, reasoning, and explaining knowledge

In this thesis we discuss in what ways computational logic (CL) and data science (DS) can jointly contribute to the management of knowledge within the scope of modern and future artificial intelligence (AI), and how technically-sound software technologies can be realised along the path. An agent-oriented mindset permeates the whole discussion, by stressing pivotal role of autonomous agents in exploiting both means to reach higher degrees of intelligence. Accordingly, the goals of this thesis are manifold. First, we elicit the analogies and differences among CL and DS, hence looking for possible synergies and complementarities along 4 major knowledge-related dimensions, namely representation, acquisition (a.k.a. learning), inference (a.k.a. reasoning), and explanation. In this regard, we propose a conceptual framework through which bridges these disciplines can be described and designed. We then survey the current state of the art of AI technologies, w.r.t. their capability to support bridging CL and DS in practice. After detecting lacks and opportunities, we propose the notion of logic ecosystem as the new conceptual, architectural, and technological solution supporting the incremental integration of symbolic and sub-symbolic AI. Finally, we discuss how our notion of logic ecosys- tem can be reified into actual software technology and extended towards many DS-related directions.

Can We Predict The Clinical Outcomes Of Genitourinary Trauma Patients And Offer Them An Evidence-based Support? The Case For Telemedicine Network.

32

Matrix Support And Institutional Support: Analyzing Their Construction.

This is an analysis of the theoretical and practical construction of the methodology of Matrix Support by means of studies on Paideia Support (Institutional and Matrix Support), which is an inter-professional work of joint care in recent literature and official documents of the Unified Health System (SUS). An attempt was made to describe methodological concepts and strategies. A comparative analysis of Institutional Support and Matrix Support was also conducted using the epistemological framework of Field and Core Knowledge and Practices.

Jogos dos povos indigenas : trajetórias e interlocuções = Indigenous peoples games : trajectory and interlocutions

Universidade Estadual de Campinas . Faculdade de Educação Física

Risco, corpo e socialidade no voo livre

Universidade Estadual de Campinas . Faculdade de Educação Física

"Sacando" o voleibol : do amadorismo a espetacularização da modalidade no Brasil (1970-2000)

Universidade Estadual de Campinas . Faculdade de Educação Física

Molecular phylogeny of the Myzorhynchella Section of Anopheles (Nyssorhynchus) (Diptera: Culicidae): genetic support for recently described and resurrected species

Phylogenetic relationships among species of the Myzorhynchella Section of Anopheles (Nyssorhynchus) were investigated using the nuclear ribosomal DNA second internal transcribed spacer (ITS2), the nuclear whitegene and mitochondrial cytochrome oxidase subunit I (COI) regions. The recently described Anopheles pristinus and resurrected Anopheles guarani were also included in the study. Bayesian phylogenetic analyses found Anopheles parvus to be the most distantly related species within the Section, a finding that is consistent with morphology. An. pristinus and An. guarani were clearly resolved from Anopheles antunesi and Anopheles lutzii, respectively. An. lutzii collected in the same mountain range as the type locality were found within a strongly supported clade, whereas individuals from the southern state of Rio Grande do Sul, tentatively identified as An. lutzii based on adult female external morphology, were distinct from An. lutzii, An. antunesi and from each other, and may therefore represent two new sympatric species. A more detailed examination of An. lutzii sensu latoalong its known geographic range is recommended to resolve these anomalous relationships.

Cost risk benefit analysis to support chemoprophylaxis policy for travellers to malaria endemic countries

Background: In a number of malaria endemic regions, tourists and travellers face a declining risk of travel associated malaria, in part due to successful malaria control. Many millions of visitors to these regions are recommended, via national and international policy, to use chemoprophylaxis which has a well recognized morbidity profile. To evaluate whether current malaria chemo-prophylactic policy for travellers is cost effective when adjusted for endemic transmission risk and duration of exposure. a framework, based on partial cost-benefit analysis was used Methods: Using a three component model combining a probability component, a cost component and a malaria risk component, the study estimated health costs avoided through use of chemoprophylaxis and costs of disease prevention (including adverse events and pre-travel advice for visits to five popular high and low malaria endemic regions) and malaria transmission risk using imported malaria cases and numbers of travellers to malarious countries. By calculating the minimal threshold malaria risk below which the economic costs of chemoprophylaxis are greater than the avoided health costs we were able to identify the point at which chemoprophylaxis would be economically rational. Results: The threshold incidence at which malaria chemoprophylaxis policy becomes cost effective for UK travellers is an accumulated risk of 1.13% assuming a given set of cost parameters. The period a travellers need to remain exposed to achieve this accumulated risk varied from 30 to more than 365 days, depending on the regions intensity of malaria transmission. Conclusions: The cost-benefit analysis identified that chemoprophylaxis use was not a cost-effective policy for travellers to Thailand or the Amazon region of Brazil, but was cost-effective for travel to West Africa and for those staying longer than 45 days in India and Indonesia.

Information from managing information systems as a fundamental element to support decision-making in hospitals

This article deals with the activity of defining information of hospital systems as fundamental for choosing the type of information systems to be used and also the organizational level to be supported. The use of hospital managing information systems improves the user`s decision -making process by allowing control report generation and following up the procedures made in the hospital as well.

Support vector machines for detecting age-related changes in running kinematics

Age-related changes in running kinematics have been reported in the literature using classical inferential statistics. However, this approach has been hampered by the increased number of biomechanical gait variables reported and subsequently the lack of differences presented in these studies. Data mining techniques have been applied in recent biomedical studies to solve this problem using a more general approach. In the present work, we re-analyzed lower extremity running kinematic data of 17 young and 17 elderly male runners using the Support Vector Machine (SVM) classification approach. In total, 31 kinematic variables were extracted to train the classification algorithm and test the generalized performance. The results revealed different accuracy rates across three different kernel methods adopted in the classifier, with the linear kernel performing the best. A subsequent forward feature selection algorithm demonstrated that with only six features, the linear kernel SVM achieved 100% classification performance rate, showing that these features provided powerful combined information to distinguish age groups. The results of the present work demonstrate potential in applying this approach to improve knowledge about the age-related differences in running gait biomechanics and encourages the use of the SVM in other clinical contexts. (C) 2010 Elsevier Ltd. All rights reserved.

A novel electrocatalyst support with proton conductive properties for polymer electrolyte membrane fuel cell applications

The objective of this study is to graft the Surface of carbon black, by chemically introducing polymeric chains (Nafion (R) like) with proton-conducting properties. This procedure aims for a better interaction of the proton-conducting phase with the metallic catalyst particles, as well as hinders posterior support particle agglomeration. Also loss of active surface call be prevented. The proton conduction between the active electrocatalyst site and the Nafion (R) ionomer membrane should be enhanced, thus diminishing the ohmic drop ill the polymer electrolyte membrane fuel cell (PEMFC). PtRu nanoparticles were supported on different carbon materials by the impregnation method and direct reduction with ethylene glycol and characterized using amongst others FTIR, XRD and TEM. The screen printing technique was used to produce membrane electrode assemblies (MEA) for single cell tests in H(2)/air(PEMFC) and methanol operation (DMFC). In the PEMFC experiments, PtRu supported on grafted carbon shows 550 mW cm(-2) gmetal(-1) power density, which represents at least 78% improvement in performance, compared to the power density of commercial PtRu/C ETEK. The DMFC results of the grafted electrocatalyst achieve around 100% improvement. The polarization Curves results clearly show that the main Cause of the observed effect is the reduction in ohmic drop, caused by the grafted polymer. (C) 2009 Elsevier B.V. All rights reserved.

Normal Versus Pathological Voice Signals Using Wavelet Analysis and Least Squares Support-Vector Machines

State of Sao Paulo Research Foundation (FAPESP)