Category-dependent and category-independent goal-value codes in human ventromedial prefrontal cortex

To choose between manifestly distinct options, it is suggested that the brain assigns values to goals using a common currency. Although previous studies have reported activity in ventromedial prefrontal cortex (vmPFC) correlating with the value of different goal stimuli, it remains unclear whether such goal-value representations are independent of the associated stimulus categorization, as required by a common currency. Using multivoxel pattern analyses on functional magnetic resonance imaging (fMRI) data, we found a region of medial prefrontal cortex to contain a distributed goal-value code that is independent of stimulus category. More ventrally in the vmPFC, we found spatially distinct areas of the medial orbitofrontal cortex to contain unique category-dependent distributed value codes for food and consumer items. These results implicate the medial prefrontal cortex in the implementation of a common currency and suggest a ventral versus dorsal topographical organization of value signals in the vmPFC

Value Computations in Ventral Medial Prefrontal Cortex during Charitable Decision Making Incorporate Input from Regions Involved in Social Cognition

Little is known about the neural networks supporting value computation during complex social decisions. We investigated this question using functional magnetic resonance imaging while subjects made donations to different charities. We found that the blood oxygenation level-dependent signal in ventral medial prefrontal cortex (VMPFC) correlated with the subjective value of voluntary donations. Furthermore, the region of the VMPFC identified showed considerable overlap with regions that have been shown to encode for the value of basic rewards at the time of choice, suggesting that it might serve as a common valuation system during decision making. In addition, functional connectivity analyses indicated that the value signal in VMPFC might integrate inputs from networks, including the anterior insula and posterior superior temporal cortex, that are thought to be involved in social cognition

A system to detect timing problems in digital circuits

Nowadays, the digital circuit production is carried out specifying the circuit functionality using a hardware description language. Then, this specification is synthesized down to a structural netlist suitable for use by the target technologys place-and-route applications. Many synthesis tools make this task introducing some unnecessary gates and wires in the final circuit. As a consequence, it can appear a circuit containing one or more paths that do not influence the circuit output. This kind of non-relevant paths is known as False Path. The problem with false paths is that if they are not considered, the circuit delay may be overestimated during design analysis and optimization. For this reason, the digital circuit industry is looking for effective methods and tools to overcome the mentioned drawbacks. This paper presents a system to detect False Paths based on the analysis of the circuit intermediate specification. The tool analyzes the specification using compilation techniques and then applies some special purpose algorithms for detecting false paths. Furthermore, it shows the gates and wires that are not necessary for the circuit final version.Presentado en el VII Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

Estrategias para facilitar la comprensión de programas

La Comprensión de Programas es una disciplina de la Ingeniería de Software cuyo objetivo es proveer Modelos, Métodos, Técnicas y Herramientas para facilitar el estudio y entendimiento de los sistemas de software. A través de un extenso estudio y experiencia en el desarrollo de productos de comprensión se pudo comprobar que el principal desafío en esta área consiste en: Relacionar el Dominio del Problema con el Dominio del programa. El primero hace referencia a la salida del sistema. El segundo a las componentes de software usadas para producir dicha salida. La construcción de este tipo de relación es muy compleja e implica el estudio de disciplinas tales como: Modelos Cognitivos, Visualización de Software, Estrategias de Interrelación de Dominios y Métodos de Extracción de la Información. En este artículo se presentan líneas de investigación cuyos objetivos son: • Analizar los productos de comprensión existentes. • Construir productos innovadores basados en los conceptos comunes a las grandes áreas mencionadas en el párrafo anterior.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Visualización de software: conceptos, métodos, y técnicas para facilitar la comprensión de programas

La Comprensión de Programas es una disciplina de la Ingeniería de Software cuyo principal objetivo es facilitar el entendimiento de los sistemas. Un aspecto importante involucrado en la Comprensión de Programas es la Visualización de Software (VS). La VS es una disciplina de la Ingeniería del Software que provee una o varias representaciones visuales de la información de los sistemas permitiendo una mejor compresión de los mismos. Dichas representaciones (también conocidas como vistas) no son fáciles de construir porque se deben tener en cuenta muchos factores cognitivos y de implementación. Los primeros son importantes porque sirven como puente cognitivo entre los conocimientos que posee el programador y los conceptos usados en el sistema que se pretende comprender. Los segundos adquieren importancia porque la implementación de los puentes cognitivos es compleja y requiere de herramientas adecuadas para su concretización en una herramienta de comprensión. Este artículo presenta una línea de investigación que estudia la Visualización de Software, una componente fundamental para la Comprensión de Programas. Dicha línea aborda principalmente el estudio y elaboración de: Estrategias de Visualización, Vistas y Herramientas de Visualización, entre otras tantas temáticas importantes referentes a Visualización de Software. Todas las temáticas mencionadas previamente son basales en Comprensión de Programas y son brevemente descriptas a lo largo de este artículo.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Seminario académico internacional México - León

