Sciweavers

36 search results - page 4 / 8
» Testing st -Connectivity
Sort
View
EC
2011
262views ECommerce» more  EC 2011»
13 years 2 months ago
Computer-Automated Evolution of an X-Band Antenna for NASA's Space Technology 5 Mission
Whereas the current practice of designing antennas by hand is severely limited because it is both time and labor intensive and requires a significant amount of domain knowledge, ...
Gregory Hornby, Jason D. Lohn, Derek S. Linden
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 26 days ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
BMCBI
2008
74views more  BMCBI 2008»
13 years 7 months ago
Prediction of mucin-type O-glycosylation sites in mammalian proteins using the composition of k-spaced amino acid pairs
Background: As one of the most common protein post-translational modifications, glycosylation is involved in a variety of important biological processes. Computational identificat...
Yong-Zi Chen, Yu-Rong Tang, Zhi-Ya Sheng, Ziding Z...
MA
2010
Springer
114views Communications» more  MA 2010»
13 years 5 months ago
Finite-sample inference with monotone incomplete multivariate normal data, II
We continue our recent work on finite-sample, i.e., non-asymptotic, inference with two-step, monotone incomplete data from Nd(µ, Σ), a multivariate normal population with mean ...
Wan-Ying Chang, Donald St. P. Richards
MOBISYS
2009
ACM
14 years 8 months ago
Air-dropped sensor network for real-time high-fidelity volcano monitoring
This paper presents the design and deployment experience of an air-dropped wireless sensor network for volcano hazard monitoring. The deployment of five stations into the rugged c...
Wen-Zhan Song, Renjie Huang, Mingsen Xu, Andy Ma, ...