A graph-theoretic approach to modeling metabolic pathways

Summary The metabolic pathways of medazepam, oxazepam, and diazepam were modeled using graph-theoretic transforms which are incorporable into computer-assisted metabolic analysis programs. The information, represented in the form of a graph-theoretic transform kit, which was obtained from these pathways was then used to predict the metabolites of other benzodiazepine compounds. The transform kits gave statistically significant predictions with respect to a statistical method for evaluating the performance of the transform kits.     

The harmonic consistency index for the analytic hierarchy process

A new consistency measure, the harmonic consistency index, is obtained for any positive reciprocal matrix in the analytic hierarchy process. We show how this index varies with changes in any matrix element. A tight upper bound is provided for this new consistency measure when the entries of matrix are at most 9, as is often recommended. Using simulation, the harmonic consistency index is shown to give numerical values similar to the standard consistency index but it is easier to compute and interpret. In addition, new properties of the column sums of reciprocal matrices are obtained.     

Local algorithms in exterior tomography

Exterior tomographic data are taken over lines outside a central region, and such data occur in the industrial nondestructive evaluation of large objects such as rockets. We explain, using microlocal analysis, which singularities are well reconstructed from exterior data, and we explain how this phenomenon is reflected in the singular value decomposition for the exterior transform [E.T. Quinto, Singular value decompositions and inversion methods for the exterior Radon transform and a spherical transform, J. Math. Anal. Appl. 95 (1983) 437–448]. We extend Lambda Tomography to exterior data and to limited angle exterior data. The algorithm is tested on industrial data from Perceptics, Inc.     

Circadian synchrony in networks of protein rhythm driven neurons

The interaction between gene activation and cellular activity has recently emerged as a critical aspect of brain behavior, but the dynamics of networks incorporating these interactions are poorly understood. An interesting phenomena arises when the genetic activation oscillates endogenously and a network of such cells synchronize to a coherent rhythm, such as is the case with the suprachiasmatic nucleus. To explain this synchronization, we propose a model in which a mRNA/protein expression cycle drives neurons electrical activity, and synaptic activation shifts the phase of the protein rhythm. Using lattice networks, we demonstrate that these interactions are sufficient to generate coherent oscillation. © 2006 Wiley Periodicals, Inc. Complexity 12: 67–72, 2006     

A note on scheduling to meet two min-sum objectives

We consider a single machine scheduling problem with two min-sum objective functions: the sum of completion times and the sum of weighted completion times. We propose a simple polynomial time (1+(1/γ),1+γ)-approximation algorithm, and show that for γ>1, there is no (x,y)-approximation with 1<x<1+(1/γ) and 1<y<1+(γ-1)/(2+γ).     

Linear matrix inequality representation of sets

This article concerns the question, Which subsets of ?^m can be represented with linear matrix inequalities (LMIs)? This gives some perspective on the scope and limitations of one of the most powerful techniques commonly used in control theory. Also, before having much hope of representing engineering problems as LMIs by automatic methods, one needs a good idea of which problems can and cannot be represented by LMIs. Little is currently known about such problems. In this article we give a necessary condition that we call “rigid convexity,” which must hold for a set ?? ? ?^m in order for ?? to have an LMI representation. Rigid convexity is proved to be necessary and sufficient when m = 2. This settles a question formally stated by Pablo Parrilo and Berndt Sturmfels in [15]. As shown by Lewis, Parillo, and Ramana [11], our main result also establishes (in the case of three variables) a 1958 conjecture by Peter Lax on hyperbolic polynomials. © 2006 Wiley Periodicals, Inc.     

Exploring the Link Between Preservice Teachers' Conception of Proof and the Use of Dynamic Geometry Software

This case study investigated how secondary preservice mathematics teachers perceive the need for and the benefits of formal proof when given geometric tasks in the context of dynamic geometry software. Results indicate that preservice teachers are concerned that after using dynamic software high school students will not see the need for proofs. The participants stated that multiple examples are not equivalent to a proof but, nonetheless, questioned the value of formal proof for high school students. Finally, preservice teachers found the greatest value of geometric software to be in helping students understand key relationships within a problem or theorem. Participants also tended to study a problem more deeply with the software than without it.