Computer and information sciences topic list of research papers
-
Real Options in Enterprise Architecture: A Holistic Mapping of Mechanisms and Types for Uncertainty Management2011 / Tsoline Mikaelian, Deborah J. Nightingale, Donna H. Rhodes, Daniel E. Hastings
-
Second Generation Object-Oriented Development
Abstract Well-integrated development tools, allowing automatic code generation from visual representations of analysis and design decisions, are important assets in handling the complexities of todays software. This paper describes a few features of ...
2005 / Sergio E.R. de Carvalho, Sylvia de O. Cruz, Toacy C. de Oliveirae -
Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference
Abstract In this paper we will present a graph-transformation based method for the verification of heterogeneous first order logic (FOL) and Euler/Venn proofs. It has been shown that a special collection of directed acyclic graphs (DAGs) can be used ...
2004 / Nik Swoboda, Gerard Allwein -
Using Secondary Structure Information for Protein Folding in CLP( FD )1 1The work is partially supported by MIUR project: Automatic Aggregate –and number– Reasoning for Computing.
Abstract The protein folding problem is the problem of predicting the 3D structure of a protein when the linear sequence of aminoacids identifying it is known. In this paper we present a declarative implementation in Constrain & Generate style...
2004 / Agostino Dovier, Matteo Burato, Federico Fogolari -
A Coequational Approach to Specifying Behaviours
Abstract A coalgebraic, equational approach to the specification of observational structures allowing for a choice in the result type of observations is presented. Coalgebraic operations whose result type is structured as a coproduct of basic types...
2005 / Corina Cîrstea -
Generalized Coiteration Schemata1 1Research supported by the MIUR Project COFIN 2001013518 Cometa.
Abstract Coiterative functions can be explained categorically as final coalgebraic morphisms, once coinductive types are viewed as final coalgebras. However, the coiteration schema which arises in this way is too rigid to...
2004 / Daniela Cancila, Furio Honsell, Marina Lenisa -
Preface
Abstract This volume contains the Proceedings of the First Workshop on Synchronous Languages, Applications, and Programming (SLAP'2002). The Workshop was held in Grenoble, France, on April 13, 2002, as a satellite event to the Fifth European Joint...
2005 / Florence Maraninchi, Alain Girault, Éric Rutten -
Multiple-Conclusion System as Communication Calculus
Abstract Following the so-called inversion principle of Gentzen-Prawitz, we demonstrate that multiple-conclusion system of classical logic can be naturally regarded as a communication calculus. For the motivation, we first introduce a hierarchical...
2005 / Ken-etsu Fujita -
A coalgebraic introduction to CSP
Abstract The paper presents a first step of a coalgebraic analysis of the concept of communicating sequential processes as introduced by Hoare in [3]. We make apparent the strong relationship between CSP and partial automata, i.e., special...
2005 / Uwe Wolter -
Junctive Compositions of Specifications in Total and General Correctness
Abstract First against a conventional total-correctness background of wp semantics, we define a small family of compositions for predicate-pair specifications based on simple logical conjunction and disjunction, discussing the formal properties and...
2005 / Steve Dunne -
Representations of Complete Uniform Spaces via Uniform Domains
Abstract In this paper, we show that complete uniform spaces can be represented domain-theoretically. We introduce the notion of a uniform domain, which is an ω-algebraic domain with some uniform structure on the set K(D) of finite elements of D. It ...
2004 / Hideki Tsuiki -
Sketch Data Models, Relational Schema and Data Specifications1 1Research partially supported by the Australian Research Council, NSERC Canada, and the Oxford Computing Laboratory.
Abstract When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and when the aspects of reality that they seek to model are common, ...
2004 / Michael Johnson, Robert Rosebrugh -
Bisimulation in Untyped Lambda Calculus:
Abstract On the basis of an operational bisimulation account of Böhm tree equivalence, a novel operationally-based development of the Böhm tree theory is presented, including an elementary congruence proof for Böhm tree equivalence. The approach is...
2004 / S.B. Lassen -
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation
Abstract In the rule-based equivalent transformation (RBET) paradigm, where computation is based on meaning-preserving transformation of declarative descriptions, a set of rewriting rules is regarded as a program. The syntax for a large class of...
2004 / Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike -
MIMO Systems with Limited Rate Differential Feedback in Slowly Varying Channels2011 / Taejoon Kim, David J. Love, Bruno Clerckx
-
Use of a 3DOF Accelerometer for Foot Tracking and Gesture Recognition in Mobile HCI
Abstract Touch screens as a mean for interacting with mobile applications are limited. Since the hands are already busy handling the phone or tablet, this paper proposes an innovative solution in handling digital entities with the feet. A three-axis ...
2013 / Mahmoud Ben Brahem, Bob-Antoine J. Ménélas, Martin J.-D. Otis -
Autonomous Reinforcement Learning with Experience Replay for Humanoid Gait Optimization
Abstract This paper demonstrates application of Reinforcement Learning to optimization of control of a complex system in realistic setting that requires efficiency and autonomy of the learning algorithm. Namely, Actor-Critic with experience replay...
2012 / Paweł Wawrzyński -
The Use of Virtual Environments as an Extended Classroom – A Case Study with Adult Learners in Tertiary Education
Abstract This study was conducted in immersive 3D virtual environment Second Life®, with the support of web 2.0 tools as a complement to physical classroom - extended classroom. It was assumed that socialization is a key factor for collaborative...
2014 / Ana Loureiro, Teresa Bettencourt -
A Simulation Framework for Neuron-based Molecular Communication
Abstract Molecular communication is a nanoscale communication paradigm that utilizes molecules as a communication medium between nanoscale devices. Development and availability of simulators is critical in this emerging research area since research...
2013 / Junichi Suzuki, Harry Budiman, Timothy A. Carr, Jane H. DeBlois -
Shared Mental Model among Graphic Designers, Multimedia Designers and Subject Matter Experts in Designing Multimedia- based Instructional Media
Abstract The research identified and explored the shared mental model among the instructional multimedia design and development experts comprising of subject matter expert, graphic designer and multimedia designer. The knowledge shared by the team...
2013 / Rafiza Abdul Razak