We give a bit thread prescription that is equivalent to the quantum extremal surface for holographic entanglement entropy. Our proposal inspired by considerations of threads in doubly models, and equivalence established proving generalisation Riemannian max-flow min-cut theorem. explore our proposal’s properties discuss ways which islands spacetime are emergent phenomena from perspective.

Ovids Erzählung von Philemon und Baucis steht exemplarisch für die Strategie des Dichters, aus heterogenen Quellen ein neues narratives Ganzes zu formen. Das wird in diesem Beitrag mit Blick auf zeitgenössische soziale Realität, Frage nach Intertextualität (im Rahmen eines weitgespannten Literaturkanons) Fiktionalität sowie Religionsgeschichte untersucht. Am Ende eine ebenfalls paradigmatische ...

The experience of applying the principles of orthogonal persistence to the Java programming language is described in the context of the PJama prototype implementation. The model for checkpointing the state of a computation, including live threads, is analyzed and related to a transactional approach. The problem of dealing with state that is external to the PJama environment is explained and the...

In oral surgery, the last phase of a surgical operation is represented by the tissues suture, that allows the wound lips edges approximation and their stabilization, to promote haemostasis, to avoid the alimentary residues accumulation on the incision line and allow the first intention healing. A good suture avoids that the displacing forces generated by the muscular insertions, functional move...

This paper describes ongoing work on the automatic construction of formal models from Real-Time implementations. The model construction is based on measurements of the timed behavior of the threads of an implementation, their causal interaction patterns and external visible events. A specification of the timed behavior is modeled in timed automata and checked against the generated model in orde...

This paper is, to our knowledge, the rst description of a system to support distributed threads on top of POSIX Threads (Pthreads) via distributed virtual shared memory (DSM). The aim of DSMThreads is to provide an easy way for a programmer to migrate from a concurrent programming model with shared memory (Pthreads) to a distributed model with minimal changes of the application code. Thus, a pr...

Haptics refers to a widespread area of research that focuses on the interaction between humans and machine interfaces as applied to the sense of touch. A haptic interface is designed to increase the realism of tactile and kinesthetic sensations in applications such as virtual reality, teleoperation, and other scenarios where situational awareness is considered important, if not vital. This pape...

We describe a program logic for weak memory (also known as relaxed memory). The logic is based on Hoare logic within a thread, and rely/guarantee between threads. It is presented via examples, giving proofs of many weak-memory litmus tests. It extends to coherence but not yet to synchronised assignment (compare-and-swap, load-logical/store-conditional). It deals with conditionals and loops but ...