Effect of physical vapor deposition metallic thin films on micro injection molded weld line mechanical properties

Micro injection molded polymeric parts coated with functional thin films/layers show off the promising applications in microsystems area. But the unfavorable and unavoidable defect of weld line in micro injection molding part leads to detrimental mechanical and surface properties. The possibility of the functional thin film for enhancing micro injection molded weld lines was investigated. Two typical coating materials (aluminum and titanium) with various film thicknesses (400, 600, 800 nm) were deposited on one side of the micro injection molded weld line tensile sample via physical vapor deposition (PVD) method. The coated micro weld line samples were characterized by tensile tests. The results show that PVD films of aluminum and titanium can reinforce the strength and stiffness of micro injection molded weld line, even at thin thickness levels. But when the film thickness is increasing, the weaker adhesion between metallic films and polymers decreased the PVD films’ enhancing performance for micro weld line mechanical properties due to the degradation of polymers related to longer time exposure under high temperature.     

An information-theoretic framework for visualization

In this paper, we examine whether or not information theory can be one of the theoretic frameworks for visualization. We formulate concepts and measurements for qualifying visual information. We illustrate these concepts with examples that manifest the intrinsic and implicit use of information theory in many existing visualization techniques. We outline the broad correlation between visualization and the major applications of information theory, while pointing out the difference in emphasis and some technical gaps. Our study provides compelling evidence that information theory can explain a significant number of phenomena or events in visualization, while no example has been found which is fundamentally in conflict with information theory. We also notice that the emphasis of some traditional applications of information theory, such as data compression or data communication, may not always suit visualization, as the former typically focuses on the efficient throughput of a communication channel, whilst the latter focuses on the effectiveness in aiding the perceptual and cognitive process for data understanding and knowledge discovery. These findings suggest that further theoretic developments are necessary for adopting and adapting information theory for visualization.     

Model Checking Games for the Quantitative μ-Calculus

We investigate quantitative extensions of modal logic and the modal μ-calculus, and study the question whether the tight connection between logic and games can be lifted from the qualitative logics to their quantitative counterparts. It turns out that, if the quantitative μ-calculus is defined in an appropriate way respecting the duality properties between the logical operators, then its model checking problem can indeed be characterised by a quantitative variant of parity games. However, these quantitative games have quite different properties than their classical counterparts, in particular they are, in general, not positionally determined. The correspondence between the logic and the games goes both ways: the value of a formula on a quantitative transition system coincides with the value of the associated quantitative game, and conversely, the values of quantitative parity games are definable in the quantitative μ-calculus.     

Neue Unabhängigkeit für den betrieblichen Datenschutzbeauftragten?

Der betriebliche Datenschutzbeauftragte dient der Selbstkontrolle der verantwortlichen Stelle. Wirksam ist solch eine Selbstkontrolle aber nur dann, wenn der Datenschutzbeauftragte auch Unabh?gigkeit genie?t. Welche Voraussetzungen hierfür erfüllt sein müssen, erl?utert der folgende Beitrag.     

Adaptive Finite Element Simulation of the Time-dependent Simplified <Emphasis Type="Italic">P</Emphasis><Subscript><Emphasis Type="Italic">N</Emphasis></Subscript> Equations

The steady-state simplified P _N approximation to the radiative transfer equation has been successfully applied to many problems involving radiation. Recently, time-dependent simplified P _N equations have been derived by an asymptotic analysis similar to the asymptotic derivation of the steady-state SP _N equations (Frank et al. in J. Comput. Phys. 226:2289–2305, 2007). In this paper, we present computational results for the time-dependent SP _N equations in two dimensions, obtained by using an adaptive finite element approach. Several numerical comparisons with other existing models are shown.     

A moving threads processor architecture MTPA

Moving threads is a new kind of approach for multicore processor architectures. Traditionally, each thread stays in the core where it is created, and data is moved from the main memory via caches to each core and thread. In the moving threads approach, each core can access only a certain portion of the main memory via its local memory block, and thus extremely lightweight threads are moved between the cores. As a consequence, all kinds of cache coherence problems and need for read reply messages are eliminated. Also Lamport’s sequential consistency of shared memory multiprocessor systems is achieved for free. In this paper, we propose a processor architecture (MTPA) for the moving threads paradigm. We describe the overall structure, operation, instruction set, and thread management mechanism as well as evaluate the proposed architecture with different functional unit settings with simulations and give early silicon area and power consumption estimates.     

BlobFinder, a tool for fluorescence microscopy image cytometry

Images can be acquired at high rates with modern fluorescence microscopy hardware, giving rise to a demand for high-speed analysis of image data. Digital image cytometry, i.e., automated measurements and extraction of quantitative data from images of cells, provides valuable information for many types of biomedical analysis. There exists a number of different image analysis software packages that can be programmed to perform a wide array of useful measurements. However, the multi-application capability often compromises the simplicity of the tool. Also, the gain in speed of analysis is often compromised by time spent learning complicated software. We provide a free software called BlobFinder that is intended for a limited type of application, making it easy to use, easy to learn and optimized for its particular task. BlobFinder can perform batch processing of image data and quantify as well as localize cells and point like source signals in fluorescence microscopy images, e.g., from FISH, in situ PLA and padlock probing, in a fast and easy way.     

Overlap-freeness in infinite partial words

We prove that there exist infinitely many infinite overlap-free binary partial words containing at least one hole. Moreover, we show that these words cannot contain more than one hole and the only hole must occur either in the first or in the second position. We define that a partial word is $k$-overlap-free if it does not contain a factor of the form $xyxyx$ where the length of $x$ is at least $k$. We prove that there exist infinitely many 2-overlap-free binary partial words containing an infinite number of holes.     

Byte code level cross-compilation for developing web applications

JavaScript provides the technological foundation of Web 2.0 applications. AJAX (Asynchronous JavaScript And XML) applications have received wide-spread attention as a new way to develop highly interactive web applications. Breaking with the complete-page-reload paradigm of traditional web applications, AJAX applications rival desktop applications in their look-and-feel. But AJAX places a high burden on a web developer requiring extensive JavaScript knowledge as well as other advanced client-side technologies. In this paper, we introduce a technique that allows a developer to implement an application in Java or any.NET language and then automatically cross-compile it to an AJAX-enabled web application.