Scheduling algorithms for fault-tolerance in hard-real-time systems

Many time-critical applications require predictable performance in the presence of failures. This paper considers a distributed system with independent periodic tasks which can checkpoint their state on some reliable medium in order to handle failures. The problem of preemptively scheduling a set of such tasks is discussed where every occurrence of a task has to be completely executed before the next occurrence of the same task can start. Efficient scheduling algorithms are proposed which yield sub-optimal schedules when there is provision for fault-tolerance. The performance of the solutions proposed is evaluated in terms of the number of processors and the cost of the checkpoints needed. Moreover, analytical studies are used to reveal interesting trade-offs associated with the scheduling algorithms.This work has been supported by grants from the Italian Ministero dell'Università e della Ricerca Scientifica e Tecnologica and the Consiglio Nazionale delle Ricerche-Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo.     

Occluded Video Instance Segmentation: A Benchmark

International Journal of Computer Vision - Can our video understanding systems perceive objects when a heavy occlusion exists in a scene? To answer this question, we collect a large-scale dataset...     

Hyperprolactinemia in end‐stage renal disease and effects of frequent hemodialysis

Introduction: End‐stage renal disease is associated with elevations in circulating prolactin concentrations, but the association of prolactin concentrations with intermediate health outcomes and the effects of hemodialysis frequency on changes in serum prolactin have not been examined. Methods: The FHN Daily and Nocturnal Dialysis Trials compared the effects of conventional thrice weekly hemodialysis with in‐center daily hemodialysis (6 days/week) and nocturnal home hemodialysis (6 nights/week) over 12 months and obtained measures of health‐related quality of life, self‐reported physical function, mental health and cognition. Serum prolactin concentrations were measured at baseline and 12‐month follow‐up in 70% of the FHN Trial cohort to examine the associations among serum prolactin concentrations and physical, mental and cognitive function and the effects of hemodialysis frequency on serum prolactin. Findings: Among 177 Daily Trial and 60 Nocturnal Trial participants with baseline serum prolactin measurements, the median serum prolactin concentration was 65 ng/mL (25th–75th percentile 48–195 ng/mL) and 81% had serum prolactin concentrations >30 ng/mL. While serum prolactin was associated with sex (higher in women), we observed no association between baseline serum prolactin and age, dialysis vintage, and baseline measures of physical, mental and cognitive function. Furthermore, there was no significant effect of hemodialysis frequency on serum prolactin in either of the two trials. Discussion: Serum prolactin concentrations were elevated in the large majority of patients with ESRD, but were not associated with several measures of health status. Circulating prolactin levels also do not appear to decrease in response to more frequent hemodialysis over a one‐year period.     

纵向多孔及实心ZnO微纳米棒的制备、表征及其光催化性能研究

以硝酸锌和六次甲基四胺为原料,水为溶剂,采用低温水热法制备出具有优异光催化性能的六方纤锌矿结构ZnO微纳米棒,并研究了合成过程中磁力搅拌及原料溶液浓度对制备产物形貌及光催化性能的影响,建立了其光催化降解甲基橙的动力学方程。结果表明,搅拌条件下制备的产物为纵向多孔的棒状ZnO,无搅拌条件下制备的产物为实心ZnO纳米棒.优选出的硝酸锌和六次甲基四胺浓度均为0.025mol/L。相比于实心ZnO纳米棒,纵向多孔的棒状ZnO具有更优异的光催化性能,在紫外光照射20min后,对甲基橙的降解率达到100%。通过动力学模型拟合发现,纵向多孔的棒状ZnO具有更大的催化速率常数(0.2942 min~(-1)),是实心ZnO纳米棒催化速率常数(0.1306min~(-1))的2.25倍。     

Speech perception performance in experienced cochlear-implant patients receiving the SPEAK processing strategy in the Nucleus Spectra-22 cochlear implant

Sixteen experienced cochlear implant patients with a wide range of speech-perception abilities received the SPEAK processing strategy in the Nucleus Spectra-22 cochlear implant. Speech perception was assessed in quiet and in noise with SPEAK and with the patients' previous strategies (for most, Multipeak) at the study onset, as well as after using SPEAK for 6 months. Comparisons were made within and across the two test sessions to elucidate possible learning effects. Patients were also asked to rate the strategies on seven speech recognition and sound quality scales. After 6 months' experience with SPEAK, patients showed significantly improved mean performance on a range of speech recognition measures in quiet and noise. When mean subjective ratings were compared over time there were no significant differences noted between strategies. However, many individuals rated the SPEAK strategy better for two or more of the seven subjective measures. Ratings for "appreciation of music" and "quality of my own voice" in particular were generally higher for SPEAK. Improvements were realized by patients with a wide range of speech perception abilities, including those with little or no open-set speech recognition.     

