Publications
Found 128 results
[ Author
Filters: First Letter Of Last Name is S [Clear All Filters]
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
measures to evaluate rankings of classification algorithms. data analysis, classification, and related methods. 2000:119-124.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. 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
[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 vehicule’s delay at semi-actuated signalized intersections. In: Compstat’2004 symposium.; 2004. 1. p. 1823-1830p. Edit
Simulation Based Design of Optimal Phasing Plans for an Intersection with Semi-Actuated Signals. In: Proceedings of the Twelfth International Conference on Civil, Structural and Environmental Engineering Computing.; 2009. 2. 246.Edit
Modeling and Simulation of Traffic Movements at Semi-Actuated Signalized Intersections. Journal of Transportation Engineering. 2010;136:554-564.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
Fixed points of endomorphisms over special confluent rewriting systems. Monatsh. Math.. 2010;161:417-447.
[2015-25] On the circulation of algebraic knowledge in the Iberian península: the sources of Pérez de Moya's Tratado de Arithmetica (1573) .Edit
Rational subsets of partially reversible monoids. Theoret. Comput. Sci.. 2008;409:537-548.
Extensions and submonoids of automatic monoids. Theoret. Comput. Sci.. 2002;289:727-754.Edit
Numerical relations and skill level constrain co-adaptive behaviors of agents in sports teams. PloS one. 2014;9:e107112.Edit
Rational languages and inverse monoid presentations. Internat. J. Algebra Comput.. 1992;2:187-207.
Francisco Gomes Teixeira. CIM Bulletin. 2004;16:21-23.Edit