Arlindo L. Oliveira

发表

Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines

Stephen Edwards, Arlindo L. Oliveira, 1996, ALT.

Learning Complex Boolean Functions: Algorithms and Applications

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1993, NIPS.

Fully compressed suffix trees

Gonzalo Navarro, Luís M. S. Russo, Arlindo L. Oliveira, 2008, TALG.

On Community Detection in Very Large Networks

Alexandre P. Francisco, Arlindo L. Oliveira, 2010, CompleNet.

YEASTRACT-DISCOVERER: new tools to improve the analysis of transcriptional regulatory associations in Saccharomyces cerevisiae

Alexandre P. Francisco, Sofia d'Orey, Arlindo L. Oliveira, 2007, Nucleic Acids Res..

Inference of regular languages using state merging algorithms with search

Arlindo L. Oliveira, Miguel M. F. Bugalho, M. Bugalho, 2005, Pattern Recognit..

Mining query log graphs towards a query folksonomy

Ricardo Baeza-Yates, Alexandre P. Francisco, Arlindo L. Oliveira, 2011, Concurr. Comput. Pract. Exp..

Learning bayesian networks consistent with the optimal branching

Arlindo L. Oliveira, Alexandra M. Carvalho, 2007, Sixth International Conference on Machine Learning and Applications (ICMLA 2007).

Implicit resolution of the Chapman-Kolmogorov equations for sequential circuits: an application in power estimation

Arlindo L. Oliveira, Ana T. Freitas, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

Grammatical Inference: Algorithms and Applications

J. van Leeuwen, Arlindo L. Oliveira, 2000, Lecture Notes in Computer Science.

Inferring Reduced Ordered Decision Graphs of Minimum Description Length

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, 1995, ICML.

Special issue on string processing and information retrieval

Alberto H. F. Laender, Arlindo L. Oliveira, 2004, J. Discrete Algorithms.

USING GRAMMATICAL INFERENCE TECHNIQUES TO LEARN ONTOLOGIES THAT DESCRIBE THE STRUCTURE OF DOMAIN INSTANCES

H. Sofia Pinto, Helena Sofia Pinto, Arlindo L. Oliveira, 2008, Appl. Artif. Intell..

A Data Mining Approach to Credit Risk Evaluation and Behaviour Scoring

Arlindo L. Oliveira, Sara C. Madeira, Catarina S. Conceição, 2003, EPIA.

Efficient search techniques for the inference of minimum size finite automata

Joao Marques-Silva, Arlindo L. Oliveira, Joao Marques-Silva, 1998, Proceedings. String Processing and Information Retrieval: A South American Symposium (Cat. No.98EX207).

Efficient Learning of Bayesian Network Classifiers

Marie-France Sagot, Arlindo L. Oliveira, Alexandra M. Carvalho, 2007, Australian Conference on Artificial Intelligence.

A polynomial time biclustering algorithm for finding approximate expression patterns in gene expression time series

Arlindo L. Oliveira, Sara C. Madeira, S. Madeira, 2009, Algorithms for Molecular Biology.

Bioinformatics: A New Approach for the Challenges of Molecular Biology

Arlindo L. Oliveira, Isabel Sá-Correia, Ana T. Freitas, 2007 .

Circuit partitioning techniques for power estimation using the full set of input correlations

Arlindo L. Oliveira, Ana T. Freitas, 2001, ICECS 2001. 8th IEEE International Conference on Electronics, Circuits and Systems (Cat. No.01EX483).

Implicit FSM decomposition applied to low-power design

José C. Monteiro, Arlindo L. Oliveira, 2002, IEEE Trans. Very Large Scale Integr. Syst..

Metrics for Grid Applicability: A Distributed Elliptic Curve Platform Assessment

Arlindo L. Oliveira, Paulo Trezentos, Paulo Trezentos, 2003, PPAM.

Biclustering algorithms for biological data analysis: a survey

Arlindo L. Oliveira, Sara C. Madeira, S. Madeira, 2004, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Haplotype Inference with Boolean Constraint Solving: An Overview

Inês Lynce, Joao Marques-Silva, Arlindo L. Oliveira, 2008, 2008 20th IEEE International Conference on Tools with Artificial Intelligence.

Computer Architecture:Digital Circuits to Microprocessors

José Monteiro, Arlindo L. Oliveira, Guilherme Arroz, 2018 .

Low Overhead Encodings For Reduced Activity In Data And Address Buses

