Abstract of the Proceedings

Vol. for 1890-1905 includes Proceedings of the Preliminary meeting, 1889

Investigation of concentration of economic power. Hearings before the Temporary National Economic Committee, Congress of the United States, Seventy-fifth Congress, third session[--Seventy-sixth Congress, third session] pursuant to Public resolution no. 113 (Seventy-fifth Congress) authorizing and directing a select committee to make a full and complete study and investigation with respect to the concentration of economic power in, and financial control over, production of goods and services ...

1939.--pt.30. Technology and concentration of economic power. Apr.8-12, 15-19, 22-26, 1940.--31. Investments, profits, and rates of return for selected industries.

Die Arbeiter-versicherung im Auslande.

Each part has special t.-p. and short bibliography.

Report of secretary /

Description based on: years 1941, 1942, 1943 and1944.

Annual report.

Report year ends June 30, 1919/20-1937/38.

Norges Private Aksjebanker og Sparebanker

Mode of access: Internet.

Investigating genetic discrimination in Australia: Opportunities and challenges in the early stages

Genetic discrimination, defined as the differential treatment of individuals or their relatives on the basis of actual or presumed genetic differences, is an emerging issue of interest in academic, clinical, social and legal contexts. While its potential significance has been discussed widely, verified empirical data are scarce. Genetic discrimination is a complex phenomenon to describe and investigate, as evidenced by the recent Australian Law Reform Commission inquiry in Australia. The authors research project, which commenced in 2002, aims to document the multiple perspectives and experiences regarding genetic discrimination in Australia and inform future policy development and law reform. Data are being collected from consumers, employers, insurers and the legal system. Attempted verification of alleged accounts of genetic discrimination will be a novel feature of the research. This paper overviews the early stages of the research, including conceptual challenges and their methodological implications.

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.

Refinement methods for software architecture design using the software architecture model

Modern software systems are often large and complicated. To better understand, develop, and manage large software systems, researchers have studied software architectures that provide the top level overall structural design of software systems for the last decade. One major research focus on software architectures is formal architecture description languages, but most existing research focuses primarily on the descriptive capability and puts less emphasis on software architecture design methods and formal analysis techniques, which are necessary to develop correct software architecture design. ^ Refinement is a general approach of adding details to a software design. A formal refinement method can further ensure certain design properties. This dissertation proposes refinement methods, including a set of formal refinement patterns and complementary verification techniques, for software architecture design using Software Architecture Model (SAM), which was developed at Florida International University. First, a general guideline for software architecture design in SAM is proposed. Second, specification construction through property-preserving refinement patterns is discussed. The refinement patterns are categorized into connector refinement, component refinement and high-level Petri nets refinement. These three levels of refinement patterns are applicable to overall system interaction, architectural components, and underlying formal language, respectively. Third, verification after modeling as a complementary technique to specification refinement is discussed. Two formal verification tools, the Stanford Temporal Prover (STeP) and the Simple Promela Interpreter (SPIN), are adopted into SAM to develop the initial models. Fourth, formalization and refinement of security issues are studied. A method for security enforcement in SAM is proposed. The Role-Based Access Control model is formalized using predicate transition nets and Z notation. The patterns of enforcing access control and auditing are proposed. Finally, modeling and refining a life insurance system is used to demonstrate how to apply the refinement patterns for software architecture design using SAM and how to integrate the access control model. ^ The results of this dissertation demonstrate that a refinement method is an effective way to develop a high assurance system. The method developed in this dissertation extends existing work on modeling software architectures using SAM and makes SAM a more usable and valuable formal tool for software architecture design. ^

Modèles de dépendance hiérarchique pour l’évaluation des passifs et la tarification en actuariat

