Towards model-driven engineering for mixed-criticality systems: multiPARTES approach

Mixed criticality systems emerges as a suitable solution for dealing with the complexity, performance and costs of future embedded and dependable systems. However, this paradigm adds additional complexity to their development. This paper proposes an approach for dealing with this scenario that relies on hardware virtualization and Model-Driven Engineering (MDE). Hardware virtualization ensures isolation between subsystems with different criticality levels. MDE is intended to bridge the gap between design issues and partitioning concerns. MDE tooling will enhance the functional models by annotating partitioning and extra-functional properties. System partitioning and subsystems allocation will be generated with a high degree of automation. System configuration will be validated for ensuring that the resources assigned to a partition are sufficient for executing the allocated software components and that time requirements are met.

Tree and grazing influence on herbaceous pasture diversity in the Dehesa agroforestry system

Mediterranean Dehesas are one of the European natural habitat types of Community interest (43/92/EEC Directive), associated to high diversity levels and producer of important goods and services. In this work, tree contribution and grazing influence over pasture alpha diversity in a Dehesa in Central Spain was studied. We analyzed Richness and Shannon-Wiener (SW) indexes on herbaceous layer under 16 holms oak trees (64 sampling units distributed in two directions and in two distances to the trunk) distributed in four different grazing management zones (depending on species and stocking rate). Floristic composition by species or morphospecies and species abundance were analyzed for each sample unit. Linear mixed models (LMM) and generalized linear mixed models (GLMMs) were used to study relationships between alpha diversity measures and independent factors. Edge crown influence showed the highest values of Richness and SW index. No significant differences were found between orientations under tree crown influence. Grazing management had a significant effect over Richness and SW measures, specially the grazing species (cattle or sheep). We preliminary quantify and analyze the interaction of tree stratum and grazing management over herbaceous diversity in a year of extreme climatic conditions.

Tools for mixed-criticality partitioned systems: partitioning algorithm and extensibility support

The development of mixed-criticality virtualized multicore systems poses new challenges that are being subject of active research work. There is an additional complexity: it is now required to identify a set of partitions, and allocate applications to partitions. In this job, a number of issues have to be considered, such as the criticality level of the application, security and dependability requirements, operating system used by the application, time requirements granularity, specific hardware needs, etc. MultiPARTES [6] toolset relies on Model Driven Engineering (MDE) [12], which is a suitable approach in this setting. In this paper, it is described the support provided for automatic system partitioning generation and toolset extensibility.

Managing daily surgery schedules in a teaching hospital: a mixed-integer optimization approach

Background: This study examined the daily surgical scheduling problem in a teaching hospital. This problem relates to the use of multiple operating rooms and different types of surgeons in a typical surgical day with deterministic operation durations (preincision, incision, and postincision times). Teaching hospitals play a key role in the health-care system; however, existing models assume that the duration of surgery is independent of the surgeon's skills. This problem has not been properly addressed in other studies. We analyze the case of a Spanish public hospital, in which continuous pressures and budgeting reductions entail the more efficient use of resources. Methods: To obtain an optimal solution for this problem, we developed a mixed-integer programming model and user-friendly interface that facilitate the scheduling of planned operations for the following surgical day. We also implemented a simulation model to assist the evaluation of different dispatching policies for surgeries and surgeons. The typical aspects we took into account were the type of surgeon, potential overtime, idling time of surgeons, and the use of operating rooms. Results: It is necessary to consider the expertise of a given surgeon when formulating a schedule: such skill can decrease the probability of delays that could affect subsequent surgeries or cause cancellation of the final surgery. We obtained optimal solutions for a set of given instances, which we obtained through surgical information related to acceptable times collected from a Spanish public hospital. Conclusions: We developed a computer-aided framework with a user-friendly interface for use by a surgical manager that presents a 3-D simulation of the problem. Additionally, we obtained an efficient formulation for this complex problem. However, the spread of this kind of operation research in Spanish public health hospitals will take a long time since there is a lack of knowledge of the beneficial techniques and possibilities that operational research can offer for the health-care system.

