Navegar

Colección

Datos Estadísticas

Lista de

Upper Bound
13
"Nonsignaling Deterministic Models for Nonlocal Correlations have to be Uncomputable" (2017) Bendersky, A.;Senno, G.;De La Torre, G. (...)Acín, A. Physical Review Letters. 118(13)
"The maximum number of dominating induced matchings" (2015) Lin, M.C.; Moyano, V.A.; Rautenbach, D.; Szwarcfiter, J.L. Journal of Graph Theory. 78(4):258-268
"Linearizing systems of second-order ODEs via symmetry generators spanning a simple subalgebra" (2013) Campoamor-Stursberg, R.; Guerón, J. Acta Applicandae Mathematicae. 127(1):105-115
"Linearizing bad sequences: Upper bounds for the product and majoring well quasi-orders" (2012) Abriola, S.; Figueira, S.; Senno, G. 19th International Workshop on Logic, Language, Information and Computation, WoLLIC 2012. 7456 LNCS:110-126
"A posteriori error estimates for non-conforming approximation of eigenvalue problems" (2012) Dari, E.A.; Durán, R.G.; Padra, C. Applied Numerical Mathematics. 62(5):580-591
"Ackermannian and primitive-recursive bounds with Dickson's Lemma" (2011) Figueira, D.; Figueira, S.; Schmitz, S.; Schnoebelen, P. 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011:269-278
"Efficient evaluation of specific queries in constraint databases" (2011) GrimsOn, R.; Heintz, J.; Kuijpers, B. Information Processing Letters. 111(19):941-944
"Quantitative dynamic-memory analysis for Java" (2011) Garbervetsky, D.;Yovine, S.;Braberman, V. (...)Taboada, A. Concurrency Computation Practice and Experience. 23(14):1665-1678
"Efficient search of Top-K video subvolumes for multi-instance action detection" (2010) Goussies, N.A.; Liu, Z.; Yuan, J. 2010 IEEE International Conference on Multimedia and Expo, ICME 2010:328-333
"Kinesin and the crooks fluctuation theorem" (2009) Calzetta, E.A. European Physical Journal B. 68(4):601-605
"A linear algebra approach to the differentiation index of generic DAE systems" (2008) D'Alfonso, L.; Jeronimo, G.; Solernó, P. Applicable Algebra in Engineering, Communications and Computing. 19(6):441-473
"A geometrical bound for integer programming with polynomial constraints" (1991) Bank, B.;Krick, T.;Mandel, R. (...)Budach L. 8th International Conference on Fundamentals of Computation Theory, FCT 1991. 529 LNCS:121-125