Biofunctionalized upconverting CaF<Subscript>2</Subscript>:Yb,Tm nanoparticles for <Emphasis Type="Italic">Candida albicans</Emphasis> detection and imaging

Versatile optimization of the synthesis method and composition of Yb3+ and Tm3+ co-doped CaF2 nanoparticles as well as a novel biofunctionalization method were developed and evaluated.Through multistep synthesis,the luminescence intensity of the Tm3+ activator was enhanced by more than 10-fold compared to standard one-step synthesis.The proposed methods were used to homogenously distribute the doping ions within the nanoparticle's volume and thus reduce luminescence quenching.Optimization of dopant ions concentration led to the selection of the most efficient visible and near-infrared up-converting nanoparticles,which were CaF2 doped with 10％ Yb3+ 0.05％ Tm3+ and 20％ Yb3+ 0.5％ Tm3+,respectively.To illustrate the suitability of the synthesized nanoparticles as bio-labels,a dedicated biofunctionalization method was used,and the nanoparticles were applied for labeling and imaging of Candida albicans cells.This method shows great promise because of extremely low background and high specificity because of the presence of the attached molecules.     

Bamboo reinforced concrete: a critical review

The use of small diameter whole-culm (bars) and/or split bamboo (a.k.a. splints or round strips) has often been proposed as an alternative to relatively expensive reinforcing steel in reinforced concrete. The motivation for such replacement is typically cost—bamboo is readily available in many tropical and sub-tropical locations, whereas steel reinforcement is relatively more expensive—and more recently, the drive to find more sustainable alternatives in the construction industry. This review addresses such ‘bamboo-reinforced concrete’ and assesses its structural and environmental performance as an alternative to steel reinforced concrete. A prototype three bay portal frame, that would not be uncommon in regions of the world where bamboo-reinforced concrete may be considered, is used to illustrate bamboo reinforced concrete design and as a basis for a life cycle assessment of the same. The authors conclude that, although bamboo is a material with extraordinary mechanical properties, its use in bamboo-reinforced concrete is an ill-considered concept, having significant durability, strength and stiffness issues, and does not meet the environmentally friendly credentials often attributed to it.     

On the Structure of Amorphous Mesoporous Silica Nanoparticles by Aberration‐Corrected STEM

Mesoporous silica materials have demonstrated a vast spectrum of applications, stimulating an intensive field of study due to their potential use as nanocarriers. Nonetheless, when produced at the nanoscale, their structural characterization is hindered due to the re‐arrangement of the pores. To address this issue, this work combines molecular dynamics simulations with electron microscopy computer simulations and experimental results to provide an insight into the structure of amorphous mesoporous silica nanoparticles. The amorphous silica model is prepared using a simple melt‐quench molecular dynamics method, while the reconstruction of the mesoporous nanoparticles is carried out using a methodology to avoid false symmetry in the final model. Simulated scanning transmission electron microscopy images are compared with experimental images, revealing the existence of structural domains, created by the misalignment of the pores to compensate the surface tension of these spherical nanoparticles.     

Enterprise networks: The re-engineering of complex software systems

Today technology design can no longer be understood as a design process on a green site. Design and implementation of new technology are always dependent on existing technology and the way it is used by people. In this respect Software-Engineering has also changed to the characteristics of normal technology design taking into account existing computer systems. Experiences show that the conditions and needs of such Software-Reengineering projects are highly complex and differ in their special characteristics ranging from aspects of quality of existing system documentation to organizational structures of the computer departments concerned. The Task-Artifact Cycle presented here gives a suitable reengineering approach emphasizing both analysis and design in Software-Reengineering.     

GPU-based real-time approximation of the ablation zone for radiofrequency ablation

Percutaneous radiofrequency ablation (RFA) is becoming a standard minimally invasive clinical procedure for the treatment of liver tumors. However, planning the applicator placement such that the malignant tissue is completely destroyed, is a demanding task that requires considerable experience. In this work, we present a fast GPU-based real-time approximation of the ablation zone incorporating the cooling effect of liver vessels. Weighted distance fields of varying RF applicator types are derived from complex numerical simulations to allow a fast estimation of the ablation zone. Furthermore, the heat-sink effect of the cooling blood flow close to the applicator's electrode is estimated by means of a preprocessed thermal equilibrium representation of the liver parenchyma and blood vessels. Utilizing the graphics card, the weighted distance field incorporating the cooling blood flow is calculated using a modular shader framework, which facilitates the real-time visualization of the ablation zone in projected slice views and in volume rendering. The proposed methods are integrated in our software assistant prototype for planning RFA therapy. The software allows the physician to interactively place virtual RF applicator models. The real-time visualization of the corresponding approximated ablation zone facilitates interactive evaluation of the tumor coverage in order to optimize the applicator's placement such that all cancer cells are destroyed by the ablation.     

