Search
Results
-
Derivation of access request arrival curves for dedicated superblock sequences
(2012)TIK ReportThis document is intended to complement the work presented in [4]. In particular, it provides a more elaborate documentation of the method used for the derivation of arrival curves which bound the access request streams of periodically executed dedicated superblocks (Sec. 4.2.1, [4]). Additionally, it presents several abstractions that have been applied to the timed automata-based modelling of a resourcesharing multicore system in order ...Report -
Jost Bürgi and the discovery of the logarithms
(2012)In the year 1620 the printing office of the University of Prague published a 58- page table containing the values an = (1.0001)n for 0 ! n ! 23027, rounded to 9 decimal digits. This table had been devised and computed about 20 years earlier by the Swiss-born astronomer and watchmaker Jost B¨urgi in order to facilitate the multi-digit multiplications and divisions he needed for his astronomical computations. The “Progreß Tabulen”, as B¨urgi ...Report -
Convergence of finite difference schemes for symmetric Keyfitz-Kranzer system
(2012)Research ReportWe are concerned with the convergence of numerical schemes for the initial value problem associated to the Keyfitz-Kranzer system of equations. This system is a toy model for several important models such as in elasticity theory, magnetohydrodynamics, and enhanced oil recovery. In this paper we prove the convergence of two difference schemes. One of these schemes is shown to converge to the unique entropy solution. Finally, the convergence ...Report -
A note on front tracking for the Keyfitz-Kranzer system
(2012)Research ReportA front tracking method is developed for the n × n symmetric Keyfitz-Kranzer system and convergence of the approximations to the strong generalized entropy solution of the system as defined by Panov [13] is proved. We also present numerical examples and compare the front tracking approximation with the finite difference upwind schemes constructed in [9].Report -
-
Countering Radicalization in Europe
(2012)ICSR ReportSince the mid-2000s, European countries have developed counter-radicalization strategies, seeking to de-radicalize committed militants and preventing the radicalization of vulnerable populations. What do these strategies entail? Where do they differ, and what do they have in common? How successful have they been? "Countering Radicalization in Europe" describes the genesis, main characteristics, aims, underlying philosophies and challenges ...Report -
Stopping Criteria for First-Order Methods
(2012)Technical ReportThis technical note introduces and evaluates stopping criteria for convex optimization. The emphasis is put on criteria that are `cheap' to evaluate if first-order methods, such as gradient projection or the fast gradient method, are applied. We investigate three different criteria which are based either on the complexity results of first-order methods, a property of the gradient mapping or on conjugacy, which to the best of the authors' ...Report -
Carbon Tax Revenue and the Budget Deficit
(2012)Joint Program Report SeriesBush-era tax cuts are scheduled to expire at the end of 2012, leading to interest in raising revenue through a carbon tax. This revenue could be used to either cut other taxes or to avoid cuts in Federal programs. There is a body of economic research suggesting that such an arrangement could be a win-win-win situation. The first win—Congress could reduce personal or corporate income tax rates, extend the payroll tax cut, maintain spending ...Report