The utilization bound of static-priority preemptive partitioned multiprocessor scheduling is 50%

This paper studies static-priority preemptive scheduling on a multiprocessor using partitioned scheduling. We propose a new scheduling algorithm and prove that if the proposed algorithm is used and if less than 50% of the capacity is requested then all deadlines are met. It is known that for every static-priority multiprocessor scheduling algorithm, there is a task set that misses a deadline although the requested capacity is arbitrary close to 50%.

Self-organization and complexity theory to support evolvable production systems

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Utilization of remote experimentation in mobile devices for education

In this paper the authors intend to demonstrate the utilization of remote experimentation (RE) using mobile computational devices in the Science areas of the elementary school, with the purpose to develop practices that will help in the assimilation process of the subjects taught in classroom seeking to interlink them with the daily students? activities. Allying mobility with RE we intend to minimize the space-temporal barrier giving more availability and speed in the information access. The implemented architecture utilizes technologies and freely distributed softwares with open code resources besides remote experiments developed in the Laboratory of Remote Experimentation (RExLab) of Federal University of Santa Catarina (UFSC), in Brazil, through the physical computation platform of the ?open hardware of construction of our own. The utilization of open code computational tools and the integration of hardware to the 3D virtual worlds, accessible through mobile devices, give to the project an innovative face with a high potential for reproducibility and reusability.

On lattices from combinatorial game theory modularity and a representation theorem: finite case

We show that a self-generated set of combinatorial games, S. may not be hereditarily closed but, strong self-generation and hereditary closure are equivalent in the universe of short games. In [13], the question "Is there a set which will give a non-distributive but modular lattice?" appears. A useful necessary condition for the existence of a finite non-distributive modular L(S) is proved. We show the existence of S such that L(S) is modular and not distributive, exhibiting the first known example. More, we prove a Representation Theorem with Games that allows the generation of all finite lattices in game context. Finally, a computational tool for drawing lattices of games is presented. (C) 2014 Elsevier B.V. All rights reserved.

Theory and phenomenology of two-higgs-doublet models

We discuss theoretical and phenomenological aspects of two-Higgs-doublet extensions of the Standard Model. In general, these extensions have scalar mediated flavour changing neutral currents which are strongly constrained by experiment. Various strategies are discussed to control these flavour changing scalar currents and their phenomenological consequences are analysed. In particular, scenarios with natural flavour conservation are investigated, including the so-called type I and type II models as well as lepton-specific and inert models. Type III models are then discussed, where scalar flavour changing neutral currents are present at tree level, but are suppressed by either a specific ansatz for the Yukawa couplings or by the introduction of family symmetries leading to a natural suppression mechanism. We also consider the phenomenology of charged scalars in these models. Next we turn to the role of symmetries in the scalar sector. We discuss the six symmetry-constrained scalar potentials and their extension into the fermion sector. The vacuum structure of the scalar potential is analysed, including a study of the vacuum stability conditions on the potential and the renormalization-group improvement of these conditions is also presented. The stability of the tree level minimum of the scalar potential in connection with electric charge conservation and its behaviour under CP is analysed. The question of CP violation is addressed in detail, including the cases of explicit CP violation and spontaneous CP violation. We present a detailed study of weak basis invariants which are odd under CP. These invariants allow for the possibility of studying the CP properties of any two-Higgs-doublet model in an arbitrary Higgs basis. A careful study of spontaneous CP violation is presented, including an analysis of the conditions which have to be satisfied in order for a vacuum to violate CP. We present minimal models of CP violation where the vacuum phase is sufficient to generate a complex CKM matrix, which is at present a requirement for any realistic model of spontaneous CP violation.

Assessing organizations collaboration readiness: a behavioral approach

Dissertation presented at the Faculty of Sciences and Technology of the New University of Lisbon to obtain the degree of Doctor in Electrical Engineering, specialty of Robotics and Integrated Manufacturing

An Ethos Theory of Party Positions on European Integration: Poland and Beyond

