An AC 1-complete model checking problem for intuitionistic logic

We show that the model checking problem for intuitionistic propositional logic with one variable is complete for logspace-uniform AC ¹. For superintuitionistic logics with one variable, we obtain NC ¹-completeness for the model checking problem.     

Hydroisomerization of Renewable and Fossil n-Alkanes over Bifunctional Dealuminated ZSM-5 Catalysts

The hydroisomerization of two long-chain n-alkane mixtures was investigated over bifunctional Pt/H-ZSM-5 catalysts before and after dealumination of preshaped zeolite/binder pellets. The hydroisomerization over the dealuminated catalysts leads to more isomers and less cracking products. Consequently, higher ratios of multi- to mono-branched isomerization products are formed as expected for large- rather than medium-pore zeolites. This indicates a higher availability of space in the vicinity of the active sites and provides an attractive route to make medium-pore zeolites suitable for upgrading higher boiling hydrocarbon feeds.     

A New Research Infrastructure for Investigating Flow Hydraulics and Process Equipment at Critical Fluid Properties

An optimized equipment design for natural gas processing and liquefaction plants becomes increasingly difficult with changing process conditions: Particularly low values of surface tension create rising challenges on the design of phase separators and column internals. The TERESA test rig at HZDR was designed to allow the investigation of multiphase thermohydraulics and phase separator performance under critical fluid properties in industrial dimensions. A versatile pipe test section is available in DN200 and equipment internals may be tested in a sectional DN300/DN500 test separator. The applied test fluid shows a high vapor-liquid density difference between 1470 and 940 kg m⁻³, viscosity as low as 0.12 mm²s⁻¹, and surface tension down to 1.3 mN m⁻¹. Volumetric liquid and vapor flow rates may be varied up to 9 and 530 m³h⁻¹ in the test rig, respectively.     

Charakterisierung und Störstoffanalyse von rückgewonnenen Stoffströmen aus Wärmedämmverbundsystemen

Due to the growing energy requirements, the proportion of external thermal insulation composite systems (ETICS) installed has increased significantly during the past 50 years. Due to the longevity of these systems, ETICS waste is currently accumulating. Owing to the complex construction as well as a multitude of differently installed materials and substances of the past generations, there are many uncertainties and problems with the clean and low-pollutant processing of such systems. In the frame of this work, the ETICS were processed and sorted before being screened for ingredients or pollutants as well as for the purity of the recovered material fractions.     

The Pupal Parasitoid Trichopria drosophilae Is Attracted to the Same Yeast Volatiles as Its Adult Host

Journal of Chemical Ecology - There is increasing evidence that microorganisms, particularly fungi and bacteria, emit volatile compounds that mediate the foraging behaviour of insects and therefore...     

Greedily computing associative aggregations on sliding windows

We present an algorithm for combining the elements of subsequences of a sequence with an associative operator. The subsequences are given by a sliding window of varying size. Our algorithm is greedy and computes the result with the minimal number of operator applications.     

Solders development and application process for a micro chip-camera

Nowadays, micro components have to fulfill rising optical requirements for different scientific and industrial fields like astronomy, medicine or multimedia. For this purpose, advanced miniaturized chip-cameras are produced for the microsystems engineering market. The assembly and joining technologies play a very important role in the production of these micro components. Several challenges are associated with the joining of chip-cameras. In this study, the application of the soldering technology has been considered in order to face these challenges. Two joining technologies have been investigated: active soldering and transient liquid phase (TLP) bonding. Both soldering processes have shown a big potential for hybrid microsystems joining in previous studies. For both processes, soldering alloys and parameters have been conceived in order to fulfill the joining requirements of the micro camera components. For instance, the joining temperature represents a major challenge because the chip-camera consists of a plastic material, polymethyl methacrylate (PMMA). Therefore, particular attention has been directed to the soldering as well as to the coating temperature. The experimental investigations concerning the solders application through physical vapor deposition (PVD) have been supported by finite element method (FEM) simulations. The analysis of  the temperature distribution in the micro components during the coating process was the focus of  the calculations. Possible undesirable local overheated areas of the chip-camera components can be detected through simulation.

---

Subacute Plasmodium falciparum malaria in 43 patients returning from areas with chloroquine in Africa

PURPOSE: To identify clinical and biological features of subacute falciparum malaria, risk factors, and to evaluate the efficacy of curative treatment. PATIENTS AND METHODS: Diagnostic criteria were the association of apyrexia, anemia, little or no parasitemia and a high titer of anti-Plasmodium antibodies. Forty-three cases were observed in subjects returning from chloroquine-resistant areas in Africa. They were matched with controls for age, country of residence and duration of stay. Controls were missionaries who attended our unit for a routine medical check-up during the study period. RESULTS: The clinical presentation and biological features were similar to "malarial cachexia", a condition mainly described in non-immune children in endemic areas. Splenomegaly was present in 58% of the patients. Biological features included little or no parasitemia, an overall decrease in the blood cell count, an increased erythrocyte sedimentation rate and a high titer of anti-Plasmodium antibodies. This syndrome was not correlated with the frequency of chloroquine resistance, the area of stay (urban or rural) or to the kind of chemoprophylaxis. CONCLUSIONS: This study describes subacute resistant falciparum malaria in patients who had prolonged stay in chloroquine-resistant areas of Africa associating splenomegaly, cytopenia and a low or absent parasitemia. Subacute chloroquine-resistant malaria could be due to host factors which remained to be determined by prospective immunological studies. Curative treatment with mefloquine is effective.     

Solid Ink Laser Patterning for High-Resolution Information Labels with Supervised Learning Readout

Tagging, tracking, or validation of products are often facilitated by inkjet-printed optical information labels. However, this requires thorough substrate pretreatment, ink optimization, and often lacks in printing precision/resolution. Herein, a printing method based on laser-driven deposition of solid polymer ink that allows for printing on various substrates without pretreatment is demonstrated. Since the deposition process has a precision of <1 µm, it can introduce the concept of sub-positions with overlapping spots. This enables high-resolution fluorescent labels with comparable spot-to-spot distance of down to 15 µm (444,444 spots cm⁻²) and rapid machine learning-supported readout based on low-resolution fluorescence imaging. Furthermore, the defined thickness of the printed polymer ink spots can be used to fabricate multi-channel information labels. Additional information can be stored in different fluorescence channels or in a hidden topography channel of the label that is independent of the fluorescence.