Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

Reflexiones acerca de la tendencia posneoliberal de la reciente reforma previsional argentina

Los profundos cambios registrados en algo menos de dos décadas en el sistema previsional argentino (privatización parcial, instauración de un régimen de capitalización individual en la década neoliberal, plan de inclusión previsional, reestatización del sistema, ley de movilidad jubilatoria y otros) han sido de una magnitud tal que es posible describirlos como un cambio completo de paradigma en términos de política pública en la materia. En el presente artículo nos limitaremos a realizar un abordaje del tema acotándonos a lo que entendemos han sido los principales aspectos en la trayectoria del sistema previsional argentino en los últimos veinte años.

Contribution to multiuser videoconferencing systems based on cloud computing

Multi-user videoconferencing systems offer communication between more than two users, who are able to interact through their webcams, microphones and other components. The use of these systems has been increased recently due to, on the one hand, improvements in Internet access, networks of companies, universities and houses, whose available bandwidth has been increased whilst the delay in sending and receiving packets has decreased. On the other hand, the advent of Rich Internet Applications (RIA) means that a large part of web application logic and control has started to be implemented on the web browsers. This has allowed developers to create web applications with a level of complexity comparable to traditional desktop applications, running on top of the Operating Systems. More recently the use of Cloud Computing systems has improved application scalability and involves a reduction in the price of backend systems. This offers the possibility of implementing web services on the Internet with no need to spend a lot of money when deploying infrastructures and resources, both hardware and software. Nevertheless there are not many initiatives that aim to implement videoconferencing systems taking advantage of Cloud systems. This dissertation proposes a set of techniques, interfaces and algorithms for the implementation of videoconferencing systems in public and private Cloud Computing infrastructures. The mechanisms proposed here are based on the implementation of a basic videoconferencing system that runs on the web browser without any previous installation requirements. To this end, the development of this thesis starts from a RIA application with current technologies that allow users to access their webcams and microphones from the browser, and to send captured data through their Internet connections. Furthermore interfaces have been implemented to allow end users to participate in videoconferencing rooms that are managed in different Cloud provider servers. To do so this dissertation starts from the results obtained from the previous techniques and backend resources were implemented in the Cloud. A traditional videoconferencing service which was implemented in the department was modified to meet typical Cloud Computing infrastructure requirements. This allowed us to validate whether Cloud Computing public infrastructures are suitable for the traffic generated by this kind of system. This analysis focused on the network level and processing capacity and stability of the Cloud Computing systems. In order to improve this validation several other general considerations were taken in order to cover more cases, such as multimedia data processing in the Cloud, as research activity has increased in this area in recent years. The last stage of this dissertation is the design of a new methodology to implement these kinds of applications in hybrid clouds reducing the cost of videoconferencing systems. Finally, this dissertation opens up a discussion about the conclusions obtained throughout this study, resulting in useful information from the different stages of the implementation of videoconferencing systems in Cloud Computing systems. RESUMEN Los sistemas de videoconferencia multiusuario permiten la comunicación entre más de dos usuarios que pueden interactuar a través de cámaras de video, micrófonos y otros elementos. En los últimos años el uso de estos sistemas se ha visto incrementado gracias, por un lado, a la mejora de las redes de acceso en las conexiones a Internet en empresas, universidades y viviendas, que han visto un aumento del ancho de banda disponible en dichas conexiones y una disminución en el retardo experimentado por los datos enviados y recibidos. Por otro lado también ayudó la aparación de las Aplicaciones Ricas de Internet (RIA) con las que gran parte de la lógica y del control de las aplicaciones web comenzó a ejecutarse en los mismos navegadores. Esto permitió a los desarrolladores la creación de aplicaciones web cuya complejidad podía compararse con la de las tradicionales aplicaciones de escritorio, ejecutadas directamente por los sistemas operativos. Más recientemente el uso de sistemas de Cloud Computing ha mejorado la escalabilidad y el abaratamiento de los costes para sistemas de backend, ofreciendo la posibilidad de implementar servicios Web en Internet sin la necesidad de grandes desembolsos iniciales en las áreas de infraestructuras y recursos tanto hardware como software. Sin embargo no existen aún muchas iniciativas con el objetivo de realizar sistemas de videoconferencia que aprovechen las ventajas del Cloud. Esta tesis doctoral propone un conjunto de técnicas, interfaces y algoritmos para la implentación de sistemas de videoconferencia en infraestructuras tanto públicas como privadas de Cloud Computing. Las técnicas propuestas en la tesis se basan en la realización de un servicio básico de videoconferencia que se ejecuta directamente en el navegador sin la necesidad de instalar ningún tipo de aplicación de escritorio. Para ello el desarrollo de esta tesis parte de una aplicación RIA con tecnologías que hoy en día permiten acceder a la cámara y al micrófono directamente desde el navegador, y enviar los datos que capturan a través de la conexión de Internet. Además se han implementado interfaces que permiten a usuarios finales la participación en salas de videoconferencia que se ejecutan en servidores de proveedores de Cloud. Para ello se partió de los resultados obtenidos en las técnicas anteriores de ejecución de aplicaciones en el navegador y se implementaron los recursos de backend en la nube. Además se modificó un servicio ya existente implementado en el departamento para adaptarlo a los requisitos típicos de las infraestructuras de Cloud Computing. Alcanzado este punto se procedió a analizar si las infraestructuras propias de los proveedores públicos de Cloud Computing podrían soportar el tráfico generado por los sistemas que se habían adaptado. Este análisis se centró tanto a nivel de red como a nivel de capacidad de procesamiento y estabilidad de los sistemas. Para los pasos de análisis y validación de los sistemas Cloud se tomaron consideraciones más generales para abarcar casos como el procesamiento de datos multimedia en la nube, campo en el que comienza a haber bastante investigación en los últimos años. Como último paso se ideó una metodología de implementación de este tipo de aplicaciones para que fuera posible abaratar los costes de los sistemas de videoconferencia haciendo uso de clouds híbridos. Finalmente en la tesis se abre una discusión sobre las conclusiones obtenidas a lo largo de este amplio estudio, obteniendo resultados útiles en las distintas etapas de implementación de los sistemas de videoconferencia en la nube.

