Evaluating meeting support tools

Many attempts are underway for developing meeting support tools, but less attention is paid to the evaluation of meetingware. This article describes the development and testing of an instrument for evaluating meeting tools. First, we specified the object of evaluation—meetings—by means of a set of input, process, and outcome factors. Then, we designed the process of evaluation, consisting of, first, the generation of meeting behavior in the form of a controlled series of meetings within the context of a project and, second, the measurement of the identified meeting factors. To measure these factors, a rating scale, questionnaires, and information flow analysis were used. Next, the instrument was tested, and the factors for successful meetings were determined in 13 projects in which four participants had to meet four times. The evaluation instrument proved to be a reliable and useful aid for the development and improvement of meeting tools.     

On mind &; Turing’s machines

Turing’s notion of human computability is exactly right not only for obtaining a negative solution of Hilbert’s Entscheidungsproblem that is conclusive, but also for achieving a precise characterization of formal systems that is needed for the general formulation of the incompleteness theorems. The broad intellectual context reaches back to Leibniz and requires a focus on mechanical procedures; these procedures are to be carried out by human computers without invoking higher cognitive capacities. The question whether there are strictly broader notions of effectiveness has of course been asked for both cognitive and physical processes. I address this question not in any general way, but rather by focusing on aspects of mathematical reasoning that transcend mechanical procedures.Section 1 discusses Gödel’s perspective on mechanical computability as articulated in his [193?], where he drew a dramatic conclusion from the undecidability of certain Diophantine propositions, namely, that mathematicians cannot be replaced by machines. That theme is taken up in the Gibbs Lecture of 1951; Gödel argues there in greater detail that the human mind infinitely surpasses the powers of any finite machine. An analysis of the argument is presented in Section 2 under the heading Beyond calculation. Section 3 is entitled Beyond discipline and gives Turing’s view of intelligent machinery; it is devoted to the seemingly sharp conflict between Gödel’s and Turing’s views on mind. Their deeper disagreement really concerns the nature of machines, and I’ll end with some brief remarks on (supra-) mechanical devices in Section 4.     

Queueing Petri nets with product form solution

The product form results recently published for stochastic Petri nets are combined with the well-known product form results for queueing networks in the model formalism of queueing Petri nets yielding the class of product form queueing Petri nets. This model class includes stochastic Petri nets with product form solution and BCMP queueing networks as special cases. We introduce an arrival theorem for the model class and present an exact aggregation approach extending known approaches from queueing networks.     

Effective stiffness and microscopic deformation of an orthotropic plate containing arbitrary holes

Many engineering materials and structures, such as cellular structures, sandwich core structures and laminated plates with holes, can be modeled by an inclusion problem with anisotropic matrix. The paper studies the effective properties and the microscopic deformation of anisotropic plates with periodic holes by using direct and mathematical homogenization. The effective stiffnesses are calculated by different homogenization methods and the microscopic deformation of a RVE is modeled by the finite element method for the plate with arbitrarily shaped holes. All of the effective stiffness coefficients, especially stretching-shear coupling coefficients are evaluated.     

Aktuelle Aktivitäten zu den europäischen Rohstoff-Initiativen

The European Initiatives manifested in the Communications of the European Commission on Raw Materials, in the Strategic Implementation Plan of the European Innovation Partnership on Raw Materials and in the 2014 Call of the European Institute for Innovation & Technology (EIT) for a Knowledge and Innovation Community (KIC) on Raw Materials lead to manifold Austrian activities on Government level and on level of the Montanuniversitaet Leoben. The ESEE Region, thus East- and Southeast Europe has a special role.     

Introduction to the special issue on IEEE NEWCAS 2017

A contactless detector is presented for evaluating hand tremors caused by exercise-induced fatigue and early Parkinson’s disease. The device consists of a spiral coil, a microcontroller, and an inductive sensor circuitry. Theory shows that the resonant frequency of the circuitry increases when the distance between the hand and the spiral coil decreases, thus small variations of distance from tremor can be detected from the changes of resonant frequencies. A mechanical hand was built for experiments to simulate human hand tremors with repeatability at a fixed frequency. The magnitudes and frequencies of the tremors in the mechanical hand were quantitatively identified using the inductive sensor. Hence, feasibility and accuracy of the contactless hand tremor detector were determined. A triaxial accelerometer was used for comparison. By comparing spectral distributions and magnitudes of the tremors, the inductive sensor performed better than the accelerometer. The detector was applied to evaluate actual hand tremors of three subjects who had undergone exercise to induce tremors. The tremor waveform amplitudes of the subjects were quantitatively analyzed by the standard deviations method. The increased signal energies of exercise-induced tremor within 8–12 Hz were confirmed. Then, a subject with early Parkinson’s disease was evaluated by the proposed hand tremor detector. The tremor magnitudes and frequencies of the patient hand were quantitatively identified within in 4–7 Hz. Therefore, the new contactless hand tremor detector can be developed as a clinical instrument for monitoring the fatigue symptoms of post-exercise and diagnosing the early Parkinson’s disease.     

Monitoring kidney and renal cyst volumes applying MR approaches on a rapamycin treated mouse model of ADPKD

Object  The aim of our study was to determine total cystic volume in a mouse model of PKD using MR imaging to monitor therapeutic effects in vivo. Materials and methods  We imaged eight female pcy-mice in two groups: four belonged to an untreated control group and four were treated with the anticystic agent rapamycin, which has proven to be effective in reducing cystogenesis in animal models. The mice were imaged using a 9.4 Tesla animal scanner. MRI measurements were taken at six time points during the therapy. Total renal volumes and total cyst volumes were calculated using a thresholding approach. Results  During the course of the treatment, the total cyst volume increased significantly faster than the total renal volume in the untreated group, indicating that growth of the total renal volume in the untreated group was primarily due to the growth of the cysts, rather than the parenchyma. The measured total renal volume in the control (placebo) group was significantly higher than the volume in the treated group. Conclusion  Using MRI, we were able to monitor the cystic volume in a mouse model of PKD to assess the therapeutic effect of anticystic treatment.