36,782 research outputs found
Dynamic IFC Theorems for Free!
We show that noninterference and transparency, the key soundness theorems for
dynamic IFC libraries, can be obtained "for free", as direct consequences of
the more general parametricity theorem of type abstraction. This allows us to
give very short soundness proofs for dynamic IFC libraries such as faceted
values and LIO. Our proofs stay short even when fully mechanized for Agda
implementations of the libraries in terms of type abstraction.Comment: CSF 2021 final versio
The Future of EU Cohesion Policy. Endogenous Development – Added Value of Intervention – Regulatory Frameworks
The successful operation of the regional development – or cohesion – policy of the European Union has a strategic importance from the point of view of the whole integration process. Strengthening economic, social and territorial cohesion and decreasing disparities between member states and regions are not only one of the main priorities of the integration, but at the same time these are justified expectations of the people living in the member states of the union. The cohesion transfers should be spent on those factors which have the biggest contribution to the improvement of development prospects and competitiveness in the given regions. Theories on regional development have controversial conclusions about the long-term formation of development disparities. However, it has become evident that successful development policies are based on endogenous factors, innovation and well-functioning institutions. After examining theoretical considerations and regional disparities the study analyses the impacts of EU regional policy and evaluates the main elements of the proposed regulatory frameworks for the period 2014-2020
A Hierarchical Game with Strategy Evolution for Mobile Sponsored Content and Service Markets
In sponsored content and service markets, the content and service providers
are able to subsidize their target mobile users through directly paying the
mobile network operator, to lower the price of the data/service access charged
by the network operator to the mobile users. The sponsoring mechanism leads to
a surge in mobile data and service demand, which in return compensates for the
sponsoring cost and benefits the content/service providers. In this paper, we
study the interactions among the three parties in the market, namely, the
mobile users, the content/service providers and the network operator, as a
two-level game with multiple Stackelberg (i.e., leader) players. Our study is
featured by the consideration of global network effects owning to consumers'
grouping. Since the mobile users may have bounded rationality, we model the
service-selection process among them as an evolutionary-population follower
sub-game. Meanwhile, we model the pricing-then-sponsoring process between the
content/service providers and the network operator as a non-cooperative
equilibrium searching problem. By investigating the structure of the proposed
game, we reveal a few important properties regarding the equilibrium existence,
and propose a distributed, projection-based algorithm for iterative equilibrium
searching. Simulation results validate the convergence of the proposed
algorithm, and demonstrate how sponsoring helps improve both the providers'
profits and the users' experience
A lending scheme for a system of interconnected banks with probabilistic constraints of failure
We derive a closed form solution for an optimal control problem related to an
interbank lending schemes subject to terminal probability constraints on the
failure of banks which are interconnected through a financial network. The
derived solution applies to a real banks network by obtaining a general
solution when the aforementioned probability constraints are assumed for all
the banks. We also present a direct method to compute the systemic relevance
parameter for each bank within the network
Analysing Astronomy Algorithms for GPUs and Beyond
Astronomy depends on ever increasing computing power. Processor clock-rates
have plateaued, and increased performance is now appearing in the form of
additional processor cores on a single chip. This poses significant challenges
to the astronomy software community. Graphics Processing Units (GPUs), now
capable of general-purpose computation, exemplify both the difficult
learning-curve and the significant speedups exhibited by massively-parallel
hardware architectures. We present a generalised approach to tackling this
paradigm shift, based on the analysis of algorithms. We describe a small
collection of foundation algorithms relevant to astronomy and explain how they
may be used to ease the transition to massively-parallel computing
architectures. We demonstrate the effectiveness of our approach by applying it
to four well-known astronomy problems: Hogbom CLEAN, inverse ray-shooting for
gravitational lensing, pulsar dedispersion and volume rendering. Algorithms
with well-defined memory access patterns and high arithmetic intensity stand to
receive the greatest performance boost from massively-parallel architectures,
while those that involve a significant amount of decision-making may struggle
to take advantage of the available processing power.Comment: 10 pages, 3 figures, accepted for publication in MNRA
EU Cohesion policy 2007-13 and the implications for Spain : who gets what, when and how?
The recent negotiation of the EU budget and the associated reform of EU Cohesion policy have had major policy implications for Spain, the country in receipt of most Cohesion policy support in the current programming period (2000-06). EU enlargement, combined with relatively rapid growth in Spain, impacted on the eligibility of Spanish regions for Cohesion support while also taking the country as a whole beyond the eligibility threshold for the Cohesion Fund. As a result, based on the original Commission budget proposals of February 2004, Spain was facing a reduced Cohesion policy budget of at least a half (to below €30 billion). This paper first reviews the budget negotiations from a Spanish (Cohesion policy) perspective, identifying the key negotiating goals and the extent to which they were achieved. It then looks at the outcome of the negotiations for Spain, initially at the national level and then in the regions. It highlights the significant differential impacts of the cutbacks in Cohesion policy allocations at the regional level and the pressures on the Spanish government to modulate the regional impact of the budgetary changes. Having considered the direct funding implications of the new Cohesion policy, the second half of the paper is concerned with the regulatory, institutional and economic impacts of the new policy regime. Many of the reform proposals fit with Spanish priorities, not least the new rationale for Cohesion policy (with its stress on the Lisbon and Gothenburg agendas) and the new policy architecture (with all regions eligible for some form of support and with a related shift from a geographic to more of a thematic focus). The retention of the key Structural Funds principles has also been welcomed in Spain, unsurprising given the wealth of experience and expertise built up over three (high-spending) programming cycles. As in most Member States, the main regulatory concern relates to the extent to which a more simplified and devolved approach to Funds' implementation will be achieved in practice. As regards policy and institutional impacts, the paper brings together regional views on the new budgetary and regulatory frameworks and reviews how the new regulations are being implemented in practice. A discussion of the developing National Strategic Reference Framework and the related Operational Programmes makes clear that the strong emphasis on the Lisbon agenda is not viewed as a constraint in Spain; rather, it is felt to fit well with recent Spanish developments and goals. Finally, the paper considers the economic implications of the reductions in Cohesion policy support. On the basis of evaluation studies, it highlights the positive impact the Funds have had in the past and the potentially quite varied regional impacts the reductions in funding may have in the future
- …