62 citations
2 papers
cs.SE2023★ 1 cited
Spreadsheet-based Configuration of Families of Real-Time Specifications
José Proença, David Pereira, Giann Spilere Nandi +2
Model checking real-time systems is complex, and requires a careful trade-off between including enough detail to be useful and not too much detail to avoid state explosion. This wo…
cs.CV2019★ 62 cited
Convolutional neural network for breathing phase detection in lung sounds
Cristina Jácome, Johan Ravn, Einar Holsbø +3
We applied deep learning to create an algorithm for breathing phase detection in lung sound recordings, and we compared the breathing phases detected by the algorithm and manually…