11,693 research outputs found
Strategies for improving minor irrigation systems in Sri Lanka
Irrigation systems / Small scale systems / Research / Sri Lanka
Typechecking protocols with Mungo and StMungo: a session type toolchain for Java
Static typechecking is an important feature of many standard programming languages. However, static typing focuses on data rather than communication, and therefore does not help programmers correctly implement communication protocols in distributed systems. The theory of session types provides a basis for tackling this problem; we use it to develop two tools that support static typechecking of communication protocols in Java. The first tool, Mungo, extends Java with typestate definitions, which allow classes to be associated with state machines defining permitted sequences of method calls: for example, communication methods. The second tool, StMungo, takes a session type describing a communication protocol, and generates a typestate specification of the permitted sequences of messages in the protocol. Protocol implementations can be validated by Mungo against their typestate definitions and then compiled with a standard Java compiler. The result is a toolchain for static typechecking of communication protocols in Java. We formalise and prove soundness of the typestate inference system used by Mungo, and show that our toolchain can be used to typecheck a client for the standard Simple Mail Transfer Protocol (SMTP)
Approximating electronically excited states with equation-of-motion linear coupled-cluster theory
A new perturbative approach to canonical equation-of-motion coupled-cluster
theory is presented using coupled-cluster perturbation theory. A second-order
M{\o}ller-Plesset partitioning of the Hamiltonian is used to obtain the well
known equation-of-motion many-body perturbation theory (EOM-MBPT(2)) equations
and two new equation-of-motion methods based on the linear coupled-cluster
doubles (EOM-LCCD) and linear coupled-cluster singles and doubles (EOM-LCCSD)
wavefunctions. This is achieved by performing a short-circuiting procedure on
the MBPT(2) similarity transformed Hamiltonian. These new methods are
benchmarked against very accurate theoretical and experimental spectra from 25
small organic molecules. It is found that the proposed methods have excellent
agreement with canonical EOM-CCSD state for state orderings and relative
excited state energies as well as acceptable quantitative agreement for
absolute excitation energies compared with the best estimate theory and
experimental spectra.Comment: 9 pages 3 figure
A multiplicity result for a nonlinear degenerate problem arising in the theory of electrorheological fluids
We study a Dirichlet boundary value problem associated to an anisotropic
differential operator on a smooth bounded of . Our main result
establishes the existence of at least two different non-negative solutions,
provided a certain parameter lies in a certain range. Our approach relies on
the variable exponent theory of generalized Lebesgue-Sobolev spaces, combined
with adequate variational methods and a variant of Mountain Pass lemma.Comment: Proceedings A of the Royal Society of London, in pres
Cascade diagrams for depicting complex interventions in randomised trials
Clarity about how trial interventions are delivered is important for researchers and those who might want to use their results. A new graphical representation aims to help make complex interventions clearer. Many medical interventions—particularly non-pharmacological ones—are complex, consisting of multiple interacting components targeted at different organisational levels. Published descriptions of complex interventions often do not contain enough detail to enable their replication. Reports of behaviour change interventions should include descriptions of setting, mode, intensity, and duration, and characteristics of the participants. Graphical methods, such as that showing the relative timing of assessments and intervention components, may improve clarity of reporting. However, these approaches do not reveal the connections between the different “actors” in a complex intervention.8 Different audiences may want different things from a description of an intervention, but visualising relationships between actors can clarify crucial features such as the fidelity with which the intervention is passed down a chain of actors and possible routes of contamination between treatment arms. Here we describe a new graphical approach—the cascade diagram—that highlights these potential problems
Optimal design of an aeroelastic wing structure with seamless control surfaces
This article presents an investigation into the concept and optimal design of a lightweight seamless aeroelastic wing (SAW) structure for small air vehicles. Attention has been first focused on the design of a hingeless flexible trailing edge (TE) control surface. Two innovative design features have been created in the SAW TE section: an open sliding TE and a curved beam and disc actuation mechanism. This type of actuated TE section allows for the SAW having a camber change in a desirable shape and minimum control power demand. This design concept has been simulated numerically and demonstrated by a test model. For a small air vehicle of large sweep back wing, it is noted that significant structural weight saving can be achieved. However, further weight saving is mainly restricted by the aeroelastic stability and minimum number of carbon/epoxy plies in a symmetric layup rather than the structural strength. Therefore, subsequent effort was made to optimize the primary wing box structure. The results show that an initial structural weight can be reduced significantly under the strength criterion. The resulting reduction of the wing box stiffness and aeroelastic stability and control effectiveness can be improved by applying the aeroelastic tailoring. Because of the large swept angle and resulting lightweight and highly flexible SAW, geometrical non-linearity and large bending-torsion aeroelastic coupling have been considered in the analysis
Mungo and StMungo: tools for typechecking protocols in Java
We present two tools that support static typechecking of communica- tion protocols in Java. Mungo associates Java classes with typestate specifications, which are state machines defining permitted sequences of method calls. StMungo translates a communication protocol specified in the Scribble protocol description language into a typestate specification for each role in the protocol by following the message sequence. Role implementations can be typechecked by Mungo to ensure that they satisfy their protocols, and then compiled as usual with javac. We demonstrate the Scribble, StMungo and Mungo toolchain via a typechecked POP3 client that can communicate with a real-world POP3 server
Corticosteroids for the common cold
BACKGROUND: The common cold is a frequent illness, which, although benign and self limiting, results in many consultations to primary care and considerable loss of school or work days. Current symptomatic treatments have limited benefit. Corticosteroids are an effective treatment in other upper respiratory tract infections and their anti‐inflammatory effects may also be beneficial in the common cold. This updated review has included one additional study. OBJECTIVES: To compare corticosteroids versus usual care for the common cold on measures of symptom resolution and improvement in children and adults. SEARCH METHODS: We searched Cochrane Central Register of Controlled Trials (CENTRAL 2015, Issue 4), which includes the Acute Respiratory Infections (ARI) Group's Specialised Register, the Database of Reviews of Effects (DARE) (2015, Issue 2), NHS Health Economics Database (2015, Issue 2), MEDLINE (1948 to May week 3, 2015) and EMBASE (January 2010 to May 2015). SELECTION CRITERIA: Randomised, double‐blind, controlled trials comparing corticosteroids to placebo or to standard clinical management. DATA COLLECTION AND ANALYSIS: Two review authors independently extracted data and assessed trial quality. We were unable to perform meta‐analysis and instead present a narrative description of the available evidence. MAIN RESULTS: We included three trials (353 participants). Two trials compared intranasal corticosteroids to placebo and one trial compared intranasal corticosteroids to usual care; no trials studied oral corticosteroids. In the two placebo‐controlled trials, no benefit of intranasal corticosteroids was demonstrated for duration or severity of symptoms. The risk of bias overall was low or unclear in these two trials. In a trial of 54 participants, the mean number of symptomatic days was 10.3 in the placebo group, compared to 10.7 in those using intranasal corticosteroids (P value = 0.72). A second trial of 199 participants reported no significant differences in the duration of symptoms. The single‐blind trial in children aged two to 14 years, who were also receiving oral antibiotics, had inadequate reporting of outcome measures regarding symptom resolution. The overall risk of bias was high for this trial. Mean symptom severity scores were significantly lower in the group receiving intranasal steroids in addition to oral amoxicillin. One placebo‐controlled trial reported the presence of rhinovirus in nasal aspirates and found no differences. Only one of the three trials reported on adverse events; no differences were found. Two trials reported secondary bacterial infections (one case of sinusitis, one case of acute otitis media; both in the corticosteroid groups). A lack of comparable outcome measures meant that we were unable to combine the data. AUTHORS' CONCLUSIONS: Current evidence does not support the use of intranasal corticosteroids for symptomatic relief from the common cold. However, there were only three trials, one of which was very poor quality, and there was limited statistical power overall. Further large, randomised, double‐blind, placebo‐controlled trials in adults and children are required to answer this question
Identifying Attrition Phases in Survey Data: Applicability and Assessment Study
Background: Although Web-based questionnaires are an efficient, increasingly popular mode of data collection, their utility is often challenged by high participant dropout. Researchers can gain insight into potential causes of high participant dropout by analyzing the dropout patterns.
Objective: This study proposed the application of and assessed the use of user-specified and existing hypothesis testing methods in a novel setting—survey dropout data—to identify phases of higher or lower survey dropout.
Methods: First, we proposed the application of user-specified thresholds to identify abrupt differences in the dropout rate. Second, we proposed the application of 2 existing hypothesis testing methods to detect significant differences in participant dropout. We assessed these methods through a simulation study and through application to a case study, featuring a questionnaire addressing decision-making surrounding cancer screening.
Results: The user-specified method set to a low threshold performed best at accurately detecting phases of high attrition in both the simulation study and test case application, although all proposed methods were too sensitive.
Conclusions: The user-specified method set to a low threshold correctly identified the attrition phases. Hypothesis testing methods, although sensitive at times, were unable to accurately identify the attrition phases. These results strengthen the case for further development of and research surrounding the science of attrition
- …