Since 1989, five parliamentary elections have been the stage for the foundation and demise of political parties aspiring to govern the new democratic Polish state. The demise of the AWS before the 2001 elections after ten years of attempts to create a centre-right core party resulted in a new splintering of the right-wing, and the centre-right became again devoid of a pivotal formation. While Eurosceptic parties in average gain 8 percent of the vote, in the 2001 Polish parliamentary elections Eurosceptic parties gained around 20 percent of the vote. In Poland right-wing parties show an unusual propensity for Euroscepticism. The persistence and increased importance of nationalism in Poland, which has prevented the development of a strong Christian democratic party, effectively explains the levels of Euroscepticism on the right. After the autumn 2005 parliamentary elections the national conservative party, Law and Justice, formed a governing coalition with the national Catholic League of Polish Families, creating one of the first Eurosceptic governments. Although this work does not intend to provide a theorisation of party systems development, it shows that the context of European integration fostered nationalists’ divisiveness of, and provoked the splitting of the right the unusual propensity of parties for Euroscepticism makes Poland a paradigmatic case of the kind of conflicts over European integration emerging in Central and Eastern European party systems.

O impacto da variação do preço na procura de cuidados de saúde

RESUMO - Assiste-se a um crescimento exponencial das despesas em saúde, quer na Europa como nos Estados Unidos. Em Portugal, os gastos totais com a saúde ascenderam a 10,2% do PIB, em 2006, contra os 8,8% registados no início da década anterior. É importante perceber o que motiva este crescimento quer em termos globais, quer no que diz respeito ao consumo de recursos, bem como até em termos da despesa pública. Este projecto tem dois objectivos fundamentais: em primeiro lugar, contribuir para o estudo dos factores determinantes da procura de cuidados de saúde em Portugal e, consequentemente, determinar as elasticidades procura – preço para diferentes tipos de cuidados de saúde. Metodologia: Estudo observacional baseado na análise empírica de dados administrativos (claims) respeitantes à utilização dos cuidados de saúde por parte de 12.230 indivíduos detentores de um plano de seguro de saúde individual, numa seguradora privada em Portugal. As elasticidades procura – preço para os diferentes tipos de cuidados de saúde obtiveram-se utilizando as variações percentuais das quantidades dos diferentes cuidados de saúde, antes e depois da variação do preço pago pelo indivíduo, para cada tipo de cuidado de saúde. Resultados: De acordo com a teoria económica tradicional o aumento do preço a pagar reduz o consumo de cuidados de saúde, e a procura é elástica, ou seja, os valores da elasticidade procura – preço obtidos são superiores a 1, em valor absoluto, logo o aumento do preço levou a uma redução mais do que proporcional das quantidades procuradas. A procura de cuidados de saúde em ambulatório é mais sensível à variação do preço do que a procura de cuidados de internamento. ------- ABSTRACT - We are witnessing an exponential growth of health care expenditures around the world. In Portugal, the total expenditure on health amounted to 10.2% of GDP in 2006, against 8.8% at the beginning of previous decade. It is important to understand what motivates this growth both in overall terms, with respect to resource consumption, and even in terms of public spending. This study was designed two achieve two objectives: first, to contribute to the study of demand for health care and, more specifically, to analyze the effect of price changes on the utilization of health care services; and secondly, to estimate the demand elasticity for different types of heath care. Methodology: Observational study based on empirical analysis of administrative data (claims) from a private health insurance Company in Portugal. The sample used had information regarding 12.230 individuals. Demand elasticity for the different types of health care services was obtained by the quotient between the percentage changes in the quantity of health care services, before and after the change in the price paid by the corresponding percentage change in the price. Results: This study showed that, for all medical services, price increases were associated with reductions in the quantity of care consumed as predicted by neoclassical demand theory, and we are in the presence of an elastic demand. This means that price elasticity is greater than 1 in absolute value so the increase in the price led to a more than proportional reduction in the quantity demanded. Demand elasticity was more responsive to changes in the price of specialist and emergency care than to changes in the price of inpatient care.

Utilization of food industry wastes for the production of zero-valent iron nanoparticles

