Refine
Year of publication
Document Type
- Article (unreviewed) (124) (remove)
Language
- English (124) (remove)
Is part of the Bibliography
- yes (124) (remove)
Keywords
- Dünnschichtchromatographie (4)
- Export (4)
- Machine Learning (4)
- Biogas (3)
- Deep Learning (3)
- Innovation (3)
- Kommunikation (3)
- Trade (3)
- Ultraschall (3)
- Advanced Footwear Technology (2)
Institute
- Fakultät Maschinenbau und Verfahrenstechnik (M+V) (35)
- Fakultät Elektrotechnik und Informationstechnik (E+I) (bis 03/2019) (32)
- Fakultät Wirtschaft (W) (25)
- Fakultät Elektrotechnik, Medizintechnik und Informatik (EMI) (ab 04/2019) (21)
- IMLA - Institute for Machine Learning and Analytics (15)
- Fakultät Medien und Informationswesen (M+I) (bis 21.04.2021) (9)
- IfTI - Institute for Trade and Innovation (8)
- INES - Institut für nachhaltige Energiesysteme (6)
- IUAS - Institute for Unmanned Aerial Systems (4)
- ACI - Affective and Cognitive Institute (2)
Open Access
- Open Access (58)
- Closed Access (19)
- Diamond (16)
- Bronze (8)
- Gold (1)
A Survey of Channel Measurements and Models for Current and Future Railway Communication Systems
(2016)
Bluetooth Low Energy extends the Bluetooth standard in version 4.0 for ultra-low energy applications through the extensive usage of low-power sleeping periods, which inherently difficult in frequency hopping technologies. This paper gives an introduction into the specifics of the Bluetooth Low Energy protocol, shows a sample implementation, where an embedded device is controlled by an Android smart phone, and shows the results of timing and current consumption measurements.
In the area of cloud computing, judging the fulfillment of service-level agreements on a technical level is gaining more and more importance. To support this we introduce privacy preserving set relations as inclusiveness and disjointness based ao Bloom filters. We propose to compose them in a slightly different way by applying a keyed hash function. Besides discussing the correctness of set relations, we analyze how this impacts the privacy of the sets content as well as providing privacy on the sets cardinality. Indeed, our solution proposes to bring another layer of privacy on the sizes. We are in particular interested how the overlapping bits of a Bloom filter impact the privacy level of our approach. We concretely apply our solution to a use case of cloud security audit on access control and present our results with real-world parameters.
Featherweight Generic Go (FGG) is a minimal core calculus modeling the essential features of the programming language Go. It includes support for overloaded methods, interface types, structural subtyping and generics. The most straightforward semantic description of the dynamic behavior of FGG programs is to resolve method calls based on runtime type information of the receiver.
This article shows a different approach by defining a type-directed translation from FGG to an untyped lambda-calculus. The translation of an FGG program provides evidence for the availability of methods as additional dictionary parameters, similar to the dictionary-passing approach known from Haskell type classes. Then, method calls can be resolved by a simple lookup of the method definition in the dictionary.
Every program in the image of the translation has the same dynamic semantics as its source FGG program. The proof of this result is based on a syntactic, step-indexed logical relation. The step-index ensures a well-founded definition of the relation in the presence of recursive interface types and recursive methods.
An interlaboratory comparison was carried out to evaluate the effectiveness of a method based on HPTLC in which reagent-free derivatization is followed by UV/fluorescence detection. The method was tested for the determination of sucralose (C12H19C13O8; (2R,3R,4R,5S,6R)-2-[(2R,3S,4S,5S)-2,5-bis(chloromethyl)-3,4-dihydroxyoxolan-2-yl]oxy-5-chloro-6-hydroxymethyl)oxane-3, 4-diol; CAS Registry No. 56038-13-2) in carbonated and still beverages at the proposed European regulatory limits. For still beverages, a portion of the sample was diluted with methanol-water. For carbonated beverages, a portion of the sample was degassed in an ultrasonic bath before dilution. Turbid beverages were filtered after dilution through an HPLC syringe filter. The separation of sucralose was performed by direct application on amino-bonded (NH2) silica gel HPTLC plates (no cleanup needed) with the mobile phase acetonitrile-water. Sucralose was determined after reagent-free derivatization at 190 degrees C; it was quantified by measurements of both UV absorption and fluorescence. The samples, both spiked and containing sucralose, were sent to 14 laboratories in five different countries. Test portions of a sample found to contain no sucralose were spiked at levels of 30.5, 100.7, and 299 mg/L. Recoveries ranged from 104.3 to 124.6% and averaged 112% for determination by UV detection; recoveries ranged from 98.4 to 101.3% and averaged 99.9% for determination by fluorescence detection. On the basis of the results for spiked samples (blind duplicates at three levels), as well as sucralose-containing samples (blind duplicates at three levels and one split level), the values for the RSDr ranged from 10.3 to 31.4% for determinations by UV detection and from 8.9 to 15.9% for determinations by fluorescence detection. The values for the RSDR values ranged from 13.5 to 31.4% for determinations by UV detection and from 8.9 to 20.7% for determinations by fluorescence detection.