Exercise classification and event segmentation in Hammersmith Infant Neurological Examination videos

Image and video processing techniques are being frequently used in medical science applications. Computer vision-based systems have successfully replaced various manual medical processes such as analyzing physical and biomechanical parameters, physical examination of patients. These systems are gaining popularity because of their robustness and the objectivity they bring to various medical procedures. Hammersmith Infant Neurological Examinations (HINE) is a set of physical tests that are carried out on infants in the age group of 3–24 months with neurological disorders. However, these tests are graded through visual observations, which can be highly subjective. Therefore, computer vision-aided approach can be used to assist the experts in the grading process. In this paper, we present a method of automatic exercise classification through visual analysis of the HINE videos recorded at hospitals. We have used scale-invariant-feature-transform features to generate a bag-of-words from the image frames of the video sequences. Frequency of these visual words is then used to classify the video sequences using HMM. We also present a method of event segmentation in long videos containing more than two exercises. Event segmentation coupled with a classifier can help in automatic indexing of long and continuous video sequences of the HINE set. Our proposed framework is a step forward in the process of automation of HINE tests through computer vision-based methods. We conducted tests on a dataset comprising of 70 HINE video sequences. It has been found that the proposed method can successfully classify exercises with accuracy as high as 84%. The proposed work has direct applications in automatic or semiautomatic analysis of “vertical suspension” and “ventral suspension” tests of HINE. Though some of the critical tests such as “pulled-to-sit,” “lateral tilting,” or “adductor’s angle measurement” have already been addressed using image- and video-guided techniques, scopes are there for further improvement.     

Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware

Designing hardware often involves several types of modeling and analysis, e.g., in order to check system correctness, to derive performance properties such as throughput, to optimize resource usages (e.g., buffer sizes), and to synthesize parts of a circuit (e.g., control logic). Working directly with low-level hardware models such as finite-state machines (FSMs) to answer such questions is often infeasible, e.g., due to state explosion. Instead, designers often use dataflow models such as SDF and CSDF, which are more abstract than FSMs, and less expensive to use since they come with more efficient analysis algorithms. However, dataflow models are only abstractions of the real hardware, and often omit critical information. This raises the question, when can one say that a certain dataflow model faithfully captures a given piece of hardware? The question is of more than simply academic interest. Indeed, as illustrated in this paper, dataflow-based analysis outcomes may sometimes be defensive (e.g., buffers that are too big) or even incorrect (e.g., buffers that are too small). To answer the question of faithfully capturing hardware using dataflow models, we develop a formal conformance relation between the heterogeneous formalisms of (1) finite-state machines with synchronous semantics, typically used to model synchronous hardware, and (2) asynchronous processes communicating via queues, used as a formal model for dataflow. The conformance relation preserves performance properties such as worst-case throughput and latency.     

Formulation and validation of a mathematical model for a naturally ventilated greenhouse with shading nets in warm and humid climate of India

A thermal model is developed to investigate the suitability of a simple, inexpensive and naturally ventilated greenhouse with shading nets in warm and humid climatic condition for off-season cultivation of vegetables like okra, cucumber, etc. during winter. These vegetables are generally grown during summer and the rainy season. The study was conducted from November 2011 to February 2012 in OUAT, Bhubaneswar, and Odisha where warm and humid climate usually prevails. Air temperatures inside the greenhouse with shading net were only 1–2°C higher during peak sunny hours and considerably 3–5°C more during night hours compared with ambient air temperatures. Lowering of air temperature during peak sunny hours and increasing during the night due to use of shading nets would become favourable for growing off-season vegetables in naturally ventilated greenhouse. Predicted values of air and plant temperatures were found to be in close agreement with experimental values.     

Synthesis and characterization of perfectly alternating polycarbonate‐polydimethylsiloxane multiblock copolymers possessing controlled block lengths

An array of perfectly alternating polycarbonate‐polydimethylsiloxane (PC‐PDMS) multiblock copolymers possessing systematic variations in block molecular weights were successfully produced by coupling preformed PC and PDMS telechelic oligomers using hydrosilylation. Based on gel permeation chromatography results, the multiblock copolymers were essentially void of the oligomeric precursors. Despite the relatively large difference in solubility parameter between PC and PDMS, the multiblock copolymers exhibited significant partial miscibility between the two phases. As expected, the degree of partial miscibility was dependent on the molecular weight of the blocks with the extent of partial miscibility increasing with decreasing block molecular weights. Morphological characterization using small angle X‐ray scattering showed that, at a given PC block molecular weight, the uniformity of the two phase morphology increased with increasing PDMS block molecular weight, which is consistent with a decrease in the extent of phase mixing with increasing PDMS block molecular weight. POLYM. ENG. SCI., 54:1648–1663, 2014. © 2013 Society of Plastics Engineers     

On comparison of luminescence properties of La2Zr2O7 and La2Hf2O7 nanoparticles

