Book reviews

Electronic Finance Law Chris Reed, 1993 Hemel Hempstead: Woodhead‐Faulkner. 450 pp. £50.00

Introduction to Computer Law, 2nd Edn David I. Bainbridge, 1993 London: Pitman £18.99

Deontic Logic in Computer Science: normative system specification John‐Jules CH. Meyer & Roel J. Wieringa, 1993 London: John Wiley £34.95, xiv + 317pp.     

Enhancement of Upconverted Fluorescence by Interference Layers

Upconverting nanoparticles show potential applications in the field of photovoltaics and array‐based detection devices. While fluorescence enhancement using interference of incident radiation is well known in Stokes‐shift type systems such as fluorescent dyes; the effect of such interference geometry in nonlinear Anti‐Stokes type emission, such as in upconversion rare earth photophysics is demonstrated for the first time. This work describes in detail the influence of the interference modulation on both the excitation (interion energy transfer) and radiative decay with nonradiative decay processes active between emissive levels. These effects are illustrated in the thickness dependence of the decay rate and rise time. Single particle upconverted spectra and time‐resolved measurements show concurrent optimization of the infrared absorption and emission at 540 and 650 nm, with an average enhanced emission of 20 times at λ = 540 and 45 times at λ = 650 nm, dependent on the interference layer thickness and on the excitation intensity. The experimental results are correlated with finite element modeling. Both experiments and calculations show emission enhancement at an interference layer thickness of about 740 ± 20 nm, where such tolerance and the planar design, leads to ease in implementation in applications.     

Improvement in mechanical properties of recycled GF prepreg with CNT reinforced composites using a spray coating method

Dispersion and shape of nanoparticles, as well as interfacial conditions, add significantly to difficulties in composite manufacture. In the work reported here, an innovative method of recycling composites using out-of-date prepreg was investigated in which the carbon nanotube (CNT) on the prepreg was optimally coated. Nanocomposites utilizing the out-of-date prepreg were coated with CNT and fabricated by a sheet molding method. CNT nanofillers were observed to be uniformly dispersed on epoxy prepreg by spray coating. The mechanical and interfacial properties of these CNT coated nanocomposites were improved over those of more conventionally manufactured carbon fiber/epoxy composites. The CNT nanofillers were embedded at the epoxy and fiber interface, as a result of etching of the epoxy prepreg surface by a CNT dispersion solution which enhanced interfacial reactivity.     

Free-living inferential modeling of blood glucose level using only noninvasive inputs

The goal of this work is to present a causation modeling methodology with the ability to accurately infer blood glucose levels using a large set of highly correlated noninvasive input variables over an extended period of time. These models can provide insight to improve glucose monitoring, and glucose regulation through advanced model-based control technologies. The efficacy of this approach is demonstrated using real data from a type 2 diabetic (T2D) subject collected under free-living conditions over a period of 25 consecutive days. The model was identified and tested using eleven variables that included three food variables as well as several activity and stress variables. The model was trained using 20 days of data and validated using 5 days of data. This gave a fitted correlation coefficient of 0.70 and an average absolute error (AAE) (i.e., the average of the absolute values for the measured glucose concentration minus modeled glucose concentration) of 13.3 mg/dL for the validation data. This AAE result was significantly better than the subject’s personal glucose meter AAE of 15.3 mg/dL for replicated measurements.     

Flexible amorphous‐silicon non‐volatile memory

Abstract— The development of a flexible, rewritable, non‐volatile memory (NVM) that is implemented on a standard, low‐temperature a‐Si:H process without additional mask steps is reported. This NVM is a part of a flexible‐display system. Each NVM cell is composed of differentially configured thin‐film‐transistors (TFTs). The cell reads out one of two stable states depending on the relative threshold voltages of the differentially configured TFTs. Information is stored in each cell by increasing the threshold voltage of one differential TFT or the other, utilizing the well‐known electrical‐stress degradation intrinsic to a‐Si:H TFTs. The stored information is retained indefinitely with no applied power. A test array of individually addressable NVM cells has been successfully fabricated and tested on flexible stainless‐steel substrates. Read and write operation, as well as preliminary reliability measurements, are described. The design is readily scalable to large memory arrays.     

