基于最大不动点模型的描述逻辑系统FL��的有穷基

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.

Produção de uvas para processamento no sistema de condução Scott Henry, em região tropical do Brasil.

2007

Apocryffa Si?n Cent

Bryant-Quinn, M. (2004). Apocryffa Si?n Cent. Cyfres Beirdd yr Uchelwyr, 26. Aberystwyth: Canolfan Uwchefrydiau Cymreig a Cheltaidd Prifysgol Cymru.

Alexander Mackay : missionary hero of Uganda.

http://www.archive.org/details/alexandermackay00unknuoft/

The life and work of Lucinda B. Helm : founder of the Woman's Parsonage and Home Mission Society of the M.E. church, South / by Arabel Wilbur Alexander.

http://purl.oclc.org/KUK/KDL/B92-53-27061877

A modern pioneer in Korea the life story of Henry G. Appenzeller

http://www.archive.org/details/amodernpioneerin00grifuoft

Dix-huit ans chez les sauvages : voyages et missions de Mgr Henry Faraud, áevãeque d'Anemour, vicaire apostolique de Mackensie dans l'extrãeme nord de l'Amerique britannique : d'apráes les documents de Mgr l'evãque d'Anemour / par Fernand-Michel.

http://www.archive.org/details/dixhuitanschezle00fararich

The Union Mission hymnal, with which is incorporated "Hymns for Heart and Life" / edited by Fredk. C. Spurr ; the harmonies of the non-copyright pieces revised by Henry C. Banister.

http://www.archive.org/details/theunionmissiony00spuruoft

History of Christian missions / by Charles Henry Robinson

http://www.archive.org/details/historyofchristi003076mbp

Redefining military memorials and commemoration and how they have changed since the 19th century with a focus on Anglo-American practice

This thesis is a study of military memorials and commemoration with a focus on Anglo-American practice. The main question is: How has history defined military memorials and commemoration and how have they changed since the 19th century. In an effort to resolve this, the work examines both historic and contemporary forms of memorials and commemoration and establishes that remembrance in sites of collective memory has been influenced by politics, conflicts and religion. Much has been written since the Great War about remembrance and memorialization; however, there is no common lexicon throughout the literature. In order to better explain and understand this complex subject, the work includes an up-to-date literature review and for the first time, terminologies are properly explained and defined. Particular attention is placed on recognizing important military legacies, being familiar with spiritual influences and identifying classic and new signs of remembrance. The thesis contends that commemoration is composed of three key principles – recognition, respect and reflection – that are intractably linked to the fabric of memorials. It also argues that it is time for the study of memorials to come of age and proposes Memorialogy as an interdisciplinary field of study of memorials and associated commemorative practices. Moreover, a more modern, adaptive, General Classification System is presented as a means of identifying and re-defining memorials according to certain groups, types and forms. Lastly, this thesis examines how peacekeeping and peace support operations are being memorialized and how the American tragic events of 11 September 2001 and the war in Afghanistan have forever changed the nature of memorials and commemoration within Canada and elsewhere. This work goes beyond what has been studied and written about over the last century and provides a deeper level of analysis and a fresh approach to understanding the field of Memorialogy.

Cholera in Haiti and other Caribbean regions, 19th century.

Medical journals and other sources do not show evidence that cholera occurred in Haiti before 2010, despite the devastating effect of this disease in the Caribbean region in the 19th century. Cholera occurred in Cuba in 1833-1834; in Jamaica, Cuba, Puerto Rico, St. Thomas, St. Lucia, St. Kitts, Nevis, Trinidad, the Bahamas, St. Vincent, Granada, Anguilla, St. John, Tortola, the Turks and Caicos, the Grenadines (Carriacou and Petite Martinique), and possibly Antigua in 1850-1856; and in Guadeloupe, Cuba, St. Thomas, the Dominican Republic, Dominica, Martinique, and Marie Galante in 1865-1872. Conditions associated with slavery and colonial military control were absent in independent Haiti. Clustered populations, regular influx of new persons, and close quarters of barracks living contributed to spread of cholera in other Caribbean locations. We provide historical accounts of the presence and spread of cholera epidemics in Caribbean islands.