Elaborator reflection : extending Idris in Idris

Many programming languages and proof assistants are defined by elaboration from a high-level language with a great deal of implicit information to a highly explicit core language. In many advanced languages, these elaboration facilities contain powerful tools for program construction, but these tools are rarely designed to be repurposed by users. We describe elaborator reflection, a paradigm for metaprogramming in which the elaboration machinery is made directly available to metaprograms, as well as a concrete realization of elaborator reflection in Idris, a functional language with full dependent types. We demonstrate the applicability of Idris’s reflected elaboration framework to a number of realistic problems, we discuss the motivation for the specific features of its design, and we explore the broader meaning of elaborator reflection as it can relate to other languages.Postprin

Computational and theoretical aspects of a grain-boundary model that accounts for grain misorientation and grain-boundary orientation

A detailed theoretical and numerical investigation of the infinitesimal single-crystal gradient plasticity and grain-boundary theory of Gurtin (2008) "A theory of grain boundaries that accounts automatically for grain misorientation and grain-boundary orientation". Journal of the Mechanics and Physics of Solids 56 (2), 640-662, is performed. The governing equations and flow laws are recast in variational form. The associated incremental problem is formulated in minimization form and provides the basis for the subsequent finite element formulation. Various choices of the kinematic measure used to characterize the ability of the grain boundary to impede the flow of dislocations are compared. An alternative measure is also suggested. A series of three-dimensional numerical examples serve to elucidate the theory

Religious Belief and Culture: The Curious Case of the Intuitive Soul

While Adventists recognize some of the straightforward and concrete ideas that are part of doctrinal training on human nature and the state of the dead, the core intuitive belief in mind-body dualism likely continues to influence how Adventists understand human nature

Community experiences of organised crime in Scotland

The research explored community experiences of serious organised crime in Scotland (SOC). The report provides information on the nature and extent of the impact of SOC on everyday life in the community, as well as offering suggestions for policy development. The study sought to answer the following questions: 1)What are the relationships that exist between SOC and communities in Scotland? 2)What are the experiences and perceptions of residents, stakeholders and organisations of the scope and nature of SOC within their local area? and 3)How does SOC impact on community wellbeing, and to what extent can the harms associated with SOC be mitigated

Marrow-derived stromal cell delivery on fibrin microbeads can correct radiation-induced wound-healing deficits.

Skin that is exposed to radiation has an impaired ability to heal wounds. This is especially true for whole-body irradiation, where even moderate nonlethal doses can result in wound-healing deficits. Our previous attempts to administer dermal cells locally to wounds to correct radiation-induced deficits were hampered by poor cell retention. Here we improve the outcome by using biodegradable fibrin microbeads (FMBs) to isolate a population of mesenchymal marrow-derived stromal cells (MSCs) from murine bone marrow by their specific binding to the fibrin matrix, culture them to high density in vitro, and deliver them as MSCs on FMBs at the wound site. MSCs are retained locally, proliferate in site, and assist wounds in gaining tensile strength in whole-body irradiated mice with or without additional skin-only exposure. MSC-FMBs were effective in two different mouse strains but were ineffective across a major histocompatability barrier. Remarkably, irradiated mice whose wounds were treated with MSC-FMBs showed enhanced hair regrowth, suggesting indirect effect on the correction of radiation-induced follicular damage. Further studies showed that additional wound-healing benefit could be gained by administration of granulocyte colony-stimulating factor and AMD3100. Collagen strips coated with haptides and MSCs were also highly effective in correcting radiation-induced wound-healing deficits

Coagulation and fragmentation processes with evolving size and shape profiles : a semigroup approach

We investigate a class of bivariate coagulation-fragmentation equations. These equations describe the evolution of a system of particles that are characterised not only by a discrete size variable but also by a shape variable which can be either discrete or continuous. Existence and uniqueness of strong solutions to the associated abstract Cauchy problems are established by using the theory of substochastic semigroups of operators

State Policies Matter: The Case of Outpatient Drug Treatment Program Practices

This study examined relationships between state policy requirements governing outpatient substance abuse treatment services and reported outpatient treatment program practices. State policies effective as of February 1, 2003, and February 1, 2004, were collected and analyzed via primary legal research; data were validated by state officials (88% response rate; \u3e 90% validation rate). Treatment practice data were obtained from the National Survey of Substance Abuse Treatment Services for the years 2003 and 2004. Multivariate analyses clustered by state were conducted, controlling for state, program, and state-aggregated client admission characteristics. Results indicated that treatment programs located in states with requirements for comprehensive substance abuse assessment, family counseling, substance abuse and infectious disease/sexually transmitted disease testing services, HIV/AIDS education, and aftercare services had significantly higher odds of offering such services (p values ranging from \u3c .05 to \u3c .001). This study presents new information regarding the potential role that state policy context may play in understanding treatment program practices

Variations in Religiosity by Latitude Parallel Variations in Environmental Instability

Across three global samples, we observe increases in many measures of religiosity from the poles towards the equator, extending previous reports of latitudinal psychology. This equatorial-polar gradient parallels indices of political, economic, and ecological instability, consistent with models where religious beliefs and behaviors serve coping functions in unstable cultural contexts