UAB Digital Repository of Documents 3 records found  Search took 0.00 seconds. 
1.
11 p, 843.5 KB Validation of an autonomous artificial intelligence-based diagnostic system for holistic maculopathy screening in a routine occupational health checkup context / Font, Octavi (Optretina Image Reading Team) ; Torrents-Barrena, Jordina (Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions) ; Royo, Dídac (Optretina Image Reading Team) ; Banderas García, Sandra (Universitat Autònoma de Barcelona. Departament de Cirurgia) ; Zarranz-Ventura, Javier (Institut d'Investigacions Biomèdiques August Pi i Sunyer) ; Bures, Anniken (Instituto de Microcirugía Ocular (IMO)) ; Salinas, Cecilia (Instituto de Microcirugía Ocular (IMO)) ; Zapata, Miguel Angel (Hospital Universitari Vall d'Hebron)
Purpose: This study aims to evaluate the ability of an autonomous artificial intelligence (AI) system for detection of the most common central retinal pathologies in fundus photography. Methods: Retrospective diagnostic test evaluation on a raw dataset of 5918 images (2839 individuals) evaluated with non-mydriatic cameras during routine occupational health checkups. [...]
2022 - 10.1007/s00417-022-05653-2
Graefe's Archive for Clinical and Experimental Ophthalmology, May (2022)  
2.
17 p, 410.5 KB Convex central configurations of the 4-body problem with two pairs of equal masses / Fernandes, Antonio Carlos (Universidade Federal de Itajubá (Brasil). Instituto de Matemática e Computação) ; Llibre, Jaume (Universitat Autònoma de Barcelona. Departament de Matemàtiques) ; Mello, Luis Fernando (Universidade Federal de Itajubá (Brasil). Instituto de Matemática e Computação)
MacMillan and Bartky in 1932 proved that there is a unique isosceles trapezoid central configuration of the 4--body problem when two pairs of equal masses are located at adjacent vertices. After this result the following conjecture was well known between people working on central configurations: The isosceles trapezoid is the unique convex central configuration of the planar 4--body problem when two pairs of equal masses are located at adjacent vertices. [...]
2017 - 10.1007/s00205-017-1134-z
Archive for Rational Mechanics and Analysis, 2017  
3.
18 p, 190.1 KB On elementary equivalence in fuzzy predicate logics / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona) ; Esteva Massaguer, Francesc (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC))
Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863-880, 2006, Conjectures 1 and 2). [...]
2013 - 10.1007/s00153-012-0303-x
Archive for Mathematical Logic, Vol. 52, núm. 1 (2013) , p. 1-17  

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.