Cannabinoid addiction: behavioral models and neural correlates

The use of cannabis sativa preparations as recreational drugs can be traced back to the earliest civilizations. However, animal models of cannabinoid addiction allowing the exploration of neural correlates of cannabinoid abuse have been developed only recently. We review these models and the role of the CB1 cannabinoid receptor, the main target of natural cannabinoids, and its interaction with opioid and dopamine transmission in reward circuits. Extensive reviews on the molecular basis of cannabinoid action are available elsewhere (Piomelli et al., 2000;Schlicker and Kathmann, 2001).

Construct validity of behavioral models of anxiety: where experimental psychopathology meets ecology and evolution

In experimental psychopathology, construct validity is usually enhanced by addressing theories from other fields in its nomological network. In the field of anxiety research, this construct is related to antipredator behavior, conserved across phylogeny in its functions and neural basis, but not necessarily on its topography. Even though the relations between behavioral models of anxiety and statements from behavioral ecology and evolutionary biology are commonly made in anxiety research, these are rarely tested, at least explicitly. However, in order to increase construct validity in experimental anxiety, testing predictions from those theories is highly desirable. This article discusses these questions, suggesting a few ways in which behavioral ecological and evolutionary hypotheses of anxiety-like behavior may be tested.

Characterizing Behavioral Decisions with Choice Datas

A number of different models with behavioral economics have a reduced form representation where potentially boundedly rational decision-makers do not necessarily internalize all the consequences of their actions on payoff relevant features (which we label as psychological states) of the choice environment. This paper studies the restrictions that such behavioral models impose on choice data and the implications they have for welfare analysis. First, we propose a welfare benchmark that is justified using standard axioms of rational choice and can be applied to a number of existing seminal behavioral economics models. Second, we show that Sen's axioms and fully characterize choice data consistent with behavioral decision-makers. Third, we show how choice data to infer information about the normative signi.cance of psychological states and establish the possibility of identifying welfare dominated choices.

Essays in behavioral economics

In this work we conduct an experimental analysis on different behavioral models of economic choice. In particular, we analyze the role of overconfidence in shaping the beliefs of economics agents about the future path of their consumption or investment. We discuss the relevance of this bias in expectation formation both from a static and from a dynamic point of view and we analyze the effect of possible interventions aimed to achieve some policy goals. The methodology we follow is both theoretical and empirical. In particular, we make large use of controlled economic field experiments in order to test the predictions of the theoretical models we propose. In the second part of the thesis we discuss the role of cognition and personality in affecting economic preferences and choices. In this way we make a bridge between established psychological research and novel findings in economics. Finally, we conduct a field study on the role of incentives on education. We design different incentive schemes and we test, on randomized groups of students, their effectiveness in improving academic performance.

Estimating dynamic models with aggregate shocks and an application to mortgage default in Colombia

We estimate a dynamic model of mortgage default for a cohort of Colombian debtors between 1997 and 2004. We use the estimated model to study the effects on default of a class of policies that affected the evolution of mortgage balances in Colombia during the 1990's. We propose a framework for estimating dynamic behavioral models accounting for the presence of unobserved state variables that are correlated across individuals and across time periods. We extend the standard literature on the structural estimation of dynamic models by incorporating an unobserved common correlated shock that affects all individuals' static payoffs and the dynamic continuation payoffs associated with different decisions. Given a standard parametric specification the dynamic problem, we show that the aggregate shocks are identified from the variation in the observed aggregate behavior. The shocks and their transition are separately identified, provided there is enough cross-sectionavl ariation of the observeds tates.

Barriers to effective cancer pain management: A survey of hospitalized cancer patients in Australia

The purpose of this study was to examine attitudinal barriers to effective pain management in a consecutively recruited cohort of 114 cancer patients from four Australian hospitals. When surveyed, 48% of this sample reported experiencing pain within the previous 24 hours. Of these, 56% reported this pain to be distressing, horrible or excruciating, with large proportions indicating that this pain had affected their movement, sleep and emotional well-being. Three factors were identified as potentially impacting on patients responses to pain-poor levels of patient knowledge about pain, low perceived control over pain, and a deficit in communication about pain. A trend for older patients to experience more severe pain was also identified. These older patients reported being more willing to tolerate pain and perceive less control over their pain. Suggestions are made for developing patient education programs and farther research using concepts drawn from broader social and behavioral models. J Pain Symptom Manage 2002:23:393-405. (C) U.S. Cancer Pain Relief Committee, 2002.

Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