Arlindo L. Oliveira, Rua Alves Redol, Paulo J. Ramos, 1999 .

Bottom-up testing methodology for VLSI

Arlindo L. Oliveira, J. A. Gracio, P. A. Bicudo, 1988, Proceedings of the IEEE 1988 Custom Integrated Circuits Conference.

String Processing and Information Retrieval

J. van Leeuwen, Jan van Leeuwen, Arlindo L. Oliveira, 2002, Lecture Notes in Computer Science.

Efficient learning of Bayesian network classifiers: an extension to the TAN classifier

Marie-France Sagot, Arlindo L. Oliveira, Alexandra M. Carvalho, 2007 .

A Linear Time Biclustering Algorithm for Time Series Gene Expression Data

Arlindo L. Oliveira, Sara C. Madeira, S. Madeira, 2005, WABI.

An efficient algorithm for the identification of structured motifs in DNA promoter sequences

Marie-France Sagot, Arlindo L. Oliveira, Alexandra M. Carvalho, 2006, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

YEASTRACT: providing a programmatic access to curated transcriptional regulatory associations in Saccharomyces cerevisiae through a web services interface

Alexandre P. Francisco, Arlindo L. Oliveira, Sara C. Madeira, 2010, Nucleic Acids Res..

Efficient generation of super condensed neighborhoods

Luís M. S. Russo, Arlindo L. Oliveira, 2007, J. Discrete Algorithms.

A new algorithm for exact reduction of incompletely specified finite state machines

Arlindo L. Oliveira, Jorge M. Pena, J. M. Pena, 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Haplotype Inference by Pure Parsimony: A Survey

Inês Lynce, Joao Marques-Silva, Arlindo L. Oliveira, 2010, J. Comput. Biol..

A parallel algorithm for the extraction of structured motifs

Marie-France Sagot, Arlindo L. Oliveira, Alexandra M. Carvalho, 2004, SAC '04.

Sequential Pattern Mining Algorithms: Trade-offs between Speed and Memory

Cláudia Antunes, Arlindo L. Oliveira, 2004 .

Constant Time Clash Detection in protein Folding

Arlindo L. Oliveira, Miguel M. F. Bugalho, M. Bugalho, 2009, J. Bioinform. Comput. Biol..

An Evaluation of the Impact of Side Chain Positioning on the Accuracy of Discrete Models of Protein Structures

Arlindo L. Oliveira, Miguel M. F. Bugalho, M. Bugalho, 2008, BSB.

A highly scalable algorithm for the extraction of CIS-regulatory regions

Marie-France Sagot, Arlindo L. Oliveira, Alexandra M. Carvalho, 2005, APBC.

Inference of State Machines from Examples of Behavior

Arlindo L. Oliveira, Stephen W. Edwards, Stephen Edwards, 1995 .

Conditional Random Fields as Recurrent Neural Networks for 3D Medical Imaging Segmentation pdf

Mário A. T. Figueiredo, Arlindo L. Oliveira, Miguel Monteiro, 2018, ArXiv.

Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection

Inês Lynce, Joao Marques-Silva, Arlindo L. Oliveira, 2007, EPIA Workshops.

A compressed self-index using a Ziv–Lempel dictionary

Luís M. S. Russo, Arlindo L. Oliveira, L. Russo, 2006, Information Retrieval.

Discriminative Learning of Bayesian Networks via Factorized Conditional Log-Likelihood

Teemu Roos, Petri Myllymäki, Arlindo L. Oliveira, 2011, J. Mach. Learn. Res..

Approximate String Matching with Lempel-Ziv Compressed Indexes

Gonzalo Navarro, Luís M. S. Russo, Arlindo L. Oliveira, 2007, SPIRE.

LEMPEL-ZIV SLIDING WINDOW UPDATE WITH SUFFIX ARRAYS

Mário A. T. Figueiredo, Arlindo L. Oliveira, Artur J. Ferreira, 2013 .

Power optimization of combinational modules using self-timed precomputation

José Monteiro, Arlindo L. Oliveira, A. Mota, 1998, ISCAS '98. Proceedings of the 1998 IEEE International Symposium on Circuits and Systems (Cat. No.98CH36187).

Using complementation and resequencing to minimize transitions

Rajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

An Efficient Biclustering Algorithm for Finding Genes with Similar Patterns in Time-series Expression Data