Natural regeneration in mediterranean mixed forests: effect of environmental conditions on the physiological optimum niche of the species = Regeneración natural en masas mixtas mediterráneas: efecto de las condiciones ambientales en el nicho óptimo fisiológico de las especies

Los montes Mediterráneos han experimentado múltiples cambios en las últimas décadas (tanto en clima como en usos), lo que ha conducido a variaciones en la distribución de especies. El aumento previsto de las temperaturas medias junto con la mayor variabilidad intra e inter anual en cuanto a la ocurrencia de eventos extremos o disturbios naturales (como periodos prolongados de sequía, olas de frío o calor, incendios forestales o vendavales) pueden dañar significativamente al regenerado, llevándolo hasta la muerte, y jugando un papel decisivo en la composición de especies y en la dinámica del monte. La amplitud ecológica de muchas especies forestales puede verse afectada, de forma que se esperan cambios en sus nichos actuales de regeneración. Sin embargo, la migración latitudinal de las especies en busca de mejores condiciones, podría ser una explicación demasiado simplista de un proceso mucho más complejo de interacción entre la temperatura y la precipitación, que afectaría a cada especie de un modo distinto. En este sentido tanto la capacidad de adaptación al estrés ambiental de una determinada especie, así como su habilidad para competir por los recursos limitados, podría significar variaciones dentro de una comunidad. Las características fisiológicas y morfológicas propias de cada especie se encuentran fuertemente relacionadas con el lugar donde cada una puede surgir, qué especies pueden convivir y como éstas responden a las condiciones ambientales. En este sentido, el conocimiento sobre las distintas respuestas ecofisiológicas observadas ante cambios ambientales puede ser fundamentales para la predicción de variaciones en la distribución de especies, composición de la comunidad y productividad del monte ante el cambio global. En esta tesis investigamos el grado de tolerancia y sensibilidad que cada una de las tres especies de estudio, coexistentes en el interior peninsular ibérico (Pinus pinea, Quercus ilex y Juniperus oxycedrus), muestra ante los factores abióticos de estrés típicos de la región Mediterránea. Nuestro trabajo se ha basado en la definición del nicho óptimo fisiológico para el regenerado de cada especie a través de la investigación en profundidad del efecto de la sequía, la temperatura y el ambiente lumínico. Para ello, hemos desarrollado un modelo de predicción de la tasa de asimilación de carbono que nos ha permitido identificar las condiciones óptimas ambientales donde el regenerado de cada especie podría establecerse con mayor facilidad. En apoyo a este trabajo y con la idea de estudiar el efecto de la sequía a nivel de toda la planta hemos desarrollado un experimento paralelo en invernadero. Aquí se han aplicado dos regímenes hídricos para estudiar las características fisiológicas y morfológicas de cada especie, sobre todo a nivel de raíz y crecimiento del tallo, y relacionarlas con las diferentes estrategias en el uso del agua de las especies. Por último, hemos estudiado los patrones de aclimatación y desaclimatación al frio de cada especie, identificando los periodos de sensibilidad a heladas, así como cuellos de botella donde la competencia entre especies podría surgir. A pesar de que el pino piñonero ha sido la especie objeto de la gestión de estas masas durante siglos, actualmente se encuentra en la posición más desfavorable para combatir el cambio global, presentado el nicho fisiológico más estrecho de las tres especies. La encina sin embargo, ha resultado ser la especie mejor cualificada para afrontar este cambio, seguida muy de cerca por el enebro. Nuestros resultados sugieren una posible expansión en el rango de distribución de la encina, un aumento en la presencia del enebro y una disminución progresiva del pino piñonero a medio plazo en estas masas. ABSTRACT Mediterranean forests have undergone multiple changes over the last decades (in both climate and land use), which have lead to variations in the distribution of species. The expected increase in mean annual temperature together with the greater inter and intra-annual variability in extreme events and disturbances occurrence (such as prolonged drought periods, cold or heat waves, wildfires or strong winds) can significantly damage natural regeneration, up to causing death, playing a decisive role on species composition and forest dynamics. The ecological amplitude for adaptation of many species can be affected in such a way that changes in the current regeneration niches of many species are expected. However, the forecasted poleward migration of species seeking better conditions could be an oversimplification of what is a more complex phenomenon of interactions among temperature and precipitation, that would affect different species in different ways. In this regard, either the ability to adapt to environmental stresses or to compete for limited resources of a single species in a mixed forest could lead to variations within a community. The ecophysiological and morphological traits specific to each species are strongly related to the place where each species can emerge, which species can coexist, and how they respond to environmental conditions. In this regard, the understanding of the ecophysiological responses observed against changes in environmental conditions can be essential for predicting variations in species distribution, community composition, and forest productivity in the context of global change. In this thesis we investigated the degree of tolerance and sensitivity that each of the three studied species, co-occurring in central of the Iberian Peninsula (Pinus pinea, Quercus ilex and Juniperus oxycedrus), show against the typical abiotic stress factors in the Mediterranean region. Our work is based on the optimal physiological niche for regeneration of each species through in-depth research on the effect of drought, temperature and light environment. For this purpose, we developed a model to predict the carbon assimilation rate which allows us to identify the optimal environmental conditions where regeneration from each species could establish itself more easily. To obtain a better understanding about the effect of low temperature on regeneration, we studied the acclimation and deacclimation patterns to cold of each species, identifying period of frost sensitivity, as well as bottlenecks where competition between species can arise. Finally, to support our results about the effect of water availabilty, we conducted a greenhouse experiment with a view of studying the drought effect at the whole plant level. Here, two watering regimes were applied in order to study the physiological and morphological traits of each species, mainly at the level of the root system and stem growth, and so relate them to the different water use strategies of the species. Despite the fact that stone pine has been the target species for centuries, nowadays this species is in the most unfavorable position to cope with climate change. Holm oak, however, resulted the species that is best adapted to tolerate the predicted changes, followed closely by prickly juniper. Our results suggest a feasible expansion of the distribution range in holm oak, an increase in the prickly juniper presence and a progressive decreasing of stone pine presence in the medium term in these stone pine-holm oak-prickly juniper mixed forests.

