Run-to-run optimization methodologies exploit the repetitive nature of batch processes to find the optimal operating policy in the presence of uncertainty. For the class of batch optimization problems where the solution is determined by terminal constraints, the update of the decision variables towards their optimal values is realized using a constraint control scheme. The methodology is adapte...

Recently, object-oriented languages, such as C, have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order functions. In the OO world these are called generics and delegates, respectively. These features allow for greater code reuse and reduce the possibilities for runtime errors. However, the combination of these features pushes t...

This paper briefly describes the Forester tree automata-based shape analyser and its participation in the SV-COMP’16 competition on software verification. In particular, it summarizes the verification approach used by Forester, its architecture and setup for the competition, as well as its strengths and weaknesses observed in the competition run. The paper highlights the newly added counterexam...

We describe a framework for robust kinematic design based on tolerance analysis and parametric design via configuration space manipulation. The input is a parametric model of a planar mechanical system comprised of lower and higher kinematic pairs in open or closed loops. The robust synthesis task is to find a nominal design that functions correctly despite small parameter variations. This task...

The application of ergonomics in product design is essential to its accessibility and usability. The development of manual devices should be based on ergonomic principles. Effort perception analysis is an essential approach to understand the physical and subjective aspects of the interface. The objective of the present study was to analyze the effort perception during a simulated task with diff...

DesignScript, as the name suggests, is positioned at the intersection of design and programming. DesignScript can be viewed as part of the continuing tradition of the development of parametric and associative modeling tools for advanced architectural design and building engineering. Much of the thought processes that contribute to the effective use of DesignScript builds on the tradition of par...

BACKGROUND To establish whether a previously validated scoring system (Habib) for the prediction of risk or likelihood of posterior capsule rupture during phacoemulsification surgery could be used to: 1. Predict the difficulty of a phacoemulsification case, and 2. Select appropriate phacoemulsification cases for trainees. METHODS The study sample was consecutive phacoemulsification cases unde...

The Audit Commission in the UK recommends that patient information leaflets (PILs) should be audited by health professionals using a formal readability test. However, no such study on antiepileptic drugs (AEDs) has been identified in a Medline search. The aim of this study was to audit the readability of PILs prepared for marketed proprietary AEDs in the UK. Twelve PILs were compared with six a...

When you are assessing the quality of the evidence, it’s not how the data are analyzed that’s important. Far more important is how the data are collected. Don’t agonize over whether the researchers should have used a non-parametric test or whether a random effects meta-analysis is appropriate (just to cite two obscure examples). These are important issues and they generate a lot of debate. But ...