Search Constraints
Filtering by:
Creator
Joshi, Manoj M.
Remove constraint Creator: Joshi, Manoj M.
Decade
2010-2019
Remove constraint Decade: 2010-2019
Commencement Year
Unknown
Remove constraint Commencement Year: Unknown
« Previous |
1 - 10 of 83
|
Next »
Number of results to display per page
Search Results
-
- Creator:
- Sarker, Minhazur R. and Pastey, Manoj
- Abstract:
- NS2 is a novel HIV protein confirmed to be expressed from an open reading frame alongside the Pol open reading frame. Furthermore, NS2 has been shown to be critical to viral replication and to localize in the nucleolus of the nucleus. The mechanism of NS2 function is currently unknown. A...
- Resource Type:
- Research Paper
- Full Text:
- . Sarker, Dr. Manoj Pastey Abstract NS2 is a novel HIV protein confirmed to be expressed from an open
-
- Creator:
- Joshi, Saket, Kersting, Kristian, and Khardon, Roni
- Abstract:
- Many tasks in AI require representation and manipulation of complex functions. First-Order Decision Diagrams (FODD) are a compact knowledge representation expressing functions over relational structures. They represent numerical functions that, when constrained to the Boolean range, use only existential quantification. Previous work has developed a set of operations for composition...
- Resource Type:
- Article
- Full Text:
- Joshi and Khardon [11] introduced the First-Order Decision Diagram (FODD) representation, showed how
-
- Creator:
- Holzmann, Gerard J., Joshi, Rajeev, and Groce, Alex
- Abstract:
- The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades. This increase in capability is based on algorithmic advances and new theoretical insights, but it has also benefitted from the steady increase in processing speeds and main memory...
- Resource Type:
- Article
- Full Text:
- , Rajeev Joshi, and Alex Groce Abstract—The range of verification problems that can be solved with logic
-
- Creator:
- Ochoa, Carlos G., Fernald, Alexander G., Guldan, Steven J., Tidwell, Vincent C., and Shukla, Manoj K.
- Abstract:
- Irrigation percolation can be an important source of shallow aquifer replenishment in arid regions of the southwestern United States. Aquifer recharge derived from irrigation percolation can be more significant in fluvial valleys overlying shallow aquifers where highly permeable soils allow rapid water infiltration and aquifer replenishment. We used data from...
- Resource Type:
- Article
- Full Text:
- C. Tidwell4, Manoj K. Shukla5 3 Abstract 4 Irrigation percolation can be an important source of
-
- Creator:
- Groce, Alex, Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev, and Xu, Ru-Gang
- Abstract:
- In this paper we discuss the application of a range of techniques to the verification of mission-critical flight software at NASA’s Jet Propulsion Laboratory. For this type of application we want to achieve a higher level of confidence than can be achieved through standard software testing. Unfortunately, given the current...
- Resource Type:
- Article
- Full Text:
- ., Joshi, R., & Xu, R. G. (2014). Establishing flight software reliability: testing, model checking
-
- Creator:
- Cummings, Brittany M.
- Abstract:
- Water quality impacts both human and ecosystem health. Many pharmaceuticals and personal care products are considered contaminants of emerging concern (CEC) due to their bioactive properties. Among these, metformin—the most commonly prescribed drug for treatment of type 2 diabetes—has been reported at high concentrations (μg L⁻¹) in stream, lake, and...
- Resource Type:
- Masters Thesis
- Full Text:
- , IN THE LOWER COLUMBIA RIVER AND ITS EFFECT ON PHYTOPLANKTON GROWTH By Brittany M. Cummings
-
- Creator:
- Hand, Charles and Reed, Barbara M.
- Abstract:
- Many hazelnut (Corylus avellana L.) cultivars fail to thrive in vitro on standard growth medium and the reasons for poor growth are not well understood. Our initial study of five C. avellana cultivars showed that changes in the mineral nutrients of Driver and Kuniyuki walnut (DKW) medium, including doubling the...
- Resource Type:
- Article
- Full Text:
- avellana shoot cultures Hand, C., & Reed, B. M. (2014). Minor nutrients are critical for the improved
-
- Creator:
- Abazov, V. M., Abbott, B., Acharya, B. S., Adams, M., Adams, T., Agnew, J. P., Alexeev, G. D., Alkhazov, G., Alton, A., Askew, A., Atkins, S., Augsten, K., Aushev, V., Aushev, Y., Avila, C., Badaud, F., Bagby, L., Baldin, B., Bandurin, D. V., Banerjee, S., Barberis, E., Baringer, P., Bartlett, J. F., Bassler, U., Bazterra, V., Bean, A., Begalli, M., Bellantoni, L., Beri, S. B., Bernardi, G., Bernhard, R., Bertram, I., Besançon, M., Beuselinck, R., Bhat, P. C., Bhatia, S., Bhatnagar, V., Blazey, G., Blessing, S., Bloom, K., Boehnlein, A., Boline, D., Boos, E. E., Borissov, G., Borysova, M., Brandt, A., Brandt, O., Brochmann, M., Brock, R., Bross, A., Brown, D., Bu, X. B., Buehler, M., Buescher, V., Bunichev, V., Burdin, S., Buszello, C. P., Camacho-Pérez, E., Casey, B. C. K., Castilla-Valdez, H., Caughron, S., Chakrabarti, S., Chan, K. M., Chandra, A., Chapon, E., Chen, G., Cho, S. W., Choi, S., Choudhary, B., Cihangir, S., Claes, D., Clutter, J., Cooke, M., Cooper, W. E., Corcoran, M., Couderc, F., Cousinou, M.-C., Cuth, J., Cutts, D., Das, A., Davies, G., de Jong, S. J., De La Cruz-Burelo, E., Déliot, F., Demina, R., Denisov, D., Denisov, S. P., Desai, S., Deterre, C., DeVaughan, K., Diehl, H. T., Diesburg, M., Ding, P. F., Dominguez, A., Dubey, A., Dudko, L. V., Duperrin, A., Dutt, S., Eads, M., Edmunds, D., Ellison, J., Elvira, V. D., Enari, Y., Evans, H., Evdokimov, A., Evdokimov, V. N., Fauré, A., Feng, L., Ferbel, T., Fiedler, F., Filthaut, F., Fisher, W., Fisk, H. E., Fortner, M., Fox, H., Franc, J., Fuess, S., Garbincius, P. H., Garcia-Bellido, A., García-González, J. A., Gavrilov, V., Geng, W., Gerber, C. E., Gershtein, Y., Ginther, G., Gogota, O., Golovanov, G., Grannis, P. D., Greder, S., Greenlee, H., Grenier, G., Gris, Ph., Grivaz, J.-F., Grohsjean, A., Grünendahl, S., Grünewald, M. W., Guillemin, T., Gutierrez, G., Gutierrez, P., Haley, J., Han, L., Harder, K., Harel, A., Hauptman, J. M., Hays, J., Head, T., Hebbeker, T., Hedin, D., Hegab, H., Heinson, A. P., Heintz, U., Hensel, C., Heredia-De La Cruz, I., Hernández-Villanueva, M., Herner, K., Hesketh, G., Hildreth, M. D., Hirosky, R., Hoang, T., Hobbs, J. D., Hoeneisen, B., Hogan, J., Hohlfeld, M., Holzbauer, J. L., Howley, I., Hubacek, Z., Hynek, V., Iashvili, I., Ilchenko, Y., Illingworth, R., Ito, A. S., Jabeen, S., Jaffré, M., Jayasinghe, A., Jeong, M. S., Jesik, R., Jiang, P., Johns, K., Johnson, E., Johnson, M., Jonckheere, A., Jonsson, P., Joshi, J., Jung, A. W., Juste, A., Kajfasz, E., Karmanov, D., Katsanos, I., Kaur, M., Kehoe, R., Kermiche, S., Khalatyan, N., Khanov, A., Kharchilava, A., Kharzheev, Y. N., Kiselevich, I., Kohli, J. M., Kozelov, A. V., Kraus, J., Kumar, A., Kupco, A., Kurča, T., Kuzmin, V. A., Lammers, S., Lebrun, P., Lee, H. S., Lee, S. W., Lee, W. M., Lei, X., Lellouch, J., Li, D., Li, H., Li, L., Li, Q. Z., Lim, J. K., Lincoln, D., Linnemann, J., Lipaev, V. V., Lipton, R., Liu, H., Liu, Y., Lobodenko, A., Lokajicek, M., Lopes de Sa, R., Luna-Garcia, R., Lyon, A. L., Maciel, A. K. A., Madar, R., Magaña-Villalba, R., Malik, S., Malyshev, V. L., Mansour, J., Martínez-Ortega, J., McCarthy, R., McGivern, C. L., Meijer, M. M., Melnitchouk, A., Menezes, D., Mercadante, P. G., Merkin, M., Meyer, A., Meyer, J., Miconi, F., Mondal, N. K., Mulhearn, M., Nagy, E., Narain, M., Nayyar, R., Neal, H. A., Negret, J. P., Neustroev, P., Nguyen, H. T., Nunnemann, T., Orduna, J., Osman, N., Pal, A., Parashar, N., Parihar, V., Park, S. K., Partridge, R., Parua, N., Patwa, A., Penning, B., Perfilov, M., Peters, Y., Petridis, K., Petrillo, G., Pétroff, P., Pleier, M.-A., Podstavkov, V. M., Popov, A. V., Prewitt, M., Price, D., Prokopenko, N., Qian, J., Quadt, A., Quinn, B., Ratoff, P. N., Razumov, I., Ripp-Baudot, I., Rizatdinova, F., Rominsky, M., Ross, A., Royon, C., Rubinov, P., Ruchti, R., Sajot, G., Sánchez-Hernández, A., Sanders, M. P., Santos, A. S., Savage, G., Savitskyi, M., Sawyer, L., Scanlon, T., Schamberger, R. D., Scheglov, Y., Schellman, H., Schott, M., Schwanenberger, C., Schwienhorst, R., Sekaric, J., Severini, H., Shabalina, E., Shary, V., Shaw, S., Shchukin, A. A., Simak, V., Skubic, P., Slattery, P., Snow, G. R., Snow, J., Snyder, S., Söldner-Rembold, S., Sonnenschein, L., Soustruznik, K., Stark, J., Stefaniuk, N., Stoyanova, D. A., Strauss, M., Suter, L., Svoisky, P., Titov, M., Tokmenin, V. V., Tsai, Y.-T., Tsybychev, D., Tuchming, B., Tully, C., Uvarov, L., Uvarov, S., Uzunyan, S., Van Kooten, R., van Leeuwen, W. M., Varelas, N., Varnes, E. W., Vasilyev, I. A., Verkheev, A. Y., Vertogradov, L. S., Verzocchi, M., Vesterinen, M., Vilanova, D., Vokac, P., Wahl, H. D., Wang, M. H. L. S., Warchol, J., Watts, G., Wayne, M., Weichert, J., Welty-Rieger, L., Williams, M. R. J., Wilson, G. W., Wobisch, M., Wood, D. R., Wyatt, T. R., Xie, Y., Yamada, R., Yang, S., Yasuda, T., Yatsunenko, Y. A., Ye, W., Ye, Z., Yin, H., Yip, K., Youn, S. W., Yu, J. M., Zennamo, J., Zhao, T. G., Zhou, B., Zhu, J., Zielinski, M., Zieminska, D., Zivkovic, L., and D0 Collaboration
- Abstract:
- See article for Abstract.
- Resource Type:
- Article
- Full Text:
- B0s → J=ψ f 0ð980Þ V.M. Abazov,31 B. Abbott,67 B. S. Acharya,25 M. Adams,46 T. Adams,44 J. P. Agnew,41
-
- Creator:
- Abazov, V. M., Abbott, B., Acharya, B. S., Adams, M., Adams, T., Agnew, J. P., Alexeev, G. D., Alkhazov, G., Alton, A., Askew, A., Atkins, S., Augsten, K., Aushev, V., Aushev, Y., Avila, C., Badaud, F., Bagby, L., Baldin, B., Bandurin, D. V., Banerjee, S., Barberis, E., Baringer, P., Bartlett, J. F., Bassler, U., Bazterra, V., Bean, A., Begalli, M., Bellantoni, L., Beri, S. B., Bernardi, G., Bernhard, R., Bertram, I., Besançon, M., Beuselinck, R., Bhat, P. C., Bhatia, S., Bhatnagar, V., Blazey, G., Blessing, S., Bloom, K., Boehnlein, A., Boline, D., Boos, E. E., Borissov, G., Borysova, M., Brandt, A., Brandt, O., Brochmann, M., Brock, R., Bross, A., Brown, D., Bu, X. B., Buehler, M., Buescher, V., Bunichev, V., Burdin, S., Buszello, C. P., Camacho-Pérez, E., Casey, B. C. K., Castilla-Valdez, H., Caughron, S., Chakrabarti, S., Chan, K. M., Chandra, A., Chapon, E., Chen, G., Cho, S. W., Choi, S., Choudhary, B., Cihangir, S., Claes, D., Clutter, J., Cooke, M., Cooper, W. E., Corcoran, M., Couderc, F., Cousinou, M.-C., Cuth, J., Cutts, D., Das, A., Davies, G., de Jong, S. J., De La Cruz-Burelo, E., Déliot, F., Demina, R., Denisov, D., Denisov, S. P., Desai, S., Deterre, C., DeVaughan, K., Diehl, H. T., Diesburg, M., Ding, P. F., Dominguez, A., Drutskoy, A., Dubey, A., Dudko, L. V., Duperrin, A., Dutt, S., Eads, M., Edmunds, D., Ellison, J., Elvira, V. D., Enari, Y., Evans, H., Evdokimov, A., Evdokimov, V. N., Fauré, A., Feng, L., Ferbel, T., Fiedler, F., Filthaut, F., Fisher, W., Fisk, H. E., Fortner, M., Fox, H., Franc, J., Fuess, S., Garbincius, P. H., Garcia-Bellido, A., García-González, J. A., Gavrilov, V., Geng, W., Gerber, C. E., Gershtein, Y., Ginther, G., Gogota, O., Golovanov, G., Grannis, P. D., Greder, S., Greenlee, H., Grenier, G., Gris, Ph., Grivaz, J.-F., Grohsjean, A., Grünendahl, S., Grünewald, M. W., Guillemin, T., Gutierrez, G., Gutierrez, P., Haley, J., Han, L., Harder, K., Harel, A., Hauptman, J. M., Hays, J., Head, T., Hebbeker, T., Hedin, D., Hegab, H., Heinson, A. P., Heintz, U., Hensel, C., Heredia-De La Cruz, I., Herner, K., Hesketh, G., Hildreth, M. D., Hirosky, R., Hoang, T., Hobbs, J. D., Hoeneisen, B., Hogan, J., Hohlfeld, M., Holzbauer, J. L., Howley, I., Hubacek, Z., Hynek, V., Iashvili, I., Ilchenko, Y., Illingworth, R., Ito, A. S., Jabeen, S., Jaffré, M., Jayasinghe, A., Jeong, M. S., Jesik, R., Jiang, P., Johns, K., Johnson, E., Johnson, M., Jonckheere, A., Jonsson, P., Joshi, J., Jung, A. W., Juste, A., Kajfasz, E., Karmanov, D., Katsanos, I., Kaur, M., Kehoe, R., Kermiche, S., Khalatyan, N., Khanov, A., Kharchilava, A., Kharzheev, Y. N., Kiselevich, I., Kohli, J. M., Kozelov, A. V., Kraus, J., Kumar, A., Kupco, A., Kurča, T., Kuzmin, V. A., Lammers, S., Lebrun, P., Lee, H. S., Lee, S. W., Lee, W. M., Lei, X., Lellouch, J., Li, D., Li, H., Li, L., Li, Q. Z., Lim, J. K., Lincoln, D., Linnemann, J., Lipaev, V. V., Lipton, R., Liu, H., Liu, Y., Lobodenko, A., Lokajicek, M., Lopes de Sa, R., Luna-Garcia, R., Lyon, A. L., Maciel, A. K. A., Madar, R., Magaña-Villalba, R., Malik, S., Malyshev, V. L., Mansour, J., Martínez-Ortega, J., McCarthy, R., McGivern, C. L., Meijer, M. M., Melnitchouk, A., Menezes, D., Mercadante, P. G., Merkin, M., Meyer, A., Meyer, J., Miconi, F., Mondal, N. K., Mulhearn, M., Nagy, E., Narain, M., Nayyar, R., Neal, H. A., Negret, J. P., Neustroev, P., Nguyen, H. T., Nunnemann, T., Orduna, J., Osman, N., Pal, A., Parashar, N., Parihar, V., Park, S. K., Partridge, R., Parua, N., Patwa, A., Penning, B., Perfilov, M., Peters, Y., Petridis, K., Petrillo, G., Pétroff, P., Pleier, M.-A., Podstavkov, V. M., Popov, A. V., Prewitt, M., Price, D., Prokopenko, N., Qian, J., Quadt, A., Quinn, B., Ratoff, P. N., Razumov, I., Ripp-Baudot, I., Rizatdinova, F., Rominsky, M., Ross, A., Royon, C., Rubinov, P., Ruchti, R., Sajot, G., Sánchez-Hernández, A., Sanders, M. P., Santos, A. S., Savage, G., Savitskyi, M., Sawyer, L., Scanlon, T., Schamberger, R. D., Scheglov, Y., Schellman, H., Schott, M., Schwanenberger, C., Schwienhorst, R., Sekaric, J., Severini, H., Shabalina, E., Shary, V., Shaw, S., Shchukin, A. A., Simak, V., Skubic, P., Slattery, P., Snow, G. R., Snow, J., Snyder, S., Söldner-Rembold, S., Sonnenschein, L., Soustruznik, K., Stark, J., Stefaniuk, N., Stoyanova, D. A., Strauss, M., Suter, L., Svoisky, P., Titov, M., Tokmenin, V. V., Tsai, Y.-T., Tsybychev, D., Tuchming, B., Tully, C., Uvarov, L., Uvarov, S., Uzunyan, S., Van Kooten, R., van Leeuwen, W. M., Varelas, N., Varnes, E. W., Vasilyev, I. A., Verkheev, A. Y., Vertogradov, L. S., Verzocchi, M., Vesterinen, M., Vilanova, D., Vokac, P., Wahl, H. D., Wang, M. H. L. S., Warchol, J., Watts, G., Wayne, M., Weichert, J., Welty-Rieger, L., Williams, M. R. J., Wilson, G. W., Wobisch, M., Wood, D. R., Wyatt, T. R., Xie, Y., Yamada, R., Yang, S., Yasuda, T., Yatsunenko, Y. A., Ye, W., Ye, Z., Yin, H., Yip, K., Youn, S. W., Yu, J. M., Zennamo, J., Zhao, T. G., Zhou, B., Zhu, J., Zielinski, M., Zieminska, D., Zivkovic, L., and D0 Collaboration
- Abstract:
- See article for Abstract.
- Resource Type:
- Article
- Full Text:
- . Jesik,40 P. Jiang,4,* K. Johns,42 E. Johnson,57 M. Johnson,45 A. Jonckheere,45 P. Jonsson,40 J. Joshi
-
- Creator:
- Jajja, Saad A., Sequeira, Jessa M., and Fronk, Brian M.
- Abstract:
- There is growing interest to use supercritical carbon dioxide (sCO2) as a working fluid in thermal management applications. This study investigates the thermal-hydraulic performance of microchannel heat sinks as a function of flow channel geometry and orientation at operating conditions representative of electronics cooling applications. Three different experimental test sections,...
- Resource Type:
- Article
- Full Text:
- Microchannel Heat Exchangers Using Supercritical Carbon Dioxide Saad A. Jajjaa, Jessa M. Sequeiraa, Brian M