Bernstein modes in a weakly relativistic electron-positron plasma

The kinetic theory of weakly relativistic electron-positron plasmas, producing dispersion relations for the electrostatic Bernstein modes was addressed. The treatment presented preserves the full momentum dependence of the cyclotron frequency, albeit with a relaxation on the true relativistic form of the distribution function. The implications of this new treatment were confined largely to astrophysical plasmas, where relativistic electronpositron plasmas occur naturally

Using schema transformation pathways for data lineage tracing

With the increasing amount and diversity of information available on the Internet, there has been a huge growth in information systems that need to integrate data from distributed, heterogeneous data sources. Tracing the lineage of the integrated data is one of the problems being addressed in data warehousing research. This paper presents a data lineage tracing approach based on schema transformation pathways. Our approach is not limited to one specific data model or query language, and would be useful in any data transformation/integration framework based on sequences of primitive schema transformations

Inter-modelling: From Theory to Practice

Proocedings of: ACM/IEEE 13 th International Conference on Model Driven Engineering Languages and Systems. Oslo, Norway, October 3-8, 2010.We define inter-modelling as the activity of building models that describe how modelling languages should be related. This includes many common activities in Model Driven Engineering, like the specification of model-to-model transformations, the definition of model matching and model traceability constraints, the development of inter-model consistency maintainers and exogenous model management operators. Recently, we proposed a formal approach to specify the allowed and forbidden relations between two modelling languages by means of bidirectional declarative patterns. Such specifications were used to generate graph rewriting rules able to enforce the relations in (forward and backward) model-to-model transformation scenarios. In this paper we extend the usage of patterns for two further inter-modelling scenarios &- model matching and model traceability &- and report on an EMF-based tool implementing them. The tool allows a high-level analysis of specifications based on the theory developed so far, as well as manipulation of traces by compilation of patterns into the Epsilon Object Language.Work funded by the Spanish Ministry of Science (project TIN2008-02081 and grants JC2009-00015, PR2009-0019), the R&D programme of the Madrid Region (project S2009/TIC-1650), the European Commission’s 7th Framework programme (grant #248864 (MADES)), and the Engineering and Physical Sciences Research Council (EPSRC) (grant EP/E034853/1).Publicad

Transactional failure recovery for a distributed key-value store

With the advent of cloud computing, many applications have embraced the ensuing paradigm shift towards modern distributed key-value data stores, like HBase, in order to benefit from the elastic scalability on offer. However, many applications still hesitate to make the leap from the traditional relational database model simply because they cannot compromise on the standard transactional guarantees of atomicity, isolation, and durability. To get the best of both worlds, one option is to integrate an independent transaction management component with a distributed key-value store. In this paper, we discuss the implications of this approach for durability. In particular, if the transaction manager provides durability (e.g., through logging), then we can relax durability constraints in the key-value store. However, if a component fails (e.g., a client or a key-value server), then we need a coordinated recovery procedure to ensure that commits are persisted correctly. In our research, we integrate an independent transaction manager with HBase. Our main contribution is a failure recovery middleware for the integrated system, which tracks the progress of each commit as it is flushed down by the client and persisted within HBase, so that we can recover reliably from failures. During recovery, commits that were interrupted by the failure are replayed from the transaction management log. Importantly, the recovery process does not interrupt transaction processing on the available servers. Using a benchmark, we evaluate the impact of component failure, and subsequent recovery, on application performance

The modelery: a collaborative web based repository

Software development processes are known to produce a large set of artifacts such as models, code and documentation. Keeping track of these artifacts without supporting tools is not easy, and making them available to others can be even harder. Standard version control systems are not able to solve this issue. More than keeping track of versions, a system to help organize and make artifacts available in meaningful ways is needed. In this paper we review a number of alternative systems, and present the requirements and the implementation of a collaborative web repository which we developed to solve this issue.Project LATiCES: Languages And Tools for Critical rEal-time Systems (Ref. NORTE-07-0124-FEDER-000062) is financed by the North Portugal Regional Operational Programme (ON.2 - O Novo Norte), under the National Strategic Reference Framework (NSRF), through the European Regional Development Fund (ERDF), and by national funds, through the Portuguese funding agency, Fundacão para a Ciência e a Tecnologia (FCT)

Optimistic Algorithms for Partial Database Replication

In this paper, we study the problem of partial database replication. Numerous previous works have investigated database replication, however, most of them focus on full replication. We are here interested in genuine partial replication protocols, which require replicas to permanently store only information about data items they replicate. We define two properties to characterize partial replication. The first one, Quasi-Genuine Partial Replication, captures the above idea; the second one, Non-Trivial Certification, rules out solutions that would abort transactions unnecessarily in an attempt to ensure the first property. We also present two algorithms that extend the Database State Machine to partial replication and guarantee the two aforementioned properties. Our algorithms compare favorably to existing solutions both in terms of number of messages and communication steps

Thermodynamics of the half-filled Kondo lattice model around the atomic limit

We present a perturbation theory for studying thermodynamic properties of the Kondo spin liquid phase of the half-filled Kondo lattice model. The grand partition function is derived to calculate chemical potential, spin and charge susceptibilities and specific heat. The treatment is applicable to the model with strong couplings in any dimensions (one, two and three dimensions). The chemical potential equals zero at any temperatures, satisfying the requirement of the particle-hole symmetry. Thermally activated behaviors of the spin(charge) susceptibility due to the spin(quasiparticle) gap can be seen and the two-peak structure of the specific heat is obtained. The same treatment to the periodic Anderson model around atomic limit is also briefly discussed.Comment: 5 pages, 3 figures, to appear in Phys. Rev.

Kappa-symmetry for coincident D-branes

A kappa-symmetric action for coincident D-branes is presented. It is valid in the approximation that the additional fermionic variables, used to incorporate the non-abelian degrees of freedom, are treated classically. The action is written as a Bernstein-Leites integral on the supermanifold obtained from the bosonic worldvolume by adjoining the extra fermions. The integrand is a very simple extension of the usual Green-Schwarz action for a single brane; all symmetries, except for kappa, are manifest, and the proof of kappa-symmetry is very similar to the abelian case.Comment: 18 pages. References adde