We introduce a new methodology, based upon probabilistic expert systems, for analysing forensic identification problems involving DNA mixture traces using quantitative peak area information. Peak area is modelled with conditional Gaussian distributions. The expert system can be used for ascertaining whether individuals, whose profiles have been measured, have contributed to the mixture. It can ...

Context-awareness is a key feature for ubiquitous computing scenarios applications. Currently, technologies and methodologies have been proposed for the integration of context-awareness concepts in intelligent information systems to adapt them to the execution of services, user interfaces and data retrieval. Recent research proposed conceptual modeling alternatives to the integration of the dom...

The EUscreen project represents the European television archives and acts as a domain aggregator for Europeana, Europe’s digital library. The main motivation for its creation was to provide unified access to a representative collection of television programs, secondary sources and articles, and in this way to allow students, scholars and the general public to study the history of television in ...

We present an unified methodology for representation and development of dialectical proof procedures in abstract argumentation based on the notions of legal environments and dispute derivations. A legal environment specifies the legal moves of the dispute parties while a dispute derivation describes the procedure structure. A key insight of this paper is that the opponent moves determine the so...

In this paper we present BabelDomains, a unified resource which provides lexical items with information about domains of knowledge. We propose an automatic method that uses knowledge from various lexical resources, exploiting both distributional and graph-based clues, to accurately propagate domain information. We evaluate our methodology intrinsically on two lexical resources (WordNet and Babe...

Theories of interface trap generation in Negative Bias Temperature Instability (NBTI) and Hot Carrier Injection (HCI) mechanisms are unified under the geometric interpretation and computational modeling of Reaction-Diffusion (R-D) theoryframework. Analytical derivations that predict the degradation are shown, simulation methodology is explained and numerical solutions are obtained. Time-exponen...

The purpose of this paper is to show how the Timoshenko beam can be fruitfully approached within the framework of distributed port Hamiltonian systems (dpH systems) so that rather simple and elegant considerations can be drawn regarding both the modeling and control of this mechanical system. After the distributed port Hamiltonian (dpH) model of the beam is introduced, the control problem is di...

Agent-oriented methodology (AOM) is a comprehensive and unified agent methodology for agent-oriented software development. Although AOM is claimed to be able to cope with a complex system development, it is still not yet determined up to what extent this may be true. Therefore, it is vital to conduct an investigation to validate this methodology. This paper presents the adoption of AOM in devel...

This work describes a methodology to index anatomical phrases to the 2005AA release of the Unified Medical Language System (UMLS). A phrase chunking tool based on Natural Language Processing (NLP) was developed to identify semantically coherent phrases within medical reports. Using this phrase chunker, a set of 2,551 unique anatomical phrases was extracted from brain radiology reports. These ph...

A methodology for the determination of decompression hardware that guarantees complete fault coverage for a unified compaction/compression scheme is proposed. Test cube information is utilized for the determination of a near optimal decompression hardware. The proposed scheme attains simultaneously high compression levels and reduced pattern counts through a linear decompression hardware. Signi...