989 resultados para Free Software Movement
Resumo:
Immigration and freedom of movement of EU citizens are among the main issues debated throughout the European Parliament election campaign and have some potential in determining who tomorrow’s EU leaders will be. This Policy Brief looks at how the two policies are debated at national level – in France, Germany and the UK – and at EU level between the ‘top candidates’ for European Commission Presidency – Jean-Claude Juncker (EPP), Ska Keller (Greens), Martin Schulz (PES) and Guy Verhofstadt (ALDE) – who have participated in several public debates. Two different campaigns have been unfolding in front of EU citizens’ eyes. The tense debate that can be identified at national level on these issues, is not transferred to the EU level, where immigration and free movement are less controversial topics. Furthermore, although participating in European elections, national parties present agendas responding exclusively to the economic and social challenges of their Member State, while the candidates for the Commission Presidency bring forward ‘more European’ programmes. Hence, several aspects need to be reflected upon: What will the consequences of this discontinuity be? How will this impact the future European agenda in terms of immigration and free movement? What institutional consequences will there be? Answering these questions is not a simple task, however, this paper aims to identify the parameters that need to be taken into account and the political landscape which will determine the future EU agenda in terms of immigration and free movement.
Resumo:
To make the abolition of visas in relations between the EU and the Eastern European countries possible, the ”spell cast” must be broken on this issue. With the present levels of mobility and people-to-people, business and political contacts the introduction of a visa-free regime will be a natural consequence of the liberalisation processes which have been at work for years.Moreover, the decision to lift the visa requirement is unlikely to significantly stimulate an increase in migration pressure from Eastern European countries but could reduce the operating costs of expanded Schengen consular network. Lifting the visa requirement for Eastern European citizens can be temporary and conditional and allow for actual implementation of an increased conditionality rule. In political terms, making visa liberalisation a key issue would fundamentally change the partners’ approach to the Eastern Partnership and would provide a link to the Partnership for Modernisation targeted at Russia.
Resumo:
The focus of this Policy Brief is the Swiss referendum of 2014 against ‘mass immigration’ in Switzerland. It identifies the challenges that a quota on EU citizens’ free movement rights to Switzerland would pose to EU-Swiss relations, considering: i) the value of freedom of movement in the EU and its indivisibility from the internal market and other economic freedoms; ii) the specificity of the EU legal system following the Lisbon Treaty that established democratic and judicial accountability mechanisms; iii) the lack of supranational judicial oversight of the EU-Switzerland agreements framework; and iv) the existence of the so-called guillotine mechanism, according to which the termination of the Free Movement Agreement would entail the automatic termination of the other agreements with the EU. The authors set out a number of options and consider their implications for EU-Swiss relations.
Resumo:
The purpose of this paper is to address the issue of social security benefits that jobseekers, nationals of other Member State, residing in another Member States are in title to, as well as the economic implications of free movement of persons and labour market access. Consequently, it aims to disentangle between labour mobility welfare effects and “benefit tourism” looking in particular at the United Kingdom social security system and analysing the policy framework currently in place that governs the free movement of people across the European Union Member States.
Resumo:
Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which avoid introducing faults (fault avoidance); then testing should be carried out to identify any faults which persist (error removal). Finally, techniques should be used which allow any undetected faults to be tolerated (fault tolerance). The verification of correctness in system design specification and performance analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large fault avoidance requires human analysis which is error prone; by reducing human involvement in the tedious aspect of modelling and analysis of the software it is hoped that fewer faults will persist into its implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of concurrent software for distributed computing systems if the communication structure is to be free of pathologies, such as deadlock. The objective of this thesis is to provide a design environment which ensures that processes are free from deadlock. A software tool was designed and used to facilitate the production of fault-tolerant software for distributed concurrent systems. Where Occam is used as a design language then state space methods, such as Petri-nets, can be used in analysis and simulation to determine the dynamic behaviour of the software, and to identify structures which may be prone to deadlock so that they may be eliminated from the design before the program is ever run. This design software tool consists of two parts. One takes an input program and translates it into a mathematical model (Petri-net), which is used for modeling and analysis of the concurrent software. The second part is the Petri-net simulator that takes the translated program as its input and starts simulation to generate the reachability tree. The tree identifies `deadlock potential' which the user can explore further. Finally, the software tool has been applied to a number of Occam programs. Two examples were taken to show how the tool works in the early design phase for fault prevention before the program is ever run.
Resumo:
Between 1948 and 1962, approximately 600 million Commonwealth citizens had the right to enter the UK. This number decreased throughout the 1960s and 1970s, as a series of Acts of Parliament altered the rights and definitions of Commonwealth citizens. To date, the European Union has extended the right to over 500 million citizens and residents of member-states to enter the UK. This new trend has been met with perceptions of threat to national cultural and economic resources. Reactions to Commonwealth immigration were similarly negative. This paper examines parallels between EU immigration today and Commonwealth immigration of the past. It argues that the fears expressed, both in the literature of the 1960s and 1970s and in contemporary society, reflect a fear of persons who are seen as ‘other’ but who must, by law, be defined as fellow-citizens and afforded the attendant rights. We argue that theorists of free and freer movement must acknowledge these local concerns in order to strengthen their theory and enable a more liberal treatment of immigration policy in the UK and beyond.
Resumo:
This paper provides an agent-based software exploration of the wellknown free market efficiency/equality trade-off. Our study simulates the interaction of agents producing, trading and consuming goods in the presence of different market structures, and looks at how efficient the producers/consumers mapping turn out to be as well as the resulting distribution of welfare among agents at the end of an arbitrarily large number of iterations. Two market mechanisms are compared: the competitive market (a double auction market in which agents outbid each other in order to buy and sell products) and the random one (in which products are allocated randomly). Our results confirm that the superior efficiency of the competitive market (an effective and never stopping producers/consumers mapping and a superior aggregative welfare) comes at a very high price in terms of inequality (above all when severe budget constraints are in play).
Resumo:
Objectives: To describe the microscopic pulpal reactions resulting from orthodontically induced tooth movement associated with low-level laser therapy (LLLT) in rats. Materials and Methods: Forty-five young male Wistar rats were randomly assigned to three groups. In group I (n = 20), the maxillary right first molars were submitted to orthodontic movement with placement of a coil spring. In group II (n = 20), the teeth were submitted to orthodontic movement plus LLLT at 4 seconds per point (buccal, palatal, and mesial) with a GaAlAs diode laser source (830 nm, 100 mW, 18 J/cm(2)). Group III (n = 5) served as a control (no orthodontic movement or LLLT). Groups I and 11 were divided into four subgroups according to the time elapsed between the start of tooth movement and sacrifice (12 hours, 24 hours, 3 days, and 7 days). Results: Up until the 3-day period, the specimens in group I presented a thicker odontoblastic layer, no cell-free zone of Weil, pulp core with differentiated mesenchymal and defense cells, and a high concentration of blood vessels. In group II, at the 12- and 24-hour time points, the odontoblastic layer was disorganized and the cell-free zone of Weil was absent, presenting undifferentiated cells, intensive vascularization with congested capillaries, and scarce defense cells in the cell-rich zone. In groups I and II, pulpal responses to the stimuli were more intense in the area underneath the region of application of the force or force/laser. Conclusions: The orthodontic-induced tooth movement and LLLT association showed reversible hyperemia as a tissue response to the stimulus. LLLT leads to a faster repair of the pulpal tissue due to orthodontic movement. (Angle Orthod. 2010;80:116-122.)
Resumo:
An accurate estimate of machining time is very important for predicting delivery time, manufacturing costs, and also to help production process planning. Most commercial CAM software systems estimate the machining time in milling operations simply by dividing the entire tool path length by the programmed feed rate. This time estimate differs drastically from the real process time because the feed rate is not always constant due to machine and computer numerical controlled (CNC) limitations. This study presents a practical mechanistic method for milling time estimation when machining free-form geometries. The method considers a variable called machine response time (MRT) which characterizes the real CNC machine`s capacity to move in high feed rates in free-form geometries. MRT is a global performance feature which can be obtained for any type of CNC machine configuration by carrying out a simple test. For validating the methodology, a workpiece was used to generate NC programs for five different types of CNC machines. A practical industrial case study was also carried out to validate the method. The results indicated that MRT, and consequently, the real machining time, depends on the CNC machine`s potential: furthermore, the greater MRT, the larger the difference between predicted milling time and real milling time. The proposed method achieved an error range from 0.3% to 12% of the real machining time, whereas the CAM estimation achieved from 211% to 1244% error. The MRT-based process is also suggested as an instrument for helping in machine tool benchmarking.
Resumo:
The University of Queensland, Australia has developed Fez, a world-leading user-interface and management system for Fedora-based institutional repositories, which bridges the gap between a repository and users. Christiaan Kortekaas, Andrew Bennett and Keith Webster will review this open source software that gives institutions the power to create a comprehensive repository solution without the hassle..
Resumo:
Expokit provides a set of routines aimed at computing matrix exponentials. More precisely, it computes either a small matrix exponential in full, the action of a large sparse matrix exponential on an operand vector, or the solution of a system of linear ODEs with constant inhomogeneity. The backbone of the sparse routines consists of matrix-free Krylov subspace projection methods (Arnoldi and Lanczos processes), and that is why the toolkit is capable of coping with sparse matrices of large dimension. The software handles real and complex matrices and provides specific routines for symmetric and Hermitian matrices. The computation of matrix exponentials is a numerical issue of critical importance in the area of Markov chains and furthermore, the computed solution is subject to probabilistic constraints. In addition to addressing general matrix exponentials, a distinct attention is assigned to the computation of transient states of Markov chains.