Multi-Gigabit Wireless data transfer at 60 GHz

In this paper we describe the status of the first prototype of the 60 GHz wireless Multi-gigabit data transfer topology currently under development at University of Heidelberg using IBM 130 nm SiGe HBT BiCMOS technology. The 60 GHz band is very suitable for high data rate and short distance applications as for example needed in the HEP experments. The wireless transceiver consist of a transmitter and a receiver. The transmitter includes an On-Off Keying (OOK) modulator, an Local Oscillator (LO), a Power Amplifier (PA) and a BandPass Filter (BPF). The receiver part is composed of a BandPass- Filter (BPF), a Low Noise Amplifier (LNA), a double balanced down-convert Gilbert mixer, a Local Oscillator (LO), then a BPF to remove the mixer introduced noise, an Intermediate Amplifier (IF), an On-Off Keying demodulator and a limiting amplifier. The first prototype would be able to handle a data-rate of about 3.5 Gbps over a link distance of 1 m. The first simulations of the LNA show that a Noise Figure (NF) of 5 dB, a power gain of 21 dB at 60 GHz with a 3 dB bandwidth of more than 20 GHz with a power consumption 11 mW are achieved. Simulations of the PA show an output referred compression point P1dB of 19.7 dB at 60 GHz.Comment: Proceedings of the WIT201

Irradiation study of a fully monolithic HV-CMOS pixel sensor design in AMS 180 nm

High-Voltage Monolithic Active Pixel Sensors (HV-MAPS) based on the 180 nm HV-CMOS process have been proposed to realize thin, fast and highly integrated pixel sensors. The MuPix7 prototype, fabricated in the commercial AMS H18 process, features a fully integrated on-chip readout, i.e. hit-digitization, zero suppression and data serialization. It is the first fully monolithic HV-CMOS pixel sensor that has been tested for the use in high irradiation environments like HL-LHC. We present results from laboratory and test beam measurements of MuPix7 prototypes irradiated with neutrons (up to $5.0\cdot10^{15}{\,\rm{n}_{\rm{eq}}/cm^2}$) and protons (up to $7.8\cdot 10^{15} \,\rm{protons}/cm^2$) and compare the performance with non-irradiated sensors. Efficiencies well above 90 % at noise rates below 200 Hz per pixel are measured. A time resolution better than 22 ns is measured for all tested settings and sensors, even at the highest irradiation fluences. The data transmission at 1.25 Gbit/s and the on-chip PLL remain fully functional

Minilaparotomy a Good Option in Specific Cases: A Case Report of Bilateral Ovarian Germ Cell Tumor

Mature cystic teratomas (MCTs) of the ovary represent 44% of ovarian neoplasmas. The surgical approach is important in young women especially for the cosmetic results. Nowadays most of the ovarian surgeries can be performed laparoscopically. An alternative between laparoscopy and laparotomy is the minilaparotomy (ML) which can be an interesting option, thanks to the small incision. We report a 39-year-old woman who was referred to our hospital with acute abdominal pain. In her past history the patient had an uncomplicated delivery. During pregnancy a 6 cm bilateral MCT was diagnosed and expectant management was followed. A left-sided ovarial torsion was postulated, and laparoscopic detorsion was performed. To avoid a rupture of the left MCT, the operation was interrupted. To remove the cyst, a ML was done two weeks later. A left-sided salpingo-oophorectomy was performed due to a large cyst including the entire ovary. On the other side, the right dermoid cyst was entirely removed. The advantage of a ML is not only shorter operating time with less learning curve compared to laparoscopy but also the possibility to extract the adnexal mass from the abdominal cavity with lower risk of rupture and in addition the possibility to preserve more ovarian tissue

"Boring formal methods" or "Sherlock Holmes deduction methods"?

This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody" elective course at at TU Munich, Germany, to engage pupils studying Computer Science, IT and engineering subjects on Bachelor and Master levels. Our goal was to overcome the bias that logic and formal methods are not only very complicated but also very boring to study and to apply. In this paper, we present the core structure of the course, provide examples of exercises and evaluate the course based on the students' surveys.Comment: Preprint. Accepted to the Software Technologies: Applications and Foundations (STAF 2016). Final version published by Springer International Publishing AG. arXiv admin note: substantial text overlap with arXiv:1602.0517

The MuPix Telescope: A Thin, high Rate Tracking Telescope

The MuPix Telescope is a particle tracking telescope, optimized for tracking low momentum particles and high rates. It is based on the novel High-Voltage Monolithic Active Pixel Sensors (HV-MAPS), designed for the Mu3e tracking detector. The telescope represents a first application of the HV-MAPS technology and also serves as test bed of the Mu3e readout chain. The telescope consists of up to eight layers of the newest prototypes, the MuPix7 sensors, which send data self-triggered via fast serial links to FPGAs, where the data is time-ordered and sent to the PC. A particle hit rate of 1 MHz per layer could be processed. Online tracking is performed with a subset of the incoming data. The general concept of the telescope, chip architecture, readout concept and online reconstruction are described. The performance of the sensor and of the telescope during test beam measurements are presented.Comment: Proceedings TWEPP 2016, 8 pages, 7 figure

MuPix7 - A fast monolithic HV-CMOS pixel chip for Mu3e

The MuPix7 chip is a monolithic HV-CMOS pixel chip, thinned down to 50 \mu m. It provides continuous self-triggered, non-shuttered readout at rates up to 30 Mhits/chip of 3x3 mm^2 active area and a pixel size of 103x80 \mu m^2. The hit efficiency depends on the chosen working point. Settings with a power consumption of 300 mW/cm^2 allow for a hit efficiency >99.5%. A time resolution of 14.2 ns (Gaussian sigma) is achieved. Latest results from 2016 test beam campaigns are shown.Comment: Proceedingsfor the PIXEL2016 conference, submitted to JINST A dangling reference has been removed from this version, no other change

Nominal Unification of Higher Order Expressions with Recursive Let

A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for plain expressions and for DAGs and determine the complexity of corresponding unification problems.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534