Buscar
Mostrando ítems 11-20 de 36371
Understanding and using numbers and prices.
(2015-10-16)
Understanding and using numbers and prices in written an oral conversations. This is an A1 level competence, according to the Common European Framework of Reference for languages (http://www.coe.int/t/dg4/linguistic/sour ...
Quantifier elimination for elementary geometry and elementary affine geometry
(Wiley VCH Verlag, 2012-11)
We introduce new first-order languages for the elementary n-dimensional geometry and elementary n-dimensional affine geometry (n ≥ 2), based on extending FO(β≡) and FO(β), respectively, with new function symbols. Here, β ...
Multiplex Human Malaria Array: Quantifying Antigens for Malaria Rapid Diagnostics
(American Society of Tropical Medicine and Hygiene, 2020)
Malaria antigen detection through rapid diagnostic tests (RDTs) is widely used to diagnose malaria and estimate prevalence. To support more sensitive next-generation RDT development and screen asymptomatic malaria, we ...
Classification and Verification of Handwritten Signatures with Time Causal Information Theory Quantifiers
(Public Library of Science, 2016-12)
We present a new approach for handwritten signature classification and verification based on descriptors stemming from time causal information theory. The proposal uses the Shannon entropy, the statistical complexity, and ...
Cuantificadores, ejemplo 2
(2018-03-21)
En este vídeo se presenta un ejemplo de validación de una proposición cuantificada con dos cuantificadores anidados de la forma “para todo” “existe”. En él se da una argumentación que verifica que dicha proposición es verdadera.
Cuantificadores, ejemplo 3
(2018-02-03)
En este vídeo se presenta un ejemplo de validación de una proposición cuantificada con dos cuantificadores anidados de la forma “existe” “para todo” . En él se da una argumentación que verifica que dicha proposición es falsa.