Enabling Coarse X-ray Fluorescence Imaging Scans with Enlarged Synchrotron Beam by Means of Mosaic Crystal Defocusing Optics

Trace elements, functionalized nanoparticles and labeled entities can be localized with sub-mm spatial resolution by X-ray fluorescence imaging (XFI). Here, small animals are raster scanned with a pencil-like synchrotron beam of high energy and low divergence and the X-ray fluorescence is recorded with an energy-dispersive detector. The ability to first perform coarse scans to identify regions of interest, followed by a close-up with a sub-mm X-ray beam is desirable, because overall measurement time and X-ray dose absorbed by the (biological) specimen can thus be minimized. However, the size of X-ray beams at synchrotron beamlines is usually strongly dependent on the actual beamline setup and can only be adapted within specific pre-defined limits. Especially, large synchrotron beams are non-trivial to generate. Here, we present the concept of graphite-based, convex reflection optics for the one-dimensional enlargement of a 1 mm wide synchrotron beam by a factor of 5 to 10 within a 1 m distance. Four different optics are tested and characterized and their reflection properties compared to ray tracing simulations. The general shape and size of the measured reflection profiles agree with expectations. Enhancements with respect to homogeneity and efficiency can be expected with improved optics manufacturing. A mouse phantom is used for a proof-of-principle XFI experiment demonstrating the applicability of coarse and fine scans with the suggested optics design.     

The Routineness of Routines: Measuring Rhythms of Media Interaction

The routines of information work are commonplace yet difficult to characterize. Although cognitive models have successfully characterized routine tasks within which there is little variation, a large body of ethnomethodological research has identified the inherent nonroutineness of routines in information work. We argue that work does not fall into discrete classes of routine versus nonroutine; rather, task performance lies on a continuum of routineness, and routineness metrics are important to the understanding of workplace multitasking.

In a study of 10 information workers shadowed for 3 whole working days each, we utilize the construct of working sphere to model projects/tasks as a network of humans and artifacts. Employing a statistical technique called T-pattern analysis, we derive measures of routineness from these real-world data. In terms of routineness, we show that information workers experience archetypes of working spheres. The results indicate that T-patterns of interactions with information and computational media are important indicators of facets of routineness and that these measures are correlated with workers' affective states. Our results are some of the first to demonstrate how regular temporal patterns of media interaction in tasks are related to stress. These results suggest that designs of systems to facilitate so-called routine work should consider the degrees to which a person's working spheres fall along varying facets of routineness.     

Models and emerging trends of concurrent constraint programming

Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems. It models systems of agents communicating by posting and querying partial information, represented as constraints over the variables of the system. This covers a vast variety of systems as those arising in biological phenomena, reactive systems, net-centric computing and the advent of social networks and cloud computing. In this paper we survey the main applications, developments and current trends of CCP.     

On the proper characterization of tooling motions and initial conditions in powder die compaction modeling

The present paper is concerned with the finite element modeling of Powder Metallurgy (P/M) cold die compaction process. Rather than on material constitutive theories or on numerical algorithmic issues, attention is confined exclusively on an scarcely addressed issue in the P/M modeling literature: the proper characterization of the boundary (tooling motions) and initial conditions of the problem. A case study of the compaction of an axially symmetric multilevel adapter in an advanced CNC press machine is used to convey the relevance of the accurate representation of these input data in the quality of model predictions. It is shown that unawareness or deliberate simplification of apparently insignificant details in this respect may cause errors far overshadowing those introduced by deficiencies in either the constitutive model or in the corresponding algorithmic solution procedure. The discussion of this case study serves also to provide useful modeling guidelines; illustrate frequent difficulties, as the unavailability of some information when guessing starting conditions; and reveal subtle, yet relevant for modeling purposes, technical details of advanced CNC press machines.     

保存平民记忆的博物馆

要证实哪个国家的博物馆的密度最高是很困难的,因为这在很大程度上取决于所使用的标准。然而,荷兰确实进入了世界前10名的行列。——荷兰博物馆学家彼得·冯·门斯奇     

On the formalization and reuse of scientific research

The reuse of scientific knowledge obtained from one investigation in another investigation is basic to the advance of science. Scientific investigations should therefore be recorded in ways that promote the reuse of the knowledge they generate. The use of logical formalisms to describe scientific knowledge has potential advantages in facilitating such reuse. Here, we propose a formal framework for using logical formalisms to promote reuse. We demonstrate the utility of this framework by using it in a worked example from biology: demonstrating cycles of investigation formalization [F] and reuse [R] to generate new knowledge. We first used logic to formally describe a Robot scientist investigation into yeast (Saccharomyces cerevisiae) functional genomics [f₁]. With Robot scientists, unlike human scientists, the production of comprehensive metadata about their investigations is a natural by-product of the way they work. We then demonstrated how this formalism enabled the reuse of the research in investigating yeast phenotypes [r₁ = R(f₁)]. This investigation found that the removal of non-essential enzymes generally resulted in enhanced growth. The phenotype investigation was then formally described using the same logical formalism as the functional genomics investigation [f₂ = F(r₁)]. We then demonstrated how this formalism enabled the reuse of the phenotype investigation to investigate yeast systems-biology modelling [r₂ = R(f₂)]. This investigation found that yeast flux-balance analysis models fail to predict the observed changes in growth. Finally, the systems biology investigation was formalized for reuse in future investigations [f₃ = F(r₂)]. These cycles of reuse are a model for the general reuse of scientific knowledge.