Panson: An interactive sonification framework for real-time applications

Many sonification systems face a number of common design challenges. These are addressed in every project with different, specific-purpose solutions. We present Panson – an interactive sonification framework implemented in Python that can ease the development of sonification systems. Panson allows the user to implement sonifications using the sc3nb library as interface to the SuperCollider sound synthesis engine. The framework provides support for both offline and online (real-time) sonification through a set of composable classes; these classes are designed to natively support interaction in Jupyter Notebooks. Using Panson, we will show an example of its application by implementing a facial expression sonification Jupyter Notebook based on OpenFace 2.0.

Towards a Smart Campus Digital Twin: Promoting Awareness and Sustainability Through Wayfinding and Real-Time Environmental Data

The newly inaugurated Navile District of the University of Bologna is a complex created along the Navile canal, that now houses various teaching and research activities for the disciplines of Chemistry, Industrial Chemistry, Pharmacy, Biotechnology and Astronomy. A Building Information Modeling system (BIM) gives staff of the Navile campus several ways to monitor buildings in the complex throughout their life cycle, one of which is the ability to access real-time environmental data such as room temperature, humidity, air composition, and more, thereby simplifying operations like finding faults and optimizing environmental resource usage. But smart features at Navile are not only available to the staff: AlmaMap Navile is a web application, whose development is documented in this thesis, that powers the public touch kiosks available throughout the campus, offering maps of the district and indications on how to reach buildings and spaces. Even if these two systems, BIM and AlmaMap, don't seem to have many similarities, they share the common intent of promoting awareness for informed decision making in the campus, and they do it while relying on web standards for communication. This opens up interesting possibilities, and is the idea behind AlmaMap Navile 2.0, an app that interfaces with the BIM system and combines real-time sensor data with a comfort calculation algorithm, giving users the ability not just to ask for directions to a space, but also to see its comfort level in advance and, should they want to, check environmental measurements coming from each sensor in a granular manner. The end result is a first step towards building a smart campus Digital Twin, that can support all the people who are part of the campus life in their daily activities, improving their efficiency and satisfaction, giving them the ability to make informed decisions, and promoting awareness and sustainability.

Validation of reference genes for gene expression studies in the honey bee, Apis mellifera, by quantitative real-time RT-PCR

For obtaining accurate and reliable gene expression results it is essential that quantitative real-time RT-PCR (qRT-PCR) data are normalized with appropriate reference genes. The current exponential increase in postgenomic studies on the honey bee, Apis mellifera, makes the standardization of qRT-PCR results an important task for ongoing community efforts. For this aim we selected four candidate reference genes (actin, ribosomal protein 49, elongation factor 1-alpha, tbp-association factor) and used three software-based approaches (geNorm, BestKeeper and NormFinder) to evaluate the suitability of these genes as endogenous controls. Their expression was examined during honey bee development, in different tissues, and after juvenile hormone exposure. Furthermore, the importance of choosing an appropriate reference gene was investigated for two developmentally regulated target genes. The results led us to consider all four candidate genes as suitable genes for normalization in A. mellifera. However, each condition evaluated in this study revealed a specific set of genes as the most appropriated ones.

Detection of dengue virus in saliva and urine by real time RT-PCR

Early diagnosis of dengue virus (DENV) infection is important for patient management and control of dengue outbreaks. The objective of this study was to analyze the usefulness of urine and saliva samples for early diagnosis of DENV infection by real time RT-PCR. Two febrile patients, who have been attended at the General Hospital of the School of Medicine of Ribeirao Preto, Sao Paulo University were included in the study. Serum, urine and saliva samples collected from both patients were subjected to real time RT-PCR for DENV detection and quantification. Dengue RNA was detected in serum, urine and saliva samples of both patients. Patient 1 was infected with DENV-2 and patient 2 with DENV-3. Data presented in this study suggest that urine and saliva could be used as alternative samples for early diagnosis of dengue virus infection when blood samples are difficult to obtain, e.g.,in newborns and patients with hemorrhagic syndromes.

Incorporation of Real-Time PCR into Routine Public Health Surveillance of Culture Negative Bacterial Meningitis in Sao Paulo, Brazil

Real-time (RT)-PCR increases diagnostic yield for bacterial meningitis and is ideal for incorporation into routine surveillance in a developing country. We validated a multiplex RT-PCR assay for Streptococcus pneumoniae, Neisseria meningitidis, and Haemophilus influenzae in Brazil. Risk factors for being culture-negative, RT-PCR positive were determined. The sensitivity of RT-PCR in cerebrospinal fluid (CSF) was 100% (95% confidence limits, 96.0%-100%) for N. meningitidis, 97.8% (85.5%-99.9%) for S. pneumoniae, and 66.7% (9.4%-99.2%) for H. influenzae. Specificity ranged from 98.9% to 100%. Addition of RT-PCR to routine microbiologic methods increased the yield for detection of S. pneumoniae, N. meningitidis, and H. influenzae cases by 52%, 85%, and 20%, respectively. The main risk factor for being culture negative and RT-PCR positive was presence of antibiotic in CSF (odds ratio 12.2, 95% CI 5.9-25.0). RT-PCR using CSF was highly sensitive and specific and substantially added to measures of meningitis disease burden when incorporated into routine public health surveillance in Brazil.

Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.

