Title: Universal Constraint Language Author: Peter Piják Department / Institute: Department of Software Engineering Supervisor of the master thesis: Mgr. Martin Nečaský, Ph.D. Abstract: Today's software applications are typically compound of system of more application components. By modeling of software, various integrity constraint languages are used for particular parts of model (e.g. OCL for UML class diagrams, Schematron for XML or SQL triggers for relational databases). Constraint expressions need to be converted to expressions over different meta-models. These tasks are non-trivial. In this thesis, a new common language Universal Constraint Language (UCL) for expressing integrity constraints over various data meta-models is introduced. It is formally defined and also its parser is implemented. We also present semi-automatic translating between constraints over various meta-models; and deriving constraints from the introduced language to constraints in specific constraint languages. Keywords: constraint language, model-driven architecture, universal formalism

Master of Regional and Community Planning / Department of Landscape Architecture/Regional and Community Planning / Katherine Nesse / Most adults have grown accustomed to the current design orientation of their communities; however, as adults grow older they will be hard pressed to maintain their current lifestyle and level of activity in their community. This research identifies the importance of incorporating accessibility and usability elements into the streetscape of a community to encourage the integration of seniors into community life. One of the four pillars of the Main Street approach is design. This encompasses the design of building facades, streetscapes, and public spaces. This research looks at the Kansas Main Street program and investigates its success in furthering usability and accessibility of streetscapes in rural communities experiencing an aging population and infrastructure. My thesis is if the Main Street organizations of Kansas were concerned about the access and use of streetscapes for elderly populations, their concern would be expressed in development plans and practices through their Main Street program undertakings. Through this research, I have found that while rural communities see the value in accessible streetscapes their primary barrier to creating them is a financial one.

Doctor Legum - LLD / The principle of complementarity forms the basis upon which the International Criminal Court (ICC) exercises its jurisdiction. This principle of international law first appears in the Preamble to the Rome Statute and then the admissibility provisions under Article 17 of the Rome Statute, which outline that the Court will declare a case inadmissible where it is being investigated or prosecuted by a state which has jurisdiction over it; unless the state is unwilling or unable to genuinely carry out the investigation or prosecution. Alternatively where the case has been investigated by a state which has jurisdiction over it and the state has decided not to prosecute the person concerned, unless the decision resulted from the unwillingness or inability of the state to genuinely prosecute. This principle implies that the ICC is a court of last resort and will therefore not intervene in a case where the state of commission is either able or willing genuinely to investigate and prosecute perpetrators of grave crimes. It is common cause that Africa has been the staging area of mass atrocities for decades. The indictment of Kenyan president Uhuru Kenyatta’s’ and his deputy William Ruto, Hissene Habre case, and the indictment and issuance of an arrest warrant against the Sudanese President Omar El-Bashir are instructive in this regard. The ICC’S actions created the perception of bias, injustice and inequity. This prompted a sharp reaction from African states, which threated a mass withdrawal from the Rome Statute in 2013. The one positive spin off from the AU reaction was the expansion of the jurisdiction of the merged court to include a criminal chamber in 2014, thus creating Africa’s first international criminal court, the African Criminal Court (ACC). This development was the result of the discontent and frustration of the African continent towards the work of the ICC, which was perceived as focusing only on African cases, whilst ignoring the litany of cases coming from other regions of the world.

