Event-B provides a flexible framework for stepwise system development via refinement. The framework supports steps for (a) refining events (one-by-one), (b) splitting events (one-by-many), and (c) introducing new events. In each of the steps events can moreover possibly be anticipated or convergent. All such steps are accompanied with precise proof obligations. Still, it remains unclear what th...

Event extraction systems typically locate the role fillers for an event by analyzing sentences in isolation and identifying each role filler independently of the others. We argue that more accurate event extraction requires a view of the larger context to decide whether an entity is related to a relevant event. We propose a bottom-up approach to event extraction that initially identifies candid...

The Top-K problem is defined as follows. Given L lists of real numbers, find the top K scoring L-tuples. A tuple is scored by the sum of its components. Rare event modeling and event ranking are often reduced to the Top-K problem. In this paper, we present the application of a fixedmemory heuristic search algorithm (namely, SMA*) and its distributed-memory extension to the Top-K problem. Our ap...

In the context of topcolor assisted technicolor(TC2) models, we study the production of the top-pions π t with single top quark via the processes pp̄ → tπ0 t+X and pp̄ → tπ t + X, and discuss the possibility of detecting these new particles at Tevatron and LHC. We find that it is very difficult to observe the signals of these particles via these processes at Tevatron, while the neutral and charge...

This research is a study that aims to see whether there empirical evidence of the reaction Indonesian capital market international political events, namely 2020 US Presidential Election using abnormal return indicators and trading volume activity. The methodology used event research. uses primary data taken from first party researchers get directly questionnaire given all employees IT companies...