8,141 research outputs found
Automatic generation of simplified weakest preconditions for integrity constraint verification
Given a constraint assumed to hold on a database and an update to
be performed on , we address the following question: will still hold
after is performed? When is a relational database, we define a
confluent terminating rewriting system which, starting from and ,
automatically derives a simplified weakest precondition such that,
whenever satisfies , then the updated database will satisfy
, and moreover is simplified in the sense that its computation
depends only upon the instances of that may be modified by the update. We
then extend the definition of a simplified 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
- …