New Architectural Models for Visibly Controllable Computing: The Relevance of Dynamic Object Oriented Architectures and Plan Based Computing Models

Traditionally, we've focussed on the question of how to make a system easy to code the first time, or perhaps on how to ease the system's continued evolution. But if we look at life cycle costs, then we must conclude that the important question is how to make a system easy to operate. To do this we need to make it easy for the operators to see what's going on and to then manipulate the system so that it does what it is supposed to. This is a radically different criterion for success. What makes a computer system visible and controllable? This is a difficult question, but it's clear that today's modern operating systems with nearly 50 million source lines of code are neither. Strikingly, the MIT Lisp Machine and its commercial successors provided almost the same functionality as today's mainstream sytsems, but with only 1 Million lines of code. This paper is a retrospective examination of the features of the Lisp Machine hardware and software system. Our key claim is that by building the Object Abstraction into the lowest tiers of the system, great synergy and clarity were obtained. It is our hope that this is a lesson that can impact tomorrow's designs. We also speculate on how the spirit of the Lisp Machine could be extended to include a comprehensive access control model and how new layers of abstraction could further enrich this model.

Memory Usage Inference for Object-Oriented Programs

We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias annotations, our inference system will compute the amount of memory required by the methods to execute successfully as well as the amount of memory released when methods return. The obtained analysis results are useful for networked devices with limited computational resources as well as embedded software.

Performance-Driven Microfabrication-Oriented Methodology for MEMS Conceptual Design with Application in Microfluidic Device Design

Performance and manufacturability are two important issues that must be taken into account during MEMS design. Existing MEMS design models or systems follow a process-driven design paradigm, that is, design starts from the specification of process sequence or the customization of foundry-ready process template. There has been essentially no methodology or model that supports generic, high-level design synthesis for MEMS conceptual design. As a result, there lacks a basis for specifying the initial process sequences. To address this problem, this paper proposes a performance-driven, microfabrication-oriented methodology for MEMS conceptual design. A unified behaviour representation method is proposed which incorporates information of both physical interactions and chemical/biological/other reactions. Based on this method, a behavioural process based design synthesis model is proposed, which exploits multidisciplinary phenomena for design solutions, including both the structural components and their configuration for the MEMS device, as well as the necessary substances for the chemical/biological/other reactions. The model supports both forward and backward synthetic search for suitable phenomena. To ensure manufacturability, a strategy of using microfabrication-oriented phenomena as design knowledge is proposed, where the phenomena are developed from existing MEMS devices that have associated MEMS-specific microfabrication processes or foundry-ready process templates. To test the applicability of the proposed methodology, the paper also studies microfluidic device design and uses a micro-pump design for the case study.

Lightweight monitoring of label switched paths for bandwidth management

The purpose of resource management is the efficient and effective use of network resources, for instance bandwidth. In this article, a connection oriented network scenario is considered, where a certain amount of bandwidth is reserved for each label switch path (LSP), which is a logical path, in a MPLS or GMPLS environment. Assuming there is also some kind of admission control (explicit or implicit), these environments typically provide quality of service (QoS) guarantees. It could happen that some LSPs become busy, thus rejecting connections, while other LSPs may be under-utilised. We propose a distributed lightweight monitoring technique, based on threshold values, the objective of which is to detect congestion when it occurs in an LSP and activate the corresponding alarm which will trigger a dynamic bandwidth reallocation mechanism

eHandbook Form/Attachment/Appendix Template

Template used for all School of Psychology eHandbooks

Attachment files for GHCM Website (2016)

Resources created at University of Southampton for the module GIS for Health Care Management

The NAFTA investment dispute settlement mechanism and the admissibility of amicus curiae briefs by NGOs

--

Peer Tutors in the School of Medicine

Since 2003 the School of Medicine at the Universidad del Rosario in Bogotá, Colombia, offers to the students a program named Peer Tutors. The program’s objectives are: to generate a social interaction mechanism that favors knowledge construction side by side with advanced peers; to promote the development of ethical, moral and coexistence oriented values through an academic experience, and to generate a space to explore specific academic interests and teacher´s potential. This article presents the theoretic frame that supports the importance of social interaction in knowledge construction, as well as some indicators that allow a first appraisal of the program. Several achievements that account for the synergic value of an experience that not only fulfills the function of initiating a process of teaching formation and academic support, but that also builds a proactive attitude before learning, are highlighted.

Molecular mechanism involved in the mutagenicity induced by Aflatoxin B1

The aflatoxin B1 (AFB1) is a mycotoxin that has been identified as the most potent hepatocarcinogen. The metabolite resulting from detoxification process of AFB1 in liver, has the ability to react with the genomic DNA, generating AFB1-DNA adducts; during DNA replication process, this adduct induced the G:C→T:A transversion. Polymorphism in genes encoding for enzymes involved in the activation and detoxification of AFB1 and DNA repair enzymes has been associated with the risk of hepatocellular carcinoma (HCC) development. Additionally, in populations of high exposure to aflatoxin and high prevalence of hepatitis B virus (HBV) infection, has been demonstrated a synergism between these two risk factors for the development of HCC.