A framework for mixed-criticality partitioned real-time embedded systems

Los sistemas empotrados son cada día más comunes y complejos, de modo que encontrar procesos seguros, eficaces y baratos de desarrollo software dirigidos específicamente a esta clase de sistemas es más necesario que nunca. A diferencia de lo que ocurría hasta hace poco, en la actualidad los avances tecnológicos en el campo de los microprocesadores de los últimos tiempos permiten el desarrollo de equipos con prestaciones más que suficientes para ejecutar varios sistemas software en una única máquina. Además, hay sistemas empotrados con requisitos de seguridad (safety) de cuyo correcto funcionamiento depende la vida de muchas personas y/o grandes inversiones económicas. Estos sistemas software se diseñan e implementan de acuerdo con unos estándares de desarrollo software muy estrictos y exigentes. En algunos casos puede ser necesaria también la certificación del software. Para estos casos, los sistemas con criticidades mixtas pueden ser una alternativa muy valiosa. En esta clase de sistemas, aplicaciones con diferentes niveles de criticidad se ejecutan en el mismo computador. Sin embargo, a menudo es necesario certificar el sistema entero con el nivel de criticidad de la aplicación más crítica, lo que hace que los costes se disparen. La virtualización se ha postulado como una tecnología muy interesante para contener esos costes. Esta tecnología permite que un conjunto de máquinas virtuales o particiones ejecuten las aplicaciones con unos niveles de aislamiento tanto temporal como espacial muy altos. Esto, a su vez, permite que cada partición pueda ser certificada independientemente. Para el desarrollo de sistemas particionados con criticidades mixtas se necesita actualizar los modelos de desarrollo software tradicionales, pues estos no cubren ni las nuevas actividades ni los nuevos roles que se requieren en el desarrollo de estos sistemas. Por ejemplo, el integrador del sistema debe definir las particiones o el desarrollador de aplicaciones debe tener en cuenta las características de la partición donde su aplicación va a ejecutar. Tradicionalmente, en el desarrollo de sistemas empotrados, el modelo en V ha tenido una especial relevancia. Por ello, este modelo ha sido adaptado para tener en cuenta escenarios tales como el desarrollo en paralelo de aplicaciones o la incorporación de una nueva partición a un sistema ya existente. El objetivo de esta tesis doctoral es mejorar la tecnología actual de desarrollo de sistemas particionados con criticidades mixtas. Para ello, se ha diseñado e implementado un entorno dirigido específicamente a facilitar y mejorar los procesos de desarrollo de esta clase de sistemas. En concreto, se ha creado un algoritmo que genera el particionado del sistema automáticamente. En el entorno de desarrollo propuesto, se han integrado todas las actividades necesarias para desarrollo de un sistema particionado, incluidos los nuevos roles y actividades mencionados anteriormente. Además, el diseño del entorno de desarrollo se ha basado en la ingeniería guiada por modelos (Model-Driven Engineering), la cual promueve el uso de los modelos como elementos fundamentales en el proceso de desarrollo. Así pues, se proporcionan las herramientas necesarias para modelar y particionar el sistema, así como para validar los resultados y generar los artefactos necesarios para el compilado, construcción y despliegue del mismo. Además, en el diseño del entorno de desarrollo, la extensión e integración del mismo con herramientas de validación ha sido un factor clave. En concreto, se pueden incorporar al entorno de desarrollo nuevos requisitos no-funcionales, la generación de nuevos artefactos tales como documentación o diferentes lenguajes de programación, etc. Una parte clave del entorno de desarrollo es el algoritmo de particionado. Este algoritmo se ha diseñado para ser independiente de los requisitos de las aplicaciones así como para permitir al integrador del sistema implementar nuevos requisitos del sistema. Para lograr esta independencia, se han definido las restricciones al particionado. El algoritmo garantiza que dichas restricciones se cumplirán en el sistema particionado que resulte de su ejecución. Las restricciones al particionado se han diseñado con una capacidad expresiva suficiente para que, con un pequeño grupo de ellas, se puedan expresar la mayor parte de los requisitos no-funcionales más comunes. Las restricciones pueden ser definidas manualmente por el integrador del sistema o bien pueden ser generadas automáticamente por una herramienta a partir de los requisitos funcionales y no-funcionales de una aplicación. El algoritmo de particionado toma como entradas los modelos y las restricciones al particionado del sistema. Tras la ejecución y como resultado, se genera un modelo de despliegue en el que se definen las particiones que son necesarias para el particionado del sistema. A su vez, cada partición define qué aplicaciones deben ejecutar en ella así como los recursos que necesita la partición para ejecutar correctamente. El problema del particionado y las restricciones al particionado se modelan matemáticamente a través de grafos coloreados. En dichos grafos, un coloreado propio de los vértices representa un particionado del sistema correcto. El algoritmo se ha diseñado también para que, si es necesario, sea posible obtener particionados alternativos al inicialmente propuesto. El entorno de desarrollo, incluyendo el algoritmo de particionado, se ha probado con éxito en dos casos de uso industriales: el satélite UPMSat-2 y un demostrador del sistema de control de una turbina eólica. Además, el algoritmo se ha validado mediante la ejecución de numerosos escenarios sintéticos, incluyendo algunos muy complejos, de más de 500 aplicaciones. ABSTRACT The importance of embedded software is growing as it is required for a large number of systems. Devising cheap, efficient and reliable development processes for embedded systems is thus a notable challenge nowadays. Computer processing power is continuously increasing, and as a result, it is currently possible to integrate complex systems in a single processor, which was not feasible a few years ago.Embedded systems may have safety critical requirements. Its failure may result in personal or substantial economical loss. The development of these systems requires stringent development processes that are usually defined by suitable standards. In some cases their certification is also necessary. This scenario fosters the use of mixed-criticality systems in which applications of different criticality levels must coexist in a single system. In these cases, it is usually necessary to certify the whole system, including non-critical applications, which is costly. Virtualization emerges as an enabling technology used for dealing with this problem. The system is structured as a set of partitions, or virtual machines, that can be executed with temporal and spatial isolation. In this way, applications can be developed and certified independently. The development of MCPS (Mixed-Criticality Partitioned Systems) requires additional roles and activities that traditional systems do not require. The system integrator has to define system partitions. Application development has to consider the characteristics of the partition to which it is allocated. In addition, traditional software process models have to be adapted to this scenario. The V-model is commonly used in embedded systems development. It can be adapted to the development of MCPS by enabling the parallel development of applications or adding an additional partition to an existing system. The objective of this PhD is to improve the available technology for MCPS development by providing a framework tailored to the development of this type of system and by defining a flexible and efficient algorithm for automatically generating system partitionings. The goal of the framework is to integrate all the activities required for developing MCPS and to support the different roles involved in this process. The framework is based on MDE (Model-Driven Engineering), which emphasizes the use of models in the development process. The framework provides basic means for modeling the system, generating system partitions, validating the system and generating final artifacts. The framework has been designed to facilitate its extension and the integration of external validation tools. In particular, it can be extended by adding support for additional non-functional requirements and support for final artifacts, such as new programming languages or additional documentation. The framework includes a novel partitioning algorithm. It has been designed to be independent of the types of applications requirements and also to enable the system integrator to tailor the partitioning to the specific requirements of a system. This independence is achieved by defining partitioning constraints that must be met by the resulting partitioning. They have sufficient expressive capacity to state the most common constraints and can be defined manually by the system integrator or generated automatically based on functional and non-functional requirements of the applications. The partitioning algorithm uses system models and partitioning constraints as its inputs. It generates a deployment model that is composed by a set of partitions. Each partition is in turn composed of a set of allocated applications and assigned resources. The partitioning problem, including applications and constraints, is modeled as a colored graph. A valid partitioning is a proper vertex coloring. A specially designed algorithm generates this coloring and is able to provide alternative partitions if required. The framework, including the partitioning algorithm, has been successfully used in the development of two industrial use cases: the UPMSat-2 satellite and the control system of a wind-power turbine. The partitioning algorithm has been successfully validated by using a large number of synthetic loads, including complex scenarios with more that 500 applications.

