Computer and information sciences topic list of research papers
-
Resource Utilization of Multi-hop CDMA Wireless Sensor Networks with Efficient Forwarding Protocols
Abstract In this paper, we propose a new forwarding scheme for a multi-hop CDMA wireless sensor network (WSN). Selection of intermediate nodes considers detection probability along with maximum forwarding distance by taking into account the wireless ...
2013 / Uma Datta, A. Mukherjee, P.K. Sahu, S. Kundu -
A Simulated Annealing for Tahmidi Course Timetabling
Abstract Scheduling university timetabling for large numbers of students is a difficult task especially to ensure no overlapping. Most of timetables are prepared manually, or at best with the help of a spreadsheet program. However, a manual process...
2014 / Nurlida Basir, Waidah Ismail, Norita Md Norwawi -
A Mathematical Programming Approach for the Maximum Labeled Clique Problem
Abstract This paper addresses a variant of the classical clique problem in which the edges of the graph are labeled. The problem consists of finding a clique as large as possible whose edge set contains at most b ∈ Z ...
2014 / Francesco Carrabs, Raffaele Cerulli, Paolo Dell’Olmo -
Intuitionistic Hypothetical Logic of Proofs
Abstract We study a term assignment for an intuitonistic fragment of the Logic of Proofs (LP). LP is a refinement of modal logic S4 in which the assertion □A is replaced by 〚 s ...
2014 / Gabriela Steren, Eduardo Bonelli -
Detecting Eye Blinking of a Real-world Student and Introducing to the virtual e-Learning Environment
Abstract The approach of e-Learning has become a powerful way to deliver knowledge considering the increase in on-line users. Virtual classes that utilize the method of synchronous e-Learning have an Avatar to represent the human user. However, the...
2013 / Asanka D. Dharmawansa, Katsuko T. Nakahira, Yoshimi Fukumura -
A Parallel Node-based Solution Scheme for Implicit Finite Element Method Using GPU
Abstract An efficient parallel implicit computing method for large-scale structural and solid mechanics problems based on GPU and Compute Unified Device Architecture (CUDA) is present. To obviate the global matrix assembly and reduce the GPU global...
2013 / Yong Cai, Guangyao Li, Hu Wang -
Natural User Interfaces to Teach Math on Higher Education
Abstract A common and known problem among students on higher education (in general throughout the scholar life) is the difficulty of learning math. Nowadays the teaching methods for learning math remain relatively the same. Though, with the emerging ...
2014 / Martha Alicia Magaña Echeverría, Pedro C. Santana-Mancilla, Hector Fabian Quintero Carrillo, Enrique Alejandro Fernández Enciso -
Abstract Correction of First-Order Functional Programs
Abstract DEBUSSY is an (abstract) declarative diagnosis tool for functional programs which are written in OBJ style. The tool does not require the user to either provide error symptoms in advance or answer any question...
2004 / M. Alpuente, D. Ballis, S. Escobar, M. Falaschi, S. Lucas -
Event Structures for Local Traces
Abstract Local traces and local event structures have been introduced in order to lift the semantical theory of 1-safe Petri nets to the level of more general Petri nets. In this paper, we cut out Petri nets and establish a direct link between these ...
2004 / H.C.M. Kleijn, R. Morin, B. Rozoy -
XML-based Specification of Diagram Editors
Abstract This paper describes a graphical specification tool for Dia Gen, a diagram editor generator based on hypergraph grammars and hypergraph transformation. The specification tool greatly simplifies the process of specifying and generating...
2004 / Mark Minas -
Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin2004 / Andrew Butterfield
-
An Assertional Language for the Verification of Systems Parametric in Several Dimensions
Abstract We propose a rich assertional language to be used for symbolic verification of systems with several parametric dimensions. Our approach combines notions coming from different fields. We use Colored Petri Nets [16] to describe nets of...
2004 / G. Delzanno -
Compiling Join-Patterns1 1This work is partly supported by the ESPRIT CONFER-2 WG-21836
Abstract The join-calculus is both a name passing calculus and a core language for concurrent and distributed programming. An essential part of its implementation is the compilation of join-patterns. Join-patterns define new channels and all the...
2004 / Fabrice Le Fessant, Luc Maranget -
The compiler as a validation and evaluation tool
Abstract Like a processor executes flawlessly at different frequencies, a compiler should produce correct results at any optimization level. The Intel® Itanium® processor family with its new features, like the register stack engine and control- and...
2005 / Gerolf F. Hoflehner, Daniel M. Lavery, David C. Sehr -
Analogy and Formal Languages
Abstract In this paper, we advocate a study of analogies between strings of symbols for their own sake. We show how some sets of strings, i.e., some formal languages, may be characterized by use of analogies. We argue that some preliminary “good...
2005 / Yves Lepage -
Strategies for Source-to-Source Constant Propagation
Abstract Data-flow optimizations are usually implemented on low-level intermediate representations. This is not appropriate for source-to-source optimizations, which reconstruct a source level program after transformation. In this paper we show how...
2004 / Karina Olmos, Eelco Visser -
The Geometry of Timed PV Programs
Abstract We introduce a real-time extension of the PV language: A timed PV program consists of a number of timed automata which synchronize by locking and releasing common resources. We give a geometric semantics to such programs in terms of local...
2004 / Ulrich Fahrenberg -
Four equivalent equivalences of reductions
Abstract Two co-initial reductions in a term rewriting system are said to be equivalent if they perform the same steps, albeit maybe in a different order. We present four characterisations of such a notion of equivalence, based on permutation,...
2004 / Vincent van Oostrom, Roel de Vrijer -
Towards Maude 2.0⋆ ⋆Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9505960 and CCR-9900334.
Abstract Maude 2.0 is the new version of the Maude rewriting logic language currently under development. Maude 2.0's three main goals are: (i) greater generality and expressiveness; (ii) efficient support for a wider range of programming...
2005 / M. Clave, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, et al. -
Towards a Model Theory for Esterel
Abstract Esterel is a synchronous language for reactive-systems design and builds the core of the commercial tool Esterel Studio. This paper shows how the constructive semantics of a combinational fragment of Esterel, as presented by Berry, can be...
2005 / Gerald Lüttgen, Michael Mendler