This paper briefly presents the canonical HPSG treatment of predicate complements (Section 1) and points out a number of problems with it (Section 2). Then it presents an alternative (Section 3) and shows how it avoids or solves the problems with the canonical treatment (Section 4). 1 The raising treatment of the predicate complements In mainstream HPSG predicate complements are treated along t...

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

The research was conducted with the aim of knowing student activity and learning outcomes using Jigsaw type cooperative model on respiratory system material in humans at SMP Negeri Satap Praimarada. This is a Classroom Action Research (CAR) which consists pre-cycle activities, cycle 1, 2, total 30 students. Each four stages, namely planning, implementation, observation, reflection. Number stude...

Based on the observations, background of this study is that there are several financial ratios experience fluctuations and contrary theory to find out level bank health in Panin Dubai Syariah Bank period 2017-2021. This aims for 2017-2021 using RGEC method. The valuation factors used Risk Profile, Good Corporate Governance, Earning Capital factors. object research statements quantitative with a...

iiiAG, 4auxiliary information, 59Background, 16Basic Temporal Logic, 4, 23BTL, 4Conclusion, 119data-agnostic backup, 55decentralized maintenance, 61deterministic finite state machine, 6EF, 4Faults in Finite State MachinesFaultsin Finite State Machines, 92finite state machine, 6FSM, 6fusible data structures, 6, 55Fusible Data Struct...

In this paper we consider techniques to identify and remove redundant predicates during predicate abstraction. We give three criteria for identifying redundancy. A predicate is redundant if any of the following three holds (i) the predicate is equivalent to a propositional function of other predicates. (ii) removing the predicate preserves safety properties satisfied by the abstract model (iii)...