Incentivos fiscales en ciencia, tecnología e innovación: revisión y análisis de la experiencia internacional

Los economistas han mostrado que las inversiones en ciencia y tecnología tienen un impacto importante sobre las tasas de crecimiento económico y sobre la productividad de un país. Por tal razón hoy pocos países discuten sobre la importancia de destinar recursos públicos a dicha inversión. La agenda de política esta enfocada es a mantener un sistema de ciencia y tecnología e innovación tecnológica donde se estimule la inversión privada y se integre a las políticas públicas. Es en este punto donde los incentivos fiscales han sido cruciales en la generación de recursos privados para la ciencia y la tecnología y la mayoría de países desarrollados y algunos en desarrollo los han implementado como un mecanismo eficiente. La experiencia internacional muestra que en los países de la OCDE por una caída en un 10% del costo del capital en I&D, vía incentivos fiscales, se aumenta las inversiones en este bien en un 1% en el corto plazo y estas inversiones pueden llegar a ser del 10% en el largo plazo.

The use of insect cells to identify potent and selective inhibitors of the replication of the Dengue and Chikungunya viruses and unravel their molecular mechanism of action

Dengue and Chikungunya viruses cause the most important arthropod-borne viral infections for humans. These viruses are predominant in tropical and subtropical regions. In addition, these viruses are predominant in tropical and subtropical regions. Dengue mortality rate is around 1.2 to 3.5% and deaths due to chikungunya fever are around 1 in 1000; however, half of chikungunya-infected patients evolve into a chronic state that can persist for months up to years. There are no antiviral drugs available for DENV and CHIKV treatment and prevention. Moreover, vector control strategies have failed so far. Thus, the development of potent inhibitors for a broad spectrum of RNA viruses is urgently needed. We established and characterized a new embryonic insect cell line from Culex quinquefasciatus mosquito. Also we established the flaviviruses and alphavirus replication, both in C6/36 and Lulo insect cell lines, as well as in Vero cell line. In addition we carried out a reference compound library and reference panel of assays and data for DENV, which provides a benchmark for further studies. During this study, a panel of 9 antiviral molecules, with proven in vitro anti-dengue virus activity and that act at different stages of the DENV life cycle, was selected. Finally, Favipiravir or T-705, was identified as inhibitor in vitro and in vivo of alphaviruses and the mutation K291R in nsP4, which is responsible of the polymerase activity, was found as the mode of action in CHIKV. Interestingly, lysine in motif F1 is also highly conserved in positive-stranded RNA viruses and this might explain the broad spectrum of T-705 antiviral activity.

Secuenciamiento de actividades educativas orientado a la reutilización y la auto-organización en tutoría inteligente. ' 'Sequencing of learning activities oriented towards reuse and auto-organization for intelligent tutoring systems' '.

Se pretende la elaboración una plataforma capaz de implementar sistemas de tutoría inteligente, orientada al problema de la adaptación del secuenciamiento; la creación de una herramienta o método que defina secuenciamientos adaptativos de material educativo; el desarrollo, empleando la herramienta anterior, de uno o más tutores y adaptar las técnicas de inteligencia de enjambre al campo de los cursos impartidos a través de Internet, Elearning.. En primer lugar se analiza el estado de la cuestión, destacando los aspectos novedosos. A continuación se presentan las aportaciones de la investigación. Por último, se exponen las conclusiones y las líneas de investigación abiertas. También se incluyen apéndices con información adicional que puede ser relevante para algunos lectores. Se investiga el uso de técnicas de inteligencia de enjambre para obtener sistemas educativos robustos y con capacidad de autoorganización. Las lecciones aprendidas de los sistemas cristalizan en la creación de un módulo para SIT.. Las principales contribuciones son: el diseño de una plataforma para el desarrollo de Sistemas de Tutoría Inteligentes (ITS); se presenta una herramienta para la adaptación de secuencias de unidades de aprendizaje, grafos de secuenciamiento (Sequencing Graphs, SG) y se analizan las iniciativas actuales relacionadas con las técnicas de enjambre en educación. Estas técnicas tienen un interés especial para los sistemas de elearning dada su complejidad. .

Comparison of self-reported attachment in young adults from Spain and the United States

Resumen tomado de la publicación

Validity of the DSM-Oriented Scales of the Child Behavior Checklist and Youth Self-Report

Resumen tomado de la publicaci??n

Psychometric properties of the Portuguese version of place attachment scale for youth in residential care

Resumen tomado de la publicaci??n