Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Jim Christian"'
Autor:
Pradeebane Vaittinada Ayar, Jerry Tjiputra, Laurent Bopp, Jim Christian, Tatiana Ilyina, John Krasting, Roland Séférian, Hiroyuki Tsujino, Michio Watanabe, Andrew Yool
The El Niño–Southern Oscillation (ENSO) widely modulates the global carbon cycle. More specifically, it alters the net uptake of carbon in the tropical ocean. Over the tropical Pacific, less carbon is released during El Niño, while the opposite
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::19220558b34c498aadceb793d8b9e7cf
https://doi.org/10.5194/egusphere-egu23-958
https://doi.org/10.5194/egusphere-egu23-958
Publikováno v:
Universidad Nacional Santiago Antúnez de Mayolo
Repositorio Institucional Digital
UNASAM-Institucional
instacron:UNASAM
Repositorio Institucional Digital
UNASAM-Institucional
instacron:UNASAM
La finalidad del presente trabajo de investigación fue determinar los fundamentos del estándar probatorio de la prisión preventiva como justificación de las garantías del nuevo código procesal penal peruano; realizándose para tal fin una inves
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::f3245e687b2c23e14e01162122f99087
http://repositorio.unasam.edu.pe/handle/UNASAM/3597
http://repositorio.unasam.edu.pe/handle/UNASAM/3597
Autor:
Jim Christian
Publikováno v:
Journal of Automated Reasoning. 10:95-113
We describe a new representation for first-order terms which is amenable to simple and fast traversal and matching operations. In addition, we describe some efficient discrimination net indexing algorithms which use the new term representation. We ha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4b58e5b1fd91435cdc7b77ac83fc4150
https://doi.org/10.1007/bf00881866
https://doi.org/10.1007/bf00881866
Publikováno v:
BMC Pregnancy and Childbirth
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ac25a3ba8ab27d0e63dee97d9e526c9
http://europepmc.org/articles/PMC4402700
http://europepmc.org/articles/PMC4402700
Autor:
Jim Christian, Patrick Lincoln
Publikováno v:
9th International Conference on Automated Deduction ISBN: 354019343X
CADE
CADE
We have discovered an efficient algorithm for matching and unification in associative-commutative (AC) and associative-commutative-idempotent (ACI) equational theories. In most cases of AC unification and in all cases of ACI unification our method ob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54d0ff60c778e6afa33ad8589459f534
https://doi.org/10.1007/bfb0012843
https://doi.org/10.1007/bfb0012843
Autor:
Jim Christian, Jed Weissberg
Publikováno v:
Health Affairs. 21:276-277
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::80ff15b732fa7c27487c9331a136890a
https://doi.org/10.1377/hlthaff.21.1.276
https://doi.org/10.1377/hlthaff.21.1.276
Autor:
Patrick Lincoln, Jim Christian
Publikováno v:
Journal of Symbolic Computation. 8:217-240
We have discovered an efficient algorithm for matching and unification in associative-commutative (AC) equational theories. In most cases of AC unification our method obviates the need for solving diophantine equations, and thus avoids one of the bot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1ef3588f7351bdd0a8ee9f4665a4bfd3
https://doi.org/10.1016/s0747-7171(89)80026-4
https://doi.org/10.1016/s0747-7171(89)80026-4
Autor:
Jim Christian
Publikováno v:
Rewriting Techniques and Applications ISBN: 9783540510819
RTA
RTA
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47401d0d9e12477425e7d6020a9e4a8c
https://doi.org/10.1007/3-540-51081-8_136
https://doi.org/10.1007/3-540-51081-8_136
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.