We report on an on-going effort to assess an automated ontology evaluation method that uses lexical frequencies to determine which are relevant lexical triples of a set of triples automatically mined from a textual corpus. The aim is to obtain a light-weight automatic ontology evaluation method that can be easily applied by knowledge engineers to determine whether or not the most important noti...

Because Unicode contains such a large number of characters and incorporates the varied writing systems of the world, incorrect usage can expose programs or systems to possible security attacks. This is especially important as more and more products are internationalized. This document describes some of the security considerations that programmers, system analysts, standards developers, and user...

A working knowledge of contraception will assist the pediatrician in both sexual health promotion as well as treatment of common adolescent gynecologic problems. Best practices in adolescent anticipatory guidance and screening include a sexual health history, screening for pregnancy and sexually transmitted infections, counseling, and if indicated, providing access to contraceptives. Pediatrici...

With the proliferation of embedded sensors, the number of data streams and the volume of streamed data has increased enormously. This has strongly influenced both our business and our private life and has brought forward a large variety of monitoring applications in different domains. In all these applications, the analysis of data streams in real-time is essential. One of the main challenges i...

Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework for capturing symmetry patterns in parameterised systems (i.e. an infinite family of finite-state systems): two regular word transducers to represent, respecti...

The distribution of m(+ ?) in the decay 0 ! + ? has been measured. The 0 has been produced in the reactions p p ! 0 0 0 , p p ! + ? 0 and p p ! ! 0. The results are based on a total of 6910 0 decays extracted from 10 million 2-prong and 2 million 4-prong triggered data. In a further study the box anomaly constant is extracted from this spectrum and the pseudoscalar parameters (f 1 , f 8 and PS)...

Coordination of a team of agents assigned to a time critical task has proven to be a challenge for the AI community. If team members include humans, this task becomes even more complex due to human cognitive limitations. To remedy this, humans are usually provided with personal assistants, called proxies, which handle all team level coordination. Since real tasks are actually performed by human...

EventNet is a large-scale video corpus and event ontology consisting of 500 events associated with event-specific concepts. In order to improve the quality of the current EventNet, we conduct the following steps and introduce EventNet version 1.1: (1) manually verify the correctness of event labels for all videos; (2) remove the YouTube user bias by limiting the maximum number of videos in each...

A further step could be to develop multifunctional structures, or structures that carry loads and perform system functions. Multifunctional system technologies such as conformal load bearing antenna structures, structurally integrated energy storage/harvesting, mechanised structural systems for morphing vehicle geometry, integrated/distributed sensing and associated technologies form the basis ...