Publications

Found 343 results
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is B  [Clear All Filters]
2014
[2014-36] Broda S, Cavadas S, Moreira N. Derivative Based Methods for Deciding SKA and SKAT DCC-FC & CMUP, Universidade do Porto .Edit
[2014-8] Bessa M, Rodrigues A. A dichotomy in area-preserving reversible maps .Edit
Broda S, Machiavelo A, Moreira N, Reis R. On the Equivalence of Automata for KAT-expressions. Vol 8493. Beckmann A, Csuhaj-Varjú E, Meer K, editors 2014.Edit
Broda S, Machiavelo A, Moreira N, Reis R. On the Equivalence of Automata for KAT-expressions. Vol 8493. Beckmann A, Csuhaj-Varjú E, Meer K, editors 2014.Edit
Almeida R, Gonçalves H, Bernardes J, Rocha AP. Fetal QRS detection and heart rate estimation: A wavelet-based approach. Physiological Measurement. 2014;35:1723-1735.Edit
[2014-7] Bessa M, Carvalho M, Rodrigues A. Generic area-preserving reversible diffeomorphisms .Edit
Broda S, Machiavelo A, Moreira N, Reis R. A Hitchhiker's Guide to descriptional complexity through analytic combinatorics. Theoret. Comput. Sci.. 2014;528:85-100.Edit
Basto-Gonçalves J. Inflection points and asymptotic lines on Lagrangian surfaces. Differential Geom. Appl.. 2014;35:9-29.
Barisic M, Aguiar P, Geley S, Maiato H. Kinetochore motors drive congression of peripheral polar chromosomes by overcoming random arm-ejection forces. Nature cell biology. 2014;16:1249-1256.Edit
[2014-37] Broda S, Cavadas S, Moreira N. Kleene Algebra Completeness DCC-FC & CMUP, Universidade do Porto .Edit
Domingues JC, de Sá CC, Gessner S. Logaritmos em Portugal (sécs. XVII e XVIII). 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. 2. p. 241-269p. Edit
[2014-28] Bomfim T., Varandas P. Multifractal analysis of the irregular set for almost-additive sequences via large deviations .Edit
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
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
Gothen PB. Representations of surface groups and Higgs bundles. Vol Moduli Spaces. Isaac Newton Institute ed. Brambila-Paz L, Newstead P, Thomas RPW, García-Prada O, editors Cambridge University Press 2014.Edit
Amorim I, Machiavelo A, Reis R. Statistical Study on The Number of Injective Linear Finite Transducers. Bensch S, Freund R, Otto F, editors Oesterreichische Computer Gesellschaft 2014.Edit
Bell J, Brzozowski J, Moreira N, Reis R. Symmetric Groups and Quotient Complexity of Boolean Operations. Vol 8573. Esparza J, Fraigniaud P, Husfeldt T, Koutsoupias E, editors 2014.Edit
Bell J, Brzozowski J, Moreira N, Reis R. Symmetric Groups and Quotient Complexity of Boolean Operations. Vol 8573. Esparza J, Fraigniaud P, Husfeldt T, Koutsoupias E, editors 2014.Edit
2015
Boi S, Afonso MM, Mazzino A. Anomalous diffusion of inertial particles in random parallel flows: theory and numerics face to face. Journal of Statistical Mechanics. 2015;2015(10):P10023: 1-21.Edit
Broda S, Machiavelo A, Moreira N., Reis R.. Average Size of Automata Constructions from Regular Expressions. Bulletin of the European Association for Theoretical Computer Science. 2015:167-192.Edit
[2015-37] Almeida J, Borlido C. Complete kappa-reducibility of pseudovarieties of the form DRH .Edit
Almeida J, Bartoňová J., Klíma O, Kunc M.. On Decidability of Intermediate Levels of Concatenation Hierarchies. In: 19th International Conference Developments in Language Theory (DLT 2015). Vol Developments in Language Theory, LNCS 9168. UK, Liverpool: Springer; 2015. 5. p. 58-70p. Edit
Broda S, Cavadas S, Ferreira M, Moreira N. 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
Benkart G, Lopes SA, Ondrus M. Derivations of a parametric family of subalgebras of the Weyl algebra. J. Algebra. 2015;424:46-97.Edit
Guimarães L., Afonso O, Vasconcelos PB. Dynamic Political Effects in a Neoclassic Growth Model with Healthcare and Creative Activities. In: Bourguignon J-P, Jeltsch R, Pinto AAdrego, Viana M, editors. Dynamics, Games and Science: International Conference and Advanced School Planet Earth, DGS II, Portugal, August 28–September 6, 2013. Springer International Publishing; 2015. 3. p. 317-326p. Edit

Pages

Error | CMUP

Error

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