Publications
Found 516 results
Author Title [ Type] Year Filters: First Letter Of Last Name is M [Clear All Filters]
Exploring the Stationary Wavelet Transform detail coefficients for detection and identification of the S1 and S2 heart sounds. In: Computing in Cardiology Conference (CinC), 2013.; 2013. 8. p. 891-894p. Edit
Experiments with GPU-Acceleration for Solving a Radiative Transfer Problem. In: LNCS.; 2014. 5. p. 550-559p. Edit
The Distinguishability Operation on Regular Languages. In: Non-Classical Models of Automata and Applications (NCMA 2014).; 2014. Edit
On the Dissimilarity Operation on Finite Languages. In: Bordihn H, Freund R, Nagy B, Vaszil G, editors. Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). Österreichische Computer Gesellschaft; 2016. 1. p. 105-120p. Edit
Depth-map images for automatic mice behavior recognition. In: 1st PhD Students Conference in Electrical and Computer Engineering, Porto, Portugal.; 2012. Edit
A depth-map approach for automatic mice behavior recognition. In: Image Processing (ICIP), 2014 IEEE International Conference on. IEEE; 2014. 2. p. 2261-2265p. Edit
Deciding Synchronous Kleene Algebra with Derivatives. In: Drewes F, editor. Implementation and Application of Automata, 20th International Conference (CIAA 2015). Vol 9223.; 2015. 4. p. 49-62p. (LNCS; vol 9223).Edit
Dealing with functional coefficients within Tau method. In: 3rd International Conference on Numerical and Symbolic Computation. Universidade do Minho ed. APMTAC; 2017. 1. p. 11-26p. Edit
Correlation between time domain baroreflex sensitivity and Sympathetic Nerve Activity. In: Murray A, editor. {37th Annual Conference of the Computing-in-Cardiology}. Vol {37}. {IEEE}; 2010. {. {p. 5-8p. }.Edit
A comunicação matemática com recurso ao facebook: A experiência na gincana escolar Matemátic@XXI. In: Conferência internacional do Espaço Matemática em Língua Portuguesa. Universidade de Coimbra ed. Coimbra: Universidade de Coimbra; 2015. Edit
A comunicação com recurso ao facebook: A experiência da gincana escolar Matemátic@XXI. In: XXVII SIEM: Seminário de Investigação em Educação Matemática. Vol Atas do XXVII SIEM.; 2016. 2. p. 249-273p. Edit
Computation of Optimal Control Solutions with the Tau Method and an Error Estimator . In: Computational Science and Its Applications (ICCSA), 2014 14th International Conference on . Portugal, Guimarães: IEEE; 2014. 1. p. 111-115p. Edit
Co-evolution importance on binding Hot-Spot prediction methods. In: Proceedings of MOL2NET 2016, International Conference on Multidisciplinary Sciences, 2nd edition.; 2017. Edit
Co-evolution importance on binding Hot-Spot prediction methods. In: Proceedings of MOL2NET 2016, International Conference on Multidisciplinary Sciences, 2nd edition.; 2017. Edit
CENP-E and detyrosinated microtubules guide peripheral polar chromosomes towards the cell equator.. In: MOLECULAR BIOLOGY OF THE CELL. Vol 25. AMER SOC CELL BIOLOGY 8120 WOODMONT AVE, STE 750, BETHESDA, MD 20814-2755 USA; 2014. Edit
The Average Transition Complexity of Glushkov and Partial Derivative Automata. In: Mauri G., Leporati A., editors. Developments in Language Theory, 15th International Conference, DLT 2011, Milano, Italy, July 2011. Proceedings. Vol 6795. Milano, Italy; 2011. 9. p. 93-104p. Edit
The Average Transition Complexity of Glushkov and Partial Derivative Automata. In: Mauri G., Leporati A., editors. Developments in Language Theory, 15th International Conference, DLT 2011, Milano, Italy, July 2011. Proceedings. Vol 6795. Milano, Italy; 2011. 9. p. 93-104p. Edit
The Average Transition Complexity of Glushkov and Partial Derivative Automata. In: Mauri G., Leporati A., editors. Developments in Language Theory, 15th International Conference, DLT 2011, Milano, Italy, July 2011. Proceedings. Vol 6795. Milano, Italy; 2011. 9. p. 93-104p. Edit
On the Average Size of Glushkov and Equation Automata for KAT Expressions. In: FCT. United Kingdom, Liverpool: Springer; 2013. 7. p. 72-83p.
On the Average Size of Glushkov and Equation Automata for KAT Expressions. In: FCT. United Kingdom, Liverpool: Springer; 2013. 7. p. 72-83p.
On the Average Complexity of Strong Star Normal Form. In: Pighizzini G, Câmpeanu C, editors. Description Complexity of Formal Systems (DCFS 2017). Vol 10316. Springer; 2017. 7. p. 77-88p. (LNCS; vol 10316).Edit
On the Average Complexity of Strong Star Normal Form. In: Pighizzini G, Câmpeanu C, editors. Description Complexity of Formal Systems (DCFS 2017). Vol 10316. Springer; 2017. 7. p. 77-88p. (LNCS; vol 10316).Edit
Automatic multilead VCG based approach for QT interval measurement. In: {Computers in Cardiology}. Vol {33}.; 2006. {. {p. 369-372p. }.Edit
Automata Serialization for Manipulation and Drawing. In: Mernik M, Leal JPaulo, Oliveira HGonçalo, editors. 5th Symposium on Languages, Applications and Technologies (SLATE'16). Vol 51. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik; 2016. 1. p. 1-7p. (OpenAccess Series in Informatics (OASIcs); vol 51).Edit
Automata Serialization for Manipulation and Drawing. In: Mernik M, Leal JPaulo, Oliveira HGonçalo, editors. 5th Symposium on Languages, Applications and Technologies (SLATE'16). Vol 51. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik; 2016. 1. p. 1-7p. (OpenAccess Series in Informatics (OASIcs); vol 51).Edit