A column generation approach for the timetabling problem of Greek high schools

A column generation (CG) approach for the solution of timetabling problems is presented. This methodology could be used for various instances of the timetabling problem, although in this paper the solution of the high-school situation in Greece is presented. The results obtained show clearly that the CG approach that has been extremely successful in recent years in the solution of airline crew scheduling problems could also be very efficient and robust for the solution of timetabling problems. Several large timetabling problems corresponding to real problems have been successfully solved, with the solutions obtained feasible and of very high quality in accordance with the problem definition. In addition, none of the solutions contained any idle hour for any of the teachers, which was one of the main goals of this optimization effort.     

Use of anion-exchange high-performance liquid chromatography for the study of smooth muscle myosin light-chain kinase and its catalytic domain

Avian myosin light-chain kinase from smooth muscle of the gizzard and its catalytic domain, derived from the intact enzyme by trypsin digestion, was purified within 30-40 min by both analytical and preparative anion-exchange high-performance liquid chromatography. The proteins obtained were more than 95% pure and retained their biological activity. The high-performance anion-exchange chromatography protocols represent a significant decrease in purification time when compared with conventional ion-exchange chromatography.     

Asymptotics of Dirichlet Spectrum on Some Class of Noncompact Domains

We investigate the asymptotic behaviour of the counting function of Dirichlet eigenvalues on some class of noncompact manifolds. We prove that in cases when the volume or the perimeter (the volume of the boundary) of the manifold is infinite, some additional (nonclassical) terms appear in the precise asymptotics. The coefficients at the classical terms in those are regularized in some special way volume (resp. perimeter) of the manifold.     

Mathematical and numerical analysis of a simplified time-dependent viscoelastic flow

A time-dependent model corresponding to an Oldroyd-B viscoelastic fluid is considered, the convective terms being disregarded. Global existence in time is proved in Banach spaces provided the data are small enough, using the implicit function theorem and a maximum regularity property for a three fields Stokes problem. A finite element discretization in space is then proposed. Existence of the numerical solution is proved for small data, so as a priori error estimates, using again an implicit function theorem. Supported by the Swiss National Science Foundation. Fellowship PBEL2–114311.     

Separating points of measures on effect algebras

We prove the existence of separating points for every countable family of nonatomic σ-additive modular measures on a σ-complete lattice ordered effect algebra.      

Hille and Nehari type criteria for third-order dynamic equations

In this paper, we extend the oscillation criteria that have been established by Hille [E. Hille, Non-oscillation theorems, Trans. Amer. Math. Soc. 64 (1948) 234-252] and Nehari [Z. Nehari, Oscillation criteria for second-order linear differential equations, Trans. Amer. Math. Soc. 85 (1957) 428-445] for second-order differential equations to third-order dynamic equations on an arbitrary time scale T, which is unbounded above. Our results are essentially new even for third-order differential and difference equations, i.e., when T=R and T=N. We consider several examples to illustrate our results.     

A second order numerical scheme for the solution of the one-dimensional Boussinesq equation

A predictor–corrector (P-C) scheme is applied successfully to a nonlinear method arising from the use of rational approximants to the matrix-exponential term in a three-time level recurrence relation. The resulting nonlinear finite-difference scheme, which is analyzed for local truncation error and stability, is solved using a P-C scheme, in which the predictor and the corrector are explicit schemes of order 2. This scheme is accelerated by using a modification (MPC) in which the already evaluated values are used for the corrector. The behaviour of the P-C/MPC schemes is tested numerically on the Boussinesq equation already known from the bibliography free of boundary conditions. The numerical results are derived for both the bad and the good Boussinesq equation and conclusions from the relevant known results are derived.      

Results of the maximum genus of graphs

In this paper,we provide a new class of up-embeddable graphs,and obtain a tight lower bound on the maximum genus of a class of 2-connected pseudographs of diameter 2 and of a class of diameter 4 multi-graphs.This extends a result of Skoviera.