The concept of “just war” in El príncipe constante, by Calderón de la Barca

“El príncipe constante” por Pedro Calderón de la Barca es una comedia basada en la historia de Portugal. Se sitúa en el marco histórico de la expansión inicial del imperio portugués. Después de la conquista de la Ceuta musulmana en 1415, dos príncipes, Enrique y su hermano menor Fernando, llevan a cabo en 1437 un ataque a la ciudad marroquí de Tánger. La obra se centra en la cautividad de Fernando, resultado de la derrota de los portugueses. A lo largo de la comedia, hay un contraste entre el desarrollo del personaje de Fernando y el de otros miembros de su familia (Enrique, el rey Duarte y el rey Alfonso). Este desarrollo moral está forjado por el conflicto territorial entre cristianos y musulmanes. Inicialmente, el rey de Fez (quien tomará a Fernando como rehén) y el rey de Portugal desean conquistar las tierras el uno del otro. De comienzo a final de “El príncipe constante”, las ambiciones del rey musulmán se presentan como marcadamente territoriales, sin referencia alguna a la expansión del Islam. Por otro lado, a lo largo de la comedia los cristianos portugueses enfatizan su deseo de expandir, tanto su territorio como su Fe. “El príncipe constante” puede verse como crítica de cualquier conquista cristiana arropada en espiritualidad, pero motivada por codicia. Esto se examinará mediante un estudio de la acción principal de la obra a la luz de las enseñanzas de dos preeminentes teólogos españoles del Siglo de Oro: Francisco de Vitoria y Francisco Suárez

Thin membrane sensor with biochemical switch

A modular biosensor system for chemical or biological agent detection utilizes electrochemical measurement of an ion current across a gate membrane triggered by the reaction of the target agent with a recognition protein conjugated to a channel blocker. The sensor system includes a bioresponse simulator or biochemical switch module which contains the recognition protein-channel blocker conjugate, and in which the detection reactions occur, and a transducer module which contains a gate membrane and a measuring electrode, and in which the presence of agent is sensed electrically. In the poised state, ion channels in the gate membrane are blocked by the recognition protein-channel blocker conjugate. Detection reactions remove the recognition protein-channel blocker conjugate from the ion channels, thus eliciting an ion current surge in the gate membrane which subsequently triggers an output alarm. Sufficiently large currents are generated that simple direct current electronics are adequate for the measurements. The biosensor has applications for environmental, medical, and industrial use

Structural control interaction

The basic guidance and control concepts that lead to structural control interaction and structural dynamic loads are identified. Space vehicle ascent flight load sources and the load relieving mechanism are discussed, along with the the characteristics and special problems of both present and future space vehicles including launch vehicles, orbiting vehicles, and the Space Shuttle flyback vehicle. The special dynamics and control analyses and test problems apparent at this time are summarized

Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

The Gaia-ESO Survey: N-body modelling of the Gamma Velorum cluster

The Gaia-ESO Survey has recently unveiled the complex kinematic signature of the Gamma Velorum cluster: this cluster is composed of two kinematically distinct populations (hereafter, population A and B), showing two different velocity dispersions and a relative ~2 km s^-1 radial velocity (RV) shift. In this paper, we propose that the two populations of the Gamma Velorum cluster originate from two different sub-clusters, born from the same parent molecular cloud. We investigate this possibility by means of direct-summation N-body simulations. Our scenario is able to reproduce not only the RV shift and the different velocity dispersions, but also the different centroid (~0.5 pc), the different spatial concentration and the different line-of-sight distance (~5 pc) of the two populations. The observed 1-2 Myr age difference between the two populations is also naturally explained by our scenario, in which the two sub-clusters formed in two slightly different star formation episodes. Our simulations suggest that population B is strongly supervirial, while population A is close to virial equilibrium. We discuss the implications of our models for the formation of young star clusters and OB associations in the Milky Way.Comment: 12 pages, 7 figures, 2 tables, Astronomy and Astrophysics, in pres