As entidades fechadas de previdência complementar enquanto instrumentos de atuação do Estado na economia

Com as transformações ocorridas nas últimas décadas do século XX, notadamente a expansão financeira pela qual passou o capitalismo, o enfraquecimento fiscal dos Estados nacionais e o questionamento aos sistemas de previdência pública por repartição, ganham importância em todo o mundo os fundos de pensão. Estes fundos, ao lado de outros investidores institucionais, como seguradoras e fundos de investimentos, passam a cumprir papel central no mercado acionário e também no mercado de títulos públicos e privados. Com o objetivo de realizar lucros para pagar benefícios de aposentadoria para os seus participantes, os fundos de pensão arrecadam e concentram poupança privada pulverizada, transformando-a em um ativo poderoso. No Brasil, as Entidades Fechadas de Previdência Complementar nomenclatura jurídica dos fundos de pensão possuem um total de 702 bilhões de reais em ativos, que se concentram nas três maiores entidades do país: Previ, Petros e Funcef. Em comum, estes três fundos têm o fato de serem patrocinados por empresas estatais, o que, pela legislação vigente, dá ao Poder Executivo a competência de indicar metade de seus dirigentes, incluindo o seu presidente que possui voto de desempate. O presente trabalho pesquisou o papel que estas três EFPCs cumprem enquanto instrumento de atuação do Estado no domínio econômico, especialmente para o provimento de fundos para o desenvolvimento. Para isso, primeiramente, o estudo explora o movimento de expansão financeira do capitalismo e a crise no padrão de desenvolvimento brasileiro. Depois, investiga de maneira sistemática o arcabouço jurídico que regula os fundos de pensão; e, por fim, analisa a alocação dos seus investimentos e o perfil dos seus dirigentes.