Mixed synapses discovered and mapped throughout mammalian spinal cord.

Previously, synaptic activity in the spinal cord of adult mammals was attributed exclusively to chemical neurotransmission. In this study, evidence was obtained for the existence, relative abundance, and widespread distribution of "mixed" (chemical and electrical) synapses on neurons throughout the spinal cords of adult mammals. Using combined confocal microscopy and "grid-mapped freeze fracture," 36 mixed synapses containing 88 "micro" gap junctions (median = 45 connexons) were found and mapped to 33 interneurons and motor neurons in Rexed laminae III-IX in cervical, thoracic, and lumbosacral spinal cords of adult male and female rats. Gap junctions were adjacent to presumptive active zones, where even small gap junctions would be expected to increase synaptic efficacy. Two morphological types of mixed synapse were discerned. One type contained distinctive active zones consisting of "nested" concentric toroidal deformations of pre- and postsynaptic membranes, which, because of their unusual topology, were designated as "synaptic sombreros." A second type had gap junctions adjacent to active zones consisting of broad, flat, shallow indentations of the plasma membrane. Morphometric analysis indicates that mixed synapses correspond to 3-5% of all synapses on the somata and proximal dendrites, but, because of their subcellular location and morphology, they could represent 30-100% of excitatory synapses. The relative abundance of mixed synapses on several classes of neurons in spinal cords of adult rats suggests that mixed synapses provide important but previously unrecognized pathways for bidirectional communication between neurons in the mammalian central nervous system.

