BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Ana Romero

Ana Romero contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Symbolic Computationmath.ATComputational GeometryComputer Visionmath.GRSoftware Engineering

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

4 published item(s)

preprint2014arXiv

Defining and computing persistent Z-homology in the general case

By general case we mean methods able to process simplicial sets and chain complexes not of finite type. A filtration of the object to be studied is the heart of both subjects persistent homology and spectral sequences. In this paper we present the complete relation between them, both from theoretical and computational points of view. One of the main contributions of this paper is the observation that a slight modification of our previous programs computing spectral sequences is enough to compute also persistent homology. By inheritance from our spectral sequence programs, we obtain for free persistent homology programs applicable to spaces not of finite type (provided they are spaces with effective homology) and with Z-coefficients (significantly generalizing the usual presentation of persistent homology over a field). As an illustration, we compute some persistent homology groups (and the corresponding integer barcodes) in the case of a Postnikov tower.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Procesamiento topo-geométrico de imágenes neuronales

Fruit of the relationship of our research group with the team coordinated by the biologist Miguel Morales (http://spineup.es), we have applied different topo-geometric techniques for neuronal image processing. The images, captured with a powerful confocal microscope, allow to study the evolution of synaptic density under the influence of various substances, with the aim of studying neurodegenerative diseases like Alzheimer. In the paper we make a brief review of the techniques that appear in our bioinformatic problems, including the calculation of ordinary and persistent homology (for which one can use the program Kenzo for symbolic computation in algebraic topology ) and classical problems of digital topology as skeleton location and path tracking. We focus on some particular cases of recent application, with which we will illustrate the previous techniques.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Verifying a platform for digital imaging: a multi-tool strategy

Fiji is a Java platform widely used by biologists and other experimental scientists to process digital images. In particular, in our research - made together with a biologists team; we use Fiji in some pre-processing steps before undertaking a homological digital processing of images. In a previous work, we have formalised the correctness of the programs which use homological techniques to analyse digital images. However, the verification of Fiji's pre-processing step was missed. In this paper, we present a multi-tool approach filling this gap, based on the combination of Why/Krakatoa, Coq and ACL2.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Computing the homology of groups: the geometric way

In this paper we present several algorithms related with the computation of the homology of groups, from a geometric perspective (that is to say, carrying out the calculations by means of simplicial sets and using techniques of Algebraic Topology). More concretely, we have developed some algorithms which, making use of the effective homology method, construct the homology groups of Eilenberg-MacLane spaces K(G,1) for different groups G, allowing one in particular to determine the homology groups of G. Our algorithms have been programmed as new modules for the Kenzo system, enhancing it with the following new functionalities: - construction of the effective homology of K(G,1) from a given finite free resolution of the group G; - construction of the effective homology of K(A,1) for every finitely generated Abelian group A (as a consequence, the effective homology of K(A,n) is also available in Kenzo, for all n); - computation of homology groups of some 2-types; - construction of the effective homology for central extensions. In addition, an inverse problem is also approached in this work: given a group G such that K(G,1) has effective homology, can a finite free resolution of the group G be obtained? We provide some algorithms to solve this problem, based on a notion of norm of a group, allowing us to control the convergence of the process when building such a resolution.

0 citations0 reviewsNo code linkedOpen access