693 research outputs found
Programming Telepathy: Implementing Quantum Non-Locality Games
Quantum pseudo-telepathy is an intriguing phenomenon which results from the
application of quantum information theory to communication complexity. To
demonstrate this phenomenon researchers in the field of quantum communication
complexity devised a number of quantum non-locality games. The setting of these
games is as follows: the players are separated so that no communication between
them is possible and are given a certain computational task. When the players
have access to a quantum resource called entanglement, they can accomplish the
task: something that is impossible in a classical setting. To an observer who
is unfamiliar with the laws of quantum mechanics it seems that the players
employ some sort of telepathy; that is, they somehow exchange information
without sharing a communication channel. This paper provides a formal framework
for specifying, implementing, and analysing quantum non-locality games
Programming with Quantum Communication
This work develops a formal framework for specifying, implementing, and
analysing quantum communication protocols. We provide tools for developing
simple proofs and analysing programs which involve communication, both via
quantum channels and exhibiting the LOCC (local operations, classical
communication) paradigm
Reclaiming the Gaze: Mulvey, Feminism and the Woman Spectator
A essay by Barbara Hehner on feminism and its relevance for the study of films and filmmaking as submitted in November of 1985 in partial fulfilment of the requirements for a course in Film Theory taught by EWC. She was at the time a graduate student within the Master of Fine Arts programme in Film at York University
Dielectric-barrier discharge plasma actuators for turbulent friction-drag manipulation via spanwise oscillations
Ein Plasmaaktuator wird über instationäre Betriebsmodi angesteuert, um wandnahe
Fluidoszillationen zu erzeugen. Das Ziel ist es, spannweitig oszillierende
Wände zugunsten einer Verringerung des turbulenten Reibungswiderstands
nachzuahmen. Da der Aktuator keine beweglichen Teile besitzt, könnte er
sich als nicht-mechanischer Ersatz der oszillierenden Wand eignen. Die
Kombination von Betriebsmodus und zugrundeliegender Elektrodenanordnung
ist eine Neuerung, welche die spannweitige Homogenität der Strömung
solcher virtuellen Wandoszillationen verbessert. Die mechanische Charakterisierung
wird mittels eines planaren Feldmessverfahrens durchgeführt, um
sowohl die induzierten Strömungstopologien als auch die Effekte von Volumenkraft
und „virtueller Wandgeschwindigkeit“, d.h. Reaktion des Fluids,
aufzuzeigen. Daraus wird zur Bewertung und Optimierung der Leistungsfähigkeit
des Aktuators ein universelles Diagramm hinsichtlich aktuatorspezifischer
Parameter abgeleitet. Da die berechnete Volumenkraft die Art der
Kraftausübung gut widerspiegelt, kann diese modellhaft zu verbesserten numerischen
Simulationen der Aktuatorik dienen. Ferner wird eine neue Vorgehensweise
für die Bestimmung der elektrischen Leistung von Aktuatoren mit
mehreren Hochspannungselektroden bereitgestellt, welche die potenzielle Abschätzung
des Nettogewinns in aktiven Kontrollszenarien ermöglicht. Zuletzt
wird die unmittelbare Auswirkung der oszillatorischen Kraftausübung auf den
Reibungswiderstand in der Querebene einer voll entwickelten turbulenten
Kanalströmung mittels einer stereoskopischen Feldmesstechnik untersucht.
Im Wesentlichen verbleibt die Strömung im sich entwickelnden Stadium und
erfährt auf dem Aktuator eine Erhöhung des Reibungswiderstands, während
sich dieser stromab des Aktuators verringert
Events in Property Patterns
A pattern-based approach to the presentation, codification and reuse of
property specifications for finite-state verification was proposed by Dwyer and
his collegues. The patterns enable non-experts to read and write formal
specifications for realistic systems and facilitate easy conversion of
specifications between formalisms, such as LTL, CTL, QRE. In this paper, we
extend the pattern system with events - changes of values of variables in the
context of LTL.Comment: 14 pages, 3 figure
Theories, Implementations, and Transformations
Abstract. The purpose of this paper is to try to put theory presentation and structuring in the simplest possible logical setting in order to improve our understanding of it. We look at how theories can be combined, and compared for strength. We look at theory refinement and implementation, and what constitutes proof of correctness. Our examples come from both the functional style and imperative (state-changing) style of theory. Finally, we explore how one implementation can be transformed to another.
- …