Sciweavers

2081 search results - page 294 / 417
» codes 2006
Sort
View
LISP
2006
160views more  LISP 2006»
14 years 11 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
NAR
2006
89views more  NAR 2006»
14 years 11 months ago
New Onto-Tools: Promoter-Express, nsSNPCounter and Onto-Translate
The Onto-Tools suite is composed of an annotation database and eight complementary, web-accessible data mining tools: Onto-Express, Onto-Compare, Onto-Design, Onto-Translate, Onto...
Purvesh Khatri, Valmik Desai, Adi L. Tarca, Sivaku...
NAR
2006
82views more  NAR 2006»
14 years 11 months ago
PROFtmb: a web server for predicting bacterial transmembrane beta barrel proteins
PROFtmb predicts transmembrane beta-barrel (TMB) proteins in Gram-negative bacteria. For each query protein, PROFtmb provides both a Z-value indicating that the protein actually c...
Henry R. Bigelow, Burkhard Rost
NETWORK
2006
177views more  NETWORK 2006»
14 years 11 months ago
Jamming sensor networks: attack and defense strategies
Wireless sensor networks are built upon a shared medium that makes it easy for adversaries to conduct radio interference, or jamming, attacks that effectively cause a denial of se...
Wenyuan Xu, Ke Ma, Wade Trappe, Yanyong Zhang
IIE
2007
78views more  IIE 2007»
14 years 11 months ago
Novices' Progress in Introductory Programming Courses
This paper presents an approach for educators to evaluate student progress throughout a course, and not merely based on a final exam. We introduce progress reports and describe ho...
Linda Mannila