Carlile Lavor

dblp:40/3000 · DBLP profile ↗
← Back
41ranked-venue papers
6as first author
8since 2021 · last 2024
0000-0002-8105-3627ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 23 · 4 first-author · 4 since 2021Applied, interdisciplinary, general and emerging computing · 10 · 1 since 2021Artificial intelligence and machine learning · 8 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 5Databases, data management, data science and information retrieval · 3 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 3 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2024 An impossible combinatorial counting method in distance geometry
Germano Abud, Jorge Alencar, Carlile Lavor, Leo Liberti, Antonio Mucherino
Discret. Appl. Math.3
2023 The Ordered Covering Problem in Distance Geometry
Michael Souza 0001, Nilton Maia, Carlile Lavor
ISBRA3
2022 Linear and geometric algebra approaches for sphere and spherical shell intersections in Rn
Carlile Lavor, Rafael Alves, Leandro A. F. Fernandes
Expert Syst. Appl.1
2022 Preface: special issue on optimization in distance geometry
Andrés D. Báez-Sánchez, Carlile Lavor, Antonio Mucherino
J. Glob. Optim.2
2022 Unassigned distance geometry and molecular conformation problems
Phillip M. Duxbury, Carlile Lavor, Leo Liberti, Luiz Leduíno de Salles Neto
J. Glob. Optim.2
2021 A New Algorithm for the KDMDGP Subclass of Distance Geometry Problems with Exact Distances
Douglas Soares Gonçalves, Carlile Lavor, Leo Liberti, Michael Souza 0001
Algorithmica2
2021 Orthogonality of isometries in the conformal model of the 3D space
Carlile Lavor, Michael Souza 0001, José Luis Aragón-Vera
Graph. Model.1
2021 A note on the Cayley-Menger determinant and the Molecular Distance Geometry Problem
Luiz Leduíno de Salles Neto, Carlile Lavor, Weldon A. Lodwick
Inf. Sci.2
2020 An Online Calculator for Qubits Based on Geometric Algebra
Dietmar Hildenbrand, Christian Steinmetz, Rafael Alves, Jaroslav Hrdina, Carlile Lavor
CGI5
2020 MD-jeep: a New Release for Discretizable Distance Geometry Problems with Interval Data
abstract
With the most recent releases of MD-JEEP, new relevant features have been included to our software tool.MD-JEEP solves instances of the class of Discretizable Distance Geometry Problems (DDGPs), which ask to find possible realizations, in a Euclidean space, of a simple weighted undirected graph for which distance constraints between vertices are given, and for which a discretization of the search space can be supplied.Since its version 0.3.0,MD-JEEP is able to deal with instances containing interval data.We focus in this short paper on the most recent release MD-JEEP 0.3.2:among the new implemented features, we will focus our attention on three features: (i) an improved procedure for the generation and update of the boxes used in the coarse-grained representation (necessary to deal with instances containing interval data); (ii) a new procedure for the selection of the so-called discretization vertices (necessary to perform the discretization of the search space); (iii) the implementation of a general parser which allows the user to easily load DDGP instances in a given specified format.The source code of MD-JEEP 0.3.2 is available on GitHub, where the reader can find all additional details about the implementation of such new features, as well as verify the effectiveness of such features by comparing MD-JEEP 0.3.2 with its previous releases.
Antonio Mucherino, Douglas Soares Gonçalves, Leo Liberti, Jung-Hsin Lin, Carlile Lavor, Nelson Maculan
FedCSIS5
2019 Realizing Euclidean distance matrices by sphere intersection
Jorge Alencar, Carlile Lavor, Leo Liberti
Discret. Appl. Math.2
2019 Minimal NMR distance information for rigidity of protein graphs
abstract
Nuclear Magnetic Resonance (NMR) experiments provide distances between nearby atoms of a protein molecule. The corresponding structure determination problem is to determine the 3D protein structure by exploiting such distances. We present a new order on the atoms of the protein, based on information from the chemistry of proteins and NMR experiments, which allows us to formulate the problem as a combinatorial search. Additionally, this order tells us what kind of NMR distance information is crucial to understand the cardinality of the solution set of the problem and its computational complexity.
Carlile Lavor, Leo Liberti, Bruce Randall Donald, Bradley Worley, Benjamin Bardiaux, Therese E. Malliavin, Michael Nilges
Discret. Appl. Math.1
2019 On the polynomiality of finding KDMDGP re-orders
Carlile Lavor, Michael Souza 0001, Luiz Mariano Carvalho, Leo Liberti
Discret. Appl. Math.1
2018 A symmetry-based splitting strategy for discretizable distance geometry problems
Felipe Fidalgo, Douglas Soares Gonçalves, Carlile Lavor, Leo Liberti, Antonio Mucherino
J. Glob. Optim.3
2018 A new algorithm for the small-field astrometric point-pattern matching problem
Cláudio P. Santiago, Carlile Lavor, Sérgio Assunção Monteiro, Alberto Krone-Martins
J. Glob. Optim.2
2018 Tuning interval Branch-and-Prune for protein structure determination
Bradley Worley, Florent Delhommel, Florence Cordier, Therese E. Malliavin, Benjamin Bardiaux, Nicolas Wolff, Michael Nilges, Carlile Lavor, Leo Liberti
J. Glob. Optim.8
2017 Modeling the Molecular Distance Geometry Problem Using Dihedral Angles
Michael Souza 0001, Carlile Lavor, Rafael Alves
ISBRA2
2017 New Error Measures and Methods for Realizing Protein Graphs from Distance Data
Claudia D'Ambrosio, Ky Khac Vu, Carlile Lavor, Leo Liberti, Nelson Maculan
Discret. Comput. Geom.3
2017 Calculating the possible conformations arising from uncertainty in the molecular distance geometry problem using constraint interval analysis
Tiago Mendonça da Costa, H. Bouwmeester, Weldon A. Lodwick, Carlile Lavor
Inf. Sci.4
2017 Recent advances on the interval distance geometry problem
Douglas Soares Gonçalves, Antonio Mucherino, Carlile Lavor, Leo Liberti
J. Glob. Optim.3
2016 A New Approach to the Discretization of Multidimensional Scaling
abstract
Given a set of points in a Euclidean space having dimension K > 0, we are interested in the problem of finding a realization of the same set in a Euclidean space having a lower dimension.In most situations, it is not possible to preserve all available interpoint distances in the new space, so that the best possible realization, which gives the minimal error on the distances, needs to be searched.This problem is known in the scientific literature as the Multidimensional Scaling (MDS).We propose a new methodology to discretize the search space of MDS instances, with the aim of performing an efficient enumeration of their solution sets.Some preliminary computational experiments on a set of artificially generated instances are presented.We conclude our paper with some future research directions.
Antonio Mucherino, Warley Gramacho, Jung-Hsin Lin, Carlile Lavor
FedCSIS4
2015 An algorithm to enumerate all possible protein conformations verifying a set of distance constraints
abstract
BACKGROUND: The determination of protein structures satisfying distance constraints is an important problem in structural biology. Whereas the most common method currently employed is simulated annealing, there have been other methods previously proposed in the literature. Most of them, however, are designed to find one solution only. RESULTS: In order to explore exhaustively the feasible conformational space, we propose here an interval Branch-and-Prune algorithm (iBP) to solve the Distance Geometry Problem (DGP) associated to protein structure determination. This algorithm is based on a discretization of the problem obtained by recursively constructing a search space having the structure of a tree, and by verifying whether the generated atomic positions are feasible or not by making use of pruning devices. The pruning devices used here are directly related to features of protein conformations. CONCLUSIONS: We described the new algorithm iBP to generate protein conformations satisfying distance constraints, that would potentially allows a systematic exploration of the conformational space. The algorithm iBP has been applied on three α-helical peptides.
Andrea Cassioli, Benjamin Bardiaux, Guillaume Bouvier, Antonio Mucherino, Rafael Alves, Leo Liberti, Michael Nilges, Carlile Lavor, Therese E. Malliavin
BMC Bioinform.8
2015 Discretization vertex orders in distance geometry
Andrea Cassioli, Oktay Günlük, Carlile Lavor, Leo Liberti
Discret. Appl. Math.3
2015 Preface
Antonio Mucherino, Rosiane de Freitas, Carlile Lavor
Discret. Appl. Math.3
2014 An adaptive branching scheme for the Branch & Prune algorithm applied to Distance Geometry
abstract
The Molecular Distance Geometry Problem (MDGP) is the one of finding molecular conformations that satisfy a set of distance constraints obtained through experimental techniques such as Nuclear Magnetic Resonance (NMR).We consider a subclass of MDGP instances that can be discretized, where the search domain has the structure of a tree, which can be explored by using an interval Branch & Prune (iBP) algorithm.When all available distances are exact, all candidate positions for a given molecular conformation can be enumerated.This is however not possible in presence of interval distances, because a continuous subset of positions can actually be computed for some atoms.The focus of this work is on a new scheme for an adaptive generation of a discrete subset of candidate positions from this continuous subset.Our generated candidate positions do not only satisfy the distances employed in the discretization process, but also additional distances that might be available (the so-called pruning distances).Therefore, this new scheme is able to guide more efficiently the search in the feasible regions of the search domain.In this work, we motivate the development and formally introduce this new adaptive scheme.Presented computational experiments show that iBP, integrated with our new scheme, outperforms the standard iBP on a set of NMR-like instances.
Douglas Soares Gonçalves, Antonio Mucherino, Carlile Lavor
FedCSIS3
2014 On the number of realizations of certain Henneberg graphs arising in protein conformation
Leo Liberti, Benoît Masson, Jon Lee 0001, Carlile Lavor, Antonio Mucherino
Discret. Appl. Math.4
2014 Discretization orders for protein side chains
Virginia Costa, Antonio Mucherino, Carlile Lavor, Andrea Cassioli, Luiz Mariano Carvalho, Nelson Maculan
J. Glob. Optim.3
2014 A new hybrid classical-quantum algorithm for continuous global optimization problems
Pedro C. S. Lara, Renato Portugal, Carlile Lavor
J. Glob. Optim.3
2013 Energy-based Pruning Devices for the BP Algorithm applied to Distance Geometry
Douglas Soares Gonçalves, Antonio Mucherino, Carlile Lavor
FedCSIS3
2013 Solving the molecular distance geometry problem with inaccurate distance data
abstract
We present a new iterative algorithm for the molecular distance geometry problem with inaccurate and sparse data, which is based on the solution of linear systems, maximum cliques, and a minimization of nonlinear least-squares function. Computational results with real protein structures are presented in order to validate our approach.
Michael Souza 0001, Carlile Lavor, Albert Muritiba, Nelson Maculan
BMC Bioinform.2
2013 The interval Branch-and-Prune algorithm for the discretizable molecular distance geometry problem with inexact distances
Carlile Lavor, Leo Liberti, Antonio Mucherino
J. Glob. Optim.1
2012 On suitable orders for discretizing Molecular Distance Geometry Problems related to protein side chains
Virginia Costa, Antonio Mucherino, Carlile Lavor, Luiz Mariano Carvalho, Nelson Maculan
FedCSIS3
2011 On the Number of Solutions of the Discretizable Molecular Distance Geometry Problem
Leo Liberti, Benoît Masson, Jon Lee 0001, Carlile Lavor, Antonio Mucherino
COCOA4
2011 Influence of Pruning Devices on the Solution of Molecular Distance Geometry Problems
Antonio Mucherino, Carlile Lavor, Therese E. Malliavin, Leo Liberti, Michael Nilges, Nelson Maculan
SEA2
2011 On the computation of protein backbones by using artificial backbones of hydrogens
Carlile Lavor, Antonio Mucherino, Leo Liberti, Nelson Maculan
J. Glob. Optim.1
2010 A parallel version of the Branch & Prune algorithm for the Molecular Distance Geometry Problem
abstract
We consider the Molecular Distance Geometry Problem (MDGP), which is the problem of finding the conformation of a molecule from some known distances between its atoms. Such distances can be estimated by performing experiments of Nuclear Magnetic Resonance (NMR). Unfortunately, data obtained during these experiments are usually noisy and affected by errors. In particular, some of the estimated distances can be wrong, typically because assigned to the wrong pair of atoms. When particular assumptions are satisfied, the problem can be discretized, and solved by employing an ad-hoc algorithm called Branch & Prune (BP). However, this algorithm has been proved to be less efficient than a meta-heuristic algorithm when the percentage of wrong distances is large. We propose a parallel version of the BP algorithm which is able to handle this kind of instances. The scalability of the proposed algorithm allows for solving very large instances containing wrong distances. Implementation details of the algorithm in C/MPI are discussed, and computational experiments, performed on the nation-wide grid infrastructure Grid5000, are presented.
Antonio Mucherino, Carlile Lavor, Leo Liberti, El-Ghazali Talbi
AICCSA2
2009 The Molecular Distance Geometry Problem Applied to Protein Conformations
Antonio Mucherino, Carlile Lavor, Nelson Maculan
CTW2
2009 Comparisons between an exact and a metaheuristic algorithm for the molecular distance geometry problem
abstract
We consider the Discretizable Molecular Distance Geometry Problem (DMDGP), which consists in a subclass of instances of the distance geometry problem related to molecular conformations for which a combinatorial reformulation can be supplied. We investigate the performances of two different algorithms for solving the DMDGP. The first one is the Branch and Prune (BP) algorithm, an exact algorithm that is strongly based on the structure of the combinatorial problem. The second one is the Monkey Search (MS) algorithm, a meta-heuristic algorithm that is inspired by the behavior of a monkey climbing trees in search for food supplies, and that exploits ideas and strategies from other meta-heuristic searches, such Genetic Algorithms, Differential Evolution, and so on. The comparison between the two algorithms is performed on a set of instances related to protein conformations. The used instances simulate data obtained from the Nuclear Magnetic Resonance (NMR), because the typical distances provided by NMR are considered and a predetermined number of wrong distances are included.
Antonio Mucherino, Leo Liberti, Carlile Lavor, Nelson Maculan
GECCO3
2009 Reformulation in mathematical programming: An application to quantum chemistry
Leo Liberti, Carlile Lavor, Nelson Maculan, Marco Antonio Chaer Nascimento
Discret. Appl. Math.2
2009 Double variable neighbourhood search with smoothing for the molecular distance geometry problem
Leo Liberti, Carlile Lavor, Nelson Maculan, Fabrizio Marinelli 0001
J. Glob. Optim.2
2008 Extending the geometric build-up algorithm for the molecular distance geometry problem
Ricardo dos Santos Carvalho, Carlile Lavor, Fábio Protti
Inf. Process. Lett.2