Submitted by FERNANDA DA SILVA VON PORSTER (fdsvporster@univates.br) on 2018-01-05T11:25:39Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2016PedroMacariodeMoura.pdf: 2444818 bytes, checksum: 8cc5fec70718e2dc595e9ec55af2b7a2 (MD5) / Approved for entry into archive by Ana Paula Lisboa Monteiro (monteiro@univates.br) on 2018-01-05T19:16:29Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2016PedroMacariodeMoura.pdf: 2444818 bytes, checksum: 8cc5fec70718e2dc595e9ec55af2b7a2 (MD5) / Made available in DSpace on 2018-01-05T19:16:29Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) 2016PedroMacariodeMoura.pdf: 2444818 bytes, checksum: 8cc5fec70718e2dc595e9ec55af2b7a2 (MD5) Previous issue date: 2018-01 / A fim de investigar e colaborar com o ensino e a aprendizagem de Astronomia, de educandos de uma Escola Pública Estadual de Petrolina/PE, foi desenvolvido um Projeto de Intervenção Pedagógica, utilizando os conteúdos de Física – Gravitação Universal e de Matemática – Elipses, aos olhos da História da Astronomia. Os participantes da pesquisa foram alunos do 1° e do 3° ano do Ensino Médio. Os estudantes construíram os seguintes instrumentos: relógio de Sol, Astrolábio, Elipse de Kepler e a deformação do espaço-tempo de Einstein, sob a orientação desse autor. Essa prática ocorreu em cinco encontros. No último, os alunos responderam a um questionário aberto, com 10 questões, elaboradas pelo pesquisador, adaptadas dos livros didáticos adotados pela escola, sob a orientação dos Parâmetros Curriculares Nacionais – PCNS. A análise dos resultados foi embasada em pesquisa qualitativa, utilizando a análise textual por meio de um estudo de campo, do qual emergiram, a posteriori, três categorias: Contribuição docente para a aprendizagem do aluno; Aprendizagem de astronomia com uso de instrumentos astronômicos; Aprendizagem de conteúdos de astronomia. Os resultados revelam que os alunos têm preferência por abordagens como a realizada pelo autor, a qual corroborou para uma melhor compreensão dos conceitos de Gravitação Universal e de Elipses, facilitando assim a aprendizagem dos educandos, em relação aos fenômenos astronômicos. Conforme as respostas dos alunos no questionário, a prática desenvolvida apresentou uma maneira nova e mais eficaz de compreender os conteúdos de Física e de Matemática, melhorando a compreensão para a construção do conhecimento por parte dos educandos. / Con el fin de investigar y colaborar con la enseñanza y aprendizaje de la astronomía a los alumnos de una escuela pública de Petrolina, PE, se ha desarrollado un proyecto de intervención pedagógica, con el contenido del Universal de gravitación y física matemáticas-elipses a los ojos de la historia de la astronomía. Participantes en la investigación fueron estudiantes de 1° y 3° año de secundaria. Los estudiantes construyeron los siguientes instrumentos: reloj de sol, astrolabio, elipse de Kepler y la deformación del espacio-tiempo de Einstein, bajo la dirección del autor. Esta práctica llevó a cabo en cinco encuentros, los últimos estudiantes respondieron un cuestionario abierto que contiene 10 preguntas elaborados por los libros del investigador adaptado utilizados en la escuela, utilizando la metodología del plan de estudios nacional parámetros PCNS. El análisis de los resultados llevó a cabo a través de la investigación cualitativa, usando el análisis textual por medio de un estudio de campo. A que surgió a posteriori tres categorías: contribución de la enseñanza al aprendizaje; Astronomía de aprendizaje con el uso de instrumentos astronómicos y el aprendizaje de contenidos de Astronomía. Los resultados muestran que los estudiantes tienen preferencia por enfoques como el autor, porque corrobora a diseñar mejor los conceptos de gravitación Universal y elipses, a facilitar el aprendizaje de los estudiantes ante los fenómenos astronómicos. Una vez, los estudiantes en sus respuestas en el cuestionario de la práctica desarrollada, presenten forma nueva y más eficaz, para comprender los contenidos de física y matemáticas, mejorar la comprensión para la construcción del conocimiento por parte de los alumnos.

