Publications
The spectral expansion approach to index transforms and connections with the theory of diffusion processes. Communications on Pure & Applied Analysis. 2018;17(6):2351-2378.Edit
Building, simulating and visualizing large spiking neural networks with NeuralSyns. Neurocomputing. 2014;123:372-380.Edit
Ablation of Y1 receptor impairs osteoclast bone-resorbing activity. Scientific reports. 2016;6.Edit
Reliability Loss with Sampling Rate Reduction. In: International Conference on Computing in Cardiology. Vol 42.; 2015. 6. p. 689-692p. Edit
The spectral expansion approach to index transforms and connections with the theory of diffusion processes. Commun. Pure Appl. Anal.. 2018;17:2351-2378.Edit
breast contour detection with shape priors. 2008 15th ieee international conference on image processing, vols 1-5. 2008:1440-1443.Edit
Longitudinal Clustering of Tuberculosis Incidence and Predictors for the Time Profiles: the Impact of Hiv. International Journal of Tuberculosis and Lung Disease. 2016;20(8):1027-32.Edit
Reduction in inhibitory control is sufficient to generate hyperalgesia in a spiking model of nociceptive integration in the superficial dorsal horn. BMC neuroscience. 2013;14:P1.Edit
Estimação de estado em modelos lineares por intervalos em tempo discreto: comparação numérica de dois procedimentos 2000.Edit
The pronociceptive dorsal reticular nucleus contains mostly tonic neurons and shows a high prevalence of spontaneous activity in block preparation. Journal of Neurophysiology. 2014;111:1507-1518.Edit
BREAST CONTOUR DETECTION WITH SHAPE PRIORS. In: 2008 15th Ieee International Conference on Image Processing, Vols 1-5.; 2008. 1. p. 1440-1443p. (IEEE International Conference on Image Processing (ICIP)).Edit
Longitudinal clustering of tuberculosis incidence and predictors for the time profiles: the impact of HIV. Int J Tuberc Lung Dis.. 2016;20(8).Edit
Measures to evaluate rankings of classification algorithms. In: Kiers H.AL, Rasson J.P, Gronen P.JF, Schader M., editors. Data Analysis, Classification, and Related Methods.; 2000. 1. p. 119-124p. (Studies in Classification, Data Analysis, and Knowledge Organization).Edit
Revisiting concurrent separation logic. J. Log. Algebr. Methods Program.. 2017;89:41-66.Edit
Synchrony branching lemma for regular networks. SIAM J. Appl. Dyn. Syst.. 2017;16:1869-1892.Edit
measures to evaluate rankings of classification algorithms. data analysis, classification, and related methods. 2000:119-124.Edit
[2004-33] On the existence in a problem of the calculus of variations without convexity assumptions .Edit
Queues with server vacations in urban traffic control. In: International Symposium on Applied Stochastic Models and Data Analysis (ASMDA 2005).; 2005. 1. p. 1181-1188p. Edit
Simulation and Modelling of Traffic Movements at Semi-Actuated Signalised Intersections. In: 10th International Conference on Computers in Urban Planning and Urban Management.; 2007. 1. 10.Edit
Simulation and modelling of vehicule’s delay at semi-actuated signalized intersections. In: Compstat’2004 symposium.; 2004. 1. p. 1823-1830p. Edit
Modeling and Simulation of Traffic Movements at Semi-Actuated Signalized Intersections. Journal of Transportation Engineering. 2010;136:554-564.Edit