Actions Arising from Intersection and Union

An action is a pair of sets, C and S, and a function \(f:C\times S \rightarrow C\). Rothschild and Yalcin gave a simple axiomatic characterization of those actions arising from set intersection, i.e. for which the elements of C and S can be identified with sets in such a way that elements of S act on elements of C by intersection. We introduce and axiomatically characterize two natural classes of actions which arise from set intersection and union. In the first class, the \(\uparrow \!\!\downarrow \)-actions, each element of S is identified with a pair of sets \((s^\downarrow ,s^\uparrow )\), which act on a set c by intersection with \(s^\downarrow \) and union with \(s^\uparrow \). In the second class, the \(\uparrow \!\!\downarrow \)-biactions, each element of S is labeled as an intersection or a union, and acts accordingly on C. We give intuitive examples of these actions, one involving conversations and another a university’s changing student body. The examples give some motivation for considering these actions, and also help give intuitive readings of the axioms. The class of \(\uparrow \!\!\downarrow \)-actions is closely related to a class of single-sorted algebras, which was previously treated by Margolis et al., albeit in another guise (hyperplane arrangements), and we note this connection. Along the way, we make some useful, though very general, observations about axiomatization and representation problems for classes of algebras.     

The q-Ad Hoc Hub Location Problem for Multi-modal Networks

This research proposes a spatial optimization problem over a multi-modal transportation network, termed the q-Ad-hoc hub location problem (AHLP), to utilize alternative hubs in an ad-hoc manner in the wake of a hub outage. The model aims to reorganize the spatial structure of disrupted networks: unaffected hubs are utilized as ad-hoc hubs through which alternative routes connect supply and demand nodes. As a case study, the AHLP is applied to a multi-modal freight transport system connecting international destinations with the United States. The models are utilized to establish a new ranking methodology for critical infrastructure by combining metrics capturing nodal criticality and network resilience and recuperability. The results show that the AHLP is both an effective and practical recovery approach for a hub network to respond to the potential disruptions of hubs and a novel methodology for ranking critical infrastructure.     

Colin Allen and Marc Bekoff,Species of Mind: The Philosophy and Biology of Cognitive Ethology

Minds and Machines -     

Compact modeling of amorphous‐silicon thin‐film transistors with BSIM3

Abstract— A novel approach of modeling a‐Si:H TFTs with the industry‐standard BSIM3 compact model is presented. The described approach defines the a‐Si:H TFT drain current and terminal charges as explicit functions of terminal voltages using a minimum set of BSIM3 parameters. The set of BSIM3 parameters is chosen based on the electrical and physical characteristics of the a‐Si:H TFT and their values extracted from measured data. By using the selected BSIM3 model parameters, the a‐Si:H TFT is simulated inside SPICE to fit the simulated I‐V and C‐V curves with the measured results. Finally, the extracted BSIM3 model is validated by simulating the kickback voltage effect in an AMLCD pixel array.     

On classification with incomplete data

We address the incomplete-data problem in which feature vectors to be classified are missing data (features). A (supervised) logistic regression algorithm for the classification of incomplete data is developed. Single or multiple imputation for the missing data is avoided by performing analytic integration with an estimated conditional density function (conditioned on the observed data). Conditional density functions are estimated using a Gaussian mixture model (GMM), with parameter estimation performed using both expectation-maximization (EM) and variational Bayesian EM (VB-EM). The proposed supervised algorithm is then extended to the semisupervised case by incorporating graph-based regularization. The semisupervised algorithm utilizes all available data-both incomplete and complete, as well as labeled and unlabeled. Experimental results of the proposed classification algorithms are shown