Non-malleable codes (NMCs), introduced by Dziembowski, Pietrzak and Wichs [DPW10], provide a useful message integrity guarantee in situations where traditional error-correction (and even errordetection) is impossible; for example, when the attacker can completely overwrite the encoded message. NMCs have emerged as a fundamental object at the intersection of coding theory and cryptography. A lar...

Recent results show that ontology consistency is undecidable for a wide variety of fuzzy Description Logics (DLs). Most notably, undecidability arises for a family of inexpressive fuzzy DLs using only conjunction, existential restrictions, and residual negation, even if the ontology itself is crisp. All those results depend on restricting reasoning to witnessed models. In this paper, we show th...

Among the many benefits InGaP brought to the GaAs-based heterojunction bipolar transistor (HBT) over the last few years, nothing is more profound than the drastic improvement it provided in the long-term reliability. Today, it is relatively common to obtain activation energies higher than 1.5eV with InGaP HBTs operating under bias and temperature conditions suitable for modern telecommunication...

With the current phenomenon of aging populations in most parts of the world, there are corresponding increases in age-related conditions associated with impaired cognitive status, such as dementia and delirium. Cognitive status is a key component in carrying out activities of daily living such as walking and bathing, and departures from normal cognitive status may be indicators of acute (e.g., ...