An agent-based approach to modelling driver route choice behaviour under the influence of real-time information

This paper presents an agent-based approach to modelling individual driver behaviour under the influence of real-time traffic information. The driver behaviour models developed in this study are based on a behavioural survey of drivers which was conducted on a congested commuting corridor in Brisbane, Australia. Commuters' responses to travel information were analysed and a number of discrete choice models were developed to determine the factors influencing drivers' behaviour and their propensity to change route and adjust travel patterns. Based on the results obtained from the behavioural survey, the agent behaviour parameters which define driver characteristics, knowledge and preferences were identified and their values determined. A case study implementing a simple agent-based route choice decision model within a microscopic traffic simulation tool is also presented. Driver-vehicle units (DVUs) were modelled as autonomous software components that can each be assigned a set of goals to achieve and a database of knowledge comprising certain beliefs, intentions and preferences concerning the driving task. Each DVU provided route choice decision-making capabilities, based on perception of its environment, that were similar to the described intentions of the driver it represented. The case study clearly demonstrated the feasibility of the approach and the potential to develop more complex driver behavioural dynamics based on the belief-desire-intention agent architecture. (C) 2002 Elsevier Science Ltd. All rights reserved.

Standard Values for Real-Time Transthoracic Three-Dimensional Echocardiographic Dyssynchrony Indexes in a Normal Population