Dans cette thèse on s’intéresse à la modélisation de la dépendance entre les risques en assurance non-vie, plus particulièrement dans le cadre des méthodes de provisionnement et en tarification. On expose le contexte actuel et les enjeux liés à la modélisation de la dépendance et l’importance d’une telle approche avec l’avènement des nouvelles normes et exigences des organismes réglementaires quant à la solvabilité des compagnies d’assurances générales. Récemment, Shi et Frees (2011) suggère d’incorporer la dépendance entre deux lignes d’affaires à travers une copule bivariée qui capture la dépendance entre deux cellules équivalentes de deux triangles de développement. Nous proposons deux approches différentes pour généraliser ce modèle. La première est basée sur les copules archimédiennes hiérarchiques, et la deuxième sur les effets aléatoires et la famille de distributions bivariées Sarmanov. Nous nous intéressons dans un premier temps, au Chapitre 2, à un modèle utilisant la classe des copules archimédiennes hiérarchiques, plus précisément la famille des copules partiellement imbriquées, afin d’inclure la dépendance à l’intérieur et entre deux lignes d’affaires à travers les effets calendaires. Par la suite, on considère un modèle alternatif, issu d’une autre classe de la famille des copules archimédiennes hiérarchiques, celle des copules totalement imbriquées, afin de modéliser la dépendance entre plus de deux lignes d’affaires. Une approche avec agrégation des risques basée sur un modèle formé d’une arborescence de copules bivariées y est également explorée. Une particularité importante de l’approche décrite au Chapitre 3 est que l’inférence au niveau de la dépendance se fait à travers les rangs des résidus, afin de pallier un éventuel risque de mauvaise spécification des lois marginales et de la copule régissant la dépendance. Comme deuxième approche, on s’intéresse également à la modélisation de la dépendance à travers des effets aléatoires. Pour ce faire, on considère la famille de distributions bivariées Sarmanov qui permet une modélisation flexible à l’intérieur et entre les lignes d’affaires, à travers les effets d’années de calendrier, années d’accident et périodes de développement. Des expressions fermées de la distribution jointe, ainsi qu’une illustration empirique avec des triangles de développement sont présentées au Chapitre 4. Aussi, nous proposons un modèle avec effets aléatoires dynamiques, où l’on donne plus de poids aux années les plus récentes, et utilisons l’information de la ligne corrélée afin d’effectuer une meilleure prédiction du risque. Cette dernière approche sera étudiée au Chapitre 5, à travers une application numérique sur les nombres de réclamations, illustrant l’utilité d’un tel modèle dans le cadre de la tarification. On conclut cette thèse par un rappel sur les contributions scientifiques de cette thèse, tout en proposant des angles d’ouvertures et des possibilités d’extension de ces travaux.

A importância económica e social dos seguros de vida

Mestrado em Contabilidade e Gestão das Instituições Financeiras

Industry wage survey.

Mode of access: Internet.

Uzasadnienie szczególnej ochrony ubezpieczonych na gruncie III filaru emerytalnego

Reforma systemu emerytalnego polegająca na zmianie systemu zdefiniowanego świadczenia na system zdefiniowanej składki spowodowała zmniejszenie wysokości otrzymywanych świadczeń przez przyszłych emerytów. Działania takie zmusiły zainteresowanych do poszukiwania dodatkowych źródeł utrzymania. Jednym z takich źródeł może być uzupełniający system emerytalny, określany mianem trzeciego filaru emerytalnego. Jego cechą charakterystyczną jest dobrowolność. Dla jego rozwoju niezbędne jest zapewnienie wzmożonego poziomu ochrony ubezpieczonych. Środki te dotyczą zarówno ogólnej polityki konsumenckiej, jak i regulacji cywilnoprawnych oraz administracyjnoprawnych. W praktyce można wyróżnić dwa poziomy ochrony ubezpieczonych w ramach trzeciego filaru. Poziom pierwszy jest właściwy dla wszystkich ubezpieczonych, natomiast drugi poziom zawiera regulacje ograniczone do uzupełniającego systemu emerytalnego.

Modelação de taxas de resgate em seguros de vida

Mestrado em Ciências Actuariais