Superior Thermoelectric Performance of Textured Ca3Co4−xO9+δ Ceramic Nanoribbons

Calcium cobaltite Ca₃Co_4−xO_9+δ (CCO) is a promising p-type thermoelectric (TE) material for high-temperature applications in air. The grains of the material exhibit strong anisotropic properties, making texturing and nanostructuring mostly favored to improve thermoelectric performance. On the one hand multitude of interfaces are needed within the bulk material to create reflecting surfaces that can lower the thermal conductivity. On the other hand, low residual porosity is needed to improve the contact between grains and raise the electrical conductivity. In this study, CCO fibers with 100% flat cross sections in a stacked, compact form are electrospun. Then the grains within the nanoribbons in the plane of the fibers are grown. Finally, the nanoribbons are electrospun into a textured ceramic that features simultaneously a high electrical conductivity of 177 S cm⁻¹ and an immensely enhanced Seebeck coefficient of 200 µV K⁻¹ at 1073 K are assembled. The power factor of 4.68 µW cm⁻¹ K⁻² at 1073 K in air surpasses all previous CCO TE performances of nanofiber ceramics by a factor of two. Given the relatively high power factor combined with low thermal conductivity, a relatively large figure-of-merit of 0.3 at 873 K in the air for the textured nanoribbon ceramic is obtained.     

Mitigating Detrimental Effect of Self-Doping Near the Anode in Highly Efficient Organic Solar Cells

Poly(3,4-ethylenedioxythiophene):polystyrene sulfonate (PEDOT:PSS) has been one of the most established hole transport layers (HTL) in organic solar cells (OSCs) for several decades. However, the presence of PSS⁻ ions is known to deteriorate device performance via a number of mechanisms including diffusion to the HTL-active layer interface and unwanted local chemical reactions. In this study, it is shown that PSS⁻ ions can also result in local p-doping in the high efficiency donor:non-fullerene acceptor blends – resulting in photocurrent loss. To address these issues, a facile and effective approach is reported to improve the OSC performance through a two-component hole transport layer (HTL) consisting of a self-assembled monolayer of 2PACz ([2-(9H-Carbazol-9-yl)ethyl]phosphonic acid) and PEDOT:PSS. The power conversion efficiency (PCE) of 17.1% using devices with PEDOT:PSS HTL improved to 17.7% when the PEDOT:PSS/2PACz two-component HTL is used. The improved performance is attributed to the overlaid 2PACz layer preventing the formation of an intermixed p-doped PSS⁻ ion rich region (≈5–10 nm) at the bulk heterojunction-HTL contact interface, resulting in decreased recombination losses and improved stability. Moreover, the 2PACz monolayer is also found to reduce electrical shunts that ultimately yield improved performance in large area devices with PCE enhanced from 12.3% to 13.3% in 1 cm² cells.     

Crystal: Integrating Structured Queries into a Tactic Language

We present the language CRStL (Control Rule Strategy Language, pronounce “crystal”) to formulate mathematical reasoning techniques as proof strategies in the context of the proof assistant Ωmega. The language is arranged in two levels, a query language to access mathematical knowledge maintained in development graphs, and a strategy language to annotate the results of these queries with further control information. The two-leveled structure of the language allows the specification of proof techniques in a declarative way. We present the syntax and semantics of CRStL and illustrate its use by examples.     

Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces

We continue our study of the complexity of MSO-definable local temporal logics over concurrent systems that can be described by Mazurkiewicz traces. In previous papers, we showed that the satisfiability problem for any such logic is in PSPACE (provided the dependence alphabet is fixed, Gastin and Kuske (2003) [10]) and remains in PSPACE for all classical local temporal logics even if the dependence alphabet is part of the input, Gastin and Kuske (2007) [8]. In this paper, we consider the uniform satisfiability problem for arbitrary MSO-definable local temporal logics. For this problem, we prove multi-exponential lower and upper bounds that depend on the number of alternations of set quantifiers present in the chosen MSO-modalities.     

Outsourcing der Informationsverarbeitung im Mittelstand: Test eines multitheoretischen Kausalmodells

In this paper determinants of information systems (IS) outsourcing are deduced from transaction cost economic theory, resource-based theory and power theory. They are summarized in a theoretical framework which is tested using a sample of small and medium sized enterprises (SMEs) in Germany. The results show that internal performance and know-how deficits vis-à-vis external service providers are key determinants that explain why different IS functions are outsourced to varying degrees in SMEs. Moreover, the determinants of IS functions were found to partially differ between IS functions. Revised reprint of an article from WIRTSCHAFTSINFORMATIK 43(4)2001:339–350.     

Parsing human skeletons in an operating room

Multiple human pose estimation is an important yet challenging problem. In an operating room (OR) environment, the 3D body poses of surgeons and medical staff can provide important clues for surgical workflow analysis. For that purpose, we propose an algorithm for localizing and recovering body poses of multiple human in an OR environment under a multi-camera setup. Our model builds on 3D Pictorial Structures and 2D body part localization across all camera views, using convolutional neural networks (ConvNets). To evaluate our algorithm, we introduce a dataset captured in a real OR environment. Our dataset is unique, challenging and publicly available with annotated ground truths. Our proposed algorithm yields to promising pose estimation results on this dataset.     

Detecting zero-day attacks using context-aware anomaly detection at the application-layer

Anomaly detection allows for the identification of unknown and novel attacks in network traffic. However, current approaches for anomaly detection of network packet payloads are limited to the analysis of plain byte sequences. Experiments have shown that application-layer attacks become difficult to detect in the presence of attack obfuscation using payload customization. The ability to incorporate syntactic context into anomaly detection provides valuable information and increases detection accuracy. In this contribution, we address the issue of incorporating protocol context into payload-based anomaly detection. We present a new data representation, called \({c}_n\)-grams, that allows to integrate syntactic and sequential features of payloads in an unified feature space and provides the basis for context-aware detection of network intrusions. We conduct experiments on both text-based and binary application-layer protocols which demonstrate superior accuracy on the detection of various types of attacks over regular anomaly detection methods. Furthermore, we show how \({c}_n\)-grams can be used to interpret detected anomalies and thus, provide explainable decisions in practice.     

The State of the Art in Topology‐Based Visualization of Unsteady Flow

Vector fields are a common concept for the representation of many different kinds of flow phenomena in science and engineering. Methods based on vector field topology are known for their convenience for visualizing and analysing steady flows, but a counterpart for unsteady flows is still missing. However, a lot of good and relevant work aiming at such a solution is available. We give an overview of previous research leading towards topology‐based and topology‐inspired visualization of unsteady flow, pointing out the different approaches and methodologies involved as well as their relation to each other, taking classical (i.e. steady) vector field topology as our starting point. Particularly, we focus on Lagrangian methods, space–time domain approaches, local methods and stochastic and multifield approaches. Furthermore, we illustrate our review with practical examples for the different approaches.