A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

Verbal and spatial working memory in school-age children: Developmental differences in susceptibility to interference.

The development of verbal and spatial working memory was investigated with an interference paradigm. Memory spans were obtained from 3 groups (8-, 10-, and 19-yr olds) under 6 different conditions: Two primary memory tasks (1 verbal, 1 spatial) were administered in isolation and in conjunction with 2 versions of a secondary task. The primary tasks required recalling a series of visually presented digits and recalling the locations of Xs in a series of visually presented grids. The secondary tasks required reporting the color of the stimuli as they were presented using either a verbal or a spatial response. Analyses revealed that all age groups showed domain-specific interference (i.e., interference by a secondary task from the same domain as the primary task), but only the 8-yr-olds also showed nonspecific interference (i.e., interference by a secondary task from a domain different than the primary memory task), suggesting that at least some executive functions do not reach adult levels of efficiency until approximately age 10. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Working memory and articulation rate in children with spastic diplegic cerebral palsy.

A. D. Baddeley, N. Thomson, and M. Buchanan (1975) suggested that articulatory rehearsal rate determines the amount of verbal material that can be maintained in working memory. In the current study, 12 children with spastic diplegic cerebral palsy (SDCP) and 38 normal children were tested on measures of articulation rate and memory span for 1-, 2-, and 3-syllable words. Across all conditions, articulation rate for the SDCP group was significantly slower than for the normal group; nonetheless, memory span was equivalent for both groups. This finding implies that covert rehearsal proceeded normally for the SDCP group, in spite of decrements in speech rate. Thus, the relationship between overt and covert rehearsal rates differs for children with SDCP compared with normal children. Findings from the current study further suggest that normal speech rates are not necessary for development of normal covert rehearsal rates. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Determination of tablet coating distribution by deconvolution of uncoated and coated tablet weight distributions

PURPOSE: The purpose of this research is to obtain the tablet coating distribution from weight distributions of uncoated and coated tablets. METHODS: The method of deconvolution with digital smoothing was used to calculate the distribution of coating applied to a tablet population from separate random measurements of individual uncoated and coated tablets. RESULTS: It was demonstrated that the calculated coating weight distribution agrees well with the measured distribution. The effect of the smoothing factor on the solution is illustrated. CONCLUSIONS: This method can be used during development to facilitate process scale-up/optimization. In routine production, the method can assess the reproducibility and consistency of a coating process.     

Phase I trial of weekly scheduling and pharmacokinetics of titanocene dichloride in patients with advanced cancer

PURPOSE: To determine the maximum-tolerated dose (MTD) and the dose-limiting toxicities (DLTs) of a weekly schedule of titanocene dichloride (TD) and to define the pharmacokinetics of titanium in plasma and urine. PATIENTS AND METHODS: Twenty patients with a median age of 58 years received 83 courses of TD. TD was given as 1-hour infusion at escalating doses from 70 to 185 mg/m2/wk. Pharmacokinetic analysis was performed in eight patients for total plasma titanium (TPTi) and in three patients for ultrafiltrable titanium (UFTi). RESULTS: At the fifth dose level (185 mg/m2/wk), a variety of DLTs were seen in five patients: fatigue in three, bilirubinemia in one, and hypokalemia in two. A further six patients were treated at 140 mg/m2; only one had dose-limiting creatinine elevation and this dose was therefore defined as the MTD. No myelosuppression or alopecia were observed. One patient with adenocarcinoma of unknown primary had a minor response. Pharmacokinetic analysis showed that TPTi maximum concentration (Cmax) values were linear with dose and elimination of TPTi was triphasic with a long terminal half-life (t1/2; median, 165 hours; range, 89 to 592). Between 7% and 24.3% of the total of administered titanium was eliminated in urine over the first 24 hours. In contrast, UFTi elimination was described by a one-compartment model with a t1/2 of 0.41 hours; peak levels of UFTi were 5.2% +/- 2.5% those of TPTi. CONCLUSION: The MTD of TD given on a weekly schedule is 140 mg/m2, with cumulative, but reversible creatinine and bilirubin elevation being the DLTs.     

Low-field 3-DFT MRI: conceptual, analytical, and experimental aspects

Three-dimensional Fourier transform (3-DFT) magnetic resonance imaging (MRI) offers advantages in terms of signal-to-noise (S/N) per unit of time for the case where a large number of slices is desired. This advantage is enhanced when the relaxation time, T(1 ), is short. Because time limitations in 3-DFT imaging force the use of short time intervals, TR, between excitations of a slice, lesion contrast is often undesirable at mid-and high-field strength even when the S/N is good. At low fields, where T(1) values are short, high S/N and contrast can both be achieved with 3-DFT MR images. The conceptual and analytical aspects of low-field 3-DFT MRI are presented and demonstrated at 640 G.     

