A design document for the CORAL deductive database system

CORAL is a deductive database system that supports a rich declarative language, and an interface to C++ that allows for a combination of declarative and imperative programming. It is important to know the design and the implementation for CORAL in order to be able to extend this system. This report documents the design for CORAL. The Unified Modeling Language (UML) is used to describe the Architecture, Structural Model and Behavioral Model. The design documentation is based on the study of the source code, the user manual and the published papers about CORAL

Launching Literacy in After-School Programs: Early Lessons from the CORAL Initiative

The James Irvine Foundation launched the Communities Organizing Resources to Advance Learning (CORAL) initiative in 1999 with the goal of improving the academic achievement of children in the lowest-performing schools in five California cities. In 2004, CORAL adopted a more targeted approach toward reaching this goal by integrating a regular schedule of literacy instruction into its after-school programs. This interim report, based on research conducted between Fall 2004 and Summer 2005, documents CORALs progress toward implementing high-quality and consistent literacy programming. The report presents early results in terms of youths positive reading gains and describes the program components that appear to have contributed to these gains. It also identifies challenges CORAL sites faced and successful strategies for addressing those challenges

Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation

OpenRuleBench is a large benchmark suite for rule engines, which includes deductive databases. We previously proposed a translation of Datalog to C++ based on a method that "pushes" derived tuples immediately to places where they are used. In this paper, we report performance results of various implementation variants of this method compared to XSB, YAP and DLV. We study only a fraction of the OpenRuleBench problems, but we give a quite detailed analysis of each such task and the factors which influence performance. The results not only show the potential of our method and implementation approach, but could be valuable for anybody implementing systems which should be able to execute tasks of the discussed types.Comment: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.0014

After-School Toolkit: Tips, Techniques and Templates for Improving Program Quality

This toolkit offers program managers a practical, hands-on guide for implementing quality programming in the after-school hours. The kit includes the tools and techniques that increased the quality of literacy programming and helped improve student reading gains in the Communities Organizing Resources to Advance Learning (CORAL) initiative of The James Irvine Foundation. CORAL is an eight-year, $58 million after-school initiative aimed at improving education achievement in low-performing schools in five California cities. In addition to strategies, process and instructions, this toolkit offers a series of tools program staff can use to build the quality of their after-school program

Motor Sales System in PT. Artha Wahana Harsaka Applications Using Microsoft Visual Basic.net

PT. Wahana Artha Mulya Harsaka Coral branch is engaged in the sale of motorcyclesfrom Honda Motor Astra Honda manifold. Products marketed by various kindsranging from the Honda Legend, Supra, Supra X / XX until new products are issuedby Astra Honda Motor, Honda Karisma Namely with disc brakes and the wearTromol.Scientific writing is about a system designed to solve problems related to vehiclesales in cash and the issuance of reports and calculations are done manually if thereare mistakes that can be detrimental to all concerned.System design was done by using a data flow diagram (DFD) as a tool accessories.The design of the database is done by using the concept of an Entity RelationshipDiagram (ERD) and the concept of normalization. Programming language usingMicrosoft Visual Basic.NET

Evaluations Backgrounder: A Summary of Formal Evaluations of Afterschool Programs' Impact on Academics, Behavior, Safety and Family Life

A steady stream of afterschool evaluations are showing important gains for children, not only in terms of academic achievement but also in terms of safety, discipline, attendance and avoidance of risky behaviors. In addition, researchers have found that afterschool programs encourage increased parental involvement, an important building block for student success. This updated evaluations backgrounder focuses on the impact of afterschool programs on academic outcomes, student behavior and parental concerns about children's safety

Efficient Retrieval of Similar Time Sequences Using DFT

We propose an improvement of the known DFT-based indexing technique for fast retrieval of similar time sequences. We use the last few Fourier coefficients in the distance computation without storing them in the index since every coefficient at the end is the complex conjugate of a coefficient at the beginning and as strong as its counterpart. We show analytically that this observation can accelerate the search time of the index by more than a factor of two. This result was confirmed by our experiments, which were carried out on real stock prices and synthetic data

Artist Space Development: Making the Case

Based on case studies, discusses the challenges advocates of artist space development face, the arguments they make to garner support, the strategic approaches they take, and what they achieve in making artist space a priority in community development

Intelligence student advising system - an implementation using object-oriented C++

This paper present an approach for developing a consistent student course-advising system for undergraduate students using knowledge-based technology. A prototype system has been implemented in object-oriented technique using C++. The prototype system was designed for undergraduate Computing students. The prototype is able to give consultation and advice on some important aspect of student advising problems. Knowledgeable behaviour was produced where the ‘expert’ and ‘knowledge’ is stored separately from the inference engine. Object-oriented programming technique was found to enhance the development of the system