Gregorio de Miguel Casado

According to our database, Gregorio de Miguel Casado authored at least 16 papers between 2003 and 2015.

Collaborative distances:

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

2015

Management of social networks in the educational process.

Higinio Mora Mora, María Teresa Signes Pont, Gregorio de Miguel Casado, Virgilio Gilart-Iglesias

Comput. Hum. Behav., 2015

2014

Information Search Habits of First Year College Students.

Higinio Mora Mora, María Teresa Signes Pont, Gregorio de Miguel Casado

Int. J. Knowl. Soc. Res., 2014

PhyloFlow: A fully customizable and automatic workflow for phylogenetic reconstruction.

Jorge Álvarez-Jarreta, Gregorio de Miguel Casado, Elvira Mayordomo

Proceedings of the 2014 IEEE International Conference on Bioinformatics and Biomedicine, 2014

2013

Temporal Logics for Phylogenetic Analysis via Model Checking.

José Ignacio Requeno, Gregorio de Miguel Casado, Roberto Blanco, José Manuel Colom

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

2012

Sliced Model Checking for Phylogenetic Analysis.

José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom

Proceedings of the 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2012

2011

Phylogenetic Analysis Using an SMV Tool.

José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom

Proceedings of the 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2011

2009

Computational framework for behavioural modelling of neural subsystems.

María Teresa Signes Pont, Juan Manuel García Chamizo, Gregorio de Miguel Casado, Higinio Mora Mora

Neurocomputing, 2009

Table-based method for reconfigurable function evaluation.

María Teresa Signes Pont, Higinio Mora Mora, Juan Manuel García Chamizo, Gregorio de Miguel Casado

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2008

Parametric Architecture for Modeling Neuronal Systems.

María Teresa Signes Pont, Gregorio de Miguel Casado, Juan Manuel García Chamizo, Higinio Mora Mora

Proceedings of the 16th Euromicro International Conference on Parallel, 2008

A Software Library for Reliable Online-Arithmetic with Rational Numbers.

Gregorio de Miguel Casado, Juan Manuel García Chamizo

Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

2007

Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms.

María Teresa Signes Pont, Juan Manuel García Chamizo, Higinio Mora Mora, Gregorio de Miguel Casado

EURASIP J. Adv. Signal Process., 2007

Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers.

Gregorio de Miguel Casado, Juan Manuel García Chamizo, María Teresa Signes Pont

Proceedings of the Computation and Logic in the Real World, 2007

Parametric Architecture for Function Calculation Improvement.

María Teresa Signes Pont, Juan Manuel García Chamizo, Higinio Mora Mora, Gregorio de Miguel Casado

Proceedings of the Architecture of Computing Systems, 2007

2006

Improvement of Image Transform Calculation Based on a Weighted Primitive.

María Teresa Signes Pont, Juan Manuel García Chamizo, Higinio Mora Mora, Gregorio de Miguel Casado

Proceedings of the Image Analysis and Recognition, Third International Conference, 2006

The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design.

Gregorio de Miguel Casado, Juan Manuel García Chamizo

Proceedings of the Logical Approaches to Computational Barriers, 2006

2003

Hough Transform recursive evaluation using Distributed Arithmetic.

Juan Manuel García Chamizo, María Teresa Signes Pont, Higinio Mora Mora, Gregorio de Miguel Casado

Proceedings of the IFIP VLSI-SoC 2003, 2003