Arthur Norberg, the Charles Babbage Institute, and the History of Computing

This issue of the IEEE annals of the history of computing originated with a desire to mark the retirement of Charles Babbage Institute founding director Arthur Norberg. In so doing, a number of Norberg's peers were invited to help celebrate and honor the CBI director's career while also appraising the history of computing field that Norberg helped create.     

A reconfigurable VLSI-based double-lens tracking camera

Watching and tracking an object while seeing a much wider view is one of advantages of the eye system. We proposed and developed a tracking camera system that mimics the eyes by using double-lens modules. In the system, a wide view is captured through the wide-lens module, while the target in it is tracked and magnified through the telescopic lens module. Electronic circuits for tracking control are implemented onto the reconfigurable VLSI or FPGA in order to embed the parallelism in the tracking algorithm into the hardware. A successfully developed FPGA-based prototype performs high-speed tracking at the video-rate. This work was present in part at the 12th International Symposium on Artificial Life and Robotics, Oita, Japan, January 25–27, 2007     

Clonal composition of malignant fibrous histiocytoma: analysis by PCR-based assay of the human androgen receptor gene (HUMARA)

Poly(A)+ mRNA was isolated from leaves of potato plants (Solanum tuberosum L. cv. Desiree) according to standard protocols. This poly(A)+ mRNA was injected via glass microcapillaries into oocytes that were surgically removed from the African clawed toad Xenopus laevis. As a control, oocytes were either injected with H2O or remained untreated. Three days after injection the oocytes were analyzed by two electrode voltage clamping. Current voltage analysis revealed that a K+ channel from potato was functionally expressed in injected oocytes. The identity of this K+ channel was confirmed by its substrate specificity and a shift in the reversal potential. In particular, when the outside K+ concentration was increased the reversal potential of poly(A)+ injected oocytes shifted to more positive values. Furthermore, K+ outward currents declined when the outside K+ concentration was raised from 0.1 to 100 mM. Inward currents increased with an elevation of the K+ concentration. Several pharmaceuticals were tested for their potential to block this K+ channel. As a result, the channel was completely blocked by BaCl2. A three state reaction kinetic model was used to simulate the currents through the K+ transport protein as function of the extracellular K+ concentration. In particular, the simulation revealed current voltage relations that exactly matched the measured ones. Saturation of current voltage curves emerged from the simulation as a consequence of high extracellular potassium concentration.     

Evolvable Reasoning Hardware: Its Prototyping and Performance Evaluation

In this paper, we propose evolvable reasoning hardware and its design methodology. In the proposed design methodology, case databases of each reasoning task are transformed into truth tables, which are evolved to extract rules behind the past cases through a genetic algorithm. Circuits for the evolvable reasoning hardware are synthesized from the evolved truth-tables. Parallelism in each task can be embedded directly in the circuits through the direct hardware implementation of the case databases. We developed the evolvable reasoning hardware prototype using Xilinx Virtex FPGA chips and applied it to the English-pronunciation-reasoning (EPR) task. The evolvable reasoning hardware for the EPR task was implemented with 270K gates, achieving an extremely high reasoning speed of less than 300 ns/phoneme. It also achieved a reasoning accuracy of 82.1% which is almost the same accuracy as NETTalk in neural networks and MBRTalk in parallel AI.     

The Detection of Immunity against WT1 and SMAD4P130L of EpCAM+ Cancer Cells in Malignant Pleural Effusion

