Possibilities are discussed for determining the top quark mass mt from observations on the decay processes for top-antitop pairs produced in antiproton-proton collisions at Tevatron energies, assuming that the t → bW decay channel is dominant and much faster than hadronization. The final states tt̄ → b̄bμe provide the most striking signal, with little background, but they are rare (≈ 2/81). If al...

UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides tool support, including drawing tools and a translator to generate Event-B models. The tools are closely integrated with the Event-B tools. When a drawing is saved the translator automatically generates the correspon...

This paper is an overview of the current research on hierarchical control of discrete-event systems. Four major approaches are identified and described: bottom-up design, top-down design, state aggregation, and interface-based design. The research examined is grouped into these sections, in an attempt to unify the terminology and concepts where possible without an in-depth theoretical investiga...

This paper proposes a new approach to associating rules with events in object oriented database systems. In it we propose a new run time subscription mechanism, which associates rules with specific event definitions. This provide a basis for indexing rules by event definitions, which reduces rule checking to a minimum. The proposed subscription mechanism is general, in that it can be applied to...

Previous research has shown that processing words with an up/down association (e.g., bird, foot) can influence the subsequent identification of visual targets in congruent location (at the top/bottom of the screen). However, as facilitation and interference were found under similar conditions, the nature of the underlying mechanisms remained unclear. We propose that word comprehension relies on...

This paper presents a framework for the development of higher level communication protocols that provides extra functionalities (e.g. one-to-many ordered delivery, atomic delivery, etc.) not supplied by standard off-the-shelf lower level communication protocols (e.g. the TCP/IP suite of protocols). The framework is based on the event channel abstraction which allows circumventing the main drawb...

With the increasing use of online communication platforms, such as email, Twitter, and messaging applications, we are faced with a growing amount of data that combine content (what is said), time (when), and user (by whom) information. Discovering meaningful patterns and understand what is happening in this data is an important challenge. We consider the problem of mining online communication d...

This paper presents an approach for video event inference from dozens of actions performed by multiple players. First, we constructed an And-Or graph to describe the different configurations of the event category such as shooting in soccer matches. We considered both temporal relations and role relations for the graph and encode them as vector parameters for each pair of graph nodes. Then, we d...

Dalam era digital yang semakin kompleks, situs web menjadi sasaran utama serangan oleh pihak tidak bertanggung jawab. Oleh karena itu, diperlukan sistem dapat memantau, menganalisis, dan memberikan peringatan dini terhadap aktivitas mencurigakan atau terjadi pada web. Untuk itu penelitian ini dilakukan analisis perancangan sebuah Security Information and Event Management (SIEM) digunakan untuk ...