Bargaining over the division of a shrinking pie: An axiomatic approach

The Bargaining Problem paradigm is extended to time-consuming conflict situations. Such a situation can be represented by a chain of bargaining domains, each representing the conflict at a different point in time. The solution function selects a point in the union of all these domains. We characterize a solution function which satisfies several requirements and explore its properties. One of the results is that an extension of the Adding requirement (Thomson-Myerson 1980) is enough, under some conditions, to yield a solution point, so there is no need to extend the stronger requirements of Independence of Irrelevant Alternatives (Nash 1950) or Monotonicity (Kalai-Smorodinsky 1975).     

Optimization of the synthesis of non-symmetrical alkyl dimethyl sulfonium halides

This work is aimed at the optimization of the yield and purity of non-symmetrical trialkyl sulfonium halide salts. The effects of parameters such as solvent, temperature and concentration were studied. The products were carefully analyzed and the crystal structure of [{n-CH₃(CH₂)₁₅}(CH₃)₂S]Br determined. The overall aim of the present study is future syntheses of low-dimensional magnetic materials.     

Crystal dissolution kinetics and Gibbs free energy

The dependence of dissolution rates on the difference of Gibbs free energy is of critical importance for our understanding of crystal dissolution, reactive flow models and their applications to a variety of environmentally related problems. Here, we review experimental data generated with mineral powders and single crystals to develop a better understanding of apparent inconsistencies between otherwise internally consistent data sets. Additional information from direct surface observations and measurements with vertical scanning interferometry (VSI) and atomic force microscopy (AFM) of albite dissolution at 25, 150 and 185 °C may shed new light on this old but unsolved question. Our discussion is based on the importance of etch pit development, its ΔG dependence, and the pits’ role as a source for steps and step movement in the dissolution process. Results indicate that reaction history may be of critical importance in determining the overall reaction mechanism and its rate. Different rates are observed for systems having otherwise identical ΔG_r acquired from increasing versus decreasing disequilibrium positions.

In this context, we finally discuss the validity of the common application of transition state theory (TST) to elementary and overall reactions governing the dissolution process. In this discussion of crystal dissolution, we contrast TST applications with a stochastic, many-body treatment that has led to the development of a stepwave model. This discussion also focuses on the controversy caused by the rivalry between surface adsorption models and a probabilistic model that seeks to incorporate the full three-dimensional crystal structure.     

Approximating schedules for dynamic process graphs efficiently

A model for parallel and distributed programs, the dynamic process graph (DPG), is investigated under graph-theoretic and complexity aspects. Such graphs embed constructors for parallel programs, synchronization mechanisms as well as conditional branches. They are capable of representing all possible executions of a parallel or distributed program in a very compact way. The size of this representation can be as small as logarithmic with respect to the size of any execution of the program.

In a preceding paper [A. Jakoby, et al., Scheduling dynamic graphs, in: Proc. 16th Symposium on Theoretical Aspects in Computer Science STACS'99, LNCS, vol. 1563, Springer, 1999, pp. 383–392] we have analysed the expressive power of the general model and various variants of it. We have considered the scheduling problem for DPGs given enough parallelism taking into account communication delays between processors when exchanging data. Given a DPG the question arises whether it can be executed (that means whether the corresponding parallel program has been specified correctly), and what is its minimum schedule length.

In this paper we study a subclass of dynamic process graphs called -output DPGs, which are appropriate in many situations, and investigate their expressive power. In a previous paper we have shown that the problem to determine the minimum schedule length is still intractable for this subclass, namely this problem is -complete as is the general case. Here we will investigate structural properties of the executions of such graphs. A natural graph-theoretic conjecture that executions must always split into components that are isomorphic to subgraphs turns out to be wrong. We are able to prove a weaker property. This implies a quadratic upper bound on the schedule length that may be necessary in the worst case, in contrast to the general case, where the optimal schedule length may be exponential with respect to the size of the representing DPG. Making this bound constructive, we obtain an approximation to a -complete problem. Computing such a schedule and then executing the program can be done on a parallel machine in polynomial time in a highly distributive fashion.     

Investigating and ordering Quadrilaterals and their analogies in space—problem fields with various aspects

Problem fields with one or two generating problems and possibilities of varying existing problems give a good chance for self-activities of students and can be used for reaching different general aims. In this paper some topics concerning quadrilaterals will be presented. I hope they will animate teachers for more problem orientation in mathematics education. First we will reflect about different types of convex and non-convex quadrilaterals and possibilities of ordering them. Then we focus on middle-quadrilaterals and types of quadrilaterals with special middle-quadrilaterals as well as their logical ordering. Finally we investigate the analogies in space to the parallelogram and its sub-types and order them in the “house of parallelepipeds”.     

Methodological reflections on a three-step-design combining observation,stimulated recall and interview

In this paper a tripartite qualitative design combining abservation, stimulated recall and interview is presented and discussed. This three-step-design makes it possible to get insight into the interaction of internal and external processes when solving mathematical tasks. The data analysis depends on the research question and the methodological approach. In the light of two research projects in mathematics education two different methods of data analysis are presented and methodologically reflected.     

Solution of monotone complementarity problems with locally Lipschitzian functions

The paper deals with complementarity problems CP(F), where the underlying functionF is assumed to be locally Lipschitzian. Based on a special equivalent reformulation of CP(F) as a system of equationsφ(x)=0 or as the problem of minimizing the merit functionΘ=1/2∥Φ∥ ₂ ² , we extend results which hold for sufficiently smooth functionsF to the nonsmooth case. In particular, ifF is monotone in a neighbourhood ofx, it is proved that 0 εδθ(x) is necessary and sufficient forx to be a solution of CP(F). Moreover, for monotone functionsF, a simple derivative-free algorithm that reducesΘ is shown to possess global convergence properties. Finally, the local behaviour of a generalized Newton method is analyzed. To this end, the result by Mifflin that the composition of semismooth functions is again semismooth is extended top-order semismooth functions. Under a suitable regularity condition and ifF isp-order semismooth the generalized Newton method is shown to be locally well defined and superlinearly convergent with the order of 1+p.