Deep learning frameworks to learn prediction and simulation focused control system models

Deep learning (DL) methods have brought world-shattering breakthroughs, especially in computer vision and classification problems. Yet, the design and deployment of DL methods in time series prediction and nonlinear system identification applications still need more progress. In this paper, we present DL frameworks that are developed to provide novel approaches as solutions to the aforementioned engineering problems. The proposed DL frameworks leverage the advantages of autoencoders and long-short term memory network, which are known being data compression and recurrent structures, respectively, to design Deep Neural Networks (DNN) for modeling time series and nonlinear systems with high performance. We provide recommendations on how deep AEs and LSTMs should be utilized to end up with efficient Prediction-focused (Pf) and Simulation-focused (Sf) DNNs for time series and system identification problems. We present systematic learning methods for the DL frameworks that allow straightforward learning of Pf-DNN and Sf-DNN models in detail. To demonstrate the efficiency of the developed DNNs, we present various comparative results conducted on the benchmark and real-world datasets in comparison with their conventional, shallow, and deep neural network counterparts. The results clearly show that the deployment of the proposed DL frameworks results with DNNs that have high accuracy, even with a low dimensional feature vector.

     

Evaluating medication response in ADHD: cognitive, behavioral, and single-subject methodology

We introduce a novel application for linkage analysis: using bone marrow donor-recipient sib pairs to search for genes influential in graft-versus-host disease (GVHD), a major cause of morbidity and mortality following allogeneic bone marrow transplantation. In particular, we show that transplant sib pairs in which the recipient developed severe GVHD can be used to map genes in the same way as traditional discordant (affected/unaffected) sib pairs (DSPs). For a plausible GVHD model, we demonstrate that the transplant/discordant sib pair analog of the "possible triangle test" [Holmans (1993) Am J Hum Genet 52:362-374] has similar power to that of the simpler "restricted test" proposed by Risch [(1990b) Am J Hum Genet 46:229-241; (1992) Am J Hum Genet 51:673-675]. Moreover, we show that the restricted test has superior power in much of the DSP possible triangle and significantly inferior power in only a small region. Thus, we conclude that the restricted test is preferable for localizing genes with transplant/discordant sib pairs. Finally, we examine the effects of heterogeneity on the power to detect GVHD loci and demonstrate the gain in efficiency by dividing the sample into genetically more homogeneous subgroups.     

Quantification of heart fatty acid binding protein as a biomarker for drug-induced cardiac and musculoskeletal necroses

Heart fatty acid binding protein (Fabp3) is a cytosolic protein expressed primarily in heart, and to a lesser extent in skeletal muscle, brain, and kidney. During myocardial injury, the Fabp3 level in serum is elevated rapidly, making it an ideal early marker for myocardial infarction. In this study, an MS‐based selected reaction monitoring method (LC‐SRM) was developed for quantifying Fabp3 in rat serum. Fabp3 was enriched first through an immobilized antibody, and the protein was digested on beads directly. A marker peptide of Fabp3 was quantified using LC‐SRM with a stable isotope‐labeled peptide standard. For six quality control samples with Fabp3 ranging from 0.256 to 25 ng, the average recovery following the procedure was about 73%, and the precision (%CV) between replicates was less than 7%. The Fabp3 concentrations in rat serum peaked 1 h after isoproterenol treatment, and returned to baseline levels 24 h after the dose. Elevated Fabp3 levels were also detected in rats administered with a PPAR α/δ agonist, which has shown to cause skeletal muscle necrosis. Fabp3 can be used as a biomarker for both cardiac and skeletal necroses. The cross‐validation of the LC‐SRM method with an existing ELISA method is described.     

A fuzzy assessment framework to select among transportation investment projects in Turkey

Selecting the best transportation investment project (TIP) is often a difficult task, since many social, environmental and economic criteria have to be considered simultaneously. Evaluating a set of different projects, especially the best set of alternatives, portfolios, is even more complex. Pursuing the goal of selecting the best TIP portfolio, we propose a fuzzy assessment method to aid the selection process of a multi-criterion project by utilizing the concept of entropy and interval normalization procedure in a fuzzy analytic hierarchy process (F-AHP). Then, regarding this informative phase, we propose a fuzzy linear programming model to select the best TIP portfolio under uncertain cost pressure. A real case study is conducted to illustrate the efficiency of the proposed method.