The proper disposal of the several types of wastes produced in industrial activities increases production costs. As a consequence, it is common to develop strategies to reuse these wastes in the same process and in different processes or to transform them for use in other processes. This work combines the needs for new synthesis methods of nanomaterials and the reduction of production cost using wastes from citrine juice (orange, lime, lemon and mandarin) to produce a new added value product, green zero-valent iron nanoparticles that can be used in several applications, including environmental remediation. The results indicate that extracts of the tested fruit wastes (peel, albedo and pulp fractions) can be used to produce zero-valent iron nanoparticles (nZVIs). This shows that these wastes can be an added value product. The resulting nZVIs had sizes ranging from 3 up to 300 nm and distinct reactivities (pulp > peel > albedo extracts). All the studied nanoparticles did not present a significant agglomeration/settling tendency when compared to similar nanoparticles, which indicates that they remain in suspension and retain their reactivity.

Generalization of Wertheim's theory for the assembly of various types of rings

We generalize Wertheim's first order perturbation theory to account for the effect in the thermodynamics of the self-assembly of rings characterized by two energy scales. The theory is applied to a lattice model of patchy particles and tested against Monte Carlo simulations on a fcc lattice. These particles have 2 patches of type A and 10 patches of type B, which may form bonds AA or AB that decrease the energy by epsilon(AA) and by epsilon(AB) = r epsilon(AA), respectively. The angle theta between the 2 A-patches on each particle is fixed at 601, 90 degrees or 120 degrees. For values of r below 1/2 and above a threshold r(th)(theta) the models exhibit a phase diagram with two critical points. Both theory and simulation predict that rth increases when theta decreases. We show that the mechanism that prevents phase separation for models with decreasing values of theta is related to the formation of loops containing AB bonds. Moreover, we show that by including the free energy of B-rings ( loops containing one AB bond), the theory describes the trends observed in the simulation results, but that for the lowest values of theta, the theoretical description deteriorates due to the increasing number of loops containing more than one AB bond.

Unified overhead-aware schedulability analysis for slot-based task-splitting

Hard real- time multiprocessor scheduling has seen, in recent years, the flourishing of semi-partitioned scheduling algorithms. This category of scheduling schemes combines elements of partitioned and global scheduling for the purposes of achieving efficient utilization of the system’s processing resources with strong schedulability guarantees and with low dispatching overheads. The sub-class of slot-based “task-splitting” scheduling algorithms, in particular, offers very good trade-offs between schedulability guarantees (in the form of high utilization bounds) and the number of preemptions/migrations involved. However, so far there did not exist unified scheduling theory for such algorithms; each one was formulated in its own accompanying analysis. This article changes this fragmented landscape by formulating a more unified schedulability theory covering the two state-of-the-art slot-based semi-partitioned algorithms, S-EKG and NPS-F (both fixed job-priority based). This new theory is based on exact schedulability tests, thus also overcoming many sources of pessimism in existing analysis. In turn, since schedulability testing guides the task assignment under the schemes in consideration, we also formulate an improved task assignment procedure. As the other main contribution of this article, and as a response to the fact that many unrealistic assumptions, present in the original theory, tend to undermine the theoretical potential of such scheduling schemes, we identified and modelled into the new analysis all overheads incurred by the algorithms in consideration. The outcome is a new overhead-aware schedulability analysis that permits increased efficiency and reliability. The merits of this new theory are evaluated by an extensive set of experiments.

Strategic Bidding in Electricity Markets: An agent-based simulator with game theory for scenario analysis

Electricity markets are complex environments, involving a large number of different entities, with specific characteristics and objectives, making their decisions and interacting in a dynamic scene. Game-theory has been widely used to support decisions in competitive environments; therefore its application in electricity markets can prove to be a high potential tool. This paper proposes a new scenario analysis algorithm, which includes the application of game-theory, to evaluate and preview different scenarios and provide players with the ability to strategically react in order to exhibit the behavior that better fits their objectives. This model includes forecasts of competitor players’ actions, to build models of their behavior, in order to define the most probable expected scenarios. Once the scenarios are defined, game theory is applied to support the choice of the action to be performed. Our use of game theory is intended for supporting one specific agent and not for achieving the equilibrium in the market. MASCEM (Multi-Agent System for Competitive Electricity Markets) is a multi-agent electricity market simulator that models market players and simulates their operation in the market. The scenario analysis algorithm has been tested within MASCEM and our experimental findings with a case study based on real data from the Iberian Electricity Market are presented and discussed.