Computer and information sciences topic list of research papers
-
Effective Implementation of DGEMM on Modern Multicore CPU
Abstract In this paper we will present a detailed study on tuning double-precision matrix-matrix multiplication (DGEMM) on the Intel Xeon E5-2680 CPU. We selected an optimal algorithm from the instruction set perspective as well software tools...
2012 / Pawel Gepner, Victor Gamayunov, David L. Fraser -
General Bayesian Network Approach to Health Informatics Prediction: Emphasis on Performance Comparison
Abstract Health Informatics is emerging as a promising research area. As average life expectancy increases due to medical technology development, health issues remain most sensitive agenda in most of countries in the world. However, heal th...
2013 / Dahee Chung, Kun Chang Lee, Seung Chang Seong -
Analysis of a collaborative workflow process with distributed actors2008 / Hajo A. Reijers, Minseok Song, Byungduk Jeong
-
Medical Brochures Translated into English in Spain
Abstract The aim of this conference is to present the results of an analysis of the text genre of medical brochures that have been translated into English and published in Spain. We will contrast the results of this work with those obtained in a...
2015 / Goretti Faya Ornia -
Using scenarios to design complex technology-enhanced learning environments2012 / Ton de Jong, Armin Weinberger, Isabelle Girault, Anders Kluge, Ard W. Lazonder, et al.
-
Rewriting Systems and the Modelling of Biological Systems2004 / Jean-Louis Giavitto, Grant Malcolm, Olivier Michel
-
Sharpening the Incompleteness of the Duration Calculus
Abstract We prove that the particularly narrow subset of the duration calculus which is defined by the BNF φ : ...
2005 / Dimitar P. Guelev -
Towards Formalizing Categorical Models of Type Theory in Type Theory
Abstract This note is about work in progress on the topic of “internal type theory” where we investigate the internal formalization of the categorical metatheory of constructive type theory in (an extension of) itself. The basic notion is that of a...
2008 / Alexandre Buisse, Peter Dybjer -
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols
Abstract When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It has been established that the traditional scheduler needs to ...
2007 / Srečko Brlek, Sardaouna Hamadou, John Mullins -
Modeling Pointer Redirection as Cyclic Term-graph Rewriting
Abstract We tackle the problem of data-structure rewriting including global and local pointer redirections. Each basic rewrite step may perform three kinds of actions: (i) Local redirection, the aim of which is to redirect specific pointers...
2007 / Dominique Duval, Rachid Echahed, Frédéric Prost -
Cut Elimination for a Simple Formulation of PAε
Abstract The goal is to simplify epsilon substitution method to make possible its extension to much stronger systems than ones treated up to now.
2005 / Grigori Mints -
Pervasive Process Calculus
Abstract Process calculi with various signatures and reaction rules may provide a theoretical basis for pervasive computing.
2006 / Robin Milner -
Validating Behavioral Component Interfaces in Rewriting Logic
Abstract Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredictable ways, as other applications may arrive, evolve, or...
2006 / Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen -
Co-transformations in Information System Reengineering
Abstract Database reengineering consists of deriving a new database from a legacy database and adapting the software components accordingly. This migration process involves three main steps, namely schema conversion, data conversion and program...
2005 / Anthony Cleve, Jean Henrard, Jean-Luc Hainaut -
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem
Abstract The use of Frege-Russell style definite descriptions for giving meaning to functions has been long established and we investigate their use in the development of Functional Programs and from these to the development of correct imperative...
2009 / Hugh Gibbons -
On the Decidability of the Safety Problem for Access Control Policies
Abstract An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is not obvious via human inspection; there is, therefore, a need...
2007 / E. Kleiner, T. Newcomb -
Proof Search and Counter Model of Positive Minimal Predicate Logic
Abstract This paper presents an algorithm of proof search for positive formulas in minimal predicate logic. It is based on the LJB deduction system introduced in [Dowek, G. and Y. Jiang, Eigenvariables, bracketing and the decidability of positive...
2008 / Tao Xue, Qichao Xuan -
Weighted Timed Automata: Model-Checking and Games
Abstract In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model.
2006 / Patricia Bouyer -
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
Abstract The application of concurrent calculi to the formalisation of biological systems constitutes a promising approach to the analysis in silico of biological phenomena. The Gillespie algorithm is one of the main models exploited for their...
2008 / Cristian Versari, Nadia Busi -
Discussion on Social Network Learning from the Long Tail
Abstract The long tail can be applied not only in the economical field, but also the culture field. Firstly, the paper details on the long tail phenomenon among data, information and knowledge. Then it points out that there exists significant long...
2012 / Xiuping Du, Yiwen Wang, Wenrui Du, Aiwen Feng