Jag beskriver här i korthet datoröversättningssystemet Distributed Language Translation (DLT) och tar i samband med detta upp Nordens språk. DLT är ett omfattande forskningsoch utvecklingsprojekt som bedrivs av det nederländska softwareföretaget Buro voor Systeemontwikkeling (BSO/Research i Utrecht) med anslag från Nederländernas Ekonomidepanement. Projektet är inne på en än så länge icke-komme...

In this paper we present results of using parallel supercomputers to simulate beam dynamics in next-generation high intensity ion linacs. Our approach uses a three-dimensional space charge calculation with six types of boundary conditions. The simulations use a hybrid approach involving transfer maps to treat externally applied fields (including rf cavities) and parallel particle-in-cell techni...

In this paper we present a new interactive tool for computing orthogonal grid drawings of planar graphs. The tool is based on GDToolkit, an object-oriented library of classes for handling graphs and computing their layout. GDToolkit is built on LEDA (an eecient library of data types and algorithms) and currently implements three orthogonal layout methods. Especially, we provide a new branch-and...

Formal verification of complex algorithms is challenging. Verifying their implementations goes beyond the state of the art of current verification tools and proving their correctness usually involves non-trivial mathematical theorems. Certifying algorithms compute in addition to each output a witness certifying that the output is correct. A checker for such a witness is usually much simpler tha...

Using well-defined selection criteria applied to the LEDA galaxy catalogue we have constructed a sample of elliptical galaxies that can be taken to lie in the field. Such criteria can easily be applied to theoretical simulations for direct comparison with observations. The variation of the number of ‘isolated’ ellipticals with selection criteria is also investigated. A preliminary study of the ...

This paper critically examines Jerry Fodor’s latest attacks on evolutionary psychology. Contra Leda Cosmides and John Tooby, Fodor argues (i) there is no reason to think that human cognition is a Darwinian adaptation in the first place, and (ii) there is no valid inference from adaptationism about the mind to massive modularity. However, Fodor maintains (iii) that there is a valid inference in ...

Enhancements have been made to the log-ratio analog front-end electronics based on the Analog Devices 8307 logarithmic amplifier as used on the LEDA accelerator. The dynamic range of greater than 85 dB, has been extended to nearly the full capability of the AD8307 from the previous design of approximately 65 dB through the addition of a 350 MHz band-pass filter, careful use of ground and power ...

Known algorithms for reconstructing a 2-manifold from a point sample in R are naturally based on decisions/predicates that take the geometry of the point sample into account. Facing the always present problem of round-off errors that easily compromise the exactness of those predicate decisions, an exact and robust implementation of these algorithms is far from being trivial and typically requir...

High-affinity antibodies are generated in germinal centers in a process involving mutation and selection of B cells. Information processing in germinal center reactions has been investigated in a number of recent experiments. These have revealed cell migration patterns, asymmetric cell divisions, and cell-cell interaction characteristics, used here to develop a theory of germinal center B cell ...