Understanding the relative evolutionary importance of parasites to different host taxa is problematic because the expression of disease and resistance are often confounded by factors such as host age and condition. The antibiotic-producing metapleural glands of ants are a potentially useful exception to this rule because they are a key first-line defense that are fixed in size in adults. Here w...

In this paper the authors present a case study from the woodprocessing industry. It focuses on a cutting process in which material from stock is cut down in order to provide the items required by the customers in the desired qualities, sizes, and quantities. In particular, two aspects make this cutting process special. Firstly, the cutting process is strongly interdependent with a preceding han...

We present a tree-search algorithm for two-dimensional cutting problems in which there is a constraint on the maximum number of each type of piece that is to be produced. The algorithm limits the size of the tree search by deriving and imposing necessary conditions for the cutting pattern to be optimal. A dynamic programming procedure for the solution of the unconstrained problem and a node eva...

We study the space complexity of the cutting planes proof system, in which the lines in a proof are integral linear inequalities. We measure the space used by a refutation as the number of linear inequalities that need to be kept on a blackboard while verifying it. We show that any unsatisfiable set of linear inequalities has a cutting planes refutation in space five. This is in contrast to the...

It is well known that the linear extension majority (LEM) relation of a poset of size n ≥ 9 can contain cycles. In this paper we are interested in obtaining minimum cutting levels αm such that the crisp relation obtained from the mutual rank probability relation by setting to 0 its elements smaller than or equal to αm, and to 1 its other elements, is free from cycles of length m. In a first par...

We propose three diierent physical models based on linear elasticity theory and nite-elements modeling that are well-suited for surgery simulation. The rst model combines pre-computed deformations to deform in real-time large size meshes but does not allow any topo-logical changes to the mesh. The second model is similar to the spring-mass models where volumetric deformations and cutting operat...

The paper presents results of an analysis of acoustic emission (AE) signals obtained during laser cutting of a steel plate, which is frequently used in the production of automotive body components. The acoustic emission in the plate, which is produced by various physical phenomena occurring during the laser cutting process, was measured with contact PZT sensors. During the laser cutting process...