FPGA-based Configurable Computing Machines (CCMs) offer powerful and flexible general-purpose computing platforms. However, development for FPGA-based designs using modern CAD tools is geared mainly toward an ASIC-like process. This is inadequate for the needs of CCM application development. This paper discusses an application framework for developing CCM-based applications beyond just the hard...

We present a theory of argumentation that can deal with contradiction within an argumentation framework, thus solving a problem posed in [1]. By representing logic programs as sets of interacting arguments, we can apply our results for general argumentation frameworks to logicprogramming semantics. This yields a new semantics for logic programs that properly extends traditional approaches such ...

An outline of a simulation framework is presented. The framework is based on the High-Level Architecture (HLA) framework, but is specific to Danish Maritime Institute (DMI). The framework presented defines a universe of real-time simulation concepts which support the more informal concepts available at DMI, but which respect the principles of HLA. Elements of the analysis, design and implementa...

Argumentation Scheme Frameworks Katie Atkinson and Trevor Bench-Capon Department of Computer Science University of Liverpool Liverpool L69 3BX UK {K.M.Atkinson,tbc}@liverpool.ac.uk Abstract. This paper presents an approach to modelling and reasoning about arguments that exploits and combines two of the most popular mechanisms used within computational modelling of argumentation: argumentation s...

this brief discusses the policy implications of a research study commissioned by health workforce australia (hwa) within its health workforce innovation and reform work program. the project explored conceptually complex and operationally problematic concepts related to developing a whole-of-workforce competency-based education and training and competency-based career framework for the australia...

In recent years the concept of eLearning Framework emerged associated with several initiatives promoted by educational organizations. These initiatives share a common goal: to create flexible learning environments by integrating heterogeneous systems already available in many educational institutions. The paper provides an introductory survey on eLearning Frameworks. It gathers information on t...

Dialectical Frameworks

We consider two metal-organic frameworks as identical if they share the same bond network respecting the atom types. An algorithm is presented that decides whether two metal-organic frameworks are the same. It is based on distinguishing structures by comparing a set of descriptors that is obtained from the bond network. We demonstrate our algorithm by analyzing the CoRe MOF database of DFT opti...

A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capa...