Two-hybrid system as a model to study the interaction of beta-amyloid peptide monomers.

The kinetics of amyloid fibril formation by beta-amyloid peptide (Abeta) are typical of a nucleation-dependent polymerization mechanism. This type of mechanism suggests that the study of the interaction of Abeta with itself can provide some valuable insights into Alzheimer disease amyloidosis. Interaction of Abeta with itself was explored with the yeast two-hybrid system. Fusion proteins were created by linking the Abeta fragment to a LexA DNA-binding domain (bait) and also to a B42 transactivation domain (prey). Protein-protein interactions were measured by expression of these fusion proteins in Saccharomyces cerevisiae harboring lacZ (beta-galactosidase) and LEU2 (leucine utilization) genes under the control of LexA-dependent operators. This approach suggests that the Abeta molecule is capable of interacting with itself in vivo in the yeast cell nucleus. LexA protein fused to the Drosophila protein bicoid (LexA-bicoid) failed to interact with the B42 fragment fused to Abeta, indicating that the observed Abeta-Abeta interaction was specific. Specificity was further shown by the finding that no significant interaction was observed in yeast expressing LexA-Abeta bait when the B42 transactivation domain was fused to an Abeta fragment with Phe-Phe at residues 19 and 20 replaced by Thr-Thr (AbetaTT), a finding that is consistent with in vitro observations made by others. Moreover, when a peptide fragment bearing this substitution was mixed with native Abeta-(1-40), it inhibited formation of fibrils in vitro as examined by electron microscopy. The findings presented in this paper suggest that the two-hybrid system can be used to study the interaction of Abeta monomers and to define the peptide sequences that may be important in nucleation-dependent aggregation.