The central tenets of both the National Health Services of Scotland (NHS) and the Unified Health System of Brazil (SUS) are universality and equity of access to services on the basis of need, free at the point of delivery. Redistribution is designed into the Scottish system. This study uses a mixed methods approach to analyse access to health care and the influence of socioeconomic factors using hip arthroplasty as a proxy measure for equity in the public health care systems of Brazil and Scotland. Methods Three studies were conducted to establish the extent to which equity is achieved in each system and the extent to which inequalities in socioeconomic status and health service supply affect equity. First, an ecological study using routine data of hip arthroplasty rates in the public sector by country and geographic region (2009/10 to 2012/13) complemented by an analysis of supply, specifically per capita distribution of beds and staff nationally and by area. Second, inequalities in access due to socioeconomic status were analysed for Scotland using the Scottish Index of Multideprivation (SIMD) in association with standardised rates; in Brazil two socioeconomic indicators (Gini and Human Development Index - HDI) were modelled (Zero Inflated Poisson - ZIP) with standardised municipal rates of arthroplasties (5,565 municipalities); and a Pearson's correlation. Finally, qualitative interviews were undertaken in both countries with civil servants, health workers and policy makers who were invited to comment on the quantitative results from stages I and II based on a script of open ended questions. Results There is an almost eight fold difference in treatment rates between Brazil (7.8-8.3/100,000) and Scotland between 2009/10 to 2012/13 (57.7-61.1/100,000). There are geographic differences within both countries. The health board areas with the lowest and highest regional rates in Scotland were Glasgow & Clyde with rates of 29.2-40.2/100,000 and Ayrshire & Arran with a rate of 60.2-88.5/100,000 respectively; in Brazil the lowest and highest regions were the North Region (2.3-4/100,000) and South Region (15.4-17.9/100,000) respectively. The two least deprived quintiles (4 and 5) in the Scottish population had both a higher utilisation (42.6%) and proportional growth in number of procedures than the two more deprived (1 and 2); quintile 3 had no consistent changes. In Brazil municipal rates showed a negative correlation with Gini (r=- .226) and a positive correlation with HDI (r=.396); the ZIP model demonstrated that for every standard deviation (SD) change in Gini, rates would be 23% higher or lower, for HDI each SD would lower or increase rates by 56%. Three major areas were identified by interviewees as explanatory factors for these quantitative results: equity of access, health systems, evidence based actions/policies. Crucially the interviewees identified GDP spend on public health care, the ability of governments to redistribute and reallocate resources on the basis of need and the distorting effect of the market and private providers including physicians as key factors; and the need for better data collection from the private sector. Conclusion Although both countries aspire to universal health care, Brazil is very far from reaching that goal due to the widespread socioeconomic differences and that the health system does not redistribute resources, staff and beds according to need. Scotland appears to be achieving universal access on the basis of need, nevertheless there are geographic and socioeconomic differences in access that need to be carefully monitored and understood. In Brazil there should be better planning and resource allocation so that public resources are redirected towards those most in need of the North and Northeast regions.

Orientadora: Arlete de Jesus Brito / Banca: Iran Abreu Mendes / Banca: Fumikazu Saito / Banca: Marcos Vieira Teixeira / Banca: Rosa Lúcia Sverzut Baroni / Resumo: Durante sua vida, Leibniz persegue o objetivo de criar uma Linguagem universal que comunique perfeitamente o pensamento e assim permita o conhecimento de todas as coisas. Segundo ele, a viabilidade da construção de tal linguagem deriva da convicção de que todo o conhecimento tem por base um número finito de conceitos básicos ou ideias simples que podem ser identificadas e estruturadas hierarquicamente. Em sua concepção para a elaboração de tal linguagem, é necessário: chegar às ideias simples; estipular um sistema adequado de signos -o que ele denomina Característica universal; e estabelecer as regras lógicas para compor ideias complexas -o que ele denomina Gramática racional. Delineamos então como objetivo central deste trabalho apresentar uma pesquisa sobreLinguagem universal e, em especial, sobre a Característica universal e investigar os caminhos percorridos por Leibniz nesta busca. Deste propósito decorrem como objetivos complementares: verificar de que forma Leibniz desenvolve suas pesquisas na Aritmética binária, uma materialização da Característica universal; e expor brevemente seus estudos relativos à Gramática racional. Para dar suporte... / Abstract: During his life, Leibniz pursues the goal to create a universal language that perfectly communicates the thought and thus allows the knowledge of allthings. According to him, the viability to the construction of a universal language accrues from the fact that all the knowledge sustains itself on a finite number of basic concepts or simple ideas which can be identified and hierarchically structured. Inhis conceiving for the preparation of such language is necessary: defining the simple ideas; setting a proper system of signs -what he calls universal characteristic; and establishing the logical rules in order to compose complex ideas -or, as he's defined, rational grammar. We have defined the main goal of this paper as to present a survey on a universal language, in particular about theuniversal characteristicand to investigate the paths taken by Leibniz in this pursuit. From this purpose it courses the following secondary objectives: to verify how Leibniz develops his research in Binary Arithmetic, that consists on materialization of the universal characteristic; and briefly to present his rational grammar. To support our goal, we introduce some.... / Doutor