Microfluidic continuous magnetophoretic protein separation using nanoparticle aggregates

We demonstrate a microfluidic continuous-flow protein separation process in which silica-coated superparamagnetic nanoparticles interact preferentially with hemoglobin in a mixture with bovine serum albumin, and the resulting hemoglobin-nanoparticle aggregates are recovered online using magnetophoresis. We present detailed modeling and analysis of this process yielding quantitative estimates of the recovery of both proteins, validated by experiments. While several previous studies utilize an average particle size in modeling magnetophoretic particle trajectories or process design, in this study we emphasize the importance of accounting for particle size distributions in calculating particle recovery, and therefore in estimating separation efficiency. We combine experimentally measured size distributions of protein-nanoparticle aggregates with simulations of particle trajectories and provide a simple analytical method to calculate the efficiency of separation at various flow speeds, which fully accounts for heterogeneity in particle sizes. Our method can potentially be used for affinity based biomolecular separations at both analytical and preparative scales by exploiting well-established techniques to functionalize nanoparticle surfaces with selective ligands. Further, the modeling methodology presented here may be applied to provide better estimates of particle recovery in a broad range of magnetophoretic separation processes involving heterogeneity in particle sizes.     

Visual quality assessment algorithms: what does the future hold?

Creating algorithms capable of predicting the perceived quality of a visual stimulus defines the field of objective visual quality assessment (QA). The field of objective QA has received tremendous attention in the recent past, with many successful algorithms being proposed for this purpose. Our concern here is not with the past however; in this paper we discuss our vision for the future of visual quality assessment research. We first introduce the area of quality assessment and state its relevance. We describe current standards for gauging algorithmic performance and define terms that we will use through this paper. We then journey through 2D image and video quality assessment. We summarize recent approaches to these problems and discuss in detail our vision for future research on the problems of full-reference and no-reference 2D image and video quality assessment. From there, we move on to the currently popular area of 3D QA. We discuss recent databases, algorithms and 3D quality of experience. This yet-nascent technology provides for tremendous scope in terms of research activities and we summarize each of them. We then move on to more esoteric topics such as algorithmic assessment of aesthetics in natural images and in art. We discuss current research and hypothesize about possible paths to tread. Towards the end of this article, we discuss some other areas of interest including high-definition (HD) quality assessment, immersive environments and so on before summarizing interesting avenues for future work in multimedia (i.e., audio-visual) quality assessment.     

Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems

The authors’ previous work discussed a scalable abstract knowledge representation and reasoning scheme for Pervasive Computing Systems, where both low-level and abstract knowledge is maintained in the form of temporal first-order logic (TFOL) predicates. Furthermore, we introduced a novel concept of a generalised event, an abstract event, which we define as a change in the truth value of an abstract TFOL predicate. Abstract events represent real-time knowledge about the system and they are defined with the help of well-formed TFOL expressions whose leaf nodes are concrete, low-level events using our AESL language.In this paper, we propose to simulate pervasive systems by providing estimated knowledge about its entities and situations that involve them. To achieve this goal, we enhance AESL with higher-order function predicates that denote approximate knowledge about the likelihood of a predicate instance having the value True with respect to a time reference. We define a mapping function between a TFOL predicate and a Bayesian network that calculates likelihood estimates for that predicate as well as a confidence level, i.e., a metric of how reliable the likelihood estimation is for that predicate.Higher-order likelihood predicates are implemented by a novel middleware component, the Likelihood Estimation Service (LES). LES implements the above mapping; first, for each abstract predicate, it learns a Bayesian network that corresponds to that predicate from the knowledge stored in the sensor-driven system. Once trained and validated, the Bayesian networks generate a likelihood estimate and a confidence level. This new knowledge is maintained in the middleware as approximate knowledge therefore providing a simulation of the pervasive system, in the absence of real-time data. Last but not least, we describe an experimental evaluation of our system using the Active BAT location system.