Malignant pleural effusion (MPE) provides a liquid tumor microenvironment model that includes cancer cells and immune cells. However, the characteristics of tumor antigen-specific CD8⁺ T cells have not been investigated in detail. Here, we analyzed MPE samples taken from a patient with pancreatic cancer who received a dendritic cell vaccine targeting Wilms’ Tumor 1 (WT1) antigen over the disease course (two points at MPE^1st and 2^nd, two months after MPE1^st). Epithelial cell adhesion molecule (EpCAM)⁺ cancer cells (PD-L1⁻ or T cell immunoglobulin mucin-3, TIM-3⁻), both PD-1 or TIM-3 positive CD8⁺ T cells, and CD14⁺CD68⁺CD163⁺TIM-3⁺ macrophages increased from the MPE^1st to MPE^2nd. The ratio of WT1-specific cytotoxic lymphocytes (WT1-CTLs) to MPE CD8⁺ T cells and IFN-γ secretion of WT1-CTLs were reduced with disease progression. Coincidentally, the fraction of central memory T (T_CM) of WT1-CTLs was decreased. On the other hand, CD8⁺ T cells in response to SMAD4^P130L, which is homogeneously expressed in EpCAM⁺ cancer cells, were detected using in vitro expansion with the HLA-A*11:01 restrictive SVCVNLYH neoantigen. Furthermore, the CD8⁺ T cell response to SMAD4^P130L was diminished following remarkably decreased numbers of CD8⁺ T_CM in MPE samples. In conclusion, CD8⁺ T cells responding to WT1 or SMAD4^P130L neoantigen expressed in EpCAM⁺ pancreatic cancer cells were detected in MPE. A tumor antigen-specific immune response would provide novel insight into the MPE microenvironment.     

Involvement of Atopic Dermatitis in the Development of Systemic Inflammatory Diseases

The skin is recognized as a peripheral lymphoid organ that plays an essential defensive action against external environmental stimuli. However, continuous stimulation of these factors causes chronic inflammation at the local site and occasionally causes tissue damage. Chronic inflammation is recognized as a trigger for systemic organ inflammation. Atopic dermatitis (AD) is a chronic inflammatory skin disease that is influenced by various external environmental factors, such as dry conditions, chemical exposure, and microorganisms. The pathogenesis of AD involves various Th2 and proinflammatory cytokines. Recently updated studies have shown that atopic skin-derived cytokines influence systemic organ function and oncogenesis. In this review, we focus on AD’s influence on the development of systemic inflammatory diseases and malignancies.     

Augmented reality-based block piling game with superimposed collapse prediction

Understanding what cannot be seen is difficult. Physical behavior can be explained on the basis of physical theories even if the behavior cannot be observed. Explanation of what is physically happening in the real world would become easy, however, if annotations were superimposed on the real objects. Herein, the authors demonstrate how an understanding of a physical event can be facilitated by overlapping a real-world situation with a simulation that predicts a future state. This idea is demonstrated in a game application in which a player stacks blocks into a pile until it collapses. In general, it is easy to estimate whether a block on the edge of a table will fall or not. However, it is more difficult to predict whether a stack of many blocks will collapse, and in what manner the stack will collapse. Even though previous research has demonstrated that the problem of how two-dimensionally stacked blocks collapse can be reduced to solving a sequence of convex quadratic programs, algorithms for convex quadratic programs require massive computational resources. Hence, the authors developed a fast and new algorithm based on a linear program. The proposed algorithm realizes real-time simulation based on physics that superimposes predicted collapse. The block that is predicted to fall is superimposed on the real block with a lit background projection. The system was evaluated in an experiment, and superimposed augmented reality annotation was observed to be efficient. The system was also demonstrated in game contests and received positive feedback and comments.     

Solving parity games by a reduction to SAT

This paper presents a reduction from the problem of solving parity games to the satisfiability problem in propositional logic (SAT). The reduction is done in two stages, first into difference logic, i.e. SAT combined with the theory of integer differences, an instance of the SAT modulo theories (SMT) framework. In the second stage the integer variables and constraints of the difference logic encoding are replaced with a set of Boolean variables and constraints on them, giving rise to a pure SAT encoding of the problem. The reduction uses Jurdziński?s characterisation of winning strategies via progress measures. The reduction is motivated by the success of SAT solvers in symbolic verification, bounded model checking in particular. The paper reports on prototype implementations of the reductions and presents some experimental results.