A modular integer GCD algorithm

This paper describes the first algorithm to compute the greatest common divisor (GCD) of two n-bit integers using a modular representation for intermediate values U, V and also for the result. It is based on a reduction step, similar to one used in the accelerated algorithm [T. Jebelean, A generalization of the binary GCD algorithm, in: ISSAC '93: International Symposium on Symbolic and Algebraic Computation, Kiev, Ukraine, 1993, pp. 111–116; K. Weber, The accelerated integer GCD algorithm, ACM Trans. Math. Softw. 21 (1995) 111–122] when U and V are close to the same size, that replaces U by (U−bV)/p, where p is one of the prime moduli and b is the unique integer in the interval (−p/2,p/2) such that . When the algorithm is executed on a bit common CRCW PRAM with O(nlognlogloglogn) processors, it takes O(n) time in the worst case. A heuristic model of the average case yields O(n/logn) time on the same number of processors.     

Finite element modal solutions of planar photonic crystal fibers with rectangular air-holes

Modal solutions of planar photonic crystal waveguides with rectangular air-holes are presented by using a rigorous full-vectorial finite element-based approach. The effective indices, mode field profiles, spot-sizes, power confinements, modal hybridness, beat lengths and group velocity dispersions are shown for the fundamental and higher order modes of the quasi-TE and TM polarizations.     

Characterization of NOx species in dehydrated and hydrated Na- and Ba-Y, FAU zeolites formed in NO2 adsorption

Adsorbed ionic NO_x species formed upon the interaction of NO₂ with dehydrated or hydrated Na- and Ba-Y, FAU zeolites were characterized using FT-IR/TPD, solid state NMR, and XANES techniques. NO₂ disproportionates on both dehydrated catalyst materials forming NO⁺ and NO₃⁻ species. These ionic species are stabilized by their interactions with the negatively charged zeolite framework and the charge compensating cations (Na⁺ and Ba²⁺), respectively. Although the nature of the adsorbed NO_x species formed on the two catalysts is similar, their thermal stabilities are strongly dependent on the charge compensating cations. In the presence of water in the channels of these zeolite materials new paths open for reactions between NO⁺ and H₂O, and NO₂ and H₂O, resulting in significant changes in the adsorbed ionic species observed. These combined spectroscopic investigations afforded the understanding of the interactions between water and NO₂ on these zeolite catalysts.     

Unique satisfiability of Horn sets can be solved in nearly linear time

If a Horn set I has a single satisfying truth assignment or model then that model is said to be unique for I. The question of determining whether a unique model exists for a given Horn set I is shown to be solved in O((L)*L) time, where L is the sum of the lengths of the clauses in I and is the inverse Ackermann function. It is also shown that if LA*log (A) where A is the number of distinct proposition letters then unique satisfiability can be determined in O(L) time.     

Enhancing the Success of African-American Students in the Sciences: Freshman Year Outcomes

The Meyerhoff Program is an intensive, multicomponent program focused on enhancing the success of talented African-American students in science and engineering at a predominantly white, medium-sized university. The program components, taken together, address the four primary factors emphasized in the research literature as limiting minority student performance and persistence in science: knowledge and skills, motivation and support, monitoring and advising, and academic and social integration. Outcome analyses indicated that the first three cohorts of Meyerhoff students (total N=69) achieved an overall GPA (mean=3.5) significantly greater than that of an African-American historical comparison sample (mean=2.8) of comparably talented science students at the university. This difference was even greater for first year science GPA (means of 3.4 and 2.4, respectively), and in specific science and mathematics courses. Observational and questionnaire data indicated that the Meyerhoff program study groups, peerbased community, financial scholarships, summer bridge program and staff appear to be especially important contributors to student success. Implications of the findings for enhancing the success of African-American and other underrepresented populations in science are discussed.     

An economic analysis of microbial reduction of sulfur dioxide as a means of byproduct recovery from regenerable processes for flue gas desulfurization

Applied Biochemistry and Biotechnology - In summary, it appears that the microbial reduction process is clearly not competitive with conventional SO2-reduction techniques when glucose (DE95 corn...     

Optimisation of fault-tolerant fabric-cutting schedules using genetic algorithms and fuzzy set theory

In apparel industry, manufacturers developed standard allowed minutes (SAMs) databases on various manufacturing operations in order to facilitate better scheduling, while effective production schedules ensure smoothness of downstream operations. As apparel manufacturing environment is fuzzy and dynamic, rigid production schedules based on SAMs become futile in the presence of any uncertainty. In this paper, a fuzzification scheme is proposed to fuzzify the static standard time so as to incorporate some uncertainties, in terms of both job-specific and human related factors, into the fabric-cutting scheduling problem. A genetic optimisation procedure is also proposed to search for fault-tolerant schedules using genetic algorithms, such that makespan and scheduling uncertainties are minimised. Two sets of real production data were collected to validate the proposed method. Experimental results indicate that the genetically optimised fault-tolerant schedules not only improve the operation performance but also minimise the scheduling risks.     

Route stability in vehicle routing decisions: a bi-objective approach using metaheuristics

In this paper, we argue that vehicle routing solutions are often tactical decisions, that should not be changed too often or too much. For marketing or other reasons, vehicle routing solutions should be stable, i.e. a new solution (when e.g. new customers require service) should be as similar as possible to a solution already in use. Simultaneously however, this new solution should still have a good quality in the traditional sense (e.g. small total travel cost). In this paper, we develop a way to measure the difference between two vehicle routing solutions. We use this distance measure to create a metaheuristic approach that will find solutions that are “close” (in the solution space) to a given baseline solution and at the same time have a high quality in the sense that their total distance traveled is small. By using this approach, the dispatcher is offered a choice of Pareto-optimal solutions, allowing him to make a trade-off between changing his existing solution and allowing a longer travel distance. Some experiments are performed to show the effectiveness of the approach.