Publications

Found 343 results
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is B  [Clear All Filters]
Proceedings of international conferences (peer reviewed)
de Sá CC, Silva M. Pentagonos, y otras figuras de muchos lados no «Libro de Algebra» de Pedro Nunes. In: 6º Encontro Luso-Brasileiro de História da Matemática. Vol Anais/Actas do 6º Encontro Luso-Brasileiro de História da Matemática. Sociedade Brasileira de História da Matemática ed. Brasil, São João d'El-Rei: Sociedade Brasileira de História da Matemática; 2014. 3. p. 331-350p. Edit
Broda S, Machiavelo A, Moreira N, Reis R. Position automaton construction for regular expressions with intersection. In: Reutenauer C, Brlek S, editors. Developments in Language Theory - 20th International Conference, DLT 2016. Vol 9840. Springer; 2016. 5. p. 51-63p. Edit
Broda S, Machiavelo A, Moreira N, Reis R. Position automaton construction for regular expressions with intersection. In: Reutenauer C, Brlek S, editors. Developments in Language Theory - 20th International Conference, DLT 2016. Vol 9840. Springer; 2016. 5. p. 51-63p. Edit
Hernando D, Bailon R, Almeida R, Hernandez A.. QRS detection optimization in stress test recordings using evolutionary algorithms. In: Computing in Cardiology Conference (CinC), 2014.; 2014. 7. p. 737-740p. Edit
Bradlow SB, García-Prada O, Gothen PB. Representations of surface groups in the general linear group. In: Proceedings of the {XII} {F}all {W}orkshop on {G}eometry and {P}hysics. Vol 7. R. Soc. Mat. Esp., Madrid; 2004. 8. p. 83-94p. Edit
Pellegrini A., Bolea J, M. Soria L, Sotaquira M., Almeida R, Laguna P., et al. Selective Beat Averaging to Evaluate Ventricular Repolarization Adaptation to Deconditioning after 5 Days of Head-Down Bed Rest. In: 2012 Computing in Cardiology (Cinc), Vol 39.; 2012. 6. p. 605-608p. Edit
Caiani EG, Pellegrini A., Bolea J, M. Soria L, Almeida R, Laguna P., et al. Selective beat averaging to evaluate ventricular repolarization adaptation to deconditioning after 5-days of head-down bed-rest. In: European Heart Journal. Vol 33.; 2012. 5. 573.Edit
Basto-Gonçalves J. Singularities of Euler equations and implicit Hamilton equations. In: Real and complex singularities ({S}ão {C}arlos, 1994). Vol 333. Longman, Harlow; 1995. 2. p. 203-212p.
Bastos R, Broda S, Machiavelo A, Moreira N, Reis R. On the State Complexity of Partial Derivative Automata for Regular Expressions with Intersection. In: Proceedings of the 18th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS16). Vol 9777. Springer; 2016. 4. p. 45-59p. (LNCS; vol 9777).Edit
Bastos R, Broda S, Machiavelo A, Moreira N, Reis R. On the State Complexity of Partial Derivative Automata for Regular Expressions with Intersection. In: Proceedings of the 18th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS16). Vol 9777. Springer; 2016. 4. p. 45-59p. (LNCS; vol 9777).Edit
Borlido C, Czarnetzki S, Gehrke M, Krebs A. Stone Duality and the Substitution Principle. In: Computer Science Logic.; 2017. 1. 13:p. 1-13p. :20.Edit
Burciu S, Kadison L. Subgroups of depth three. In: Surveys in differential geometry. Volume XV. Perspectives in mathematics and physics. Vol 15. Int. Press, Somerville, MA; 2011. 1. p. 17-36p. Edit
Ferreira RA, Vale I, Barbosa A. Trilhos matemáticos: Um recurso a explorar na formação inicial de professores. In: EIEM 2016: Recursos para a educação matemática. Vol Investigação em Educação Matemática: Recursos na educação matemática.; 2016. 3. p. 355-368p. Edit
Bolea J, Almeida R, Pueyo E., Laguna P., Caiani EG. Ventricular repolarization adaptation to abrupt changes in heart rate after microgravity simulation by 5-day head-down bed rest. In: European Space Agency, (Special Publication) ESA SP. Vol 706 SP.; 2013. Edit
Almeida R, Gonçalves H, Rocha AP, Bernardes J. A wavelet-based method for assessing fetal cardiac rhythms from abdominal ECGs. In: Computing in Cardiology Conference (CinC), 2013. Spain, Zaragoza: IEEE; 2013. 2. p. 289-292p. Edit
Almeida R, Gonçalves H, Rocha AP, Bernardes J. A wavelet-based method for assessing fetal cardiac rhythms from abdominal ECGs. In: Computing in Cardiology. Vol 40.; 2013. 2. p. 289-292p. Edit

Pages

Error | CMUP

Error

The website encountered an unexpected error. Please try again later.