In situ exploration of large dynamic networks

The analysis of large dynamic networks poses a challenge in many fields, ranging from large bot-nets to social networks. As dynamic networks exhibit different characteristics, e.g., being of sparse or dense structure, or having a continuous or discrete time line, a variety of visualization techniques have been specifically designed to handle these different aspects of network structure and time. This wide range of existing techniques is well justified, as rarely a single visualization is suitable to cover the entire visual analysis. Instead, visual representations are often switched in the course of the exploration of dynamic graphs as the focus of analysis shifts between the temporal and the structural aspects of the data. To support such a switching in a seamless and intuitive manner, we introduce the concept of in situ visualization--a novel strategy that tightly integrates existing visualization techniques for dynamic networks. It does so by allowing the user to interactively select in a base visualization a region for which a different visualization technique is then applied and embedded in the selection made. This permits to change the way a locally selected group of data items, such as nodes or time points, are shown--right in the place where they are positioned, thus supporting the user's overall mental map. Using this approach, a user can switch seamlessly between different visual representations to adapt a region of a base visualization to the specifics of the data within it or to the current analysis focus. This paper presents and discusses the in situ visualization strategy and its implications for dynamic graph visualization. Furthermore, it illustrates its usefulness by employing it for the visual exploration of dynamic networks from two different fields: model versioning and wireless mesh networks.     

Coherent Culling and Shading for Large Molecular Dynamics Visualization

Molecular dynamics simulations are a principal tool for studying molecular systems. Such simulations are used to investigate molecular structure, dynamics, and thermodynamical properties, as well as a replacement for, or complement to, costly and dangerous experiments. With the increasing availability of computational power the resulting data sets are becoming increasingly larger, and benchmarks indicate that the interactive visualization on desktop computers poses a challenge when rendering substantially more than millions of glyphs. Trading visual quality for rendering performance is a common approach when interactivity has to be guaranteed. In this paper we address both problems and present a method for high‐quality visualization of massive molecular dynamics data sets. We employ several optimization strategies on different levels of granularity, such as data quantization, data caching in video memory, and a two‐level occlusion culling strategy: coarse culling via hardware occlusion queries and a vertex‐level culling using maximum depth mipmaps. To ensure optimal image quality we employ GPU raycasting and deferred shading with smooth normal vector generation. We demonstrate that our method allows us to interactively render data sets containing tens of millions of high‐quality glyphs.     

Color invariant chroma keying and color spill neutralization for dynamic scenes and cameras

In this article we show how temporal backdrops that alternately change their color rapidly at recording rate can aid chroma keying by transforming color spill into a neutral background illumination. Since the chosen colors sum up to white, the chromatic (color) spill component is neutralized when integrating over both backdrop states. The ability to separate both states additionally allows to compute high-quality alpha mattes. Besides the neutralization of color spill, our method is invariant to foreground colors and supports applications with real-time demands. In this article, we explain different realizations of temporal backdrops and describe how keying and color spill neutralization are carried out, how artifacts resulting from rapid motion can be reduced, and how our approach can be implemented to be compatible with common real-time post-production pipelines.     

Computing delay resistant railway timetables

In the past, much research has been dedicated to compute optimum railway timetables. A typical objective has been the minimization of passenger waiting times. But only the planned nominal waiting times have been addressed, whereas delays as they occur in daily operations have been neglected. Delays have been rather treated mainly in an online context and solved as a separate optimization problem, called delay management.We provide the first computational study which aims at computing delay resistant periodic timetables. In particular we assess the delay resistance of a timetable by evaluating it subject to several delay scenarios to which optimum delay management will be applied.We arrive at computing delay resistant timetables by selecting a new objective function which we design to be somehow in the middle of the traditional simple timetabling objective and the sophisticated delay management objective. This is a slight extension of the concept of “light robustness” (LR) as it has been proposed by Fischetti and Monaci [2006. Robust optimization through branch-and-price. In: Proceedings of AIRO]. Moreover, in our application we are able to provide accurate interpretations for the ingredients of LR. We apply this new technique to real-world data of a part of the German railway network of Deutsche Bahn AG. Our computational results suggest that a significant decrease of passenger delays can be obtained at a relatively small price of robustness, i.e. by increasing the nominal travel times of the passengers.     

Static analysis of topology-dependent broadcast networks

Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast networks have focused on fixed connectivities, but this is unsuitable in the case of wireless networks where the dynamically changing network topology is a crucial ingredient. In this paper, we develop a static analysis that automatically constructs an abstract transition system, labelled by actions and connectivity information, to yield a mobility-preserving finite abstraction of the behaviour of a network expressed in a process calculus with asynchronous local broadcast. Furthermore, we use model checking based on a 3-valued temporal logic to distinguish network behaviour which differs under changing connectivity patterns.