Search

Knowledge-based programs specify multi-agent protocols with epistemic guards that abstract from how agents learn and record facts or information about other agents and the environment. Their interpretation involves a non-monotone mutual dependency between the evaluation of epistemic guards over the reachable states and the derivation of the reachable states depending on the evaluation of epistemic guards. We apply the technique of a must/cannot analysis invented for synchronous programming languages to the interpretation problem of knowledge-based programs and demonstrate that the resulting constructive interpretation is monotone and has a least fixed point. We relate our approach with existing interpretation schemes for both synchronous and asynchronous programs. Finally, we describe an implementation of the constructive interpretation and illustrate the procedure by several examples and an application to the Java memory model.

Blockchain has evolved into a platform for decentralized applications, with beneficial properties like high integrity, transparency, and resilience against censorship and tampering. However, blockchains are closed-world systems which do not have access to external state. To overcome this limitation, oracles have been introduced in various forms and for different purposes. However so far common oracle best practices have not been dissected, classified, and studied in their fundamental aspects. In this paper, we address this gap by studying foundational blockchain oracle patterns in two foundational dimensions characterising the oracles: (i) the data flow direction, i.e., inbound and outbound data flow, from the viewpoint of the blockchain; and (ii) the initiator of the data flow, i.e., whether it is push or pull-based communication. We provide a structured description of the four patterns in detail, and discuss an implementation of these patterns based on use cases. On this basis we conduct a quantitative analysis, which results in the insight that the four different patterns are characterized by distinct performance and costs profiles.

This contribution reports on the research project SKRIBT and some of its results. An evacuation simulation based on VISSIM's pedestrian dynamics simulation was developed, that -- with high time resolution -- integrates results from studies on behavior in stress and crisis situations, results from CFD models for e.g. fire dynamics simulations, and considers visibility of signage and -- adding a psychological model -- its cognition. A crucial issue is the cognition of smoke or fire by the occupant and his / her resulting spontaneous or deliberate reaction to this episode., Comment: Contribution to "Pedestrian and Evacuation Dynamics 2010" (PED2010) conference, Gaithersburg, MD

We report here a systematic study of the energy gaps at the odd-integer quantum Hall states $\nu=3$ and 5 under tilted magnetic (B) fields in a high quality Si two-dimensional electron system. Out of the coincidence region, the valley splitting is independent of the in-plane B fields. However, the $\nu=3$ valley gap differs by about a factor of 3 ($\Delta_v\sim$ 0.4K vs. 1.2K) at either side of the coincidence. More surprisingly, instead of reducing to zero, the energy gaps at $\nu=3$ and 5 rise rapidly when approaching the coincidence angles. We believe that such anomaly is related to strong coupling of the nearly degenerate Landau levels., Comment: 4 REVTEX pages, 4 figures

A split gate technique is used to form a lateral quantum dot in a two-dimensional electron gas of a modulation-doped silicon/silicon-germanium heterostructure. e-beam lithography was employed to produce split gates. By applying negative voltages to these gates the underlying electron gas is depleted and a lateral quantum dot is formed, the size of which can be adjusted by the gate voltage. We observe single-electron operation with Coulomb blockade behavior below 1K. Gate leakage currents are well controlled, indicating that the recently encountered problems with Schottky gates for this type of application are not an inherent limitation of modulation-doped Si/SiGe heterostructures, as had been speculated., Comment: 3 pages

We report on the transient-enhanced shape transformation of nano-structured Si(001) surfaces upon in vacuo annealing at relatively low temperatures of 1175K - 1225K for a few minutes. We find dramatic surface mass transport concomitant with the development of low-energy facets on surfaces that are covered by native oxide. The enhanced surface mass transport ceases after the oxide is completely desorbed, and it is also not observed on surfaces where the native oxide had been removed by HF before annealing., Comment: 12 pages, 4 figures