Linear Temporal Logic (LTL) is one of the most commonly used formalisms for representing and reasoning about temporal properties computations. Its application domains range from formal verification to artificial intelligence. Many real-time extensions LTL have been proposed over years, including Timed Propositional (TPTL), that makes it possible constrain ordering pairs events as well exact tim...

There are many variants of the original self-organizing neural map algorithm proposed by Kohonen. One of the most recent is the Evolving Tree, a tree-shaped self-organizing network which has many interesting characteristics. This network builds a tree structure splitting the input dataset during learning. This paper presents a speed-up modification of the original training algorithm useful when...

We propose new antichain-based algorithms for checking universality and inclusion of nondeterministic tree automata. We have implemented these algorithms in a prototype tool and we present experiments which show that the algorithms provide a significant improvement over the traditional determinisationbased approaches. Furthermore, we use the proposed antichain-based inclusion checking algorithm...

1. Tropical forest tree diversity has been hypothesized to be maintained via the attraction of density responsive and species-specific enemies. Tests of this hypothesis usually assume a linear relationship between enemy pressure (amount of damage and enemy richness) and seedling or tree density. However, enemy pressure is likely to change nonlinearly with local seedling abundance and community ...

background coronary artery diseases (cad) are associated with psychological problems such as anxiety and depression in patients. thus, management of these problems can consider as an important intervention by health care workers, especially nurses. objectives the purpose of this study was to investigate the effectiveness of patient-focused clinical pathway on anxiety, depression and satisfactio...

See slides Questions/Answers: Map building tree → rectangular world necessary? No, axioms are topological only What about boundary relations in a U-shaped road? Boundary relations need to be defeasible Comment (Ian Pratt-Hartmann) -> How do you know your axioms are right? Spatial calculi could be applied? BK: I agree Do you prune your map building tree? Because of hierarchy/topological abstract...

At the Wageningen Laboratory of Plant Breeding, a software package has been developed to query a simple structured database with variety pedigree data. The package, called Peditree, creates a tree-shaped representation of pedigree information and has several visualization and lookup options. Estimates of inbreeding coefficient within a pedigree or coefficients of coancestry among pedigrees can ...