The vertebrate alcohol dehydrogenase system: variable class II type form elucidates separate stages of enzymogenesis.

A mixed-class alcohol dehydrogenase has been characterized from avian liver. Its functional properties resemble the classical class I type enzyme in livers of humans and animals by exhibiting low Km and kcat values with alcohols (Km = 0.7 mM with ethanol) and low Ki values with 4-methylpyrazole (4 microM). These values are markedly different from corresponding parameters of class II and III enzymes. In contrast, the primary structure of this avian liver alcohol dehydrogenase reveals an overall relationship closer to class II and to some extent class III (69 and 65% residue identities, respectively) than to class I or the other classes of the human alcohol dehydrogenases (52-61%), the presence of an insertion (four positions in a segment close to position 120) as in class II but in no other class of the human enzymes, and the presence of several active site residues considered typical of the class II enzyme. Hence, the avian enzyme has mixed-class properties, being functionally similar to class I, yet structurally similar to class II, with which it also clusters in phylogenetic trees of characterized vertebrate alcohol dehydrogenases. Comparisons reveal that the class II enzyme is approximately 25% more variable than the "variable" class I enzyme, which itself is more variable than the "constant" class III enzyme. The overall extreme, and the unusual chromatographic behavior may explain why the class II enzyme has previously not been found outside mammals. The properties define a consistent pattern with apparently repeated generation of novel enzyme activities after separate gene duplications.

Everything in di Dark Muss Come to Light: A Postcolonial Investigation of the Practice of Extra Lessons at the Secondary Level in Jamaica's Education System

