The languages FCP(:) and FCP(:,?)

The language FCP(:,?) is the outcome of attempts to integrate the best of several flat concurrent logic programming languages, including Flat GHC, FCP (↓, |) and Flat Concurrent Prolog, in a single consistent framework. FCP(:) is a subset of FCP(:, ?), which is a variant of FPP(↓, |) and employs concepts of the concurrent constraint framework of cc(↓, |). FCP(:, ?) is a language which is strong enough to accommodate all useful concurrent logic programming techniques, including those which rely on atomic test unification and read-only variables, yet incorporates the weaker languages mentioned as subsets. This allows the programmer to remain within a simple subset of the language such as Flat GHC when the full power of atomic unification or read-only variables is not needed.     

Active tracking and pursuit under different levels of occlusion: a two-layer approach

We present an algorithm for real-time, robust, vision-based active tracking and pursuit. The algorithm was designed to overcome problems arising from active vision-based pursuit, such as target occlusion. Our method employs two layers to deal with occlusions of different lengths. The first layer is for short- or medium-term occlusions: those where a known method—such as mean shift combined with a Kalman filter—fails. For this layer we designed the hybrid filter for active pursuit (HAP). HAP utilizes a Kalman filter modified to respond to two different modes of action: one in which the target is positively identified and one in which the target identification is uncertain. For long-term occlusions we use the second layer. This layer is a decision algorithm that follows a learning procedure and is based on game theory-related reinforcement (Cesa-Bianchi and Lugosi, Prediction Learning and Games, 2006). The learning process is based on trial and error and is designed to perform adequately with a small number of samples. The algorithm produces a data structure that can be shared among agents or sent to a central control of a multi-agent system. The learning process is designed so that agents perform tasks according to their skills: an efficient agent will pursue targets while an inefficient agent will search for entering targets. These capacities make this system well suited for embedding in a multi-agent control system.     

Self-assembly of peptide nanotubes and amyloid-like structures by charged-termini-capped diphenylalanine peptide analogues

We had recently demonstrated that the diphenylalanine peptide, the core recognition motif of the Alzheimer's ß-amyloid polypeptide, self-assembles into a novel class of peptide nanotubes. The formation of well-ordered supramolecular structures at the nanoscale by such a simple peptide was consistent with our suggestion that aromatic interactions may provide order and directionality needed for the formation of fibrillar peptide structures. Yet, we could not rule out a contribution of the charged amine and carboxyl moieties at the termini of the short peptide. In order to explore the potential role of electrostatic interaction in the assembly process we have studied a modified non-charged peptide analogue, Ac-Phe–Phe-NH₂, in which the N-terminal amine was acetylated and the C-terminal carboxyl was amidated. Scanning and transmission electron microscopy analyses demonstrated that this peptide analogue self-assembles into highly-ordered tubular structures, as observed with the NH₂-Phe–Phe-COOH. Also, infrared spectroscopy revealed an amide I absorbance pattern that is very similar to that of the non-modified peptide. Furthermore, an amidated NH₂-Phe–Phe-NH₂ peptide, which has a net positive charge, also self-assembled into ordered tubular structures. On the other hand, the amine-modified analogues Boc-Phe–Phe-COOH, Z-Phe–Phe-COOH, and Fmoc-Phe–Phe-COOH peptides formed amyloid-like structures that had a significantly smaller diameter. Taken together, the current study further supports our hypothesis regarding the role of aromatic interactions in the self-assembly of amyloid fibrils and amyloid-associated nanostructures that can be modulated by simple chemical modifications.     

Particle Size,Surface Coating,and PEGylation Influence the Biodistribution of Quantum Dots in Living Mice

This study evaluates the influence of particle size, PEGylation, and surface coating on the quantitative biodistribution of near‐infrared‐emitting quantum dots (QDs) in mice. Polymer‐ or peptide‐coated ⁶⁴Cu‐labeled QDs 2 or 12 nm in diameter, with or without polyethylene glycol (PEG) of molecular weight 2000, are studied by serial micropositron emission tomography imaging and region‐of‐interest analysis, as well as transmission electron microscopy and inductively coupled plasma mass spectrometry. PEGylation and peptide coating slow QD uptake into the organs of the reticuloendothelial system (RES), liver and spleen, by a factor of 6–9 and 2–3, respectively. Small particles are in part renally excreted. Peptide‐coated particles are cleared from liver faster than physical decay alone would suggest. Renal excretion of small QDs and slowing of RES clearance by PEGylation or peptide surface coating are encouraging steps toward the use of modified QDs for imaging living subjects.     

Performance improvement analysis of boiling water reactors by incorporation of hydride fuel

