Computer and information sciences topic list of research papers
-
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
Abstract We present modal logic on the basis of the simply typed lambda calculus with a system of equational deduction. Combining first-order quantification and higher-order syntax, we can maintain modal reasoning in terms of classical logic by...
2007 / Moritz Hardt, Gert Smolka -
A Rule-based System for Web site Verification
Abstract In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties of a given Web site, and then automatically check whether...
2006 / D. Ballis, J. García-Vivó -
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Abstract Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist up to a certain length. These termination criteria...
2006 / Mohammad Awedh, Fabio Somenzi -
Supporting Function Calls within PELCR
Abstract In [M. Pedicini and F. Quaglia. A parallel implementation for optimal lambda-calculus reduction PPDP '00: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, pages 3–14, ACM,...
2006 / Antonio Cosentino, Marco Pedicini, Francesco Quaglia -
Remarks on Testing Probabilistic Processes
Abstract We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a simple probabilistic version of the process calculus CSP. We...
2007 / Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang -
Augmented Risk Analysis
Abstract Risk analysis has recently emerged as a structured and precise methodology to help modern companies understand their risks and plan the relative countermeasures well in advance. It is based on a number of indicators: parameters that...
2007 / Giampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene -
Transformation of UML Models into Analyzable OSAN Models
Abstract The unified modelling language (UML) is a de facto standard for object-oriented modelling. However, the formal semantics for the notations included in UML are not provided, which are a key requirement for the verification and evaluation...
2006 / Ali Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar -
Encoding First Order Proofs in SMT
Abstract We present a method for encoding first order proofs in SMT. Our implementation, called ChewTPTP-SMT, transforms a set of first order clauses into a propositional encoding (modulo theories) of the existence of a rigid first order connection...
2008 / Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor -
Detecting unknown malicious code by applying classification techniques on OpCode patterns2012 / Asaf Shabtai, Robert Moskovitch, Clint Feher, Shlomi Dolev, Yuval Elovici
-
Bio-inspired Sensor Fusion for Quality Assessment of Harumanis Mangoes
Abstract In recent years, there have been a number of reported studies on the use of non-destructive technique to evaluate and determine mango maturity and ripeness levels. However, most of these reported works were conducted using single-modality...
2012 / F.S.A. Sa’ad, A. Zakaria, A.Y.M. Shakaff, M.Z. Abdullah, A.H. Adom, et al. -
Presenting a multimodal biometric model for tracking the students in virtual classes
Abstract The main purpose of this paper is to present a new e-learning model based on web applications with attendance control ability. The presented multimodal biometric based model is used to identification, authentication and tracking the users....
2011 / Mohsen Khademi Dehnavi, Neda Peykanpour Fard -
A splitting rate model of traffic re-routeing and traffic control
Abstract The paper presents an idealised dynamical model of day-to-day or within-day re-routeing using splitting rates at nodes, or node-exit flows, rather than route-flows. It is shown that under certain conditions repeated application of the...
2011 / Mike Smith, Richard Mounce -
Scheduling algorithms for the lock scheduling problem
Abstract In the present contribution we will show that scheduling a lock having at least two identical chambers requires solving the identical parallel machine scheduling problem with unit processing times, release dates and sequence dependent setup ...
2011 / Jannes Verstichel, Patrick De Causmaecker, Greet Vanden Berghe -
Development of the Electronic Engineering Case Library-- Classroom Response System
Abstract In order to train excellent engineers for industrial, Electronic Engineering Division of Beijing University of Technology attempts to establish a professional case library. The development and implement of the case library stimulate...
2012 / Zhuozheng Wang, Quanying Zheng, Junhua Liu, Yan Lv, Tingting Bian -
Effects of learner interaction, receptive and productive learning tasks on vocabulary acquisition: An Iranian case
Abstract This study investigated the effects of three different tasks on the acquisition of new EFL vocabulary items. Sixty six intermediate Iranian adults were divided into three learning groups: receptive (RL), productive (PL), and negotiated...
2011 / Sara Hashemi Shahraki, Zohreh Kassaian -
Asymmetric Object Recognition with Discriminative Learning and Visual Mirror
Abstract In this paper, a novel approach is proposed for asymmetric object recognition in computer vision. Asymmetric object is very common in the world but often ignored by researchers. It has a visual mirror when we view it from the opposite...
2011 / Jiabao Wang, Yafei Zhang, Jianjiang Lu, Jifei Chen -
Usability evaluation of e-commerce on B2C websites in China
Abstract With the development of electronic commerce, usability on a website is vital to customers and enterprises from e-commerce websites. However, many of these e-commerce applications still do not meet customers’ usability requirements and the...
2011 / Fangyu Li, Yefei Li -
A flexible modularity-based course management system
Abstract Course Management Systems (CMS), a kind of eLearning system, have become an important role in education. The trend towards more flexibility and intuitiveness in eLearning systems makes the design and development of course management system...
2009 / Xiaoran Wang, Banu Yaman, Coskun Bayrak -
Students’ Misconceptions About The Subjects in The Unit “The Systems in Our Body”
Abstract This research was carried out with 62 students in three 6th grade classes at a primary school in Izmir. Two of the three classes were chosen as the experimental groups. The first experimental group was taught with technologically-supported...
2009 / Güliz Aydin, Ali Günay Balim -
The opinions of students regarding the usage of computer technologies in constructivist learning
Abstract The aim of this study was to determine the opinions of the eight grade students using computer technologies in constructivist learning on science and technology course. The research was carried out in an elementary school in İzmir, in...
2009 / Meryem Nur Aydede, Teoman Kecercioğlu, Sertaç Arabacioğlu