Parameter estimation for a morphochemical reaction-diffusion model of electrochemical pattern formation

The process of electrodeposition can be described in terms of a reaction-diffusion partial differential equation (PDE) system that models the dynamics of the morphology profile and the chemical composition. Here we fit such a model to the different patterns present in a range of electrodeposited and electrochemically modified alloys using PDE constrained optimization. Experiments with simulated data show how the parameter space of the model can be divided into zones corresponding to the different physical patterns by examining the structure of an appropriate cost function. We then use real data to demonstrate how numerical optimization of the cost function can allow the model to fit the rich variety of patterns arising in experiments. The computational technique developed provides a potential tool for tuning experimental parameters to produce desired patterns.     

Efficient multicast search under delay and bandwidth constraints

The issue of a multicast search for a group of users is discussed in this study. Given the condition that the search is over only after all the users in the group are found, this problem is called the Conference Call Search (CCS) problem. The goal is to design efficient CCS strategies under delay and bandwidth constraints. While the problem of tracking a single user has been addressed by many studies, to the best of our knowledge, this study is one of the first attempts to reduce the search cost for multiple users. Moreover, as oppose to the single user tracking, for which one can always reduce the expected search delay by increasing the expected search cost, for a multicast search the dependency between the delay and the search cost is more complicated, as demonstrated in this study. We identify the key factors affecting the search efficiency, and the dependency between them and the search delay. Our analysis shows that under tight bandwidth constraints, the CCS problem is NP-hard. We therefore propose a search method that is not optimal, but has a low computational complexity. In addition, the proposed strategy yields a low search delay as well as a low search cost. The performance of the proposed search strategy is superior to the implementation of an optimal single user search on a group of users. Amotz Bar-Noy received the B.Sc. degree in 1981 in Mathematics and Computer Science and the Ph.D. degree in 1987 in Computer Science, both from the Hebrew University, Israel. From October 1987 to September 1989 he was a post-doc fellow in Stanford University, California. From October 1989 to August 1996 he was a Research Staff Member with IBM T. J. Watson Research Center, New York. From February 1995 to September 2001 he was an associate Professor with the Electrical Engineering-Systems department of Tel Aviv University, Israel. From September 1999 to December 2001 he was with AT research labs in New Jersey. Since February 2002 he is a Professor with the Computer and Information Science Department of Brooklyn College - CUNY, Brooklyn New York. Zohar Naor received the Ph.D. degree in Computer Science from Tel Aviv University, Tel Aviv, Israel, in 2000. Since 2003 he is with the University of Haifa, Israel. His areas of interests include wireless networks, resource management of computer networks, mobility, search strategies, and multiple access protocols.     

Effects of fiber from tropical corn and forage sorghum silages on intake, digestion, and performance of lactating dairy cows

Tropical corn silage was compared with sorghum silage as a basal forage in the diets of high producing dairy cows. Sorghum and tropical corn silages were each included in place of ground corn at incremental concentrations in the experimental diets. Eight separate diets were fed, four diets containing each silage ranging in forage neutral detergent fiber (NDF) from approximately 25 to 31% and ranging in total NDF from approximately 41 to 45%. Diets were arranged in a 2 x 4 factorial design and were fed to lactating cows (n = 24; pretrial mean milk production = 39 kg/d; body weight = 656 kg; and days in milk = 81). As concentrations of dietary NDF increased, intake and milk production decreased linearly. The impact of dietary NDF on intake was greater for diets based on tropical corn silage than for diets based on sorghum silage. Energy intake and milk production were reduced, but cows consumed more fiber when challenged with higher dietary concentrations of fiber. The in vitro rate and extent of digestion of dietary samples were correlated with intake response. The rate of in vitro fiber digestion was slower for samples that contained tropical corn silage than for samples that contained sorghum silage. In vivo digestibility measurements were influenced by intake and dietary composition. Results of this trial indicated that sorghum silage can have equal or slightly greater nutritional value than tropical corn silage when these forages are fed at equal concentrations of dietary fiber.     

Changes in US government procurement policy

‘Shrinking government’ and ‘Empowerment” really mean something in the standards business. New US government policies will sharply curtail the use of “MIL” specifications and standards. This dramatic move offers industry a more active role by creating new ‘performance-based’ standards. This article reviews the US department of Defence (DoD) decision and its expected consequences in the context of Aerospace Fluid Power.     

Constructing Pseudo-Random Permutations with a Prescribed Structure

We show how to construct pseudo-random permutations that satisfy a certain cycle restriction, for example that the permutation be cyclic (consisting of one cycle containing all the elements) or an involution (a self-inverse permutation) with no fixed points. The construction can be based on any (unrestricted) pseudo-random permutation. The resulting permutations are defined succinctly and their evaluation at a given point is efficient. Furthermore, they enjoy a fast forward property, i.e. it is possible to iterate them at a very small cost. Received 10 August 2000 and revised 30 September 2000 Online publication 9 April 2001     

Linguistic Knowledge, Processing Speed, and Metacognitive Knowledge in First- and Second-Language Reading Comprehension: A Componential Analysis.

