Nombramiento de beca colegial formal a favor de Manuel Zapata y Flórez

1. Petición de beca por parte de Manuel Zapata y Flórez 2. Decreto proveído por el presidente de la Real Audiencia de Santafé 3. Informe del rector del Colegio Mayor sobre las cualidades y aptitudes del pretendiente a la beca 4. Auto de nombramiento de colegial formal a Manuel Zapata y Florez. Siendo rector el doctor don Antonio de Mur Sol de Villa y Grijota.

An approximation to the informal-formal wage gap in Colombia 2008-2012

This document provides recent evidence about the persistency of wage gaps between formal and informal workers in Colombia by using a non-parametric method proposed by Ñopo (2008a). Over a rich dataset at a household level during 2008-2012, it is found that formal workers earn between 30 to 60 percent more, on average, than informal workers. Despite of the formality definition - structuralist or institucionalist- adopted, it is clear that formal workers have more economic advantages than informal ones, but after controlling by demographic and labor variables an important fraction of the gap still remains unexplained.

¿Antártida Argentina?: incidencia del discurso formal del Instituto Antártico Argentino en la implementación del discurso práctico peronista durante el periodo comprendido entre 1945 y 1960

Entre 1945 y 1960 la Argentina de Juan Domingo Perón, condicionada para el nacionalismo, participa de la internacionalización de la Antártida y con ello, inicia una contienda simbólica con Gran Bretaña por ‘representar’ un espacio que considera parte de su ‘Nueva Argentina’. Evocando el ‘razonamiento geográfico’ y el patriotismo más antiguo de los argentinos, Perón instrumentaliza las bases científicas y cartografías australes, para implementar su discurso. Irónicamente, el control interno y discursivo que le permitiría su vínculo con la Armada, también sería la causa de su caída.

Intereses políticos en el reconocimiento formal de la ciudadanía femenina en Colombia (1945-1957)

Esta investigación analiza la incidencia de los intereses políticos en la consecución formal de la ciudadanía femenina en Colombia a mediados del siglo XX, en un contexto marcado por la influencia de postulados liberales capitalistas y del discurso de modernidad. Desde una perspectiva histórica que incluye al género como variable, se presenta evidencia empírica de los principales intereses políticos masculinos como factor central en la aprobación formal del ingreso de las mujeres al espacio público y la ampliación del concepto de ciudadanía. El texto busca complementar enfoques que han privilegiado intereses electorales o movilizaciones feministas como determinantes del voto femenino, llenando así un vacío académico en la literatura de género. Sin minimizar la importancia de las luchas feministas, se concluye que diversos intereses morales, electorales, diplomáticos y económicos posibilitaron en la aprobación del voto femenino en un contexto histórico nacional e internacional particular, marcado por el influyente discurso de modernidad.

Comparación de las dinámicas de uso y apropiación del espacio público en parques de origen informal y formal: parque Villa de la Torre y parque Cayetano Cañizares

El interés de este estudio de caso es comparar las dinámicas de uso y apropiación del espacio público en parques de origen formal e informal, y discutir sus implicaciones en la vida social y urbana, teniendo como zonas el parque Villa de la Torre (informal) y el parque Cayetano Cañizares (formal). Este trabajo se enmarca en conceptos de uso y apropiación del espacio público, a partir de los cuales se examinan las dinámicas de formalidad e informalidad de los parques zonas de estudio, explorando qué efectos puede tener su origen, y revisando si el parque informal implica falta de apropiación y usos conflictivos, o si por el contrario, las dinámicas que en espacios públicos se dan pueden incluir dinámicas positivas y negativas indistintamente de su origen.

El procés de gramaticalització en l'adquisició del llenguatge: la categoria formal de verb

Des de diverses perspectives, alguns autors han remarcat la importància del verb en l'adquisició del llenguatge (Bloom, 1991; Pinker, 1989; Tomasello, 1992). Donat que la seva estructura semàntica proporciona un marc conceptual per incloure-hi estructures lingüistiques més àmplies, esdevé un element clau en el pas a una fase de parla organitzada gramaticalment. Es per aquest motiu que l'adquisició de la categoria formal de verb és essencial per poder entendre com els nens arriben a ser gramaticalment competents. En aquest estudi pretenem explorar com s'adquireix la classe formal de verb tenint en compte les diferents propostes que intenten explicar el procés de gramaticalització i, en concret, l'adquisició de les categories de mot. En les dades sobre l'adquisició inicial dels verbs, es troba que a partir dels tres anys hi ha un ús consistent del elements verbals, però abans d'aquesta edat alguns autors han descrit un ús dels marcadors morfològics limitat a alguns verbs (Bloom, 90) i també que la utilització de l'estructura argumental inicial sembla anar lligada a verbs individuals (Tomasello, 92, Olguin i Tomasello, 93). Aquestes dades apunten que en un principi els verbs serien utilitzats de forma lexicalitzada, de manera que s'adquiririen individualment.