Adaptación de la gestión de empresas turísticas al nuevo escenario del sector del turismo: especial referencia a la gestión hotelera

Resulte incuestionable que, en la actualidad, el Turismo constituye un complejo fenómeno con perfiles complejos y heterogéneos dentro del cual son abordados ámbitos muy diversos (económico, jurídico, político, cultural…). De forma inicial, dentro de la pluralidad de las relaciones que circunscriben el mismo, presentan especial transcendencia las conectadas, en mayor o menor grado, con la gestión y el alojamiento turístico. Lo que hace medio siglo resultaba inimaginable o, casi extravagante, constituye hoy una circunstancia común y frecuente en el escenario propuesto, de forma particular, dentro del complejo y escasamente analizado ámbito de la gestión hotelera. Al hilo de lo expresado, en este trabajo se analizará, partiendo del supuesto de que la colaboración interempresarial en el sector turístico puede sustentarse en capital o en relaciones contractuales, sus esenciales trazos conformadores (gestor hotelero y titular del hotel gestionado) sobre los cuales poder elaborar un concepto ordenado y de subsunción del mismo como paso previo para la fijación de su régimen jurídico básico. Con idéntico tenor, se discutirá la posibilidad de integración del hotel determinado en las grandes cadenas hoteleras, la utilización de su know-how estandarizado y marca propia. Finalmente, será estudiada su incidencia en las grandes cadenas hoteleras al objeto de valorar su expansión tanto desde un punto de vista nacional como internacional.

Extending working life in Finland. CEPS Working Document No. 387, 22 November 2013

This report reviews national and private initiatives to allow the elderly to continue their participation in the Finnish labour market and provides an analysis of the labour market and living conditions of seniors. We are interested in how those over 50 can be engaged in various forms of employment and lifelong learning. We find strong evidence that Finland generally provides good institutional conditions for active ageing. The quick and early ageing process was tackled by the fundamental pension reform that already prolonged retirement substantially and will probably facilitate later retirement as the attitudes concerning retirement change. On the other hand, Finland still seems to lag behind the other Nordic welfare states, has considerable problems in providing the same health conditions to low educated people in physically demanding occupations and could - – with respect to family pension in particular – invest further efforts in reforming the pension system. While many of the reforms Finland has conducted seem to be favourable and transferable to other European countries that still face the steepest phases of ageing in their societies, a reluctance towards changing attitudes that we observe in Finland, shows that organizing active ageing is a long-term project.

Ukraine's cooperation with the IMF - unfulfilled hopes for deeper reforms. OSW Commentary No. 52, 2011-06-15

The Party of Regions took power in early 2010, after Ukraine had been plunged deep in economic crisis. Over the next year, with the external markets recovering, the country’s economic situation started to improve gradually. Ukraine’s economic stabilisation was also strengthened by its resumed cooperation with the International Monetary Fund, which provided for a loan worth $15.1 billion. The issuing of successive tranches of the loan was made dependent on the implementation of a comprehensive reform programme. The cooperation went quite smoothly at first; however, as the economic situation in Ukraine improved, the reformist zeal of the Ukrainian government started to fade, and obstacles began piling up. As a result, Ukraine was refused the third tranche, scheduled for this March, and for the moment the credit line remains frozen. Even though the IMF has numerous reservations about the Ukrainian government’s economic policy, the fundamental condition for resuming cooperation is reform of the pension system, which the parliament should adopt. The difficulties with fulfilling the obligations made to the IMF reflect the wider problem with implementing reforms in Ukraine, as the Party of Regions promised after taking power. Changes which do not affect the interests of influential lobbies are quite easy to carry out. Often, however, these changes are not conducive to the economy’s liberalisation; moreover, the influential lobbies are successful in blocking reforms that could harm their businesses. Another impediment to the changes is that some reforms are likely to bring about painful social consequences, and that can affect public support for the ruling group. Even though theoretically possible, it does not seem likely that Ukraine’s cooperation with the IMF will be terminated. But even if this cooperation is continued, deeper reforms in Ukraine are likely to be postponed until after the parliamentary elections in autumn 2012.

