Computer and information sciences topic list of research papers
-
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Abstract Recent coordination languages and models are moving towards the application of techniques coming from the research context of complex systems: adaptivity and self-organization are exploited in order to tackle the openness, dynamism and...
2007 / Matteo Casadei, Luca Gardelli, Mirko Viroli -
Automated Fault Localization for C Programs
Abstract If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating the actual fault in the source code is often a difficult task...
2007 / Andreas Griesmayer, Stefan Staber, Roderick Bloem -
Another Look at Function Domains
Abstract Bove and Capretta have presented a method to deal with partial and general recursive functions in constructive type theory which relies on an inductive characterisation of the domains of the functions. The method separates the logical and...
2009 / Ana Bove -
Improved the Energy of Ad Hoc On-Demand Distance Vector Routing Protocol
Abstract In the last few years, most of the proposed routing protocols problems in mobile ad-hoc networks (MANET) is how to improve the energy and how to maximize the network lifetime, the network node energy-limited routing protocol research is a...
2012 / Malek AL-Gabri, L.I. Chunlin, Yang Zhiyong, A.H. Naji Hasan., Zhang Xiaoqing -
K-NN query algorithm based on PB-tree with the parallel lines division2012 / Jine Tang, ZhangBing Zhou, Qun Wang
-
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Abstract Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creol objects are concurrent, each with its own virtual processor ...
2008 / Jasmin Christian Blanchette, Olaf Owe -
Graphical design issues on educational computer games for children
Abstract Games for educational purposes are presented in digital environments as the attention on video games grows and variety of their uses increase. Video games are one of the favorite entertaining activities for kids. Using the kids’ attention...
2011 / Seza Soyluçiçek -
The Extended Classroom: Meeting students’ needs using a virtual environment
Abstract In this article we outline some of the potentialities and barriers of 3D immersive virtual environments when used in a learning context. Classrooms can be extended - from physical to virtual space in order to fulfill students’ needs and to...
2011 / Ana Loureiro, Teresa Bettencourt -
An Improved Association Rules Algorithm Based on Frequent Item Sets
Abstract In this paper, based on the concept of Apriori algorithm for frequent itemsets, adding the element vector, sub-rule and parent-rule, an improved algorithm about association rules mining is proposed. This method overcomes the lack of...
2011 / Yaqiong Jiang, Jun Wang -
Flexible design for the future of distance learning
Abstract This study examines various design strategies which can be used in distance learning. Today, learning-teaching theories emphasize ‘learning’ so distance education has been affected and ‘distance learning’ concept has begun widely used....
2009 / Şirin Karadeniz -
A common type system for clinical natural language processing2013 / Stephen T Wu, Vinod C Kaggal, Dmitriy Dligach, James J Masanz, Pei Chen, et al.
-
Augmented Cognition in Human–System Interaction through Coupled Action of Body Sensor Network and Agent Based Modeling
Abstract This research proposes a conceptual model to make significant progress in augmented cognition. We intend to design a generic architecture to improve the collective situational awareness (SA) of a team of soldiers on the battlefield during...
2013 / Siddhartha Agarwal, Cihan H. Dagli -
Proving Reachability in B using Substitution Refinement
Abstract This paper proposes an approach to prove reachability properties of the form AG ( ψ ⇒ EF ...
2011 / Marc Frappier, Fama Diagne, Amel Mammar -
Optimizing the performance of non-fading and fading networks using CSMA with joint transmitter and receiver sensing2012 / Mariam Kaynia, Geir E Øien
-
The investigation of collocational errors in university students’ writing majoring in English
Abstract The purpose of the present study was to investigate the collocational errors in EFL college learners’ writing. A total of 68 sophomores University students in Hamadan city participated in this study. Thirty-eight assignments and...
2012 / Masoud Hashemi, Masoud Azizinezhad, Sohrab Dravishi -
Reading and text analysis in teaching of professional German
Abstract The paper deals with reading in teaching of professional German at one of the universities in the Czech Republic. The author -she is a tutor of this subject - propagates modern teaching methods, especially the use of e-learning in foreign...
2012 / Sarka Hubackova -
Automatic terrain generation with a sketching tool2012 / Anna Puig-Centelles, Peter A. C. Varley, Oscar Ripolles, Miguel Chover
-
Web 2.0 and Learning: When the Use of an Informal Context can Bring Help in a Formal Context
Abstract The Web 2.0 follows the Web 1.0 in enhancing a participatory culture (Jenkins, 2006) through web applications available online. This research aims to analyze the informal learning contexts proposed by the web 2.0 like mutual websites...
2012 / Eugénie Duthoit, Stéphanie Mailles-Viard Metz -
Preface2016 / Pierluigi Crescenzi, Michele Loreti
-
Web-Based Clustering Application Using Shiny Framework and DBSCAN Algorithm for Hotspots Data in Peatland in Sumatra
Abstract Forest and land fires currently have become serious problems in Indonesia. Peatlands are frequently burnt because of its characteristic, i.e. combustible when it was in dried condition. In the previous work, hotspots as on indicators for...
2016 / Rachma Hermawati, Imas Sukaesih Sitanggang