Search

Your search keyword '"A. Juedes"' showing total 380 results

Search Constraints

Start Over You searched for: Author "A. Juedes" Remove constraint Author: "A. Juedes"
380 results on '"A. Juedes"'

Search Results

1. Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs

5. Volumetric subfield analysis of cynomolgus monkey's choroid derived from hybrid machine learning optical coherence tomography segmentation.

7. Human selection bias drives the linear nature of the more ground truth effect in explainable deep learning optical coherence tomography image segmentation

10. Human selection bias drives the linear nature of the more ground truth effect in explainable deep learning optical coherence tomography image segmentation.

20. Linear Kernels in Linear Time, or How to Save k Colors in O(n 2) Steps

26. A Geometric Approach to Parameterized Algorithms for Domination Problems on Planar Graphs

40. A Natural Language Thesaurus for the Humanities: The Need for a Database Search Aid.

46. A generic framework for approximation analysis of greedy algorithms for star bicoloring

Catalog

Books, media, physical & digital resources