Visita Técnica InternacionalEl informe del seminario internacional México- león es un escrito académico el cual resume los distintos enfoques tratados en el viaje de internacionalización México 2019. En el cual se trataron temas académicas acerca de la valoración de Proyectos y su análisis en el largo plazo, por otra parte, relata las visitas técnicas realizadas en la ciudad de León, las cuales fueron Coca cola y el grupo financiera Banamex. Por ultimo, como síntesis intercultural, se describen las principales tradiciones culturales que tienen los mexicanos y su diferencia a la colombiana.1. TITULO 2. RESUMEN 3. INTRODUCCION 4. OBJETIVOS 5. INFORME ACADÉMICO 6. VISITAS EMPRESARIAL 7. INFORME INTERCULTUTAL 8. DISCUSIÓN DE RESULTADOS 9. CONCLUSIONES 10. REFERENCIAS 11. ANEXOS FOTOGRÁFICOSEspecializaciónEspecialista en Análisis y Administración Financier

Accuracy of probabilistic record linkage in the assessment of high-complexity cardiology procedures

OBJETIVO: Avaliar a viabilidade de estratégia de relacionamento probabilístico de bases de dados na identificação de óbitos de pacientes submetidos a procedimentos de alta complexidade em cardiologia. MÉTODOS: O custo de processamento foi estimado com base em 1.672 registros de pacientes submetidos à cirurgia de revascularização do miocárdio, relacionados com todos os registros de óbito no Brasil em 2005. A acurácia do relacionamento baseou-se em linkage probabilístico entre 99 registros de autorização de internação hospitalar de pacientes submetidos a cirurgias cardíacas em instituto de referência em cardiologia, com status vital conhecido, e todos os registros de óbito do estado do Rio de Janeiro em 2005. O linkage foi realizado em quatro etapas: padronização das bases, blocagem, pareamento e classificação dos pares. Utilizou-se a blocagem em cinco passos, com chaves de blocagem com combinação de variáveis como soundex do primeiro e último nome, sexo e ano de nascimento. As variáveis utilizadas no pareamento foram "nome completo", com a utilização da distância de Levenshtein, e "data de nascimento". RESULTADOS: O segundo e o quinto passos de blocagem tiveram os maiores números de pares formados e os maiores tempos de processamento para o pareamento. O quarto passo demandou menor custo de processamento. No estudo de acurácia, após os cinco passos de blocagem, a sensibilidade do linkage foi de 90,6% e a especificidade foi de 100%. CONCLUSÕES: A estratégia de relacionamento probabilístico utilizada apresenta boa acurácia e poderá ser utilizada em estudos sobre a efetividade dos procedimentos de alta complexidade e alto custo em cardiologia.OBJECTIVE: To evaluate the viability of a probabilistic record linkage strategy to identify patients who underwent complex cardiology procedures among the total deceased population. METHODS: The processing cost was estimated based on 1,672 records of patients undergoing coronary artery bypass grafting that were compared with all death records in Brazil in 2005. The accuracy of the linkage strategy was based on the probabilistic linkage of 99 hospital admissions records of patients, with known vital status, who underwent cardiac surgery at a single cardiology institute, with the death records of the state of Rio de Janeiro, Southeastern Brazil, in 2005. Linkage was conducted in four stages: standardizing the databases, blocking, matching, and rating peers. Blocking in five steps was used, with blocking keys formed by a combination of variables such as soundex codes for the first and last names, sex, and year of birth. The variables used for matching were "full name" with the use of Levenshtein distance and "birth date". RESULTS: The second and fifth blocking steps resulted in the largest number of formed pairs and the largest processing times for the matching. The fourth step required a lower processing cost. In the accuracy study, after five blocking steps, the sensitivity of the linkage was 90.6%, and the specificity was 100%. CONCLUSIONS: The probabilistic strategy used has high accuracy and can be used in studies of the effectiveness of high-complexity, high-cost cardiology procedures.OBJETIVO: Evaluar la viabilidad de estrategia de relación probabilística en la identificación de pacientes sometidos a procedimientos de alta complejidad en cardiología. MÉTODOS: El costo de procesamiento fue calculado con base en 1.672 registros de pacientes sometidos a cirugía de revascularización del miocardio, relacionados con todos los registros de óbito en Brasil en 2005. La precisión de la relación se basó en linkage probabilística de 99 registros de autorización de internación hospitalaria de pacientes sometidos a cirugías cardíacas en instituto de referencia en cardiología, con status vital conocido, con todos los registros de óbito del estado de Rio de Janeiro en 2005. El linkage fue realizado en cuatro etapas: estandarización de las bases, blocaje, pareamiento y clasificación de los pares. Se utilizó blocaje en cinco pasos, con claves de blocaje con combinación de variables como soundex del primero y último nombre, sexo y año de nacimiento. Las variables utilizadas en el pareamiento fueron "nombre completo", con la utilización de la distancia de Levenshtein y "fecha de nacimiento". RESULTADOS: El segundo y el quinto pasos de blocaje tuvieron los mayores números de pares formados y los mayores tiempos de procesamiento para el pareamiento. El cuarto paso demandó menor costo de procesamiento. En el estudio de precisión, posterior a cinco pasos de blocaje, la sensibilidad del linkage fue de 90,6% y la especificidad fue de 100%. CONCLUSIONES: La estrategia de relación probabilística utilizada presenta buena precisión y podrá ser utilizada en estudios sobre la efectividad de los procedimientos de alta complejidad y alto costo en cardiología