Citation and peer review of data: moving towards formal data publication

This paper discusses many of the issues associated with formally publishing data in academia, focusing primarily on the structures that need to be put in place for peer review and formal citation of datasets. Data publication is becoming increasingly important to the scientific community, as it will provide a mechanism for those who create data to receive academic credit for their work and will allow the conclusions arising from an analysis to be more readily verifiable, thus promoting transparency in the scientific process. Peer review of data will also provide a mechanism for ensuring the quality of datasets, and we provide suggestions on the types of activities one expects to see in the peer review of data. A simple taxonomy of data publication methodologies is presented and evaluated, and the paper concludes with a discussion of dataset granularity, transience and semantics, along with a recommended human-readable citation syntax.

Health and quality of care from older peoples' and formal caregivers' perspective

Aim: The overall aim of this thesis was to gain a deeper understanding of older people's view of health and care while dependent on community care. Furthermore to describe and compare formal caregivers' perceptions of quality of care, working conditions, competence, general health, and factors associated with quality of care from the caregivers' perspective. Method: Qualitative interviews were conducted with 19 older people in community care who were asked to describe what health and ill health((I), good and bad care meant for them (II). Data were analyzed using content analysis (I) and a phenomenological analysis (II). The formal caregivers; 70 nursing assistants (NAs) 163 enrolled nurses (ENs) and 198 registered nurses (RNs), answered a questionnaire consisting of five instruments: quality of care from the patient's perspective modified to formal caregivers, creative climate questionnaire, stress of conscience, health index, sense of coherence and items on education and competence (III). Statistical analyses were performed containing descriptive statistics, and comparisons between the occupational groups were made using Kruskal-Wallis ANOVA, Mann-Whitney U-test and Pearson's Chi-square test (III). Pearson's  product moment correlation analysis and multiple regression analysis were performed studying the associations between organizational climate, stress of conscience, competence, general health and sense of coherence with quality of care (IV). Results: The older people's health and well-being were related to their own ability to adapt to and compensate for their disabilities and was described as negative and positive poles of autonomy vs. dependence, togetherness vs. being an onlooker, security vs. insecurity and tranquility vs. disturbance (I).  The meaning of good care (II) was that the formal caregivers respected the older people as unique individuals, having the opportunity to live their lives as usual and receiving a safe and secure care. Good care could be experienced when the formal caregivers had adequate knowledge and competence in caring for older people, adequate time and continuity in the care organization (II). Formal caregivers reported higher perceived quality of care in the dimensions medical-technical competence and physical-technical conditions than in identity-oriented approach and socio-cultural atmosphere (III). In the organizational climate three of the dimensions were close to the value of a creative climate and in seven near a stagnant climate. The formal caregivers reported low rate of stress of conscience. The RNs reported to a higher degree than the NAs/ENs a need to gain more knowledge, but the NAs and the ENs more often received training during working hours. The RNs reported lower emotional well-being than the NAs/ENs (III). The formal caregivers' occupation, organizational climate and stress of conscience were associated with perceived quality of care (IV). Implications: The formal caregivers should have an awareness of the importance of kindness and respect, supporting the older people to retain control over their lives. The nursing managers should employ highly competent and adequate numbers of skilled formal caregivers, organize formal caregivers having round the clock continuity. Improvements of organizational climate and stress of conscience are of importance for good quality of care.

Formal caregivers' perceptions of quality of care for older people : associating factors

Background: Despite the growing number of studies concerning quality of care for older people, there is a lack of studies depicting factors associated with good quality of care from the formal caregivers' perspective. The aim was to describe formal caregivers' perceptions of quality of care for older people in the community and explore factors associated with these perceptions. In total, 70 nursing assistants, 163 enrolled nurses and 198 registered nurses from 14 communities in central Sweden participated in the study. They filled out the following questionnaires: a modified version of Quality from the Patient's Perspective, Creative Climate Questionnaire, Stress of Conscience Questionnaire, items regarding education and competence, Health Index and Sense of coherence questionnaire. The overall response rate was 57 % (n = 431). Results: In the perceived reality of quality of care respondents assessed the highest mean value in the dimension medical-technical competence and physical technical conditions and lower values in the dimensions; identity-oriented approach, socio-cultural atmosphere and in the context specific dimension. The caregivers estimated their competence and health rather high, had lower average values in sense of coherence and organizational climate and low values in stress of conscience. Conculsions: The PR of quality of care were estimated higher among NA/ENs compared to RNs. Occupation, organizational climate and stress of conscience were factors associated with quality of care that explained 42 % of the variance. Competence, general health and sense of coherence were not significantly associated to quality of care. The mentioned factors explaining quality of care might be intertwined and showed that formal caregivers' working conditions are of great importance for quality of care.

A Compositional Semantics of UML-RSDS

