4,024 research outputs found
Recource Limited Testing Center Scheduling for a Web-Based Testing Application
Testing centers are a useful tool to help instructors deliver computer-based tests, but computers resources are expensive and therefore limited. This paper describes a method by which testing center(s) may use iNetTest, a web-based computer aided testing system, to house and administer exams. The algorithm discussed in this paper makes it possible for instructors to schedule tests for a given time frame while ensuring that enough computer resources will be available to all of the students. The algorithm prevents the testing center from getting overwhelmed with students while attempting to maximize the usage of the valuable computer resources
Recommended from our members
Space and Time: Wind in an Investment Planning Model
Investment planning models inform investment decisions and government policies. Current models do not capture the intermittent nature of renewable energy sources, restricting the applicability of the models for high penetrations of renewables. We provide a methodology to capture spatial variation in wind output in combination with transmission constraints. The representation of wind distributions with stochastic approaches or an extensive historic data set would exceed computational constraints for real world application. Hence we restrict the amount of input data, and use boot-strapping to illustrate the robustness of the results. For the UK power system we model wind deployment and the value of transmission capacity
Emergency supply of prescription-only medicines to patients by community pharmacists: a mixed methods evaluation incorporating patient, pharmacist and GP perspectives
Objective To evaluate and inform emergency supply of prescription-only medicines by community pharmacists (CPs), including how the service could form an integral component of established healthcare provision to maximise adherence.
Design Mixed methods. 4 phases: prospective audit of emergency supply requests for prescribed medicines (October–November 2012 and April 2013); interviews with CPs (February–April 2013); follow-up interviews with patients (April–May 2013); interactive feedback sessions with general practice teams (October–November 2013).
Setting 22 community pharmacies and 6 general practices in Northwest England.
Participants 27 CPs with experience of dealing with requests for emergency supplies; 25 patients who received an emergency supply of a prescribed medicine; 58 staff at 6 general practices.
Results Clinical audit in 22 pharmacies over two 4-week periods reported that 526 medicines were requested by 450 patients. Requests peaked over a bank holiday and around weekends. A significant number of supplies were made during practice opening hours. Most requests were for older patients and for medicines used in long-term conditions. Difficulty in renewing repeat medication (forgetting to order, or prescription delays) was the major reason for requests. The majority of medicines were ‘loaned’ in advance of a National Health Service (NHS) prescription. Interviews with CPs and patients indicated that continuous supply had a positive impact on medicines adherence, removing the need to access urgent care. General practice staff were surprised and concerned by the extent of emergency supply episodes.
Conclusions CPs regularly provide emergency supplies to patients who run out of their repeat medication, including during practice opening hours. This may aid adherence. There is currently no feedback loop, however, to general practice. Patient care and interprofessional communication may be better served by the introduction of a formally structured and funded NHS emergency supply service from community pharmacies, with ongoing optimisation of repeat prescribing
TRX: A Formally Verified Parser Interpreter
Parsing is an important problem in computer science and yet surprisingly
little attention has been devoted to its formal verification. In this paper, we
present TRX: a parser interpreter formally developed in the proof assistant
Coq, capable of producing formally correct parsers. We are using parsing
expression grammars (PEGs), a formalism essentially representing recursive
descent parsing, which we consider an attractive alternative to context-free
grammars (CFGs). From this formalization we can extract a parser for an
arbitrary PEG grammar with the warranty of total correctness, i.e., the
resulting parser is terminating and correct with respect to its grammar and the
semantics of PEGs; both properties formally proven in Coq.Comment: 26 pages, LMC
Identification of single-site gold catalysis in acetylene hydrochlorination
There remains considerable debate over the active form of gold under operating conditions of a recently validated gold catalyst for acetylene hydrochlorination. We have performed an in situ x-ray absorption fine structure study of gold/carbon (Au/C) catalysts under acetylene hydrochlorination reaction conditions and show that highly active catalysts comprise single-site cationic Au entities whose activity correlates with the ratio of Au(I):Au(III) present. We demonstrate that these Au/C catalysts are supported analogs of single-site homogeneous Au catalysts and propose a mechanism, supported by computational modeling, based on a redox couple of Au(I)-Au(III) species.
View Full Tex
Sequential Electrostatic Assembly of a Polymer Surfactant Corona Increases Activity of the Phosphotriesterase arPTE
We present a new methodology for the generation of discrete molecularly dispersed enzyme–polymer–surfactant bioconjugates. Significantly, we demonstrate that >3-fold increase in the catalytic efficiency of the diffusion-limited phosphotriesterase arPTE can be achieved through sequential electrostatic addition of cationic and anionic polymer surfactants, respectively. Here, the polymer surfactants assemble on the surface of the enzyme via ion exchange to yield a compact corona. The observed rate enhancement is consistent with a mechanism whereby the polymer–surfactant corona gives rise to a decrease in the dielectric constant in the vicinity of the active site of the enzyme, accelerating the rate-determining product diffusion step. The facile methodology has significant potential for increasing the efficiency of enzymes and could therefore have a substantially positive impact for industrial enzymology
- …