In this research, we build a Wikification corpus for advancing Japanese Entity Linking. This corpus consists of 340 Japanese newspaper articles with 25,675 entity mentions. All entity mentions are labeled by a fine-grained semantic classes (200 classes), and 19,121 mentions were successfully linked to Japanese Wikipedia articles. Even with the fine-grained semantic classes, we found it hard to ...

About half of the IIE nonmagmatic iron meteorites contain silicate inclusions with a primitive to differentiated nature. The presence of preserved chondrules has been reported for two IIE meteorites so far, Netscha€evo and Mont Dieu, which represent the most primitive silicate material within this group. In this study, silicate inclusions from two samples of Netscha€evo were examined. Both sili...

A wide variety of computer architectures have been proposed that attempt to exploit parallelism at different granularities. For example, pipelined processors and multiple instruction issue processors exploit the fine-grained parallelism available at the machine instruction level, while shared memory multiprocessors exploit the coarse-grained parallelism available at the loop level. Using a regi...

Recent program logics based on separation logic emphasise a modular approach to proving functional correctness for fine-grained concurrent programs. However, these logics have no automation support. In this paper, we present Caper, a prototype tool for automated reasoning in such a logic. Caper is based on symbolic execution, integrating reasoning about interference on shared data and about gho...

Traits have been designed as units for fine-grained reuse of behavior in the object-oriented paradigm. Records have been devised to complement traits for fine-grained reuse of state. In this paper, we present the language TRAITRECORDJ, a JAVA dialect with records and traits. Records and traits can be composed by explicit linguistic operations, allowing code manipulations to achieve fine-grained...

Traditional utility metering is to be replaced by smart metering. Smart metering enables very fine grained utility consumption measurements. These fine grained measurements raise privacy concerns due to the lifestyle information which can be inferred from the precise time at which utilities were consumed. This paper outlines two privacy respecting time of use billing protocols for smart meterin...

In a Grid environment applications are executed on distributed resources. Applications can be divided into separate parts for distributed and sequential execution. Typically, complete applications consisting of many parts may be executed on both local and remote resources. Computing resources may expect some form of payment in exchange for services used. In this situation there are two scenario...

This paper describes a higher-order logic with fine-grained intensionality (FIL). Unlike traditional Montogovian type theory, intensionality is treated as basic, rather than derived through possible worlds. This allows for fine-grained intensionality without impossible worlds. Possible worlds and modalities are defined algebraically. The proof theory for FIL is given as a set of tableau rules, ...

Our research program focuses on identifying and quantifying sediment erosion, transport, and deposition processes on the continental shelf through state-of-the-art observational techniques in both fine grained and sandy environments. In sandy environments our goal is to understand the detailed interactions and feedbacks between hydrodynamics, bedforms, and the resulting sand transport. In fine-...

Our research program focuses on identifying and quantifying sediment erosion, transport, and deposition processes on the continental shelf through state of the art observational techniques in both fine grained and sandy environments. In sandy environments our goal is to understand the detailed interactions and feedbacks between hydrodynamics, bedforms, and the resulting sand transport. In fine ...