Sciweavers

2081 search results - page 294 / 417
» codes 2006
Sort
View
LISP
2006
160views more  LISP 2006»
15 years 3 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
89
Voted
NAR
2006
89views more  NAR 2006»
15 years 3 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...
101
Voted
NAR
2006
82views more  NAR 2006»
15 years 3 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
124
Voted
NETWORK
2006
177views more  NETWORK 2006»
15 years 3 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
118
Voted
IIE
2007
78views more  IIE 2007»
15 years 3 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