An exercise in structural congruence

Milner's structural congruence is decidable for the pi-calculus without restriction, in exponential space.     

Ozone Contactor Hydrodynamics

Tracer tests were conducted at the 6,000 pounds of ozone per day Tucson, CAP Water Treatment Plant in Tucson, Arizona. The tests were designed to determine T₁₀ values through the contactors at various operating conditions. The tests were modeled using three techniques. Peclet Number was calculated for each of the runs, which would indicate the hydrodynamic conditions inside the ozone contactor. The results indicated that the increase in water flow rate and the number of cells with gas flow increased Peclet Number. The flow rate of liquid seemed to impact the Peclet Number more than gas flow. The headloss in each cell appeared to be important in controlling the distribution of liquid and gas through the cell. A correlation was developed between the product of gas and liquid phase Reynolds Number and Peclet Number.     

Painting-91: a large scale database for computational painting categorization

Computer analysis of visual art, especially paintings, is an interesting cross-disciplinary research domain. Most of the research in the analysis of paintings involve medium to small range datasets with own specific settings. Interestingly, significant progress has been made in the field of object and scene recognition lately. A key factor in this success is the introduction and availability of benchmark datasets for evaluation. Surprisingly, such a benchmark setup is still missing in the area of computational painting categorization. In this work, we propose a novel large scale dataset of digital paintings. The dataset consists of paintings from 91 different painters. We further show three applications of our dataset namely: artist categorization, style classification and saliency detection. We investigate how local and global features popular in image classification perform for the tasks of artist and style categorization. For both categorization tasks, our experimental results suggest that combining multiple features significantly improves the final performance. We show that state-of-the-art computer vision methods can correctly classify 50 % of unseen paintings to its painter in a large dataset and correctly attribute its artistic style in over 60 % of the cases. Additionally, we explore the task of saliency detection on paintings and show experimental findings using state-of-the-art saliency estimation algorithms.     

Tool path generation framework for accurate manufacture of complex 3D sheet metal parts using single point incremental forming

The prototyping of complex sheet metal parts using single point incremental forming (SPIF) requires the generation of optimal tool paths and/or tool path sequences that ensure that the formed part is within geometric design specifications. The presence of a multitude of features on complex parts leads to multiple inaccuracy inducing phenomena occurring simultaneously due to interactions between the features. This paper proposes a network analysis methodology using topological conceptual graphs to capture the effects of different phenomena on the final accuracy of a sheet metal part manufactured by SPIF. Using this framework optimized tool paths can be generated that compensate for the inaccuracy inducing behavior. Tool path generation algorithms to create partial tool paths that account for the accuracy of specific features in the part based on the proposed framework are also presented. Finally, the creation of integrated tool paths maintaining complementarity between tool paths and desired continuity behavior using non-uniform cubic B-splines is illustrated. A number of case studies demonstrating the applicability of the integrated framework are discussed, where the maximum deviations in the part are significantly reduced and the average absolute deviations for the complete part are brought down to less than 0.5 mm.     

Single point incremental forming: state-of-the-art and prospects

Incremental sheet metal forming in general and Single Point Incremental Forming (SPIF) specifically have gone through a period of intensive development with growing attention from research institutes worldwide. The result of these efforts is significant progress in the understanding of the underlying forming mechanisms and opportunities as well as limitations associated with this category of flexible forming processes. Furthermore, creative process design efforts have enhanced the process capabilities and process planning methods. Also, simulation capabilities have evolved substantially. This review paper aims to provide an overview of the body of knowledge with respect to Single Point Incremental Forming. Without claiming to be exhaustive, each section aims for an up-to-date state-of-the-art review with corresponding conclusions on scientific progress and outlook on expected further developments.     

A versatile technology platform for microfluidic handling systems,part II: channel design and technology

Microfluidic devices often require channels of a specific size and shape. These devices are then made in a fabrication process that is often specialized to produce only those (and very similar) channels. As a result, devices requiring channels of different size and shape cannot easily be integrated on the same chip. This paper presents a method to fabricate microfluidic channels in a wide range of shape and size on the same chip by using a slit pattern through which the channels are etched. The fabrication process to fabricate these channels is discussed in detail, and an empirical model is presented to find the optimal slit pattern for a required size and shape. This part of the paper focusses on the channel design and fabrication. Details on the whole fabrication process and optional functionalization of the channels are presented in part I of this paper.     

Vector Space Semantics: A Model-Theoretic Analysis of Locative Prepositions

This paper introduces a compositional semantics of locativeprepositional phrases which is based on a vector space ontology.Model-theoretic properties of prepositions like monotonicity andconservativity are defined in this system in a straightforward way.These notions are shown to describe central inferences with spatialexpressions and to account for the grammaticality of prepositionmodification. Model-theoretic constraints on the set of possibleprepositions in natural language are specified, similar to the semanticuniversals of Generalized Quantifier Theory.