acase@tulane.edu / 1 / Kathryn M. Jones

1980年代以來，我國經濟持續快速成長，1980—1989年間，經濟成長率平 均每年高達8%，為同期世界少數成長迅速國家之一。隨著經濟繁榮，國民 所得及儲蓄大幅提高，投資理財逐漸蔚為風氣。由於長久以來金融管制環 境尚未完全解除，相對而言僵化之金融服務自難滿足社會需求。因投資管 道嚴重不足，致使1980年代後期國內龐大民間資金轉而搶購房地產及股票 ，或流入地下投資公司、期貨公司等，不僅造成房地產及股票價格大幅上 漲，也助長社會不良投機風氣。1990年代以後，隨著金融政策之逐步開放 ，各類金融機構競相成立，各式金融商品亦推陳出新，兼顧安全及收益之 投資性商品遂成為社會大眾普遍之需求。在人壽保險業方面，1980年代中 期開放美商壽險公司在台經營， 1992年開放國人設立壽險公司，可預期 的是未來壽險業之發展，不僅須與同業競爭，資金的吸收方面更須面臨其 他金融業之競爭。為滿足消費者對商品多樣化要求之心理，設計並推出具 競爭性之壽險商品，使消費者在尋求經濟生活保障之餘，更能透過所購買 之保單分享較多壽險公司投資利潤，實為未來保單設計之必然趨勢。萬能 壽險在美國已有10年以上之銷售經驗，但在台灣壽險業並不見類似保單之 引進。一則由於台灣並未發生類似1970年代末期美國壽險業所遭受之困境 ，一則國內至今未曾建立相關法規因應。然就消費者立場而言，萬能壽險 之彈性化特質，可使其根據一生不同時期經濟需求調整保費之繳付及保障 額度，其透明化特質，可幫助消費者了解其保單成本、現金價值之操作情 形，再加上壽險公司提供其反應公司投資收益之利率水準，故萬能壽險對 於消費者而言，正如同其保單名稱「Universal Life」所顯示的，是一個 全能的壽險商品。雖然萬能壽險在美國推出後為其壽險界帶來不小衝擊， 無論如何它在1970年代末期至1980年代初期傳統壽險之銷售陷入困境時， 協助美國壽險公司暫時渡過了危急關頭。在這十多年萬能壽險經歷了成長 、全盛到穩定三個發展階段，萬能壽險之崛起有其歷史背景及意義，本文 希望藉著對此商品特性、公司經營、政府監理之研討，深入了解其在美國 之行銷經驗，以及引進台灣市場之可行性，以作為國內壽險業開發新產品 之參考。

Thesis (Ph. D.)--Ohio State University, 2006. / Title from first page of PDF file. Includes bibliographical references (p. 162-173).

The subject of this paper is to the research and develop Liquid Crystal Display Module(LCM) test system for LCM factories.We prpose an FPGA,built in an NiosII soft CPU,as the control core with peripheral circuits to form a flexible SOPC¡]System on Programmable Chip¡^. Using this digital circuit being synthetic with the hardware description language, one can further integrate analog and digital peripheral devices by software control to establish a universal of medium and small LCM tester, and can conduct display function verification on such system. This system has been proved effectively to perform functional test for multi type LCM, and meanwhile it further demonstrates the advantage in its flexibility for configuration change due to its SOPC design.