If dom(γ 1) = Γ1, dom(γ 2) = Γ2, and Γ = Γ1 Γ2, then γ 1 γ 2 is de ned when for any variable x ∈ Γ1 ∩ Γ2, γ 1 (x ) = γ 2 (x ) and is de ned as γ (x ) = γ 1 (x ) if x ∈ Γ1 and γ (x ) = γ 2 (x ) if x ∈ Γ2. (R,σ1,σ2) is well formed if σ1,σ2 are closed types and R ∈ Rel[σ1,σ2]. The relationsV JρKj , E JρKj , . . . below are only de ned for closed relation types ρ, ρ. Substitution is extended to ρ, ...

This paper develops a taxonomy of qualitative spatial relations for pairs of regions, which are all logically de ned from two primitive (but axiomatised) notions. The rst primitive is the notion of two regions being connected, which allows eight jointly exhaustive and pairwise disjoint relations to be de ned. The second primitive is the convex hull of a region which allows many more relations t...

The electric and magnetic black hole solutions are found by coupling the recently introduced nonlinear electrodynamics (NED) model, called "double logharitmic electrodynamics" with cosmological Einstein gravity. become Reissner-Nordstrom (RN) in weak field limit asymptotically. solution is expressed as an integral equation while terms of elementary functions. Hence, thermodynamic structure anal...

We present an explicit construction of AC circuits that simulate nite state transducer iteration. Our approach yields circuits with only Θ(n log(n)) linear fan-in gates, whereas the circuits built from standard proof of L ⊆ AC use matrix multiplication and hence have Θ(n log(n)) such gates.

This paper presents the operational semantics and the Petri net semantics of a fragment of the box algebra in tutorial style. For the operational semantics, induc-tive rules for marked expressions are given. For the net semantics, a general mechanism of reenement and relabelling is introduced, using which the connectives of the algebra are deened. A companion paper shows how this mechanism can ...

Due to the need for fast design cycles and low production cost, programmable targets like DSP processors are becoming increasingly popular. Design planning, detailed design as well as updating such designs requires mapping existing algorithms onto these targets. Instead of writing target-speci c mappers, we propose using retargetable mappers. The technique reported in this paper is based on pat...

We describe a research project that has as its goal development of a full-featured decision support system for managing forested land to satisfy multiple criteria represented as timber, wildlife, water, ecological, and wildlife objectives. The decision process proposed for what was originally conceived of as a Northeast Decision Model (NED) includes data acquisition, goal selection,, goal satis...

The “one sense per discourse” (OSPD) and “one sense per collocation” (OSPC) hypotheses have been very influential in Word Sense Disambiguation. The goal of this paper is twofold: (i) to explore whether these hypotheses hold for entities, that is, whether several mentions in the same discourse (or the same collocation) tend to refer to the same entity or not, and (ii) test their impact in Named-...

Methods for Named Entity Recognition and Disambiguation (NERD) perform NER and NED in two separate stages. Therefore, NED may be penalized with respect to precision by NER false positives, and suffers in recall from NER false negatives. Conversely, NED does not fully exploit information computed by NER such as types of mentions. This paper presents J-NERD, a new approach to perform NER and NED ...

The traditional named entity detection (NED) and entity linking (EL) techniques cannot be applied to domain-specific knowledge base effectively. Most of existing techniques just take extracted named entities as the input to the following EL task without considering the interdependency between the NED and EL and how to detect the Fake Named Entities (FNEs). In this paper, we propose a novel appr...