Arlindo L. Oliveira, Sara C. Madeira, S. Madeira, 2007, APBC.

Quantitative Modeling the Saccharomyces cerevisiae FLR1 Regulatory Network Using an S-System Formalism

Arlindo L. Oliveira, Susana Vinga, Ana T. Freitas, 2011, HISB.

An Empirical Comparison of Text Categorization Methods

Arlindo L. Oliveira, Ana Cardoso-Cachopo, Ana Cardoso-Cachopo, 2003, SPIRE.

Dynamic Fully-Compressed Suffix Trees

Gonzalo Navarro, Luís M. S. Russo, Arlindo L. Oliveira, 2008, CPM.

Time and Memory Efficient Lempel-Ziv Compression Using Suffix Arrays pdf

Mário A. T. Figueiredo, Artur J. Ferreira, Arlindo L. Oliveira, 2009, ArXiv.

A New Quick Point Location Algorithm

Michael Gould, Arlindo L. Oliveira, José Poveda, 2004, ER.

String processing and information retrieval : 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003 : proceedings

Mario A. Nascimento, Edleno Silva de Moura, Arlindo L. Oliveira, 2003 .

Apt-pbo: solving the software dependency problem using pseudo-boolean optimization

Inês Lynce, Arlindo L. Oliveira, Paulo Trezentos, 2010, ASE.

The YEASTRACT database: an upgraded information system for the analysis of gene and genomic transcription regulation in Saccharomyces cerevisiae

Catarina Costa, Alexandre P. Francisco, Arlindo L. Oliveira, 2013, Nucleic Acids Res..

Improved Model Checking Techniques for State Space Analysis of Gene Regulatory Networks

Kenneth L. McMillan, Ellen M. Sentovich, Arlindo L. Oliveira, 2010 .

Using a More Powerful Teacher to Reduce the Number of Queries of the L* Algorithm in Practical Applications

Helena Sofia Pinto, Arlindo L. Oliveira, André L. Martins, 2005, EPIA.

Making algorithms work for us

Arlindo L. Oliveira, 2018 .

Efficient Haplotype Inference with Combined CP and OR Techniques

Inês Lynce, Joao Marques-Silva, Arlindo L. Oliveira, 2008, CPAIOR.

The YEASTRACT database: a tool for the analysis of transcription regulatory associations in Saccharomyces cerevisiae

Pooja Jain, Arlindo L. Oliveira, Pedro T. Monteiro, 2005, Nucleic Acids Res..

Learning bayesian networks consistent with the optimal branching

Arlindo L. Oliveira, Alexandra M. Carvalho, 2007, ICMLA 2007.

Clique Analysis of Query Log Graphs

Ricardo Baeza-Yates, Alexandre P. Francisco, Arlindo L. Oliveira, 2008, SPIRE.

A probabilistic method for the computation of testability of RTL constructs

João Paulo Teixeira, Marcelino B. Santos, Arlindo L. Oliveira, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

LSAT-an algorithm for the synthesis of two level threshold gate networks

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Grammatical Inference: Algorithms and Applications: 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings

Arlindo L. Oliveira, 2000 .

Temporal Data Mining: an overview

Cláudia Antunes, Arlindo L. Oliveira, C. Antunes, 2001 .

Efficient Extraction of Structured Motifs Using Box-Links

Marie-France Sagot, Arlindo L. Oliveira, Alexandra M. Carvalho, 2004, SPIRE.

Approximate String Matching with Compressed Indexes

Gonzalo Navarro, Luís M. S. Russo, Arlindo L. Oliveira, 2009, Algorithms.

On the Use of Suffix Arrays for Memory-Efficient Lempel-Ziv Data Compression

Mário A. T. Figueiredo, Artur J. Ferreira, Arlindo L. Oliveira, 2009, 2009 Data Compression Conference.

Using Machine Learning to Improve the Prediction of Functional Outcome in Ischemic Stroke Patients

Alexandre P. Francisco, Arlindo L. Oliveira, José M. Ferro, 2018, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Faster Generation of Super Condensed Neighbourhoods Using Finite Automata

Luís M. S. Russo, Arlindo L. Oliveira, 2005, SPIRE.

Fully-Compressed Suffix Trees

Gonzalo Navarro, Luís M. S. Russo, Arlindo L. Oliveira, 2008, LATIN.

Inference of Sequential Association Rules Guided by Context-Free Grammars

