Computer and information sciences topic list of research papers
-
Metaprogramming Applied to Web Component Deployment
Abstract Metaprogramming is a generic approach described in many articles. Surprisingly, examples of successful applications are scarce. This paper gives such an example. With a metaprogram of less than 2500 lines, we deploy components on the web by ...
2004 / Welf Löwe, Markus L. Noga -
Developing (Meta)Theory of λ-calculus in the Theory of Contexts1 1Work partially supported by Italian MURST project tosca and EC-WG types.
Abstract We present a case study on the formal development of a non trivial (meta)theory in the Theory of Contexts using the Coq proof assistant. The methodology underlying the Theory of Contexts for reasoning on systems presented in HOAS is based...
2004 / Marino Miculan -
Reverse Engineering Cellular Networks with Information Theoretic Methods2013 / Alejandro Villaverde, John Ross, Julio Banga
-
Information assurance in a distributed forensic cluster
Abstract When digital forensics started in the mid-1980s most of the software used for analysis came from writing and debugging software. Amongst these tools was the UNIX utility ‘dd’ which was used to create an image of an entire storage device. In ...
2014 / Nick Pringle, Mikhaila Burgess -
Recovery of Drawing Ability in Persons with Aphasia2013 / C. Pons, J. Stark
-
User Requirement Analysis in Data Warehouse Design: A Review
Abstract User requirement analysis is crucial in data warehouse design. It effects almost every decision throughout implementation of data warehouse or business intelligence system. Currently, there are no standardization of user requirement...
2014 / Nur Hani Zulkifli Abai, Jamaiah H. Yahaya, Aziz Deraman -
Challenges in Retaining Privacy in Smart Spaces
Abstract Advances in mobile computing, sensors, controls, ubiquitous networking, and other indoor automation infrastructure enable buildings to operate more intelligently, providing new levels of energy efficiency, safety, convenience, and quality...
2013 / Jimmy C. Chau, Thomas D.C. Little -
Didactic and Pedagogical View of E-learning Activities Free University of Bozen-bolzano
Abstract In the knowledge and communication age, the contribution of technology, especially web 2.0, has transformed the concept of distance learning into that of e-learning and online learning. These are based on the use of CSCL (Computer Supported ...
2014 / Francesca Ravanelli, Ivan Serina -
Exploring the Possibilities of Using Image Recognition Technology to Create a Hybrid Lean System for Pulse Methodology
Abstract Processes in product development are becoming more and more complex. A multitude of engineering disciplines are involved in the development of new products. New lean and agile methods arise. Pulse methodology is a lean deviation management...
2014 / Onur Kaya, Amer Catic, Dag Bergsjo -
Distances between classes of sphere-valued Sobolev maps
Abstract We introduce an equivalence relation on W s ...
2016 / Haïm Brézis, Petru Mironescu, Itai Shafrir -
Decision Rules, Trees and Tests for Tables with Many-valued Decisions–comparative Study
Abstract In this paper, we present three approaches for construction of decision rules for decision tables with many-valued decisions. We construct decision rules directly for rows of decision table, based on paths in decision tree, and based on...
2013 / Mohammad Azad, Beata Zielosko, Mikhail Moshkov, Igor Chikalov -
A Logic-based Framework for Software Construction
Abstract This paper describes a framework for assisting the automatic construction of programs from separately designed and compiled modules. The framework has facilities to automatically extract many important items of information from source...
2013 / Abid Jazaa -
Statistic Analysis of Precalculus Semantic Content with Respect to Gender Differences
Abstract The paper presents results form statistical analysis of both students performance levels in studying precaculus and semantic evaluation of web-based precalculus e-course materials. The analysis takes into account students achievements in...
2013 / Velislava Stoykova, Maya Mitkova -
Analysis of Reactive Routing Protocol Using Fuzzy Inference System
Abstract Earlier research in the field of routing protocols was extensively based on one constraint like shortest path between source to destination. There are several other parameters (such as dropping header packets in case of congestion in the...
2013 / M.N. Doja, Bashir Alam, Vivek Sharma -
Milkrun Vehicle Routing Approach for Shop-floor Logistics
Abstract In large-scale shop floors and manufacturing environment, different transportation systems are applied in order to satisfy the mate- rial requirements of the systems. The limited capacity of vehicles and time consumption of the logistics...
2013 / Dávid Gyulai, András Pfeiffer, Thomas Sobottka, József Váncza -
Online Test Tool to Determine the CEFR Reading Comprehension Level of Text
Abstract On the Common European Framework of Reference for Languages (CEFR) scale, the average reading comprehension level of the Dutch population is B1 and the average level of text provided by Dutch government organisations requires a considerably ...
2014 / Eric Velleman, Thea van der Geest -
COMENEGO (Corpus Multilingüe de Economía y Negocios): A Metadiscursive Analysis Approach
Abstract This paper describes a stage in the COMENEGO project, which is creating comparable corpora of Business texts in order to distribute them among translation practitioners so that they can use this resource when translating economic, business...
2013 / Daniel Gallego-Hernández -
Linguistic Variation in the Austrian Media Corpus. Dealing with the Challenges of Large Amounts of Data
Abstract The paper at hand deals with a new corpus of digital texts, the Austrian Media Corpus, which is being created at the Institute for Corpus Linguistics and Text Technology of the Austrian Academy of Sciences in Vienna. After presenting some...
2013 / Ransmayr Jutta, Mörth Karlheinz, Ďurčo Matej -
Interactive Learning Application in Microbiology: The Design, Development and Usability
Abstract Traditional forms of lecturing have been used in universities and schools for hundreds of years. It is one of the methods of teaching, due to the fact that the message is delivered across a huge number of students at the same time. However, ...
2013 / Aisyah Abdul Manap, Noor Aziezah Sardan, Riaza Perveen Mohd Rias -
Modelling and Simulation: Cyber War
Abstract The impact of cyber war can be profound. We develop a Mathematical model to better understand the cyber war scenario. This paper describes the behavior of different group participating in cyber war supported with simulated results. It also...
2014 / Bimal Kumar Mishra, Apeksha Prajapati