We provide a formal model of a stratificational dependency approach to natural language description. This formal model is motivated by an elementary method of analysis by reduction, which serves for describing correct sentence analysis. The model is based on enhanced restarting automata that assign a set of parallel dependency structures to every reduction of an input sentence. These structures...

For real symmetric eigenvalue problems, there are a number of algorithms that are mathematically equivalent, for example, the Lanczos algorithm, the Arnoldi method and the unpreconditioned Davidson method. The Lanczos algorithm is often preferred because it uses signiicantly fewer arithmetic operations per iteration. To limit the maximum memory usage, these algorithms are often restarted. In re...

An industrial model of a dynamic system is usually not just a set of differential equations. External inputs acting on the system are common, such as an external force acting on a body or wind pressing on a car. Update of these inputs needs to be handled by the numerical solver in an efficient way. In dynamical simulation, multistep methods are commonly used. A multistep method uses the solutio...

PROBLEM Typhoon Haiyan damaged or destroyed health infrastructure, equipment and services essential to the Philippine National Tuberculosis Programme (NTP), and it had to be re-established in the affected areas in Regions 6, 7 and 8. Continuing treatment and restoring diagnostic capacity were also challenging. CONTEXT The Philippines has one of the highest tuberculosis (TB) burdens in the wor...

Atrial fibrillation increases the risk of stroke 3to 5-fold and is implicated in about 15% of all strokes every year. Anticoagulation therapy has been proven to be efficacious in reducing incident stroke and systemic embolism in patients with atrial fibrillation and mechanical heart valves. However, the benefits of anticoagulation must be carefully weighed against the increased risk of intracra...