Uma Metodologia para o Desenvolvimento de Aplicações Lúdico-Educativas

Após uma contextualização dos jogos para crianças, enquanto ferramenta lúdico-educativa, este artigo apresenta uma abordagem para o desenvolvimento de jogos educativos utilizando redes de Petri coloridas (colored petri nets - CPN) conectadas a um servidor de aplicações 3D. No final do artigo é feita uma análise dos resultados obtidos, evidenciando a interatividade entre o utilizador e os conteúdos do jogo.

Genetic regulation of colony social organization in fire ants: an integrative overview

Expression of colony social organization in fire ants appears to be under the control of a single Mendelian factor of large effect. Variation in colony queen number in Solenopsis invicta and its relatives is associated with allelic variation at the gene Gp-9, but not with variation at other unlinked genes; workers regulate queen identity and number on the basis of Gp-9 genotypic compatibility. Nongeneticfactors, such as prior social experience, queen reproductive status, and local environment, have negligible effects on queen number which illustrates the nearly complete penetrance of Gp-9. As predicted, queen number can be manipulated experimentally by altering worker Gp-9 genotype frequencies. The Gp-9 allele lineage associated with polygyny in South American fire? ants has been retained across multiple speciation events, which may signal the action of balancing selection to maintain social polymorphism in these species. Moreover positive selection is implicated in driving the molecular evolution of Gp-9 in association with the origin of polygyny. The identity of the product of Gp-9 as an odorant-binding protein suggests plausible scenarios for its direct involvement in the regulation of queen number via a role in chemical communication. While these and other lines of evidence show that Gp-9 represents a legitimate candidate gene of major effect, studies aimed at determining (i) the biochemical pathways in which GP-9 functions; (ii) the phenotypic effects of molecular variation at Gp-9 and other pathway genes; and (iii) the potential involvement of genes in linkage disequilibrium with Gp-9 are needed to elucidate the genetic architecture underlying social organization in fire ants. Information that reveals the links between molecular variation, individual phenotype, and colony-level behaviors, combined with behavioral models that incorporate details of the chemical communication involved in regulating queen number will yield a novel integrated view of the evolutionary changes underlying a key social adaptation.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.

A psicologia econômica como resposta ao individualismo metodológico

This paper aims at presenting and discussing some of behavioral models developed by Economic Psychology which is considered an irrelevant field of research for many economists yet. On highlighting the multidisciplinary convergence notably from economists' interests by psychology, it is done emphasis to the discussion of the role played by methodological individualism in the psychological reduction of the homo economicus. Such a reduction has, on the one hand, made harder the conciliation between the individual and the collective level of analysis. On the other hand, it made closer economists and psychologists in the common interest of developing methods capable of understanding the economic behavior under a perspective which allows the integration of the complexity of collective dimension in which the individual makes part.

Estudio de las interacciones intra-específicas (la competición, la cooperación y la depredación) en las organizaciones: revisión de literatura

Las organizaciones son un ente social y económico que según la teoría clásica debe ser vista como una estructura administrativa. Para Mooney (1947) existen principios los cuales baso en la teoría organización, en donde busca establecer relaciones entre principios, procesos y efectos. Por lo que el satisfacer las necesidades de una población debe ser un proceso que involucre intereses particulares .En este caso la organización debe ser estudiada y evaluada como un sistema que tiene diferentes jerarquías y agentes que interactúan entre si, para cumplir un objetivo. Las relaciones que se generan dentro de una organización, y en este caso una organización privada tienden a dar respuesta a muchas necesidades que como procesos se presentan en el diario vivir; es así como se habla del éxito de las organizaciones basado en la competitividad que generan las habilidades y actitudes del personal, el número de variables, fenómenos y efectos, que busca que los empleados asuman actitudes que conlleven a tomar buenas decisiones (Garcia, 2009 ). Es importante resaltar en las organizaciones, los fenómenos de liderazgo, poder e influencia, cada concepto independiente pero visto conjuntamente desde un panorama organizacional, donde toda relación intraespecifica deben determinarse en los diferentes comportamientos, conductas y culturas del personal de la empresa (Fuentes, 2004). La depredación, competencia y cooperación, son conceptos que indudablemente están presentes en todos los procesos de la organización y serán determinantes en la perdurabilidad de la misma. Por último, la presente investigación pretende establecer los efectos de los fenómenos sociales de liderazgo, poder e influencia sobre las interacciones intra-especificas (competencia, cooperación y depredación) al interior de una organización, de tal manera que se logre explicar el efecto y la correlación que existe entre unos y otros fenómenos (Castro, 2012).