Despite the vast research examining the evolution of Caribbean education systems, little is chronologically tied to the postcolonial theoretical perspectives of specific island-state systems, such as the Jamaican education system and its relationship with the underground shadow education system. This dissertation study sought to address the gaps in the literature by critically positioning postcolonial theories in education to examine the macro- and micro-level impacts of extra lessons on secondary education in Jamaica. The following postcolonial theoretical (PCT) tenets in education were contextualized from a review of the literature: (a) PCT in education uses colonial discourse analysis to critically deconstruct and decolonize imperialistic and colonial representations of knowledge throughout history; (b) PCT in education uses an anti-colonial discursive framework to re-position indigenous knowledge in schools, colleges, and universities to challenge hegemonic knowledge; (c) PCT in education involves the "unlearning" of dominant, normative ideologies, the use of self-reflexivity, and deconstruction; and (d) PCT in education calls for critical pedagogical approaches that reject the banking concept of education and introduces inclusive pedagogy to facilitate "the passage from naïve to critical transitivity" (Freire, 1973, p. 32). Specifically, using a transformative mixed-methods design, grounded and informed by a postcolonial theoretical lens, I quantitatively uncovered and then qualitatively highlighted how if at all extra lessons can improve educational outcomes for students at the secondary level in Jamaica. Accordingly, the quantitative data was used to test the hypotheses that the practice of extra lessons in schools is related to student academic achievement and the practice of critical-inclusive pedagogy in extra lessons is related to academic achievement. The two-level hierarchical linear model analysis revealed that hours spent in extra lessons, average household monthly income, and critical-inclusive pedagogical tents were the best predictors for academic achievement. Alternatively, the holistic multi-case study explored how extra-lessons produces increased academic achievement. The data revealed new ways of knowledge construction and critical pedagogical approaches to galvanize systemic change in secondary education. Furthermore, the data showed that extra lessons can improve educational outcomes for students at the secondary level if the conditions for learning are met. This study sets the stage for new forms of knowledge construction and implications for policy change.

Assessment of University External Internships. Towards a Mixed Model for Measuring the Acquisition of Skills and the Satisfaction of Parties Involved

The continuous improvement of management and assessment processes for curricular external internships has led a group of university teachers specialised in this area to develop a mixed model of measurement that combines the verification of skill acquisition by those students choosing external internships with the satisfaction of the parties involved in that process. They included academics, educational tutors of companies and organisations and administration and services personnel in the latter category. The experience, developed within University of Alicante, has been carried out in the degrees of Business Administration and Management, Business Studies, Economics, Advertising and Public Relations, Sociology and Social Work, all part of the Faculty of Economics and Business. By designing and managing closed standardised interviews and other research tools, validated outside the centre, a system of continuous improvement and quality assurance has been created, clearly contributing to the gradual increase in the number of students with internships in this Faculty, as well as to the improvement in satisfaction, efficiency and efficacy indicators at a global level. As this experience of educational innovation has shown, the acquisition of curricular knowledge, skills, abilities and competences by the students is directly correlated with the satisfaction of those parties involved in a process that takes the student beyond the physical borders of a university campus. Ensuring the latter is a task made easier by the implementation of a mixed assessment method, combining continuous and final assessment, and characterised by its rigorousness and simple management. This report presents that model, subject in turn to a persistent and continuous control, a model all parties involved in the external internships are taking part of. Its short-term results imply an increase, estimated at 15% for the last course, in the number of students choosing curricular internships and, for the medium and long-term, a major interweaving between the academic world and its social and productive environment, both in the business and institutional areas. The potentiality of this assessment model does not lie only in the quality of its measurement tools, but also in the effects from its use in the various groups and in the actions that are carried out as a result of its implementation and which, without any doubt and as it is shown below, are the real guarantee of a continuous improvement.

2002 Parliamentary elections in Ukraine: Events, results and consequences; Ukraine's Parliamentary system after the elections. OSW Study 8/2003

