Zobrazeno 1 - 10
of 200
pro vyhledávání: '"Puebla G"'
Autor:
Hermenegildo, M. V., Bueno, F., Carro, M., López-García, P., Mera, E., Morales, J. F., Puebla, G.
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An important aspect of Ciao is that, in addition to supporting logic programmin
Externí odkaz:
http://arxiv.org/abs/1102.5497
The most successful unfolding rules used nowadays in the partial evaluation of logic programs are based on well quasi orders (wqo) applied over (covering) ancestors, i.e., a subsequence of the atoms selected during a derivation. Ancestor (sub)sequenc
Externí odkaz:
http://arxiv.org/abs/0911.4047
Autor:
Göppl, M., Fragner, A., Baur, M., Bianchetti, R., Filipp, S., Fink, J. M., Leek, P. J., Puebla, G., Steffen, L., Wallraff, A.
Publikováno v:
J. Appl. Phys. 104, 113904 (2008)
We have designed and fabricated superconducting coplanar waveguide resonators with fundamental frequencies from 2 to $9 \rm{GHz}$ and loaded quality factors ranging from a few hundreds to a several hundred thousands reached at temperatures of $20 \rm
Externí odkaz:
http://arxiv.org/abs/0807.4094
Autor:
Gómez-Arnau, J.I., Otero, M.J., Bartolomé, A., Errando, C.L., Arnal, D., Moreno, A.M., Puebla, G., Marzal, J.M., Santa Úrsula, J.A., González, R., Pérez, M., García del Valle, S., González, A., Domínguez-Gil, A.
Publikováno v:
In Revista Española de Anestesiología y Reanimación 2011 58(6):375-383
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 31 July 2007 190(1):67-83
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.