A system to detect timing problems in digital circuits

Nowadays, the digital circuit production is carried out specifying the circuit functionality using a hardware description language. Then, this specification is synthesized down to a structural netlist suitable for use by the target technologys place-and-route applications. Many synthesis tools make this task introducing some unnecessary gates and wires in the final circuit. As a consequence, it can appear a circuit containing one or more paths that do not influence the circuit output. This kind of non-relevant paths is known as False Path. The problem with false paths is that if they are not considered, the circuit delay may be overestimated during design analysis and optimization. For this reason, the digital circuit industry is looking for effective methods and tools to overcome the mentioned drawbacks. This paper presents a system to detect False Paths based on the analysis of the circuit intermediate specification. The tool analyzes the specification using compilation techniques and then applies some special purpose algorithms for detecting false paths. Furthermore, it shows the gates and wires that are not necessary for the circuit final version.Presentado en el VII Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

Evidence for divergent patterns of local selection driving venom variation in Mojave Rattlesnakes (\u3ci\u3eCrotalus scutulatus\u3c/i\u3e)

Snake venoms represent an enriched system for investigating the evolutionary processes that lead to complex and dynamic trophic adaptations. It has long been hypothesized that natural selection may drive geographic variation in venom composition, yet previous studies have lacked the population genetic context to examine these patterns. We leverage range-wide sampling of Mojave Rattlesnakes (Crotalus scutulatus) and use a combination of venom, morphological, phylogenetic, population genetic, and environmental data to characterize the striking dichotomy of neurotoxic (Type A) and hemorrhagic (Type B) venoms throughout the range of this species. We find that three of the four previously identified major lineages within C. scutulatus possess a combination of Type A, Type B, and a ‘mixed’ Type A + B venom phenotypes, and that fixation of the two main venom phenotypes occurs on a more fine geographic scale than previously appreciated. We also find that Type A + B individuals occur in regions of inferred introgression, and that this mixed phenotype is comparatively rare. Our results support strong directional local selection leading to fixation of alternative venom phenotypes on a fine geographic scale, and are inconsistent with balancing selection to maintain both phenotypes within a single population. Our comparisons to biotic and abiotic factors further indicate that venom phenotype correlates with fang morphology and climatic variables. We hypothesize that links to fang morphology may be indicative of co-evolution of venom and other trophic adaptations, and that climatic variables may be linked to prey distributions and/or physiology, which in turn impose selection pressures on snake venoms