Access to mathematical knowledge has changed dramatically in recent years, therefore changing mathematical search practices. Our aim with this study is to scrutinize professional mathematicians’ search behavior. With this understanding we want to be able to reason why mathematicians use which tool for what search problem in what phase of the search process. To gain these insights we conducted 2...

Key concepts and geometrical constraints are discussed that allow the construction of a usable bridge that is topological equivalent to a Möbius band. A multi-year search in publications and on the internet for real-world bridges that meet these requirements has not identified a single clean construction that warrants the designation “Möbius bridge,” but a few promising designs can be found. Se...

We present an generator-based approach for efficient design space exploration and high-level synthesis of cryptographic designs. It allows the directed search for new algorithmic variants. The approach combines high-level synthesis features like automated scheduling and allocation with performance considerations down to the register-level which are crucial for the performance of cryptographic d...

We present a new algorithm, sie, for designing lumped parameter models from rst principles. Like the ibis system of Williams [1989, 1990], sie uses a qualitative representation of parameter interactions to guide its search and speed the test for working designs. But sie's interaction set representation is considerably simpler than ibis's space of potential and existing interactions. Furthermore...

The Steiner quadruple systems of order 16 are classified up to isomorphism by means of an exhaustive computer search. The number of isomorphism classes of such designs is 1,054,163. Properties of the designs—including the orders of the automorphism groups and the structures of the derived Steiner triple systems of order 15—are tabulated. A double-counting consistency check is carried out to gai...

We have used extensive V , I photometry (down to V = 20.9) of 33615 stars in the direction of the globular cluster M 55 to study the dynamical interaction of this cluster with the tidal fields of the Galaxy. An entire quadrant of the cluster has been covered, out to ' 1.5 times the tidal radius. A CMD down to about 4 magnitudes below the turn-off is presented and analysed. A large population of...

The experiments presented in this paper explore topics surrounding video information retrieval (IR). This paper will discuss in detail our participation at TRECVID 2004. A video retrieval system named ViewFinder was developed to search and browse the TRECVID 2004 test data, and both manual and interactive search experiments were carried out. Each of the performed search experiments were in agre...

The cross section of the process e+e− → ωπ0 → π0π0γ has been measured in the c.m. energy range 920–1380 MeV with the CMD-2 detector. Its energy dependence is well described by the interference of the ρ(770) and ρ(1450) mesons decaying to ωπ. Upper limits for the cross sections of the direct processes e+e− → π0π0γ, ηπ0γ have been set.

Fractional factorial designs are widely used for designing screening experiments. Nonregular fractional can have better properties than regular designs, but their construction is challenging. Current research on the of nonregular focuses two-level designs. We provide a novel class multilevel by permuting levels develop theory illustrating how be permuted without computer search and accordingly ...

Autonomous systems can be used to search for sparse signals in a large space; e.g., aerial robots can be deployed to localize threats, detect gas leaks, or respond to distress calls. Intuitively, search algorithms may increase efficiency by collecting aggregate measurements summarizing large contiguous regions. However, most existing search methods either ignore the possibility of such region o...