Time filter

Source Type

Alba-Castro M.,Autonomous University of Manizales
2014 9th Computing Colombian Conference, 9CCC 2014 | Year: 2014

Non-interference is a semantic program property that assigns confidentiality levels to data objects and prevents illicit information flows from high to low security levels. In this paper, we extend a certification technique for confidentiality of Java classes regarding non-interference, in order to consider objects and object aliasing. The technique is based on rewriting logic, which is efficiently implemented in the high-level programming language Maude. Starting from a previous Java abstract semantics specification written in Maude, we develop an information flow sensitive Java semantics that allows us to observe global non-interference properties, with object aliasing. In order to achieve a finite state transition system, we develop an abstract Java semantics that we use for secure and effective confidentiality analysis. We have implemented our methodology and developed some experiments that demonstrate the feasibility of our approach. © 2014 IEEE. Source

Henao-Lema C.P.,Autonomous University of Manizales | Verdugo-Alonso M.A.,University of Salamanca | Cordoba-Andrade L.,University of Tolima
Revista Facultad de Medicina | Year: 2015

Background. Currently there are several instruments to assess the quality of life of people with intellectual disabilities, but none of them has been adapted and validated for their usage in Colombian population. The INICO - FEAPS Scale is an instrument that has shown sufficient evidence of validity and reliability in Spanish population with intellectual disabilities, which permits to carry out evidence-based practices by evaluating personal outcomes related to quality of life. Objective. To adapt the INICO-FEAPS Scale to be used in Colombian population with intellectual disabilities and to analyze its properties in terms of validity and reliability. Materials and Methods. In this instrumental study participated three expert judges, 602 people with intellectual disabilities and 693 key informants. A linguistic and a contextual adaptation to Colombian population with intellectual disability were performed. Evidence of content validity and a construct was performed. Reliability was analyzed in terms of internal consistency, intra-rater and inter-rater reliability. Results. The relevance mean score for other people report was 4.88/5.0(SD=0.16), while for self-report was 4.98/5.0 (SD=0.03). The adequacy mean for the former was 3.74/5.0 (SD=0.46) and for the latter was 4.43/5.0 (SD=0.57). Confirmatory factor analysis demonstrates a better goodnessof- fit to a hierarchical factorial second order model where the eight dimensions of the Schalock and Verdugo model are grouped in a second order, which corresponds to the quality of life. Internal consistency for both forms was excellent —Cronbach’s alpha 0.915 and 0.931—. In general, all dimensions of other people report showed better values of Cronbach’s alpha than the self-report subscale. Best intrarater than inter-rater reliability was demonstrated and only one item showed an insignificant agreement (Kappa <0.21) in both tests. Conclusion. The INICO- FEAPS scale adapted for Colombian population with intellectual disabilities shows adequate levels of validity and reliability. © 2015, Universidad Nacional de Colombia. All rights reserved. Source

Thomson F.,Autonomous University of Manizales
Journal of Agrarian Change | Year: 2011

This article examines connections between Colombia's internal armed conflict and agrarian questions. It pays attention to the country's specific historical trajectory of agrarian change, the violent expression of social tensions that this elicited, and the particular ways in which these dynamics were influenced by a changing global context. This analysis of the intimate ties between violent conflict and agrarian questions in Colombia, both in terms of their historical development and their contemporary manifestations, challenges popular notions of the relationship between armed conflict and development. In particular, the article contributes to a critique of the conventional version of the conflict-development nexus by illustrating ways in which the experience of capitalist development in Colombia has been violent and produced poverty. © 2011 Blackwell Publishing Ltd. Source

Duque Parra J.E.,University of Caldas | Duque Parra J.E.,Autonomous University of Manizales
International Journal of Morphology | Year: 2012

SUMMARY: A marked cavitation in the septum pellucidum level is reported, a great cavum septum pellucidum of an adult in the closed space generally recognized as the central nervous system, which is evident in itself, at certain stages of intrauterine life. This cavitation is usually absent in the healthy adult, but in some people with schizophrenia and pugilistic dementia, the cavity can be regarded and found relatively frequently. This finding was found randomly in one of forty-two adult brains, superficially valued from the gross anatomy as normal. This finding may be associated with behavioral disorders, taking in to account that the brain corresponded to a person from a psychiatric hospital. Source

Zimmerman R.D.,Cornell University | Murillo-Sanchez C.E.,Autonomous University of Manizales | Murillo-Sanchez C.E.,National University of Colombia | Thomas R.J.,Cornell University
IEEE Transactions on Power Systems | Year: 2011

Matpower is an open-source Matlab-based power system simulation package that provides a high-level set of power flow, optimal power flow (OPF), and other tools targeted toward researchers, educators, and students. The OPF architecture is designed to be extensible, making it easy to add user-defined variables, costs, and constraints to the standard OPF problem. This paper presents the details of the network modeling and problem formulations used by Matpower, including its extensible OPF architecture. This structure is used internally to implement several extensions to the standard OPF problem, including piece-wise linear cost functions, dispatchable loads, generator capability curves, and branch angle difference limits. Simulation results are presented for a number of test cases comparing the performance of several available OPF solvers and demonstrating Matpower's ability to solve large-scale AC and DC OPF problems. © 2010 IEEE. Source

Discover hidden collaborations