Sciweavers

18429 search results - page 231 / 3686
» Typing dynamic typing
Sort
View
BMCBI
2010
96views more  BMCBI 2010»
15 years 6 months ago
FluTyper-an algorithm for automated typing and subtyping of the influenza virus from high resolution mass spectral data
Background: High resolution mass spectrometry has been employed to rapidly and accurately type and subtype influenza viruses. The detection of signature peptides with unique theor...
Jason W. H. Wong, Alexander B. Schwahn, Kevin M. D...
CN
2008
166views more  CN 2008»
15 years 6 months ago
Classification of access network types: Ethernet, wireless LAN, ADSL, cable modem or dialup?
Abstract--Ethernet, wireless LAN, ADSL, cable modem and dialup are common access networks, but have dramatically different characteristics. Fast and accurate classification of acce...
Wei Wei, Bing Wang, Chun Zhang, Jim Kurose, Donald...
ECEASST
2008
171views more  ECEASST 2008»
15 years 6 months ago
Type Checking C++ Template Instantiation by Graph Programs
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
Karl Azab, Karl-Heinz Pennemann
ENTCS
2006
100views more  ENTCS 2006»
15 years 6 months ago
Typed Mobile Ambients in Maude
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
Fernando Rosa Velardo, Clara Segura, Alberto Verde...
JSCIC
2008
43views more  JSCIC 2008»
15 years 6 months ago
A Dual-Petrov-Galerkin Method for the Kawahara-Type Equations
Abstract An efficient and accurate numerical scheme is proposed, analyzed and implemented for the Kawahara and modified Kawahara equations which model many physical phenomena such ...
Juan-Ming Yuan, Jie Shen, Jiahong Wu