Computer and information sciences topic list of research papers
-
Flexible Bytecode for Linking in .NET
Abstract Dynamic linking in modern execution environments like .NET is considerably more sophisticated than in the days of C shared libraries on UNIX. One aspect of this sophistication is that .NET assemblies embed type information about dynamically ...
2005 / Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou -
Checking Strong Open Congruence in χ-Calculus
Abstract The χ-calculus is an important evolution for mobile process calculi. Open congruence is widely studied in χ-calculus. However, there still lacks an algorithm for checking this bisimulation relation. In this paper, the symbolic technique is...
2004 / Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu -
Cognitive hierarchical active partitions in distributed analysis of medical images2012 / Arkadiusz Tomczyk, Piotr S. Szczepaniak, Michal Pryczek
-
An Improved PDE Based Super-Resolution Reconstruction Algorithm
Abstract In this paper, we present an improved partial differential equation (PDE) model for multi-frame image superresolution reconstruction. Our proposed PDE model is achieved by using an adaptively weighting function, which combines the Total...
2012 / Shuying Huang, Yong Yang, Guoyu Wang -
The BioLexicon: a large-scale terminological resource for biomedical text mining2011 / Paul Thompson, John McNaught, Simonetta Montemagni, Nicoletta Calzolari, Riccardo del Gratta, et al.
-
The Role of Site Analysis in Creativity of Students of Bachelor of Architecture, Case: Design Studio III
Abstract Site analysis is one of the most important steps of architectural design process. It is common as routine that architectural students in design studio go to the site in which the project is going to perform. Therefore site analysis plays a...
2012 / Mohammadjavad Mahdavinejad, Shaghayegh Shahrigharahkoshan, Mohammadhossein Ghasempourabadi -
An electronic engineering curriculum design based on concept-mapping techniques2007 / S. L. Toral, M. R. Martínez-Torres, F. Barrero, S. Gallardo, M. J. Durán
-
Spatial Recurrences for Pedestrian Classification2012 / Carlos Serra-Toro, V. Javier Traver, Raúl Montoliu
-
A Web Service for Biomedical Term Look-Up2005 / Henk Harkema, Ian Roberts, Rob Gaizauskas, Mark Hepple
-
Systems biology driven software design for the research enterprise2008 / John Boyle, Christopher Cavnor, Sarah Killcoyne, Ilya Shmulevich
-
The Complexity of Satisfiability for Fragments of CTL and CTL⋆
Abstract The satisfiability problems for CTL and CTL ⋆ are known to be EXPTIME-complete, resp. 2EXPTIME-complete (Fischer and Ladner (1979), Vardi and Stockmeyer (1985)). For fragments that use less temporal or propositional...
2008 / Arne Meier, Martin Mundhenk, Michael Thomas, Heribert Vollmer -
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
Abstract Developing test suites is a costly and error-prone process. Model-based test generation tools facilitate this process by automatically generating test cases from system models. The applicability of these tools, however, depends on the size...
2007 / Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol -
Expressivity in the κ Family
Abstract In this paper we study implementation of κ calculus into nanoκ calculus – called self-assembling of κ in nk. The former is a model for molecular biology that rewrites graphs of molecules in one step; the latter is a calculus similar to κ...
2008 / Cosimo Laneve, Antonio Vitale -
Classical Knowledge for Quantum Cryptographic Reasoning
Abstract We prove that quantum key distribution is secure against several types of attacks within the framework of classical knowledge knowledge for quantum systems, a formal model which was developed in [D'Hondt, E. and P. Panangaden, Reasoning...
2008 / Vincent Danos, Ellie D'Hondt -
An Overview of MANETs Simulation
Abstract Mobile Ad hoc NETworks (MANETs) are dynamic networks populated by mobile stations. Stations in MANETs are usually laptops, PDAs or mobile phones. These devices feature Bluetooth and/or IEEE 802.11 (WiFi) network interfaces and communicate...
2006 / Luc Hogie, Pascal Bouvry, Frédéric Guinand -
The Decidability of the Structural Congruence for Beta-binders
Abstract Beta-binders is a recent process algebra developed for modeling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a structural congruence. The treatment of the structural congruence...
2007 / Corrado Priami, Alessandro Romanel -
Encapsulation and Dynamic Modularity in the π-calculus
Abstract We describe a process calculus featuring high level constructs for component-oriented programming in a distributed setting. We propose an extension of the higher-order π-calculus intended to capture several important mechanisms related to...
2009 / Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous -
Directed Bigraphs
Abstract We introduce directed bigraphs, a bigraphical meta-model for describing computational paradigms dealing with locations and resource communications. Directed bigraphs subsume and generalize both original Milner's and Sassone-Sobociński's...
2007 / Davide Grohmann, Marino Miculan -
8-Bit 250-MS/s ADC Based on SAR Architecture with Novel Comparator at 70nm Technology Node
Abstract The data converters are prerequisite for digital processing of analog signals. SAR ADC is preferred for their good balance between speed, area and power considerations. In this paper, we proposed a novel comparator design based on double...
2016 / Shreeniwas Daulatabad, Vaibhav Neema, Ambika Prasad Shah, Praveen Singh -
A Transaction Model for Executions of Compositions of Internet of Things Services
Abstract Internet of Things (IoT) is about making “things” smart in some functionality, and connecting and enabling them to perform complex tasks by themselves. The functionality can be encapsulated as services and the task executed by composing the ...
2016 / K. Vidyasankar