Analysis by reduction is a method used in linguistics for checking the correctness of sentences of natural languages. This method is modelled by restarting automata. Here we study a new type of restarting automaton, the so-called t-sRLautomaton, which is an RL-automaton that is rather restricted in that it has a window of size 1 only, and that it works under a minimal acceptance condition. On t...

To the Editor: In their recent article, Eckman and colleagues highlight a difficult clinical decision: whether it is safe to restart anticoagulation for atrial fibrillation after intracerebral hemorrhage, and they cite the lack of published data addressing the issue.1 We agree that decisions must be made based on the relative risks versus benefits in individual patients, which will vary dependi...

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...