Zobrazeno 1 - 10
of 101
pro vyhledávání: '"Bang, James"'
Proof by induction plays a central role in formal verification. However, its automation remains as a formidable challenge in Computer Science. To solve inductive problems, human engineers often have to provide auxiliary lemmas manually. We automate t
Externí odkaz:
http://arxiv.org/abs/2212.11151
Autor:
Siclovan, Danielle M., Bang, James T., Yakusheva, Olga, Hamilton, Morris, Bobay, Kathleen L., Costa, Linda L., Hughes, Ronda G., Miles, Jane, Bahr, Sarah J., Weiss, Marianne E.
Publikováno v:
In International Journal of Nursing Studies July 2021 119
Publikováno v:
In World Development February 2021 138
Autor:
Yakusheva, Olga1,2 (AUTHOR) yakush@umich.edu, Bang, James T.3 (AUTHOR), Hughes, Ronda G.4 (AUTHOR), Bobay, Kathleen L.5 (AUTHOR), Costa, Linda6 (AUTHOR), Weiss, Marianne E.7 (AUTHOR)
Publikováno v:
Health Services Research. Apr2022, Vol. 57 Issue 2, p311-321. 11p. 4 Charts, 1 Graph.
Publikováno v:
In Economic Modelling November 2016 58:394-402
Autor:
Mitra, Aniruddha1 (AUTHOR) amitra@bard.edu, Bang, James T.2 (AUTHOR) bangjamest@sau.edu
Publikováno v:
Feminist Economics. Jul2021, Vol. 27 Issue 3, p134-160. 27p. 3 Charts, 1 Graph.
Pakistan is one of only three countries that have failed to stop the transmission of poliovirus and experienced a surge of polio paralysis in 2019. Meanwhile, misconceptions persist about the safety and efficacy of vaccines in Pakistan and elsewhere.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1687::6f50d687e5f07e24ff1caa464e13d2bd
https://hdl.handle.net/10419/273426
https://hdl.handle.net/10419/273426
We investigate the impact of remittance income on the household decision to send a child to work. Using data from a Multiple Indicators Cluster Survey conducted in the Punjab province of Pakistan in 2014, we isolate the causal impact of remittance in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1687::8bacedcca345f4138702c515c3b2daed
https://hdl.handle.net/10419/271272
https://hdl.handle.net/10419/271272
Autor:
Basu, Bharati, Bang, James
Publikováno v:
Migration Letters. 10(3):383-398
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=480180