Publications
Publications
| 2012 | A local but not global attractor for a ℤ n-symmetric map |
Journal of Singularities | 2012 | article | ||
| 2012 | A modified mathematical model for malaria transmission under control strategies |
IEEE 4th International Conference on Nonlinear Science and Complexity, NSC 2012 - Proceedings | 2012 | inproceedings | ||
| 2012 | A new Kontorovich-Lebedev-like transformation |
Communications in Mathematical Analysis | 2012 | article | ||
| 2012 | A new mathematical model for co-infection of malaria and HIV |
IEEE 4th International Conference on Nonlinear Science and Complexity, NSC 2012 - Proceedings | 2012 | inproceedings | ||
| 2012 | A restricted mixture model for dietary pattern analysis in small samples |
Statistics in Medicine | 2012 | article | ||
| 2012 | A review of power laws in real life phenomena |
Communications in Nonlinear Science and Numerical Simulation | 2012 | article | ||
| 2012 | A tree search approach to sparse coding |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | inproceedings | ||
| 2012 | A uniqueness result for a fractional differential equation |
Fractional Calculus and Applied Analysis | 2012 | article | ||
| 2012 | An Index Integral and Convolution Operator Related to the Kontorovich-Lebedev and Mehler-Fock Transforms |
Complex Analysis and Operator Theory | 2012 | article | ||
| 2012 | Association between dietary patterns and metabolic syndrome in a sample of portuguese adults |
Nutrition Journal | 2012 | article | ||
| 2012 | Biped robots: Effects of small perturbations on the generation of modular trajectories |
Journal of Numerical Analysis, Industrial and Applied Mathematics | 2012 | article | ||
| 2012 | Bivariate Extreme Statistics, Ii |
Revstat-statistical Journal | 2012 | article | ||
| 2012 | Certifying execution time |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | inproceedings | ||
| 2012 | Complex-order forced van der Pol oscillator |
Journal of Vibration and Control | 2012 | article | ||
| 2012 | Convergence of Multipower Defect-Correction for spectral computations of integral operators |
Applied Mathematics and Computation | 2012 | article | ||
| 2012 | Deciding KAT and Hoare Logic with Derivatives |
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. | 2012 | inproceedings | ||
| 2012 | Deciding regular expressions (in-)equivalence in Coq |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | inproceedings | ||
| 2012 | DEFORMATIONS OF MAXIMAL REPRESENTATIONS IN Sp(4, R) |
Quarterly Journal of Mathematics | 2012 | article | ||
| 2012 | Dense Area-preserving Homeomorphisms Have Zero Lyapunov Exponents |
Discrete and Continuous Dynamical Systems | 2012 | article | ||
| 2012 | Derivations of Finitary Incidence Rings |
Communications in Algebra | 2012 | article | ||
| 2012 |
Descriptional Complexity of Formal Systems |
2012 | book | ||
| 2012 | Diagnostic value of patterns of symptoms and signs of heart failure: application of latent class analysis with concomitant variables in a cross-sectional study |
Bmj Open | 2012 | article | ||
| 2012 | Double power law behavior in everyday Phenomena |
CHAOS 2012 - 5th Chaotic Modeling and Simulation International Conference, Proceedings | 2012 | inproceedings | ||
| 2012 | E-local pseudovarieties |
Semigroup Forum | 2012 | article | ||
| 2012 | Editorial |
Journal of Automata, Languages and Combinatorics | 2012 | article |