Computer and information sciences topic list of research papers
-
All-optical timing extraction with frequency division using a twin-section laser diode2002 / G. Farrell, P. Phelan, J. Hegarty, J.A. Shields
-
Improving Strategy of Self-Learning in Engineering: Laboratories with Augmented Reality
Abstract This paper introduces an Augmented Reality application for teaching practice of electrical engineering. In order to improve the student«s autonomy and self-ability we have developed new practical AR-manuals for being used in the Electric...
2012 / Jorge Martin-Gutierrez, Egils Guinters, David Perez-Lopez -
Adaptive Matrices and Filters for Color Texture Classification2012 / Ioannis Giotis, Kerstin Bunte, Nicolai Petkov, Michael Biehl
-
A Generalization of ACP Using Belnap's Logic
Abstract An overview is given of ACP with conditional composition (i.e., if-then-else) over Belnap's four-valued logic. The interesting thing is that much of ACP can be analyzed using this logic. For example, both the choice operation + and δ...
2006 / Alban Ponse, Mark B. van der Zwaag -
Preface2006 / Martin Leucker, Jaco van de Pol
-
Strategies for Solving Constraints in Type and Effect Systems
Abstract Turning type and effect deduction systems into an algorithm is a tedious and error-prone job, and usually results in an implementation that leaves no room to modify the solving strategy, without actually changing it. We...
2009 / Jurriaan Hage, Bastiaan Heeren -
An Overview of Cαml
Abstract Cαml is a tool that turns a so-called “binding specification” into an Objective Caml compilation unit. A binding specification resembles an algebraic data type declaration, but also includes information about names and binding. Cαml is...
2006 / François Pottier -
Adaptive Medical Workflow Management for a Context-Dependent Home Healthcare Assistance Service
Abstract The provision of health-care services and home assistance to the elderly and chronic patients is a challenging application scenario for Web Services composition, which support the integration of distributed, heterogeneous services in...
2006 / L. Ardissono, A. Di Leva, G. Petrone, M. Segnan, M. Sonnessa -
Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings
Abstract We investigate tissue P systems with (non-restricted, symmetric) versions of mate and drip operations and prove that such systems are computationally complete with the minimal number of two cells when working on strings. Moreover, we...
2007 / Rudolf Freund, Marion Oswald -
Connectivity Properties of Dimension Level Sets
Abstract This paper initiates the study of sets in Euclidean space R n ( ...
2008 / Jack H. Lutz, Klaus Weihrauch -
Hierarchical Design Rewriting with Maude
Abstract Architectural Design Rewriting (ADR) is a rule-based approach for the design of dynamic software architectures. The key features that make ADR a suitable and expressive framework are the algebraic presentation and the...
2009 / Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari -
Topological Perspective on the Hybrid Proof Rules
Abstract We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the hybrid proof rule BG is topologically not sound. Indeed,...
2007 / Balder ten Cate, Tadeusz Litak -
Using Association Aspects to Implement Organisational Contracts
Abstract The maintenance of organisation is a prerequisite for all viable systems in dynamic environments. In many living systems this organisation is, in part, achieved through coordination systems such as the nervous or endocrinic systems that can ...
2006 / Alan Colman, Jun Han -
Formal Verification of Graph Grammars using Mathematical Induction
Abstract Graph grammars are a formal description technique suitable for the specification of distributed and reactive systems. Model-checking of graph grammars is currently supported by various approaches. However, in many situations the use of this ...
2009 / Simone André da Costa, Leila Ribeiro -
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis
Abstract Cost analysis aims at obtaining information about the execution cost of programs. This paper studies cost relation systems (CRSs): the sets of recursive equations used in cost analysis in order to capture the execution cost of programs in...
2009 / Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla -
Research and Practice on Web 2.0-based Collaborative Learning
Abstract Web 2.0 is a collaborative web development platform that refers to the cumulative changes in the ways software developers and end-users achieve benefits from the web. The maximum value of Web 2.0 for the education lies in the community and...
2012 / Bo Shen -
Developing an electronic health record (EHR) for methadone treatment recording and decision support2011 / Liang Xiao, Gráinne Cousins, Brenda Courtney, Lucy Hederman, Tom Fahey, et al.
-
Let's Eat an Ice Cream, Even Though I Don’t Know What It Is: Semantic Loss with Syntactic Preservation in an SD Subject2011 / Annalisa Benetello, Costanza Papagno
-
More Effective Permit-to-Work Systems
Many incidents in the chemical-industrial workplace are associated with maintenance works, which are typically controlled by permits-to-work (PTWs). Computerized PTWs have advantages of flexibility and informational clarity, and allow closer coordination of...
2002 / R.E. Iliffe, P.W.H. Chung, T.A. Kletz -
#nowplaying Madonna: a large-scale evaluation on estimating similarities between music artists and between movies from microblogs2012 / Markus Schedl