Computer and information sciences topic list of research papers
-
System Presentation
Abstract This paper describes ICAR, a program which analyses the implicit complexity of first order functionnal programs. ICAR is based on two previous characterizations of Ptime and Pspace by mean of term rewriting termination orderings and...
2004 / J.-Y. Moyen -
An Analysis of e-Learning System Features in Supporting the True e-Learning 2.0
Abstract Knowledge sharing process involve in the existence of social element is supported by technology web 2.0. This means we are looking for the use of e-learning system which is more open. Realizing the benefits, most e-learning systems are...
2012 / Mohd Shahizan Othman, Nadirah Mohamad, Lizawati Mi Yusuf, Norazah Yusof, Shaffika Mohd Suhaimi -
Effects and effect inference for a core Java calculus
Abstract An effects system can be used to delimit the scope of computational effects within a program. This information is not only useful for the programmer, but also can be used in the definition of a number of optimizations. Most effects systems...
2004 / G.M. Bierman, M.J. Parkinson -
Separating Interaction Concerns from Distributed Feature Components
Abstract Interaction problems between heterogeneous appli-cations require consideration of the semantic issue of reliable composition. This problem has become significant and ubiquitous in distributed systems as the Internet rapidly grows as a...
2004 / Jianxiong Pang, Lynne Blair -
Comonoids in chu
Abstract Com K may be defined as the (cartesian closed) category of comonoids in chu K, or equivalently as dictionaries D for which any crossword over D has its main diagonal in D. Com ...
2004 / Vaughan R. Pratt -
Proof-search and Proof Nets in Mixed Linear Logic
Abstract In this paper we study how to design proof-search methods for the multiplicative fragment of Mixed Linear Logic which combines both commutative and noncommutative connectives. After an analysis of the interaction and relationships between...
2005 / D. Galmiche, J.M. Notin -
Idealized CSP: Combining Procedures With Communicating Processes
Abstract Idealized CSP is a programming language combining simply typed, call-by-name procedures with asynchronous communicating processes. The language also generalizes Reynolds' Idealized Algol by adding typed channels and the ability to spawn...
2005 / Stephen Brookes -
Specification in CTL+Past, Verification in CTL
Abstract We describe PCTL, a temporal logic extending CTL with connectives allowing to refer to the past of a current state. This incorporates the new N, “From Now On”, combinator we recently introduced. PCTL...
2005 / F. Laroussinie, Ph. Schnoebelen -
Towards an Integrated Graph Based Semantics for UML
Abstract Recently, we proposed an integrated formal semantics based on graph transformation for central aspects of UML class, object and state diagrams. In this paper, we explain the basic ideas of that approach and show how two more UML diagram...
2004 / Martin Gogolla, Paul Ziemann, Sabine Kuske -
Parallel Rewriting of Graphs through the Pullback Approach
Abstract We continue here the development of our description of the pullback approach to graph rewriting - already shown to encompass both the NCE and the double-pushout approach, by describing parallel application of rewriting rules. We show that...
2005 / Michel Bauderon -
On the Specification of Higher Dimensional Automata1 1Research partially supported by the Australian Research Council.
Abstract Higher dimensional automata (HDA) have been widely studied as models of concurrent processes. Most current work focuses on developing the directed algebraic topological notions required to analyse HDA to determine their computer scientific...
2004 / Richard Buckland, Michael Johnson, Dominic Verity -
Monads in Semantics
Abstract In this extended abstract we provide a very brief overview of the notion of a monad along with some examples of applications to programming language semantics. The treatment is by no means exhaustive but rather chooses examples and results...
2005 / Philip S. Mulry -
Embedding Display Calculi into Logical Frameworks:
Abstract Logical frameworks are computer systems which allow a user to formalise mathematics using specially designed languages based upon mathematical logic and Church's theory of types. They can be used to derive programs from logical...
2004 / Jeremy E. Dawson, Rajeev Goré -
Sketches Dedicated to Michael Barr on the occasion of his 60th birthday
Abstract We generalise the notion of sketch. For any locally finitely presentable category, one can speak of algebraic structure on the category, or equivalently, a finitary monad on it. For any such finitary monad, we define the notions of sketch...
2005 / Yoshiki Kinoshita, John Power, Makoto Takeyama -
Fusion of Pedigreed Preferential Relations
Abstract Belief fusion, instead of AGM belief revision, was first proposed to solve the problem of inconsistency, that arise from repetitive application of the operation when agents' knowledge were amalgamated. However in the theory, all the sources ...
2004 / Yoshitaka Suzuki, Satoshi Tojo -
The Use of Graph Grammar in a Software Engineering Education Tool
Abstract SESAM (Software Engineering Simulation by Animated Models) is an education tool for project managers who want to learn how to lead projects successfully without spending time and money in real projects. SESAM consists of a model building...
2005 / Anke Drappa, Ralf Melchisedech -
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization
Abstract In this paper, a novel approach to discrete modeling of gene regulatory networks is presented. The approach is based on timed automata and is new in: (i) reflecting discrete abstraction of gene expression with arbitrary granularity, (ii)...
2013 / S. Van Goethem, J.-M. Jacquet, L. Brim, D. Šafránek -
Microblogging as a mechanism for human–robot interaction
Abstract This paper presents a novel approach to social data analysis, exploring the use of microblogging to manage interaction between humans and robots, and presenting and evaluating an architecture that extends the use of social networks to...
2014 / David Bell, Theodora Koulouri, Stanislao Lauria, Robert D. Macredie, James Sutton -
Judgment aggregation in search for the truth
Abstract We analyze the problem of aggregating judgments over multiple issues from the perspective of whether aggregate judgments manage to efficiently use all voters' private information. While new in judgment aggregation theory, this perspective...
2014 / İrem Bozbay, Franz Dietrich, Hans Peters -
Prelogical Test: An Alternative Tool for Early Detection of Learning Difficulties
Abstract Difficulties during the preschool age commonly lead to children who cannot solve problems, organize information and create meaning. It is necessary to predict factors that may affect their future learning. The aim is to...
2014 / Beatriz Abelleira, Paula Dinardi, Gabriela Esperón, Alberto Abaigar