Computer and information sciences topic list of research papers
-
Preface2004 / Eric Goubault, Ulrich Fahrenberg
-
Design of Inquiry Virtual Experiment Platform
Abstract Designed a high-scalable architecture of inquiry virtual experiment platform based on MVP model, elaborated key process flow using UML, proposed a connected graphic analysis framework to filter useless information and provide user...
2012 / Rui Yao -
Design of Greenhouse Surveillance System Based on Embedded Web Server Technology
Abstract The embedded web technology is increasingly applied in precision agriculture. Based on ARM-Linux development environment, this paper constructs embedded web server and use it in acquisition and transmission of greenhouse information. The...
2011 / Gao Junxiang, Du Haiqing -
CyberInfrastructures of cyber-applications-systems
Abstract The paper discusses foundational notions and conditions in complex applications modeling and in software frameworks to support advanced CyberInfrastructure environments such as those implied and required for Dynamic Data Driven Applications ...
2010 / Frederica Darema -
The Application of Multiple Criteria Linear Programming in Advertisement Clicking Events Prediction
Abstract In advertisement industry, it is important to predict potentially profitable users who will click target ads (i.e., Behavioral Targeting). The task selects the potential users that are likely to click the ads by analyzing user's...
2013 / Fang Wang, Peng Zhang, Yanmin Shang, Yong Shi -
Hangman BCI: An unsupervised adaptive self-paced Brain–Computer Interface for playing games
Abstract This paper presents a novel user interface suitable for adaptive Brain Computer Interface (BCI) system. A customized self-paced BCI architecture is introduced where the system combines onset detection system along with an adaptive...
2012 / Bashar Awwad Shiekh Hasan, John Q. Gan -
Comparative study for image registration techniques of remote sensing images
Abstract Image registration determines the relative orientation between two images. As there are different techniques for image registration, it is important to compare these techniques to identify the advantages and disadvantages of each one. In...
2010 / R.M. Ezzeldeen, H.H. Ramadan, T.M. Nazmy, M. Adel Yehia, M.S. Abdel-Wahab -
Deterministic Routing with HoL-Blocking-Awareness for Direct Topologies
Abstract Routing is a key design factor to obtain the maximum performance out of interconnection networks. Depending on the number of routing options that packets may use, routing algorithms are classified into two categories. If the packet can only ...
2013 / R. Peñaranda, C. Gómez, M.E. Gómez, P. López, J. Duato -
Mechanising the Alphabetised Relational Calculus
Abstract In Hoare and He's unifying theories of programming, the alphabetised relational calculus is used to describe and relate different programming paradigms, including functional, imperative, logic, and parallel programming. In this paper, we...
2004 / Gift Nuka, Jim Woodcock -
Translating Mobile Ambients into P Systems
Abstract We present a translation of the mobile ambients without communication and replication into P systems with mobile membranes. We introduce a set of developmental rules over membranes, and describe the correspondence between the behaviour of...
2007 / Aman Bogdan, Gabriel Ciobanu -
Pre-Galois Connection on Coalgebras for Generic Component Refinement
Abstract The technique of Galois connections has been applied successfully in many areas of computer science. By employing coalgebras as models for software components, we claim that different forms of behavior model and types of state transitions...
2008 / Meng Sun -
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
Abstract This work extends Propositional Dynamic Logic (PDL) with parallel composition operator and four atomic programs which formalize the storing and recovering of elements in data structures. A generalization of Kripke semantics is proposed that ...
2011 / Mario R.F. Benevides, Renata de Freitas, Petrucio Viana -
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
Abstract We present a technique for inducing functional programs from few, well chosen input/output-examples (I/O-examples). Potential applications for automatic program or algorithm induction are to enable end users to create their own simple...
2007 / Emanuel Kitzelmann, Ute Schmid -
Quantifying the Benefits of SSA-Based Mobile Code
Abstract High-performance just-in-time compilers for Java need to invest considerable effort before actual code generation can commence. This is in part due to the very nature of the Java Virtual Machine, which is not well matched to the...
2005 / Wolfram Amme, Jeffery von Ronne, Michael Franz -
NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation
Abstract NiMo (Nets In Motion) is a Graphic-Functional-Data Flow language designed to visualize algorithms and their execution in an understandable way. Programs are process networks that evolve showing the full state at each execution step....
2009 / Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo -
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets
Abstract Traditional support tools for software engineers, normally based on a client-server architecture, are unsuitable to deal with the new issues emerging from the current (and future) cooperative work scenarios (where connectivity is...
2005 / Carlo Bellettini, Lorenzo Capra, Mattia Monga -
Preface2008 / Vesa Halava, Igor Potapov
-
Simulating Finite Eilenberg Machines with a Reactive Engine
Abstract Eilenberg machines have been introduced in 1974 in the field of formal language theory. They are finite automata for which the alphabet is interpreted by mathematical relations over an abstract set. They generalize many finite state...
2011 / Benoît Razet -
An Analysis of Operation-Refinement in an Abortive Paradigm
Abstract This paper begins a new strand of investigation which complements our previous investigation of refinement for specifications whose semantics is given by partial relations (using Z as a linguistic vehicle for this semantics). It revolves...
2005 / Moshe Deutsch, Martin C. Henson -
Modelling Intracellular Fate of FGF Receptors With BioAmbients
Abstract In this paper we consider a model for different sorting of receptors of Fibroblast Growth Factor via the endocytotic pathway. In order to accurately model the relocation in the different compartments of the cell by the ligand-receptor...
2008 / S. van Bakel, I. Khan, M.G. Vigliotti, J.K. Heath