Valmir Carneiro Barbosa
Instituição:
Universidade Federal do Rio de Janeiro
Centro:
Centro de Tecnologia
Unidade:
Coordenação dos Programas de Pós-Graduação de Engenharia
Departamento:
Programa de Engenharia de Sistemas/COPPE
Formação:
-
University of California, Berkeley
| Pós-Doutorado | 2000 - 2000
-
University of California, Berkeley
| Pós-Doutorado | 1995 - 1995
-
University of California, Los Angeles
Ciência da Computação | Doutorado | 1982 - 1986
-
Universidade Federal do Rio de Janeiro
Engenharia de Sistemas e Computação | Mestrado | 1981 - 1982
-
Universidade Federal do Rio de Janeiro
Engenharia Eletrônica | Graduação | 1976 - 1980
Laboratórios:
Nenhum laboratório cadastrado
Nuvens de Palavras:
Artigos:
(97.48% artigos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| A flexible algorithm to offload DAG applications for edge computing | 10.1016/j.jnca.2023.103791 | 2024 |
| Exact Solution of the Full RMSA Problem in Elastic Optical Networks | 10.1109/lnet.2023.3337041 | 2024 |
| Faster determination of an initial velocity model for full-waveform inversion based on simulated annealing | 10.1190/geo2023-0140.1 | 2024 |
| DiagnoMass: A proteomics hub for pinpointing discriminative spectral clusters | 10.1016/j.jprot.2023.104853 | 2023 |
| PatternLab V Handles Multiplex Spectra in Shotgun Proteomic Searches and Increases Identification | 10.1021/jasms.3c00063 | 2023 |
| Shape complexity in cluster analysis | 10.1371/journal.pone.0286312 | 2023 |
| Simple, efficient and thorough shotgun proteomic analysis with PatternLab V | 10.1038/s41596-022-00690-x | 2022 |
| Increasing confidence in proteomic spectral deconvolution through mass defect | 10.1093/bioinformatics/btac638 | 2022 |
| A simple linear model to aid in analyses of the β Pictoris moving group | 10.1093/mnrasl/slac148 | 2022 |
| Interspecies evolutionary dynamics mediated by public goods in bacterial quorum sensing | 10.1103/PhysRevE.103.012403 | 2021 |
| Leveraging the partition selection bias to achieve a high-quality clustering of mass spectra | 10.1016/j.jprot.2021.104282 | 2021 |
| Integrated Optimization of Heterogeneous-Network Management and the Elusive Role of Macrocells | 10.1109/ACCESS.2021.3125240 | 2021 |
| Mixed-data acquisition: next-generation quantitative proteomics data acquisition | 10.1016/j.jprot.2020.103803 | 2020 |
| Local Symmetry in Random Graphs | 10.1109/tnse.2019.2957610 | 2020 |
| Top-Down Garbage Collector: a tool for selecting high-quality top-down proteomics mass spectra | 10.1093/bioinformatics/btz085 | 2019 |
| Differential proteomic comparison of breast cancer secretome using a quantitative paired analysis workflow | 10.1186/s12885-019-5547-y | 2019 |
| A quantitation module for isotope-labeled peptides integrated into PatternLab for proteomics | 10.1016/j.jprot.2019.04.021 | 2019 |
| Counting trees with random walks | 10.1016/j.exmath.2018.07.001 | 2019 |
| Scheduling Wireless Links in the Physical Interference Model by Fractional Edge Coloring | 10.1109/LWC.2019.2961361 | 2019 |
| A computational study of f-reversible processes on graphs | 10.1016/j.dam.2017.07.005 | 2018 |
| Characterization of homodimer interfaces with cross-linking mass spectrometry and isotopically labeled proteins | 10.1038/nprot.2017.113 | 2018 |
| Information-theoretic signatures of biodiversity in the barcoding gene | 10.1016/j.jtbi.2018.05.008 | 2018 |
| Coevolution of the mitotic and meiotic modes of eukaryotic cellular division | 10.1103/PhysRevE.98.032409 | 2018 |
| A note on counting independent terms in asymptotic expressions of computational complexity | 10.1007/s11590-016-1092-7 | 2017 |
| DiagnoProt: a tool for discovery of new molecules by mass spectrometry | 10.1093/bioinformatics/btx093 | 2017 |
| A multi-protease, multi-dissociation, bottom-up-to-top-down proteomic view of the Loxosceles intermedia venom | 10.1038/sdata.2017.90 | 2017 |
| Information Integration from Distributed Threshold-Based Interactions | 10.1155/2017/7046359 | 2017 |
| Power-law decay of the degree-sequence probabilities of multiple random graphs with application to graph isomorphism | 10.1051/ps/2017016 | 2017 |
| Scheduling wireless links by vertex multicoloring in the physical interference model | 10.1016/j.comnet.2016.02.008 | 2016 |
| Quasispecies dynamics on a network of interacting genotypes and idiotypes: applications to autoimmunity and immunodeficiency | 10.1088/1742-5468/2016/06/063501 | 2016 |
| Adaptive event sensing in networks of autonomous mobile agents | 10.1016/j.jnca.2016.04.022 | 2016 |
| The predecessor-existence problem for k-reversible processes | 10.1016/j.tcs.2014.10.018 | 2015 |
| Quasispecies dynamics on a network of interacting genotypes and idiotypes: formulation of the model | 10.1088/1742-5468/2015/01/P01022 | 2015 |
| Information integration in elementary cellular automata | 2015 | |
| A scoring model for phosphopeptide site localization and its impact on the question of whether to use MSA | 10.1016/j.jprot.2015.01.008 | 2015 |
| SIM-XL: A powerful and user-friendly tool for peptide cross-linking analysis | 10.1016/j.jprot.2015.01.013 | 2015 |
| Error-Prone Cellular Automata as Metaphors of Immunity as Computation | 10.25088/ComplexSystems.24.2.93 | 2015 |
| Using SIM-XL to identify and annotate cross-linked peptides analyzed by mass spectrometry | 10.1038/protex.2015.015 | 2015 |
| Using PepExplorer to filter and organize de novo peptide sequencing results | 10.1002/0471250953.bi1327s51 | 2015 |
| Further insights into the interareal connectivity of a cortical network | 10.1017/nws.2015.19 | 2015 |
| Integrated analysis of shotgun proteomic data with PatternLab for proteomics 4.0 | 10.1038/nprot.2015.133 | 2015 |
| Revisiting deadlock prevention: A probabilistic approach | 10.1002/net.21537 | 2014 |
| Exploring the proteomic landscape of a gastric cancer biopsy with the Shotgun Imaging Analyzer | 10.1021/pr400919k | 2014 |
| On best practices in the development of bioinformatics software | 10.3389/fgene.2014.00199 | 2014 |
| The network structure of mathematical knowledge according to the Wikipedia, MathWorld, and DLMF online libraries | 10.1017/nws.2014.20 | 2014 |
| PepExplorer: A Similarity-driven Tool for Analyzing de Novo Sequencing Results | 10.1074/mcp.m113.037002 | 2014 |
| Local heuristic for the refinement of multi-path routing in wireless mesh networks | 10.1016/j.comnet.2012.09.009 | 2013 |
| Effectively addressing complex proteomic search spaces with peptide spectrum matching | 10.1093/bioinformatics/btt106 | 2013 |
| Pinpointing differentially expressed domains in complex protein mixtures with the cloud service of PatternLab for Proteomics | 10.1016/j.jprot.2013.06.013 | 2013 |
| The Conduciveness of CA-rule Graphs | 10.1162/artl_a_00107 | 2013 |
| Search engine processor: filtering and organizing peptide spectrum matches | 10.1002/pmic.201100529 | 2012 |
| Scheduling links for heavy traffic on interfering routes in wireless mesh networks | 10.1016/j.comnet.2012.01.011 | 2012 |
| Improving the TFold test for differential shotgun proteomics | 10.1093/bioinformatics/bts247 | 2012 |
| Quasispecies dynamics with network constraints | 10.1016/j.jtbi.2012.07.032 | 2012 |
| PatternLab: from mass spectra to label-free differential shotgun proteomics | 10.1002/0471250953.bi1319s40 | 2012 |
| Are gastric cancer resection margin proteomic profiles more similar to those from controls or tumors? | 10.1021/pr300612x | 2012 |
| Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions | 10.1007/s11047-010-9209-x | 2011 |
| Analyzing marginal cases in differential shotgun proteomics | 10.1093/bioinformatics/btq632 | 2011 |
| Network algorithmics and the emergence of information integration in cortical models | 10.1103/PhysRevE.84.011904 | 2011 |
| Can the false-discovery rate be misleading? | 10.1002/pmic.201100297 | 2011 |
| Dynamic proteomic overview of glioblastoma cells (A172) exposed to perillyl alcohol | 10.1016/j.jprot.2010.01.003 | 2010 |
| XDIA: improving on the label-free data-independent analysis | 10.1093/bioinformatics/btq031 | 2010 |
| Network algorithmics and the emergence of the cortical synaptic-weight distribution | 10.1103/PhysRevE.81.021916 | 2010 |
| Analyzing shotgun proteomic data with PatternLab for proteomics | 10.1002/0471250953.bi1313s30 | 2010 |
| Network conduciveness with application to the graph-coloring and independent-set optimization transitions | 10.1371/journal.pone.0011232 | 2010 |
| Early appraisal of the fixation probability in directed networks | 10.1103/PhysRevE.82.046114 | 2010 |
| Structured construction and simulation of nondeterministic stochastic activity networks | 10.1016/j.ejor.2008.06.010 | 2009 |
| Partially ordered distributed computations on asynchronous point-to-point networks | 10.1016/j.parco.2008.09.011 | 2009 |
| An algorithm for clock synchronization with the gradient property in sensor networks | 10.1016/j.jpdc.2008.11.001 | 2009 |
| Charge prediction machine: tool for inferring precursor charge states of electron transfer dissociation tandem mass spectra | 10.1021/ac8025288 | 2009 |
| GO Explorer: a gene-ontology tool to aid in the interpretation of shotgun proteomics data | 10.1186/1477-5956-7-6 | 2009 |
| Network growth for enhanced natural selection | 10.1103/PhysRevE.80.026115 | 2009 |
| YADA: a tool for taking the most out of high-resolution spectra | 10.1093/bioinformatics/btp489 | 2009 |
| Acyclic orientations with path constraints | 10.1051/ro:2008028 | 2008 |
| Reachability and recoverability of sink nodes in growing acyclic directed networks | 10.1016/j.physa.2007.09.010 | 2008 |
| V-like formations in flocks of artificial birds | 10.1162/artl.2008.14.2.179 | 2008 |
| Emergence of scale-free behavior in networks from limited-horizon linking and cost trade-offs | 10.1016/j.physa.2007.09.048 | 2008 |
| Identifying differences in protein expression levels by spectral counting and feature selection | 10.4238/vol7-2gmr426 | 2008 |
| Descents and nodal load in scale-free networks | 10.1103/PhysRevE.77.046111 | 2008 |
| PatternLab for proteomics: a tool for differential shotgun proteomics | 10.1186/1471-2105-9-316 | 2008 |
| Probabilistic heuristics for disseminating information in networks | 10.1109/TNET.2007.892877 | 2007 |
| Ellipsoid clustering machine: a front line to aid in disease diagnosis | 10.3395/reciis.v1i2.sup.101en | 2007 |
| Local heuristics and the emergence of spanning subgraphs in complex networks | 10.1016/j.tcs.2005.12.007 | 2006 |
| Cell-centric heuristics for the classification of cellular automata | 10.1016/j.parco.2005.07.003 | 2006 |
| Finding routes in anonymous sensor networks | 10.1016/j.ipl.2006.01.001 | 2006 |
| Two-dimensional cellular automata and the analysis of correlated time series | 10.1016/j.patrec.2006.01.005 | 2006 |
| Emergence of scale-free networks from local connectivity and communication trade-offs | 10.1103/PhysRevE.74.016113 | 2006 |
| Modeling the input history of programs for improved instruction-memory performance | 10.1093/comjnl/bxl044 | 2006 |
| Dissemination strategy for immunizing scale-free networks | 10.1103/PhysRevE.74.056105 | 2006 |
| Two novel evolutionary formulations of the graph coloring problem | 10.1023/B:JOCO.0000021937.26468.b2 | 2004 |
| A distributed algorithm to find k-dominating sets | 10.1016/S0166-218X(03)00368-8 | 2004 |
| Directed cycles and related structures in random graphs: II - Dynamic properties | 10.1016/j.physa.2003.11.010 | 2004 |
| A graph model for the evolution of specificity in humoral immunity | 10.1016/j.jtbi.2004.04.005 | 2004 |
| On the phase transitions of graph coloring and independent sets | 10.1016/j.physa.2004.05.055 | 2004 |
| A novel evolutionary formulation of the maximum independent set problem | 10.1007/s10878-004-4835-9 | 2004 |
| Directed cycles and related structures in random graphs: I - Static properties | 10.1016/S0378-4371(02)01739-9 | 2003 |
| On reducing the complexity of matrix clocks | 10.1016/S0167-8191(03)00066-8 | 2003 |
| Finding approximate palindromes in strings | 10.1016/S0031-3203(01)00179-0 | 2002 |
| The interleaved multichromatic number of a graph | 10.1007/s000260200001 | 2002 |
| Sharing resources at nonuniform access rates | 10.1007/s002240010008 | 2001 |
| A priority dynamics for generalized drinking philosophers | 10.1016/S0020-0190(00)00218-0 | 2001 |
| Defeasible time-stepping | 10.1016/S0167-8191(98)00117-3 | 1999 |
| Generating all the acyclic orientations of an undirected graph | 10.1016/S0020-0190(99)00120-9 | 1999 |
| A BUU code for parallel computers | 10.1142/S0129183198000479 | 1998 |
| Learning in the combinatorial neural model | 10.1109/72.712156 | 1998 |
| Distributed breakpoint detection in message-passing programs | 10.1006/jpdc.1996.0163 | 1996 |
| An algorithm for FIFO message delivery among migrating tasks | 10.1016/0020-0190(94)00199-9 | 1995 |
| From distributed algorithms to Occam programs by successive refinements | 10.1016/0164-1212(94)90016-7 | 1994 |
| A neural system for deforestation monitoring on Landsat images of the Amazon region | 10.1016/0888-613X(94)90022-1 | 1994 |
| A Bayesian-network approach to lexical disambiguation | 10.1207/s15516709cog1702_3 | 1993 |
| A string-matching algorithm for the CREW PRAM | 10.1016/0020-0190(93)90136-W | 1993 |
| Fast linear system solution by neural networks | 10.1016/0167-6377(92)90077-G | 1992 |
| On the distributed parallel simulation of Hopfield's neural networks | 10.1002/spe.4380201002 | 1990 |
| Strategies for the prevention of communication deadlocks in distributed parallel programs | 10.1109/32.60319 | 1990 |
| Blocking versus nonblocking interprocess communication: a note on the effect on concurrency | 10.1016/0020-0190(90)90068-9 | 1990 |
| A distributed implementation of simulated annealing | 10.1016/0743-7315(89)90067-1 | 1989 |
| Concurrency in heavily loaded neighborhood-constrained systems | 10.1145/69558.69560 | 1989 |
| Redes neuronais e `simulated annealing' como ferramentas para otimização combinatória | 1989 | |
| Perspectivas em processamento paralelo para computação científica | 1988 |
Eventos:
(42.86% eventos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| Sketching data structures for massive graph problems | 2019 | |
| A distributed system for SearchOnMath based on the Microsoft BizSpark program | 2018 | |
| Practical aspects of l0-sampling algorithms | 2018 | |
| Análise de complexidade assintótica de algoritmos em grafos por uma abordagem empı́rica | 2018 | |
| Deadlock models in distributed computation | 10.1145/2851613.2851880 | 2016 |
| Handling flash-crowd events to improve the performance of web applications | 10.1145/2695664.2695839 | 2015 |
| Early detection of epilepsy seizures based on a weightless neural network | 10.1109/EMBC.2015.7319387 | 2015 |
| Cooperation in Cognitive Radio Networks | 10.1109/SBRC.2014.47 | 2014 |
| Scheduling cyclic task graphs with SCC-Map | 10.1109/WAMCA.2012.8 | 2012 |
| Evolved preambles for MAX-SAT heuristics | 10.5220/0003660400230031 | 2011 |
| Exploiting the distribution of distances between nodes to efficiently solve the localization problem in wireless sensor networks | 10.1145/1868612.1868615 | 2010 |
| Approximate conditional distributions of distances between nodes in a two-dimensional sensor network | 10.1007/978-3-642-02205-0_23 | 2009 |
| Caracterização da distribuição de carga em redes complexas submetidas a um tráfego uniforme | 2008 | |
| Multiple sequence alignment based on set covers | 10.1007/11732242_12 | 2006 |
| A methodology for determining amino-acid substitution matrices from set covers | 10.1007/11732242_13 | 2006 |
| Minimal chordal sense of direction and circulant graphs | 10.1007/11821069_58 | 2006 |
| Reliable interpretation of x86 code | 2006 | |
| Generating all the cubic graphs that have a 6-cycle double cover | 10.1016/j.endm.2005.05.013 | 2005 |
| Towards code layout improvement through dynamic basic-block motion | 2005 | |
| Monitoring the structure and behavior of programs | 2002 | |
| Instruction usage and the memory gap problem | 10.1109/CAHPC.2002.1180773 | 2002 |
| New 0-1 integer formulations of the graph coloring problem | 2002 | |
| A distributed algorithm for k-dominating sets | 10.1016/S1571-0653(04)00242-2 | 2001 |
| Learning logic programs with neural networks | 10.1007/3-540-44797-0_2 | 2001 |
| Relational intersection as a basis to extend neural networks to learn relational concepts | 2001 | |
| Aprendizado de programas em lógica utilizando redes neurais | 2001 | |
| Um estudo do poliedro associado ao problema de coloração de vértices: uma nova formulação inteira 0-1 | 2001 | |
| Towards a hybrid model of first-order theory refinement | 10.1007/10719871_7 | 2000 |
| Rumo a uma lógica bidimensional de conhecimento em sistemas distribuídos assíncronos | 1999 | |
| A penalty-function approach to rule extraction from knowledge-based neural networks | 1998 | |
| Detecção de breakpoints em programas MPI | 1997 | |
| Experimentos com um algoritmo distribuído para troca ordenada de mensagens entre tarefas que migram | 1997 | |
| Um algoritmo para gerar todas as orientações acíclicas de um grafo | 1996 | |
| Algoritmos distribuídos para detecção de predicados globais | 1995 | |
| Deforestation monitoring oh the Amazon region using neural networks - a comparison between different photo-Interpreters and networks | 1994 | |
| Applying neural networks for deforestation monitoring of the Amazon region | 1994 | |
| Equalization of the training set for backpropagation networks applied to classification problems | 1994 | |
| Monitoring the deforestation of the Amazon region with neural networks | 10.1109/IJCNN.1993.716769 | 1993 |
| Um algoritmo de string matching para o modelo CREW-PRAM | 1993 | |
| Um simulador distribuído baseado no paradigma de eventos condicionais | 1993 | |
| Um simulador distribuído baseado no paradigma espaço-temporal | 1993 | |
| A faster elastic-net algorithm for the traveling salesman problem | 10.1109/IJCNN.1992.227005 | 1992 |
| Time sharing in hypercube multiprocessors | 10.1109/SPDP.1992.242724 | 1992 |
| Learning in analog Hopfield networks | 10.1109/IJCNN.1991.155335 | 1991 |
| Experiments in parallel heuristic search | 1991 | |
| An integrated software environment for large-scale Occam programming | 10.1016/0165-6074(91)90376-5 | 1991 |
| Micro-instruction placement by simulated annealing | 10.1016/0165-6074(91)90317-M | 1991 |
| Feasible directions linear programming by neural networks | 10.1109/IJCNN.1990.137954 | 1990 |
| A TSP objective function that ensures feasibility at stable points | 1990 | |
| An Occam-based evaluation of a parallel version of simulated annealing | 10.1016/0165-6074(90)90222-U | 1990 |
| Uma introdução à computação por redes neuronais | 1990 | |
| Towards a stochastic neural model for combinatorial optimization | 10.1109/IJCNN.1989.118357 | 1989 |
| Redes neuronais e `simulated annealing' como ferramentas para otimização combinatória | 1989 | |
| Uma avaliação experimental do desempenho do sistema multiprocessador ACP | 1989 | |
| Sobre a concorrência na comunicação entre processos paralelos | 1989 | |
| MPH - A hybrid parallel machine | 10.1016/0165-6074(89)90200-7 | 1989 |
| Specification of a communication virtual processor for parallel processing systems | 10.1016/0165-6074(88)90103-2 | 1988 |
| Técnicas para alocação estática de tarefas em sistemas distribuídos | 1988 | |
| Uma forma distribuída de busca estocástica para otimização combinatória | 1987 | |
| Projeto de uma estação PROLOG | 1987 | |
| Concurrency in heavily loaded neighborhood-constrained systems | 1987 | |
| Concorrência em sistemas de computação e a cromaticidade de grafos | 1987 | |
| Optimal snapshots and the maximum flow In precedence graphs | 1986 |