In this article we study optimization problems ruled by α-fractional diffusion operators with volume constrains. By means of penalization techniques we prove existence of solutions. We also show that every solution is locally of class C0,α (optimal regularity), and that the free boundary is a C1,α surface, up to a Hn−1-negligible set.

BANE (the Berkeley Analysis Engine) is a publicly available toolkit for constructing type-and constraint-based program analyses. 1 We describe the goals of the project, the rationale for BANE's overall design, some examples coded in BANE, and brieey compare BANE with other program analysis frameworks.

In this paper the effect of site conditions, which are Altitude, Temperature and Relative Humidity and also Heat Dissipation Capacity are investigated on the optimized design of natural draft dry cooling towers with specific kind of heat exchangers, known as Forgo T60 type. A genetic algorithm program has been developed for optimized design of these cooling towers. Objective function includes b...

This memo describes the software engineering and technical details of the design and implementation of the wvrgcal program and associated libraries. This program performs off-line correction of atmospheric phase fluctuations in ALMA observations, using the 183 GHz Water Vapour Radiometers (WVRs) installed on the ALMA 12 m dishes. The memo can be used as a guide for detailed study of the source ...

In restructuring legacy code it may be useful to introduce a design pattern in order to add clarity to the system and thus facilitate further program evolution. We show that aspects of this transformation can be automated and present a nascent high-level language for describing transformations that introduce design patterns. The role of preconditions in preserving program behaviour during this ...

Much of the power of the UNIX operating system comes from a style of program design that makes programs easy to use and, more important, easy to combine with other programs. This style has been called the use of software tools, and depends more on how the programs fit into the programming environment how they can be used with other programs than on how they are designed internally. But as the s...

The great challenge in parallel computing is to make a task of programming parallel machines easy while not sacriicing the eeciency of target code. One of the successful methodologies is to start from a high-level speciication of the functional behaviour of a program by applying a sequence of optimising transformations tuned for a particular architecture to generate a spec-iication of the opera...

Parallel programming is difficult, thus design patterns. Despite rapid advances in parallel hardware performance, the full potential of processing power is not being exploited in the community for one clear reason: difficulty of designing parallel software. Identifying tasks, designing parallel algorithm, and managing the balanced load among the processing units has been a daunting task for nov...

SPROUT is an interactive computer system for structure based molecular design. The system consists of several modules that address the different subproblems of structure based drug design. This paper describes the visualisation techniques applied in the program: the display of the novel (geometric region) representation of the interaction sites and the molecular surface display based on a 3D gr...

In 1998 the Stan Ackermans Institute at the Technical University Eindhoven (TU/e), the Netherlands, founded the User System Interaction (USI) Design Program. It is a two-year post-master program leading to the degree of `Master of Technological Design` (MTD). This USI design program requires an internationally recognized master degree or equivalent professional qualification. The content of the...