Cláudia Antunes, Arlindo L. Oliveira, C. Antunes, 2002, ICGI.

Proceedings of the 5th International Colloquium on Grammatical Inference: Algorithms and Applications

Arlindo L. Oliveira, 2000 .

Integrating Dynamic Power Management in the Design Flow

José C. Monteiro, Nuno Ferreira, Arlindo L. Oliveira, 1999, VLSI.

Sensitivity to SEUs evaluation using probabilistic testability analysis at RTL

Raoul Velazco, Arlindo L. Oliveira, J. P. Teixeira, 2007 .

Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information

Inês Lynce, Joao Marques-Silva, Arlindo L. Oliveira, 2010, ANB.

FSM decomposition by direct circuit manipulation applied to low power design

José C. Monteiro, Arlindo L. Oliveira, 2000, Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106).

On the Suitability of Suffix Arrays for Lempel-Ziv Data Compression

Mário A. T. Figueiredo, Artur J. Ferreira, Arlindo L. Oliveira, 2008, ICETE.

Probabilistic Testability Analysis and DFT Methods at RTL

João Paulo Teixeira, Marcelino B. Santos, Arlindo L. Oliveira, 2006, 2006 IEEE Design and Diagnostics of Electronic Circuits and systems.

An exact gate assignment algorithm for tree circuits under rise and fall delays

Rajeev Murgai, Arlindo L. Oliveira, 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).

Mining Patterns Using Relaxations of User Defined Constraints

Cláudia Antunes, Arlindo L. Oliveira, 2004 .

Empirical Evaluation of Centroid-based Models for Single-label Text Categorization

Arlindo L. Oliveira, Rua Alves Redol, Ana Cardoso-Cachopo, 2006 .

Identification of Transcription Factor Binding Sites in Promoter Regions by Modularity Analysis of the Motif Co-occurrence Graph

Alexandre P. Francisco, Arlindo L. Oliveira, Ana T. Freitas, 2008, ISBRA.

A Compressed Self-index Using a Ziv-Lempel Dictionary

Luís M. S. Russo, Arlindo L. Oliveira, 2006, SPIRE.

Efficient Algorithms for the Inference of Minimum Size DFAs

Joao Marques-Silva, Arlindo L. Oliveira, Joao Marques-Silva, 2001, Machine Learning.

Efficient Haplotype Inference with Pseudo-boolean Optimization

Inês Lynce, Joao Marques-Silva, Arlindo L. Oliveira, 2007, AB.

Sparse network-based regularization for the analysis of patientomics high-dimensional survival data

Marie-France Sagot, Arlindo L. Oliveira, Susana Vinga, 2018, bioRxiv.

Parallel and Distributed Compressed Indexes

Gonzalo Navarro, Luís M. S. Russo, Arlindo L. Oliveira, 2010, CPM.

Exact Minimization of Binary Decision Diagrams Using Implicit Techniques

Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, 1998, IEEE Trans. Computers.

Indexed Hierarchical Approximate String Matching

Gonzalo Navarro, Luís M. S. Russo, Arlindo L. Oliveira, 2008, SPIRE.

Finite state machine decomposition for low power

José C. Monteiro, Arlindo L. Oliveira, J. Monteiro, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

Constructive Induction Using a Non-Greedy Strategy for Feature Selection

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, 1992, ML.

GRISOTTO: A greedy approach to improve combinatorial algorithms for motif discovery with prior knowledge

Arlindo L. Oliveira, Alexandra M. Carvalho, 2010, Algorithms for Molecular Biology.

Robust techniques for watermarking sequential circuit designs

Arlindo L. Oliveira, 1999, DAC '99.

DFT and Probabilistic Testability Analysis at RTL

Marcelino B. Santos, Arlindo L. Oliveira, José M. Fernandes, 2006, 2006 IEEE International High Level Design Validation and Test Workshop.

Semi-supervised single-label text categorization using centroid-based classifiers

Arlindo L. Oliveira, Ana Cardoso-Cachopo, 2007, SAC '07.

Proceedings of the 9th International Symposium on String Processing and Information Retrieval

Alberto H. F. Laender, Arlindo L. Oliveira, 2002 .

Quantitative Modeling the Saccharomyces cerevisiae FLR1 Regulatory Network Using an S-System Formalism

Arlindo L. Oliveira, Susana Vinga, Ana T. Freitas, 2011, 2011 IEEE First International Conference on Healthcare Informatics, Imaging and Systems Biology.

