Refine
Year of publication
- 2014 (265) (remove)
Document Type
- Article (138)
- Conference Proceeding (55)
- Part of a Book (30)
- Book (21)
- Report (8)
- Other (6)
- Patent (2)
- Doctoral Thesis (1)
- Master's Thesis (1)
- Video (1)
- Poster (1)
- Talk (1)
Has Fulltext
- no (265) (remove)
Keywords
- Antarctic Glaciology (1)
- Bloom Taxonomy (1)
- Bone sawing (1)
- COMSOL Multiphysics (1)
- Calorimetric gas sensor (1)
- Cryptographic protocols (1)
- DNA hybridization (1)
- Extraterrestrial Glaciology (1)
- Field-effect sensor (1)
- Glaciological instruments and methods (1)
- Hydrogen peroxide (1)
- LAPS (1)
- Light-addressable Potentiometric Sensor (1)
- LiveLink for MATLAB (1)
- Malicious model (1)
- Multi-sensor system (1)
- Optimization module (1)
- Privacy-enhancing technologies (1)
- Secure multi-party computation (1)
- Subclacial exploration (1)
Institute
- Fachbereich Medizintechnik und Technomathematik (58)
- Fachbereich Elektrotechnik und Informationstechnik (41)
- Fachbereich Wirtschaftswissenschaften (41)
- Fachbereich Energietechnik (40)
- INB - Institut für Nano- und Biotechnologien (35)
- Fachbereich Chemie und Biotechnologie (28)
- IfB - Institut für Bioengineering (19)
- Fachbereich Maschinenbau und Mechatronik (15)
- Fachbereich Luft- und Raumfahrttechnik (13)
- Fachbereich Bauingenieurwesen (11)
- Solar-Institut Jülich (5)
- Fachbereich Architektur (3)
- Sonstiges (3)
- ECSM European Center for Sustainable Mobility (1)
- Fachbereich Gestaltung (1)
- Institut fuer Angewandte Polymerchemie (1)
- ZHQ - Bereich Hochschuldidaktik und Evaluation (1)
The problem of fair and privacy-preserving ordered set reconciliation arises in a variety of applications like auctions, e-voting, and appointment reconciliation. While several multi-party protocols have been proposed that solve this problem in the semi-honest model, there are no multi-party protocols that are secure in the malicious model so far. In this paper, we close this gap. Our newly proposed protocols are shown to be secure in the malicious model based on a variety of novel non-interactive zero-knowledge-proofs. We describe the implementation of our protocols and evaluate their performance in comparison to protocols solving the problem in the semi-honest case.
Up in the clouds and above fuels and construction materials must be very carefully selected to ensure a smooth flight and touchdown. Out of around 38,000 single and dual-engined propeller aeroplanes, roughly a third are affected by a new trend in the fuel sector that may lead to operating troubles or even emergency landings: The admixture of bio-ethanol to conventional gasoline. Experiences with these fuels may be projected to alternative mixtures containing new components.
Die Nutzung von Prozessmodellierungsmethoden oder - werkzeugen kann erheblichen Einfluss auf die Effektivität von Prozessen haben. Das gilt insbesondere für Situationen, in denen Personen unter Stress stehen oder ungeübt sind. In diesen Fällen geben Prozessmodelle konkrete Empfehlungen, nach denen sich die handelnden Personen richten könnten. In Experimenten mit der Business-Simulation Apollo 13 haben wir den Effekt eines Einsatzes von Prozessmodellierungsmethoden und -werkzeugen untersucht. Bereits bekannte Theorien (z.B. über geeignete Verhältnisse von Kommunikationsinhalten) konnten bestätigt werden. Darüber hinaus haben wir eine besondere Bedeutung der Übertragbarkeit von Prozessmodellen in konkrete Handlungen identifiziert.
Planning the layout and operation of a technical system is a common task
for an engineer. Typically, the workflow is divided into consecutive stages: First,
the engineer designs the layout of the system, with the help of his experience or of
heuristic methods. Secondly, he finds a control strategy which is often optimized
by simulation. This usually results in a good operating of an unquestioned sys-
tem topology. In contrast, we apply Operations Research (OR) methods to find a
cost-optimal solution for both stages simultaneously via mixed integer program-
ming (MILP). Technical Operations Research (TOR) allows one to find a provable
global optimal solution within the model formulation. However, the modeling error
due to the abstraction of physical reality remains unknown. We address this ubiq-
uitous problem of OR methods by comparing our computational results with mea-
surements in a test rig. For a practical test case we compute a topology and control
strategy via MILP and verify that the objectives are met up to a deviation of 8.7%.