Carlos Rodriguez

According to our database, Carlos Rodriguez authored at least 36 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Detection of potential gas accumulations in 2D seismic images using spatio-temporal, PSO, and convolutional LSTM approaches.

Domingos Alves Dias Júnior, Luana Batista da Cruz, João Otávio Bandeira Diniz, Aristófanes Corrêa Silva, Anselmo Cardoso de Paiva, Marcelo Gattass, Carlos Rodriguez, Roberto Quispe Quispe, Roberto Ribeiro, Vinicius Riguete

Expert Syst. Appl., April, 2023

Linear hybrid models of distillation towers.

Carlos Rodriguez, Prashant Mhaskar, Vladimir Mahalec

Comput. Chem. Eng., March, 2023

OpTIFlow - An optimized end-to-end dataflow for accelerating deep learning workloads on heterogeneous SoCs.

Shyam Jagannathan, Vijay Pothukuchi, Jesse Villarreal, Kumar Desappan, Manu Mathew, Rahul Ravikumar, Aniket Limaye, Mihir Mody, Pramod Swami, Piyali Goswami, Carlos Rodriguez, Emmanuel Madrigal, Marco Herrera

Proceedings of the Autonomous Vehicles and Machines 2023, 2023

2022

Monitoring Framework to Support Mixed-Criticality Applications on Multicore Platforms.

Gautam Gala, Carlos Rodriguez, Veaceslav Monaco, Javier Castillo, Gerhard Fohler, Veaceslav Falico, Sergey Tverdyshev

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Global Monotonic Radio-Frequency Impedance Matching Via Control Lyapunov Function Under Safety Constraints.

Carlos Rodriguez, Jairo Viola, Joaquin Alvarez, YangQuan Chen

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Radio Frequency Impedance Matching Based on Control Lyapunov Function.

Carlos Rodriguez, Jairo Viola, Joaquin Alvarez, YangQuan Chen

Proceedings of the American Control Conference, 2022

2021

Input-Output Admissibility Analysis of Continuous Descriptor System With Time-Varying Delay.

Hicham El Aiss, Karina A. Barbosa, Carlos Rodriguez

IEEE Control. Syst. Lett., 2021

Fractional-Order Stochastic Extremum Seeking Control with Dithering Noise for Plasma Impedance Matching.

Jairo Viola, Derek Hollenbeck, Carlos Rodriguez, YangQuan Chen

Proceedings of the IEEE Conference on Control Technology and Applications, 2021

2020

Robust Filtering for Discrete-Time Linear Parameter-Varying Descriptor Systems.

Carlos Rodriguez, Karina A. Barbosa, Daniel Ferreira Coutinho

Symmetry, 2020

PHELP: Pixel Heating Experiment Learning Platform for Education and Research on IAI-based Smart Control Engineering.

Jairo Viola, Carlos Rodriguez, YangQuan Chen

CoRR, 2020

2018

Simulation of transcritical fluid jets using the PC-SAFT EoS.

Carlos Rodriguez, Alvaro Vidal, Phoevos Koukouvinis, Manolis Gavaises, Mark A. McHugh

J. Comput. Phys., 2018

Staff dimensioning in homecare services with uncertain demands.

Carlos Rodriguez, Thierry Garaix, Xiaolan Xie, Vincent Augusto

CoRR, 2018

2017

Algorithms and Architecture for Real-Time Recommendations at News UK.

Dion Bailey, Tom Pajak, Daoud Clarke, Carlos Rodriguez

Proceedings of the Artificial Intelligence XXXIV, 2017

Bounded real lemma for discrete linear time-varying descriptor systems.

Karina A. Barbosa, Daniel Ferreira Coutinho, Carlos E. de Souza, Carlos Rodriguez

Proceedings of the 11th Asian Control Conference, 2017

2016

Combining motion planning and task assignment for a dual-arm system.

Carlos Rodriguez, Raúl Suárez

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Dual-arm framework for cooperative applications.

Carlos Rodriguez, Abiud Rojas-de-Silva, Raúl Suárez

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Comparison of motion planners in an environment with removable obstacles.

Carlos Rodriguez, Raúl Suárez

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2012

FBM-Yahoo! at RepLab 2012.

José M. Chenlo, Jordi Atserias, Carlos Rodriguez, Roi Blanco

Proceedings of the CLEF 2012 Evaluation Labs and Workshop, 2012

2010

Automatic Annotation of the Catalan Wikipedia: Exploring the Semantic Space via multiple NERC systems.

Jordi Atserias, Judith Domingo, Carlos Rodriguez, Teresa Suñol

Proces. del Leng. Natural, 2010

Modelling Self-Management in Service-Oriented Systems using SelfMML.

Carlos Rodriguez, Jorge Jesus Gómez-Sanz, Juan Pavón

Proceedings of the 2nd International Workshop on Model-Driven Service Engineering, 2010

2009

Forensic Analysis of the Sony Playstation Portable.

Scott Conrad, Carlos Rodriguez, Christopher Marberry, Philip Craiger

Proceedings of the Advances in Digital Forensics V, 2009

2008

Investigating the Efficacy of Nonlinear Dimensionality Reduction Schemes in Classifying Gene and Protein Expression Studies.

George Lee, Carlos Rodriguez, Anant Madabhushi

IEEE ACM Trans. Comput. Biol. Bioinform., 2008

2007

An Empirical Comparison of Dimensionality Reduction Methods for Classifying Gene and Protein Expression Datasets.

George Lee, Carlos Rodriguez, Anant Madabhushi

Proceedings of the Bioinformatics Research and Applications, Third International Symposium, 2007

2006

Detecting Prostatic Adenocarcinoma From Digitized Histology Using a Multi-Scale Hierarchical Classification Approach.

Scott Doyle, Carlos Rodriguez, Anant Madabhushi, John Tomaszewski, Michael D. Feldman

Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

2005

Metalinguistic Information Extraction for Terminology

Carlos Rodriguez

CoRR, 2005

2003

Supply chain simulation: a simulation-based tool for inventory analysis in a server computer manufacturing environment.

Heng Cao, Feng Cheng, Haifeng Xi, Markus Ettl, Stephen J. Buckley, Carlos Rodriguez

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

2000

INFOMINE: Promising Directions in Virtual Library Development.

Julie Mason, Steve Mitchell, Margaret Mooney, Lynne Reasoner, Carlos Rodriguez

First Monday, 2000

1998

Initial Operating and Clinical Results of a Full Field Mammography System.

Lim Cheung, Richard Bird, Ashish Chitkara, Alan Rego, Carlos Rodriguez, Jonathan Yuen

Proceedings of the Digital Mammography, 1998

1996

Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft.

S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich

Proceedings of the Digest of Papers: FTCS-26, 1996

1994

The Evaluation of Strategies in Motion Planning with Uncertainty.

J. L. Marion, Carlos Rodriguez, M. de Rougemont

Proceedings of the 1994 International Conference on Robotics and Automation, 1994

1992

A Toolbox for the Verification of LOTOS Programs.

Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis

Proceedings of the 14th International Conference on Software Engineering, 1992

1991

Safety for Branching Time Semantics.

Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

1990

Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.

Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron

Proceedings of the Formal Description Techniques, 1990

1989

What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?

Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

Spécification et validation de systèmes en Xesar. (Specification and validation of systems in Xesar).

Carlos Rodriguez

PhD thesis, 1988

1987

Verification in XESAR of the Sliding Window Protocol.

Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron

Proceedings of the Protocol Specification, 1987