EDBT 2026 Demo / reviewers in the wild / expert
Carlile Lavor
dblp:40/3000
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
ISBRA | 3 |
| 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 |
Algorithmica | 2 |
| 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 |
CGI | 5 |
| 2020 | MD-jeep: a New Release for Discretizable Distance Geometry Problems with Interval DataabstractWith 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 |
FedCSIS | 5 |
| 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 graphsabstractNuclear 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 |
ISBRA | 2 |
| 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 ScalingabstractGiven 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 |
FedCSIS | 4 |
| 2015 | An algorithm to enumerate all possible protein conformations verifying a set of distance constraintsabstractBACKGROUND: 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 GeometryabstractThe 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 |
FedCSIS | 3 |
| 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 |
FedCSIS | 3 |
| 2013 | Solving the molecular distance geometry problem with inaccurate distance dataabstractWe 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 |
FedCSIS | 3 |
| 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 |
COCOA | 4 |
| 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 |
SEA | 2 |
| 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 ProblemabstractWe 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 |
AICCSA | 2 |
| 2009 | The Molecular Distance Geometry Problem Applied to Protein Conformations
Antonio Mucherino, Carlile Lavor, Nelson Maculan |
CTW | 2 |
| 2009 | Comparisons between an exact and a metaheuristic algorithm for the molecular distance geometry problemabstractWe 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 |
GECCO | 3 |
| 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 |