Computer and information sciences topic list of research papers
-
Distortion outage minimization in Nakagami fading using limited feedback2011 / Chih-Hong Wang, Subhrakanti Dey
-
Collaborative Factory Planning in Virtual Reality
Abstract The competitive development and optimization of manufacturing systems challenge the collaboration and innovation of enterprises. Different information, thinking, and points of view have to be exchanged across engineering, decision-making,...
2012 / N. Menck, X. Yang, C. Weidig, P. Winkes, C. Lauer, et al. -
Social Aspects of Process Monitoring in Manufacturing Systems
Abstract Many systems for process monitoring using in-process sensor measuring rely on human interpretation and reaction in order to control the process and achieve the desired effect from the monitoring. This paper reports from two industrial cases ...
2012 / K. Martinsen, H. Holtskog, C.E. Larsson -
Immersive Collaborative Environments for Teaching and Learning Traditional Design
Abstract This paper investigates 3D immersive and collaborative environments designed for educational purposes, as a support for constructivist and experiential learning models, appropriate for artistic education and skill transfer, and in...
2012 / Livia Ştefan -
Building the essential resources for Finnish: the Turku Dependency Treebank2013 / Katri Haverinen, Jenna Nyblom, Timo Viljanen, Veronika Laippala, Samuel Kohonen, et al.
-
A threaded approach of the quadratic bi-blending algorithm2012 / Juan F. R. Herrera, Leocadio G. Casado, Eligius M. T. Hendrix, Inmaculada García
-
Coding Mobile Synchronizing Petri Nets into Rewriting Logic
Abstract Mobile Synchronizing Petri Nets (MSPN's) are a model for mobility and coordination based on coloured Petri Nets, in which systems are composed of a collection of (possibly mobile) hardware devices and mobile agents,...
2007 / Fernando Rosa-Velardo -
Causality Versus True-Concurrency
Abstract Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models via adjunctions and (co)reflections while Joyal et al. have...
2006 / Sibylle Fröschle, Sławomir Lasota -
Metrics for Action-labelled Quantitative Transition Systems
Abstract This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural extension of bisimulation from non-quantitative systems to...
2006 / Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang -
A Static Semantics for Alloy and its Impact in Refactorings
Abstract Refactorings are usually proposed in an ad hoc way because it is difficult to prove that they are sound with respect to a formal semantics, not guaranteeing the absence of type errors or semantic changes. Consequently, developers using...
2007 / Rohit Gheyi, Tiago Massoni, Paulo Borba -
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming
Abstract Defence trees are used to represent attack and defence strategies in security scenarios; the aim in such scenarios is to select the best set of countermeasures that are able to stop all the vulnerabilities. In order to...
2008 / Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna -
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism
Abstract We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “⦶”, that allows to model parallel composition while keeping the order between parallel processes. Indeed, sometimes, it...
2009 / Mihaela Sighireanu, Tayssir Touili -
Coding and control for communication networks2009 / Wei Chen, Danail Traskov, Michael Heindlmaier, Muriel Médard, Sean Meyn, et al.
-
Video instructions as support for beyond classroom learning
Abstract Learners are referring to streaming instructional videos for the understanding of concepts and theories, for step-by-step demonstrations in learning to do something as well as in familiarizing themselves with environments through...
2011 / Yuen May Chan -
Teaching mathematics with technology
Abstract Technology can play an important role in mathematics education. It allows to better capture the attention of the students and enables them to better understand and master mathematical concepts. One of the most powerful computer programs...
2011 / Saadia Khouyibaba -
MIMO radar array synthesis using QPSO with normal distributed contraction-expansion factor
Abstract An array synthesis based on Quantum particle swarm optimization (QPSO) is proposed for the orthogonal MIMO radar. To decrease the sidelobe level of the pattern, the elements’ positions is presented by Quantum-behaved particles. Each...
2011 / Hongwu Liu, Guowei Yang, Gaojun Song -
New Identity-based Short Signature Without Random Oracles
Abstract A new identity-based short signature(IBS) is proposed in this paper. The new scheme is constructed in the standard model and has short public parameters and private keys. In addition, the size of the signature achieves 320 bits, which is...
2011 / Leyou Zhang, Yupu Hu, Qing Wu -
Analysis and Improvement of a Threshold Signature Scheme Based on the General Access Structure
Abstract Hua-wang Qin et al. proposed a novel threshold signature scheme based on the general access structure in order to break the applied limitation of the conventional threshold signature schemes. The security of the scheme was analyzed in this...
2011 / Cai Yongquan, Zhang En, Cheng Fula -
Prioritizing based congestion control in MHWSN
Abstract Achieving different QoS objective in Medium and High Rate WSN (MHWSN) that deals with multimedia information is of concern of researchers. From the application point of view, meeting application specific QoS constraints is important in...
2011 / Yuechao Wang, Lianglun Cheng -
A decision making method based on weighted interval- valued fuzzy reasoning algorithm
Abstract This paper presents a weighted interval-valued fuzzy (IvF) reasoning algorithm for handling decision making problem where interval-valued fuzzy sets (IvFSs) concept and IvF decision rules are used for uncertain knowledge representation. The ...
2011 / Qiansheng Zhang, Shihua Luo