Abstract A control system verification framework is presented for unmanned aerial vehicles using theorem proving. The framework’s aim to set out a procedure proving that the mathematically designed of aircraft satisfies robustness requirements ensure safe performance under varying environmental conditions. Extensive mathematical derivations, which have formerly been carried manually, are checke...

The spatial understanding of vascular information obtained with CT and MR is tremendously assisted by direct volume rendering since it provides semi-transparent views of the entire data giving insight to hidden structures. Ensuring a convenient diagnosis of complex vessel topol-ogy, we propose an approach based on 3D texture mapping which ensures interactive frame rates. The method proved to be...

Computer-based learning materials eventually forming an entire online course in Statics are presented. The course, developed as part of the Carnegie Mellon Open Learning Initiative (OLI) and available to individual learners and institutions, draws upon the authors’ ongoing work to reorganize Statics instruction to better address the conceptual challenges students face. Comprising approximately ...

This tutorial explains the principle of the human speech production with the aid of a Linear Predictive Vocoder (LPC vocoder) and the use of interactive learning procedures. The components of the human speech organ, namely the excitation and the vocal tract parameters, are computed. The components are then fed into the synthesis part of a vocoder which finally generates a synthesised speech sig...

Statistical genetics software packages for linkage analysis have their own unique constraints on the size and shape of the pedigrees they can process. As a result, researchers are often forced to exclude from analysis some individuals in a given family. Existing procedures for reducing pedigree size to fit computational constraints use arbitrary rules and are not interactive. However, judicious...

This paper describes a new multiobjective interactive memetic algorithm applied to dynamic location problems. The memetic algorithm integrates genetic procedures and local search. It is able to solve capacitated and uncapacitated multi-objective single or multi-level dynamic location problems. These problems are characterized by explicitly considering the possibility of a facility being open, c...

Abstract Background Providing understandable information to patients is necessary achieve the aims of Informed Consent process: respecting and promoting patients’ autonomy protecting from harm. In recent decades, new, primarily digital technologies have been used apply test innovative formats Consent. We conducted a systematic review explore impact using tools for in both clinical research prac...