Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and different after-states corresponding to different possible outcomes when the action is attempted. We view a protocol for an atomic action as a computation tree, each branch of which achieves in several steps, one of the outc...

Topics 1. Message sequence diagrams and event structures. 2. A General Process Model (GPM) for asynchronous distributed computing. 3. Coding 2/3 consensus as a functional process. 4. A Logic of Events for reasoning about protocols. Reminders 1. Dr. Yaron Minksy will give the next lecture on Tuesday May 3. 2. PS6 is about distributed computing in OCaml, in particular implementing the 2/3 simple ...

We introduce and show preliminary results of a fast randomized method that finds a set of K paths lying in distinct homotopy classes. We frame the path planning task as a graph search problem, where the navigation graph is based on a Voronoi diagram. The search is biased by a cost function derived from the social force model that is used to generate and select the paths. We compare our method t...

A novel simple and compact multiple-path-switching device for multiple-valued decision diagram (MDD) is proposed and investigated theoretically in order to realize highperformance nanowire-network-based logic circuits with advanced functionality. The device is designed on multi-semiconductor-nanowire branches having a couple of size-controlled nanometer-scale Schottky wrap gates (WPGs). The dev...

The photic orientation of Limax creeping geotropically upon a vertical plate is such that the phototropic vector determining the angular deflection beta from the vertical path is proportional to log I. This is proved by the fact that with horizontal illumination tan beta is directly proportional to log I; with non-horizontal light rays from a small source the ratio See PDF for Equation is direc...

Lithography using photomasks has been the major workhorse in printed circuit boards, semiconductors, and flat panel display device manufacturing. However, the cost of photomask is so high that it often becomes the bottleneck, especially when the production volume is low. Recently, maskless lithography technology is gaining more attention, and hence, the computation of efficient lithography path...

The analysis of paths in graphs is highly relevant in many domains. Typically, path-related tasks are performed in node-link layouts. Unfortunately, graph layouts often do not scale to the size of many real world networks. Also, many networks are multivariate, i.e., contain rich attribute sets associated with the nodes and edges. These attributes are often critical in judging paths, but directl...

The strategy of regions [1] turns out to be a universal method for expanding Feynman integrals in various limits of momenta and masses. This strategy is reviewed and illustrated through numerous examples. In the case of typically Euclidean limits it is equivalent to well-known prescriptions within the strategy of subgraphs. For regimes typical for Minkowski space, where the strategy of subgraph...

We present an extension of the fast beam-tracing method presented in the work of Antonacci et al. (2008) for the simulation of acoustic propagation in reverberant environments that accounts for diffraction and diffusion. More specifically, we show how visibility maps are suitable for modeling propagation phenomena more complex than specular reflections. We also show how the beam-tree lookup for...

Headphones with feedback Active Noise Control (ANC) have some advantages over feedforward applications [1], but suffer from the risk of instabilities. A block diagram of a typical digital feedback ANC headphone (compare [1], [2]) is shown in Fig. 1. The performance and stability of this system depends on the modelling accuracy of the secondary path (i.e. the transfer function from the loudspeak...