UN MODELO DE RECUPERACIÓN DE INFORMACIÓN BASADO EN SVMs INFORMATION RETRIEVAL MODEL BASED ON SVMS

Arlindo L. Oliveira, J. Alfredo Sánchez, M. Fernanda Maldonado, 2004 .

On the problem of gate assignment under different rise and fall delays

Rajeev Murgai, Arlindo L. Oliveira, 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

An analysis of the positional distribution of DNA motifs in promoter regions and its biological relevance

Arlindo L. Oliveira, Susana Vinga, Ana T. Freitas, 2007, BMC Bioinformatics.

Fully Generalized Graph Cores

Alexandre P. Francisco, Arlindo L. Oliveira, 2010, CompleNet.

Ontology Design Principles and Normalization Techniques in the Web

Jonas S. Almeida, Arlindo L. Oliveira, Xiaoshu Wang, 2008, DILS.

TFRank: network-based prioritization of regulatory associations underlying transcriptional responses

Alexandre P. Francisco, Arlindo L. Oliveira, Joana P. Gonçalves, 2011, Bioinform..

Dotted Suffix Trees A Structure for Approximate Text Indexing

Arlindo L. Oliveira, Luís Pedro Coelho, 2006, SPIRE.

An ecient clash detection method for molecular structures applications

Arlindo L. Oliveira, Miguel Bugalho, 2007 .

String processing and information retrieval : 9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002 : proceedings

Alberto H. F. Laender, Arlindo L. Oliveira, 2002 .

Efficient alignment of pyrosequencing reads for re-sequencing applications

Luís M. S. Russo, Arlindo L. Oliveira, Francisco Fernandes, 2010, BMC Bioinformatics.

TAPYR: An efficient high-throughput sequence aligner for re-sequencing applications

Luís M. S. Russo, Arlindo L. Oliveira, Francisco Fernandes, 2012 .

Mining Large Query Induced Graphs towards a Hierarchical Query Folksonomy

Ricardo Baeza-Yates, Alexandre P. Francisco, Arlindo L. Oliveira, 2010, SPIRE.

Techniques for the creation of digital watermarks in sequentialcircuit designs

Arlindo L. Oliveira, 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Identification of Regulatory Modules in Time Series Gene Expression Data Using a Linear Time Biclustering Algorithm

Arlindo L. Oliveira, Sara C. Madeira, Miguel C. Teixeira, 2010, IEEE ACM Trans. Comput. Biol. Bioinform..

DegreeCox – a network-based regularization method for survival analysis

Marie-France Sagot, Arlindo L. Oliveira, Susana Vinga, 2016, BMC Bioinformatics.

Analog Macromodeling using Kernel Methods

Luís Miguel Silveira, Joel R. Phillips, Arlindo L. Oliveira, 2003, ICCAD.

Haplotype inference with pseudo-Boolean optimization

Inês Lynce, Joao Marques-Silva, Arlindo L. Oliveira, 2011, Ann. Oper. Res..

Efficient Biclustering Algorithms for Time Series Gene Expression Data Analysis

Arlindo L. Oliveira, Sara C. Madeira, 2009, IWANN.

Learning Concepts by Synthesizing Minimal Threshold Gate Networks

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1991, ML.

Generalization of Pattern-Growth Methods for Sequential Pattern Mining with Gap Constraints

Cláudia Antunes, Arlindo L. Oliveira, C. Antunes, 2003, MLDM.

Sliding Window Update Using Suffix Arrays

Mário A. T. Figueiredo, Artur J. Ferreira, Arlindo L. Oliveira, 2011, 2011 Data Compression Conference.

Suffix Arrays - A Competitive Choice for Fast Lempel-Ziv Compressions

Mário A. T. Figueiredo, Artur J. Ferreira, Arlindo L. Oliveira, 2008, SIGMAP.

Additional materials and results for MUSA

Arlindo L. Oliveira, Ana T. Freitas, Pedro M. Santos, 2006 .

Constraint Relaxations for Discovering Unknown Sequential Patterns

Cláudia Antunes, Arlindo L. Oliveira, C. Antunes, 2004, KDID.

Prime implicant computation using satisfiability algorithms

Vasco M. Manquinho, Paulo F. Flores, Joao Marques-Silva, 1997, Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence.

Bioinformatics Original Paper Musa: a Parameter Free Algorithm for the Identification of Biologically Significant Motifs

