NXP and Magillem Design Services have collaborated in the frame of a European project called SPRINT. One of the objective of this work was to study the possibility to exploit in the IP integration verification area the new standard IP-XACT issued by the SPIRIT consortium for packaging and managing metadata for hardware platform. This paper presents the overall capabilities of IP-XACT for the ma...

Programs are not only a tool for the simplification or automation of everyday tasks; they also represent a significant time and money investment. A program's life may span years, or even decades, which creates certain risks for the stakeholders involved. To mitigate the risks associated with these legacy systems, software renovation can be undertaken. Software renovation can be described as a s...

Medical records are crucial resources for every aspect of healthcare practice. The amount and complexity of the information they bear require the use of automation. In this paper we propose a method for separating and classifying the information available in medical records, drawing on Karl Popper philosophical theories. We test this method by using descriptions of clinical cases within the sco...

This PhD project aims to investigate how enough information can be collected from an interactive formal proof to capture an expert’s ideas as a high-level proof process. It would then serve for extracting proof strategies to facilitate proof automation. Ways of inferring this proof process automatically are explored; and a family of tools is developed to capture the different proof processes an...

High quality mechanical manufacturing of small components and subassemblies having geometric features in the micrometer range requires controlled and coordinated processes. Considering full automation of the production process as essential, not only manufacturing processes have to be optimized but also handling and quality assurance operations take an integral part of the production process. We...

Both simultaneous localization and mapping (SLAM) and detection and tracking of moving objects (DTMO) play key roles in robotics and automation. For certain constrained environments, SLAM and DTMO are becoming solved problems. But for robots working outdoors, and at high speeds, SLAM and DTMO are still incomplete. In earlier works, SLAM and DTMO are treated as two separate problems. In fact, th...

This paper describes a model and implementation of a system for automatically testing, evaluating, grading and providing critical feedback for the submitted programming assignments. Complete automation of the evaluation process, with proper attention towards monitoring student’s progress and performing a structured level analysis is addressed. The tool provides on-line support to both the evalu...

The automatic identification of direct and indirect discourses is a topic not yet explored in Natural Language Processing. We developed the DID system that when applied to children stories identifies the discourses, relative to the narrator (indirect discourse) or to the characters taking part in the story (direct discourse). This automation can be advantageous, namely when it is necessary to t...

Introduction: The Sc is an important parameter to monitor unit (MU) calculation in radiation therapy procedure. The aim of this study is to measurement and comparison of head scatter factor (Sc) for 9MV photon beam using the build-up cap and a columnar mini-phantom.   Materials and Methods: The measurements performed using a calibrated ion chamber (Scanditron...

Copyright © by Houghton Mifflin Harcourt Publishing Company All rights reserved. No part of this work may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying or recording, or by any information storage or retrieval system, without the prior written permission of the copyright owner unless such copying is expressly permitted by federal copyr...