Subquadratic Algorithms for 3SUM

We obtain subquadratic algorithms for 3SUM on integers and rationals in several models. On a standard word RAM with w-bit words, we obtain a running time of . In the circuit RAM with one nonstandard AC ⁰ operation, we obtain . In external memory, we achieve O(n ²/(MB)), even under the standard assumption of data indivisibility. Cache-obliviously, we obtain a running time of . In all cases, our speedup is almost quadratic in the “parallelism” the model can afford, which may be the best possible. Our algorithms are Las Vegas randomized; time bounds hold in expectation, and in most cases, with high probability.     

A knowledge-based approach to manage information systems interoperability

Interoperability is a key property of enterprise applications, which is hard to achieve due to the large number of interoperating components and semantic heterogeneity. The inherent complexity of interoperability problems implies that there exists no silver bullet to solve them. Rather, the knowledge about how to solve wicked interoperability problems is hidden in the application cases that expose those problems. The paper addresses the question of how to organise and use method knowledge to resolve interoperability problems. We propose the structure of a knowledge-based system that can deliver situation-specific solutions, called method chunks. Situational Method Engineering promotes modularisation and formalisation of method knowledge in the form of reusable method chunks, which can be combined to compose a situation-specific method. The method chunks are stored in a method chunk repository. In order to cater for management and retrieval, we introduce an Interoperability Classification Framework, which is used to classify and tag method chunks and to assess the project situation in which they are to be used. The classification framework incorporates technical as well as business and organisational aspects of interoperability. This is an important feature as interoperability problems typically are multifaceted spanning multiple aspects. We have applied the approach to analyse an industry case from the insurance sector to identify and classify a set of method chunks.     

Learning to Locate Informative Features for Visual Identification

Object identification is a specialized type of recognition in which the category (e.g. cars) is known and the goal is to recognize an object’s exact identity (e.g. Bob’s BMW). Two special challenges characterize object identification. First, inter-object variation is often small (many cars look alike) and may be dwarfed by illumination or pose changes. Second, there may be many different instances of the category but few or just one positive “training” examples per object instance. Because variation among object instances may be small, a solution must locate possibly subtle object-specific salient features, like a door handle, while avoiding distracting ones such as specular highlights. With just one training example per object instance, however, standard modeling and feature selection techniques cannot be used. We describe an on-line algorithm that takes one image from a known category and builds an efficient “same” versus “different” classification cascade by predicting the most discriminative features for that object instance. Our method not only estimates the saliency and scoring function for each candidate feature, but also models the dependency between features, building an ordered sequence of discriminative features specific to the given image. Learned stopping thresholds make the identifier very efficient. To make this possible, category-specific characteristics are learned automatically in an off-line training procedure from labeled image pairs of the category. Our method, using the same algorithm for both cars and faces, outperforms a wide variety of other methods.     

Neck postures in air traffic controllers with and without neck/shoulder disorders

Prolonged computer work with an extended neck is commonly believed to be associated with an increased risk of neck-shoulder disorders. The aim of this study was to compare neck postures during computer work between female cases with neck-shoulder disorders, and healthy referents. Based on physical examinations, 13 cases and 11 referents were selected among 70 female air traffic controllers with the same computer-based work tasks and identical workstations. Postures and movements were measured by inclinometers, placed on the forehead and upper back (C7/Th1) during authentic air traffic control. A recently developed method was applied to assess flexion/extension in the neck, calculated as the difference between head and upper back flexion/extension. Results: cases and referents did not differ significantly in neck posture (median neck flexion/extension: -10 degrees vs. -9 degrees ; p=0.9). Hence, the belief that neck extension posture is associated with neck-shoulder disorders in computer work is not supported by the present data.     

Additives in finnish sausges and other meat products

Additives such as sodium nitrate, potassium nitrate, sodium nitrite, phosphates and sodium chloride in sausages and various meat products were examined. Nitrate, nitrite and phosphate concentrations were below the maximum permitted levels, but most of the samples examined contained large amounts of sodium chloride and were thus "extra salted". Sausage factories should lower the salt concentrations in their products.     

Estimating shear properties of walnut wood: a combined experimental and theoretical approach

In this study, several theoretical models to numerically estimate shear properties of orthotropic materials are introduced. These approaches are based on the combination of Hankinson’s empirically derived formula with other empirical and analytical calculations. Next to shear moduli, which are estimated from the elastic moduli and Poisson’s ratios, shear strengths are also estimated from the in-axis strengths. The models are validated by mechanical tests on walnut wood (Juglans regia L.), for which a sufficient data set can be found in literature. The Arcan test is used to estimate the shear moduli, while the shear block test is used to estimate the shear strengths. The results show that the model, which is based on a combined use of Hankinson’s formula and tensor rotation, gives the best estimation of shear moduli as evaluated by the minimum differences to the experimentally obtained results. For the shear strengths, a combination of Hankinson’s formula and Norris’ failure criterion shows the best agreement in comparison to the experimental data. The theoretical calculations may be used for a time efficient estimation of shear modulus and strength in comparison to the very time-consuming experimental estimation.     

On computational homogenization of microscale crack propagation

The effective response of microstructures undergoing crack propagation is studied by homogenizing the response of statistical volume elements (SVEs). Because conventional boundary conditions (Dirichlet, Neumann and strong periodic) all are inaccurate when cracks intersect the SVE boundary, we herein use first order homogenization to compare the performance of these boundary conditions during the initial stage of crack propagation in the microstructure, prior to macroscopic localization. Using weakly periodic boundary conditions that lead to a mixed formulation with displacements and boundary tractions as unknowns, we can adapt the traction approximation to the problem at hand to obtain better convergence with increasing SVE size. In particular, we show that a piecewise constant traction approximation, which has previously been shown to be efficient for stationary cracks, is more efficient than the conventional boundary conditions in terms of convergence also when crack propagation occurs on the microscale. The performance of the method is demonstrated by examples involving grain boundary crack propagation modelled by conventional cohesive interface elements as well as crack propagation modelled by means of the extended finite element method in combination with the concept of material forces. © 2016 The Authors. International Journal for Numerical Methods in Engineering Published by John Wiley & Sons Ltd.     

The mitigation hierarchy upside down – a study of nature protection measures in Danish infrastructure projects

This paper presents a Danish study of mitigation directed at nature protection in environmental impact assessment (EIA) of infrastructure projects. The study is based on a document analysis of EIA reports, a workshop held with EIA professionals, and a study of two cases. The paper takes a point of departure in the mitigation hierarchy as a central conceptual framework, identifies which mitigation measures have been suggested in the EIA reports, and compares this to the mitigation hierarchy. Further, the paper explores the dynamics behind which mitigation measures are chosen and later implemented. The findings point to a discrepancy between the prevention principle embedded in the mitigation hierarchy and the actual EIA practice with increased use of nature compensation. Further, the research reveals significant variation in the design of mitigation measures, e.g. in the level of detail used in describing them and the level of clarity as to aims and actions.