Mode control in multimode optical fibre and its applications

This thesis describes an investigation into methods for controlling the mode distribution in multimode optical fibres. The major contributions presented in this thesis are summarised below. Emerging standards for Gigabit Ethernet transmission over multimode optical fibre have led to a resurgence of interest in the precise control, and specification, of modal launch conditions. In particular, commercial LED and OTDR test equipment does not, in general, comply with these standards. There is therefore a need for mode control devices, which can ensure compliance with the standards. A novel device consisting of a point-load mode-scrambler in tandem with a mode-filter is described in this thesis. The device, which has been patented, may be tuned to achieve a wide range of mode distributions and has been implemented in a ruggedised package for field use. Various other techniques for mode control have been described in this work, including the use of Long Period Gratings and air-gap mode-filters. Some of the methods have been applied to other applications, such as speckle suppression and in sensor technology. A novel, self-referencing, sensor comprising two modal groups in the Mode Power Distribution has been designed and tested. The feasibility of a two-channel Mode Group Diversity Multiplexed system has been demonstrated over 985m. A test apparatus for measuring mode distribution has been designed and constructed. The apparatus consists of a purpose-built video microscope, and comprehensive control and analysis software written in Visual Basic. The system may be fitted with a Silicon camera or an InGaAs camera, for measurement in the 850nm and 130nm transmission windows respectively. A limitation of the measurement method, when applied to well-filled fibres, has been identified and an improvement to the method has been proposed, based on modelled Laguerre Gauss field solutions.

Estimation of uncertainty in three-dimensional coordinate measurement by comparison with calibrated points

This paper details a method of estimating the uncertainty of dimensional measurement for a three-dimensional coordinate measurement machine. An experimental procedure was developed to compare three-dimensional coordinate measurements with calibrated reference points. The reference standard used to calibrate these reference points was a fringe counting interferometer with a multilateration-like technique employed to establish three-dimensional coordinates. This is an extension of the established technique of comparing measured lengths with calibrated lengths. Specifically a distributed coordinate measurement device was tested which consisted of a network of Rotary-Laser Automatic Theodolites (R-LATs), this system is known commercially as indoor GPS (iGPS). The method was found to be practical and was used to estimate that the uncertainty of measurement for the basic iGPS system is approximately 1 mm at a 95% confidence level throughout a measurement volume of approximately 10 m × 10 m × 1.5 m. © 2010 IOP Publishing Ltd.

A magyar öngondoskodás sajátosságai

A magyar nyugdíjrendszerben 1998 óta egymás mellett működik a felosztó-kirovó és a kötelező tőkefedezeti pillér. Ezt a paradigmatikusnak tekintett reformot követően is több változtatás zajlott az elmúlt években, amelyek lényegében a nyugdíjparaméterek módosítására irányultak. Mára a nyugdíjreformról szóló diskurzus világszerte újra általánossá vált. A magyar nyugdíjviták középpontjában nem elsősorban az idősödő népesség növekvő aránya, hanem az alacsony foglalkoztatás és a csekély jogosultságszerzés áll. A hozzászólások ma már nem a felosztó-kirovó versus tőkefedezeti rendszer kérdéskörét érintik. A vitában újra és újra előkerül az öngondoskodás hangsúlyozása. A tanulmány egy felmérés adatain keresztül elemzi az öngondoskodás különböző formáinak elterjedtségét. A kérdőív tanulsága szerint a megkérdezettek jellemzően nem saját maguk hozták meg döntéseiket a vizsgált kérdésekben - a nyugdíjrendszerről és saját várható nyugdíjas élettartamukról korlátozott (és néha téves) ismeretekkel rendelkeznek. Az emberek öngondoskodásának túlhangsúlyozása a szerzők szerint meg nem engedhető optimizmus. /===/ Unfunded and mandatory funded pillars of the Hungarian pension system have been operating simultaneously since 1998. This reform, seen as paradigmatic, has undergone several changes in recent years, designed essentially to alter the pension parameters. Discourse on pension reform has become general again throughout the world. The pension debates in Hungary have focused less on the rising proportion of the elderly than on low employment and eligibility. Contributions to the debate these days are not about the question of an unfunded versus a funded system. The emphasis has repeatedly been on self-provision. The study analyses by means of survey data the extent of the various forms of self-provision. The survey shows that respondents have not typically made decisions of their own on the matter, for which they have limited (and sometimes false) information about the pension system and their life expectancy as pensioners. According to the authors, it is impermissibly optimistic to place excessive emphasis on people’s ability to provide for themselves.

