Refine
Year of publication
- 2014 (301) (remove)
Institute
- Fachbereich Medizintechnik und Technomathematik (65)
- Fachbereich Chemie und Biotechnologie (46)
- Fachbereich Elektrotechnik und Informationstechnik (43)
- Fachbereich Wirtschaftswissenschaften (41)
- Fachbereich Energietechnik (40)
- INB - Institut für Nano- und Biotechnologien (35)
- IfB - Institut für Bioengineering (25)
- Fachbereich Maschinenbau und Mechatronik (21)
- Fachbereich Luft- und Raumfahrttechnik (13)
- Fachbereich Bauingenieurwesen (12)
Document Type
- Article (142)
- Conference Proceeding (67)
- Part of a Book (30)
- Book (21)
- Conference: Meeting Abstract (15)
- Report (8)
- Other (6)
- Bachelor Thesis (3)
- Patent (2)
- Part of a Periodical (2)
Keywords
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%.
Die erdbebensichere Auslegung von erdverlegten Rohrleitungssystemen ist von wesentlicher Bedeutung zur Sicherstellung der Funktionalität der Versorgungsinfrastruktur nach einem Erdbebenereignis. Zur Vermeidung von Netzausfällen ist es erforderlich, die räumlich weit ausgedehnten Leitungssysteme mit geeigneten rechnerischen Modellen seismisch zu bemessen. Der vorliegende Beitrag behandelt die Beanspruchung von Rohrleitungssystemen durch seismische Welleneinwirkung und stellt geeignete Näherungsansätze und ein detailliertes Rechenmodell für seismische Leitungsanalysen vor. Mit den Ansätzen wird in Berechnungsbeispielen der Einfluss wesentlicher Parameter auf die seismisch induzierten Dehnungen in Rohrleitungssystemen untersucht.