Unveiling the underlying mechanisms of properties of functional materials, including the luminescence differences among similar pyrochlores A₂B₂O₇, opens new gateways to select proper hosts for various optoelectronic applications by scientists and engineers. For example, although La₂Zr₂O₇ (LZO) and La₂Hf₂O₇ (LHO) pyrochlores have similar chemical compositional and crystallographic structural features, they demonstrate different luminescence properties both before and after doped with Eu³⁺ ions. Based on our earlier work, LHO-based nanophosphors display higher photo- and radioluminescence intensity, higher quantum efficiency, and longer excited state lifetime compared to LZO-based nanophosphors. Moreover, under electronic O²⁻→Zr⁴⁺/Hf⁴⁺ transition excitation at 306 nm, undoped LHO nanoparticles (NPs) have only violet blue emission, whereas LZO NPs show violet blue and red emissions. In this study, we have combined experimental and density functional theory (DFT) based theoretical calculation to explain the observed results. First, we calculated the density of state (DOS) based on DFT and studied the energetics of ionized oxygen vacancies in the band gaps of LZO and LHO theoretically, which explain their underlying luminescence difference. For Eu³⁺-doped NPs, we performed emission intensity and lifetime calculations and found that the LHOE NPs have higher host to dopant energy transfer efficiency than the LZOE NPs (59.3% vs 24.6%), which accounts for the optical performance superiority of the former over the latter. Moreover, by corroborating our experimental data with the DFT calculations, we suggest that the Eu³⁺ doping states in LHO present at exact energy position (both in majority and minority spin components) where oxygen defect states are located unlike those in LZO. Lastly, both the NPs show negligible photobleaching highlighting their potential for bioimaging applications. This current report provides a deeper understanding of the advantages of LHO over LZO as an advanced host for phosphors, scintillators, and fluoroimmunoassays.     

A thermodynamically consistent framework for non-isothermal modelling of local heat generation and electromotive force in SOFC single electrodes

Mathematical models for single electrode reversible heat and non-isothermal electromotive force (EMF) of a solid oxide fuel cell (SOFC) are developed. These models estimate the volumetric reversible heat generation and EMF of electrochemical reactions, within each electrode at local conditions of temperature and pressure, based on entropy change of half reactions. The resulting equations are thermodynamically consistent. They inherently obey the conservation of energy law as the electrochemical energy released added to the heat of reactions at each electrode equate the enthalpy change of the reacted species. The equations are implemented to model electrodes in a tubular micro- solid oxide fuel cell (TμSOFC). The thermodynamic consistency of the model is numerically confirmed as the enthalpy of the reactants equates the electric energy released by the cell plus the sum of electrode heats plus electrolyte Ohmic heat. The effect of thermal gradients on the cell's overall EMF is found to be negligible. The reversible and irreversible heat generation of each electrode are distinguished. Overall, the anode is found to be endothermic, and the cathode exothermic.     

Taguchi analysis of surface modification technique using W-Cu powder metallurgy sintered tools in EDM and characterization of the deposited layer

The present study describes an experimental research on surface modification during electrical discharge machining (EDM) by depositing a hard layer over the work surface of C-40 grade plain carbon steel using specially prepared powder metallurgy compact tools. The investigated process parameters were composition, compaction pressure, sintering temperature, pulse on-time, peak?Ccurrent setting, and duty factor. Measurements of deposited layer thickness, mass transfer rate, tool wear rate, surface roughness and microhardness were undertaken on the EDM-ed specimens. Different studies like X-ray diffraction, optical microscopy, scanning electron microscopy, and energy dispersive X-ray spectroscopy were carried out to ascertain the characteristics of the deposited layer on the work surface. These analyses confirmed the presence of the tool materials in the work surface layer. At first, an L-16 orthogonal array was applied as Taguchi DOE technique and the ANOVA was done to study the effects of pertinent process parameters. An optimum condition was achieved using overall evaluation criteria. Later on, a detailed study was carried out to get a smooth and regular deposition of material. The characterization of the deposited layer is presented. The deposited layer with a wide range of average layer thickness of 3?C785???m, enriched with tool materials (W and Cu) and with the formation of tungsten carbide, and having microhardness of 9.81?C12.75?GPa at the hardest zone was successfully deposited over the work surface.     

Influence of martensite morphology on the work-hardening behavior of high strength ferrite–martensite dual-phase steel

This study concerns influence of martensite morphology on the work-hardening behavior of high-strength ferrite–martensite dual-phase (DP) steel. A low-carbon microalloyed steel was subjected to intermediate quenching (IQ), step quenching (SQ), and intercritical annealing (IA) to develop different martensite morphologies, i.e., fine and fibrous, blocky and banded, and island types, respectively. Analyses of work-hardening behavior of the DP microstructures by differential Crussard–Jaoul technique have demonstrated three stages of work-hardening for IQ and IA samples, whereas the SQ sample revealed only two stages. Similar analyses by modified Crussard–Jaoul technique showed only two stages of work-hardening for all the samples. Among different treatments, IQ route has yielded the best combination of strength and ductility due to its superior work-hardening behavior. The influence of martensite morphology on nucleation and growth of microvoids/microcracks has been correlated with the observed tensile ductility.     

The inherent price of indulgence

An indulgent algorithm is a distributed algorithm that tolerates asynchronous periods of the network when process crash detection is unreliable. This paper presents a tight bound on the time complexity of indulgent consensus algorithms. We consider a round-based eventually synchronous model, and we show that any t-resilient consensus algorithm in this model, requires at least t+2 rounds for a global decision even in runs that are synchronous. We contrast our lower bound with the well-known t+1 round tight bound on consensus in the synchronous model. We then prove the bound to be tight by exhibiting a new t-resilient consensus algorithm in the eventually synchronous model that reaches a global decision at round t+2 in every synchronous run. Our new algorithm is in this sense significantly faster than the most efficient indulgent algorithm we know of, which requires 2t+2 rounds in synchronous runs. Our lower bound applies to round-based consensus algorithms with unreliable failure detectors such as ⋄ P and ⋄ S, and our matching algorithm can be adapted to such failure detectors. This work is partially supported by the Swiss National Science Foundation (project number 510-207).