Publications
Publications
| 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 in Silico Workflow For the Selection of Novel Dna Markers For Detection of Phytopathogenic Bacteria, Using Agrobacterium Tumefaciens As a Model |
Journal of Plant Pathology | 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 | Assessing the ability of image processing software to analyse spray quality on water-sensitive papers used as artificial targets |
Biosystems Engineering | 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 | Database implementation for clinical and computer assisted diagnosis of dermoscopic images |
Computational Vision and Medical Image Processing: Vipimage 2011 | 2012 | inproceedings | ||
| 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 | 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 |