Fully asynchronous stochastic coordinate descent: a tight lower bound on the parallelism achieving linear speedup

Mathematical Programming - We seek tight bounds on the viable parallelism in asynchronous implementations of coordinate descent that achieves linear speedup. We focus on asynchronous coordinate...     

Preliminary studies on a variable energy positron annihilation lifetime spectroscopy system

There are many advantages in being able to perform positron annihilation lifetime spectroscopy (PALS) using a variable energy positron beam, the most obvious being the easy identification of different defect types at different depths. The difficulty in conducting variable energy (VE) PALS studies lies in the fact that a “start” signal is required to signal the entry of the positron into the target. Two methods have been used to overcome this problem, namely the bunching technique, which employs radio frequency (RF) cavities and choppers, and secondly the use of secondary electrons emitted from the target. The latter technique is in terms of experimental complexity much simpler, but has in the past suffered from poor time resolution (typically ∼500 ps). In this work, we present a series of computer simulations of a design based on the secondary electron emission from thin C-foils in transmission mode which shows that significant improvements in time resolution can be made with resolutions ∼200 ps being in principle possible.     

Optimal pricing for a heterogeneous portfolio for a given risk factor and convex distance measure

Consider a portfolio containing heterogeneous risks. The premiums of the policyholders might not cover the amount of the payments which an insurance company pays the policyholders. When setting the premium, this risk has to be taken into consideration. On the other hand the premium that the insured pays has to be fair. This fairness is measured by a function of the difference between the risk and the premium paid—we call this function a distance function. For a given small probability of insolvency, we find the premium for each class, such that the distance function is minimized. Next we formulate and solve the dual problem, which is minimizing the insolvency probability under the constraint that the distance function does not exceed a given level. This paper generalizes a previous paper [Zaks, Y., Frostig, E., Levikson, B., 2006. Optimal pricing of a heterogeneous portfolio for a given risk level. Astin Bull. 36 (1), 161–185] where only a square distance function was considered.     

Probabilistic Analysis of Condition Numbers for Linear Programming

In this paper, we provide bounds for the expected value of the log of the condition number C(A) of a linear feasibility problem given by a n × m matrix A (Ref. 1). We show that this expected value is O(min{n, m log n}) if n > m and is O(log n) otherwise. A similar bound applies for the log of the condition number C _R(A) introduced by Renegar (Ref. 2).     

Quantitative Impact of a Cognitive Modeling Intelligent Tutoring System on Student Performance in Balancing Chemical Equations

The need for improved interactive tutoring capabilities in educational software for chemistry problem solving is an important one clearly articulated by teachers and students. To deliver the next generation of individualized interactive capabilities users demand, it is necessary to go beyond the conventional computer-assisted instruction methodology. The focus of this paper is the assessment with first-semester general chemistry students of a recently developed artificial intelligence (AI) tutor for balancing chemical equations. This is the first such assessment of an AI-based learning tool in chemistry. Students in CHEM 121 in the Fall 2001 semester at Duquesne University (N = 273) participated in the study. Students were divided into a test group that used the AI tutor as part of their study activities and a control group that did not use the tutor. It was found that the tutor improved the performance of the test group students to a statistically significant degree, helping the weakest students the most. This study establishes the feasibility of an AI-based approach to creating advanced new tutoring software for chemistry problem solving. Access to a Web-based demonstration of the equation-balancing tutor may be obtained by emailing the corresponding author.     

Fixed-sign solutions for a system of singular focal boundary value problems

We consider a system of focal boundary value problems where the nonlinearities may be singular in the independent variable and may also be singular in the dependent arguments. Using Schauder fixed point theorem, we establish criteria such that the system of boundary value problems has at least one fixed-sign solution.     

A Ramsey‐type result for the hypercube

We prove that for every fixed k and ? ≥ 5 and for sufficiently large n, every edge coloring of the hypercube Q_n with k colors contains a monochromatic cycle of length 2 ?. This answers an open question of Chung. Our techniques provide also a characterization of all subgraphs H of the hypercube which are Ramsey, that is, have the property that for every k, any k‐edge coloring of a sufficiently large Q_n contains a monochromatic copy of H. © 2006 Wiley Periodicals, Inc. J Graph Theory 53: 196–208, 2006     

Some new nonlinear inequalities and applications to boundary value problems

In this paper, we establish some new nonlinear integral inequalities of the Gronwall–Bellman–Ou-Iang-type in two variables. These on the one hand generalizes and on the other hand furnish a handy tool for the study of qualitative as well as quantitative properties of solutions of differential equations. We illustrate this by applying our new results to certain boundary value problem.     

O− and OH− chemical ionization of some fatty acid methyl esters and triacylglycerols

O^? and OH^? react with fatty acid methyl esters (FAMES) under chemical ionization conditions both as Bronsted bases to form [M - H]^? and as nucleophiles to form the carboxylate ion RCOO^?. O^? shows a much greater tendency to react as a nucleophile than does OH^?. The [M - H]^? ions fragment by elimination of CH³OH, with unsaturation in certain positions in the fatty acid hydrocarbon chain promoting this elimination for unknown reasons. The reaction of O^? and OH^? with triacylglycerols leads to [M - H]^?, characteristic of the molecular mass, and to carboxylate ions characteristic of the fatty acid(s) present in the lipid. The presence of the three ester functions in the lipids greatly enhances the formation of carboxylate ions compared to the FAMES.