[ACM Press the 2018 3rd International Conference - Bari, Italy (2018.10.11-2018.10.13)] Proceedings of the 2018 3rd International Conference on Biomedical Imaging, Signal Processing - ICBSP 2018 - ECG Monitoring and Anomaly Detection Based on Compressed Measurements
- 作者Galli, Alessandra; Narduzzi, Claudio; Giorgi, Giada
- 文件大小678.72KB
- 发表时间2018
- DOI10.1145/3288200.3288206
- 页码10-17
Annals of Pure and Applied LogicNeeman, Itay · Bulletin of Symbolic Logic · 2003
Annals of Pure and Applied LogicDanner, N. · Bulletin of Symbolic Logic · 2003
Hrushovski Ehud. Unidimensional theories are superstable. Annals of pure and applied logic, vol. 50 (1990), pp. 117–138.Hrushovski Ehud. Almost orthogonal regular types. Annals of pure and applied logic, vol. 45 (1989), pp. 139–155.Wagner, Frank · The Journal of Symbolic Logic · 1992
Friedman Sy D.. Strong coding. Annals of pure and applied logic, vol. 35(1987), pp. 1–98.Friedman Sy D.. A guide to “Strong coding.” Annals of pure and applied logic, vol. 35(1987), pp. 99–122.Welch, Philip · The Journal of Symbolic Logic · 1990
Blass Andreas. Selective ultrafilters and homogeneity. Annals of pure and applied logic, vol. 38 (1988), pp. 215–255.Laflamme Claude. Forcing with filters and complete combinatorics. Annals of pure and applied logic, vol. 42 (1989), pp. 125–163.Nyikos, Peter J. · The Journal of Symbolic Logic · 1991
Introducing article numbering to Annals of Pure and Applied LogicRaneri, Giovanni · Annals of Pure and Applied Logic · 2019
Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52Marco Forti; Furio Honsell · 1998
A Cardinal Pattern Inspired by ADArthur W. Apter · 1996
Characterizing strong compactness via strongnessArthur W. Apter · 2003
Removing Laver functions from supercompactness argumentsArthur W. Apter · 2005
Universal partial indestructibility and strong compactnessArthur W. Apter · 2005
Indestructibility and stationary reflectionArthur W. Apter · 2009
Indestructibility, HOD, and the Ground AxiomArthur W. Apter · 2011
Indestructibility, measurability, and degrees of supercompactnessArthur W. Apter · 2012
Some results on consecutive large cardinalsArthur W. Apter · 1983
Hilbert's Programs: 1917-1922Wilfried Sieg · The Bulletin of Symbolic Logic · 1999
Explicit Provability and Constructive SemanticsSergei N. Artemov · The Bulletin of Symbolic Logic · 2001
Foundations and Applications: Axiomatization and EducationF. William Lawvere · The Bulletin of Symbolic Logic · 2003
Developments in Constructive Nonstandard AnalysisErik Palmgren · The Bulletin of Symbolic Logic · 1998
The Discovery of My Completeness ProofsLeon Henkin · The Bulletin of Symbolic Logic · 1996
THE HYPERUNIVERSE PROGRAMTATIANA ARRIGONI and SY-DAVID FRIEDMAN · The Bulletin of Symbolic Logic · 2013
Logical Consequence RevisitedJosé M. Sagüillo · The Bulletin of Symbolic Logic · 1997
Logicality and InvarianceDenis Bonnay · The Bulletin of Symbolic Logic · 2008