5,916 research outputs found
Rigorous and relevant? The challenge of managing and assessing learning on a work placement
This paper is based upon the experiences of a group of employers and students on a work placement module. It forms part of the evaluation of an accredited module within a programme leading to the award of a pre-vocational competence-based degree at a post-1992 university. Although this particular course focuses on health and social care, the work placement element involves principles which are applicable to a wide range of programmes; evidence-based assessment through the use of a learning portfolio is a feature of this degree
Drilling system design project 1967: final report of frame design committee
This report outlines the recommendations of the Frame
Design Committee for the final design of the machine, each
major part of the structure being considered individually
in the following sections :
1. Worktables
2. Guide and Slideways
3. Drill Head Support Structure
4. Swarf Disposal and Coolant Supply
5. General Constructio
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
This paper presents a combination of several automated reasoning and proof
presentation tools with the Mizar system for formalization of mathematics. The
combination forms an online service called MizAR, similar to the SystemOnTPTP
service for first-order automated reasoning. The main differences to
SystemOnTPTP are the use of the Mizar language that is oriented towards human
mathematicians (rather than the pure first-order logic used in SystemOnTPTP),
and setting the service in the context of the large Mizar Mathematical Library
of previous theorems,definitions, and proofs (rather than the isolated problems
that are solved in SystemOnTPTP). These differences poses new challenges and
new opportunities for automated reasoning and for proof presentation tools.
This paper describes the overall structure of MizAR, and presents the automated
reasoning systems and proof presentation tools that are combined to make MizAR
a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial
Intelligence and Symbolic Computation AISC 201
Health outcomes of children born to mothers with chronic kidney disease: a pilot study
This study aimed to study the health of children born to mothers with chronic kidney disease. Twenty-four children born to mothers with chronic kidney disease were compared with 39 matched control children born to healthy mothers without kidney disease. The well-being of each child was individually assessed in terms of physical health, neurodevelopment and psychological health. Families participating with renal disease were more likely to be from lower socio-economic backgrounds. Significantly fewer vaginal deliveries were reported for mothers with renal disease and their infants were more likely to experience neonatal morbidity. Study and control children were comparable for growth parameters and neurodevelopment as assessed by the Griffiths scales. There was no evidence of more stress amongst mothers with renal disease or of impaired bonding between mother and child when compared to controls. However, there was evidence of greater externalizing behavioral problems in the group of children born to mothers with renal disease. Engaging families in such studies is challenging. Nonetheless, families who participated appreciated being asked. The children were apparently healthy but there was evidence in this small study of significant antenatal and perinatal morbidity compared to controls. Future larger multi-center studies are required to confirm these early findings
The Vampire and the FOOL
This paper presents new features recently implemented in the theorem prover
Vampire, namely support for first-order logic with a first class boolean sort
(FOOL) and polymorphic arrays. In addition to having a first class boolean
sort, FOOL also contains if-then-else and let-in expressions. We argue that
presented extensions facilitate reasoning-based program analysis, both by
increasing the expressivity of first-order reasoners and by gains in
efficiency
Partial duplication of the APBA2 gene in chromosome 15q13 corresponds to duplicon structures.
BackgroundChromosomal abnormalities affecting human chromosome 15q11-q13 underlie multiple genomic disorders caused by deletion, duplication and triplication of intervals in this region. These events are mediated by highly homologous segments of DNA, or duplicons, that facilitate mispairing and unequal cross-over in meiosis. The gene encoding an amyloid precursor protein-binding protein (APBA2) was previously mapped to the distal portion of the interval commonly deleted in Prader-Willi and Angelman syndromes and duplicated in cases of autism.ResultsWe show that this gene actually maps to a more telomeric location and is partially duplicated within the broader region. Two highly homologous copies of an interval containing a large 5' exon and downstream sequence are located approximately 5 Mb distal to the intact locus. The duplicated copies, containing the first coding exon of APBA2, can be distinguished by single nucleotide sequence differences and are transcriptionally inactive. Adjacent to APBA2 maps a gene termed KIAA0574. The protein encoded by this gene is weakly homologous to a protein termed X123 that in turn maps adjacent to APBA1 on 9q21.12; APBA1 is highly homologous to APBA2 in the C-terminal region and is distinguished from APBA2 by the N-terminal region encoded by this duplicated exon.ConclusionThe duplication of APBA2 sequences in this region adds to a complex picture of different low copy repeats present across this region and elsewhere on the chromosome
A solar-wind-driven empirical model of Pc3 wave activity at a mid-latitude location
In this paper we describe the development of two empirical models of Pc3 wave activity observed at a ground station. The models are tasked to predict pulsation intensity at Tihany, Hungary, from the OMNI solar wind data set at 5 min time resolution. One model is based on artificial neural networks and the other on multiple linear regression. Input
parameters to the models are iteratively selected from a larger set of candidate inputs. The optimal set of inputs are solar wind speed, interplanetary magnetic field orientation (via cone angle), proton density and solar zenith angle (representing local time). Solar wind measurements are shifted in time with respect to Pc3 data to account for the propagation time of ULF perturbations from upstream of the bow shock. Both models achieve correlation of about 70 % between measured and predicted Pc3 wave intensity. The timescales at which the most important solar wind parameters influence pulsation intensity are calculated for the first time. We show that solar wind speed influences pulsation intensity at much longer timescales (about 2 days) than cone angle (about 1 h)
Hyperbolic monopoles, JNR data and spectral curves
A large class of explicit hyperbolic monopole solutions can be obtained from JNR instanton data, if the curvature of hyperbolic space is suitably tuned. Here we provide explicit formulae for both the monopole spectral curve and its rational map in terms of JNR data. Examples with platonic symmetry are presented, together with some one-parameter families with cyclic and dihedral symmetries. These families include hyperbolic analogues of geodesics that describe symmetric monopole scatterings in Euclidean space and we illustrate the results with energy density isosurfaces. There is a metric on the moduli space of hyperbolic monopoles, defined using the Abelian connection on the boundary of hyperbolic space, and we provide a simple integral formula for this metric on the space of JNR data
- …