Comparing Model Checking and Flip-Flop Gates Using EvenKainit

Randomized algorithms [1] and access points, while essential in theory, have not until recently been considered theoretical. in fact, few information theorists would disagree with the im- provement of write-back caches, which embod- ies the structured principles of operating sys- tems. We propose a novel approach for the anal- ysis of spreadsheets, which we call EvenKainit

Using Virtual Observatory techniques to search for Adaptive Optics suitable AGN

Until recently, it has been possible only for nearby galaxies to study the scaling relations between central black hole and host galaxy in detail. Because of the small number densities at low redshift, (luminous) AGN are underrepresented in such detailed studies. The advent of adaptive optics (AO) at large telescopes helps overcoming this hurdle, allowing to reach small linear scales over a wide range in redshift. Finding AO-suitable targets, i.e., AGN having a nearby reference star, and carrying out an initial multiwavelength classification is an excellent use case for the Virtual Observatory. We present our Virtual-Observatory approach to select an AO-suitable catalog of X-ray-emitting AGN at redshifts 0.1<z<1.Comment: 4 pages, 5 figures, submitted to "EURO-VO AIDA workshop: Multiwavelength astronomy and Virtual Observatory", ESAC, Spain, 1-3 Dec. 200

The effect of the wave-current interaction on the wave characteristics in the Belgian coastal area (poster)

In coastal areas, the propagation of wind waves is highly dependent on the bathymetry and the hydrodynamics. The presence of bottom enhances the frictional dissipation of wave energy, wave breaking, high harmonic generation, and wave refraction. The refraction induced by an irregular (and time varying) bathymetry may lead to a number of processes (e.g. convergence or divergence of energy, cross-wave conditions, etc.) and controls the spatial distribution of wave heights. Similarly, the bathymetry dominates the hydrodynamic evolution and shortens the time and spatial scales of variability of the flow. Like bottom gradients, the horizontal current shear may induce a refraction effect on the waves.In the present study, a series of numerical results on the tide/surge/current effect on waves in the Belgian coastal area are presented. It is shown that the inclusion of an inhomogeneous and unsteady current field in the computation of waves modifies the spatial distribution of significant wave heights. Differences of significant wave height in the order of 10% are observed when current and time varying depth are included in the computation. Increasing from the standard 30 degree directional resolution to 10 degree directional resolution (which is considered to account for the complex bathymetry) has a similar impact on the energy distribution in the coastal area. At specific locations (Westhinder and Bol van Heist), qualitative and quantitative agreement is improved when the coupled system is used

Duality in Nondifferentiable Vector Programming

AbstractIn this paper we study the saddle point optimality conditions and Lagrange duality in multiobjective optimization for generalized subconvex-like functions. We obtain results which will allow us to characterize the solutions for multiobjective programming problems from the saddle point conditions and allow us to relate them to the dual problem solutions which will be adequately defined. We also define a new dual problem for the multiobjective programming problem with the special property of being a scalar programming problem