Scheduling tasks on a radar system can be modeled as a multioperation scheduling problem where tasks are composed of two operations separated by a fixed duration. Tasks have to be scheduled on a single machine and the aim is to minimize the makespan. The complexity status of this problem has been settled for various cases but the one where all tasks are identical remains open. This paper aims a...

In one of their early works, Miranda and Persson have classified all possible configurations of singular fibers for semistable extremal elliptic fibrations on K3 surfaces. They also obtained the Mordell-Weil groups in terms of the singular fibers except for 17 cases where the determination and the uniqueness of the groups were not settled. In this paper, we settle these problems completely. We ...

A multigrid preconditioned conjugate gradient (MGCG) method[15], which uses the multigrid method as a preconditioner for the CG method, has a good convergence rate even for the problems on which the standard multigrid method does not converge efciently. This paper considers a parallelization of the MGCG method and proposes an e cient parallel MGCG method on distributed memory machines. For the ...

Introduction The success of penicillin in bacterial endocarditis has created new problems for the clinician. These include the need to make an early diagnosis, the choice of antibiotic, the difficulty of telling whether infection has been eliminated, and the prognosis when infection has been controlled. Moreover, the proper use of antibiotics to prevent bacterial endocarditis is of great import...

In this work, the problems of knowledge acquisition and information processing are explored in relation to the definitions of concepts and conceptual processing, and their implications for artificial agents. The discussion focuses on views of cognition as a dynamic property in which the world is actively represented in grounded mental states which only have meaning in the action context. Reason...

Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is increasingly widely applied in formal system specification and verification of distributed systems and game-like multi-agent systems. The extension Alternating-time Temporal Epistemic Logic (ATEL) of van der Hoek and Wooldridge of ATL with knowledge modalities widens the scope of reasoning over multi-agent systems with e...

The protection of series compensated lines, in particular with capacitors located at the end of the line, present many difficulties. The satisfactory setting of line and capacitor protections requires time domain simulations including the protection model. In most complicated cases, the connection of the real protections to digital or analogical simulators becomes necessary. Using this approach...

Using generalizations of the well known Rice formula and applying the general method related to m-dependent processes that we settled in earlier works, allow one to obtain representations into the Itô-Wiener Chaos and CLTs for curve-crossings number. This approach not only explains heuristic considerations of Longuet-Higgins on specular points and related problems in the context of sea modellin...

A multigrid preconditioned conjugate gradient (MGCG) method[15], which uses the multigrid method as a preconditioner for the CG method, has a good convergence rate even for the problems on which the standard multigrid method does not converge efciently. This paper considers a parallelization of the MGCG method and proposes an e cient parallel MGCG method on distributed memory machines. For the ...

Approximately 199 cladoceran species, 5 marine and 194 freshwater and continental saltwater species, live in China. Of these, 89 species are discussed in this paper. They belong to the 4 cladoceran orders, 10 families and 23 genera. There are 2 species in Leptodoridae; 6 species in 4 genera and 3 families in order Onychopoda; 18 species in 7 genera and 2 families in order Ctenopoda; and 63 spec...