This paper provides a semantics for the UML-RSDS (Reactive System Development Support) subset of UML, using the real-time action logic (RAL) formalism. We show how this semantics can be used to resolve some ambiguities and omissions in UML semantics, and to support reasoning about specifications using the B formal method and tools. We use `semantic profiles' to provide precise semantics for different semantic variation points of UML. We also show how RAL can be used to give a semantics to notations for real-time specification in UML. Unlike other approaches to UML semantics, which concentrate on the class diagram notation, our semantic representation has behaviour as a central element, and can be used to define semantics for use cases, state machines and interactions, in addition to class diagrams.

Wire - a formal intermediate language for binary analysis

Wire is a intermediate language to enable static program analysis on low level objects such as native executables. It has practical benefit in analysing the structure and semantics of malware, or for identifying software defects in closed source software. In this paper we describe how an executable program is disassembled and translated to the Wire intermediate language. We define the formal syntax and operational semantics of Wire and discuss our justifications for its language features. We use Wire in our previous work Malwise, a malware variant detection system. We also examine applications for when a formally defined intermediate language is given. Our results include showing the semantic equivalence between obfuscated and non obfuscated code samples. These examples stem from the obfuscations commonly used by malware.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Expansão canavieira e ocupação formal em empresas sucroalcooleiras do Centro-Sul do Brasil, entre 2007 e 2009

Considerando-se a região Centro-Sul do Brasil e com base nos dados do Ministério do Trabalho e Emprego e do Ministério da Agricultura, Pecuária e Abastecimento, comparou-se a evoluçãoda produção sucroalcooleira comonúmero e tipos de pessoas formalmente ocupadas em empresas do setor, de 2007 a 2009. Nas empresas dedicadas ao cultivo da cana-de-açúcar, o número de pessoas ocupadas caiu nesses três anos, enquanto aumentava nas empresas dedicadas à produção de açúcareetanol.Quantoàscategoriasdeocupação,constatou-seaumentononúmero de pessoas ocupadas em atividades industriais, administrativas, de apoio ou não sucroalcooleiras, enquanto diminuíam as pessoas ocupadas na agricultura. Neste caso, houve redução dos trabalhadores canavieiros não qualificados e crescimento dos trabalhadores da mecanização agrícola, fatos associados à intensificação da adoção da colheita mecânica de cana-de-açúcar. Não ocorreu mudança expressiva na sazonalidade de emprego dos trabalhadores canavieiros não qualificados, que permaneceu muito alta. O aumento mais intenso da produção do que do número de pessoas ocupadas refletiu em indicadores de produtividade, com crescimento da relação da produção de cana-de-açúcar, tanto com o total de pessoas ocupadas, quanto com o número de trabalhadores canavieiros não qualificados. Também foi constatada redução significativa na relação desse grupo de trabalhadores com a área colhida com cana-de-açúcar.

Clássicos versus Keynes: a abordagem formal de David Champernowne

Este texto tem por objetivo ressaltar um aspecto que não tem sido tratado com a devida profundidade na literatura que estuda a formalização da Teoria Geral do Emprego, dos Juros e da Moeda de John Maynard Keynes (1936). Mais precisamente, o texto destaca a estratégia de formalização adotada por David G. Champernowne em seu artigo intitulado Unemployment, Basic and Monetary: the classical analysis and the keynesian, publicado em 1935-36 na Review of Economic Studies. Chamamos a atenção para o fato dele distinguir a teoria clássica da teoria de Keynes não apenas pelos pressupostos adotados por cada teoria, mas principalmente pela construção de subsistemas a partir de um sistema geral, com características recursivas (relações de causalidade) distintas. As explicações em prosa, a descrição algébrica das funções comportamentais e condições de equilíbrio e a ilustração por meio de diagramas, além da escolha de conjuntos específicos de variáveis para representar cada uma das teorias e suas diferentes versões são aspectos deste artigo de Champernowne que merecem uma análise mais minuciosa.

Ensino da astronomia no Brasil: educação formal, informal, não formal e divulgação científica

Este artigo deriva de uma pesquisa mais ampla sobre a educação em astronomia e a formação de professores, e apresenta um panorama geral sobre o tema em âmbito nacional. Procuramos gerar uma classificação das instituições e outras iniciativas brasileiras dedicadas à astronomia, levando em conta os seus objetivos, tais como o ensino formal, informal, não-formal, bem como aqueles destinados à popularização dessa ciência. Comenta-se, em forma de um breve ensaio, a importância da atuação contextualizada destas instâncias no ensino da astronomia, levantando um desafio ainda a ser considerado, referente ao estudo das possíveis relações entre estes estabelecimentos e iniciativas, visando o avanço da educação em astronomia, em um movimento contrário à dispersão e pulverização de atividades locais e pontuais dos mesmos. Argumentamos que a pesquisa em ensino de astronomia tem potencial para exercer este papel integrador.