Sciweavers

7 search results - page 1 / 2
» Nonlinear properties of snoring sounds
Sort
View
ICASSP
2011
IEEE
12 years 9 months ago
Nonlinear properties of snoring sounds
In this paper, the Gaussianity and linearity of the snoring sound (SS) segments extracted from respiratory sounds are discussed. The respiratory sound signals were recorded from 3...
Ali Azarbarzin, Zahra Moussavi
ENTCS
2006
185views more  ENTCS 2006»
13 years 5 months ago
Time Domain Verification of Oscillator Circuit Properties
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Ode...
ISSRE
2007
IEEE
13 years 7 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
APLAS
2004
ACM
13 years 11 months ago
PType System: A Featherweight Parallelizability Detector
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
SIAMMA
2011
98views more  SIAMMA 2011»
13 years 15 days ago
Time-Periodic Linearized Solutions of the Compressible Euler Equations and a Problem of Small Divisors
It has been unknown since the time of Euler whether or not time-periodic sound wave propagation is physically possible in the compressible Euler equations, due mainly to the ubiqui...
Blake Temple, Robin Young