Automatic generation of simplified weakest preconditions for integrity constraint verification

Given a constraint $c$ assumed to hold on a database $B$ and an update $u$ to be performed on $B$, we address the following question: will $c$ still hold after $u$ is performed? When $B$ is a relational database, we define a confluent terminating rewriting system which, starting from $c$ and $u$, automatically derives a simplified weakest precondition $wp(c,u)$ such that, whenever $B$ satisfies $wp(c,u)$, then the updated database $u(B)$ will satisfy $c$, and moreover $wp(c,u)$ is simplified in the sense that its computation depends only upon the instances of $c$ that may be modified by the update. We then extend the definition of a simplified $wp(c,u)$ to the case of deductive databases; we prove it using fixpoint induction

An analysis of multi-meaning words from a selected list of third-grade textbooks,

Thesis (M.A.)--Boston Universit

A study of the academic success of Group Three in Halleck Hall Junior High School.

Success or failure - there are no other two words which can create more joy or sorrow to both pupils and teachers. Some of the teachers in Halleck Hall Junior High School feel that they are not satisfied with the achievement made by the slow-learners, or low groups, with whom they work. An attempt has been made, under the direction of the principal, to classify pupils entering Halleck Hall Junior High School, into homogeneous groups. The low group composed of slow learners is known as Group Three. When the pupils enter Halleck Hall Junior High School, they are classified on the basis of the score they made on the Kuhlmann Anderson Intelligence Test which was administered to all Louisville pupils in the sixth grade. If the pupils are entering the Louisville school system for the first time, they are given the Otis Self Administering Test of Mental Ability. On this basis, the pupils are divided into three groups. Group One - those pupils with high intelligence scores. Group Two - those pupils with average, or normal intelligence scores. Group Three - those pupils with LOW, or below average intelligence scores. This last group is the group which furnishes the basic material for this study

A workbook for teaching word analysis skills in grade one

Thesis (M.A.)--Boston University, 1949. This item was digitized by the Internet Archive

Thermal/environmental barrier coating system for silicon-based materials

A coating system for a substrate containing a silicon-based material, such as silicon carbide-containing ceramic matrix materials containing silicon carbide and used to form articles exposed to high temperatures, including the hostile thermal environment of a gas turbine engine. The coating system includes a layer of barium strontium aluminosilicate (BSAS) as a bond coat for a thermal-insulating top coat. As a bond coat, the BSAS layer serves to adhere the top coat to a SiC-containing substrate. The BSAS bond coat exhibits sufficient environmental resistance such that, if the top coat should spall, the BSAS bond coat continues to provide a level of environmental protection to the underlying SiC-containing substrate

HIV-1 Protease: Structural Perspectives on Drug Resistance

Antiviral inhibitors of HIV-1 protease are a notable success of structure-based drug design and have dramatically improved AIDS therapy. Analysis of the structures and activities of drug resistant protease variants has revealed novel molecular mechanisms of drug resistance and guided the design of tight-binding inhibitors for resistant variants. The plethora of structures reveals distinct molecular mechanisms associated with resistance: mutations that alter the protease interactions with inhibitors or substrates; mutations that alter dimer stability; and distal mutations that transmit changes to the active site. These insights will inform the continuing design of novel antiviral inhibitors targeting resistant strains of HIV

Pelatihan “Pembelajaran Berbasis Ict” Bagi Guru-guru Taman Kanak – Kanak dan Raudhatul Athfal Kecamatan Bantur

Masih terbatasnya kemampuan guru-guru Taman Kanak-kanak dan Raudhatul Athfal untuk menggunakan teknologi sebagai alat berkomunikasi dan sebagai sumber informasi dalam pembelajaran menjadikan pengajaran mereka kurang bervariasi dan terkesan monoton. Pengabdian pada masyarakat ini dilaksanakan untuk meningkatkan ketrampilan para guru Taman Kanak Kanak dan Raudhatul Athfal kecamatan Bantur, Kabupaten Malang berkenaan dengan penggunaan Komputer dan internet dalam mengembangkan kegiatan pembelajaran. Dalam pelaksanaannya, pengabdian ini dilakukan dalam dua tahap yaitu Tahap pemberian materi mengenai ICT, dan Tahap Praktik Pengaplikasian komputer dan internet. Pada akhir dari kegiatan Pengabdian kepada masyarakat ini peserta sudah dapat menunjukkan hasil pengaplikasian penggunaan komputer dan internet sebagai sarana komunikasi dan penunjang pembelajaran mereka secara mandiri. Disimpulkan bahwa para guru secara mandiri dapat mengaplikasikan ICT dengan rincian 40% memiliki nilai tinggi, 40% memiliki nilai sedang, dan 20% memiliki nilai rendah

CASE STUDY: POLICIES, STRATEGIES AND RESPONSES TO PLAGIARISM IN SLOVAKIA

The European project “Impact of Policies for Plagiarism in Higher Education Across Europe“ has identified best practices and gaps related to plagiarism in different European countries. Slovakia is one of interesting ones, where national repository for plagiarism detection was established. However, there are still gaps in terms of policies and overall understanding of plagiarism. This case study describes what happened in Slovakia in last few years, compares the situation with other European countries and discusses the results. Additionally, the number of occurrences of the terms “plagiarism” and “academic integrity” in media and on the Internet is examined in relation to recent changes

The stress of the midwife: Experiences of advanced midwives working in obstetric emergency units in Johannesburg, South Africa

Obstetric emergencies account for the majority of causes of maternal deaths. The major causes of maternal and neonatal deaths in obstetric emergencies include bleeding, pregnancy-induced hypertension, cord prolapse, shoulder dystocia, poor progress, placenta abruptio, placenta praevia and amniotic fluid embolism. These adverse labour and birth events cause emergency situations and trauma for the nursing staff involved. A qualitative, descriptive phenomenological research design was used to explore and describe the lived experiences of advanced midwives regarding the management of obstetric emergencies in Midwife Obstetric Units (MOUs) of Gauteng Province, South Africa. An interview guide was prepared with a major question which was followed by probing questions based on the participant’s responses. Semi-structured, face-to-face individual interviews were used to collect data from thirteen (13) advanced midwives who were purposively selected and had been working in the Midwife Obstetric Units for two years or more after obtaining their qualifications. The Midwife Obstetric Units were selected based on the records of their birth statistics. The seven Collaizi’s procedural steps were utilised for data analysis. Measures to ensure the trustworthiness of the study were observed within the naturalistic paradigm comprising criteria of credibility; transferability; dependability; and confirmability. Three themes with sub-themes emerged from the current study, namely: psychosocial stress; advanced midwives’ workload; and lack of professionalism. In conclusion, it was evident that advanced midwives experience psychosocial stress because of unconducive working environments which are not adequately resourced, and high expectations from patients and their families. Management should support advanced midwives with the necessary resources that will enable them to perform their duties effectively and minimise their levels of stress and trauma. (Afr J Reprod Health 2021; 25[5]: 93-104)