Publications
Found 516 results
Author Title [ Type] Year Filters: First Letter Of Last Name is M [Clear All Filters]
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
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
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
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
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
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
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
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
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
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
Depth-map images for automatic mice behavior recognition. In: 1st PhD Students Conference in Electrical and Computer Engineering, Porto, Portugal.; 2012. 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
The Distinguishability Operation on Regular Languages. In: Non-Classical Models of Automata and Applications (NCMA 2014).; 2014. Edit
Experiments with GPU-Acceleration for Solving a Radiative Transfer Problem. In: LNCS.; 2014. 5. p. 550-559p. Edit
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
Exploring the Stationary Wavelet Transform detail coefficients for detection and identification of the S1 and S2 heart sounds. In: Computing in Cardiology. Vol 40.; 2013. 8. p. 891-894p. Edit
Generating Error Control Codes With Automata and Transducers. 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. 2. p. 211-226p. Edit
Implementation of Code Properties via Transducers. In: Implementation and Application of Automata, 21th International Conference (CIAA 2016).; 2016. Edit
Implementation of Code Properties via Transducers. In: Implementation and Application of Automata, 21th International Conference (CIAA 2016).; 2016. Edit
Improved QT variability quantification by multilead automatic delineation. In: {32nd Annual Conference on Computers in Cardiology}. Vol {32}. {IEEE}; 2005. {. {p. 503-506p. }.Edit
Incremental DFA Minimisation. In: Domaratzki M, Salomaa K, editors. Proceedings of the 15th International Conference on Implementation and Application of Automata (CIAA 2010). Winnipeg, MA, Canada; 2011. 3. p. 39-48p. Edit
An Innovative Degree in Mathematical Engineering in the Portuguese Education System: Submission Process and Evaluation. In: 1st International Conference of the Portuguese Society for Engineering Education – CISPEE. Vol Proceedings of the 1st International Conference of the Portuguese Society for Engineering Education – CISPEE. Porto, Portugal: IEEE; 2013. 1. p. 1-10p. Edit
An Innovative Degree in Mathematical Engineering in the Portuguese Education System: Submission Process and Evaluation. In: 1st International Conference of the Portuguese Society for Engineering Education – CISPEE. Vol Proceedings of the 1st International Conference of the Portuguese Society for Engineering Education – CISPEE. Porto, Portugal: IEEE; 2013. 1. p. 1-10p. Edit
Long Memory and Volatility in HRV: An ARFIMA-GARCH Approach. In: Murray A, editor. {36th Annual Computers in Cardiology Conference (CinC 2009)}. Vol {36}. {IEEE}; 2009. {. {p. 165-168p. }.Edit