Source author record

André Carvalho

André Carvalho appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2022arXiv

Delivering Document Conversion as a Cloud Service with High Throughput and Responsiveness

Document understanding is a key business process in the data-driven economy since documents are central to knowledge discovery and business insights. Converting documents into a machine-processable format is a particular challenge here due to their huge variability in formats and complex structure. Accordingly, many algorithms and machine-learning methods emerged to solve particular tasks such as Optical Character Recognition (OCR), layout analysis, table-structure recovery, figure understanding, etc. We observe the adoption of such methods in document understanding solutions offered by all major cloud providers. Yet, publications outlining how such services are designed and optimized to scale in the cloud are scarce. In this paper, we focus on the case of document conversion to illustrate the particular challenges of scaling a complex data processing pipeline with a strong reliance on machine-learning methods on cloud infrastructure. Our key objective is to achieve high scalability and responsiveness for different workload profiles in a well-defined resource budget. We outline the requirements, design, and implementation choices of our document conversion service and reflect on the challenges we faced. Evidence for the scaling behavior and resource efficiency is provided for two alternative workload distribution strategies and deployment configurations. Our best-performing method achieves sustained throughput of over one million PDF pages per hour on 3072 CPU cores across 192 nodes.

preprint2022arXiv

Eventually fixed points of endomorphisms of virtually free groups

We consider the subgroup of points of finite orbit through the action of an endomorphism of a virtually free group, with particular emphasis on the subgroup of eventually fixed points, EvFix($φ$): points whose orbit contains a fixed point. We provide an algorithm to compute the subgroup of fixed points of an endomorphism of a finitely generated virtually free group and prove that finite orbits have cardinality bounded by a computable constant, which allows us to solve several algorithmic problems: deciding if $φ$ is a finite order element of End($G$), if $φ$ is aperiodic, if EvFix($φ$) is finitely generated and, in the free group case, whether EvFix($φ$) is a normal subgroup of $F_n$ or not. We also present a bound for the rank of EvFix($φ$) in case it is finitely generated.

preprint2022arXiv

On endomorphisms of automatic groups

We propose two geometric versions of the bounded reduction property and find conditions for them to coincide. In particular, for the natural automatic structure on a hyperbolic group, the two notions are equivalent. We study endomorphisms with $L$-quasiconvex image and prove that those with finite kernel satisfy a synchronous version of the bounded reduction property. Finally, we use these techniques to prove $L$-quasiconvexity of the equalizer of two endomorphisms under certain (strict) conditions.

preprint2022arXiv

On endomorphisms of the direct product of two free groups

We describe the endomorphisms of the direct product of two free groups of finite rank and obtain conditions for which the subgroup of fixed points is finitely generated and we do the same for periodic points. We also describe the automorphisms of such a group and solve the three Whitehead problems for automorphisms, monomorphisms and endomorphisms for groups in this class. We also obtain conditions for an endomorphism to be uniformly continuous when a suitable metric is considered and study infinite fixed points of the extension to the completion of the group.