Közjavak optimális előállítása (Optimal production of public goods)

A közjavak közgazdaságilag optimális szintjének előállítása piaci körülmények között általában nehézségekbe ütközik. Napjainkban számos országban többféle közjószág áll rendelkezésre, a szakirodalomban pedig például a nyugdíjrendszer egyes elemeinek közjószágjellegével kapcsolatos felvetések is megjelentek már. Ezzel összefüggésben is érdekes a kérdés, milyen körülmények között fordulhat elő, hogy racionális egyéni döntéshozók egyénileg optimális döntéseikkel valamely közjószág optimális szintjét hozzák létre. Jelen tanulmány ezzel a kérdéssel foglalkozik. / === / It is difficult to produce the economically optimal level of public goods in a market environment. There are many different types of public goods, and today even some aspects of the pension system are considered as such. Still, it is an interesting question if individually optimal decisions made by rational individuals could lead to an optimal level of public goods. The paper attempts to analyze this question.

Gender, Work and Employment in Ten Candidate Countries of Central and Eastern Europe. Final Report. Country: Hungary

The Hungarian media shows very contradictory pictures of women today: Successful career women enjoying material well-being is one picture, while the careful mother not working outside the home, keeping together the family is another one. Between these two contradictory poles there are almost no other female actors in the media. Life produces something different. In spite of the fact that there was a big loss of jobs in 1990s, and women’s activity rate decreased while the unemployment rate increased compared to before the 1990s, woman with duel roles are still accepted and common. The first female task is looking after the family and the second one is working outside the home and earning money. In many cases there is a third role: studying in distant or evening courses. In the next chapters we go deeper into this topic. We analyse the different aspects of female labour market positions, and show some relevant characteristics of governmental parental benefits and childcare support, and examine how the new pension system effects women. We also have a quick look at trade unions and show their lack of activity around gender issues. In the labour market analysis of the position of women we use labour force surveys, institution-based labour statistics, and unemployment registers. The Appendix 1 contains short descriptions of these data sources.

The political construction of old age as reflected in online discussions

The present paper examines the political construction of ageing and conflicts between generations. The process of construction is driven not merely by institutional actors and opinion leaders in the media, but also by citizens who talk to each other about politics. In my paper I have focused on the latter by observing online discussions that appear on the political forum Index.hu. Disagreement between old people’ and ‘young people’ evolved mainly about the pension system, thus the examination of ageing constructions is embedded in this context. In spite of its numerous limits, the method used seems to be suitable for providing hypotheses for further research. In the first part of the study I present the applied theoretical approach in which the concept of stereotype is connected with the concept of social construction. After that I focus on investigating the activity, origin and contents of the stereotypes that influence the construction of ageing. In the third part of the study the components of the constructions are demonstrated.

The role of longevity risk in Hungary