Análisis del gen adra2a receptor alfa 2a adrenergico en pacientes con trastorno de hiperactividad y déficit de atención

El trastorno de hiperactividad y déficit de atención (THDA), es definido clínicamente como una alteración en el comportamiento, caracterizada por inatención, hiperactividad e impulsividad. Estos aspectos son clasificados en tres subtipos, que son: Inatento, hiperactivo impulsivo y mixto. Clínicamente se describe un espectro amplio que incluye desordenes académicos, trastornos de aprendizaje, déficit cognitivo, trastornos de conducta, personalidad antisocial, pobres relaciones interpersonales y aumento de la ansiedad, que pueden continuar hasta la adultez. A nivel global se ha estimado una prevalencia entre el 1% y el 22%, con amplias variaciones, dadas por la edad, procedencia y características sociales. En Colombia, se han realizado estudios en Bogotá y Antioquia, que han permitido establecer una prevalencia del 5% y 15%, respectivamente. La causa específica no ha sido totalmente esclarecida, sin embargo se ha calculado una heredabilidad cercana al 80% en algunas poblaciones, demostrando el papel fundamental de la genética en la etiología de la enfermedad. Los factores genéticos involucrados se relacionan con cambios neuroquímicos de los sistemas dopaminérgicos, serotoninérgicos y noradrenérgicos, particularmente en los sistemas frontales subcorticales, corteza cerebral prefrontal, en las regiones ventral, medial, dorsolateral y la porción anterior del cíngulo. Basados en los datos de estudios previos que sugieren una herencia poligénica multifactorial, se han realizado esfuerzos continuos en la búsqueda de genes candidatos, a través de diferentes estrategias. Particularmente los receptores Alfa 2 adrenérgicos, se encuentran en la corteza cerebral, cumpliendo funciones de asociación, memoria y es el sitio de acción de fármacos utilizados comúnmente en el tratamiento de este trastorno, siendo esta la principal evidencia de la asociación de este receptor con el desarrollo del THDA. Hasta la fecha se han descrito más de 80 polimorfismos en el gen (ADRA2A), algunos de los cuales se han asociado con la entidad. Sin embargo, los resultados son controversiales y varían según la metodología diagnóstica empleada y la población estudiada, antecedentes y comorbilidades. Este trabajo pretende establecer si las variaciones en la secuencia codificante del gen ADRA2A, podrían relacionarse con el fenotipo del Trastorno de Hiperactividad y el Déficit de Atención.

A estrutura de decisão do operador de transporte de cargas pelo usuário varejista de pequeno porte

Este trabalho tem por objetivo investigar e identificar a influência dos atributos que estruturam a escolha do transportador de carga geral fracionada pelos usuários, em uma determinada rota nacional, baseado na modelagem da demanda. xii A modelagem da demanda é efetuada com base em Modelos Comportamentais Desagregados, utilizando-se as técnicas de Preferência Declarada (Stated Preference), na obtenção dos dados. A determinação das preferências dos decisores são analisadas, buscandose assim quantificar o valor das variáveis que compõem o nível de serviço desejado pelos varejistas usuários. O estudo enfoca o comportamento do varejista usuário de serviços de transporte de cargas com relação a tomada de decisão sobre a transportadora que executará o serviço de transporte de carga. Esta tomada de decisão do varejista usuário leva em consideração que cada operador valoriza os atributos em diferentes graus e que estes fazem parte do nível de serviço de cada transportadora. As técnicas de Preferência Declarada forneceram dados para estimar as funções de Utilidade levando em consideração os diferentes níveis de atributos de cada transportadora. A partir da função de Utilidade de cada transportadora, é estimada a probabilidade de escolha de cada transportadora. A modelagem permite a realização de simulações, a partir de alterações no grau dos atributos das variáveis do modelo, na qual se determinará a parcela de mercado de cada transportadora e a sua respectiva participação no mercado em estudo. Dentre os principais resultados, pode se observar que a modelagem da demanda em transporte de cargas, apesar de pouco utilizada, é coerente com a realidade analisada, validando a metodologia utilizada neste estudo.