Sciweavers

4650 search results - page 884 / 930
» Generating and evaluating evaluative arguments
Sort
View
JCB
2008
91views more  JCB 2008»
13 years 8 months ago
Computational Quantification of Peptides from LC-MS Data
Liquid chromatography coupled to mass spectrometry (LC-MS) has become a major tool for the study of biological processes. High-throughput LC-MS experiments are frequently conducte...
Ole Schulz-Trieglaff, Rene Hussong, Clemens Gr&oum...
JCC
2008
195views more  JCC 2008»
13 years 8 months ago
pyVib, a computer program for the analysis of infrared and Raman optical activity
: A new program called pyVib has been developed as a tool for the analysis of Gaussian (Gaussian 03, Gaussian Inc., Pittsburgh, PA) outputs of vibrational absorption (IR), Raman as...
Mohamed Zerara
IJVR
2006
142views more  IJVR 2006»
13 years 8 months ago
Garden Alive: an Emotionally Intelligent Interactive Garden
In this paper, we introduce the "Garden Alive" system that allows users to interact with an emotionally intelligent virtual garden by manipulating tangible user interface...
Taejin Ha, Woontack Woo
JCS
2008
119views more  JCS 2008»
13 years 8 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
CORR
2007
Springer
160views Education» more  CORR 2007»
13 years 8 months ago
How really effective are Multimodal Hints in enhancing Visual Target Spotting? Some evidence from a usability study
The main aim of the work presented here is to contribute to computer science advances in the multimodal usability area, in-as-much as it addresses one of the major issues relating...
Suzanne Kieffer, Noelle Carbonell