The feasibility of improving the neutronic characteristics of boiling water reactors (BWR) by using U–Zr hydride fuel is studied. Several modified BWR fuel assembly designs are considered. These include designs in which hydride fuel rods replace water rods only, replace water rods and a fraction of the oxide fuel rods, replace oxide fuel in the upper half of all the fuel rods, and replace all the oxide fuel in the assembly. It is found that replacement of at least half of the oxide fuel rods in the fuel assembly by U–ZrH_1.6 fuel might simultaneously improve the performance of BWR in three ways: (a) Increasing the energy extracted per fuel assembly and the cycle length by up to 10%. (b) Reducing the uranium ore and SWU requirements by approximately 10%. (c) Reducing the negative void coefficient of reactivity by, at least, 50%. It is also found that replacement of all the oxide fuel by hydride fuel opens interesting new options for the design of BWR fuel assemblies. The net result might be simplified assembly designs that can generate significantly more energy while featuring small negative void coefficient of reactivity. U–ThH₂ fuel appears to be even more promising than U–ZrH_1.6. For the potential benefits from hydride fuel to be realized, a clad material that is not permeable to hydrogen and is not as neutron absorbing as stainless steel needs to be developed.     

Disassembly analysis through time estimation and other metrics

This paper examines the problem of assessing product ease of disassembly for recycling in light of the broader issue of manufacturability evaluation. The disassembly time estimation method outlined here is shown to provide one of several needed metrics for use during product design. Moreover, the ability to estimate process time provides the foundation upon which other metrics can be developed. The evaluation based on disassembly time is demonstrated on an electric drill example, and the difficulties associated with generating other disassemblability metrics are discussed.     

A programming approach to mathematics

This article presents an attempt to employ a programming approach to mathematical formalization. Six self-instructional units (120 instructional hours) have been developed for the Open University in Israel. This material was tried on three different types of populations: (a) bright high school students (11th–12th grade, A-level mathematics), (b) mathematics teachers with a programming background, and (c) university students studying mathematics, natural sciences and engineering. The results indicated that the programming approach is complementary to high school and university mathematics. The opportunity to explore, the algorithmic approach to mathematical operations and the visualization of mathematical objects and processes facilitates mathematical understanding and insights. It was most beneficial to the majority of the students who perform on a moderate level of abstraction. The course was less advantageous to those who have a very abstract way of perceiving mathematics or to those who are interested in mathematics only on a technical level. However, the vast majority of students gained new ways of understanding mathematical topics such as functions, curves, probability, game theory, recursive functions, envelopes, tiling, curve fitting, etc. They gained, as well, new strategies of using microcomputers to solve and further explore many mathematical problems which they could not solve before.     

Approaches of truck drivers and non-truck drivers toward reckless on-road behavior

The purpose of the study was to compare the reported approaches of truck drivers to those of non-truck drivers toward reckless on-road behaviors. One hundred and sixty-seven adult males, including 70 non-truck drivers, completed the questionnaires voluntarily. The truck drivers were employees of a concrete manufacturing company working at various company plants throughout Israel. Seventy were professional mixer truckers and 27 were tip-truckers. The participants completed the Reckless Driving Self-Report Scale based on Taubman Ben-Ari et al. [Taubman Ben-Ari, O., Florian, V., Mikulincer, M., 1999. The impact of mortality salience on reckless driving: a test of terror management mechanisms. Journal of Personality and Social Psychology 76, 35-45], adapted for truck drivers for this study. It was expected that non-professional, as compared to professional (truck) drivers, would be more permissive regarding reckless driving, since driving risks are less prominent in their daily driving experience. An ANOVA performed on mean reckless-driving scores yielded significant results. The post hoc Schéffe test indicated significantly higher reckless-driving scores for automobile drivers as compared to both mixer-truck driver scores and tip-truck driver scores. In addition, the reckless-driving scores for mixer-truck drivers were significantly higher than the tip-truck driver scores. We discuss various explanations for the findings and consider possible implications for training strategies in organizations as well as for media campaigns focused on mutual safe road use of truck drivers and private vehicle drivers.     

Design and characterization of optical heads for interferometric ballistic velocity measurements

The design of optical fiber based heads offering high accuracy and bandwidth for use in VISAR (velocity interferometer system for any reflector) experiments measuring ballistic velocities is described. A new, expanded, model for predicting the distance-dependent collection efficiency of the heads is presented. The model is shown to agree very well with experimental results, both within and outside the "depth of field". Various optical heads are demonstrated, to suit different experimental setups and conditions. Designs offering options for high bandwidths, accurate prealignment, and large stand-off distances are discussed. Results from a typical VISAR experiment are presented, verifying that our designs yield high-quality data.