A Calculus for Subjective Communication

In this paper we introduce Subjective Communication, a new interaction model for CAS and generalizing the attribute-based communication introduced in the AbC calculus. In this model, a message is broadcasted to every process, but each process can view the very same message in different ways, depending on its attributes. To formalize this model, we introduce SCC, the Subjective Communication Calculus, for which we propose two semantics: Direct SCC, particularly useful when dealing with an edge computing communication paradigm, and Indirect SCC, more suited to a cloud-centric model. We then introduce a stateless bisimilarity for our semantics, which we prove to be a congruence

Elucidating Surface Structure with Action Spectroscopy

Surface Action Spectroscopy, a vibrational spectroscopy method developed in recent years at the Fritz Haber Institute is employed for structure determination of clean and H2O-dosed (111) magnetite surfaces. Surface structural information is revealed by using the microscopic surface vibrations as a fingerprint of the surface structure. Such vibrations involve just the topmost atomic layers, and therefore the structural information is truly surface related. Our results strongly support the view that regular Fe3O4(111)/Pt(111) is terminated by the so-called Fetet1 termination, that the biphase termination of Fe3O4(111)/Pt(111) consists of FeO and Fe3O4(111) terminated areas, and we show that the method can differentiate between different water structures in H2O-derived adsorbate layers on Fe3O4(111)/Pt(111). With this, we conclude that the method is a capable new member in the set of techniques providing crucial information to elucidate surface structures. The method does not rely on translational symmetry and can therefore also be applied to systems which are not well ordered. Even an application to rough surfaces is possible

Barriers to cross-region research and development collaborations in Europe. Evidence from the fifth European Framework Programme

The focus of this paper is on cross-region R&D collaboration funded by the 5th EU Framework Programme (FP5). The objective is to measure distance, institutional, language and technological barrier effects that may hamper collaborative activities between European regions. Particular emphasis is laid on measuring discrepancies between two types of collaborative R&D activities, those generating output in terms of scientific publications and those that do not. The study area is composed of 255 NUTS-2 regions that cover the pre-2007 member states of the European Union (excluding Malta and Cyprus) as well as Norway and Switzerland. We employ a negative binomial spatial interaction model specification to address the research question, along with an eigenvector spatial filtering technique suggested by Fischer and Griffith (2008) to account for the presence of network autocorrelation in the origin-destination cooperation data. The study provides evidence that the role of geographic distance as collaborative deterrent is significantly lower if collaborations generate scientific output. Institutional barriers do not play a significant role for collaborations with scientific output. Language and technological barriers are smaller but the estimates indicate no significant discrepancies between the two types of collaborative R&D activities that are in focus of this study.Series: Working Papers in Regional Scienc

Accurate Hartree-Fock energy of extended systems using large Gaussian basis sets

Calculating highly accurate thermochemical properties of condensed matter via wave function-based approaches (such as e.g. Hartree-Fock or hybrid functionals) has recently attracted much interest. We here present two strategies providing accurate Hartree-Fock energies for solid LiH in a large Gaussian basis set and applying periodic boundary conditions. The total energies were obtained using two different approaches, namely a supercell evaluation of Hartree-Fock exchange using a truncated Coulomb operator and an extrapolation toward the full-range Hartree-Fock limit of a Pad\'e fit to a series of short-range screened Hartree-Fock calculations. These two techniques agreed to significant precision. We also present the Hartree-Fock cohesive energy of LiH (converged to within sub-meV) at the experimental equilibrium volume as well as the Hartree-Fock equilibrium lattice constant and bulk modulus.Comment: 7.5 pages, 2 figures, submitted to Phys. Rev. B; v2: typos removed, References adde

Resolving atomic diffusion in Ru(0001)-O(2×2) with spiral high-speed scanning tunneling microscopy

An intermediate state in atomic diffusion processes in the O(2×2) layer on Ru(0001) is resolved with spiral high-speed scanning tunneling microscopy (STM). The diffusion of atomic oxygen in the adlayer has been studied by density functional theory and STM. Transition state theory proposes a migration pathway for the diffusion in the oxygen adlayer. With spiral scan geometries—a new approach to high-speed STM—the oxygen vacancy mobility on the highly covered Ru(0001) surface is determined to be in the range of 0.1 to 1 Hz. Experimental evidence for the intermediate state along the oxygen diffusion pathway is provided in real space and real time

Dynamic instance generation for few-shot handwritten document layout segmentation (short paper)

Historical handwritten document analysis is an important activity to retrieve information about our past. Given that this type of process is slow and time-consuming, the humanities community is searching for new techniques that could aid them in this activity. Document layout analysis is a branch of machine learning that aims to extract semantic informations from digitised documents. Here we propose a new framework for handwritten document layout analysis that differentiates from the current state-of-the-art by the fact that it features few-shot learning, thus allowing for good results with little manually labelled data and the dynamic instance generation process. Our results were obtained using the DIVA - HisDB dataset

