Sciweavers

36 search results - page 4 / 8
» Testing st -Connectivity
Sort
View
EC
2011
262views ECommerce» more  EC 2011»
14 years 4 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»
15 years 3 months 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»
14 years 10 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»
14 years 8 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
15 years 10 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, ...