2002 elections: On 31 March 2002, parliamentary elections were held in Ukraine. As expected, they were a major success for the centrist-rightist coalition focused around former Prime Minister Viktor Yuschenko. The communists emerged significantly weaker from the vote, and the "party of power" achieved a poor result. Yet, due to the mixed electoral law (half of the deputies were elected in single-mandate districts), the latter block, firmly supported by President Leonid Kuchma, resulted as the main force in Parliament. The results of particular parties and blocks were as follows: Viktor Yuschenko's Block received 23.57% of votes and 112 seats, the Communist Party of Ukraine - 19.98% of votes and 66 seats, the "For One Ukraine" block - 11.77% of votes and 101 seats, Yulia Tymoshenko's Block - 7.26% of votes and 22 seats, the Socialist Party of Ukraine - 6.87% of votes and 22 seats, and the Social Democratic Party of Ukraine (united) - 6.27% of votes and 24 seats. This shows how the mixed electoral regulations favour "For One Ukraine" and act against Yuschenko's block. One should note, however, that the latter gained the support of less than one quarter of voters. After the election: The dominant force in Ukraine's Verkhovna Rada, elected in March 2002, are the deputies of "One Ukraine", a fraction of the pro-presidential centre. "One Ukraine" has refused to admit any of the opposition's representatives (either from the right or left wings) into the parliament's presidium, but has accepted opposition-appointed heads of many parliamentary commissions. Viktor Yuschenko's "Our Ukraine", which has been the largest parliamentary fraction since June, attempted to proclaim itself the centre of the parliamentary majority, but its policy was awkward and inconsistent, and the main success of this club was that it didn't break up. Viktor Yuschenko's moves have been particularly incoherent and they undermined the image of Yuschenko as Ukraine's future leader, created throughout the course of the electoral campaign. In autumn, the main oligarchic groups and their representative fractions ("One Ukraine", which proved to be a useless instrument, was dissolved in June), reached a compromise with the president. It was agreed that the new prime minister should be a Donetsk clan representative (Viktor Yanukovych), and that the Dnipropetrovsk clan should appoint the president of the National Bank of Ukraine (this position went to Serhij Tihipko). The Kyiv clan obtained the President's Administration (Viktor Medvedchuk was appointed in spring) and a considerable number of parliamentary commissions. The president's interests in the government are to be protected by Mykola Azarov, former Head of the State Tax Administration. This compromise "package" was designed to secure the shares of the main oligarchic clans in the power and the president's strong position as mediator.

Mixed-Member Electoral Systems in Constitutional Context : Taiwan, Japan, and Beyond /

After the electoral reform in 1994, Japan saw a gradual evolution from a multi-party system toward a two-party system over the course of five House of Representatives election cycles. In contrast, after Taiwan’s constitutional amendment in 2005, a two-party system emerged in the first post-reform legislative election in 2008. Critically, however, Taiwan’s president is directly elected while Japan’s prime minister is indirectly elected. The contributors conclude that the higher the payoffs of holding the executive office and the greater degree of cross-district coordination required to win it, the stronger the incentives for elites to form and stay in the major parties. In such a context, a country will move rapidly toward a two-party system. In Part II, the contributors apply this theoretical logic to other countries with mixed-member systems to demonstrate its generality. They find the effect of executive competition on legislative electoral rules in countries as disparate as Thailand, the Philippines, New Zealand, Bolivia, and Russia. The findings presented in this book have important implications for political reform. Often, reformers are motivated by high hopes of solving some political problems and enhancing the quality of democracy. But, as this group of scholars demonstrates, electoral reform alone is not a panacea. Whether and to what extent it achieves the advocated goals depends not only on the specification of new electoral rules per se but also on the political context—and especially the constitutional framework—within which such rules are embedded.

Indian antiquities: or, Dissertations relative to the ancient geographical divisions, the pure system of primeval theology, the grand code of civil laws, the original form of government, the widely-extended commerce, and the various profound literature, of Hindostan: compared, throughout, with the religion, laws, government, and literature, of Persia, Egypt, and Greece ...

A mixed set; imprint varies: v. 1, 2, and 7 as above; v. 3 and 6: sold by John White, Luke Hansard, printer, 1801; v. 4: Printed by H.L. Galabin and sold by R. Faulder, 1800; v. 5: Printed by C. and W. Galabin and sold by W. Richardson, 1801.