Dynamics in the O(2 × 1) adlayer on Ru(0001): bridging timescales from milliseconds to minutes by scanning tunneling microscopy

The dynamics within an O(2 × 1) adlayer on Ru(0001) is studied by density functional theory and high-speed scanning tunneling microscopy. Transition state theory proposes dynamic oxygen species in the reduced O(2 × 1) layer at room temperature. Collective diffusion processes can result in structural reorientations of characteristic stripe patterns. Spiral high-speed scanning tunneling microscopy measurements reveal this reorientation as a function of time in real space. Measurements, ranging over several minutes with constantly high frame rates of 20 Hz resolved the gradual reorientation. Moreover, reversible fast flipping events of stripe patterns are observed. These measurements relate the observations of long-term atomic rearrangements and their underlying fast processes captured within several tens of milliseconds

L-type calcium channel blockers and substance P induce angiogenesis of cortical vessels associated with beta-amyloid plaques in an Alzheimer mouse model

AbstractIt is well established that L-type calcium channels (LTCCs) are expressed in astroglia. However, their functional role is still speculative, especially under pathologic conditions. We recently showed that the α1 subunit-like immunoreactivity of the CaV1.2 channel is strongly expressed in reactive astrocytes around beta-amyloid plaques in 11-month-old Alzheimer transgenic (tg) mice with the amyloid precursor protein London and Swedish mutations. The aim of the present study was to examine the cellular expression of all LTCC subunits around beta-amyloid plaques by in situ hybridization using 35S-labeled oligonucleotides. Our data show that messenger RNAs (mRNAs) of the LTCC CaV1.2 α1 subunit as well as all auxiliary β and α2δ subunits, except α2δ-4, were expressed in the hippocampus of age-matched wild-type mice. It was unexpected to see, that cells directly located in the plaque core in the cortex expressed mRNAs for CaV1.2 α1, β2, β4, and α2δ-1, whereas no expression was detected in the halo. Furthermore, cells in the plaque core also expressed preprotachykinin-A mRNA, the precursor for substance P. By means of confocal microscopy, we demonstrated that collagen-IV-stained brain vessels in the cortex were associated with the plaque core and were immunoreactive for substance P. In cortical organotypic brain slices of adult Alzheimer mice, we could demonstrate that LTCC blockers increased angiogenesis, which was further potentiated by substance P. In conclusion, our data show that brain vessels associated with beta-amyloid plaques express substance P and an LTCC and may play a role in angiogenesis

Structure and registry of the silica bilayer film on Ru(0001) as viewed by LEED and DFT

Silica bilayers are stable on various metal substrates, including Ru(0001) that is used for the present study. In a systematic attempt to elucidate the detailed structure of the silica bilayer film and its registry to the metal substrate, we performed a low energy electron diffraction (I/V-LEED) study. The experimental work is accompanied by detailed calculations on the stability, orientation and dynamic properties of the bilayer at room temperature. It was determined, that the film shows a certain structural diversity within the unit cell of the metal substrate, which depends on the oxygen content at the metal-bilayer interface. In connection with the experimental I/V-LEED study, it became apparent, that a high-quality structure determination is only possible if several structural motifs are taken into account by superimposing bilayer structures with varying registry to the oxygen covered substrate. This result is conceptually in line with the recently observed statistical registry in layered 2D-compound materials

Assessing the Performance of Recent Density Functionals for Bulk Solids

We assess the performance of recent density functionals for the exchange-correlation energy of a nonmolecular solid, by applying accurate calculations with the GAUSSIAN, BAND, and VASP codes to a test set of 24 solid metals and non-metals. The functionals tested are the modified Perdew-Burke-Ernzerhof generalized gradient approximation (PBEsol GGA), the second-order GGA (SOGGA), and the Armiento-Mattsson 2005 (AM05) GGA. For completeness, we also test more-standard functionals: the local density approximation, the original PBE GGA, and the Tao-Perdew-Staroverov-Scuseria (TPSS) meta-GGA. We find that the recent density functionals for solids reach a high accuracy for bulk properties (lattice constant and bulk modulus). For the cohesive energy, PBE is better than PBEsol overall, as expected, but PBEsol is actually better for the alkali metals and alkali halides. For fair comparison of calculated and experimental results, we consider the zero-point phonon and finite-temperature effects ignored by many workers. We show how Gaussian basis sets and inaccurate experimental reference data may affect the rating of the quality of the functionals. The results show that PBEsol and AM05 perform somewhat differently from each other for alkali metal, alkaline earth metal and alkali halide crystals (where the maximum value of the reduced density gradient is about 2), but perform very similarly for most of the other solids (where it is often about 1). Our explanation for this is consistent with the importance of exchange-correlation nonlocality in regions of core-valence overlap.Comment: 32 pages, single pdf fil