Reformulating Constraints for Compilability and Efficiency

KBSDE is a knowledge compiler that uses a classification-based approach to map solution constraints in a task specification onto particular search algorithm components that will be responsible for satisfying those constraints (e.g., local constraints are incorporated in generators; global constraints are incorporated in either testers or hillclimbing patchers). Associated with each type of search algorithm component is a subcompiler that specializes in mapping constraints into components of that type. Each of these subcompilers in turn uses a classification-based approach, matching a constraint passed to it against one of several schemas, and applying a compilation technique associated with that schema. While much progress has occurred in our research since we first laid out our classification-based approach [Ton91], we focus in this paper on our reformulation research. Two important reformulation issues that arise out of the choice of a schema-based approach are: (1) compilability-- Can a constraint that does not directly match any of a particular subcompiler's schemas be reformulated into one that does? and (2) Efficiency-- If the efficiency of the compiled search algorithm depends on the compiler's performance, and the compiler's performance depends on the form in which the constraint was expressed, can we find forms for constraints which compile better, or reformulate constraints whose forms can be recognized as ones that compile poorly? In this paper, we describe a set of techniques we are developing for partially addressing these issues

Exploring the impact, value and limitations of reflective practice groups for clergy in a Church in Wales diocese

This is an Accepted Manuscript of an article published by Taylor & Francis in Mental Health, Religion and Culture on 3rd September 2020, available online: https://doi.org/10.1080/13674676.2020.1789571This research explores the impact, value and limitations of reflective practice groups for Clergy in a Church in Wales diocese. The aims were to explore what participants of reflective practice groups experience as the impact, value and limitations of their groups, and to better understand any implications for delivery of reflective practice groups for Clergy. Two focus groups comprising of the participants from two reflective practice groups from a diocese in the Church in Wales were interviewed, and the data analysed using Interpretative Phenomenological Analysis. Two superordinate themes emerged along with ten subordinate themes. The key findings are that the participants of both groups clearly found them to be a valuable experience and self-defined the impact on their ministries as: creating more reflective clergy; developing greater wisdom; building and gaining affirmed strategies that they could take back into relationships within their parishes; enabling a different perspective to be gained on management expectations; development of self-preservation strategies for coping with those expectations; improvement in practice and relationships within their work; improving their priestly skills; managing boundaries more appropriately; approaching meetings more positively; managing situations in more helpful ways; and discerning what God may be saying in certain situations

Mathematical and computer modeling of electro-optic systems using a generic modeling approach

The conventional approach to modelling electro-optic sensor systems is to develop separate models for individual systems or classes of system, depending on the detector technology employed in the sensor and the application. However, this ignores commonality in design and in components of these systems. A generic approach is presented for modelling a variety of sensor systems operating in the infrared waveband that also allows systems to be modelled with different levels of detail and at different stages of the product lifecycle. The provision of different model types (parametric and image-flow descriptions) within the generic framework can allow valuable insights to be gained

Improving the Performance of K-Means for Color Quantization

Color quantization is an important operation with many applications in graphics and image processing. Most quantization methods are essentially based on data clustering algorithms. However, despite its popularity as a general purpose clustering algorithm, k-means has not received much respect in the color quantization literature because of its high computational requirements and sensitivity to initialization. In this paper, we investigate the performance of k-means as a color quantizer. We implement fast and exact variants of k-means with several initialization schemes and then compare the resulting quantizers to some of the most popular quantizers in the literature. Experiments on a diverse set of images demonstrate that an efficient implementation of k-means with an appropriate initialization strategy can in fact serve as a very effective color quantizer.Comment: 26 pages, 4 figures, 13 table

Utilising Reflective Practice Groups as pedagogy in ordination training and theological development

This is an Accepted Manuscript of an article published by Taylor & Francis in Practical Theology on 3-5-19, available online: https://doi.org/10.1080/1756073X.2019.1609254With the Church of England's ([2014. Formation Criteria with Mapped Selection Criteria for Ordained Ministry in the Church of England. https://www.churchofengland.org/media/2139103/formationcriteriaforordainedministryapprovedhofbpsdec2014.docx]) recent formation criteria now requiring ordinands to have a greater degree of reflexive capability, this article considers the pedagogy of Reflective Practice Groups in ordination training and focuses on how reflexivity can be developed in a group context, towards fostering greater spiritual formation, theological reflection, self-awareness, relational practices for pastoral encounter, resilience and self-care practices for ministry. Some ‘foci for reflexivity’ are advocated for use within Reflective Practice Groups in ordination training

Mass definition, mass measurement and recommendations

Mass measurements may be greatly enhanced by an understanding of the operation of balances, the effects of buoyancy, practices encountered in weighing and the impacts and meanings of revelant mass standards. Beginning with the basic forces acting on weights, the equations brought to equality in balances are developed. These give explanation of the weighing process and an appreciation for some balance characteristics. The requirements of relevant mass standards are also reviewed. Recommendations are made for operation of practical mass calibration. An appendix is attached which gives computation examples using apparent mass'' and also gives a method for determining the density of mass artifacts or unknown materials. 2 tabs

Environmental control requirements for the Weapons Production Primary Standards Laboratory (WPPSL)

Sandia National Laboratories operates the Weapons Production Primary Standards Laboratory (WPPSL) for the Department of Energy Nuclear Weapons Complex. The present facility is housed principally in a three story building shared with other organizations but has some functions located in other buildings. The building has been occupied for 30 years and the environmental control equipment, while functional, shows the ravages of time. This facility was quite advanced for its time but does not meet current needs. Replacement of obsolete measuring equipment, extension of measurement capability to additional disciplines and to higher precision levels have made the facility inadequate for current and future needs. Accordingly, plans have been under way for a new updated facility which is planned to meet today's requirements and to be sufficiently flexible to cover changes in the near future. Where practical in this set of requirements, reference has been made to existing documents on standards laboratory environments. Because of the history of the facility and because of the advanced features, interest has been expressed in the requirements developed for the new facility. Accordingly, this document has been prepared so that these requirements are published. 6 refs., 1 tab

Standards Laboratory environments

Standards Laboratory environments need to be carefully selected to meet the specific mission of each laboratory. The mission of the laboratory depends on the specific work supported, the measurement disciplines required and the level of uncertainty required in the measurements. This document reproduces the contents of the Sandia National Laboratories Primary Standards Laboratory Memorandum Number 3B (PSLM-3B) which was issued on May 16, 1988, under the auspices of the Department of Energy, Albuquerque Operations Office, to guide the laboratories of the Nuclear Weapons Complex in selecting suitable environments. Because of both general interest and specific interest in Standards Laboratory environments this document is being issued in a more available form. The purpose of this document is to provide guidance in selection of laboratory environments suitable for standards maintenance and calibration operations. It is not intended to mandate a specific environment for a specific calibration but to direct selection of the environment and to offer suggestions on how to extend precision in an existing and/or achievable (practical) environment. Although this documents pertains specifically to standards laboratories, it can be applied to any laboratory requiring environmental control