LEADER 01338nam0-2200433---450 001 990005671560203316 005 20200624114220.0 035 $a000567156 035 $aUSA01000567156 035 $a(ALEPH)000567156USA01 035 $a000567156 100 $a20050729d19741982|||y0itaa50------ba 101 $aita 102 $ait 105 $a0 00||| 200 1 $a<> prova di Gödel$fErnest Nagel, James R. Newman$g[traduzione di Luigi Bianchi] 210 $aTorino$cBoringhieri$d1974 (stampa 1982) 215 $a108 p.$d19 cm 225 2 $aUniversale scientifica$v102 300 $aTrad. di: Gödel's Proof. 410 0$12001$aUniversale scientifica$v102 454 $1001SA0014577$12001$aGodel's proof$fErnest Nagel, James R. Newman.$921209 606 $aTeorema di incompletezza di Gödel$2F 606 $aLogica matematica$2F 620 $dTORINO 676 $a511.3 700 1$aNAGEL,$bErnest$012057 701 1$aNEWMAN,$bJames R.$026295 702 1$aBIANCHI,$bLuigi 801 0$aIT$bSA$c20111219 912 $a990005671560203316 950 0$aDipar.to di Filosofia - Salerno$dDFCC 511.3 NAG$e1038 FIL 951 $aCC 511.3 NAG$b1038 FIL 959 $aBK 969 $aFIL 979 $c20121027$lUSA01$h1526 979 $c20121027$lUSA01$h1615 996 $aGodel's proof$921209 997 $aUNISA LEADER 04870nam 2200361 450 001 9910437245603321 005 20230415160701.0 010 $a1-7281-1522-1 035 $a(CKB)5590000000001747 035 $a(NjHacI)995590000000001747 035 $a(EXLCZ)995590000000001747 100 $a20230415d2019 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2019 IEEE 10th International Conference on Biometrics Theory, Applications and Systems (BTAS) $eproceedings : Tampa, Florida, USA 23-26 September 2019 /$fInstitute of Electrical and Electronics Engineers 210 4$dİ2019 210 1$aPistacaway, New Jersey :$cIEEE,$d[2019] 215 $a1 online resource (43 pages) $cillustrations 311 $a1-7281-1523-X 327 $aMake the Bag Disappear: Carrying Status-invariant Gait-based Human Age Estimation using Parallel Generative Adversarial Networks -- Semantic-Aware Makeup Cleanser -- A Genetic Algorithm Enabled Similarity-Based Attack on Cancellable Biometrics -- Unconstrained Thermal Hand Segmentation -- An End-to-End Convolutional Neural Network for ECG-Based Biometric Authentication -- The Effect of Broad and Specific Demographic Homogeneity on the Imposter Distributions and False Match Rates in Face Recognition Algorithm Performance -- Hybrid Dictionary Learning and Matching for Video-based Face Verification -- Reliable Age and Gender Estimation from Face Images: Stating the Confidence of Model Predictions -- Gaze-angle Impact on Iris Segmentation using CNNs -- Rotation Invariant Finger Vein Recognition -- User Profiling Using Sequential Mining Over Web Elements -- Palmprint Recognition Using Realistic Animation Aided Data Augmentation -- Effects of Postmortem Decomposition on Face Recognition -- How to Save Your Face: a Facial Recognition Method Robust Against Image Reconstruction -- Finger-Vein Template Protection based on Alignment-Free Hashing -- Perception of Image Features in Post-Mortem Iris Recognition: Humans vs Machines -- Cross-sensor iris recognition using adversarial strategy and sensor-specific information -- Deep Learning-Based Feature Extraction in Iris Recognition: Use Existing Models, Fine-tune or Train From Scratch? -- Securing CNN Model and Biometric Template using Blockchain -- LC-DECAL: Label Consistent Deep Collaborative Learning for Face Recognition -- Identity-Aware Deep Face Hallucination via Adversarial Face Verification -- A-LINK: Recognizing Disguised Faces via Active Learning based Inter-Domain Knowledge -- ThirdEye: Triplet Based Iris Recognition without Normalization -- MobiFace: A Lightweight Deep Learning Face Recognition on Mobile Devices -- Realistic Dreams: Cascaded Enhancement of GAN-generated Images with an Example in Face Morphing Attacks -- Robust Subject-invariant Feature Learning for Ocular Biometrics in Visible Spectrum -- Multi-task Learning for Detecting and Segmenting Manipulated Facial Images and Videos -- Attribute-Guided Coupled GAN for Cross-Resolution Face Recognition -- Zero-Shot Deep Hashing and Neural Network Based Error Correction for Face Template Protection -- Smartphone Camera De-identification while Preserving Biometric Utility -- Face Phylogeny Tree: Deducing Relationships Between Near-Duplicate Face Images Using Legendre Polynomials and Radial Basis Functions -- Facial Attribute Classification: A Comprehensive Study and a Novel Mid-Level Fusion Classifier -- MasterPrint Attack Resistance: A Maximum Cover Based Approach for Automatic Fingerprint Template Selection -- Hierarchical Bloom Filter Framework for Security, Space-efficiency, and Rapid Query Handling in Biometric Systems -- Subclass Contrastive Loss for Injured Face Recognition -- Defending Against Adversarial Iris Examples UsingWavelet Decomposition -- A Locality Sensitive Hashing Based Approach for Generating Cancelable Fingerprints Templates -- On Learning Joint Multi-biometric Representations by Deep Fusion -- IARPA Janus Benchmark Multi-Domain Face -- Morton Filters for Iris Template Protection - An Incremental and Superior Approach Over Bloom Filters -- CHIF: Convoluted Histogram Image Features for Detecting Silicone Mask based Face Presentation Attack -- Biases in Fingerprint Recognition Systems: Where Are We At? -- On the Generalization of Detecting Face Morphing Attacks as Anomalies: Novelty vs. Outlier Detection. 517 $a2019 IEEE 10th International Conference on Biometrics Theory, Applications and Systems 606 $aBiometry$vCongresses 615 0$aBiometry 676 $a570.15195 801 0$bNjHacI 801 1$bNjHacl 906 $aPROCEEDING 912 $a9910437245603321 996 $a2019 IEEE 10th International Conference on Biometrics Theory, Applications and Systems (BTAS)$92519609 997 $aUNINA