We describe an approach to acquiring a knowledge representation applied on technical documents. We focus on corpus with a strong underlying structure, which allows us to follow a number of precise patterns of presentation. Our goal is to provide effectiveness by reducing both time and cost, as well as subjectivity.

The Technical Committee on Lightning Protection of the International Electrotechnical Commission (IEC TC81) has finalised the new presentation of its work in four parts from general principles and risk management, to physical damage, life hazards and protection against electrical and electronic systems within structures. In this invited lecture we summarise their content and criticise the optio...

Polymorphism in programming languages enables code reuse. Here, we show that polymorphism has broad applicability far beyond computations for technical computing: parallelism in distributed computing, presentation of visualizations of runtime data flow, and proofs for formal verification of correctness. The ability to reuse a single codebase for all these purposes provides new ways to understan...

This paper presents an intelligent user interface for the management of personalised configuration in business-oriented domains. The proposed system fills the gap between the technical interaction style adopted by current configuration systems and the user’s needs, by assisting the user during the selection of the features of the items to be configured and by customising the presentation of the

The most attractive benefits of component-based development can only be realized if the components are of a level of quality much higher than run-of-the-mill application software. This presentation will review a set of techniques for producing and qualifying such components. It will conclude with a discussion proof issues and techniques for proving programs with extensive use of pointers, as O-...

Rapid technical advances in the field of computer animation (CA) and virtual reality (VR) have opened new avenues in animal behavior research. Animated stimuli are powerful tools as they offer standardization, repeatability, and complete control over the stimulus presented, thereby "reducing" and "replacing" the animals used, and "refining" the experimental design in line with the 3Rs. However,...

This report outlines the motivation and goals of the First International Workshop on Technical Debt Analytics (TDA 2016), presents the workshop programme, introduces the work accepted for presentation, and summarizes the major results and themes that emerged from the discussion and activities undertaken during the workshop.

Ultrasonography is rapidly replacing radiological techniques of gallbladder investigation. While ultrasonography is highly accurate, there are technical, anatomical and diagnostic pitfalls which will trap the unwary. This presentation highlights the pitfalls which we have encountered, reviews the literature in this area and suggests techniques whereby these pitfalls may be avoided.

One of the barriers to the success of Model-Based Systems Engineering (MBSE) efforts is realizing effective communication of the output diagrams—i.e., modeling views—that address the concerns of, and inform, a broad spectrum of customer stakeholders. Abstracting and implementing the visual presentation of views—as products of very complex system models—is nearly as important to the effectivenes...

It is frequently assumed that presenting the same material in written and spoken form benefits learning and understanding. The present work provides a theoretical justification based on cognitive load theory, and empirical evidence based on controlled experiments, that this assumption can be incorrect. From a theoretical perspective, it is suggested that if learners are required to coordinate a...