Background: There is a paucity of information describing the real-time 3-dimensional echocardiography (RT3DE) and dyssynchrony indexes (DIs) of a normal population. We evaluate the RT3DE DIs in a population with normal electrocardiograms and 2- and 3-dimensional echocardiographic analyses. This information is relevant for cardiac resynchronization therapy. Methods: We evaluated 131 healthy volunteers (73 were male, aged 46 +/- 14 years) who were referred for routine echocardiography; who presented normal cardiac structure on electrocardiography, 2-dimensional echocardiography, and RT3DE; and who had no history of cardiac diseases. We analyzed 3-dimensional left ventricular ejection fraction, left ventricle end-diastolic volume, left ventricle end-systolic volume, and left ventricular systolic DI% (6-, 12-, and 16-segment models). RT3DE data were analyzed by quantifying the statistical distribution (mean, median, standard deviation [SD], relative SD, coefficient of skewness, coefficient of kurtosis, Kolmogorov-Smirnov test, D`Agostino-Pearson test, percentiles, and 95% confidence interval). Results: Left ventricular ejection fraction ranged from 50% to 80% (66.1% +/- 7.1%); left ventricle end-diastolic volume ranged from 39.8 to 145 mL (79.1 +/- 24.9 mL); left ventricle end-systolic volume ranged from 12.9 to 66 mL (27 +/- 12.1 mL); 6-segment DI% ranged from 0.20% to 3.80% (1.21% +/- 0.66%), median: 1.06, relative SD: 0.5482, coefficient of skewness: 1.2620 (P < .0001), coefficient of Kurtosis: 1.9956 (P = .0039); percentile 2.5%: 0.2900, percentile 97.5%: 2.8300; 12-segment DI% ranged from 0.22% to 4.01% (1.29% +/- 0.71%), median: 1.14, relative SD: 0.95, coefficient of skewness: 1.1089 (P < .0001), coefficient of Kurtosis: 1.6372 (P = .0100), percentile 2.5%: 0.2850, percentile 97.5%: 3.0700; and 16-segment DI% ranged from 0.29% to 4.88% (1.59 +/- 0.99), median: 1.39, relative SD: 0.56, coefficient of skewness: 1.0792 (P < .0001), coefficient of Kurtosis: 0.9248 (P = .07), percentile 2.5%: 0.3750, percentile 97.5%: 3.750. Conclusion: This study allows for the quantification of RT3DE DIs in normal subjects, providing a comparison for patients with heart failure who may be candidates for cardiac resynchronization therapy. (J Am Soc Echocardiogr 2008; 21: 1229-1235)

Value of real time three-dimensional echocardiography in patients with hypertrophic cardiomyopathy: Comparison with two-dimensional echocardiography and magnetic resonance imaging

Real time three-dimensional echocardiography (RT3DE) has been demonstrated to be an accurate technique to quantify left ventricular (LV) volumes and function in different patient populations. We sought to determine the value of RT3DE for evaluating patients with hypertrophic cardiomyopathy (HCM), in comparison with cardiac magnetic resonance imaging (MRI). Methods: We studied 20 consecutive patients with HCM who underwent two-dimensional echocardiography (2DE), RT3DE, and MRI. Parameters analyzed by echocardiography and MRI included: wall thickness, LV volumes, ejection fraction (LVEF), mass, geometric index, and dyssynchrony index. Statistical analysis was performed by Lin agreement coefficient, Pearson linear correlation and Bland-Altman model. Results: There was excellent agreement between 2DE and RT3DE (Rc = 0.92), 2DE and MRI (Rc = 0.85), and RT3DE and MRI (Rc = 0.90) for linear measurements. Agreement indexes for LV end-diastolic and end-systolic volumes were Rc = 0.91 and Rc = 0.91 between 2DE and RT3DE, Rc = 0.94 and Rc = 0.95 between RT3DE and MRI, and Rc = 0.89 and Rc = 0.88 between 2DE and MRI, respectively. Satisfactory agreement was observed between 2DE and RT3DE (Rc = 0.75), RT3DE and MRI (Rc = 0.83), and 2DE and MRI (Rc = 0.73) for determining LVEF, with a mild underestimation of LVEF by 2DE, and smaller variability between RT3DE and MRI. Regarding LV mass, excellent agreement was observed between RT3DE and MRI (Rc = 0.96), with bias of -6.3 g (limits of concordance = 42.22 to -54.73 g). Conclusion: In patients with HCM, RT3DE demonstrated superior performance than 2DE for the evaluation of myocardial hypertrophy, LV volumes, LVEF, and LV mass.

Qualitative and Quantitative Real Time Myocardial Contrast Echocardiography for Detecting Hibernating Myocardium

Background: Real time myocardial contrast echocardiography (RTMCE) is an emerging imaging modality for assessing myocardial perfusion that allows for noninvasive quantification of regional myocardial blood flow (MBF). Aim: We sought to assess the value of qualitative analysis of myocardial perfusion and quantitative assessment of myocardial blood flow (MBF) by RTMCE for predicting regional function recovery in patients with ischemic heart disease who underwent coronary artery bypass grafting (CABG). Methods: Twenty-four patients with coronary disease and left ventricular systolic dysfunction (ejection fraction < 45%) underwent RTMCE before and 3 months after CABG. RTMCE was performed using continuous intravenous infusion of commercially available contrast agent with low mechanical index power modulation imaging. Viability was defined by qualitative assessment of myocardial perfusion as homogenous opacification at rest in >= 2 segments of anterior or >= 1 segment of posterior territory. Viability by quantitative assessment of MBF was determined by receiver-operating characteristics curve analysis. Results: Regional function recovery was observed in 74% of territories considered viable by qualitative analysis of myocardial perfusion and 40% of nonviable (P = 0.03). Sensitivity, specificity, positive and negative predictive values of qualitative RTMCE for detecting regional function recovery were 74%, 60%, 77%, and 56%, respectively. Cutoff value of MBF for predicting regional function recovery was 1.76 (AUC = 0.77; 95% CI = 0.62-0.92). MBF obtained by RTMCE had sensitivity of 91%, specificity of 50%, positive predictive value of 75%, and negative predictive value of 78%. Conclusion: Qualitative and quantitative RTMCE provide good accuracy for predicting regional function recovery after CABG. Determination of MBF increases the sensitivity for detecting hibernating myocardium. (Echocardiography 2011;28:342-349).

Real-time and Doppler US after pediatric segmental liver transplantation

Background Accurate diagnosis of portal vein (PV) stenosis by real-time and color Doppler US (CD-US) after segmental liver transplantation in children can decrease morbidity by avoiding unnecessary biopsy, PV hypertension, thrombosis and loss of the graft. Objective To evaluate CD-US parameters for the prediction of PV stenosis after segmental liver transplantation in children. Materials and methods We retrospectively reviewed 61 CD-US examinations measuring the diameter at the PV anastomosis, velocities at the anastomosis (PV1) and in the segment proximal to the anastomosis (PV2), and the PV1/PV2 velocity ratio. The study group comprised patients with stenosis confirmed by angiography and the control group comprised patients with a good clinical outcome. Results PV stenosis was seen in 12 CD-US examinations. The mean PV diameter was smaller in the study group (2.6 mm versus 5.7 mm) and a PV diameter of < 3.5 mm was highly predictive of stenosis (sensitivity 100%, specificity 91.8%). Conclusion A PV diameter of < 3.5 mm is a highly predictive CD-US parameter for the detection of hemodynamically significant stenosis on angiography.

Genetic associations between carcass traits measured by real-time ultrasound and scrotal circumference and growth traits in Nelore cattle

The aim of the present study was to evaluate the genetic correlations among real-time ultrasound carcass, BW, and scrotal circumference (SC) traits in Nelore cattle. Carcass traits, measured by real-time ultrasound of the live animal, were recorded from 2002 to 2004 on 10 farms across 6 Brazilian states on 2,590 males and females ranging in age from 450 to 599 d. Ultrasound records of LM area (LMA) and backfat thickness (BF) were obtained from cross-sectional images between the 12th and 13th ribs, and rump fat thickness (RF) was measured between the hook and pin bones over the junction between gluteus medius and biceps femoris muscles. Also, BW (n = 22,778) and SC ( n = 5,695) were recorded on animals born between 1998 and 2003. The BW traits were 120, 210, 365, 450, and 550-d standardized BW (W120, W210, W365, W450, and W550), plus BW (WS) and hip height (HH) on the ultrasound scanning date. The SC traits were 365-, 450-, and 550-d standardized SC (SC365, SC450, and SC550). For the BW and SC traits, the database used was from the Nelore Breeding Program-Nelore Brazil. The genetic parameters were estimated with multivariate animal models and REML. Estimated genetic correlations between LMA and other traits were 0.06 (BF), -0.04 ( RF), 0.05 (HH), 0.58 (WS), 0.53 (W120), 0.62 (W210), 0.67 (W365), 0.64 ( W450 and W550), 0.28 (SC365), 0.24 (SC450), and 0.00 ( SC550). Estimated genetic correlations between BF and with other traits were 0.74 ( RF), -0.32 (HH), 0.19 (WS), -0.03 (W120), -0.10 (W210), 0.04 (W365), 0.01 (W450), 0.06 ( W550), 0.17 (SC365 and SC450), and -0.19 (SC550). Estimated genetic correlations between RF and other traits were -0.41 (HH), -0.09 (WS), -0.13 ( W120), -0.09 ( W210), -0.01 ( W365), 0.02 (W450), 0.03 (W550), 0.05 ( SC365), 0.11 ( SC450), and -0.18 (SC550). These estimates indicate that selection for carcass traits measured by real-time ultrasound should not cause antagonism in the genetic improvement of SC and BW traits. Also, selection to increase HH might decrease subcutaneous fat as correlated response. Therefore, to obtain animals suited to specific tropical production systems, carcass, BW, and SC traits should be considered in selection programs.

Use of the real time RT-PCR for immune related gene expression quantitation in experimentally infected Neospora caninum bovine calves

Neospora caninum is one of the main causes of abortion and natimortality in cattle. Host immune defense is capable to inhibit tachyzoite activity during acute infection, but there is no action against bradyzoites in tissue cysts. Activation and modulation of this response is controlled by cell mediators. The real-time RT-PCR technique was employed to detect some of those mediators during N. caninum infection. Holstein and Nelore calves intramuscularly infected with tachyzoites and uninfected controls were slaughtered at the sixth day post-infection and popliteal lymph node, liver and brain cortex samples were analyzed. Real-time RT-PCR detected gene expression in all tissues. No significant variation of GAPDH gene expression was detected among groups, its amplification efficiency was similar to the other genes tested and it was used as the endogenous control for the analysis. Comparisons between infected and uninfected groups allowed the relative gene expression quantification. IFN-gamma and TNF-alpha genes showed increased expression in some samples. iNOS and TGF-beta 1 genes had some non-significant variations and IL-4 and IL-10 stayed pratically inaltered.

Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

Real-time hand tracking for rehabilitation and character animation

Hand and finger tracking has a major importance in healthcare, for rehabilitation of hand function required due to a neurological disorder, and in virtual environment applications, like characters animation for on-line games or movies. Current solutions consist mostly of motion tracking gloves with embedded resistive bend sensors that most often suffer from signal drift, sensor saturation, sensor displacement and complex calibration procedures. More advanced solutions provide better tracking stability, but at the expense of a higher cost. The proposed solution aims to provide the required precision, stability and feasibility through the combination of eleven inertial measurements units (IMUs). Each unit captures the spatial orientation of the attached body. To fully capture the hand movement, each finger encompasses two units (at the proximal and distal phalanges), plus one unit at the back of the hand. The proposed glove was validated in two distinct steps: a) evaluation of the sensors’ accuracy and stability over time; b) evaluation of the bending trajectories during usual finger flexion tasks based on the intra-class correlation coefficient (ICC). Results revealed that the glove was sensitive mainly to magnetic field distortions and sensors tuning. The inclusion of a hard and soft iron correction algorithm and accelerometer and gyro drift and temperature compensation methods provided increased stability and precision. Finger trajectories evaluation yielded high ICC values with an overall reliability within application’s satisfying limits. The developed low cost system provides a straightforward calibration and usability, qualifying the device for hand and finger tracking in healthcare and animation industries.