Computer and information sciences topic list of research papers
-
Metalearning: a survey of trends and technologies2013 / Christiane Lemke, Marcin Budka, Bogdan Gabrys
-
Additive Consolidation with Maximal Change
Abstract A well known character of nonmonotonic reasoning is that it allows for multiple conclusion sets. Choice perspective selects one of the conclusions, and skeptical perspective uses the intersection of all of the conclusions. In this paper, we ...
2006 / Yoshitaka Suzuki -
Analysing the BKE-security Protocol with μCRL
Abstract The μCRL language and its corresponding tool set form a powerful methodology for the verification of distributed systems. We demonstrate its use by applying it to the well-known Bilateral Key Exchange security protocol. ...
2005 / Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik -
Completeness and Complexity of Multi-modal CTL
Abstract We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ ...
2009 / Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge -
Dynamics of information generation and transmissions through a social network in non-recurrent transport behaviour
Abstract Travellers attempting to make a non-recurrent trip cannot rely on their own experiences and, consequently, must rely on information generated by others. In such situations, travellers’ choices are subject to information transmissions...
2011 / Takamasa Iryo, Kazuma Yamabe, Yasuo Asakura -
Development of E-Learning environments combining learning skills and science and technology content for junior high school
Abstract In this paper we present an overview of E-learning environments that we have implemented using the Moodle platform (Modular Object-Oriented Dynamic Learning Environment). Moodle communicates extremely well with many web-based resources...
2011 / Kotzer Shulamit, Elran Yossi -
An extension of the OeLE platform for generating semantic feedback for students and teachers
Abstract Feedback is an important component of assessment in learning environments, because it allows students to know their learning flaws. Feedback information is indeed useful for teachers to design learning contents adapted to the needs of the...
2010 / F. Frutos-Morales, M.M. Sánchez-Vera, D. Castellanos-Nieves, A. Esteban-Gil, C. Cruz-Corona, et al. -
Pervasive Socio-Technical Fabric
Abstract In 2011, now 20 years after M. Weiser's “The Computer for the 21st Century” (1991), the vision impacting the evolution of Pervasive Computing is still the claim for an intuitive, unobtrusive and distraction free interaction with...
2011 / A. Ferscha, N. Davies, A. Schmidt, N. Streitz -
Model of Problem-based Learning using Systems Approach
Abstract Problem-based learning (PBL) as a teaching learning method has been implemented by the Department of Nursing Universiti Kebangsaan Malaysia (UKM) since 1996. The conceptual framework of conducting PBL uses systems approach involving input,...
2012 / Samsiah Mat, Ruhizan Mohd.Yassin, Noriah Ishak, Nabishah Mohammad, Santhna Letchumi Pandaragan -
A New Management Tools for Remote-Access Through Lan (P2P) Using WMI Technology
Abstract In this paper, we present a new management system permitting to explore remotely, in real time, a computer connected to a local network or Peer to Peer (P2P) Network, from a remote station, without that the user of this computer realizes...
2012 / Anis Ismail, Mohammad Hajjar, Mazen El-Sayed -
Random generation of RNA secondary structures according to native distributions2012 / Markus E Nebel, Anika Scheid, Frank Weinberg
-
Power control algorithms for mobile ad hoc networks
Abstract Power control algorithms are an important consideration in mobile ad hoc networks since they can improve network capacity and lifetime. Existing power control approaches in ad hoc network basically use deterministic or probabilistic...
2011 / Nuraj L. Pradhan, Tarek Saadawi -
Performance modeling of neighbor discovery in proactive routing protocols
Abstract It is well known that neighbor discovery is a critical component of proactive routing protocols in wireless ad hoc networks. However there is no formal study on the performance of proposed neighbor discovery mechanisms. This paper provides...
2011 / Andres Medina, Stephan Bohacek -
Aligning barge and terminal operations using service-time profiles2011 / Albert M. Douma, Peter C. Schuur, J. Marco J. Schutten
-
Detecting and Coordinating Complex Patterns of Distributed Events with KETAL
Abstract This paper presents an event-based kernel library designed to explicitly construct and coordinate complex interactions and communication patterns in distributed applications. The library integrates facilities for explicitly defining complex ...
2011 / Luis Daniel Benavides Navarro, Andrés Barrera, Kiyoshige Garcés, Hugo Arboleda -
Using ontologies for the federated simulation of critical infrastructures
Abstract This paper presents a Knowledge Base System (KBS) as a key component of a federated simulation framework aimed at investigating the dependencies among Critical Infrastructures (CIs). The KBS, based on the ontological formalism, represents...
2010 / Alberto Tofani, Elisa Castorini, Paolo Palazzari, Andrij Usov, Cesaire Beyel, et al. -
Success in learning English as a foreign language as a predictor of computer anxiety
Abstract This study investigated the relationship between success in English as a foreign language and the degree of computer anxiety, frequency of computer use, and computer ownership among Iranian high-school students. Eight hundred and nineteen...
2011 / Mehrak Rahimi, Samaneh Yadollahi -
ASIODS - An Asynchronous and Smart I/O Delegation System
Abstract In high performance computing, many large scientific and engineering problems are solved on a supercomputer which is the gathering of two specialized entities, one dedicated to computations and another one to I/O. Many applications to...
2011 / Maxime R. Hugues, Michael Moretti, Serge G. Petiton, Henri Calandra -
A Universal Identifier for Computational Results
Abstract We present a discipline for verifiable computational scienti_c research. Our discipline revolves around three simple new concepts — verifiable computational result (VCR), VCR repository and Verifiable Result Identifier (VRI). These are web- ...
2011 / Matan Gavish, David Donoho -
Implementing intelligent cores using processor virtualization for fault tolerance
Abstract Processor virtualization for process migration in distributed parallel computing systems has formed a significant component of research on load balancing. In contrast, the potential of processor virtualization for fault tolerance has been...
2010 / Blesson Varghese, Gerard McKee, Vassil Alexandrov