Publications

Found 128 results
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
Sousa R, Yakubovich S. The spectral expansion approach to index transforms and connections with the theory of diffusion processes. Commun. Pure Appl. Anal.. 2018;17:2351-2378.Edit
Soares P, Ravara A, de Sousa SM. Revisiting concurrent separation logic. J. Log. Algebr. Methods Program.. 2017;89:41-66.Edit
Soares P. Synchrony branching lemma for regular networks. SIAM J. Appl. Dyn. Syst.. 2017;16:1869-1892.Edit
Soares C., Brazdil P., Costa JP. 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
Soares C, Brazdil P., Costa JP. measures to evaluate rankings of classification algorithms. data analysis, classification, and related methods. 2000:119-124.Edit
[2017-20] Soares P. The Lifting Bifurcation Problem on Feed-Forward Networks .Edit
[2004-33] Smirnov GV. On the existence in a problem of the calculus of variations without convexity assumptions .Edit
Simões L., Oliveira PM. Modeling and Simulation of Traffic Movements at Semi-Actuated Signalized Intersections. Journal of Transportation Engineering. 2010;136:554-564.Edit
Simões Md, Oliveira PM, Costa AP. Análise do desempenho de um cruzamento regulado por controlo semi-actuado 2006.Edit
Simões L, Costa AP, de Oliveira PM. 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
Simões Md, de Oliveira PM, Costa AP. Análise de filas de espera com pausas do servidor para controle de tráfego 2005.Edit
Simões Md, Oliveira PM, Costa AP. 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
Simões Md, de Oliveira PM, Costa AP. Modelação do atraso dos veículos em tráfego urbano usando modelos de efeitos mistos 2003.Edit
Simões L, de Oliveira PM, Costa AP. Simulation and modelling of vehicule’s delay at semi-actuated signalized intersections. In: Compstat’2004 symposium.; 2004. 1. p. 1823-1830p. Edit
Simões ML, Milheiro-Oliveira P. Modelação do atraso dos veículos em cruzamentos semaforizados .Edit
Simões Md, de Oliveira PM, Costa AP. Análise Probabilística do fluxo de tráfego num cruzamento semi-actuado 2002.Edit
Simões M., Costa A., Oliveira PM. 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
Silva MC. Contribuição para o estudo do manuscrito Arte de Marear de Juan Pérez de Moya. LLULL. 2012;35(76):351-379.Edit
[2009-10] Silva PV. Fixed points of endomorphisms over special confluent rewriting systems .
Silva PV. A note on pure and $p$-pure languages. Acta Inform.. 2003;39:579-595.
Silva MC. The algebraic content of Bento Fernandes’s Tratado da arte de arismetica (1555). Historia Mathematica . 2008;35 :190-219.Edit
Silva P., Garganta J, Araújo D, Davids K., Aguiar P. Shared knowledge or shared affordances? insights from an ecological dynamics approach to team coordination in sports. Sports Medicine. 2013;43:765-772.Edit
Silva PV. On the semilattice of idempotents of a free inverse monoid. Proc. Edinburgh Math. Soc. (2). 1993;36:349-360.
Silva PV. Groups and automata: a perfect match. J. Automata Lang. Combin.. 2012;17(2-4):277-292.
Silva P., Weil P. On finite-index extensions of subgroups of free groups. J. Group Theory. 2010;13:365-381.Edit

Pages