Arlindo L. Oliveira, Nuno D. Mendes, Isabel Sá-Correia, 2022 .

Towards Automatic Learning of a Structure Ontology For Technical Articles

Helena Sofia Pinto, Arlindo L. Oliveira, Albino Martins, 2004 .

Generic ILP vs Specialized 0-1 ILP for Haplotype Inference

Inês Lynce, Joao Marques-Silva, Arlindo L. Oliveira, 2008 .

Using Context-Free Grammars to Constrain Apriori-based Algorithms for Mining Temporal Association Rules

Cláudia Antunes, Arlindo L. Oliveira, C. Antunes, 2002 .

IR-BASE: An integrated framework for the research and teaching of information retrieval technologies

Pável Calado, Arlindo L. Oliveira, Ana Cardoso-Cachopo, 2007 .

A Data Mining Approach for the Detection of High-Risk Breast Cancer Groups

Arlindo L. Oliveira, Orlando Anunciação, Susana Vinga, 2010, IWPACBB.

An Evaluation of Discretization Methods for Non-Supervised Analysis of Time-Series Gene Expression Data

Arlindo L. Oliveira, Sara C. Madeira, 2005 .

A new algorithm for the reduction of incompletely specified finite state machines

Arlindo L. Oliveira, Jorge M. Pena, 1998, ICCAD.

Using the minimum description length principle to infer reduced ordered decision graphs

Alberto L. Sangiovanni-Vincentelli, Arlindo L. Oliveira, 1996, Machine Learning.

An Efficient Algorithm for Generating Super Condensed Neighborhoods

Luís M. S. Russo, Arlindo L. Oliveira, 2005, CPM.

Modelling Neuronal Behaviour with Time Series Regression: Recurrent Neural Networks on C. Elegans Data pdf

Arlindo L. Oliveira, Ruxandra Barbulescu, Gonçalo Mestre, 2021, ArXiv.

Automated Detection of Coronary Artery Stenosis in X-ray Angiography using Deep Neural Networks pdf

Arlindo L. Oliveira, Fausto J. Pinto, Miguel Nobre Menezes, 2021, ArXiv.

Assessing Policy, Loss and Planning Combinations in Reinforcement Learning using a New Modular Architecture pdf

Arlindo L. Oliveira, Tiago Gaspar Oliveira, 2022, ArXiv.

Assessing the Impact of Attention and Self-Attention Mechanisms on the Classification of Skin Lesions pdf

Arlindo L. Oliveira, Rafael Pedro, Rafael Pedro, 2021, 2022 International Joint Conference on Neural Networks (IJCNN).

Branch and Bound Algorithms for Highly Constrained Integer Programs

Vasco M. Manquinho, Arlindo L. Oliveira, K. Sakallah, 1997 .

Satisfiability-Based Algorithms for 0-1 Integer Programming

Vasco M. Manquinho, Arlindo L. Oliveira, K. Sakallah, 2007 .

On The Complexity Of Power Estimation Problems

Arlindo L. Oliveira, H. Neto, A. T. Freitas, 2007 .

Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs

Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1996, Machine Learning.

Refining current knowledge on the yeast FLR1 regulatory network by combined experimental and computational approaches.

Arlindo L. Oliveira, Pedro T. Monteiro, Miguel C. Teixeira, 2010, Molecular bioSystems.

An Overview on Mixture and Hidden Markov Models of Gene Expression in Time Series

Arlindo L. Oliveira, S. Madeira, 2008 .

An implicit formulation for exact BDD minimization of incompletely specified functions

Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, L. Carloni, 1997 .

Mining query logs induced graphs

Alexandre P. Francisco, Arlindo L. Oliveira, R. Baeza-Yates, 2010 .

Eecient Search Techniques for the Inference of Minimum Sized Finite State Machines

Arlindo L. Oliveira, P. M. Silva, 1997 .

Models and Algorithms for Computing Minimum-Size Prime Implicants

Vasco M. Manquinho, Arlindo L. Oliveira, João Silva, 2008 .

Empirical Learning of Boolean Functions Using Two-Level Logic Synthesis

Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1991 .

SEQUENTIAL PATTERN MINING WITH APPROXIMATED CONSTRAINTS

Cláudia Antunes, Arlindo L. Oliveira, C. Antunes, 2004 .

Using Information Interaction to Discover Epistatic Effects in Complex Diseases

