Search results for "CONSISTENCY"

showing 10 items of 316 documents

Verifying a medical protocol with temporal graphs: the case of a nosocomial disease.

2014

Abstract Objective Our contribution focuses on the implementation of a formal verification approach for medical protocols with graphical temporal reasoning paths to facilitate the understanding of verification steps. Materials and methods Formal medical guideline specifications and background knowledge are represented through conceptual graphs, and reasoning is based on graph homomorphism. These materials explain the underlying principles or rationale that guide the functioning of verifications. Results An illustration of this proposal is made using a medical protocol defining guidelines for the monitoring and prevention of nosocomial infections. Such infections, which are acquired in the h…

Model checking[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationComputation tree logicTheoretical computer scienceComputer scienceModel checking Medical protocolMédecine humaine et pathologieCritical Care and Intensive Care MedicineMedical guidelineConsistency (database systems)Clinical Protocols[ SDV.MHEP ] Life Sciences [q-bio]/Human health and pathologyDrug Resistance BacterialHumansFormal verificationProblem SolvingProtocol (science)Cross Infectionbusiness.industryVisual informationModels TheoreticalModélisation et simulationNosocomial diseases[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationConceptual graphsCatheter-Related InfectionsConceptual graphCarrier StateVisual modelingDisease SusceptibilitySoftware engineeringbusiness[SDV.MHEP]Life Sciences [q-bio]/Human health and pathologyAlgorithmsJournal of critical care
researchProduct

Feedback-Based Algorithm for Negotiating Human Preferences and Making Risk Assessment Decisions

2023

Work equipment risk assessment is essential for guaranteeing health and safety of workers in industrial contexts.Many and varied hazards are involved in the use of equipment,which have to be periodically subject to thorough controls required by law. This research proposes a novel hybrid decision-making framework aimed at integrating flexible negotiation on human preferences. This goal will be achieved by establishing effective feedback exchanges with expert(s) familiarwith the field of risk and maintenance of work equipment. We extend a previous research that proposed a user-friendly negotiation procedure to increase consistency of judgments provided by experts about relevant risk factors. …

Multi-criteria decision-making Expert feedback Consistency improvement Work equipment risk assessment
researchProduct

The analytic hierarchy process with stochastic judgements

2014

The analytic hierarchy process (AHP) is a widely-used method for multicriteria decision support based on the hierarchical decomposition of objectives, evaluation of preferences through pairwise comparisons, and a subsequent aggregation into global evaluations. The current paper integrates the AHP with stochastic multicriteria acceptability analysis (SMAA), an inverse-preference method, to allow the pairwise comparisons to be uncertain. A simulation experiment is used to assess how the consistency of judgements and the ability of the SMAA-AHP model to discern the best alternative deteriorates as uncertainty increases. Across a range of simulated problems results indicate that, according to c…

Multicriteria decisionInformation Systems and ManagementGeneral Computer ScienceAnalytic network processAnalytic hierarchy processmulticriteriaMulticriteriaManagement Science and Operations ResearchDecision analysisIndustrial and Manufacturing EngineeringConsistency (database systems)EconometricsQA MathematicsuncertaintyQAta512ta218analytic hierarchy processMathematicsta212decision analysisStochastic multicriteria acceptability analysista214Analytic hierarchy processUncertaintysimulationRange (mathematics)Modeling and SimulationPairwise comparisonSimulationDecision analysisEuropean Journal of Operational Research
researchProduct

Consistency Analysis of Genome-Scale Models of Bacterial Metabolism: A Metamodel Approach.

2015

Genome-scale metabolic models usually contain inconsistencies that manifest as blocked reactions and gap metabolites. With the purpose to detect recurrent inconsistencies in metabolic models, a large-scale analysis was performed using a previously published dataset of 130 genome-scale models. The results showed that a large number of reactions (~22%) are blocked in all the models where they are present. To unravel the nature of such inconsistencies a metamodel was construed by joining the 130 models in a single network. This metamodel was manually curated using the unconnected modules approach, and then, it was used as a reference network to perform a gap-filling on each individual genome-s…

MultidisciplinaryConsistency analysisBacteriaProcess (engineering)lcsh:RGenome scalelcsh:MedicineBiologycomputer.software_genreBioinformaticsModels BiologicalMetamodelingSet (abstract data type)Consistency (database systems)Bacterial ProteinsProof of conceptlcsh:QData miningMetagenomicsCompleteness (statistics)lcsh:SciencecomputerGenome BacterialMetabolic Networks and PathwaysResearch ArticlePLoS ONE
researchProduct

Identidad deportiva en adolescentes españoles: propiedades psicométricas de la versión en español de la escala Athletic Identity Measurement Scale-E

2016

ResumenEste estudio pretende determinar las propiedades psicométricas de la Athletic Identity Measurement Scale en su versión traducida al español y la identidad deportiva (ID) de una muestra de adolescentes españoles. El cuestionario se administró a 441 adolescentes de 12-18 años, clasificados en: adolescentes del Programa de Especialización Deportiva (PED), adolescentes no-PED activos y adolescentes no-PED inactivos. El análisis factorial confirmatorio reveló una estructura jerárquica y multidimensional de tres factores de primer orden (identidad social, exclusividad y afectividad negativa) y uno de segundo orden, la ID. Los resultados apoyan la adecuación de los ítems en sus respectivas …

Multivariate analysisAdolescentFiabilidadIdentity (social science)Negative affectivityValidityDevelopmental psychology03 medical and health sciences0302 clinical medicineIdentityInternal consistency0501 psychology and cognitive sciencesSocial identity theoryPsychology(all)AdolescenteGeneral PsychologySport05 social sciences030229 sport sciencesDeporteReliabilityIdentidadConfirmatory factor analysisTest (assessment)050106 general psychology & cognitive sciencesScale (social sciences)ValidezPsychologySocial Sciences (miscellaneous)Revista Latinoamericana de Psicología
researchProduct

Individual differences in granularity of the affective responses to music

2013

The main focus of the paper is the role of listeners’ emotion-relevant characteristics and musical expertise in the granularity of affective responses to music. Another objective of the study is to test the consistency of the granularity of affect that is perceived in music and/or experienced in response to it. In Experiment 1, 91 musicians and nonmusicians listened to musical excerpts and grouped them according to the similarity of the affects they experienced while listening. Finer grouping granularity was found in musicians and high rumination scorers. Male musicians with above-median scores in rumination produced a larger number of clusters than the other male participants. Experiment 2…

Music psychologyMusicalAffect (psychology)Consistency (negotiation)CategorizationMusic and emotionRuminationmedicineActive listeningmedicine.symptomPsychologySocial psychologyGeneral PsychologyCognitive psychologyPolish Psychological Bulletin
researchProduct

A Smoothed Particle Image Reconstruction method

2010

Many image processing techniques work with scattered data distribution usually employing grid based methods leading to numerical problems. To address this issue, a numerical method avoiding mesh generation can be used. Such a method performs an integral representation by means of a smoothing kernel function and, in the discrete formulation, involves domain particles. In this paper the meshless Smoothed Particle Hydrodynamics method is proposed in the Image Reconstruction context and a new computational strategy called Smoothed Particle Image Reconstruction is presented; the new method is based on a scatter approach and several innovative ideas are introduced in order to improve the computat…

Nearest neighboring searchMathematical optimizationAlgebra and Number TheoryConsistency restoringNumerical analysisMeshless particle methodContext (language use)Image processingFunction (mathematics)Iterative reconstructionSmoothed-particle hydrodynamicsSettore MAT/08 - Analisi NumericaComputational MathematicsImage processingMesh generationImage reconstruction reconstructionTheory of computationSmoothed particle Hydrodinamics methodAlgorithmMathematicsCalcolo
researchProduct

Integration of an LP Solver into Interval Constraint Propagation

2011

This paper describes the integration of an LP solver into iSAT, a Satisfiability Modulo Theories solver that can solve Boolean combinations of linear and nonlinear constraints. iSAT is a tight integration of the well-known DPLL algorithm and interval constraint propagation allowing it to reason about linear and nonlinear constraints. As interval arithmetic is known to be less efficient on solving linear programs, we will demonstrate how the integration of an LP solver can improve the overall solving performance of iSAT.

Nonlinear systemSatisfiability modulo theoriesDPLL algorithmLocal consistencyBoolean combinationInterval (mathematics)SolverAlgorithmMathematicsInterval arithmetic
researchProduct

A thermodynamically consistent nonlocal formulation for damaging materials

2002

A thermodynamically consistent nonlocal formulation for damaging materials is presented. The second principle of thermodynamics is enforced in a nonlocal form over the volume where the dissipative mechanism takes place. The nonlocal forces thermodynamically conjugated are obtained consistently from the free energy. The paper indeed extends to elastic damaging materials a formulation originally proposed by Polizzotto et al. for nonlocal plasticity. Constitutive and computational aspects of the model are discussed. The damage consistency conditions turn out to be formulated as an integral complementarity problem and, consequently, after discretization, as a linear complementarity problem. A n…

Nonlocal modelsDiscretizationMechanical EngineeringConstitutive equationGeneral Physics and AstronomyPlasticityComplementarity problemLinear complementarity problemFinite element methodComplementarity problem; Damage; Nonlocal models;Classical mechanicsDamageMechanics of MaterialsConsistency (statistics)Complementarity theoryDissipative systemGeneral Materials ScienceSettore ICAR/08 - Scienza Delle CostruzioniMathematics
researchProduct

What can be learnt about nuclear polarization from a consistency analysis ofe ? cross sections and muonic X-rays for208Pb and the isotone pair209Bi/2…

1977

A joint analysis of recent electron scattering cross sections and muonic atom X-ray energies is performed for208Pb and the isotone pair209Bi/208Pb. From the compatibility of the experimental data one can learn about the nuclear polarisation correction. However, we find this information not to be as accurate as other authors claimed when we take into consideration the ambiguities in the treatment of the corrections of the higher levels.

Nuclear physicsPhysicsNuclear and High Energy PhysicsConsistency analysisIsotoneNuclear fusionNuclear cross sectionElementary particlePolarization (waves)Electron scatteringExotic atomZeitschrift f�r Physik A: Atoms and Nuclei
researchProduct