A Compensating Anastigmatic Submillimeter Array Imaging System for STEAMR

In this paper, we present a novel technique for the removal of astigmatism in submillimeter-wave optical systems through employment of a specific combination of so-called astigmatic off-axis reflectors. This technique treats an orthogonally astigmatic beam using skew Gaussian beam analysis, from which an anastigmatic imaging network is derived. The resultant beam is considered truly stigmatic, with all Gaussian beam parameters in the orthogonal directions being matched. This is thus considered an improvement over previous techniques wherein a beam corrected for astigmatism has only the orthogonal beam amplitude radii matched, with phase shift and phase radius of curvature not considered. This technique is computationally efficient, negating the requirement for computationally intensive numerical analysis of shaped reflector surfaces. The required optical surfaces are also relatively simple to implement compared to such numerically optimized shaped surfaces. This technique is implemented in this work as part of the complete optics train for the STEAMR antenna. The STEAMR instrument is envisaged as a mutli-beam limb sounding instrument operating at submillimeter wavelengths. The antenna optics arrangement for this instrument uses multiple off-axis reflectors to control the incident radiation and couple them to their corresponding receiver feeds. An anastigmatic imaging network is successfully implemented into an optical model of this antenna, and the resultant design ensures optimal imaging of the beams to the corresponding feed horns. This example also addresses the challenges of imaging in multi-beam antenna systems.

Vessel orientation-dependent sensitivity of optoacoustic imaging using a linear array transducer

For clinical optoacoustic imaging, linear probes are preferably used because they allow versatile imaging of the human body with real-time display and free-hand probe guidance. The two-dimensional (2-D) optoacoustic image obtained with this type of probe is generally interpreted as a 2-D cross-section of the tissue just as is common in echo ultrasound. We demonstrate in three-dimensional simulations, phantom experiments, and in vivo mouse experiments that for vascular imaging this interpretation is often inaccurate. The cylindrical blood vessels emit anisotropic acoustic transients, which can be sensitively detected only if the direction of acoustic radiation coincides with the probe aperture. Our results reveal for this reason that the signal amplitude of different blood vessels may differ even if the vessels have the same diameter and initial pressure distribution but different orientation relative to the imaging plane. This has important implications for the image interpretation, for the probe guidance technique, and especially in cases when a quantitative reconstruction of the optical tissue properties is required.

Contactless conductivity detector array for capillary electrophoresis.

A CE system featuring an array of 16 contactless conductivity detectors was constructed. The detectors were arranged along 70 cm length of a capillary with 100 cm total length and allow the monitoring of separation processes. As the detectors cannot be accommodated on a conventional commercial instrument, a purpose built set-up employing a sequential injection manifold had to be employed for automation of the fluid handling. Conductivity measurements can be considered universal for electrophoresis and thus any changes in ionic composition can be monitored. The progress of the separation of Na(+) and K(+) is demonstrated. The potential of the system to the study of processes in CZE is shown in two examples. The first demonstrates the differences in the developments of peaks originating from a sample plug with a purely aqueous background to that of a plug containing the analyte ions in the buffer. The second example visualizes the opposite migration of cations and anions from a sample plug that had been placed in the middle of the capillary.

A lung-on-chip array with an integrated bio-inspired respiration mechanism

We report about a lung-on-chip array that mimics the pulmonary parenchymal environment, including the thin, alveolar barrier and the three-dimensional cyclic strain induced by the breathing movements. A micro-diaphragm used to stretch the alveolar barrier is inspired by the in-vivo diaphragm, the main muscle responsible for inspiration. The design of this device aims not only at best reproducing the in-vivo conditions found in the lung parenchyma, but also at making its handling easy and robust. An innovative concept, based on the reversible bonding of the device, is presented that enables to accurately control the concentration of cells cultured on the membrane by easily accessing both sides of the membranes. The functionality of the alveolar barrier could be restored by co-culturing epithelial and endothelial cells that formed tight monolayers on each side of a thin, porous and stretchable membrane. We showed that cyclic stretch significantly affects the permeability properties of epithelial cell layers. Furthermore, we could also demonstrate that the strain influences the metabolic activity and the cytokine secretion of primary human pulmonary alveolar epithelial cells obtained from patients. These results demonstrate the potential of this device and confirm the importance of the mechanical strain induced by the breathing in pulmonary research.

Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

Censors for Boolean Description Logic

Protecting different kinds of information has become an important area of research. One aspect is to provide effective means to avoid that secrets can be deduced from the answers of legitimate queries. In the context of atomic propositional databases several methods have been developed to achieve this goal. However, in those databases it is not possible to formalize structural information. Also they are quite restrictive with respect to the specification of secrets. In this paper we extend those methods to match the much greater expressive power of Boolean description logics. In addition to the formal framework, we provide a discussion of various kinds of censors and establish different levels of security they can provide.

Manual Electrode Array Insertion Through a Robot-assisted Minimal Invasive Cochleostomy: Feasibility and Comparison of Two Different Electrode Array Subtypes.

HYPOTHESIS To evaluate the feasibility and the results of insertion of two types of electrode arrays in a robotically assisted surgical approach. BACKGROUND Recent publications demonstrated that robot-assisted surgery allows the implantation of free-fitting electrode arrays through a cochleostomy drilled via a narrow bony tunnel (DCA). We investigated if electrode arrays from different manufacturers could be used with this approach. METHODS Cone-beam CT imaging was performed on fivecadaveric heads after placement of fiducial screws. Relevant anatomical structures were segmented and the DCA trajectory, including the position of the cochleostomy, was defined to target the center of the scala tympani while reducing the risk of lesions to the facial nerve. Med-El Flex 28 and Cochlear CI422 electrodes were implanted on both sides, and their position was verified by cone-beam CT. Finally, temporal bones were dissected to assess the occurrence of damage to anatomical structures during DCA drilling. RESULTS The cochleostomy site was directed in the scala tympani in 9 of 10 cases. The insertion of electrode arrays was successful in 19 of 20 attempts. No facial nerve damage was observed. The average difference between the planned and the postoperative trajectory was 0.17 ± 0.19 mm at the level of the facial nerve. The average depth of insertion was 305.5 ± 55.2 and 243 ± 32.1 degrees with Med-El and Cochlear arrays, respectively. CONCLUSIONS Robot-assisted surgery is a reliable tool to allow cochlear implantation through a cochleostomy. Technical solutions must be developed to improve the electrode array insertion using this approach.

First steps towards probabilistic justification logic

In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.

Searching the hearts of graphene-like molecules for simplicity, sensitivity and logic

If quantum interference patterns in the hearts of polycyclic aromatic hydrocarbons (PAHs) could be isolated and manipulated, then a significant step towards realizing the potential of single-molecule electronics would be achieved. Here we demonstrate experimentally and theoretically that a simple, parameter-free, analytic theory of interference patterns evaluated at the mid-point of the HOMO-LUMO gap (referred to as M-functions) correctly predicts conductance ratios of molecules with pyrene, naphthalene, anthracene, anthanthrene or azulene hearts. M-functions provide new design strategies for identifying molecules with phase-coherent logic functions and enhancing the sensitivity of molecular-scale interferometers.