A typology of longitudinal integrated clerkships

Context Longitudinal integrated clerkships (LICs) represent a model of the structural redesign of clinical education that is growing in the USA, Canada, Australia and South Africa. By contrast with time‐limited traditional block rotations, medical students in LICs provide comprehensive care of patients and populations in continuing learning relationships over time and across disciplines and venues. The evidence base for LICs reveals transformational professional and workforce outcomes derived from a number of small institution‐specific studies. Objectives This study is the first from an international collaborative formed to study the processes and outcomes of LICs across multiple institutions in different countries. It aims to establish a baseline reference typology to inform further research in this field. Methods Data on all LIC and LIC‐like programmes known to the members of the international Consortium of Longitudinal Integrated Clerkships were collected using a survey tool developed through a Delphi process and subsequently analysed. Data were collected from 54 programmes, 44 medical schools, seven countries and over 15 000 student‐years of LIC‐like curricula. Results Wide variation in programme length, student numbers, health care settings and principal supervision was found. Three distinct typological programme clusters were identified and named according to programme length and discipline coverage: Comprehensive LICs; Blended LICs, and LIC‐like Amalgamative Clerkships. Two major approaches emerged in terms of the sizes of communities and types of clinical supervision. These referred to programmes based in smaller communities with mainly family physicians or general practitioners as clinical supervisors, and those in more urban settings in which subspecialists were more prevalent. Conclusions Three distinct LIC clusters are classified. These provide a foundational reference point for future studies on the processes and outcomes of LICs. The study also exemplifies a collaborative approach to medical education research that focuses on typology rather than on individual programme or context

Toward a first-principles integrated simulation of tokamak edge plasmas

Performance of the ITER is anticipated to be highly sensitive to the edge plasma condition. The edge pedestal in ITER needs to be predicted from an integrated simulation of the necessary first-principles, multi-scale physics codes. The mission of the SciDAC Fusion Simulation Project (FSP) Prototype Center for Plasma Edge Simulation (CPES) is to deliver such a code integration framework by (1) building new kinetic codes XGC0 and XGC1, which can simulate the edge pedestal buildup; (2) using and improving the existing MHD codes ELITE, M3D-OMP, M3D-MPP and NIMROD, for study of large-scale edge instabilities called Edge Localized Modes (ELMs); and (3) integrating the codes into a framework using cutting-edge computer science technology. Collaborative effort among physics, computer science, and applied mathematics within CPES has created the first working version of the End-to-end Framework for Fusion Integrated Simulation (EFFIS), which can be used to study the pedestal-ELM cycles

BAP1 deficiency causes loss of melanocytic cell identity in uveal melanoma

BACKGROUND: Uveal melanoma is a highly aggressive cancer with a strong propensity for metastasis, yet little is known about the biological mechanisms underlying this metastatic potential. We recently showed that most metastasizing uveal melanomas, which exhibit a class 2 gene expression profile, contain inactivating mutations in the tumor suppressor BAP1. The aim of this study was to investigate the role of BAP1 in uveal melanoma progression. METHODS: Uveal melanoma cells were studied following RNAi-mediated depletion of BAP1 using proliferation, BrdU incorporation, flow cytometry, migration, invasion, differentiation and clonogenic assays, as well as in vivo tumorigenicity experiments in NOD-SCID-Gamma mice. RESULTS: Depletion of BAP1 in uveal melanoma cells resulted in a loss of differentiation and gain of stem-like properties, including expression of stem cell markers, increased capacity for self-replication, and enhanced ability to grow in stem cell conditions. BAP1 depletion did not result in increased proliferation, migration, invasion or tumorigenicity. CONCLUSIONS: BAP1 appears to function in the uveal melanocyte lineage primarily as a regulator of differentiation, with cells deficient for BAP1 exhibiting stem-like qualities. It will be important to elucidate how this effect of BAP1 loss promotes metastasis and how to reverse this effect therapeutically