The authors report results of a study into the role of components of first-language (L1; Dutch) and second-language (L2; English) reading comprehension. Differences in the contributions of components of L1 and L2 reading comprehension are analyzed, in particular processing speed in L1 and L2. Findings indicate that regression weights of the L1 and L2 components are different. Although correlations between most processing speed components and reading comprehension are substantial, there are no unique contributions to the explanation of either L1 or L2 reading comprehension when linguistic and metacognitive knowledge are accounted for. In addition, L1 reading comprehension is shown to have a large contribution to L2 reading comprehension, supporting theories of L1-L2 transfer of reading skills. Results are discussed from a developmental perspective. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Development of adolescent reading comprehension in language 1 and language 2: A longitudinal analysis of constituent components.

This study investigated the relationship between reading comprehension development of 389 adolescents in their dominant language (Language 1 [L1], Dutch) and a foreign language (Language 2 [L2], English). In each consecutive year from Grades 8 through 10, a number of measurements were taken. Students' reading comprehension, their linguistic knowledge (vocabulary and grammar knowledge) and processing efficiency (speed of word recognition and sentence comprehension) in both languages, and their metacognitive knowledge about reading were assessed. The relative strengths of the effects of these components of reading were analyzed to distinguish among 3 hypotheses about the relationship between L1 and L2 reading comprehension: the transfer hypothesis, the threshold hypothesis, and the processing efficiency hypothesis. The transfer hypothesis predicts a strong relationship between L1 and L2 reading comprehension and a strong effect of metacognitive knowledge on L2 reading comprehension, whereas the threshold and processing efficiency hypotheses predict a more important role of language-specific knowledge and processing skills. Results support the transfer hypothesis, although language-specific knowledge and fluency also contribute to L2 reading performance. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Comparative evaluation of platforms for parallel Ant Colony Optimization

The rapidly growing field of nature-inspired computing concerns the development and application of algorithms and methods based on biological or physical principles. This approach is particularly compelling for practitioners in high-performance computing, as natural algorithms are often inherently parallel in nature (for example, they may be based on a “swarm”-like model that uses a population of agents to optimize a function). Coupled with rising interest in nature-based algorithms is the growth in heterogenous computing; systems that use more than one kind of processor. We are therefore interested in the performance characteristics of nature-inspired algorithms on a number of different platforms. To this end, we present a new OpenCL-based implementation of the Ant Colony Optimization algorithm, and use it as the basis of extensive experimental tests. We benchmark the algorithm against existing implementations, on a wide variety of hardware platforms, and offer extensive analysis. This work provides rigorous foundations for future investigations of Ant Colony Optimization on high-performance platforms.     

Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification

This paper introduces the notion of distributed verification without preprocessing. It focuses on the Minimum-weight Spanning Tree (MST) verification problem and establishes tight upper and lower bounds for the time and message complexities of this problem. Specifically, we provide an MST verification algorithm that achieves simultaneously $\tilde{O}(m)$ messages and $\tilde{O}(\sqrt{n} + D)$ time, where m is the number of edges in the given graph G, n is the number of nodes, and D is G’s diameter. On the other hand, we show that any MST verification algorithm must send $\tilde{\varOmega}(m)$ messages and incur $\tilde{\varOmega}(\sqrt{n} + D)$ time in worst case. Our upper bound result appears to indicate that the verification of an MST may be easier than its construction, since for MST construction, both lower bounds of $\tilde{\varOmega}(m)$ messages and $\tilde{\varOmega}(\sqrt{n} + D)$ time hold, but at the moment there is no known distributed algorithm that constructs an MST and achieves simultaneously $\tilde{O}(m)$ messages and $\tilde{O}(\sqrt{n} + D)$ time. Specifically, the best known time-optimal algorithm (using ${\tilde{O}}(\sqrt {n} + D)$ time) requires O(m+n ^3/2) messages, and the best known message-optimal algorithm (using ${\tilde{O}}(m)$ messages) requires O(n) time. On the other hand, our lower bound results indicate that the verification of an MST is not significantly easier than its construction.     

Compact separator decompositions in dynamic trees and applications to labeling schemes

This paper presents an efficient scheme maintaining a separator decomposition representation in dynamic trees using asymptotically optimal labels. In order to maintain the short labels, the scheme uses relatively low message complexity. In particular, if the initial dynamic tree contains only the root, then the scheme incurs an O(log⁴ n) amortized message complexity per topology change, where n is the current number of vertices in the tree. As a separator decomposition is a fundamental decomposition of trees used extensively as a component in many static graph algorithms, our dynamic scheme for separator decomposition may be used for constructing dynamic versions to these algorithms. The paper then shows how to use our dynamic separator decomposition to construct efficient labeling schemes on dynamic trees, using the same message complexity as our dynamic separator scheme. Specifically, we construct efficient routing schemes on dynamic trees, for both the designer and the adversary port models, which maintain optimal labels, up to a multiplicative factor of O(log log n). In addition, it is shown how to use our dynamic separator decomposition scheme to construct dynamic labeling schemes supporting the ancestry and NCA relations using asymptotically optimal labels, as well as to extend a known result on dynamic distance labeling schemes. Supported in part at the Technion by an Aly Kaufman fellowship. Supported in part by a grant from the Israel Science Foundation.