In this paper, I analyze the role of longevity risk in Hungary in the public pension system and the life annuity segment of the life insurance market, which are two primary financial sectors of relevance to this special type of actuarial risk, using state-of-the- art econometric methodology. To this end, I present an overview and the mathematical background of several important current mortality forecasting techniques from the Lee–Carter model up to unifying paradigm of the Age–Period–Cohort family of models. After presenting the findings of a case study on the public pension system based on the paper of Bajk ́o, Maknics, T ́oth and V ́ekas, I conclude that longevity risk jeopardizes the sustainability of the Hungarian public pension system in the long run. In another case study, I present an analysis of the role of longevity risk in the pre- mium of private pension annuities, a relevant topic due to recent changes in a law on Hungarian voluntary pension funds, following an earlier analysis of M ́ajer and Kov ́acs. Based on the criterion on out-of-sample forecasting accuracy, I find that the Cairns–Blake– Dowd mortality forecasting model aimed specifically at modeling old-age mortality outperforms the Lee–Carter model applied by M ́ajer and Kov ́acs . Based on numerical results, I finally conclude that the role of longevity risk in the Hungarian life annuity mar- ket has increased significantly in the past decade and is likely to further increase in the future.

Discurso científico na Rede Nacional de Educação e Ciência: modos de produzir ciência na atualidade

A ciência, alicerçada por seu método, suas técnicas, suas demonstrações e suas descobertas, desde sua emergência no século XVII, tem estado em pauta nas discussões sobre a produção do conhecimento. Por suas características – dogmática, quantificável, experimental e determinista –, a ciência constitui o campo de conhecimento que foi o grande regime de verdade na episteme da modernidade. Diferentes formas de conceber a ciência foram produzidas por estudiosos, filósofos e cientistas, como René Descartes, Francis Bacon, Paul Feyerabend, entre outros. Como campo teórico utilizamos os estudos de Michel Foucault. Partindo desses entendimentos, essa tese tem como objetivo investigar e problematizar o discurso de ciência produzido por seis grupos de cinco universidades do Rio Grande do Sul pertencentes à Rede Nacional de Educação e Ciência: Novos Talentos da Rede Pública (RNEC/NT). Essa Rede existe há quase 20 anos e é composta por grupos de pesquisadores de diferentes universidades, instituições de pesquisa e institutos federais do país e visa a melhoria das condições de ensino de ciências a jovens carentes de todo o país, desenvolvendo metodologias que facilitam o aprendizado e desmistifiquem a ciência. Os grupos dessa Rede desenvolvem atividades como cursos para professores e estudantes da Educação Básica e estágios em laboratórios de pesquisa para o mesmo público alvo. Para a produção dos dados, foram realizadas visitas aos seis grupos analisados, nas quais foram feitas entrevistas com coordenadores e monitores dos grupos e foi feito o acompanhamento de um curso para professores e/ou estudantes de Educação Básica de cada grupo. Essas entrevistas e o curso observado foram gravados em vídeo e transcritos na forma de texto. Como metodologia de análise utilizamos conceitos da análise de discurso foucaultiano como discurso, enunciado e enunciação. Verificamos que há um discurso inicial de ciência na emergência da RNEC/NT pautado em três enunciados: fazer ciência envolve um caminho e a geração de produtos “novos” publicáveis; a formação do cientista na díade inatismo e empirismo; formação de cientistas pela inclusão social. Esse discurso inicial é atualizado nos grupos pesquisados por meio de diferentes enunciações que enfocam tanto um entendimento de ciência pelo uso do método científico, do empirismo e da razão, quanto um afrouxamento no entendimento de ciência ao vinculá-la à educação e ao questionamento do que é dado como naturalizado e verdadeiro, o que parece ter afinidade com as configurações ditas líquidas da contemporaneidade. Em relação aos cursos, para a maioria dos grupos, o discurso científico é vinculado aquele produzido no espaço do laboratório com suas técnicas e padrões, típico do entendimento moderno. Nesses cursos vemos ainda aparecer um modo de trabalhar, ensinar e apresentar essa ciência para os professores ou estudantes participantes, mostrando a presença de um discurso pedagógico atrelado ao científico. Como resultado, defendemos a tese de que há uma diversidade discursiva sobre a ciência nos grupos do sul da RNEC/NT que, ao ser atualizada e colocada em operação, é interpelada por elementos de um discurso pedagógico.