Arlindo L. Oliveira, Orlando Anunciação, Susana Vinga, 2013, PloS one.

FSM decomposition by direct circuit manipulation applied to low power design

Arlindo L. Oliveira, José C. Monteiro, 2000, ASP-DAC '00.

Sugestões de Tags para Digg

Arlindo L. Oliveira, H. S. Pinto, P. Calado, 2007 .

Improving Satisfiability Algorithms with Dominance and Partitioning

Arlindo L. Oliveira, João Silva, João P. Marques Silva, 1997 .

MyWatson: A system for interactive access of personal records

Arlindo L. Oliveira, P. Duarte, 2018 .

Haplotype Inference Combining Pedigrees and Unrelated Individuals

Inês Lynce, Arlindo L. Oliveira, Ana Graça, .

Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings

Arlindo L. Oliveira, 2000 .

Improved algorithm and data structures for modularity analysis of large networks

Alexandre P. Francisco, Arlindo L. Oliveira, 2008 .

What Can Boolean Networks Learn ?

Arlindo L. Oliveira, A. Sangiovanni-Vincentelli, 1992 .

Characterization of novel human intragenic antimicrobial peptides, incorporation and release studies from ureasil-polyether hybrid matrix.

Arlindo L. Oliveira, M. Santos, C. Bloch, 2021, Materials science & engineering. C, Materials for biological applications.

New Generation of Linux Meta-installers

Arlindo L. Oliveira, R. Dicosmo, F. Mancinelli, 2007 .

Latent Semantic Analysis in Technology-Enhanced Learning

Arlindo L. Oliveira, T. Landauer, G. Denhière, 2007 .

A blueprint for conscious machines.

Arlindo L. Oliveira, 2022, Proceedings of the National Academy of Sciences of the United States of America.

Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae.

Arlindo L. Oliveira, Pedro T. Monteiro, Miguel C. Teixeira, 2011, IET systems biology.

Approximate string matching with Ziv-Lempel compressed indexes

Luís M. S. Russo, Arlindo L. Oliveira, G. Navarro, 2007 .

Using graph modularity analysis to identify transcription factor binding sites

Alexandre P. Francisco, Arlindo L. Oliveira, S. Schbath, 2010, 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW).

Efficient identification of epistatic effects in multifactorial disorders

Arlindo L. Oliveira, S. Vinga, Orlando Anunciação, 2013 .

Using Soft Labels to Model Uncertainty in Medical Image Segmentation pdf

Arlindo L. Oliveira, Joao Lourencco Silva, Arlindo L. Oliveira, 2021, BrainLes@MICCAI.

Cutaneous scars in American tegumentary leishmaniasis patients: a site of Leishmania (Viannia) braziliensis persistence and viability eleven years after antimonial therapy and clinical cure.

Arlindo L. Oliveira, H. Momen, F. Conceição-Silva, 1998, The American journal of tropical medicine and hygiene.

Angiosarcoma of the breast associated with Kasabach-Merritt syndrome

Arlindo L. Oliveira, Shaaban H. Moussa, E. F. Murta, 2002, Archives of Gynecology and Obstetrics.

Biotechnology, Big Data and Artificial Intelligence.

Arlindo L. Oliveira, Arlindo L Oliveira, 2019, Biotechnology journal.

A new algorithm for the reduction of incompletely specified finite state machines

Arlindo L. Oliveira, J.M. Pena, A.L. Oliveira, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Substrate specificity of human cathepsin D using internally quenched fluorescent peptides derived from reactive site loop of kallistatin.

Arlindo L. Oliveira, L. Juliano, M. Juliano, 2001, Biochimica et biophysica acta.

Computational approach to the discovery of phytochemical molecules with therapeutic potential targets to the PKCZ protein

Arlindo L. Oliveira, S. Vinga, H. Arcuri, 2018 .

The bio.tools registry of software tools and data resources for the life sciences

Arlindo L. Oliveira, Rob W.W. Hooft, S. Brunak, 2019, Genome Biology.

Biomedical image analysis competitions: The state of current participation practice

Anne L. Martel, Helena R. Torres, Bjoern H Menze, 2022, ArXiv.

The Digital Mind

Arlindo L. Oliveira, 2017 .

Encoder-Decoder Architectures for Clinically Relevant Coronary Artery Segmentation pdf

Arlindo L. Oliveira, Fausto J. Pinto, Joao Lourencco Silva, 2021, ICCABS.